杨氏双缝干涉仿真模型设计

杨氏双缝干涉实验是光学实验中的重要实验之一,根据杨氏双缝干涉理论,利用Authoware软件对杨氏双缝干涉现象进行仿真,建立基于计算机系统的仿真模型,可以在脱离传统实验室的情况下通过计算机系统进行仿真实验。依据惠更斯原理,设计了基于计算机仿真的数学模型,在此基础上运用模块化程序设计思想,设计了仿真模型的模块化结构。利用交互技术解决了虚拟实验的人机交互,并开发了仿真模型核心模块的程序代码,建立了基于计算机系统的交互仿真模型。利用仿真模型能在计算机系统进行杨氏双缝干涉的仿真实验。     

EFSM模型动态解释技术的研究

扩展有限状态机EFSM模型行为的动态解释是基于EFSM模型协议一致性测试中的关键技术之一.首先深入探讨了两类经典的模型行为解释技术:基于编译的方法和基于第三方软件扩展接口的方法.然后,在分析两类方法优缺点的基础上,提出了一种基于动态脚本交互技术的模型行为解释新方法.新方法把模型行为复杂的词法和语法解释任务化简为一个基于动态交互技术的脚本执行问题.最后,通过一个应用实例验证了新方法的可行性.     

大闭环半物理飞行实时仿真系统研究

根据研究课题需要设计了大闭环半物理飞行实时仿真系统。由飞行控制、动力学仿真和视景仿真等分系统组成．基于双余度光传网络高速互连。通过实际仿真测试，验证了容错飞控计算机、光传总线通信协议、两余度作动器等硬件系统的有效性和可行性，并提出该系统的进一步研究方向。     

均匀圆阵下微波光子鉴相相关干涉仪测向算法

为实现高频段微波信号的精确测向,提出了一种基于微波光子鉴相器的均匀圆阵相关干涉仪测向算法。为克服传统的电域鉴相器工作频段低、带宽窄的缺点,利用微波光子技术高频段、大带宽、低损耗和抗电磁干扰的优点,基于双偏振调制器设计一种微波光子鉴相器,利用光干涉将相位差信息映射为光信号功率,通过测量功率计算出相位差。该微波光子鉴相器精度高,能实现±180°的相位差测定,鉴相精度为±2°。利用余弦函数克服了传统相关干涉仪存在的相位模糊问题。同时,为确保算法的实时性,测向算法需选取适当的步进角度。为克服步进角度引入的测向误差,利用二维抛物面进行拟合插值运算,从而提高算法的精确度。最后,通过仿真验证了微波光子鉴相器和相关干涉仪测向算法的有效性。     

龙腾C1微处理器的功能验证

微处理器的功能验证是一项复杂而重要的工作。文章在进行龙腾C1微处理器的功能验证时,针对其指令集的特点,将指令集分为运算类和非运算类两种。根据两种指令各自不同的特点,文章分别提出了使用嵌入汇编语言的C语言参照模型和使用基于真实处理器执行结果的TRACE文件参照模型。在参照模型基础之上,实现了仿真结果的自动检查和基于覆盖率的分析。同时,为了加速仿真验证的速度,使用了FPGA验证平台进行功能验证,可以运行操作系统级的测试程序。     

基于磁畴壁的超宽带单向波导

基于磁光材料的磁畴壁,提出了一种新型超宽带单向波导。该波导的基本模型是一个金属-铁氧体-铁氧体-金属构成的多层波导系统,中间两层铁氧体为钇铁石榴石(Yttrium iron garnet,YIG),它们分别处于两个大小相等方向相反的外部静态磁场中。理论分析和仿真结果表明,该波导中除了YIG材料固有的光子带隙之外,还存在一个由有限铁氧体厚度导致的新的光子带隙。两个光子带隙均支持能够免疫散射和背向反射的完全单向电磁模式。该波导系统具有结构简单,免疫散射以及超宽单向工作频带等优点,是实现全光子集成电路的有效途径。     

