安全关键软件安全性评估方法

软件安全性评估的目的是评价软件是否达到系统所要求的安全性,对于保证和确认软件的安全性具有非常重要的意义.阐述了安全性评估方法的发展历程及优缺点,分析了推动安全性评估方法发展的原因.总结了各类安全性评估方法的所需数据、安全性参数、评估对象及适用阶段,剖析了安全性评估方法目前存在的问题.在此基础上,对未来的安全性评估方法的研究重点提出了两点建议,供其他研究人员参考,期望能推动软件安全性评估研究领域的深入开展.     

安全性原理在引信设计中的应用

根据安全性原理对引信安全性问题进行了分析。提出了在 GJB 373A《引信安全性设计准则》要求之外,引信安全性设计还应注意的问题,从而加深对 GJB 373A《引信安全性设计准则》的理解。     

大型相控阵雷达安全性设计研究

大型相控阵雷达作为新型雷达装备,其安全性质量是装备"五性"的重要组成部分,针对大型相控阵雷达安全性设计的重难点问题,利用FMEA方法进行安全性分析,找出常见危险;从电气安全、结构安全、人机安全等几个方面进行研究,提出了安全性设计的意见建议,并进行了相关安全性验证,论述了安全性与可靠性之间的关系,为部队和厂家进行安全性设计和研究提供必要的基础与依据。     

非致命武器系统安全性分析

非致命武器在各类防暴和处突任务中发挥着重要作用,为提高非致命武器的系统安全性,给出了系统安全性的定义,明确了非致命武器系统安全性的组成,分析了非致命武器本质(固有)安全性和使用安全性的关系。在建立非致命武器系统安全性评价指标的基础上,建立了适用于非致命武器的安全管理系统模型,为非致命武器的安全管理模式提供了一种新的思路。     

飞机近距发射空空导弹时安全性评估方法

以概率方法确定了飞机近距发射空空导弹时的安全性评估指标,分析了载机、导弹和目标三者初始状态,飞机轨迹等诸多因素对载机安全性的影响,同时给出了评估飞机运用空空导弹攻击目标时的安全性评估指标的原理框架。运用此模型可以解决新型飞机的安全性设计问题以及通过对现有飞机的安全性评估来改进飞机的安全性等级。     

基于层次分析法的军事物流安全性评估

军事物流系统是一个由多种因素构成的复杂系统,它的安全性是各个因素的综合体现。对军事物流系统的安全性进行评估,要在分析影响军事物流系统安全性因素的基础上,构建军事物流安全性评估模型,并采用层次分析法评估军事物流系统的安全性,同时给出仿真结果。     

指挥控制系统软件的安全性分析

在现代战争条件下,指挥控制系统软件的安全性是涉及减少系统风险、提高系统生存能力的一个重要问题。随着嵌入式计算机在指挥控制系统中被大量使用,其软件安全性问题也越来越突出。在明确了软件安全性定义的基础上,通过指挥控制系统中的一些安全性的实例,以事实证明软件安全性的重要性。着重介绍了软件安全性分析的目标、内容、过程和方法。     

江河机械厂通过安全性评价终评验收

近日,兵器集团公司安全性评价终评专家组赴河南江河机械厂进行安全性评价终评验收,最后该厂以总得分率９４．９８％的斐然成绩被终评专家评定为安全级企业。 该厂从 １９９６年就开始进行安全性评价的筹备工作。２０００年进入安全性评价的具体实施阶级,工厂在今年初成立了安全性评价领导小组,厂长亲自挂帅担任组长,下设安全性评价办公室,并在全厂范围内抽调各专业骨干３０多人组成宣传教育,综合管理,防燃防爆,电气、机械、环境安全条件六个专业组,各二级单位也相应成立了安全性评价机构,形成了纵向到底,横向到边的安全性评价组…     

计算机网络数据安全性问题

本文综述计算机网络数据安全性有关问题,包括安全性问题的基本类型,安全性服务和机制,安全性评估标准等。     

装备使用与退役处理的安全性管理与分析

<正>前言装备使用与退役过程安全性是装备发挥任务成功性的重要因素,如果忽视此阶段的安全性管理,将可造成装备损坏及作战人员伤亡,造成重大的政治影响,因此,加强使用与退役过程的安全性管事,不仅对战斗任务成功性、战争中人员安全性具有重大意义,而且可以对装备研制过程安全性设计提供重要的信息支持。以下就该阶段安全性管理工作予以讨论。     

转型期再分配中存在的问题及其治理对策

转型期再分配中存在的问题既有认识上的 ,也有操作上的 ,既包括理论研究层面 ,也涵盖政策设计领域。具体问题包括对再分配原因的认识、目标的选择、问题的认定、地位的判断、功能的界定与作用的发挥、主体的确定与手段的运用等。要治理这些问题 ,就必须强化原因认识、规范目标选择、准确认定问题、科学判断地位、合理界定功能、有效发挥作用、完善主体、健全手段     

青年官兵人际交往新变化对官兵关系的影响及对策

部队青年官兵的社会联系和活动空间日益扩大,人际交往趋于复杂,发生诸多新变化,呈现出多层次、多方位、多色彩等特点。青年官兵交往面越来越广泛,但交往的深度,尤其是感情深度却不断在弱化。同甘共苦的战斗情谊淡化,官兵之间情感的向心力减弱;尊干爱兵的同志情谊硬化,官兵之间情感的距离拉大;传统的官兵情战友爱庸俗化,官兵之间情感的基础脆弱。因此,我们要找准密切官兵关系的情感“融合点”;进行社会主义新型人际关系的教育;为官兵正常交往创造良好的条件;加强对官兵不正常交往的约束;提高干部的利益整合能力。     

