决策表的逻辑表达式分析

用泛布尔代数系统作为逻辑工具,证明了条件属性完全决策表的两种逻辑表达式(蕴涵式和析取范式)是逻辑等价的,但是决策属性相容和不相容决策表的蕴涵式表达式有所不同。继而证明了不完全决策表在1型解释下,其析取范式表达式仍与完全决策表的析取范式表达式形式相同,但与其等价的蕴涵式表达式却比完全决策表的蕴涵式表达式多了一串乘积;而不完全决策表在2型解释下,其蕴涵式表达式仍与完全决策表的蕴涵式表达式形式相同,但与其等价的析取范式表达式却比完全决策表的析取范式表达式多了一串和式。     

用不接触激先探针系统测量扭振

测量旋转轴扭转振动的三种常用方法是:应变计、光学及磁码盘、具有FM载波的感应传感器。而这三种方法的应用都会受到某些限制,FM感应型扭振传感器认应用最为广泛,它应用的主要限制是要能插进轴的自由端。国家工程实验室(NEL)研制的激光多普勒系统就能克服这种限制.激光系统不受     

XBASE数据库WAV音频信息提取批处理

在开发新的管理信息系统时，原有数据库信息的一种处理方法是将所有信息提取导入到新系统中，这样可以避免对旧的数据库系统进行维护，也便于新系统的更新升级。一些基于dBASE X．FoxBASE．FoxPro等XBASE数据库的信息系统改造升级时，XBASE数据库DBF表文件向Oracle．SQL Sever等数据库加栽导入有各种不同的方法，但对于存储在FPT备注文件中的WAV音频信息数据的转换则没有好的解决办法。本文分析了各个版本XBASE数据库文件和WAV音频文件的结构，提出了基于文件的XBASE数据库WAV音频信息自动导出转换的处理方法，可以在脱离数据库系统操作环境进行信息处理，提高了数据库转换工作的效率，解决了无法转换XBASE备注文件中WAV音频数据的问题，具有很强的可操作性和实用性。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

中介时序逻辑系统MTL的模型性性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统，它具有较强的表达能力，近年来在计算机科学领域获得了广泛的应用。基于中介逻辑对时序逻辑进行多值扩充，建立了一种中介时序逻辑系统ＭＴＬ。讨论了它的形式系统和语义解释，但未论及其完备性。本文对ＭＴＬ系统作进一步的讨论。在一可传结构下，讨论了它的可传、连通和过滤等模型论性质，为进一步讨论ＭＴＬ系统的完备性作了理论上的准备。     

基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。     

基于聚类算法的模糊逻辑结构与系统性能分析

针对一类特殊的模糊逻辑系统，对模糊逻辑规则结构与系统性能之间的关系进行了深入细致的数学推导和分析，从而得出在采用聚类技术构造模糊逻辑结构中影响系统性能的主要因素。通过相关的论证与分析，为各种聚类算法在模糊逻辑结构辨识中的应用奠定了理论基础，避免了以往对模糊结构与性能之间表述的含糊性和不系统性，为模糊逻辑系统的合理设计及其应用提供了数学依据。     

执行器卡死并失效的航天器姿态稳定控制

考虑挠性航天器执行器卡死与部分失效故障下的姿态控制问题,提出了一种滑模容错控制法。该方法采用自适应技术在线估计系统不确定参数,且该控制器的设计不需要任何在线或离线的故障信息,能够完全独立于地面站的支持。基于Lyapunov方法从理论上证明了该控制器不但能够有效地处理执行器故障,而且保证了闭环系统的全局渐近稳定,实现对姿态的高精度控制。最后将该方法应用于某型挠性航天器的姿态稳定任务中,仿真结果验证了该方法的有效性。     

MS中的自然数系统

首先给出了中介逻辑ＭＬ的二值子系统Ｆ＾ＩＭＬ，说明了它与经典二值逻辑的子系统Ｆ＾Ｉ同构。其次，利用中介公理集合论ＭＳ的相关理论，构造了ＭＳ中的自然数系统，证明了Ｐｅａｎｏ５条公理为ＭＳ中的定理。最后指出以此五条性质为公理、并以Ｆ＾ＩＭ为配套逻辑，在ＭＳ中可推出自然数的所有性质。     

中介公理集合论系统与经典公理集合论系统的关系——形式证明部分

在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经典数学也能奠基于ＭＳ之上，从而最终回答了中介数学与经典数学的包含关系问题。     

基于行动理论的智能体模型

结合BDI模型和情境演算的优点构造了一个agent模型。在agent模型中,agent的心智状态由状态信念集、效应规则集、可行规则集、策略规则集和意向集组成。如果agent的心智状态是信息完全的且在流中添加情境变元,则它将成为Reiter提出的基于情境演算的行动理论,所以此agent模型既能表示agent的心智状态又能进行行动推理和规划,最后,文中提出了具有完全信息的agent实现目标的一种运行方式     

