软件可靠性的过程仿真技术

以软件研制的生命周期为背景,探讨利用仿真模型对软件可靠性进行研究的方法．文章阐述了仿真模型分析方法与传统的模型分析方法的不同之处,通过对软件可靠性过程的分析,设计了一个基本的仿真器结构,由此考察引发失效行为的各种故障因素及其对软件可靠性的影响．     

军用移动电站战伤修理的若干问题

分析研究了电站平时修理和战伤修理的主要区别,提出了电站战伤评估逻辑图和战伤修理方法。     

知识库推理和维护系统 (KBIMS)

赋予知识库自动推理和维护功能,从而使知识库有效和实用,是知识库面临的关键问题。本文提出了一程基于缺言推理的知识库自动推理和维护方法,并介绍了根据此方法,在VAX—Ⅰ/780上使用GKD—Prolog 作为工具实现的一个知识库推理和维护系统。     

采用非线性 M 序列辨识 ARMA 模型参数

本文研究了采用非线性M 序列辨识ARMA 模型参数,提出了具体的算法,在特性上同m 序列作了比较,最后给出了仿真结果。     

KCl 和KBr 晶体热膨胀系数的计算

本文利用Gordon-Kim 模型给出的离子间相互作用势,计算了KCl 和KBr 晶体在室温下的热膨胀系数。所得的结果与实验值进行了对照。     

知识库调试工具的技术原理与设计思想

知识库调试工具旨在解决因知识不完全和噪音等因素而引起的知识库正确性与有效性问题。本文通过知识库建造工具GKD-KBST 中知识库调试工具KBDT 实现方案的讨论,论述知识库调试工具的技术原理与设计思想。     

师生心理场探析

教育、教学的双边活动构成了师生心理场。本文从心理学与社会学的角度对师生心理场的运行机制作了简单的介绍,进而从"教"与"学"的双向活动中对师生心理场的诸多因素进行分析和评价,并就"教"与"学"活动在理论与实践的结合上做了一定的探索。     

模糊一致矩阵的判定定理

重新定义了模糊一致矩阵,给出了模糊一致矩阵的必要条件和判定定理．     

层次分析法中一致性检验的一种调整方法

针对层次分析法中一致性检验难以通过的问题,提出了一种优化调整方法,并分析了该方法的基本思路及可行性。为方便上机编程,还给出了该方法的具体实现步骤。     

载人飞船逃逸飞行段姿态控制律设计

载人飞船在逃逸飞行过程中,需要对其姿态作较大幅度的调整,调整幅度可达０°～１８０°,飞船姿态的调整可以通过控制俯仰通道来完成。由于飞船姿态运动的三个通道一般是相互交连的,因此,在作姿态大幅度调整的过程中,还需要对其它两个通道进行姿态稳定。本文设计的一种相平面开关曲线和相应的姿态控制律,既可以用于飞船作大姿态调整,又可以用于姿态稳定。数字仿真结果表明,只要合理选择开关控制曲线的有关参数,可使姿态控制精度满足设计要求。