逻辑和面向对象范例集成的研究与实现

提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Ｈｅｒｂｒａｎｄ解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。     

日本跨世纪之主力战舰——海上自卫队“金刚”级导弹驱逐舰大观

日本和我国是一衣带水的国家,日本海上力量的发展,是国内许多人士十分关心的问题。日本海上自卫队最新服役的“金刚”级宙斯盾导弹驱逐舰的出现,值得我们从它的建造背景和作战能力等方面进行研究。     

静电放电对电子装置的危害机理分析与模型研究

本文介绍了静电放电(ESD)对电子装置的危害,分析了半导体器件受ESD影响而失效的机理,及ESD对电子设备形成干扰的途径,介绍并分析了六种ESD模型,即人体模型(HBM)、带电装置模型(CDM)、场感应模型(FIM)、机器模型(MM)、增强型场模型(FEM)或金属体模型(BMM)、电容耦合模型(CCM)。     

合成环境提高飞机座舱作战能力

本文介绍了战斗机飞行员虚拟环境Cyber View的用途、组成及采用的新技术。     

微小区内电波传播模型及其对频率再用的影响

本文研究了微小区的电波传播模型,此模型能解释微小区内路径损耗约与d^2成比例,但超过某点后,损耗即近似地与d^4成比例。此点称为转折点或称折点。本文用2-射线模型导出转折点距离。其结论是此折点距离与基站天线高度hb及工作频率有关,并导出实用公式。然后本文讨论频率再用图案．结论是微小区半径直接近但不得超过折点距离,这样可得到最佳的C／I值．其再用系数最低,因而是最佳再用图案。     

国防科研管理决策支持系统-项目核算模型研究

本文针对国防科研管理的需求,提出了宏观核算模型、成本核算模型、因素分析模型,分析了这些模型产生指标的意义,并证明了这些指标的存在条件和相应的计算方法。     

战略导弹突防仿真模型

本文提出了战略导弹突防仿真模型 ,在此基础上建立了导弹突防模拟系统并在微机上实现运行。该系统可为战略导弹作战提供决策支持 ,也可为研究导弹突防提供实验手段。运用所建立的仿真模型 ,本文进行了模拟运行 ,得到了一些有益的结果。对改变模型参数结果将怎样变化 ,也作了探索     

装甲车辆使用可靠性综合评定方法

基于使用可靠性的特点,介绍了装甲车辆使用可靠性综合评定模型的建立过程、参数、权重、目标值等的有关计算,运用该模型可对装甲车辆使用过程中的可性工作进行评价、指导.