并行程序设计语言在串行机上的编译实现

目前,诸如Fortran 8x 程序设计语言中已经引入了并行运算成份。这给普通串行(标量)机上实现编译器带来了困难。本文提出了数组(矩阵)运算串行化的概念,并给出了串行化的判别准则及算法。     

随机测定算法

本文研究计算机网的广播信道中测定算法结合使用随机预测树形算法的问题,并提出了一种高效算法。文章还应用随机过程理论推导了这种算法的有关分布和定理。业已证明,该算法是稳定的,并且有极高的吞吐率和良好的时延特性。仿真实验结果证实了理论上的结论。     

对信息流控制机制的一点注记——关于可变级机制语义的探讨

本文讨论对可变安全性级的基于执行的信息流控制机制的语义修改     

1553B 总线仿真系统总线控制软件设计

就仿真系统对１５５３Ｂ单层总线系统和层次总线系统的总线控制软件设计进行了研究,给出了提高系统效率的方案和优化１５５３Ｂ总线数据流的方法。     

一个实时调度仿真模型算法的算法

提出了一个在仿真支撑系统中所采用的实时调度仿真模型算法的算法,并且成功地应用在“RDFI—50MW热电厂训练仿真机”中.     

C~3Ⅰ战术模拟技术研究与实现

针对Ｃ￣３Ｉ系统战术模拟实用需求,文章重点对战术想定方案提出、软件系统应用软件模块编程设计,以及有关关键技术应用等进行了研究。该文可对Ｃ￣３Ｉ软件系统技术设计提供参考。