21世纪“E族”接班人——E-10多传感器指挥与控制飞机

美国国防部联合需求审查委员会2004年11月14日批准了空军提交的E-10A“多传感器指挥与控制飞机”(MC2A)需求文件,这标志着,美军新一代的机载对地监视、作战管理与指挥控制飞机,21世纪“E族”的接班人——E-10已经进入系统研制与演示验证阶段。美军计划在2020年前投入580亿美元开发E-10系列飞机,以此来全面提升其信息化系统的作战能力。追根溯源预警机是现代海陆空联合作战中探测、监视与指挥体系的核心之一,在信息化战争中,其作用是不可替代的。美国历来非常重视预警机的使用,近期几场局部战争中,预警机的出色表现更使美军加大了对新型…     

向时间自动机转换的军事电子信息系统性质验证

日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果.     

薄壳结构跌落冲击仿真与试验研究

为了验证薄壳结构跌落冲击问题动态数值仿真的方法途径,设计制作了带有配重的薄壳结构,测定了材料主要力学性能,利用非线性有限元软件对该结构进行单次和累积结果的多次跌落冲击数值仿真,并进行了验证试验。对该结构的跌落冲击过程、典型位置的加速度响应、塑性变形的仿真、验证试验结果进行了对比分析,结果表明：采用的数值仿真方法和途径能够较好地研究分析薄壳结构的跌落冲击及其他同类问题。     

重型商用车的三锥面同步器的设计方法研究

针对商用车同步器在换挡过程中存在噪声和齿间冲击大等问题,以某商用车变速器为研究对象,对1、2挡双锥面及三锥面同步器进行研究.根据同步器换挡工作原理,提出三锥面同步器的参数优化方案.分析了锥面参数对齿间冲击、噪声和使用寿命的影响,提出了锥面参数的优化方法,最终通过台架试验证明了该方法的可行性.结论表明,采用优化后的三锥面...     

水下发射循环管路系统水动力性能的仿真分析与验证

为了控制闭式循环管路系统内高压水的脉动规律、降低水下发射系统的瞬态发射噪声,需对水动力进行准确的建模和分析。首先,模型中引入了活塞运动加速度项,采用一维解析方法建立了管路系统的水动力模型;然后,运用该模型分别对活塞运动低、中、高三种不同速度工况进行了仿真计算分析,得到了发射过程中不同特征测点处流体脉动压力曲线,并与假海试验平台原型样机模拟发射实验的测量结果进行了对比,结果表明二者吻合较好,由此验证了水动力模型的正确性与通用性。     

导航卫星广播星历参数拟合算法研究

基于GPS广播星历参数,研究了导航卫星广播星历参数的非线性最小二乘拟合算法,并推导了相应的计算公式.针对静止轨道卫星轨道倾角近似为0,致使卫星轨道的升交点定义模糊,在数据拟合过程中会导致法矩阵(HTH)奇异的问题,提出对卫星轨道进行轨道倾角变换拟合广播星历参数的方法,并获得较高的拟合精度.最后利用实际算例验证了所推公式和算法的合理性.     

众核处理器访存链路接口的FPGA验证

面向众核处理器提出一种访存链路接口的现场可编程门阵列(Field-Programmable Gate Array,FPGA)验证平台,用于对处理器访存链路关键部件进行功能及可靠性测试。提出片上读写激励自动产生与检查机制、以太网接口硬件用户数据报协议(User Datagram Protocol,UDP)协议栈和FPGA芯片间多通道并行链路三项关键技术并进行设计实现。实验结果表明提出的各项关键技术功能正确,不仅丰富了功能验证中随机激励产生及结果验证的手段,而且实现了对链路数据检错和多lane间延迟偏斜纠正逻辑的可靠性测试与评估。经过该平台验证的访存链路接口在实际芯片中通过了功能正确性测试,证明了验证的有效性。     

高超声速尖双锥流动高精度数值模拟

以25°/55°尖双锥外形的高超声速低焓层流流动模拟为例,对高阶加权紧致非线性格式模拟激波/边界层干扰流动的能力进行验证和确认。空间离散采用二阶MUSCL和三阶、五阶加权紧致非线性格式,时间离散采用二阶精度双时间步方法,通量函数采用混合Roe-Rusanov,AUSMPW+,Van Leer等,对比了不同精度空间离散格式对时间、网格收敛特性和通量函数耗散特性的影响。数值模拟结果表明采用高精度空间离散格式能在较疏的网格上获得收敛解,并能消除结果对通量函数的敏感性,但收敛需要推进更久的计算时间。数值模拟结果与实验测量结果吻合良好,满足工程精度要求。     

可执行体系结构研究

体系结构是系统设计与实施的蓝图,它能否正确、合理地指导实践在很大程度上依赖于体系结构的验证与评估.可执行体系结构研究为体系结构验证与评估开辟了新的途径.为了使各体系结构产品在整体上形成一个执行体,提出了可执行体系结构执行规则描述这一个概念.执行规则描述体系结构产品的执行、调用与数据流关系,为体系结构的执行提供了特定的背景信息.它通过标准的动态可执行模型接口分别调用该模型的执行引擎,从而达到体系结构在整体上执行的目的.体系结构的正确执行为体系结构验证提供依据,同时其运行结果为体系结构的评估提供依据.     

雷诺应力模型的初步应用

针对SSG/LRR-ω雷诺应力模型,选取NASA湍流资源网站上的四个典型算例,即湍流平板边界层流动、带凸起管道流动、翼型尾迹区流动和NACA0012不同攻角绕流,开展初步的验证与确认工作,将部分结果和CFL3D进行对比。对于NACA0012翼型绕流,对比雷诺应力模型和SA模型的升力系数,结果表明:在失速攻角附近,雷诺应力模型明显优于SA模型。在此基础上,将该模型应用于DLR-F6翼身组合体的数值模拟,计算得到的机翼表面典型站位压力分布和实验值吻合良好,同时该模型捕捉到翼身交汇位置的小范围分离。