语境驱动的仿真模型测试方法论

组合模型的有效性验证是利用模型组合实现仿真系统快速开发的迫切需求,也是组合仿真理论和方法研究的一个重要问题.在分析组合模型抽象层次的基础上讨论了不同层次组合有效性的研究内容,并针对组合模型的行为从测试的角度提出了语境驱动的仿真模型测试方法论,重点讨论了方法论中语境的概念、语境驱动的测试框架生成以及测试框架的嵌入和运行时刻检验等内容,目的是判断仿真模型及其组合行为是否忠实反映了设计信息,实现了行为无错的演化.     

求解带装载能力限制的开放式车辆路径问题的遗传算法

对带装载能力限制的开放式车辆路径问题的求解进行了研究,提出了一种用于求解该问题的遗传算法.对算法中几个关键操作的不同实现方式的性能进行了比较.给出了算法对标准测试算例的运算结果,并与文献中目前最好的结果进行了比较和分析.     

量子连续粒子群优化算法及其应用

提出了基于量子理论的连续粒子群优化(Continuous Particle Swarm Optimization based on Quantum Methodology, CPSO-QM)算法,主要是采用了量子理论中的叠加态特性和概率表达特性.其中,叠加态特性可以使单个粒子表达更多的状态,潜在地增加了种群的多样性;概率表达特性是将粒子的状态以一定的概率表达出来.在基准函数的实验测试中,对比其它常用算法,结果显示本文提出的算法性能较好.在实际应用中,以丙烯腈反应器作为建模研究对象,提出了三种进化策略,实验结果显示,这三种策略训练的神经网络软测量模型都可以较好地预测丙烯腈的收率.     

测试代价敏感的粗糙集方法

在粗糙集模型中,α量化不可分辨关系是强与弱不可分辨关系的推广形式.然而值得注意的是,基于这三种不可分辨关系的粗糙集并未考虑数据中属性的测试代价.为解决这一问题,提出了测试代价敏感的α量化粗糙集模型,从二元关系的角度使得粗糙集模型代价敏感,并将新模型与基于强不可分辨、弱不可分辨以及传统α量化不可分辨关系的粗糙集模型进行了对比分析.进一步地,通过分析传统启发式算法在求解约简的过程中未考虑降低代价这一不足之处,提出一种新的属性适应性函数,并将其应用于基于遗传算法的约简求解中.实验结果表明该方法不仅可以降低由边界域所带来的不确定性而且同时降低了约简后的测试代价.     

多值故障字典的测点选择与序测试设计

序贯测试问题是目前的一个研究热点。由于时间复杂度太高,传统的序贯测试算法对于测点数大于12的系统无能为力。为此,将序贯测试问题拆分为测点选择与序测试设计两个问题。测点选择问题用A^*算法解决:运用M进制编码规则,首先给出了启发函数的计算方法,然后给出了能够得到所有最小测点集的改进的A^*算法。序测试设计问题用AO^*算法解决:对二值哈夫曼编码规则进行推广得到了多值编码规则,根据此规则给出了AO^*算法启发函数的计算方法。提出的方法更符合可测性设计的设计流程,试验和复杂度分析表明该方法能显著降低传统方法的时间复杂度。     

动态数据驱动应用系统的概念研究

动态数据驱动应用系统(DDDAS)是一种功能强大的仿真应用的全新模式,是系统仿真发展的新趋势,是实现现代战争中将信息优势转换为决策优势的有效途径.由传统仿真的不足引入DDDAS概念,然后对DDDAS概念进行了较为深入的分析与研究,从仿真应用、算法、系统软件支撑三个方面详细探讨了实现DDDAS的关键技术.最后,构建了基于DDDAS的决策支持系统概念框架,并指出了DDDAS的应用前景.     

模拟电路软故障诊断测试节点优选的仿真研究

基于斜率故障模型和线性相关系数故障模型,提出了一种模拟电路软故障诊断字典法中的测试节点优选算法.针对模拟电路中的单故障和双故障,分别利用节点电压增量计算出的斜率和线性相关系数作为统一故障特征,建立故障字典;给出了在字典建立过程中,利用PSPICE仿真工具对电路进行故障仿真,采用特征函数描述故障统一特征的差别,根据故障隔离度优选测试节点的算法和步骤;并用仿真实例验证了该测试节点优选方法的有效性.     

二次正交解调算法及内建自测试的实现

在阵列信号采集系统中,为了获得48路多频段高频窄带信号的特征,提出了阵列信号正交解调的方案。详细比较了实现正交解调的两种计算方法,提出了阵列信号的"二次正交解调"算法以实现系统的实时信号处理,并给出了在FPGA中阵列信号"二次正交解调"的实现方案。采用内建自测试的方法对"二次正交解调"模块和数据传输通道进行验证测试,在单频正弦信号的基础上叠加伪随机序列作为测试激励,DSP作为响应分析器验证信号特征。通过FPGA实现并验证了"二次正交解调"算法和内建自测试的有效性。     

Design and implementation of 1 GHz high speed data acquisition system

With the development of current electronic technology, numerous high-speed data acquisition systems provide a variety of potential benefits. This article describes a high-speed data acquisition system which consists of ECL logic and TTL logic devices, samples and stores data with a 1 GHz clock. This system is accomplished easily and works stably. A performance test of this system has been undertaken and the results show that the effective number of bits (ENOB) is more than 6.5 bits.     

欠驱动双足步行机器人通用仿真软件的开发

设计了欠驱动步行机器人开放式通用仿真、实验测试软件平台,应用MATLAB对具有膝关节的多自由度欠驱动双足行走机器人进行了运动.动力学建模与数值仿真,利用姿态还原算法重建机器人行走的运动学过程,应用计算机通信接口实现与机器人原型机的双向通信与控制连接,并应用VC++/OpenGL实现了人机交互界面和机器人行走的3D动画演示,研究成果对欠驱动双足机器人仿真、控制开发以及实验研究具有重要的应用价值.