基于AADL的软件可靠性验证

针对软件可靠性面临的安全等级和流延迟两类问题,提出了一种基于结构分析与设计语言(AADL)的软件可靠性验证方法。首先建立两类问题的需求模型,并将需求模型转化为设计模型;其次是调用分析插件对设计模型进行分析,查找模型中存在的问题;最后根据存在的问题对设计模型进行修改和完善。仿真结果表明,所提出的方法有效验证了安全等级和流延迟两类问题,为AADL在航电系统软件验证方面的应用奠定了基础。     

基于特征差异的仿真模型验证及选择方法

为了实现在系统存在多个数据类型各异的输出时, 多个备选仿真模型的验证和择优, 提出了基于特征差异的仿真模型验证及选择方法. 首先,将系统输出分为静态、缓变和速变三类数据, 并分别给出了每类数据的特征差异度量模型; 然后,采用主成分分析法从多个具有相关性的特征差异中提取出少数几个独立的主成分变量; 再者依据主成分数据, 采用K-均值聚类分析方法将多个备选仿真模型的输出划分为K类; 最后,基于Fisher判别分析法判定参考输出是否属于其中的某类, 进而实现对多个备选仿真模型的验证和选择. 通过实例应用, 表明了该方法的有效性.     

基于TLM2.0的SPARC事务级建模

为提高可扩展处理器体系结构(SPARC)的设计抽象层次和仿真速度,设计一种符合第8版SPARC(SPARC V8)的事务级模型。该模型基于TLM2.0标准,采用解释型指令集仿真方法实现程序执行。通过构建验证环境,证明该事务级模型能够正确运行并跟踪SPARC V8程序,仿真速度比寄存器传输级提高2个数量级。     

基于局部线性聚类算法的模糊建模

提出了一种新的基于T-S模糊模型的建模方法，首先通过一种局部线性聚类算法，自适应确定模糊规则数目及初始T-S模型的前提和结论参数，建立相应的一阶T-S模糊神经网络．并用梯度下降和递推最小二乘混合算法训练网络参数，从而提高建模精度．最后，通过两个仿真实例验证了本文方法的有效性．     

直升机光传操纵地面物理仿真平台的开发

该文基于某型武装直升机控制增稳飞控系统，建立了直升机光传操纵地面物理仿真平台，着重开发了两种典型的光传技术。并叙述了仿真平台的结构配置及主要组成部件开发实现。实现了具有人机交互功能的直升机光传操纵可视化仿真，并通过光传与电传的特性对比验证了两种光传技术的有效性。从而为我国直升机光传系统的实现，提供了有效的地面开发平台。     

一种基于双令牌的多机器人协作策略研究

规划协作和自组织协作是两种比较常见的多机器人协作方式，前者规划精度高，但设计复杂，且系统鲁棒性不强，后者灵活性很强，但由于单个机器人自主性很强，因此，协作存在一定盲目性。该文为此提出了一个基于双令牌的多机器人自组织协作模型。模型中采用了具有两级策略评价标准的多机器人策略调整机制，通过双令牌来协调机器人之间的策略调整行为。设计了一个基于本文自组织模型的多机器人控制系统，进行了仿真实验验证。     

考虑订单发货区域的物流配送调度问题研究

研究了一种考虑订单发货区域的物流配送问题,针对问题建立了两阶段多目标整数规划模型：订单车辆指派模型和车辆配送调度模型。基于对模型及问题特点的分析,构造了一种两阶段优化算法：第一阶段,基于聚类-约束满足优化算法为待发货订单指派最佳车辆;第二阶段,基于单亲遗传算法为车辆指定最佳的物流配送方案。通过数据仿真验证,模型和算法是可行且有效的。     

基于数值计算模型的MMC半桥型子模块仿真方法

