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 article we address program errors, and through the static code analysis. First, we use inter-procedural based on analysis and blunt insensitive vulnerability testing model, — extracted from the source code. Second, we use of model checking to solve the model. In addition, we do alias analysis method is correct and accuracy testing model. This paper proposed concepts are aimed at those general...
The precision of FOG has highly effect on the servo system's final precision. In this paper, two filter methods has been researched in signal processing of FOG, smoothing filter method and Kalman filter based on ARMA model, in order to improve turn table servo control system's performance. To validate the effects of these two methods, three experiments have been made, which are filter examinations,...
Boolean Satisfiability (SAT) algorithms have seen dramatic improvements over recent years, allowing larger problem instances to be solved in application domains such as automatic test pattern generation (ATPG) that can also be viewed as solving a SAT problem. The key to a SAT-solver can be scalable is that it is able to take into account the information of high-level structure of formulas. This paper...
This paper presents the truck crane boom system working principle, establishes key components model in accordance with their actual structure using Hydraulic Component Design Library, and builds the boom system model with AMESim. Based on the validated model by experiment results, the factors are found out for the boom accelerating, and the improvement measure is proposed.
Through a great deal calculation, the parametric design and simulation analysis of stator and rotor electromagnetic system of 1000MW turbo-generator are performed by using Ansoft Maxwell Rmxprt12.1 software. Besides, the basic parameters of the generator, the geometry dimensions of the stator and rotor, type and sizes of the slots, coils and windings parameters and the way of windings connection are...
Short-term traffic flow forecast is an important topic in the research field of intelligent transportation systems. The article analyses the preliminary results in the short-term traffic flow forecast, takes full advantage of the characteristics of grid technology, and builds a model based on chaos theory and neural network. It uses grid resource management mechanisms and migration strategies to solve...
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.