双舰编队协同制导防空作战的动态拦截排序问题

针对双舰编队协同制导作战条件下如何对空袭目标进行排序这一问题,依据作战时间给出了排序算法。首先对平台的作战时间进行分析和求解,将射击周期分成了2段,把静态拦截排序问题转化为了2台处理机的同顺序作业排序问题,然后根据输入信息的改变而不断调整空袭目标的顺序以解决动态拦截排序问题,最后在想定条件下仿真计算,结果表明该算法具有较好的适用性。     

战略防御环境中独立平台的管理

这里呈现的是一个从单一探测或武器平台角度分析SDI条件的仿真程序。其主要用途是验证星载计算机灼计算,包括平台定位算法,如何完成必须执行的特定任务等等。为了评价供选平台管理算法,还做了一些实战模拟。这个仿真首先被用于描述一个处于弹道导弹中后段防御的平台依次用光束扫过目标的作战。因为中后段可供处理目标的时间很长,所以它是一个值得强调的阶段。在这个阶段中,平台依次拦截预期目标的排序是资源定位的关键问题。虽然理论上存在排序的最优算法,但它由于受到计算能力的限制无法用于实际。本文给出了一些探索性的排序方法并对它们进行了评定。此外,这个仿真程序还可被用于确定平台关键的工程参数对系统效率的影响。     

基于语言评价信息的多方案选优研究

通过LWD和LOWA算子,给出了一种算法。该算法在预先定义语言短语排序的情况下,可将专家群给出的多个指标下多个方案的语言评价信息集结为对方案的语言短语排序,从而可选出最优方案,并通过仿真算例,证明了该方法的有效性。     

基于HLA/RTI的炮兵指挥系统仿真设计与开发

HLA高级体系结构作为新一代分布式仿真技术标准,解决了仿真系统中的可重用和互操作性问题,在C3I系统仿真领域有着十分广泛的应用。分析了C3I系统仿真的可行性和必要性,简要介绍了HLA高级体系结构的技术规范,提出了一种基于HLA/RTI的能与实践相接的、易于扩展的炮兵指挥系统仿真框架,并依据联邦开发与执行过程模型(FEDEP)给出了该系统的设计与开发过程。     

一种顺序PROLOG机系统结构的研究

文中概述顺序执行PROLOG程序的计算机的一种系统结构的研究和实现情况,主要包括一个扩充的顺序PROLOG的抽象执行模型、机器指令系统、编译型PROLOG数据库的研究与实现算法、实验系统YH-SIM-ES的设计与实现、以及一种支持快速回顾的PROLOG机硬件组织的研究。     

浅谈提高工控系统抗故障能力的措施

可编程逻辑控制器PLC（Programmable Logic Controller）是计算机技术与继电器控制技术相结合的产物,具备逻辑控制、定时、计数等功能。它采用了计算机存储程序的顺序执行的原理,编程语言主要采用的是直观的类似继电器接触器控制电路图的梯形图语言。在工业控制（PLC）系统中,采用屏避故障设计的思想,可使我们设计的控制系统能在系统某一（或多个）部件出现故障时,使系统对此故障进行有效的屏避,保证整个系统的正常工作。     

顺序PROLOG机KD-PP的系统结构和硬件实现技术

本文提出的KD-PP系统是一种基于编译技术的顺序PROLOG推理系统,该系统的设计为逻辑型程序语言PROLOG的实现提供了硬件支持,因而能高效地执行PROLOG程序。本文从数据表示、存储系统、机器状态和指令系统等方面全面地介绍了顺序PROLOG机KD-PP的系统结构和硬件实现技术。     

实时仿真中的函数生成

数据表的多变量函数计算往往构成了与动力系统仿真相关联的整个计算要求的一个主要部分。本文讨论了一种使用脱机计算制定在联机实时计算期间执行速度更快的修正数据表的新方法。文中有两个实际例子:六自由度的导弹仿真程序和六自由度的飞行仿真程序,都用来说明这种新方法。在这种新方法中,运行程序的时间分别减少19％和11％。     

轰炸弹道表的FORTRAN程序设计研究

FORTRAN程序设计语言是广泛用在科学计算中的一种国际通用的高级语言,作者运用FORTRAN语言进行轰炸弹道表的计算。在计算过程中编制了:(1)利用定步长四阶龙格——库塔法解航弹微分方程组的RK(T,H,Y,YW)子程序;(2)计算航弹微分方程组的右函数     

FFT的8088汇编语言程序实现

本文针对使用8088汇编语言实现基2FFT 的难点,就旋转因子的求取、比例系数的选择、16位乘积的获得以及运算溢出等问题提出了有效的解决方法,并给出了具体程序.从而,可使 FFT 运算速度较单纯运行相应的高级语言程序提高20倍左右.     

YFT77 向量语句的实现

本文提出了通过源语言到中间语言的变换进行语言扩充的方法。这种方法已用来在YFT77中扩充向量语句,实践证明,这是一种有效、可行的途径。     

