一种基于UML的面向对象需求分析方法

 提出一种实用的基于UML 的需求分析及其建模方法, 以活动图模型来表达业务模型, 以概念层的对象图、状态图及交互图模型表达系统的结构逻辑及行为逻辑, 以用例表达系统需求, 讨论了需求分析及其建模的过程概念, 方法实施的构造算法。该方法已经在空间天文望远镜系统需求分析中得到成功应用。     

基于DSP的数字下变频软件实现

数字下变频(DDC)技术将宽带大数据流信号变成窄带低数据流信号,以便 DSP 实时处理。在分析数字下变频的基本模型基础上,提出了一种基于 DSP 芯片的数字下变频软件实现方案,讨论了相应的算法及分析,并给出了软件实现的主程序结构。软件数字下变频比常规 DDC专用芯片有更大的灵活性、适应性和更高的处理中频。     

电磁环境监测系统设计

详细地介绍了电磁环境监测系统的研究设计，同时介绍了软件及计算机辅助测试设计。     

远程飞航导弹组合制导仿真软件

介绍了研制的远程飞航导弹组合制导仿真软件。首先建立了制导系统各个子系统模块数学模型,然后给出了主要的程序流程,最后介绍了软件包的人机界面和使用方法。     

基于CORBA构件的软件体系结构模型的实现

软件体系结构是一种新型的基于构件以及构件库的深层的软件复用,它的提出使超大规模软件设计的简化成为了可能。本文提出了基于CORBA构件的软件体系结构模型,并通过给出ADL的BNF语法,扩充CIDL编译器和CORBA的服务,从而描述了其实现模型。     

软件测试的控制论方法

 软件测试被认为是软件开发过程中理解最为不清的一环。部分原因是虽然有很多策略被定义和分析,但很少有策略被设计和优化。软件测试的反馈机制迄今尚未形成。基于此种情况,软件测试的控制论方法将软件测试问题当作控制问题,被测软件当作被控对象,软件测试策略当作相应的控制器,被测软件和测试策略构成一个闭环反馈控制系统。软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略,是软件控制论思想的体现。在受控马尔可夫链方法的框架内讨论软件系统的自适应测试,并与随机测试进行比较,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性。     

飞机拦阻系统PID控制及Matlab实现

主要介绍了飞机拦阻器的控制原理,并以钢缆式液压飞机拦阻系统为对象,采用线性化的方法得出系统传递函数模型,以恒加速度为控制目标设计出了PID控制器。并将该控制器应用在飞机拦阻系统的控制中,仿真结果表明,采用此控制器的控制系统具有较好的拦阻效果,可应用于我国大多数型号军用飞机的拦阻。     

不同襟翼偏角梯形翼构型气动特性数值模拟

基于雷诺平均Navier-Stokes(RANS)方程和结构网格技术,采用二阶离散精度的单调迎风格式(MUSCL),结合剪切应力输运(SST)两方程湍流模型和γ-Reθ转捩模型,研究了梯形翼高升力构型襟翼偏角变化对气动特性的影响。主要目的是进一步确认Trisonic Platform(TRIP)软件模拟高升力梯形翼不同襟翼偏角引起微小气动特性变化的能力。首先,简要介绍了采用的计算方法;其次,介绍了两种襟翼偏角的梯形翼模型及风洞试验;最后,在网格收敛性研究的基础上,采用全湍流和转捩两种方式模拟了梯形翼构型不同襟翼偏角对气动特性的影响。与试验数据的对比结果表明,采用全湍流和转捩两种方式均可以较好地模拟不同襟翼偏角对气动特性的影响量,采用γ-Reθ转捩模拟方式可以提高梯形翼构型气动特性的模拟精度,失速迎角附近的气动特性模拟需要进一步研究。     

一种面向服务的航电任务系统软件架构

OSGi(Open Service Gateway Initiative)标准是面向服务软件架构的典型架构,OSGi为面向服务插件开发提供了一种动态的、可部署的基础框架环境。QT是1991年奇趣科技开发的一个跨平台的C++图形用户界面应用程序框架,它提供给应用程序开发者建立艺术级的图形用户界面所需的所有功能。基于OSGi标准和QT提出并实现了一种面向服务的航电任务系统软件架构,介绍了OSGi标准以及QT,同时对QT实现OSGi中核心关键技术进行了分析,提供了一个航电任务系统的面向服务解决方案。     

运用关系代数理论解析接口底层实现机制

接口是面向对象范式和工程领域中的重要概念,认识其实现原理和内部机制有利于提高软件实践过程中的设计开发能力。首先,从普通的接口调用语句的汇编命令入手,描述了接口的使用方法和外在特征;其次,运用数据模型和关系代数等关系理论技术,分析探讨了接口底层机制的实现原理;再次,给出了2种可能的接口实现机制,通过对比分析确立了比较接近真实的底层实现机制,并分析了其静态结构、执行过程及其他特点;最后,相关试验结果表明该模型机制能够满足软件底层体系结构要求并解释了软件的相关呈现现象,从而证明了推断过程和结果的正确性。