Prolog 对象系统 GKD-POS/SUN的设计与实现

GKD-POS/SUN是在模块化Prolog基础上设计并实现的一个面向对象Prolog解释器。它同时引入了模块化、模块间的通讯、切换、类、方法、继承、消息发送及接收等概念,并提供对这些概念的直接支持。本文描述了GKD-POS/SUN的语言规范、系统组织与设计、主要实现技术和相关对象操作原语。     

矿产统计预报的多元信息复合方法及预测模型

如何有效地利用多种信息进行矿产统计预报是一个有经济效益的课题。本文运用多信息复合思想,采用回归分析、判别分析和集成预报等方法使矿物预报的正确概率大大提高。     

变窗长秩排序统计滤波器与噪声图象滤波

基于信号分解理论,在非线性秩排序统计滤波器基础上,提出一种新型的非线性滤波器结构——二值秩排序统计滤波器。主要工作包括:(1)提出了滤波器的定义和实现结构;(2)实现算法;(3)滤波特性分析;(4)噪声图象滤波的计算机仿真。理论分析和实验结果表明,本文提出的滤波器具有良好的脉冲干扰抑制能力和边缘保持特性,硬件实现简单。     

关于防空导弹落入概率评定的一种设想

由于防空导弹靶场飞行试验中,实弹靶试的次数极为有限。因此,使其落入概率的评定成为小样本容量的统计评定问题。而这种统计评定问题在方法上尚未解决,是武器系统性能评定中的疑难问题。本文从工程实践的角度,提出了一种组建混合观测样本的设想,藉以扩展观测样本的容量,使得靶场试验中落入概率的统计评定结果能有较高的置信度,从而为确认制导与控制系统的精度指标,提供可靠的技术依据。     

利用验前信息时，飞行器试验鉴定技术研究—— 一次现场试验下的精度鉴定方法

研究了具有验前信息下的飞行器落点精度的鉴定问题,适用于只作一次现场飞行试验的情况。文中给出了鉴定方案,并进行了风险计算和信度分析。对于一次试验结果与验前信息的一致性．给出了验证方法。本文所提供的理论方法,可用于一般武器装备系统的试验定型和鉴定。     

利用核辐射进行在线计量的误差分析

利用核辐射进行在线计量的一个特殊问题,就是由于核事件的随机性质造成的统计误差问题。为此,就需要增大探测器的时间常数,但这样又会引起来样信号相对被测对象的滞后效应,这是在线连接计量时必须要着重力以考虑的问题。     

抗氰预防药和急救药在航海条件下效价的研究

以新西兰兔为实验动物,对陆地和航海两种不同条件下“舰员防化急救箱”中装备的抗氰预防和急救药的效价作了测定和比较,并探讨了航海条件对氰类毒剂中毒和防治的影响。     

高含钛量碳化硅纤维的研制

本文采用一种聚钛硅氧烷与聚碳硅烷反应,制得了Ti/Si摩尔比为0.10的聚钛碳硅烷。该聚合物具有良好的成丝性与稳定性,经熔融纺丝,再经不熔化处理后,在氮气气氛保护下1300℃热处理后制得了高含钛量的碳化硅纤维。文中对聚钛硅氧烷的合成与结构,它与聚碳硅烷的反应过程及聚钛碳硅烷的热分解特性进行了分析与研究。     

连续碳化硅纤维的研制

本文研究了用先驱体法制备连续碳化硅(SiC)纤维的全过程。通过常压高温裂解法制得纺丝性能好的聚碳硅烷,经100孔熔融纺丝、不熔化处理和高温烧成等一系列工艺处理,制得了高性能的SiC纤维。该纤维单丝直径8～15微米,连续长度达100米,抗拉强度为2～2.3GPa,抗拉模量178GPa。主要性能达到日本同类产品八十年代的水平。本文还对制备工艺的一些基本规律及连续纤维的主要性能进行了研究。