模块化多电平换流器（MMC）的各半桥子模块均由两个开关组（1个IGBT和1个反并联的二极管）构成。针对MMC在包含的子模块规模较大的情况下,对采用电路模型分割法对MMC进行分割后的子模块进行仿真求解时仍然会占用较多资源,效率不高的问题,提出了基于数值计算模型的MMC半桥子模块仿真验证方法。首先通过分析三相MMC及其半桥子模块（HBSM）的工作机制,把半桥型子模块中的两个开关组等效为在高、低阻态不断切换的等效电阻并给出了其等效电路。然后针对电容支路的离散化问题,根据梯形积分法推导了MMC半桥型子模块的数值求解公式,给出了数值计算电路模型。最后基于MATLAB仿真平台建立了基于数值计算模型的半桥子模块仿真验证模型,通过与详细模型子模块的仿真波形对比分析,结果表明了所建立的子模块数值计算模型是可行的。     

基于Monte-Carlo仿真的双应力步降加速退化试验优化设计统计分析研究

针对高可靠性长寿命产品的性能往往受到多个应力的影响,且在有限试验时间内难以获得大量性能退化信息的问题,采用Monte-Carlo对试验过程进行仿真,运用退化失效环境因子对Monte-Carlo仿真产生数据进行折算,利用最小二乘对双应力步降加速退化试验统计分析,建立基于Monte-Carlo仿真的双应力步降加速退化试验优化设计统计分析模型。通过仿真实例,验证该方法的有效性、可行性。     

基于循环移频的级联式光频梳生成方法

平坦光频梳可以用于精密测控系统,基于双平行马赫曾德尔调制器与循环移频方式,设计了一种级联式平坦光频梳生成系统。该系统采用两级结构,第一级利用相位调制器产生两个具有一定频率间隔的相干光载波,作为第二级循环移频环路的两个输入种子光,每个种子光在环路中通过循环移频的方式生成一个子光梳,两个子光梳再级联成一个带宽更大的光频梳。建立了系统的理论分析模型,并用VPI软件进行了系统仿真,利用该方案可以生成104线频率间隔为12.5 GHz,平坦度为1.31 d B的光频梳。仿真结果与理论分析相符。     

滑动窗口数据流聚类算法在IDS中的应用

针对传统入侵检测系统难于适应日益增长数据量对实时处理能力的需求问题,运用滑动窗口、数据流聚类技术,设计了基于滑动窗口数据流聚类算法,并构建了基于该算法的IDS网络安全防御模型。通过对该模型仿真验证,证明该网络安全防御模型能较好地适应高速网络的入侵检测需求。     

应用HLA的多传感器信息融合仿真系统研究

分析信息融合中的通用处理模型-JDL修正模型,针对其一级融合,提出多传感器信息融合仿真验证系统应用模型,具体包括仿真剧情、传感器模拟、位置及属性融合、分析评估及可视化显示五部分;基于该应用模型,实现HLA联邦成员、对象类与交互类等HLA联邦设计,建立一套基于HLA的多传感器信息融合仿真验证平台;仿真实例说明了系统设计的有效性.     

一个关于脉冲噪声去除的灰度形态学模型

基于形态学的基本理论，通过对经典灰度形态学腐蚀和膨胀两个基本算子的改进，建立了一个新的灰度形态学模型。该模型与经典形态学相比较，对去除灰度图像的脉冲噪声更为有效。最后通过实验仿真，对算法的可行性进行了验证。     

双入双出延迟系统模型辅助自抗扰控制研究

本文针对一类双入双出时延系统进行了模型辅助自抗扰控制设计.通过静态解耦矩阵矩阵可以将双入双出系统解耦,同时两回路间的干扰作为"总扰动"的一部分,可以由模型辅助的扩张状态观测器进行估计补偿.将可以获得的模型信息加入到控制器中,可以减少状态观测器的估计负担和相应的带宽需求,从而提高系统抗干扰以及时延的能力.本文通过对3种典型双入双出系统进行仿真研究,验证了所提方法的有效性.