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.
This paper proposes a framework for statically analyzing overflow and roundoff errors of C programs. First, a new range representation, "extended affine interval", is proposed to estimate overflow and roundoff errors. Second, the overflow and roundoff error analysis problem is encoded as a weighted model checking problem. To avoid widening, currently we focus on programs with bounded loops,...
Reentry, the performance of the DSP and FPGA is developed remarkably. So, fully digital control is enabled in switch mode power supplies. However, in many cases, the control system is built by very complicatedly and very difficult theories such as the adaptive control. Furthermore, in most popular PID control, its design method of the parameters is not clear, so derivation of the optimal parameters...
SELENE (Selenological and Engineering Explorer) is a Japan's lunar probe which was launched and injected into the lunar polar orbit in 2007. The Main Orbiter of SELENE named Kaguya has separated the Relay Satellite: Rstar (Okina). We have executed four-way Doppler measurements which determined the orbit of Kaguya aviating above the lunar far side. The ground station up-links ranging signals, and the...
There are various cerebral diseases that deform the cerebral shape with region specificity. So it is effective to quantify the deformation change of cerebral gyri. This study introduces new index called gyral deformation index (GDI) that is defined as a ratio of area of gyrus of interest to area of cerebrum in the defined projection plane. To calculate the gyral areas, this paper proposes a gyral...
As a basis of an intelligent driving assist system, an on-line calculation method calculating a desirable driving path based on information and prediction of surrounding traffic environment is developed. The problem is how to use information of traffic jam and signal. This paper reports an automobile optimal driving control system using information of traffic jam and signal based on the model prediction...
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.