UM L顺序图的形式化定义与特性分析

以统一建模语言(UML,Unified Modeling Language)规范为基础,给出UML顺序图及组合顺序图的形式化定义;并在此基础上,详细讨论了UML顺序图中对象的消息发送特性和消息接收特性,给出了发送消息集合和接收消息集合的形式化定义;同时进一步分析了对象消息发送和接收之间的一致性问题;最后,通过实例分析,对UML顺序图的特性作进一步的解释.该形式化定义与特性分析为基于UML顺序图的模型转换和模型验证提供了必要的前提条件,也为基于UML顺序图的测试用例的自动生成奠定了基础.UML顺序图的形式化描述可用于对软件结构的理解和构造可视化建模工具.     

基于UML活动图模型的测试用例生成技术研究

为了设计和生成系统工作流程的测试用例,引入测试大纲模型的概念,设计出从UML(Unified Modeling Language)活动图模型到测试大纲模型,再到测试用例模型的三级转换过程和一组消除活动图模型中的非结构化特征、将其转化为模块化的测试大纲模型,以及把并发子过程实例化为一组典型测试场景的基本规则.还研究了针对每一个输入操作,选择基本输入数据集,并将其赋予测试大纲模型之上,从而构造测试用例模型的方法,以及最终基于测试用例模型生成完备的测试用例集合的方法.      

基于差分递减权系数的加权Q控制图

Q控制图的异常检出时间远长于参数已知时控制图的异常检出时间,对此提出了一种加权Q控制图方法.基于单容量样本度量和多容量样本度量,分别给出了相应算法,对算法的正确性给出了数学证明.加权Q控制图方法根据差分递减的权系数构造加权Q控制图的Q统计量,随后对该Q统计量使用Q控制图进行异常分析.仿真结果表明:加权Q控制图的异常检出时间短于Q控制图的异常检出时间,且与参数已知时的控制图的异常检出时间相差不大,综合考虑实用性和检测灵敏度这两个指标,加权Q控制图优于Q控制图和参数已知时的控制图.     

基于顺序二元决策图的动态故障树分析

针对现有动态故障树分析方法存在的状态空间爆炸、计算效率低、适用范围有限等缺点,提出一种基于顺序二元决策图的动态故障树分析方法。在将动态逻辑门转化为含顺序事件的逻辑门的基础上,给出了顺序二元决策图的模型以及含有顺序事件的布尔运算规则,利用顺序二元决策图和扩展的布尔运算获取动态故障树的失效路径,并给出多单元顺序事件的发生概率。以某弹药为实例,考虑不完全覆盖问题,针对指数分布与非指数分布2种情形进行了动态故障树分析,结果表明该方法具有计算高效、精度高、适用性广泛等优点,为复杂动态系统的可靠性分析提供了理论基础。     

实时嵌入式软件测试输入的可视化建模

实时嵌入式软件仿真测试是一种目前应用较广的测试技术.文中根据实时软件及其输入的特点,结合在软件工程领域有着广泛运用的统一建模语言(UML),提出了一套基于输入类图、输入顺序图并辅以输入描述的测试输入可视化建模方法,在此基础上可以自动生成测试脚本或测试数据,用于驱动实时嵌入式软件测试的进行.      

返回散射电离图的前沿提取方法

提出了返回散射电离图前沿提取的方法. 其中, 一层电离图前沿和两层电离图下面一层前沿是在消除干扰和噪声后的电离图上采用边缘识别方法进行提取的, 两层电离图上面一层前沿则是在仅经过干扰抑制的电离图上采用基于高斯型加权系数的能量梯度算法进行提取的. 本文提出的前沿提取方法准确率较高, 并且易于实现, 已在工程中得到应用.      

基于贝叶斯动态模型的自相关控制图

传统控制图应用的假设前提是从过程得到的观测值彼此独立.但许多过程存在自相关现象,并且这种自相关现象对控制图性能有严重影响.从工程实际出发,对AR(1) 过程模型提出了基于贝叶斯动态模型的自相关控制图,阐明了此自相关控制图的原理和方法;并将该控制图与基于过程模型的自相关控制图的性能进行比较.此控制图借助贝叶斯先验估计,建模迅速,不以时间序列模型为基础,对强自相关模型具有很好的性能.对强自相关过程,并要求迅速建立过程控制时,可以使用此自相关控制图,进行过程监视.      

黎曼流形的Delaunay三角化和Voronoi图

主要研究黎曼空间中Delaunay三角化和Voronoi图.首先,分析和讨论了黎曼流形的Delaunay三角化和Voronoi图的存在性和生成算法.然后,在分析已有研究成果基础上,给出了黎曼流形Delaunay三角化和Voronoi图的一些性质和证明,并提出了采用黎曼流形描述问题的必要性和使用坐标卡研究黎曼流形的优势和意义.最后,以二维流形为例,介绍了将模型初始数据解释为黎曼流形的算法,包括建立坐标卡,定义流形函数等.在黎曼流形定义的基础上,详细描述了基于坐标卡生成模型的Delaunay三角化和Voronoi图的算法,并给出具体实例.     

