结合逻辑和面向对象范例的一种新模型（SCKE)

逻辑语言和面向对象语言是两种引人注目的知识程序设计语言。如何结合它们各自的优点以支持复杂的知识处理,已成为许多研究者关注的问题。本文首先提出了结合逻辑和面向对象范例的一种新模型SCKE,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征和面向对象语言的结构化、信息隐藏、继承等性质。本文推广了逻辑语言的Herbrand解释,并由此探讨了SCKE模型的形式语义。文中讨论了实现该模型的基于预编译的元级扩充方法,并论述了SCKE模型的主要特点。     

长期储存的密封包装弹药防潮管理研究

本文从理论上详细分析了影响密封包装弹药内部湿度的可能因素,提出了密封包装弹药在长期储存过程中应该采取的防潮管理措施及对策。     

柔性制造系统多任务可靠性建模与分析的研究

本文首先对ＦＭＳ可靠性建模与分析的研究进行了综述;然后针对我国在ＦＭＳ可靠性研究方面存在的主要问题,提出了在ＦＭＳ多任务可靠性建模与分析方面可开展的研究工作。     

基于MATLAB／SIMULINK的火控系统动态仿真试验平台设计

火控系统动态仿真试验平台是基于ＭＡＴＬＡＢ／ＳＩＭＵＬＩＮＫ研制的仿真工具。着重介绍了它的功用和软件的树型结构,并以某型雷达方位角天控系统为例,介绍了应用试验平台进行动态仿真和性能分析时的基本步骤。     

H／HJQW—1型潜艇用计程仪

分析了水银水压式计程仅存在的问题;介绍了采用智能化传感器的新型计程仪的组成、工作原理及其主要特点。     

一般模型的核函数

基于Ｖｏｌｔｅｒｒａ理论和Ｗｉｅｎｅｒ理论,较为系统地研究了连续与离散时不变一般模型及其在有外部扰动情况下的Ｖｏｌｔｅｒｒａ核和Ｗｉｅｎｅｒ核的计算方法,并给出计算结果与数值模拟算例。     

一个基于面向对象模型的并行系统

为了开发分布式系统中的计算资源,我们设计了一个基于面向对象大粒度数据流模型的并行Ｃ＋＋系统ＯＯＣＰＣＳ．该系统的底层计算模型是面向对象范式和数据流模型的结合体。它将状态对象引入到数据流模型中,并且支持面向对象的特性。本文讨论了此模型在ＯＯＣＰＣＳ系统中的实现;并行化编译器;ＰＯＣ程序设计语言;面向对象网络文件Ｉ／Ｏ和虚拟ＯＯＬＧＤＦＭ机     

红外搜索跟踪系统的目标截获判据

红外搜索跟踪（ＩＲＳＴ）系统在探测时对潜在目标的判别是系统工作的一个重要环节。通过建立目标的截获判据,提出了判决树多级识别方法和模糊综合评判方法,并为两种方法的融合使用提供了基础,为系统判别一般红外目标以及远距离小目标提供了依据和实现手段。     

船用汽轮机减速箱运行状态监测方法

本文对船用汽轮机减速箱运行状态监测方法进行了探讨。主要对可能用于船用汽轮机减速箱运行状态监测方法及相应的状态特征提取技术进行了分析,给出了一个一般的状态监测处理流程。然后讨论了监测方法的一般评价准则、特征量的选择准则及判决决策准则。最后给出了一个应用范例结果。     

关于带紧扰动的增生算子和单调算子之特征值问题的几点注记

研究了带紧扰动的增生和单调算子的特征值问题,所得结果补充和改进了Guan和Kartsatos的相应结果。