FPGA可测性设计研究

提出了FPGA芯片CLB模块的向量级连测试、内建自测试和互连资源内建自测试等可测性设计方法,在保证测试覆盖率的同时通过优化测试程序控制测试代价增长。     

软件形式化开发研究

形式化方法被当今计算机界誉为克服“软件危机”、提高软件可靠性和生产效率的革命性途径,也是实现软件开发自动化的关键。阐述了软件开发的形式化方法,介绍了几种典型的形式化软件开发工具,重点介绍了PAR方法,并结合具体实例阐明了PAR方法的应用。     

数据融合系统的模型化和形式化研究

从数学角度对数据融合进行研究,给出了一个数据融合的数学模型。考察这种数据融合模型的意义,并把其应用于形式化研究中,得出一种形式化数据融合问题求解描述的简单方法。     

企业需求模型的形式化验证

企业信息化建设和改造中对建立全面、正确、一致的企业模型存在巨大需求.在企业信息系统开发的生命周期中,系统分析阶段内需求的正确获取与表达是保证软件质量、降低软件开发成本和风险的关键.文中提出对需求建模时引入本体方法进行形式化描述,进而设计模型能力问题验证,发现需求和设计的缺陷,确保软件需求的正确、有效和完备.基于此选择企业经营销售管理领域,并采用逻辑程序设计语言Visual Prolog给出了针对需求模型进行验证的应用实例.     

数据融合系统的模型化和形式化研究

从数学角度对数据融合进行研究,给出了一个数据融合的数学模型.考察这种数据融合模型的意义,并把其应用于形式化研究中,得出一种形式化数据融合问题求解描述的简单方法.     

软件测试过程模型的改进研究

软件测试过程模型具有指导软件测试过程的作用,为了弥补在日益复杂的测试开发活动下软件测试过程模型的局限性,在对现有主流测试模型进行研究的基础上,提出了一种新型软件测试过程模型——改进并行模型.与传统软件测试过程模型相比,该模型能更充分地体现测试与开发活动之间的并行性、迭代性、时序性、一致性和管理性,对未来的测试开发过程具有一定的指导作用.     

船舶物流中的能耗约束运输模型设计与实现

针对传统能耗约束运输模型能耗约束性能较差的问题,设计一种船舶物流中的能耗约束运输模型。由于船舶物流中货物的运输衔接与转运均发生在运输网络节点处,因此扩展运输网络节点以实现运输网络的简化,完成船舶物流运输网络节点扩展后,利用置换后的扩展换装运输网络节点进行船舶物流运输,并通过节点能耗约束算法对船舶运输过程实施能耗约束。根据能耗约束结果,构建船舶物流中的能耗约束运输模型,实现船舶物流运输过程中的能耗约束。为了验证船舶物流中的能耗约束运输模型的能耗约束性能优于传统能耗约束运输模型,通过对比实验获取二者船舶物流运输过程中的能耗约束点分布状况,比较二者的能耗约束性能,实验结果证明该能耗约束运输模型的能耗约束性能优于传统模型,实现了能耗约束性能的突破。     

军用软件测评过程管理系统的设计与实现

基于ASP.NET架构设计并实现了军用软件测评管理系统,阐述衔接有序的测试流程和标准化的管理规范,分析了实现难点,给出了设计思路,对提高软件测评的质量和效率具有重要意义.     

UML在大型单件小批型制造企业生产作业计划系统中的应用

介绍了统一建模语言UML(Unified Modeling Language)的特点及可视化建模方法,并以大型单件小批型制造企业生产作业计划系统为例,在分析系统功能需求的基础上,运用UML建立了该系统的静态模型(用例图、包图)和部分动态模型(序列图、状态图),这有利于全面把握复杂的系统,在尽可能简单的同时对实际需要建立的系统的各个方面建模,缩短软件开发周期,提高系统的质量.     

舰船电力推进逆变器软件测试模型的构建与实现

本文分析了舰船电力推进逆变器软件的特点,讨论了经典软件测试模型的特点和优缺点,提出了一种适用于舰船电力推进逆变器软件的新型测试模型;通过在舰船电力推进逆变器软件开发的三种模型中的应用,应用结果表明,此软件测试模型相对于经典模型能更好的适用于舰船电力推进逆变器软件开发、测试活动,更早地发现问题,提高软件的开发效率。     

