带有约束的缺省逻辑

提出了一种改进缺省逻辑的方法，讨论了这种缺省理论的性质，证明了每个缺省理论都有扩充，具有半单调性和累积性，并讨论了处理多扩充问题的一种方法．     

组合函数的相等实现——Ⅱ.分离变量法

在献〔１〕中，给出了求解组合函数相等实现后种图形解法，本用这种方法讨论可分离函数及不可分离函数的实现问题。     

含MA误差的线性模型的经验似然推断

采用拟极大似然估计方法获得含MA误差的线性模型估计方程。为了能够使用经验似然方法,先利用鞅差序列将估计方程中的二次型转化为线性形式;再构造关于模型参数的经验似然比统计量,在一定假设条件下证明该统计量渐近服从卡方分布;模拟结果表明,在参数置信域的覆盖率方面,经验似然方法比参数似然方法更接近置信水平。     

通用阵列逻辑GAL的破译软件

本文介绍与GAL器件破译仪主机运行有关的软件,包括异步通信程序模块、数据的二次处理和逻辑化简程序模块,以及菜单和附加功能程序模块。本文采取了一些措施,使破译时间得到减少。     

智能控制论

简要回顾控制理论的发展历史及智能控制的产生背景、智能控制及其系统的基本概况。首先提出了传统控制和智能控制之间的区别和联系,然后从智能控制论的高度阐述智能控制的特征,最后概述了智能控制的基础及学科范畴。智能控制是一门新兴的理论和技术,它是多学科的交叉,尽管目前尚处于发展初期,但它必将获得广泛的发展和应用。     

逻辑与教学

本文从一个崭新的角度论述了逻辑与教学的辩证关系,并将逻辑学运用于化学教学之中,由教学实践得出逻辑与教学密不可分的结论。     

伪距,伪距增量,载波相位双差／惯性深组合导航系统

利用滞后状态卡尔曼滤波将伪距,伪距增量以及载波相位双差同ＩＮＳ进行了深组合,仿真结果表明该组合导航系统不仅精度高,而且对解决惯导的对准问题具有突出的作用。     

重建硬盘分区表时相关参数的使用

本文说明 了硬盘分区表与硬盘参数和磁盘Ｉ／Ｏ参数表之间的关系太部分 参数的获取方法,彰如何利用这些参数肋分区表     

关于国民收入随机模型的最小方差控制

通过对希克斯（Ｈｉｃｋｓ）一般模型的修正,建立一类关于国民收入的Ａｓｔｒｏｍ模型．由此讨论最小方差控制策略,同时结合我国实际问题进行计算、分析．