The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Triggers have played an important role in integrity constraint management for relational database systems. More research projects and commercial systems are working on supporting triggers in XML database systems in recent years. This paper describes our approach to incorporate fuzziness into XML triggers. By adding a thin layer to an existing database, fuzzy expressions can be used within triggers...
Force information in virtual space is important and often required for tele-operation, training, amusement, design supporting, and other virtual reality systems. The application of passive-type force display and rehabilitation system is desirable for its high safety. However, there are some directions and link positions for which it is difficult to display the force using only passive elements. To...
As an important part of requirement management, managing requirement change plays a key role in controlling project schedule and costs at early stage. Effective requirement impact analysis would give proper assessment on the effect of certain requirement changes on the whole system, and provide useful information for making trade-off decisions on future system design and implementation. In this paper...
In order to monitor the cosmic radiation exposure level onboard aircraft in accordance with the national standard about radiation safety, a computer system CARD has been developed using to calculate cosmic radiation effective dose in flight. In this paper, the principle of development, structure and function of the CARD were described. The cosmic radiation effective doses received by aircrews in flight...
We developed a compact and low-cost quasi-3-DOF rehabilitation system ldquoHybrid-PLEMOrdquo for upper limbs of stroke patients. Hybrid-PLEMO has 2-DOF force feedback function in working plane, its working plane can be adjusted the inclination, and it can be switched between active type and passive type. However, there are some directions and link positions which are difficult to display the force...
Several 2-DOF rehabilitation robots for upper limbs have been proposed so far, and clinical effectiveness was reported in several studies for the aged people or patients with stroke. We developed the quasi 3-DOF rehabilitation system ldquoHybrid PLEMOrdquo which has 2-DOF force-feedback function in working plane but its working plane can be adjusted the inclination. Hybrid-PLEMO is a compact, low-cost...
SCR is a mature and widely used document driven requirement method, which emphasizes creating strict and complete formal requirement documents during software requirement analysis to serve the whole life circle. However, due to the big gap between textual requirement description and formal requirement document, how to obtain formal SCR requirements specification from informal textual description becomes...
Normal myometrial tissues, hysteromyoma and endometrial carcinoma were determined by horizontal attenuated total reflectance Fourier transform infrared spectroscopy (HATR-FTIR) directly and fast. The results showed that there are obvious and regularity differences HATR-FTIR spectra of them in spectral parameters such as frequency, intensity and shape of the bands. They indicated significant differences...
It is vital for the success of a software project to construct a complete and concise requirement document in the early development phase. Tabular Expressions can be used to formally define software technical documents and achieve both conciseness and readability. SCR method is a practical document-driven requirement method which has gained widespread applications. Three special tables have been utilized...
Pervasive computing is providing its usability and scope in almost every aspect nowadays. In order to make better use of pervasive services in nomadic devices, pervasive client download might be needed, which would result in serious security problems due to executing untrusted applications. Recently Security-by-Contract has been proposed to address this problem, where an application is required to...
Several rehabilitation robots for upper limbs have been proposed so far, and clinical effectiveness was reported in several studies for the aged people or patients with stroke. However most of them have only 2-DOF for its active motion. It is important for designing a rehabilitation system which trains in the 3-DOF space because the upper limbs of humans works in 3-DOF space even expect for the wrist...
Database triggers allow database users to specify integrity constraints and business logics by describing the reactions to events. Traditional database triggers can handle mutating events such as insert, update, and delete. This paper describes our approach to incorporate timer-triggers to handle temporal events that are generated at a given time or at certain time intervals. We propose a trigger...
In the aviation environment many factors can affect the health of aircrew members. It can be observed by high-throughput gene chip technology that how environmental factors affect the genes expression. Our objective is to observe whether atmosphere cosmic radiation can affect gene expression in aircrew and its rules. The health aircrew members and control persons were grouped into 6 groups respectively...
High throughput biological experiments produce a large amount of biological data that can be updated by time. Inconsistent data stored in the same or different databases may lead to serious biological research problems. Constraint management is important to ensure biological data integrity. Some existing databases were built for the easy use for biologists; however the database management system (DBMS)...
Rehabilitation for upper limbs is important for aged people, stroked patients and so on. In recent years, the needs for rehabilitation support systems are increasing, which use robot technology and virtual reality technology. Applying these technologies make efficient rehabilitation possible. But there was few rehabilitation support robot system for 3-D training with high safety. Therefore we have...
Rehabilitation for upper limbs is important for elderly people, people who have suffered a stroke and so on. In recent years, the needs for rehabilitation support systems are increasing, which use robot technology and virtual reality technology. Applying these technologies make efficient rehabilitation possible. But there was few rehabilitation support robot system for 3-D training with high safety...
XML is becoming one of the most common means to exchange data throughout the internet. Biological research is advancing at very high rates as a result of the large amounts of information that can be passed to researchers throughout the world, thereby increasing collaboration and reducing redundancy. There are limitations to the use of this data if there is no ability to verify it. This paper presents...
The rapid growth in mobile and wireless communications entails serious problem of security. Formal methods can be used to help building secure mobile computing environment. Tabular expressions have proved to be useful and practical in formulating precise and complete documentation for computer systems. In this paper a framework for specification and runtime enforcement of security policies is proposed...
Constraints are important to ensure consistency and validity of biological data to computerize biological findings. Incorrect data could lead to serious scientific problems when conducting further biology research and experiments. We propose an XML-based active rule system named BioRule to enforce constraints on top of existing data sources. The BioRule system serves as a middleware to filter inconsistent...
Protocol properties are essential properties in reusable library classes and object-oriented application frameworks. A protocol is the order in which the methods exported by the module have to be called, which can be referred as a set of allowed method call sequences. Checking protocol properties can be done at runtime, however, such runtime checks needs to insert checking codes into the source program,...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.