加强安全质量标准化建设建立安全生产的长效机制

通过持续不断的开展安全质量标准化建设,规范危险化学品的安全管理,建立以事故预防与风险控制管理为核心的安全质量标准化管理模式,建立安全生产的长效机制。     

Local and global deadlock-detection in component-based systems are NP-hard

Interaction systems are a formal model for component-based systems. Combining components via connectors to form more complex systems may give rise to deadlock situations. We present here a polynomial time reduction from 3-SAT to the question whether an interaction system contains deadlocks.     

Geotechnical study for optimizing the slope design of a deep open-pit mine,India

The study was undertaken to determine the optimal overall slope angle of a lead–zinc mine, which could extend down to a depth of 170 m. Detailed geotechnical investigations were conducted, including geotechnical mapping of existing benches to establish the geometrical and mechanical properties of the discontinuities, the drilling of eight boreholes and the establishment of the physico-mechanical properties of the intact rock. Based on these data, limit equilibrium and numerical simulation techniques were applied to assess the stability of the slopes and determine an optimal slope angle. It was concluded that the overall foot-wall and hanging-wall slopes should be 42 and 48° respectively.      

铀富集厂容器取料过程中的核临界安全计算

介绍了在中国核工业集团公司兰州铀浓缩厂的核燃料生产中，针对某容器取料过程中存在的核临界安全问题，采用蒙特卡罗方法KENOⅥ程序进行的计算。通过计算表明，某容器在取料过程中，在保护杯起作用的情况下，是可以保证临界安全的，从而解决了该厂核燃料生产中，某容器取料过程的核临界安全问题。     

VB与VC优化配合在安全监察软件系统中的应用

安全监察是矿山安全中很重要的环节。利用VC的强大计算功能和VB的编程简单性采用VB与VC优化配合使用的方法开发安全监察软件系统是快速、简单、高效的设计方法。文章对系统的整体结构和信息流程作了简要的介绍，并对系统的每个部分各以一个例子进行简单的阐述。     

采矿爆破地震安全距离与设计参数的应用研究

依据爆破安全规程给出了实际检测资料的处理方法。根据爆破设计和检测数据拟合结果的差异性，讨论了爆破地震安全距离S随设计经验参数K、α值的变化规律和范围，得出K取最大值，α取最小值能够最大限度保证现场建筑物安全的结论。     

柳钢新办公大楼智能管理系统的建设

介绍柳钢新办公大楼智能管理系统的建设设想、建设目的、系统基本功能。     

理工类高等院校实验室安全管理体系建设研究

实验室安全管理是理工类高等院校安全工作的重点内容．针对理工类高校实验室安全管理问题。对理工类高校实验室安全管理的特点和影响实验室安全管理的主要因素进行详细的研究和分析,并以此为基础从实验室安全管理组织体系、监督体系和保障体系三个方面提出建设理工类高等院校实验室安全管理体系的具体措施。     

试析环境监测信息系统安全及防御

信息化建设在环境监测行业中日渐成熟,对于该行业的稳步提升有着不可或缺的作用,然而由于该行业信息化建设处于起步阶段,尤其是在应用的信息系统在安全问题上还需强化,基于目前现状,列举环境监测领域信息系统出现的一些突出问题,并对其中的原因进行分析,同时提出了环境监测信息系统安全问题的防御措施。