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.
In order to improve the electric car battery safety early warning ability and decrease the safe accident of electric vehicle charging, the electric vehicle charging safety factors are analyzed, the security early warning index selection ways and methods are studied, and a security early warning evaluation index system is set, the evaluation method of weight for safety index is discussed. Besides,...
Complex system development contains processes full of comprehensive integration, complicated iteration and highly coupling, and ultimately come into being hierarchical networks of risk evolution. This paper presents a new approach on risk evolution analysis by multi-resolution modeling describing complex system and Bayesian network learning risk relation networks. By simulation experiments, risk evolution...
The relationship between emitted energy spectrum and multipactor threshold of impedance transformer is investigated numerically in this paper. Secondary electron yield remains the same, while the emitted energy spectrum changes. Numerical simulations are provided for different cases of emitted energy spectrum. We analyze the practicability of this method in theory and simulation. Simulation results...
According to the statistics, there is low resource utilization and high energy consumption in traditional servers. To reduce the cost, more and more companies begin to build virtual servers. Sever virtualization implements the mapping from virtual resources to physical resources and deal with resource contention among all VMs. Because of complexity of virtualized server systems, it is necessary to...
Team has become one of the most important strategic resources in the organization. However, the overall effect of team is often difficult to achieve in the practical application of team in China's enterprises. According to the investigation of high technology innovation teams and the relative literature reviews, the team climate is an important influencing factor for achieving the overall effect of...
For a more accurate calculation vehicle pre-braking speed by the regression analysis data of vehicle braking speed, comparing and analyzing with LS estimation algorithm, instrumental variable estimation algorithm, generalized least squares estimation algorithm and Cor-LS algorithm, LS estimation algorithms is used to study on parameter estimation of the vehicle braking model, introducing multiple...
Agile software development is a kind of lightweight development method, which can satisfy to the changes of requirements. This paper applies formal methods into agile software development, and investigates the method to adopt the rCOS in agile software development through convincing examples to improve software trustworthiness.
In this article, the formal object-oriented specification notation (Rcos) is used to formally combine some UML models. From the combination we can study the consistency conditions among a number of related UML models. The refinement calculus for Rcos will then allow us to transform these related models to preserve the consistency and functionality of the models.
In this paper, we present the formal semantics of sequence diagrams. The semantics of a sequence diagram is interpreted as a consecutive execution of steps in UTP. The semantics clearly captures the consistency between the design class diagram and sequence diagrams. This may underpin development of model consistency checking functions in UML CASE tools. It may also be used to reason about the correctness...
Understanding multivariate relationships is an important task in multivariate data analysis. Unfortunately, existing multivariate visualization systems lose effectiveness when analyzing relationships among variables that span more than a few dimensions. We present a novel multivariate visual explanation approach that helps users interactively discover multivariate relationships among a large number...
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.