DoDAF的末段反导C2BM系统需求分析

末段反导指控与作战管理(Command,Control and Battle Manangement,C2BM)系统是末段反导系统的指挥控制中心.在系统分析末段反导系统的组成及末段反导C2BM系统工作过程的基础上,初步探讨了基于DoDAF(Department of Defense Architecture Framework)的末段反导C2BM系统需求分析方法和步骤,建立了末段反导C2BM系统的作战视图,对末段反导C2BM系统的体系结构及其信息交互进行了深入分析和可视化建模,保证了对末段反导C2BM系统需求理解的一致性,有效促进了军事人员与分析设计人员间的沟通和交流,为后续的开发夯实坚实的基础.     

多级安全实时数据库系统安全性与实时性需求的冲突分析

一个多级安全实时数据库系统不仅需要有安全限制,同时也要有时间约束.由于安全性与实时性需求之间冲突的存在而不可避免地产生隐蔽通道和优先倒置问题,文中首先分析多级安全实时数据库系统中实时性与安全性需求之间的冲突,而后基于HP 2PL协议,结合安全因素给出了一种解决冲突的算法.     

高规修订内容若干问题探讨

《高层民用建筑设计防火规范》是我国高层民用建筑防火设计的基础性规范。从设置商业服务网点的居住建筑、建筑结构、安全疏散和消防给水四个方面对《高层民用建筑设计防火规范》的有关规定进行深入分析,指出存在的问题,并针对规范不完善的条款提出修订意见。     

天基信息支援下装备保障系统需求模型

提出了用基于本体和UML的需求分析方法来建立天基信息支援下装备保障系统需求模型;建立了天基信息支援下装备保障系统需求本体元模型、语义模型并给出了建模算法;以天基信息支援下机步师装备保障系统为案例,依次建立其装备保障角色关系模型、装备保障活动模型和装备保障信息模型,然后用UML的表示方法对本体模型进行描述,详细阐明了基于本体与UML建立需求模型的方法和过程。     

装备型号需求论证工程化理论研究

明确了装备型号需求论证工程化基本概念与内涵,分析了装备型号需求论证工程化的必要性。对装备型号需求论证工程化中结构化论证模式、工程化论证方法、软件系统开发等关键问题进行了探索,完善了装备型号需求论证工程化的理论体系。     

舰艇设计中的生命力要求

生命力是舰艇设计中的一个重要因素.但是,由于缺少相应的标准评估方法、考核指标与定量设计约束要求,舰艇生命力一直未能很好地融入舰艇设计过程中.针对作战舰艇生命力设计优化,提出了一种“自顶向下”的树状生命力分解定义结构,并建立了相应的生命力评估的指标体系.同时,给出了任务相关的生命力指标设计定量要求与概率要求.     

建设社会主义文化强国是发展中国特色社会主义的内在要求

建设社会主义文化强国是发展中国特色社会主义的内在要求。它与中国特色社会主义事业总体布局相适应,与建设富强民主文明和谐的社会主义现代化国家目标相承接,与我国深厚文化底蕴和丰富文化资源相匹配。既顺应时代潮流,又体现人民愿望;既符合实际,又催人奋进。     

基于特征的态势信息及需求关联性模型研究

介绍了信息栅格体制下作战信息按需分发机制,分析了战场态势信息的内容特征,提出了基于信息特征的态势信息域及信息需求集的建模方法,提出了基于加权欧氏距离的态势信息需求关联性模型,模型计算简单迅速,便于计算机实现,对信息栅格体制下的信息分发管理研究具有一定的理论和实践意义。     

混合排队规则的战术装备维修保障系统分析

首先将战术装备维修保障过程描述为M/M/c/k混合规则的排队过程,其损坏装备到达服从相互独立的泊松分布,维修时间服从相互独立的指数分布。同时考虑系统的到达率和维修率随系统中装备数量的变化,重要战损装备等待维修时的不耐烦性以及重要装备对一般装备的强占性优先权情况,结合战术装备维修保障系统的结构和规模,建立战术装备维修保障M/M/3/12排队模型。列出模型的平衡方程,采用矩阵的分析方法得到重要装备和一般装备的稳态分布表达式,并以队长为指标进行了系统性能的计算。     

我国内燃机电站的现状分析及展望

分析了我国内燃机电站产品的现状 ,介绍了我国先进发电机组的主要性能和技术水平 ,并对未来内燃机电站市场的需求进行了分析和展望。