面向对象主流切片表示法的比较研究

随着面向对象程序的发展,它的切片表示法也逐步成熟.对面向对象程序依赖图和面向对象系统依赖图这两种主流的面向对象切片表示法进行研究后,给出了两种方法的主要特点,并比较了它们的异同点及适用的应用领域.最后,对好的切片表示法应该具备的特性进行了总结.     

系留气球压差与球体应力变化关系研究

针对系留气球球体压差变化和球体应力变化之间的关系进行研究.对球体受力情况进行简化,采用微元受力分析的方法进行应力分析,得出球体应力的理论解.采用有限元软件对无附加结构的球体进行应力分析并同球体应力的理论解进行对比,验证了有限元软件计算结果的可靠性.利用有限元方法在不同压差情况下对球体应力进行分析,确定了其高应力区域的范围和数值.需要指出的是采用膜单元比采用通常的薄壳单元进行应力分析更贴近实际情况.上述结果为球体气囊的结构设计、强度设计提供依据.     

基于FPGA的视频压缩系统预处理模块设计

在视频压缩系统中,视频解码器输出的BT.656数据流不便于TMS320C6416等通用DSP直接进行处理.本文介绍了一种基于FPGA DSP构架的视频采集方案,通过对FPGA的灵活配置,对输入的BT.656格式视频信号进行预处理和缓冲.系统采用TI的TMS320C6416作为核心DSP,实现了高可靠性的视频压缩.     

测量电子动量的简易磁谱仪

本工作设计了场强高、漏磁小、磁极间隙场强均匀的轻便磁谱仪。还论述了磁谱仪的刻度及使用方法。     

基于ICD的接口通讯程序代码自动生成技术

为快速开发嵌入式应用中的接口通讯程序,提高其效率和可靠性,本文提出了一种基于ICD的代码自动生成技术.首先确定了目标代码的形式,通过设计系统结构、建立驱动模型和代码生成单元结构,最终实现了代码生成器.本文设计的代码生成器,能够根据ICD数据库自动生成符合ANSI C标准的接口通讯程序,并在某航天工程的集成仿真测试系统中得到应用验证.     

基于遗传算法的临近空间飞艇多学科优化设计

临近空间飞艇设计中,确定系统总体参数、给出优化的艇体外形十分关键,针对传统设计方法,为改进其中串行设计的不足,提出了并行多学科优化设计方法;并基于遗传算法开展了飞艇外形优化设计方法研究,结合气动、结构、强度进行了一体化优化。仿真结果表明利用遗传算法开展飞艇多学科优化是可行的,另外在进行设计时,不能仅将减阻作为研究重点,还应全面考虑结构重量、强度等其它因素。     

用于程序开发的改进的有条件切片算法

为了加速软件开发,提高软件质量,本文针对开发过程提出了一种改进的有条件切片算法.该算法改造了程序控制流程图,扩充了程序数据依赖定义,按照条件切片的一阶逻辑谓词缩减目标程序,并用扩充后的数据依赖计算有务件程序切片.在程序编码阶段,该算法能够抽取需要关注的代码段给开发人员,并能利用边的信息计算出程序的路径数目.从而为开发人员发现软件缺陷、冗余提供了有利的支撑.     

嵌入式系统仿真研究

嵌入式环境的仿真能够为嵌入式软件的测试和可靠性的提高提供有力保障.当前的指令集环境模拟不能满足实际测试中的需要,基于此,构建了满足最小测试子集的仿真系统.该系统以关键控制单元为触发点,仿真嵌入式汇编软件的运行环境,实现了全数字、跨平台仿真,并支持脱离硬件的系统联调.为其它嵌入式系统的仿真提供了可借鉴经验.     

基于复合执行剖面的测试用例缩减技术

考虑到基于观察的测试常用的基本块、分支边等执行剖面信息不能完全表现测试用例对缺陷的发现能力,致使筛选的测试用例失效发现率不高,本文根据分析不同程序元素对缺陷类型的表现情况,提出将全面覆盖缺陷的复合执行剖面用于缩减高效的测试子集.实验结果表明,该缩减技术综合考虑了执行剖面对测试用例缺陷覆盖能力的刻画及失效用例的分布特性,因而得到的测试子集更能有效发现程序缺陷,提高了测试效率及可信度.