基于分水岭与图割的自动分割方法

为快速、准确的提取CT序列图像中目标物体,把分水岭和图割相结合.首先选择目标物体的内外轮廓,对内外轮廓之间的区域用分水岭算法预分割为若干小区域,把每一个小区域作为一个节点,建立图结构.把多源点和多汇点简化成单源点和单汇点,建立新的图结构.然后利用最大流/最小割定理进行切割,提取目标物体.最后把上一张CT目标物体的轮廓映射到下一张CT上,分别扩大和缩小该轮廓作为该CT的内外轮廓.根据上述方法提取轮廓,对整个CT序列依次循环操作.通过实验证明该算法在分割效果和分割时间上优于其它传统算法,同时,实现了三维空间上序列轮廓的自动提取.     

多元协方差控制图

论述了多元正态分布情形下建立基于样本广义方差│Ｓ│的多元协方差控制图的方法,叙述了分布参数∑已知时Ａｌｔ建立的多元协方差控制图－│Ｓ│图方法,给出了∑未知时建立多元协方差控制图－△图的方法,给出了按两步法建立∧图的步骤,解决了利用样本广义方差建立多元协方差控制图问题,文中还给出了两个应用实例加以说明。     

面向对象程序可视化类图的逆向自动生成

研究了逆向构造程序类模型的基本规则, 并且提出了一种可以自动绘制的、基于继承关系的层次型类图结构(inheritance-layered class diagram).在这种层次型类图上,可以清晰地展示程序中的对象类及其相互之间的继承关系、组成关系和关联关系等,并可以直观方便地对程序中定义的对象类进行各种相关性或依赖性分析.文中还介绍了一个根据上述规则和方案实现的实用工具SafePro/Re-OM.     

天线方向图调零点方法及其在抗干扰通信中的应用研究

分析了目前广泛使用的甚低频收信天线的方向特性,重点讨论了磁性天线方向图零点自动、快速调整的实现方法,并对该方法在抗干扰通信中的应用进行了探讨。     

光信号眼图校准模块设计

介绍一种新型光信号眼图校准模块的设计方法,给出了眼图测量的参数、眼图校准模块设计原理和试验装置的选择思路,充分考虑了可调谐激光器的出光功率、偏振方向、光调制启、微波放大器引入的误差以及被测设备自身的抖动、时基误差等因素,通过开展上升时间测试和抖动测试,分析了光接收机的带宽、抖动对标准眼图的影响,最后给出了试验结果,分析光信号的眼高度、眼宽度、消光比、光调制幅度、抖动与码速率、码长度、误码率参数的关系。     

影响图对策在多机协同空战中的应用

为了解决不确定环境下空战机动决策问题,将影响图和对策论引入到多机协同空战中,提出了协同影响图对策模型.首先确定群机空战转化为多个小编队作战的原则,然后在协同的思想下把多对多空战模型转化为多个一对一空战模型,最后在不确定环境下,运用影响图对策理论解决一对一空战.针对影响图对策模型计算量大的问题,采用移动平均控制法进行求解.空战仿真结果表明该模型的有效性.      

基于目标操作化的多引擎协作体系结构研究

基于目标操作化的域原子操作模型,研究分析了面向应用目标的系统设计与实现的基本问题,通过引入解释引擎,提出了面向目标的形式模型与应用软件设计实现的一体化机制;在系统级应用中间件之上,引入组件服务,提出了一个通过处理操作作业流实现目标的、多个操作服务引擎协作的体系结构,通过构造组件适配器,以满足操作服务引擎对异构组件服务的一致性访问.     

试验设计在软件可靠性测试中的应用

为了有效利用资源、优化测试数据,在软件可靠性测试中引入试验设计:在操作剖面开发过程中应用正交试验设计,选择典型操作;在测试数据生成过程中使用组合设计,结合发生概率得到优化测试数据集.完整的软件可靠性测试过程包括确定系统模式剖面,然后根据正交试验设计确定操作剖面,根据组合设计确定运行分类,最后生成可靠性测试数据执行测试.在此基础上开发了测试数据自动生成工具,进行了实例应用.结果表明该方法不仅能为软件生成可靠性测试数据,还能发现更多的软件缺陷.      

基于动态故障树的卫星可靠性分析

针对卫星系统的可靠性问题，提出了一种基于动态故障树的卫星可靠性分析方法。采用马尔可夫链和二元决策图相结合的分析方法，建立卫星的电源、姿轨控和推进3个分系统的动态故障树模型，在此基础上得到卫星的随机故障模型，并综合考虑损耗故障建立卫星可靠性模型。利用蒙特卡洛仿真对随机故障模型进行评估分析，并将其与Weibull分布模型进行性能比较，仿真结果表明该方法能够有效分析卫星的随机故障，具有计算精度高、效率高的优点，并能更有效地模拟卫星部件随机故障的动态行为。