天然气井井筒及井口安全技术研究

天然气勘探开发具有高温、高压、高风险,安全技术及管理难度大等特点,通过实例分析天然气井存在的主要问题,提出应采取的关键安全技术及需要解决的问题。     

设备管理在安全工作中的地位

以事故轨迹交叉理论为基础，论述了企业设备管理在安全工作中所占的地位及作用，通过几起典型事故案例分析，指出企业搞好设备管理的重要性。根据机械设备故障率的特性，从设计、制造、安装、调试、运转及维护等方面，提出了控制或消除设备故障的具体措施，确保安全生产。     

公路安全线轧压监测系统的研究及方案设计

严格公路黄色安全线尤其是交叉路段的管理，是保障交通安全通畅的重要前提之一。系统从实际出发，利用先进的摄像设备实时监测安全线的轧压现象，通过精确的图像处理，准确提取违章车辆的牌照号码，同时提供完善的数据管理功能，该文结合对系统核心技术的剖析，详细论述论证设计方案的可行性。     

武山铜矿主井系统延深改造及效果浅析

武山铜矿主井延深时根据新的采、选工艺要求，在前期工程的基础上，对其箕斗提升系统进行改造，增设坑内破碎。针对该矿特粘的矿石性质和前期工程遗留问题，在具体设计和实施过程中采取特别措施保证系统通畅和安全并注意节省投资。同时对尚存在的问题也提出了新的思考。     

基于ASP技术实现网上购物系统

利用目前流行的一种Web应用开发技术-ASP，实现网上购物系统。应用了ASP对COM组件的支持，实现了异构数据库的联合使用。同时，此系统具备客户登录功能，利用于系统的安全性。     

An Adaptive Recipe Implementation in Case‐Based Formalism for Abnormal Condition Management

This paper deals with accurate recipe implementation for abnormal condition management in a batch process using a case‐based reasoning (CBR) approach. A set of new problems can be solved by reusing proven process solutions. The proposed system integrates quantitative and qualitative parameters for adaptation of cases. A novel methodology to generate accurate recipes and to adapt to the processes is introduced during normal and abnormal conditions. In particular, the differences between current conditions and the references (recipes) should be managed to prevent any hazardous conditions arising. The processes are evaluated using their similarity to the past cases. This intelligent approach distinguishes plausible cases, generates accurate recipes, and adapts to new situations. The aim is to use the offline historical process data and safety related information in order to propose changes and adjustments in the processes.     

Evaluating the transfer of technology between application domains: a critical evaluation of the human component in the system

Technology can take many forms from the development of sophisticated electronics to the application of basic procedural principles. Technology transfer can also take several forms, however, in this case, it is the transfer of technological principles between application domains that is of primary interest. This paper presents a framework (the Five ‘M’s framework) that can be used to consider the likely success of technology transfer. The framework is based upon a sociotechnical system approach. The framework is illustrated with an evaluation of the introduction of intelligent cruise control into motor vehicles. It is argued that this is a technological concept first developed as an aerospace application in the form of the autopilot. In this case, it is argued that the transfer of this technology in its current form may potentially compromise safety.     

Real-Time Three-Dimensional Occupancy Grid Modeling for the Detection and Tracking of Construction Resources

Awareness of the construction environment can be improved by automatic three-dimensional (3D) sensing and modeling of job sites in real time. Commercially available 3D modeling approaches based on range scanning techniques are capable of modeling static objects only, and thus cannot model dynamic objects in real time in an environment comprised of moving humans, equipment, and materials. Emerging prototype video range cameras offer an alternative by facilitating affordable, wide field of view, dynamic object tracking at frame rates better than 1?Hz (real time). This paper describes a methodology to model, detect, and track the position of static and moving objects in real time, based on data obtained from video range cameras. Experiments with this technology have produced results that indicate that video rate 3D data acquisition and analysis of construction environments can support effective modeling, detection, and tracking of project resources. This approach to job site awareness has inherent value and broad application. In combination with effective management practices and other sensing techniques, this technology has the potential to significantly improve safety on construction job sites.     

The formalization and analysis of a communications protocol

The MSMIE protocol [SBC89] allows processors in a distributed system to communicate via shared memory. It was designed to meet the reliability and efficiency needs of applications such as nuclear safety systems. We present a formal model of the MSMIE protocol expressed in the notation CCS. Desirable properties of the protocol are expressed in the modal mu-calculus, an expressive modal logic. We show that the protocol lacks an important liveness property. In actual operation, additional operating constraints are checked to avoid potential problems. We present a modified protocol and show that it possesses the liveness property even without checking operating constraints. We also show how parts of the analysis were automated with the Concurrency Workbench.     

Application of condition-based HRA method for a manual actuation of the safety features in a nuclear power Plant

A practical approach to develop a more realistic fault-tree model with a consideration of various conditions endured by a human operator is proposed. In safety-critical systems, the generation failure of an actuation signal is caused by the concurrent failures of the automated systems and an operator action. These two sources of safety signals are complicatedly correlated. The failures of sensors or automated systems will cause a lack of necessary information for a human operator and result in error-forcing contexts such as the loss of corresponding alarms and indications. It is well known that the error-forcing contexts largely affect the operator's performance. An automated system which consists of multiple processing channels and complex components is also affected by the availability of the sensors. This paper proposes a condition-based human reliability assessment (CBHRA) method in order to address these complicated conditions in a practical way. We apply the CBHRA method to the manual actuation of the safety features such as a reactor trip and auxiliary feedwater actuation in Korean Standard Nuclear Power Plants. Even the human error probability of each given condition is simply assumed, the application results prove that the CBHRA effectively accommodates the complicated error-forcing contexts into the fault trees.