军用可信软件现状及发展研究

随着计算机技术在军事领域的广泛应用,军用软件的可信性越来越引人关注。在总结了学术界对可信与可信性定义的基础上,给出了军用可信软件和军用软件可信性的定义。分析了国内外军事相关领域可信软件的发展现状,指出了当前我军军用软件研发模式中的不足并阐述了开展军用可信软件研究的意义及其发展方向。     

新舰维修能力评估体系赋权研究

为了评估舰船维修机构对新型舰船的维修能力,建立了舰船维修机构对新舰维修能力的评价体系,并介绍了各指标的量化方法,为克服体系中指标之间出现的相容性问题,在赋权过程中,采用网络分析法处理专家的倾向意见,借助超级决策软件Super Decision计算出评价体系的指标权重.从计算结果来看,网络层次结构中控制层及网络层各指标权重均符合专家倾向及部队评估实践,网络分析法与Super Decision软件值得被推广.     

攻击型潜艇警戒扇面伴随护航问题研究

对警戒扇面伴随护航问题作了简要描述,分析了其组织实施的时机和要素,构建了警戒扇面伴随护航数学模型,形成了该护航组织方法的可行性判断条件,仿真研究了护航潜艇警戒阵位配置和敌我速度相对关系对警戒扇面伴随护航组织实施可行性的影响,可为指挥员计划组织该护航方法和海上具体操作实施提供重要参考.     

课程资源视角下的“多媒体教学软件设计与开发”课程建设初探

"多媒体教学软件设计与开发"是一门面向教育技术学本科生的专业核心课,也是培养他们专业技能的课程之一。本文分析了课程资源视角下课程的教学现状,结合现有的课程建设实践,对本课程开展"课程定位"-"内容体系"-"教学策略"-"课程评价"四个模块的全方位改革。由此,建设性地提出了课程优化的若干建议。     

航天器软件的研发路线

航天器自主能力构建面临着需求不断增多、多变、复杂化、未知的发展趋势,需要在软件研发方式和架构设计上做出改变.在分析已有的4种研发路线的基础上,提出第5条路线,即基于模型化、数据化设计思想的研发路线;提出具有即插即用能力的业务模型,采用电子数据单技术自底向上构建设备级和功能业务级的即插即用能力;以智能规划业务为例说明了业...     

一种适于DSPs实现的BPSK载波同步方法

提出了全数字接收机中一种软件实现的BPSK载波同步方法 ,并给出了性能分析 ,适合于在存储空间和实时性都有要求的背景下的应用。该方法充分利用软件实现的优势 ,克服了传统方法的一些弱点 ,适合于在数字信号处理器 (DSPs)上实现