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

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

道路网关节点分析评价专家系统的研制

本文主要阐述了工程兵道路网关节点专家系统结构模型,给出了关于关节点的知识树的构造。     

格论在图分解中的应用研究

具有编序的多树组集合是多树格。多树格是几何格。多树组和其多树格的元素之间的有一一对应的关系。一个混合子图的全部树可以由能构成最大独立集的子图的多树组的Ｃａｒｔｅｓｉａｎ乘积的并集得一而勿需用制方法求出。这样在格率和图论之间建立了联系,对图的分解问题提供了一种直观的几何方法。     

基于线性四分树描述的图像块邻域寻找的快速方法

线性四分树将物体区域表示为组成物体区域的四分块的位置码的集合。本文通过分析位置码属性,归纳出了图像四分块相邻的充要条件,并给出了相应的寻找图像块邻域的算法。该方法简单明了,便于计算机实现。     

关于图的n-Irredundance数和n-Domination数

设G是简单连通图,r_n~c(G)和ir_n(G)分别表示图G的连通n-Domination数和n-Irredundance数、本文证明了如下结论:r_n~c(G)≤(3n+1)ir_n(G)-2n。     

基于小波变换的图像编码方法概述

小波变换将图像分期为一些不同频率、不同方向的子图像,这些子图像间存在较强的相关性,如何利用子图像间的相关性来提高编码效率是小波变换编码中研究的一个主要问题,本文从小波与分形、小波与树特征编码、小波与矢量量化三方面总结了近几年国内外基于小波变换编码方法的主要成果,并对基于小波变换的图像编码方法的发展方向作了展望。     

普通混凝土的结构形成过程

对混凝土的沉降所引起的分层现象及水泥石的微观结构进行了阐述 ,并对混凝土的强度和密实度提高提出了改善措施。     

多传感器系统中的航迹合成

本文系统地研究了线性离散系统中的航迹合成和分层估计问题。第一,推出全局最优集中估计解;第二,提出一种新形式的最优航迹合成解,并介绍了它的特点和性质;第三,系统地讨论了一种次优合成算法;第四,导出了次优与最优合成算法的关系。理论分析和仿真研究表明,在过程噪声较小的条件下,次优解与最优解的性能非常接近。     

跨层协同指挥控制网络抗毁性研究

针对跨层协同指挥控制网络特点,研究指挥控制网络抗毁性问题。运用复杂网络理论解析指挥控制网络体系,提出跨层协同指挥控制的结构模型和生成算法。在此基础上,分析了指挥控制网络的多类型复合攻击策略,引入自然连通度作为网络抗毁性测度指标。仿真分析多类型复合攻击策略下的跨层协同指挥控制网络抗毁性。