摘要：现今,由于城市化建设力度的持续加大,在建设用地资源紧张的前提下,大多数城市建筑都需要朝着纵向发展的方向转变,也就是高层建筑物的数量及规模在持续扩增。基于此,保障建筑用电安全及稳定已成为社会大众备受关注的一个重点内容。所以,探讨建筑电气设计中低压配电系统安全性是本课题的一个研究方向,笔者通过资料整理、工作经验概述等方法对其展开全面探讨。

摘要：在分析概括传统系统安全性分析的基础上,提出了一种基于模型的航空发动机系统安全性评估流程和分析方法,其从航空发动机系统自身特点出发,统一安全性分析和发动机性能设计模型,实现安全性设计和性能设计之间的平衡交互,以保证安全性分析结果的一致性、完整性和客观性.经概括,该流程方法所需突破的3个关键技术有:1失效模式的描述方法;2关键影响因素的分级和定位方法;3安全性分析验证方法.

摘要：随着现代社会的不断发展,计算机技术也得到了不断的提高,越来越多的企业建立了基于web的管理信息系统。web管理信息系统具有很多优点,例如:目前企业内部的数据量都非常大,传统的管理模式已不能满足企业需求,而使用基于web的管理信息系统进行管理,就可以轻松实现信息的自动获取、安全处理和存储等功能,有利于提高企业的工作效率。当然在开发过程中,因为各种设计缺陷,以及缺乏必要的软件工具和安全技术等,基于web的信息系统也容易感染病毒、被植入木马程序,或者受到黑客的攻击,引发更多的安全性问题。所以如何安全的使用web管理信息系统,避免企业信息被盗,是现在非常重要的话题。本文通过对web管理信息系统安全性设计进行研究和分析,并提出一些建议,希望能够为企业带来一些参考和借鉴。

摘要：地(舰)空导弹发控系统作为导弹发射控制过程的核心装备,安全性是一个非常重要的质量特性。分析了发控系统存在的典型危险源,从系统总体设计、电气设计、结构设计、软件设计等方面给出了安全性设计的要求和建议,并阐述了安全性设计和可靠性设计的辩证关系。

摘要：系统安全性分析方法是目前广泛采用的飞机安全性设计方法。由于在分析中缺乏对系统整体动态特性的检查,在设计中可能存在可靠性指标分配的不合理。通过面向安全性的风险评估,能够实现系统动态特性的综合验证。提出了一种基于割集和重要度的故障树可靠性指标分配方法,以某型飞机横向电传操纵系统安全性设计为例对顶事件不可靠度指标进行分配,然后结合基于极值理论的飞行风险评估实现了部分底事件可靠性指标的修正。

摘要：随着计算机系统应用的深入和广泛,系统安全性越来越成为人们关注的焦点,形式化模型检验是解决系统特性验证问题的一种有效途径,用有限自动机表示系统的设计和实现,用计算树逻辑CTL(ComputationalTreeLogic)公式表示系统的安全特性,探讨了系统安全性形式化验证的方法。

摘要：西南交大校园卡′９６ 系统、清华大学校园 Ｉ Ｃ 卡系统是国内高校有代表性的校园 Ｉ Ｃ 卡系统。此类多功能 Ｉ Ｃ 卡系统的设计，特别是系统的安全设计，对企事业单位的（ 单用途） Ｉ Ｃ 卡支付系统和实现“一卡通”多功能应用系统的安全设计均有普遍参考价值。

摘要：装备系统的动态行为特征使其安全性分析工作复杂而困难。为满足装备系统动态安全性分析工程实际的需要,需开发集成化的软件平台并综合运用有关技术方法来进行。研究了动态系统安全性分析的主要工作内容,分析了动态系统安全性分析平台对基础数据、知识和模型的需求,提出了平台的结构和功能设计方案,并给出了分析流程。

摘要：在论证B2C电子商务安全性需求以及.NET平台安全性方案的优势的基础上,提出了基于.NET的电子商务系统的物理安全模型及其实现模型,讨论了这一安全模型在多端体系结构下的实现过程,并给出了.NET框架下通过身份验证、授权、加密等手段实现B2C电子商务系统安全性的技术细节。

摘要：吊拉式附着升降脚手架是在吊拉式脚手架基础上增设升降功能而形成和发展起来的,它以成本低、安装快、使用方便和适应性强等优点成为高层、超高层建筑施工脚手架的主要形式之一[1].但由于这类附着脚手架尚处于发展与完善之中,许多建筑施工单位自行生产,既无统一的设计标准,又缺乏严密的操作规程,因而在施工实践中不断有坠落事故发生[2][3].本文就吊拉式附着升降脚手架工伤事故的原因进行力学分析,并对事故因素加以讨论,从而找出出现异常的最不利位置.