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

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

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

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

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.     

GETTING BETTER ALL THE TIME

Detect and Deter: Can Countries Verify the Nuclear Test Ban?, by Ola Dahlman, Jenifer Mackby, Svein Mykkeltveit, and Hein Haak. Springer, 2011. 279 pages, $129.     

基于虚拟飞行仿真的导弹控制系统设计

根据风洞虚拟飞行仿真系统的特点以及试验要求,设计了用于风洞虚拟飞行仿真的模型导弹的俯仰、偏航和滚转通道控制系统。导弹俯仰通道采用了迎角指令控制的三回路闭环控制结构,滚转通道采用了滚转姿态角指令控制的两回路闭环控制结构,而偏航通道采用液压驱动机构来开环控制侧滑角。利用极点配置法设计了俯仰和滚转通道的控制增益。最后通过数字仿真对所设计的控制系统进行了仿真验证。从数字仿真结果可以看出,无论是时域还是频域,所设计的俯仰和滚转通道闭环控制系统均能满足风洞虚拟飞行仿真的要求。     

飞行器末制导雷达静态选择性试验及仿真分析

依据飞行器自控终点误差原理对特定的目标选择捕捉的影响进行了分析;建立了末制导雷达选择捕捉目标的静态试验布站方法;给出了末制导雷达检测目标回波粘连的处理和末制导雷达对选择录取目标数据的基准方向转换的方法;对火分基准方向对目标选择的影响进行仿真分析并得出相关结论,研究的成果对于飞行器选择攻击目标能力试验及评估的研究具有重要意义。     

基于TCP/IP协议的无人机IFFC系统仿真

为了提高无人机自主飞行、自主攻击的能力,设计一种整体式的无人机综合火力/飞行控制系统(IFFC系统),并对激光制导炸弹模态下的系统进行数字仿真.系统基于Winsock的TCP/IP协议的C/S模式,在服务器上完成无人机火控解算、火飞耦合器设计,在客户端设计基于PID算法的飞行控制模块.火控系统根据飞行状态和目标信息实时计算炸弹可达区域,瞄准距离误差经过火飞耦合器形成航向和俯仰控制命令反馈给飞控系统,驱动载机消.除瞄准误差,实现闭环控制.实验结果表明,无人机的瞄准速度和攻击精度都有所提高,为进一步开展自主式UAV的研究打下基础.     

高超声速飞行器倾侧转弯耦合控制策略

针对高超声速飞行器倾侧转弯过程中俯仰、偏航和滚动通道间的强烈耦合,提出一种耦合控制策略。针对高超声速飞行器快时变、非线性和强不确定性的控制问题,基于解析形式的非线性最优预测控制方法,采用分层设计思想设计了飞行器姿态控制系统,可较好满足高超声速飞行器的快速性要求;在分析了倾侧转弯飞行控制过程的主要影响因素及其影响规律的基础上,提出一种"降低攻角—快速滚转—拉起攻角"的耦合控制策略。对该控制策略对于高超声速飞行器的适用性进行了仿真分析,结果表明:所提耦合控制策略有效降低了偏航通道的控制需求,降低了倾侧转弯控制过程的失控风险,提高了控制系统的可靠性。