基于边界扫描的簇测试系统设计

在对边界扫描及簇测试技术研究的基础上,以边界扫描测试总线控制器芯片为核心设计实现了一个簇测试系统,选择W-A的GNS算法对所设计的测试系统进行了簇测试实例验证.实验结果表明,该测试系统能够快速准确地检测出被测系统的固定逻辑故障和短路故障.     

态势估计中语义障碍的解决方法

态势估计是数据融合体系中的一个重要层次,针对态势估计过程中的语义挑战,引入描述逻辑的概念作为语义推理的逻辑基础.通过描述逻辑良好的语义定义以及提供可判定的推理服务,来给符号分配意义并限制符号可能的解释,消除其中的语义障碍.介绍了描述逻辑的概念、体系和推理, 通过实例说明了这种应用的可能性,并给出功能模型.     

解耦的三轴气浮台非线性模糊变结构鲁棒控制问题

针对飞行器全物理仿真三轴气浮台这一具有不确定性的、耦合的非线性系统,对其动力学耦合和可解耦性问题进行了分析、计算和证明.通过综合变结构控制和模糊控制,给出了一种新的非线性控制系统设计方法,此方法既可以避免变结构控制所固有的颤动现象,同时由于该模糊控制律的解析性,所以也具有实现简单,易于工程化的优点.仿真结果表明,给出的模糊变结构控制,对飞行器模型不确定性和外来干扰具有较强的和良好的跟踪性能.     

知识产权学科的性质与地位

前言 现代大学主要有两个目标.一个目标是科学研究,即学科建设.另一个目标是专业教育,即教书育人.学科建设与专业教育是有联系,但却是目标和功能不同的两个概念.     

多处理机系统中的宏任务并行

多处理机系统是巨型机的发展方向。宏任务是在多处理机系统上用来加快程序执行的一条主要途径。文中介绍了宏任务并行,描述了宏任务的实现,讨论了编译器和操作系统的支持。最后解释了宏任务的一个程序。     

一类典型多态关联系统的可靠性定性性质

定义了一种典型的多态关联系统逻辑结构，该类系统在工程实践中有一定的应用范围。由于这类系统的结构比较特殊，因此有比较优良的定性性质，而可靠性分析中，最小路集求解是定性分析最主要的研究内容之一。针对这种结构的系统，研究了相应的最小路集求解方法，这种方法的运算量远小于一般系统最小路集求解方法的运算量。     

结合逻辑和面向对象范例的一种新模型（SCKE)

逻辑语言和面向对象语言是两种引人注目的知识程序设计语言。如何结合它们各自的优点以支持复杂的知识处理,已成为许多研究者关注的问题。本文首先提出了结合逻辑和面向对象范例的一种新模型SCKE,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征和面向对象语言的结构化、信息隐藏、继承等性质。本文推广了逻辑语言的Herbrand解释,并由此探讨了SCKE模型的形式语义。文中讨论了实现该模型的基于预编译的元级扩充方法,并论述了SCKE模型的主要特点。     

逻辑无环流装置在可逆伺服跟踪系统中的应用

以某型号高精度电视自动跟踪系统为例,阐述了可逆系统中环流的危害,克服环流应采用的技术措施,较详细地介绍了一种实用的逻辑无环流装置的工作原理、电路组成、设计原则、并给出了实验结果。     

转换触发器功能的分离变量法

本文选择“转换逻辑”输入变量中的Q~n真作为分离变量来处理,把Q~n分离出来后,只需要通过简单的逻辑推理便可得到与通常使用的图形法及公式法相同的转换结果。     

面向21世纪消防学科定位的思考

为使面向２１世纪的消防学科有一个正确的定位,以适应２１世纪我国经济发展和消防发展的需要,文章从理论和实践的结合上对面向２１世纪的消防学科构建进行了探讨,提出以“消防科学技术”为名称的二级学科及其理论体系。