分数阶微分器的实现及其阶次对方法选择的影响

分数阶微分的计算是分析分数阶系统和设计分数阶控制器的一个重要环节,不同方法设计的分数阶微分器其性能不同。为了在应用时选择或设计合适的分数阶微分器,本文总结了时域中14种分数阶微分器的实现方法,同时对它们的性能进行了分析和比较,包括:各种分数阶微分器的阶数对其零极点位置、冲击响应和频率响应的影响。结果表明,采用连分式展开的近似方法要比采用级数展开的近似方法好,其中一阶、二阶和三阶向后有限差分公式在两种方式下都能得到较好的近似结果,Tustin公式和Simpson公式不适宜于级数展开方式。     

MP＊中的等值完全析取范式

讨论中介逻辑命题演算扩张系统ＭＰ＊中在等值意义下的完全析取范式的存在性和唯一性。引入ＭＰ＊中等值全板范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。     

一个自主Agent框架及其决策

自主性是Agent的最重要的特征。本提出一个自主Agent的框架及其相应的决策机制。首先介绍了用于描述自主Agent的语言;然后基于BDI模型和情境演算理论,提出一个自主Agent的框架;最后给出自主Agent的一种决策过程。     

带时间参数的面向agent的程序语言AOPLID

对面向ａｇｅｎｔ的程序设计语言ＡＯＰＬＩＤ进行时态扩充，使之能表达并处理带时间参数的并发行动。对经典情境演算进行适当改造，使之能描述含时间变元的行动，因为持续行动一般可认为是具有瞬时开始行动和瞬时终止行动的过程，因此可以将一个持续动作分解为两个时间上互不相交的瞬时动作，再引入一个新的关系流刻画这两个瞬时动作的执行情况，从而可在扩充后的情境演算中表达带时间参数的并发行动；对已有的ＡＯＰＬＩＤ离线解释器进行了适当改造与扩充，使之能执行带时间变元的ＡＯＰＬＩＤ程序；通过实例说明了该方法以及扩充后的一些语言特色。     

中介关系数据库查询语言

给出了中介关系数据模型，在此基础上构造了两类不同的中介关系数据库查询语言，中介关系演算和中介关系代数，中介关系演算以中介谓词演算ＭＦ为基础，通过引入直值程度词〈对立否定词和模糊否定词～扩充了关系演算的表达能力，同样地，中介关系代数以中介集合论ＭＳ为基础，扩充了关系代数的功能，此外，证明了中介关系演算和中介关系代数的语言表达能力上的等价性，中介关系演算和中介关系代数可作为研究模糊数据库理论的工具。     

一种模糊关系代数与模糊关系演算

首先给出了模糊数据库的模糊关系数据模型，它允许属性值和元组具有模糊性。在此基础上，构造了两类不同的模糊数据库查询语言：模糊关系代数和模糊关系演算。它们分别以传统的关系代数或关系演算为基础，引入模糊关系（或谓词）、模糊操作（或连接词）和模糊集比较操作。此外，证明了模糊关系代数和模糊关系演算在表达能力上的等价性。模糊关系代数和模糊关系演算既可以作为模糊关系数据模型的理论研究工具，又可作为评价模糊数据库     

空气动力学与航空飞行器

本文简述了当今航空飞行器的发展概貌;回顾并剖析了空气动力学在航空飞行器发展过程中的重要作用;最后,对今后的发展前景作了展望。     

TW-1拖靶缆绳张力与形状参数的计算

本文通过拖靶平衡受力分析,得到拖靶放出后,稳定飞行时平衡攻角的近似计算公式。并通过缆绳微元受力分析,求得缆绳张力与飞行速度、高度及缆绳长度关系的计算公式及给出缆绳形状参数的计算公式。运用本文提供的公式计算出的MK3靶的缆绳张力曲线与实际测量之张力曲线吻合较好。因此,运用本文提供的公式进行了TW-1拖靶缆绳的设计及计算,取得了可信的依据,完全满足工作设计要求。     

航天领域国外标准化文件的类型与辨析

基于国内标准化文件类型单一及标准应用需求多样化的现状，调研了航天领域的国外相关7个标准化组织/机构发布的标准化文件类型及其定义解释，并采用对比分析和归类研究的方法进行了研究。基于文件的权威性、制定过程的规范性、内容的规范性综合分析，航天领域国外标准化文件概括起来主要包括4个类别：正式标准、不成熟标准、指南/手册、信息文件。此外，结合国内现状，提出了国内标准化文件类型多样性的建议，以期为用户提供多层次、全方位、更丰富的标准化信息，有助于用户对标准的理解及应用实施。