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.
Static analysis tools are widely used in practice to improve the quality and reliability of software through early detection of defects. However, the number of alarms generated is a major concern because of the cost incurred in their manual inspection required to partition them into true errors and false positives. In this paper, we propose a static analysis to identify the causes of alarms generated...
Telemedicine and Telemonitoring of elderly people is an actual challenge that is explored to prevent some problems linked to the constant growing of the mean age of the population. It requires to recognize the behavior and the actions of a person inside his own home with non-intrusive sensors and to process data to check the evolution of the person. Activities of Daily Living can be learned and automatically...
There are two issues to be addressed in the automatic Fault Tree Analysis (FTA) and Failure Mode and Effect Analysis (FMEA) approaches: resource fault and channel fault are not considered when generating the artifact flow graph (AFG) from Little-JIL processes. The AFG is incomplete, thus the fault trees and FMEA reports automatically generated partially based on AFG is incomplete. In this paper, we...
The safety and function of the subway will be influenced by the construction of electric power tunnel beneath existing Metro station structure. Based on the three dimensional model set up in ANSYS, the paper focus on the example of constructing the electric power tunnel under an existing Metro station structure, which will be calculated and analyzed in order to select a more preferable mechanism to...
Tobacco distribution has the main features of fast-moving, high value, uniform dimension which requires high picking efficiency, accuracy and low labor intensity. In this case, traditional manual picking needs to be replaced by proper automated picking significantly. Complex Automated Picking System (CAPS) is a kind of automated order picking system, composed of the Horizontal Dispenser (HD) and A-frame...
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.