关于右连左极函数的Gronwall不等式

给出了传统意义下的Gronwall不等式的推广形式,并且给出了在右连左极函数积分下的一种Gronwall不等式。     

软件系统的可靠性综合评估模型研究*

主要研究了软件系统可靠性的评估方法。基于软件系统的基本结构和体系,对软件系统层次可靠性进行分析,并对影响可靠性的因素进行了分析;根据各分系统失效对整体系统失效影响程度的大小,通过事件测试分析得到实际参数,在给出重要度系数的基础上,建立了串并联系统间权重系数模型,并通过Bayes分析建立了软件系统的可靠性综合评估模型,从而达到对软件系统可靠性综合评估的目的。算例表明该可靠性综合评估模型具有一定的工程应用价值。     

推进舰队舰船装备保障军民融合深度发展

文章就推动装备保障军民融合深度发展,提出应正确把握和领会其基本内涵,客观分析其发展现状,着力解决制约装备保障军民融合深度发展的深层次矛盾和问题,并从创新体制机制、构建管理系统、健全法规标准三方面提出了相关的对策思考。     

武器装备作战控制软件管理方法

随着科学技术不断进步 ,微处理器及其作战控制软件已被现代武器装备大量采用 ,作战控制软件发挥的作用越来越大 ,对软件的管理亦更加重要 ,通过对作战控制软件管理方面存在的问题的分析 ,提出了加强武器装备作战控制软件管理的方法     

通信对抗装备软件质量保证若干问题探讨

论述了通信对抗装备软件质量保证的基本内涵 ,在分析软件质量保证实施中存在的突出问题的基础上 ,提出了加强软件质量保证工作应该采取的对策     

综合战场环境仿真软件建模

作为C3I系统重要组成部分的综合战场环境仿真软件要求必须具有开放性和可重用性,以适应战场环境和武器系统的变革.基于以上特点,本文采用UML对综合战场环境仿真软件需求进行建模,采用此方法对该软件进行建模,可以将复杂的综合战场环境仿真系统用简单明了的可视化图形表示出来,为整个软件的开发提供灵活、一致、易读的表达,不仅可以解决软件开发中众多领域人员难以互相交流理解的难题,还可以提高软件的可靠性、可重用性和可维护性.     

基于实际飞行数据插值的INS/GNSS组合导航仿真轨迹发生器

针对INS/GNSS组合导航仿真中,捷联惯导系统陀螺、加速度计信号高精度模拟问题,提出了基于实际飞行数据插值的动态轨迹解析生成仿真算法。对转换到地心惯性坐标系中的载体姿态、位置和重力场数据进行关于时间的样条函数插值,得到载体坐标系下陀螺角速率、角增量以及加速度计比力积分增量的高精度分段解析表达式。使生成的陀螺、加速度计信号符合载体运动学和动力学特性,反映杆臂效应影响,同时与经事后处理的实测GNSS伪距、伪距率等数据特征保持一致。提出了四元数约束插值算法,可满足四元数解析插值时范数为1的约束限制条件。基于某实际无人机飞行数据,验证了所提出算法的有效性,完全满足组合导航动态仿真精度要求。该算法也适用于其他高精度高动态导航系统和刚体运动控制仿真中的角运动、线运动传感器信号模拟。     

科技军民融合政策制度

科技军民融合政策制度是推动军民科技协同创新向纵深发展的基本保障和环境条件。分析了我国科技军民融合政策与管理制度的内涵、分类和组成,调研了我国科技领域军民融合有关政策现状及最新试点情况,分析了当前我国科技军民融合政策制度的缺陷点、薄弱环节,研究了国外科技有关的军民融合政策体系构建的规律及启示,提出了我国科技军民融合政策制度建设的基本思路、组织框架、建设重点和推进措施,以为我国科技军民融合政策的制定提供理论保障和决策依据。     

军民融合视角下的美国网络安全人才战略

由于网络技术的军民两用特性,军民融合是提升网络空间安全能力的必然选择。而网络空间的竞争,归根结底是人才竞争。网络安全人才战略必须有效应对人才资源整体不足的现实困难,通过合理配置资源和创建创新机制安排,推进军民融合式的网络安全人才体系建设。美国高度重视人才在网络安全战略体系中的关键作用,通过宏观政策引导、创新交流机制、拓宽吸纳渠道等多种方式,为构建军民融合式的网络安全人才战略提供了经验借鉴。     

软件需求工程及其发展

详细介绍了需求工程的基本概念及其内容,根据目前的实际情况,简要总结了需求工程的常用方法和支持工具,并指出需求工程的发展现状和存在的主要问题。收集国内外的相关资料,进行综合分析,以便了解国内外的研究现状,并进行适当的相关研究。认为:软件需求的获取是软件需求工程的重要一步,是软件质量保证的基础:研究具有可操作性和实用性的软件需求工程辅助工具具有重要意义。