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.
Securing Grid protection in Wireless Sensor Grids (wireless sensor networks) several attacks that have been recognized in wireless sensor network till now by the researchers and still it's increasingly becomes critical. Sybil attack is one of the harmful attacks against sensor Grid where a number of appropriate individualities and forged individualities are used to get an inappropriate entry into...
When disproving termination using known techniques (e.g. recurrence sets), abstractions that overapproximate the program's transition relation are unsound. In this paper we introduce live abstractions, a natural class of abstractions that can be combined with the recent concept of closed recurrence sets to soundly disprove termination. To demonstrate the practical usefulness of this new approach we...
In the Internet era, online media and ordinary consumers can release a variety of information about food safety on the Internet. Therefore, it can effectively eliminate asymmetric information and reduce food safety risks to collect food safety information from the Internet for statistical analysis and management. On such basis, this paper has proposed a framework of food safety alert system and also...
In order to maintain Europe as world leader in development of safety relevant systems one of the keys would be to join together the European industrial, academic and scientific communities. One of the main industrial challenges is that any company that wants to compete in the safety-related embedded systems market and have success in business, have to develop competent systems reducing the time to...
In order to reduce the safety stock level, improve safety inventory control strategy, on the basis of the hypothesis that both the market demand and the mean value and variance of lead time meet normal distribution, the author proposes safety stock control model on the basis method of System Dynamics which consider the cost factor. Vensim for system simulation application to get safety stock level...
Principles of hazard based safety engineering involve the study of the sources and mechanisms of injury in order to best protect against it. This approach is used to support risk assessment, with various stages to identify, analyze and evaluate risk, and to reduce risk as needed.
The airworthiness certification system based on Visual Basic was developed. The system is applicable to safety assessment of airworthiness certification in the initial airworthiness. It works in airworthiness review process as the main line, technical points as the core. The key technologies include the tree maps of all the subsystems, the orders the subsystems should obey, and the safety assessment...
The last decades, the electromechanical control systems are being replaced by Programmable Electronic Control Systems. The challenge is that these new systems have to be at least as safe as the replaced ones. Any company that want to compete in the Safety Embedded Systems related market and have success in business, have to develop competent systems reducing the time to market and the cost of the...
Currently, when development of applications and technologies is definitely aimed at global use, such trend must be supported by unequivocal identification of users. The basic principles support safety elements (integrity, indisputableness, resistance to known and supposed forms of attacks) and do not link application to a physical carrier (plastic). The application can be hosted on a bank payment...
Software plays a key role in high-risk systems, i.e., safety and security-critical systems. Several certification standards and guidelines, e.g., in the defense, transportation (aviation, automotive, rail), and healthcare domains, now recommend and/or mandate the development of assurance cases for software-intensive systems. As such, there is a need to understand and evaluate (a) the application of...
for use pesticide threat to the environment, beneficial biological and human with a direct contact, puts forward two level evaluation indexes of pesticide toxicology and pesticide environmental toxicology involved seven secondary evaluation indexes. In different environment with pesticide use, set the weight of pesticide safety comprehensive evaluation, realize the pesticide safety of comprehensive...
This paper introduces the importance and some relevant regulations of the Observation about Building Settlement, and explains the process, methods, announcements, data processing, and the requirements of equipments. Especially state the arrangements of observation points and the determine of observation frequency to provide precious experience to measurement firms and construction corporations for...
This paper carries out coal mine safety risk identification from different ways and levels integrated with hierarchical holographic model (HHM), and realizes model construction through five aspects of coal mine disaster, personnel, equipment, environment and management. The paper proposes methods of risk filter and risk evaluation, accomplishes ranking of coal mine safety risk combining double standard...
The paper establishes the knowledge complex mode of design rules of civil avionics Integrated Intelligent Flight Deck Displays aiming at its peculiarity of operation and being based on the experienced data being evaluated by the resourceful pilots, an algorithm is proposed which using rough set to reduce the data and give a knowledge reduction and rule extraction algorithm based on a comprehensive...
With the development of economy and society, China's highway construction has made a great achievement, but there are also some factors related to project design that affected the quality of the projects. In order to improve the quality of the design and analyze the changes in cost and so on, it is necessary to have a post-evaluation of highway project design. From the theoretical and practical point...
Food safety has always been the focus of worldwide attention. However, the implementation of traceability system (TS) in China faces many challenges which are creating major barriers to the traceability system implementation success. Research reported in this paper aims to identify critical success factors (CSF) for implementing TS in Chinese food enterprises. To achieve the research objectives, this...
The traditional operational and hazard control paradigm of an electrical installation has several issues pertaining to the diversity of equipment. A large maintenance inventory is a reason for concern for any manager, but the arc flash hazard is a particularly new phenomenon and the effects of equipment diversity on this phenomenon are even newer. The class of arc hazard can be increased, simply by...
The document RTCA DO-178B is the worldwide specification for avionics software process management. The document GJB5000A is the standard of Chinese domestic capability maturity model for military software development, which is applied to the assessment of defense industry enterprise software development capability. This paper compared DO-178B with GJB5000A, and citied illustrations to describe the...
Electrical safety starts with policy, continues with education, requires administrative vigilance, and becomes individual responsibility at all levels. Case studies in electrical injury will be presented herein as the basis for understanding concepts of design for electrical safety. Working on the assumption that all electrical injuries are preventable, they must also be foreseeable. Instances of...
The flow increasing of civil aviation requires reducing the separation minima to improve the usability of the airspace, and then we attempt to evaluate the safety of the reduced separation minima so as to ensure the flight safety. This article includes a detailed analysis of the collision risk on the parallel route and intersecting route, and emphasizes on building the united collision risk model...
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.