软件Markov测试的使用链及测试充分性研究

基于有限Markov链理论，形式化的描述了软件统计测试，提出了一种频率计数算法，它能够同时解决软件Markov，测试中存在的两个难题：1．建立精确的使用链(或用户剖面)；2．确定满足测试充分性的最优用例数。算例表明该算法是十分有效的。     

软件Markov测试的可靠性评估

计算机软件可靠性估计是当今研究的重要问题之一。基于有限Markov链理论，形式化的描述了软件统计测试方法，提出了一种软件的可靠度估计及其近似置信下限估计方法，并分别对特殊的分支和序列两类软件系统进行了具体研究。     

基于MDA的信息对抗软件测试仿真平台设计

以往软件测试过程中测试用例的数据准备都由测试人员人工设计并驱动被测软件,这种方法有着效率低下、测试用例可重用性差等缺点。文章以模型驱动的基本思想为指导,以仿真组件的可重用性为目标,设计出一个基于MDA的信息对抗软件测试仿真平台。该平台能够根据不同被测软件的需要,通过仿真提供测试数据,并且可以依据不同军事想定灵活地定制输出数据的类型和格式。     

基于UML的舰艇综合通信监控系统的设计与实现

新型舰艇综合通信系统以SDH光环网构成的宽带传输交换平台为交换承载媒体、设备控制单元为外通设备控制节点,实现了各种用户设备、终端设备和信道设备的接入、控制、交换、传输和管理的统一,达到内通和外通业务融合,满足了海军对现代战争新型综合指挥通信平台的需求。基于面向对象方法的舰艇综合通信监控系统充分运用了UML的开发思想,实现了对舰艇综合通信系统功能的需求。随着舰艇通信设备的陆续更新、通信体制的不断发展,通信监控软件经过不断升级,软件的可靠性和可重用性得到了检验。     

基于PCA的软件质量度量模型

从理论上系统介绍了软件度量框架和构造软件质量模型的方法。利用主成分分析技术构造了一个多元回归质量模型。结果表明用这种方法对经验数据进行分析是有效的。     

基于云进化策略的软件可靠性分配

软件可靠性分配是保证软件质量的重要方法之一。该文提出了一种基于云模型的进化策略,并应用于求解软件可靠性分配模型,实例表明可以得到比常规的数值方法及遗传算法更精确的结果。     

作战模拟器软件保障策略研究

作战模拟器装备的投入使用产生了巨大的军事和经济效益，其软件是实施作战模拟的关键因素。为了保障日常的模拟训练，发掘作战模拟器后续效能，软件的保障尤为重要。结合模拟器软件的特点和影响软件维护保障的因素，探讨了软件的保障策略。     

GPS软件接收机捕获和跟踪算法研究

研究了GPS软件接收机的捕获和跟踪算法,并在matlab平台上实现了GPS软件接收机,实现了快速的基于循环卷积的并行捕获算法,得到了可见卫星的初始相位和多普勒频移。使用了超前滞后环和对相位反转不敏感的科斯塔斯环分别对码相位和多普勒频移进行跟踪,成功解调出导航电文。     

基于通用软件的船体结构三维数字模型的开发与应用

以一个常见双层底分段为例,介绍了利用通用软件AUTOCAD建立船体结构三维数字模型、提取零件属性、生成零件明细表、合并所有零件、构造整个分段三维实体模型、查询分段质量和质心、装配干涉检查、自动生成分段视图的方法和操作过程,以及船体曲面建模和其在船体结构设计中的应用;阐明了基于通用软件进行船体结构三维数字模型的开发与应用是切实可行的。     

基于仿真模型构件库的仿真系统开发方法研究

仿真系统的运行离不开模型,随着大型复杂化仿真系统的开发,如何利用原有的模型,减少系统的开发周期和费用是一个亟待解决的问题。在分析仿真系统运行机制的基础上,分析了构件技术及构件库技术,探讨了基于构件库的软件开发的一般方法,提出将仿真模型构件化和仿真系统的开发采用基于仿真模型构件库的观点,并给出了基于构件库的仿真系统的开发流程。