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.
Local optimization is a routine approach for full-wave optimization of microwave filters. For filter optimization problems with numerous local optima or where the initial design is not near to the optimal region, the success rate of the routine method may not be high. Traditional global optimization techniques have a high success rate for such problems, but are often prohibitively computationally...
In this paper, a computational modeling analysis on cell growth is presented. This study aims at deriving a mathematical model for cell growth in order to understand, analyze and predict the complex mechanisms of cell biological systems. The proposed model was derived and validated using the practically measured cell growth curves produced by an existing novel on-line monitoring technique, referred...
In order to implement correctly verification of process meta-model, this paper presents a measure combined with model checking technology which focuses on the correctly verification of process meta-model. Through establishing the Promela models of the process meta-model, and using linear temporal logic to describe the properties of models, at last, using the model checking tools Spin to verify the...
G-layer of RGPS requirement meta-model is used to refine the general business goals acquired on the basis of the Role layer. A business goal is a high-level and general statement when first proposed. Whether it can be achieved or not depends on the correctness of goal decomposition. Towards these problems, a decomposition model is proposed in this paper. Particularly, with the development of semantic...
Existing methods of automatic creation for Markov models were limited to systems with identical channels. This paper focuses on how to automatically generate the Markov models of systems with non-identical channels. Each channel is characterized by its own failure rate. The system state matrix is defined and the failure criterion of the state is given. The automatic creation framework for system with...
Communication reliability is one of the most important concerns and fundamental issues in network systems, such as cyber-physical systems, where network components, sensors, actuators, controllers are interconnected with each other. These systems are prevalent in many safety-critical areas, including aerospace, automotive, civil infrastructure, energy, healthcare, manufacturing, and transportation,...
Based on the characteristics of operation mode for systems of intercity railway lines, this paper analyzes the dynamic relationship between passenger flow and train service plan. The dynamic relationship is described by using mathematical methods in terms of the close correlation between properties of transport products and technical indicators of train service plan. A real-life instance of Beijing-Tianjin...
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.