语义树方法及其可靠性和完备性

Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。     

三维数据场的可视化

三维数据场是普遍存在的。本文给出一个三维标量场和矢量场的可视化方法：对计算或实测产生的离散数据重构三维连续场的分布,构造数据场的整体发光模型,并根据发光模型计算视屏投影区域上各象素点的光强值,采用直接体绘制（ｄｉｒｅｃｔｖｏｌｕｍｅｒｅｎｄｅｒｉｎｇ）及视觉增强处理绘制出场的可视化图象,通过特征面处理绘制出场的局部分布图象。图象层次及细节丰富,反映了场的分布信息。系统具有较强的交互功能,静态、动态显示功能及友好的用户界面。     

坦克推进系统分段寿命试验统计分析

本文用生存分析方法,对坦克分段寿命试验进行了统计分析,并从理论上说明了坦克分段寿命试验的合理性.     

用于角度测量的加速度传感器输出信号的处理方法

本文介绍采用I-F(电流-频率)变换技术,利用抑制脉冲干扰的平均值数字滤波及基于最小二乘法的数据拟合方法,对用于角度测量的石英挠性加速度传感器的输出信号进行高精度数据处理。     

基于多层循环并行化的负载平衡优化

负载平衡是并行处理中的一个重要概念。参与一个程序执行的各处理机所承担的工作量是否均衡直接影响该程序的并行性能。本文对面向MPP系统程序循环级并行化中负载平衡的优化进行了探讨,提出了优化策略及其实施算法。     

坦克火控系统处理射表的两种算法

射表的处理速度是火控系统的关键,提高射表的处理速度能够缩短整个系统的反应时间。本文对此提出了两种算法,并作了比较。     

炮瞄雷达试验数据处理中有关问题的探讨

结合炮瞄雷达国家军用标准和靶场炮瞄雷达试验,对炮瞄雷达精度试验数据处理中的误差分组统计方法、样本大小选取和异常数据点处理等问题进行了探讨,并且提出了相应的处理方法     

计算机辅助动画系统 (GKDCAS)

GKDCAS是一个基于微型计算机环境,使用C语言设计的一个实用动画制作系统。本文阐述了GKDCAS的软件结构与设计方法,介绍了它的功能,并给出了一个用该系统制作动画的实例。     

浅谈军用飞机1553B数据总线网络验收

针对如何进行军用飞机1553B总线网络的验收,对总线长度,绝缘试验,连续试验,阻抗试验,极性试验,输出电性能试验等诸多验收内容进行了必要的理论分析和探讨,并对具体的测试方法进行了系统的归纳和总结,对军用飞机1553B 数据总线网络的系统设计和综合有实用价值。     

面向对象数据库的概念和问题

随着面向对象程序设计的广泛应用,面向对象数据库已成为数据库发展的主要方向之一。本文讨论了面向对象数据库的概念和问题,描述了面向对象数据库的数据模型及面向对象数据库的功能和特点,并对面向对象数据库与关系数据库进行了比较。