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.
Model checking provides a way to automatically verify hardware and software systems, whereas the goal of planning is to produce a sequence of actions that leads from the initial state to the desired goal state. Recently research indicates that there is a strong connection between model checking and planning problem solving. In this paper, we investigate the feasibility of using a newly developed model...
The initial population of Particle Swarm Optimization (PSO) directly concerns global convergence and searching efficiency of PSO. The reasonable setting of initial population and operational parameters is an important problem in the application of PSO to perform optimization calculation. Based on the study on how to set the initial population, such conclusion can be drawn that the initial population...
Optimization of interruption performance in high voltage circuit breaker is mainly the optimization of dielectric recovery, among which the nozzle optimization occupies an important position. Because the optimization of dielectric recovery involves numerical calculation of electric field and flow field, time consuming becomes the bottleneck of nozzle optimization. Therefore, a new calculation method...
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.