GSEIB 软件工程信息库图形规范子系统的设计与实现

软件信息库是集成化软件工程环境的核心。本文给出了一种图形化的软件过程与产品（ｓｏｆｔｗａｒｅｐｒｏｃｅｓｓａｎｄｐｒｏｄｕｃｔ）规范语言及其支撑环境的设计与实现。采用这种规范语言可对给定的软件开发项目进行规划,据此自动产生定做的软件信息库,从而真正反映和支持该软件工程项目的开发。     

高性能多处理机系统总线设计技术

本文以银河仿真Ⅱ型计算机为背景,论述面向多处理机的高性能总线的体系结构、总线特点、总线数据传输、多处理机通信等总线设计技术。     

计算流体动力学在液体火箭发动机中的应用

对计算流体动力学（ＣＦＤ）在液体火箭发动机中的应用情况进行了全面的回顾与分析,提出了今后的发展趋势与方向。     

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

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

直接藕合多种语言编程模块的MTS的设计与实现

以通用菜单工具作为应用软件系统的用户界面、多种语言编程模块的藕合接口已成为一种趋势。本文提出一种可在操作系统和foxBASE环境下组合(或嵌入)运行的、支持DBMS授权扩充机制、实现多种语言混合编程模块直接藕合的通用菜单工具(MTS)。同时,又对MTS中的菜单对象、授权,菜单文件的数据结构、菜单驱动(维护)模块设计和基于批处理文件的模块藕合方法进行了讨论。     

基于仿真电桥的电火工品瞬态脉冲检验系统设计

介绍了基于仿真电桥的电火工品瞬态脉冲检验系统的硬件组成框图和工作原理,重点说明恒流源和仿真电桥的电路设计及提高测试精度的措施,最后介绍仿真电桥同步和调零的解决办法。     

DIS 预估算法研究

ＤＲ算法是分布式交互仿真（ＤＩＳ）技术的关键技术之一。对ＤＲ算法的基本思想进行了研究,并进一步研究了ＤＲ模型。     

核裂变过程动态模拟计算的动力学系数

本文利用(c,h,a)三参数旋转体模型计算了形变核的相对表面能、相对库仑能及相对转动能。这些相对能量与具体核无关,具有普适性,可以用于核裂变动态过程的模拟计算。利用这些结果,计算了一些核的形变位能随三参数变化的情况,给出了裂变位垒高度,与实验结果符合较好。对~(236)U的形变位能曲面作了较详细的分析,得出一些有益的结论。用Werner—Wheeler方法计算了形变核的惯性质量和粘滞张量随三参数变化情况,对断点线方程作了深入讨论,为核裂变动态过程的计算机模拟准备了必要的系数。     

便携式防空导弹拦截巡航导弹可行性研究

分析了巡航导弹和便携式红外寻的防空导弹的攻防特点,对便携式红外寻的防空导弹拦截巡航导弹的可行性进行了探讨。攻防对抗仿真结果表明,防空导弹在一定条件下能够有效拦截超低空突袭的巡航导弹。     

激光制导航空炸弹三维动态数字仿真研究

以某型激光制导航空炸弹为例,进行了三维动态数字仿真研究,文中建立了该型激光制导炸弹六自由度空间运动方程和双通道控制系统模型。通过仿真计算,得到了该弹的三维攻击区,并将三维动画技术应用于实时仿真系统的软件开发中