模糊非单调推理系统的实现方法

本文首先分析了非单调推理系统的两个主要过程——正确性维持过程和面向从属关系的回溯过程,讨论了模糊非单调推理系统的独特性,然后对模糊非单调推理系统的实现方法进行了探讨,并给出了模糊非单调推理系统与问题求解程序一起工作的计算机程序。     

“中国人民解放军院校教学保障微机管理系统”总体设计和研制技术

本文较全面地论述了一个大型综合管理信息系统——“中国人民解放军院校教学保障微机管理系统”科研项目的总体设计目标、总体功能设计和性能要求、系统运行环境和总体逻辑构成设计、系统程序总体设计、系统数据库设计及数据标准以及系统研制技术等。该管理信息系统已通过总参军训部部级鉴定并已在全军院校推广应用。     

多体系统 Lagrange 方程的算法研究

分析了欧拉角描述多体系统球铰的有关数值病态问题 ,提出在一定条件下 ,引入相应约束的解决思路以及混合伪坐标拉格朗日方法。     

单相电路的一种谐波和无功电流实时检测方法

提出了一种新的单相电路的谐波和无功电流实时检测方法。它利用三角函数的有关特性 ,对畸变电流中的基波有功和无功电流分量的振幅分别进行计算 ,然后通过低通滤波器把它们分离出来 ,最后得到基波有功和无功电流分量。该方法电路结构简单、动态响应速度快、检测精度高 ;既可得到单独检测出畸变电流中的任何电流分量 ,又能得出谐波和无功电流之和。仿真和实验研究证实了方法的有效性和可行性。     

Weibull型产品的可靠性验证

讨论了Weibull型产品的可靠性验证问题 ,首先分析了Weibull型产品分布参数的无信息验前分布问题 ,利用验前信息可以得到分布参数的验前概率密度函数 ,进而分析了产品的可靠性验证问题 ,顾及了使用方利益和生产方利益。仿真算例表明 ,使用方利益和生产方利益是相互折衷的。     

导弹落点精度的鉴定方法——概率圆方法

导弹的落点精度包括落点的准确度与密集度。对于子样很小的情况 ,分别鉴定准确度和密集度是有一定的难度。本文提出了采用概率圆的综合鉴定方法。当落入概率圆的导弹数大于等于要求的数时就接收 ,否则拒绝。文中给出了如何确定落入概率圆的导弹数 ,并且给出了该方法的风险。最后以仿真实例说明了方法的有效性。概率圆方法简便易行 ,便于工程应用。     

计算机辅助设计管理数字库

本文介绍了美国“几何与智能计算实验室”开发的一个数字库的最初研究成果,该成果是用于支持计算机辅助的合作设计。目前作为工程设计的知识资料档案库,这个实验平台用于收集和归档公共领域的设计数据,以便供研究者和专业技术人员使用。我们预见这个成果将被推广以方便分布设计和制造人员的技术合作,并简化归档过程。基于知识的CAD对于设计人员来说是核心,他们通过对大量共同的传统数据进行研究,并且通过浏览在线数据表精确地检索组装到新产品上的所需的正确组件,该项研究试图寻找到提高计算方法所需要的关键要求,来论证复杂的几何图形和设计信息。该实验室把焦点集中在机械电子系统的设计和制造数据的归档和再使用上。本文介绍了这个研究课题的一个详细说明。一个关于实验平台最初结构的综述,一个关于概念化设计和设计检索的最初结果的说明。     

双字长浮点乘法运算算法设计与分析

文中给出了在计算机上实现双字长浮点乘法运算的算法的计算公式、计算步骤及误差估计,算法原理适用于一般计算机系统的任意字长浮点乘法运算。     

辅助决策软件综合试验系统TTS－Ⅱ

ＴＴＳ－Ⅱ是一个基于Ｎｏｖｅｌ网的分布式处理系统,它能够一体化地完成舰用Ｃ２系统辅助决策应用软件全生命周期（开发、试验及维护等）试验任务。本文扼要介绍了系统体系结构、主要软件工具以及系统的性能特点