本钢石灰石矿爆破网路的最新技术

在原有微差爆破技术的基础上,实施逐孔爆破技术,优化设计爆破起爆网路,尽可能地创造等值的爆破自由面及等值的抵抗线,提高石灰石的原矿成块率,遵循经济最佳、安全可靠的原则,控制爆破总延时的时间,采用网路操作简单、安全可靠并能取得良好经济效果的爆破方案.     

树立师生正确的安全观,积极推进"平安校园"建设

介绍了树立正确的安全观对建设平安校园的重要意义,分析了树立正确的安全观的有效途径.     

档案安全保障体系建设研究

加强档案安全保障体系建设,是推动档案管理机制创新、有效提升档案管理水平的重要途径之一。本文分析了档案安全保障体系构建的现实意义和时代依据,提出了档案安全保障体系的基本内涵、主要内容及体系构成基本框架,确立了档案安全保障体系实现的目标和途径,为实现我国档案管理有序化、系统化、规范化发展探索新途径。     

档案工作安全体系建设重在夯实基础

近年来,我国自然灾害频发,舟曲泥石流,汶川和玉树大地震,云南马龙特大洪灾,不仅给国家和人民群众的生命财产造成了巨大损失,也使档案工作遭受重创。这说明档案馆库建设是安全体系建设的基础。如果基础不牢,灾害突发、馆库倒塌,损失将不可避免。因此,加强档案馆库安全;加强基础建设监管;强化制度管理,构筑安全体系,确保国家档案的安全保管,确保人员生命及国家财产的安全是我国档案工作安全体系建设中的关键,必须攻坚克难打基础、千方百计保安全。     

南宁调度所工程质量安全管理控制及效果

面对大型综合性复杂程度高、质量安全风险大的房建工程,建设单位采取有针对性行之有效的安全质量管控措施,确保了质量和安全,达到了预期良好效果,是质量安全管理的真实实践过程.     

An industrial application of symbolic model checking

Model checking techniques are recognized to provide reliable and copious results. Instead of examining a few cases only – as it is done in testing – model checking includes the whole state space in mathematical proofs of correctness. Yet, this completeness is seen as a drawback as the state explosion problem is hard to handle. In our industrial case study, we apply automated model checking techniques to an innovative elevator system, the TWIN by ThyssenKrupp. By means of abstraction and nondeterminism, we cope with runtime behaviour and achieve to efficiently prove our specification’s validity. The elevator’s safety requirements are exhaustively expressed in temporal logic along with real-world and algorithmic prerequisites, consistency properties, and fairness constraints. Beyond verifying system safety for an actual installation, our case study demonstrates the rewarding applicability of model checking at an industrial scale. CR subject classification  D.2.4; F.3.1; J.7 ; C.3     

图书馆计算机网络安全与防护措施

讲述图书馆计算机网络安全的必要性及概念 ,提供实现图书馆计算机网络安全的防护措施 ,包括网络实体安全、硬件软件防护、安全管理、互联网安全、计算机病毒防范等方面。     

电子阅览室的管理和安全策略

从规章制度、紧急处理、备份策略、安全策略四个方面, 探讨了图书馆电子阅览室的管理和安全, 详细介绍了具体办法。     

以职业为导向的高职安全健康操选项课程教学的实验研究

近年来,随着社会现代化程度不断提高,素质教育进入了新的发展阶段。安全健康操课程具有实用性、趣味性的特点,其开设以来受到了广大学生的热烈欢迎。通过学习安全健康操课程,一方面可以促进学生身体素质发展,增强团队合作意识;另一方面,还可以拓宽学生的职业发展途径,为实现人生价值创造良好条件。鉴于此,本文综合运用文献综述法、实验法、数据分析法等研究方法,对高职院校开展安全健康操课程进行深入研究。     

Effects of wear on static and dynamic failure loads of aluminium-based alloy climbing karabiners

In rock climbing, karabiners are used to arrest falls and consequently must be able to withstand dynamic loads. The current international standard for rating karabiner strength prescribes a quasi-static tensile test, which poorly simulates the dynamic nature of an actual climbing fall. In this study, a new method was developed to measure the dynamic failure loads of climbing karabiners. Both new and heavily worn karabiners were tested open and closed, and results from static and dynamic tests were compared. We found that the dynamic failure loads of closed karabiners were up to 50% lower than the failure loads in static tests, while for open karabiners, the static and dynamic values were similar. The reason for this behaviour is unclear; it is most likely due to the combined effects of different stress concentrations and loading regimes of the two tests. Irrespective of test type, karabiner strength decreased with wear level. Based on our results, we advise frequent inspection of permanently placed karabiners for signs of excessive wear. In addition, testing of climbing karabiners in a dynamic test in addition to the standard static test might be considered when developing new karabiner models.