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

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

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

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

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

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

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

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

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

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

具有输出限幅特性的非线性系统数学模型建立方法

对于具有线性—限幅特性的非线性系统,在线性和非线性部分之间的任何信息都不知道的情况下,利用频谱分折的方法,可以得到线性和非线性部分的全部参数,并对限幅特性进行确认性检验。本文给出了识别全部参数的详细方法和步骤,最后给出了识别例题。

求解非线性方程组的异步并行 拟牛顿迭代算法的收敛性分析

本文给出了MIMD多处理机上的求解非线性方程组的异步并行拟牛顿迭代算法的收敛性分析,给出了收敛的充分性条件。

仿真工作站的性能评测

本文介绍了评估工作站性能的几种常用基准测试方法,并针对仿真任务的需求讨论了仿真工作站性能评测中的问题。

外围数组处理机上算法向量化的构造方法

外围数组处理机已成为提高主机向量处理能力的有效手段。本文阐述了在微机外围数组处理机的环境中算法向量化的问题,主要讨论了算法向量化的几种构造方法,并给出了系统仿真和优化设计中梯度计算的向量化算法。测试结果说明了算法的有效性。

关于VAX/VMS上Fortran至Ada转换中几个技术问题

Ada语言是一种现代的模块化语言,它不仅是应用于工业控制、通讯和军事系统等实时领域的理想语言,还可以广泛地应用于系统程序设计、远程信息处理等各个领域。DEC公司VAX/VMS上实现的Ada就是非常高效的产品。由于工作需要,我们在VAX/VMS上将Ada引入控制系统,替代原来的Fortran程序。本文将阐述Fortran到Ada转换中的几个技术问题,这些技术问题的解决方法在我们的实验中证明是正确的。

资源卫星多光谱扫描仪计算机编码器仿真校飞系统

本文是资源卫星多光谱扫描仪计算机编码器仿真校飞系统的介绍,论述了系统的构成、功能及其工作过程,提出了将计算机用于多光谱扫描仪的可行性及优越性,并对多光谱扫描仪计算机编码器的可靠性进行了评估。该系统已经经过飞机仿真校飞试验,图象质量良好。

心绞痛诊断系统APDS的设计与实现

APDS(Angina Pectoris Diagnosis System)是我们开发的一个用于诊断以胸痛为主要症状的一类冠心病的专家咨询系统。它根据病人的主诉、冠心病的易患因素、体查数据及心电图发现来确定病人患冠心病的可能性。该系统的英文版已在微机上实现了,经由北京医科大学人民医院提供的20多个临床病例的检验,其结果与临床医生的诊断基本一致。 本文将首先说明该系统的研制背景,介绍其系统组织结构,并较详尽地阐述其实现的思路和方法。

集成软件工程环境的用户接口和窗口系统

开发集成化的软件工程环境是近几年来国内外软件界的一个热点。用户接口和图形窗口系统更是受到人们的关注,因为它们关系到集成软件工程环境的效率高低、人们是否愿意使用和使用是否方便等关键问题。本文试图从几个方面来说明它的这些课题。

指挥控制系统仿真的一些问题

本文对武器系统的指挥控制系统仿真的一些问题进行了分析,并讨论了指挥控制系统仿真建模的几种方案及发展趋向。

用专家系统方法建立线性规划模型

线性规划是管理决策领域中常用的基本工具之一,我们开发了一个建立线性规划模型的专家系统原型LPES。该系统用户界面友好,面向实际生产和商业规划领域,采用规则-框架相结合的复合知识表示形式,实现了数值计算与符号处理的有机结合。本文着重介绍了其知识库系统并通过一个例子简要说明了模型综合的思想。

一类典型非线性-线性系统数学模型建立方法

对于典型的Hammerstein模型,如“死区一线性”和“空回一线性”系统模型,在非线性和线性部分之间的任何信息都不知道的情况下,只根据系统输入和输出信息,利用频谱分析方法,可以识别出非线性和线性部分的全部参数,并对非线性特性进行确认性检验。本文给出了识别系统全部参数的方法和步骤,最后以例题说明。

Ada程序设计中的一些问题

本文介绍了Ada的数据类型和特点,以及Ada程序设计中的一些问题与处理方法。文章特别指出了FORTRAN程序员在应用Ada时应当注意的若干问题。