基于装备论证的坦克炮武器系统仿真总体设计

以提供装备论证工作有效的参考数据作为出发点,对坦克炮武器系统的仿真作了总体设计,包括系统的功能、仿真内容、仿真程序的功能模块设计。将繁杂的分系统重新组合成为适合计算机编程实现的7个仿真点,并提出了对武器系统精度进行仿真的必要性,给出了初步的算法。     

C~3I系统中软件的程序设计方法问题

软件的可靠性是Ｃ￣３Ｉ系统成败的关键之一,用规范和程序分离的办法设计软件,其可靠性无法得到保证。该文阐述了应研究形式化程序设计方法的意见,以及目前在这一领域尚存在的困难和解决的途径。     

坦克电台可靠性现状及其指标论证程序探讨

从XX坦克电台使用可靠性的现状出发,在理论与实际的结合上,论述了装备可靠性指标论证工作中某些亟待解决的问题.结合军工企业的现有条件和可靠性工作开展的实际情况,提出了装甲车载通信——电子装备可靠性指标论证工作的基本程序及其要点.     

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

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

QFT在飞机纵向着陆控制中的应用

飞机进场着陆是飞机飞行的关键阶段,由于飞机和外界条件存在许多不确定因素,对飞机着陆精度和安全性有很大影响。QFT是在相频平面上的一种图形化的鲁棒控制系统设计方法。采用QFT理论设计了某型飞机的纵向着陆控制律,并应用了推力综合控制稳定飞机下滑时的速度。仿真结果显示,飞机着陆实现了对期望着陆轨迹的精确跟踪,满足了着陆控制的要求。     

雷诺应力模型的初步应用

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

可执行体系结构研究

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

YHFT-DX处理器全定制EDA技术的开发与应用

在YHFT-DX处理器的研制中,研究并实现了多项支撑全定制设计的EDA技术。针对全定制设计的功能验证,研究并实现了层次式功能模型自动提取技术,能够将晶体管级网表转化为等效的RTL级网表。研究并实现了晶体管级混合时序分析方法,可自动分析全定制设计的延时,并采用多线程并行的方法获得了约10倍左右的速度提升。为提高模拟结果分析的效率,开发了一个延时提取的工具Aimeasure。开发了两个信号完整性分析工具PNVisual和NoiseSpy,分别用于全定制设计的IR-Drop分析和噪声分析。上述技术已在YHFT-DX处理器的设计中得到了广泛应用,有效提高了全定制设计的效率与质量。     

基于拉盖尔模型的超声信号渡越时间测量性能分析

传统窄带模型仅能通过数值计算统计出超声信号渡越时间的测量性能。针对这一问题,提出基于拉盖尔模型计算理论克拉下限的方法。研究了拉盖尔函数及其时间导数的性质,得到时间导数内积矩阵,并将其应用到费舍尔矩阵中,能够快速精确计算克拉下限。对混合指数模型仿真表明,在高斯白噪声背景下,渡越时间方差与理论克拉下限具有良好的一致性;受窄带噪声和反射等因素影响,实测数据的渡越时间方差与理论克拉下限存在较大偏差。     

FACILITATING NUCLEAR DISARMAMENT: Verified Declarations of Fissile Material Stocks and Production

Unprecedented interest in seeking progress toward nuclear disarmament exists today; even some nuclear weapon states are looking for new ways to strengthen this process. National declarations of fissile material holdings—highly enriched uranium and plutonium—could play an important role in supporting this effort, facilitating not only transparency but also the irreversibility of the process. This article discusses what kind of content such declarations could have in order to be meaningful and effective, the sequence of data on fissile material holdings that states might release, and some of the challenges to be expected in reconstructing historic fissile material production; it also summarizes current attitudes of weapon states toward making such declarations. Initial declarations can be valuable as confidence-building measures, but better and more background data are necessary if declarations are to serve as the groundwork for deeper cuts in the nuclear arsenals. A robust verification approach would ultimately require inspectors to have access to fissile material production and storage sites. The methods and tools of nuclear forensic analysis—in this context also dubbed nuclear archaeology—would be a key element of this process. This article discusses the capabilities and limitations of potential approaches to verifying declarations of historic production of plutonium and highly enriched uranium; it also identifies and discusses opportunities for further research and development.