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.
Many existing symbolic execution engines for bug detection often ignore floating-point types and operations. That will result in imprecise reasoning about the feasibility of program paths, which in turn leads to false positives and negatives. Recently, there are quite some progress in satisfiability modulo theories (SMT) solving, and some tools are able to support floating-point arithmetic. Nevertheless,...
Engine start process is especially very vital to hybrid electric vehicles, because vehicles fuel consumptions can be arrived through engine frequent start and stop events. On the other hand, if the process can't be controlled smoothly and fast, it would cause large vibration of vehicles which will largely deteriorate a driver's ride comfort. As a result of it, a control strategy for engine start has...
PSHEV(parallel-serial hybrid electrical vehicle) has the advantages of serial and parallel HEV in that it includes the E-CVT(Electro-continuous variable transmission) structure. Whether E-CVT control strategy is good or not has a direct effect on the whole car's fuel consumption and gas emission. Conventional PID algorithm is a kind of control method based on the error theory without consideration...
The position of the engine throttle is driver's reflection to the vehicle power and the request of the vehicle speed. In the technical vehicle energy-saving automatic shifting gears control system, it is requested that the engine throttle position control system must have the precise position response, the higher speed of response, and the stronger stability and robust. The process of engine throttle...
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.