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

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

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

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

基于控制通道融合的瞄准线组合稳定技术

提出一种光电二级稳定粗、精控制通道融合新方案,并与现有粗、精控制通道相互独立二级稳定方案相比较。仿真结果表明,粗、精控制融合方案无论在成本、体积、性能和精度上,都优于现有二级稳定方案。新方案的可行性已通过原理样机得到验证。     

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

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

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

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

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

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

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

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

模糊一致矩阵的判定定理

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

静态电磁场数值分析方法比较

从有限差分法、有限元法、边界元法和模拟电荷法这四种典型数值分析方法出发,简要介绍了静电场数值分析的原理。比较了各种算法与其适用范围的差异,并对其进展进行分析。最后,总结了目前静电电磁场数值分析方法研究中需要解决的问题。     

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

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