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 this paper, the transition between the software reliability and safety of a software system is studied. A transition occurs when the program states are changed and different environmental factors are chosen. By using the formal method, the transition rules are established and proved in this paper.
To solve Particle Swarm Optimization (PSO) to plunge into the local extremums, this paper introduces parallel calculation and chaos operator and puts forward a parallel chaos particle swarm optimization. This method divides particle population into subpopulations for asynchronous and parallel chaos optimization. So it improves the search speed and keeps population diversity to avoid premature. The...
In software system, reliability and safety are the most important attributes.In the past, many researches focused on two methods-probability and stochastic processes to predicted the attributes respectively. Comprehensive study of the two attributes is less than other problems,and the methods are often simple and single.In this paper,We study the reliability and safety of software from the states...
In one software system, the softwarepsilas reliability and safety are ultimately determined by the program operating states, which will be changed as the exterior and interior environment changing. in this paper, according with the environmental factor which lead to the changing of program states, the definition of the deviation loss caused by the changing of program states is presented, and in some...
A new method based on sequential Monte Carlo algorithm is proposed for tracking multi-target and data association in non-linear system. The algorithm partitions the problem of multi-target tracking into two problems: single target tracking and data association. Single target tracking is implemented by using UKF and data association by using sequential Monte Carlo algorithm. Since Particle Filter has...
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.