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.
With the development of science, people's demand for the technique of query is gradually increased. Especially, the emergency of new terms proposed more demand for query techniques. Therefore, the accuracy of semantic similarity calculation is more important in searching of terms. Now, the hybrid semantic similarity calculation method has been more popular. However, when the expert calculates the...
Based on the discussion of the limitation of object-oriented software development method in dealing with the crosscutting concerns in safety-critical complex system, the aspect-oriented software development method and its' superiority are introduced. A process model of AOSD is given. The application of AOSD in the development of a safety-critical system is discussed and an example is given.
With the development of the Internet of Things, there are a great number of EPC messages need to be handled by Savant middleware, how to improve the efficency is becoming the concern of researchers. This paper describe Savant from the compoent aspect. Expatiated the architecture and work principle of the Savant middleware and analyzed the process of Savant deal with the EPC information and the current...
At present, there is important practical significance to solve the problem of speaker recognition in the noising environments. In this paper, a recognition system based on wavelet analysis and support vector machine is designed and implemented in allusion to the noise problem. Wavelet analysis is applied to separate the speech and noise, enhancing the speech consequently. Ultimately the sample-based...
Energy Consumption Interaction Automata (ECIA) is presented to model cyber-physical systems' interaction behavior and energy consumption constraint information. The component-interaction automata is an excellent model for specifying architecture and behavior information, but fails to depict energy consumption constraint information in cyber-physical systems. ECIA extends the description ability of...
This paper presents a model-based approach to verify compatibility of coordinated real-time components' behavior. Timed Behavior Protocol (TBP) is introduced to specify real-time components' timed interaction behaviors. TBP extends the behavior protocol used in SOFA component model by incorporating time factor into behavior protocol model of component based real-time system. Event tokens in TBP are...
Timed Behavior Protocol (TBP) is presented to model real-time components' timed interaction behaviors. TBP extends the behavior protocol used in SOFA component model by incorporating time factor into behavior protocol model of component based real-time system. Event tokens in TBP are bound with timing constraint information according to requirements of practical applications, and time-related operators...
Formal specification and verification of complex realtime component systems' behavior can efficiently improve the systems' correctness and reliability. This paper analyzed the formal specification and verification languages of components' timed behavior. Based on the analysis we extended behavior protocol (BP) used in SOFA component model by incorporating timing constraint information and new operations...
A speaker recognition method based on support vector and multi-scale wavelet analysis is proposed and a frame model of it is constructed in this paper. Firstly, Multi-scale wavelet analysis is applied to the process of signal preprocess, based on it, the theory of multi-scale analysis is applied to separate speech and noise, and enhance the speech consequently. Secondly, in the feature extracting...
Timed Component-Interaction Automata (TCIA) is presented to model and verify real-time componentspsila interaction behavior and timing constraint information. The component-interaction automata model combines the advantages of both architecture description languages and general formal verification-oriented model but fails to depict timing constraint information in real-time reactive systems. TCIA...
We present timed component-interaction automata with cost (TCIAC) to specify and verify component interaction behavior, timing cost and timing constraint information in component-based real-time reactive systems. TCIAC extends the description ability of component interaction automata by binding each action with a time interval and a timing cost value. The timing cost values of sequence and parallel...
Timed component interface control flow automata (TCICFA) is presented to specify and verify composite real-time components' invocation behavior and timing constraint information. By analyzing TCICFAs, a component reachability graph (CRG) can be constructed based on the constructing algorithm we presented. Each node in CRG is equipped with a state formula which has been computed with the construction...
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.