作战指令自动生成的关键模块设计*

作战指令的自动化生成主要涉及到汉语分词技术、语法分析和代码生成。将作战文书归结为一个半结构化的自然语言信息抽取问题,采用数据融合方法实现词法分析,采用编译原理的技术实现语法分析,采用规则库最终实现了作战指令的自动化生成,作战指令的自动生成将提高指挥自动化的水平。     

火炮射表数据处理程序及使用说明

在文献［１－４］的基础上,给出火炮射表数据处理用ＴｒｕｅＢＡＳＩＣＣｏｍｐｉｌｅｒ实现的程序清单和与之相关的使用说明。并介绍该程序的组成、设计特点、主要变量和使用注意事项,以及数据文件的命名法。另外还详细讨论了程序故障诊断及维护问题。     

一个基于面向对象模型的并行系统

为了开发分布式系统中的计算资源,我们设计了一个基于面向对象大粒度数据流模型的并行Ｃ＋＋系统ＯＯＣＰＣＳ．该系统的底层计算模型是面向对象范式和数据流模型的结合体。它将状态对象引入到数据流模型中,并且支持面向对象的特性。本文讨论了此模型在ＯＯＣＰＣＳ系统中的实现;并行化编译器;ＰＯＣ程序设计语言;面向对象网络文件Ｉ／Ｏ和虚拟ＯＯＬＧＤＦＭ机     

防空导弹控制系统数字仿真原始数据预处理方法

防空导弹控制系统数字仿真建模过程中,要对大量原始表格函数进行处理。针对插值计算的缺点,采用最小二乘法来拟合多项式的方法,利用MATLAB语言编程实现了防空导弹控制系统仿真计算原始数据的预处理,并构造了通用拟合函数模块,在仿真中利用拟合函数直接进行计算。利用该处理方法,对某型防空导弹的原始数据进行了预处理,结果表明这种预处理方法提高了仿真运算的速度和精度。     

MPP数据并行FORTRAN汇编代码模拟环境的设计与实现

本文阐述了一种在单机上模拟ＭＰＰ机执行并行汇编代码的方法。这种并行汇编代码由ＭＰＰＦＯＲＴＲＡＮ编译器生成。由于在一个大型工程中，编译生成的目标代码运行环境不一定能及时具备，所以，研制汇编代码模拟环境ＤＰＦＡＳ有助于及早验证编译目标代码的正确性和完备性。本文通过共享进程组在ＳＧＩ工作站上实现多机环境模拟和远程地址访问模拟。此模拟环境的实现对ＭＰＰ数据并行ＦＯＲＴＲＡＮ编译器的正确性验证和效率评估有一定的帮助。     

一种面向分布式寄存器文件的VLIW调度新策略

新一代面向密集计算的高性能处理器普遍采用分布式寄存器文件来支撑ALU阵列,并通过VLIW开发指令级并行.面向分布式寄存器文件的编译成为新兴的研究热点,在斯坦福大学的kernelC编译器ISCD中最早提出了面向分布式寄存器的VLIW调度问题,在该领域处于领先水平,但是没有解决重负载下的分布式寄存器分配问题,使应用编程受到极大限制.在其基础上提出了一种新的VLIW调度策略,实验结果表明能够很好地解决重负载下的分布式寄存器分配问题.     

机载脉冲多卜勒雷达图像模拟框架

对计算机模拟机载脉冲多卜勒雷达图像框架进行了研究。主要讨论了在机载雷达图像模拟中运用目标和基于数字地形的地杂波和海杂波的雷达图像的模拟机理,给出了图像生成的一般步骤。由于背景图像生成时的计算量较大,影响仿真的实时性,模拟器设计中对仿真模型进行简化,研究了快速算法来降低运行时间。在Windows环境下采用VC++开发语言完成雷达图像仿真软件的设计,在某型机载雷达的训练模拟器中得到应用。     

基于XilinxFPGA的数字下变频的实现

为解决专用数字下变频芯片价格昂贵、灵活性不强的问题,研究了如何基于FPGA实现数字下变频的功能。本设计结合硬件资源从数字下变频的系统各模块的主要功能,以及从彼此间的性能制约上考虑,先通过MATLAB仿真选择合适的参数,然后在Xilinx公司ISES．2开发环境下,使用Verifog语言编程实现。最后对基于FPGA实现的数字下变频系统调用Modelsim进行仿真测试,验证了设计的正确性。     

Open64的MPI代码自动生成算法

针对开源编译器Open64存在MPI不能自动并行化的问题,对Open64中面向Cluster的MPI代码自动生成进行了研究。分析了MPI代码自动生成模块在Open64体系结构中的位置,提出了基于Open64的MPI代码自动生成算法,并对其进行了实验验证。实验结果表明：该算法不但能够有效降低MPI并行程序的通信开销,而且能够明显提高其加速比。