弹炮结合目标防空部署方案优化评估

针对弹炮结合目标防空,选取主攻方向角、有效杀伤重叠区、有效火力范围、抗干扰能力、兵力机动能力、圆周遮蔽角、抗击概率、被掩护目标的安全性和火力密度9个评估准则,提出了弹炮结合目标防空部署方案的优化模型和评估方法.     

Algeria: A case study of insurgency in the new world order

Much of the literature on the decolonization of Namibia is set in a narrative mode and demonizes one or the other of the protagonists. This article, organized in a topical fashion, concerns the diplomatic, military, and economic facets of the Namibian war and draws upon the literature of comparable twentieth century colonial and anti-colonial wars in Algeria, Angola, Kenya, Mozambique, the Philippines, South Africa, Vietnam and Zimbabwe. It explores the changing discourse of legitimacy concerning independence for Namibia, the conduct of insurgency and counterinsurgency in the bush war, and economic aspects of that war.     

对新型主战坦克火力系统的使用和发展要求

分析了我军现装备的主战坦克,并与国外主战坦克进行了比较,对我国新型主战坦克火力系统的使用提出了武器操作简便、工作环境舒适、炮弹燃料隔仓、高射机枪潜瞄、发射弹数记录自动、目标跟踪自动、弹着偏差测量自动、武器维修方便等要求,并从有效射程、炮弹威力、射击反应时间和全天候作战能力等方面对新型主战坦克火力系统的发展提出了需求。     

论陈毅在黄桥决战中的统战艺术

1940年,黄桥事变爆发。为了赢得这场反顽战斗的胜利,陈毅在分析了苏北的局势后,展开了成功有效的统战工作。首先,针对苏北的战略态势,陈毅提出“联李、击敌、反韩”的斗争策略;其次,让出吴家桥地区,争取“二李”协助新四军东进;再次,命令新四军撤出姜堰,争取“二李一陈”严守中立。陈毅以高超的统战艺术为新四军取得这次反顽胜利奠定了基础。同时,陈毅的统战艺术对当前武警部队遂行多样化任务,也有着极重大的现实启示。     

调制气流声源振动系统参数分析

通过实验数据与理论计算结果的对比,分析了气流对振动系统的阻尼作用;并以实验声源为基础,以等效电路方法分析了调制气流声源振动系统的弹性系数、磁感应强度、音圈质量、电阻、电感以及绕线方式等参数对音圈振幅的影响;根据调制气流声源的用途差异,提出了用于语音广播和产生大功率低频声波时振动系统各参数的选择方法.     

萨特与波娃其人及其各自存在主义思想——兼读波娃《第二性》

法国乃至世界著名的文学家、哲学家、戏剧家、文论家、社会活动家萨特,及被誉为二十世纪西方最具影响的女性之一、存在主义文学家和思想家、西方女权主义运动的接触理论家西蒙·波娃,两人在精神追求、事业理想、人生态度等方面的一致,谱写了一曲爱情史上的“神话”。不仅如此,作为战后世界历史进程中的精英知识分子,他们用自己的哲学思想为后世人努力探寻着出路,代表了人类的良知。萨特哲学理论体系的核心是存在主义人学理论,我们将通过解读波娃最具世界影响的《第二性》来挖掘其思想,特别是她的女性主义存在主义思想,并试图分析二人思想的相交和相异之处。     

典型航天装备试验鉴定总体策略研究

航天装备具有面向任务、科研性强、全系统的技术状态难以固定,以及小子样等特点,在全寿命周期内的试验策略与常规武器装备的差异很大。本文在介绍装备试验鉴定模式改革的基础上,分析了航天装备试验鉴定按照新模式进行的相应调整,重点给出了卫星系统、运载火箭和航天测控装备等典型航天装备的全寿命周期模型,设计了新体制下全寿命周期内的试验阶段和关键时间节点、主要试验类型、决策支持依据、试验方式方法,以及与原试验要求的继承关系等总体策略;同时,鉴于航天装备试验鉴定数据量小等特殊性,给出了有别于常规装备的数据采信原则。该试验鉴定总体策略和数据采信原则可为航天装备试验鉴定顶层设计、组织实施、数据分析和决策支持提供参考。     

基于系统构型替换的固冲发动机故障模式半实物仿真

为全面快速验证冲压发动机的故障检测算法,基于构型替换建立了能模拟多种固冲发动机故障的仿真验证平台。基于此平台,搭建了发动机点火故障模型、压强传感器故障模型、设备接口模型,以及与真实控制器中检测算法具有相同外部接口和系统构型的故障检测算法模型等。通过系统构型的切换,将同一个故障模式注入故障检测算法模型和真实发动机系统,并通过对比同一组故障模式下故障检测模型检测结果与发动机控制系统检测结果,来对发动机控制器中的故障检测算法进行快速验证。以无喷管助推器点火的检测为例,讲述了该方法的建模、实验验证及分析过程,此外,该方法还能应用到无喷管助推器关机、进气道前后堵盖打开、燃气发生器点火、燃气流量容错控制等多个故障模式的仿真模拟与验证,具有很强的通用性,能大大地降低控制系统开发与验证的时间成本,具有很强的应用价值。