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.
The loop gain could affect the performance of a GNSS carrier tracking loop in different conditions. A factor is inserted to carrier tracking loop to adjust loop gain conveniently. The mathematical relationship between the performance of a universal second order carrier tracking loop and its loop gain was derived and analyzed in detail. The maximum, minimum, and optimal loop gain was given in different...
In China, with sharply increasing of aged population, elderly safety issue causes more and more social attention. Elderly people living alone may be faced with accidents. In order to help them timely contact with their family members, some manufactures offer a kind of mobile phone with shortcut keys function. However many incidents remain unprepared to the elder and their families, the consequences...
The complexity of software in safety critical systems has increased significantly over the last ten years so that how to tackle the complexity and gain high dependable software plays an important roles in ensuring the overall product quality. In this context, component based development (CBD) has been successfully applied to large scale software system in the fields of Software Engineering. Similarly,...
We present the modeling, design, fabrication, optimization, and characterization of a novel fiber Bragg grating (FBG) accelerometer based on a diaphragm. The principle of the FBG accelerometer and the acceleration response versus FBG wavelength are analyzed theoretically. Experimental results indicate that the FBG accelerometer provides a linear response over a broad frequency range from 10 to 200...
The RBC (Radio Block Center) handover is an important part of European Train Control System level 2 which is a typical safety-critical hybrid system. In this paper, we build a formal model of RBC handover procedure using Differential Dynamic Logic, which is a first-order dynamic logic for specifying and verifying hybrid systems, and identify some constraints that are necessary for ensuring safety...
The gravity gradient which reflects the details of gravitational field of the Earth is the derivative of gravitation. Compared with gravitational survey, the biggest advantage of gravity gradient survey is that its resolution is higher than gravitational survey. At present there are twenty-four gravity apparatuses in investigation and eighteen of them are gravity gradiometers. Gravity gradiometer...
Taking submarine platform inertial navigation system (PINS) as the research object, the space motion mathematical models of submarine are analyzed and established. Then according to the submarine symmetry and submarine motion characteristics, the model is reasonably simplified by theoretical and experiences study. Through coordinate transformation relationship research of the fixed coordinate system,...
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.