解一类二级递归问题的并行算法

本文给出了一个解一类二级递归问题的并行算法,它适合纵横网络开关多机系统。该算法有效地减少了系统中各处理机之间信息交换的次数。并且,给出了计算时间复杂性的分析。

基于HLA的分布交互仿真应用系统开发研究

高层体系结构 -HLA作为新一代分布交互仿真的体系结构 ,在军用仿真方面有着广阔的应用前景。RTI是其核心和研究重点。本文介绍一个以某防空导弹型号为背景 ,基于HLA技术实现的分布交互攻防对抗仿真应用系统 ,从应用的角度介绍分析了符合HLA规范的仿真应用的开发过程和RTI的功能和相互之间的关系。同时 ,该应用系统还作为一个子系统集成到一个大型分布交互仿真DIS系统中 ,实现了HLA系统与DIS系统之间的互联。

局域网下的分布交互攻防对抗仿真

本文首先简述了分布交互仿真技术的必要性和重要性，介绍了系统仿真方面的几个相关概念，然后结合我们在工作站局域网上开发的一个攻防对抗仿真系统，介绍了分布交互仿真的实现技术，最后对分布交互仿真技术的发展作了展望。

一类刚性大系统实时数值仿真的并行组合方法

本文提出一类分解的刚性大系统数值仿真的实时并行组合方法。利用系统并行化与方法并行化相结合，分别应用并行Ｒｏｓｅｎｂｒｏｃｋ方法和并行ＲＫ方法在并行计算机上并行求解刚性和非刚性子系统。讨论该并行组合方法的构造、收敛性、数值稳定性。

人工智能在航天领域中的应用

人工智能是计算机科学中迅速发展的一个新领域,引起普遍的关注。由于宇宙探测的特殊需要,人工智能在航天领域日益地显示出它的重要地位和作用。本文综述了美国在航天领域中应用人工智能的历史、现状及发展方向。

仿真数据的产生和分布拟合优度检验

本文介绍了仿真数据产生中的三个主要问题,即连续型仿真数据的产生、离散型仿真数据的产生和分布拟合优度检验。文章论述了仿真试验中最常用的单位圆内分布、正态分布、指数分布、爱尔朗分布、二项分布、泊松分布的抽样方法和编程步骤。文章以离散型泊松分布的样本数据为例,应用绘制频数直方图和计算X^2值的方法,讨论了在置信度α水平下的原假设分布是否成立的分布拟合优度检验方法。文章最后介绍了在行式打印机上输出沿垂直方向延伸的三字符宽度直方图的子程序(GHSDN)。

MIMD型计算机上的一族并行龙格—库塔方法

本文给出一族并行三阶龙格——库塔方法。运用此方法可以在MIMD型机上使用两个处理器做并行计算。这个方法具有绝对稳定区。

高速SDLC协议通信控制器的专用集成电路(ASIC)设计

本文分析了采用系统集成思想设计的SDLC协议通信控制器的工作原理及系统要求,在自顶向下的设计原则下,提出了该通信控制器ASIC的设计原理,阐明了该ASIC在系统应用中的巨大优越性.

软件可靠性J-M增长模型的特性分析

本文对软件可靠性Ｊ－Ｍ增长模型的参数解特性进行了分析。通过分析得知Ｊ－Ｍ模型的参数估计方程存在多个解，且只有在一定条件下才有合理解。本文最后还给出了参数解估计的有效数值算法。

一类刚性动力学系统实时数值仿真的组合方法

本文提出一类分解的刚性动力学系统数值仿真的实时ＲＫＲｏｓｅｎｂｒｏｃｋ（ＲＴＣＲＫＲ）组合方法，分别运用Ｒｏｓｅｎｂｒｏｃｋ方法和显式ＲＫ方法求解刚性和非刚性子系统。文章讨论了这类组合方法的构造、收敛性和数值稳定性。数值仿真试验表明这类方法是有效的。

航天型号软件项目开发成本估计

基于COCOMO模型并结合中国航天系统型号项目软件开发的特点和现状,讨论了航天型号软件项目开发的成本估计方法。同时指出了成本估计模型是开放的,使用者可以根据具体的环境和人员以及项目的具体特性对它进行剪裁,以使成本的估计更加理想。

论航天系统中软件可靠性工程

本文从工程应用角度讨论计算机软件可靠性问题,讨论了航天系统中有关软件可靠性的问题,并提出三点建议:(1)亟需加强航天软件可靠性技术应用研究;(2)软件可靠性工程研究的基本内容;(3)当前工作的几点原则。

发汗冷却控制研究数学模型

本文根据有限单元中能量守恒原理推导发汗冷却控制研究的数学模型，并指出目前文献中的错误及产生错误的原因。

BDF方法解常系数微分代数方程的稳定性分析

本文分析了ＢＤＦ方法解常系数微分代数方程（ＤＡＥ）的稳定性，并且说明了ＢＤＦ方法，数值求解一般高指标微分代数问题时会遇到不可克服的困难。

以太局域网性能分析建模

本文对以太局域网性能分析及仿真中使用的模型进行讨论和研究。以太局域网是分布式计算机系统中最常用的网络之一，通过研究发现。

处理不确定信息的专家系统方法述评

本文首先讨论了存在于实际问题中的一些主要的不确定性,并对处理不确定信息的专家系统方法进行了详尽的评述。

提高软件工程能力的科学途径

概要地介绍一种有计划地提高软件工程能力的途径,并说明笔者的基本观点。

虚拟环境和人在回路中的计算机应用

本文说明了近年来得到迅速发展的虚拟环境技术，及其为人在回路中的各种计算机应用提供的一些基本特性。文中例举了人在回路中的计算机应用领域涉及到的某些虚拟环境特性。

适用于成组数据的Jelinski-Moranda模型研究

针对软件可靠性测试的成组测试数据，建立了适用于成组测试数据的软件可靠性Ｊｅｌｉｎｓｋｉ－Ｍｏｒａｎｄａ增长模型，并对其参数解特性进行了分析。通过分析得知，适用于成组测试数据的Ｊｅｌｉｎｓｋｉ－Ｍｏｒａｎｄａ模型的参数估计方程存在多个解，且只有在一定条件下才有合理解。最后给出了其参数解估计的有效数值算法。

星载计算机软件可靠性设计原则

长期以来,星载计算机的软件可靠性一直是专家们讨论的重点。本文结合工作情况,讨论了星载计算机软件的特点和可靠性设计原则。