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

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

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

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

MS中的自然数系统

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

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

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

中介逻辑的模型论性质

中介逻辑是朱梧槚与肖奚安合作创立的一个新的逻辑系统,该系统的创立有着很强的哲学背景,因此在创立后得到了很大的发展。但对于该系统语义的研究还不够广泛和深入。本文系统地研究了中介逻辑的模型论性质。第一部分系统地定义了中介逻辑模型论的一些概念:如语言、结构、解释、满足等,第二部分证明了对任一和谐理论,都可在其见证集的等价类上建立其模型。利用此定理,笔者证明了广义完全性定理,并由此证明了中介逻辑的可靠性与完备性。本文最后一部分讨论了中介模型论的其他重要性质。利用中介逻辑的完备性,本文证明了紧致性定理,即一理论有模型当且仅当其任一有穷子集有模型。文中还证明了中介逻辑的Lowenheim-Skolem-Tarski定理。     

中介模态逻辑MS4的表推演系统

中介逻辑是一个新的逻辑系统，该系统的创立有明显的哲学背景，自创立后得到了很大的发展。在数理逻辑以及计算机科学领域已发展了中介模态逻辑以及ＭＩＬＬ等中介程序计设 语言，但对作为程序计设语言之逻辑基础之一的中介模态逻辑的自动推理理论与实现的研究还很不够。本文系统地讨论中介模态逻辑ＭＳ４的自动定理证明理论，构造了中介模态逻辑ＭＳ４的表推演系统，由于该系统采用“与或树”的表达方法，因而不产生“遗忘问题”；     

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

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

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

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

概括原则与悖论研究的进展

悖论的出现与概括原则中的造集的任意性有很大关系。然而,历史上各种排除悖论的方案要么修改概括原则而过多地限制了概括原则的合理内容,要么修改与之配套的逻辑系统而导致失败。近年来,这些问题的研究又取得了新的进展,有必要历史地加以评介,本文从类型论、ZFC公理系统、BG公理系统、多值逻辑系统和中介数学系统五个方面综述逻辑数学悖论之解释方法的研究情况。     

基于时滞分解的线性时滞系统主动容错H_∞控制

采用一种具有广义内模控制结构的反馈控制器,研究一类线性时滞系统的主动容错H∞控制问题。针对可由外系统描述其动态行为的故障,设计基于观测器的故障估计器,并将故障估计用于反馈控制的故障补偿。采用一种新的时滞分解方法选取Lyapunov-Krasovskii泛函,推导并证明问题可解的充分条件,最后给出主动容错控制系统的设计算法。最后通过算例验证了提出方法的有效性,并且利用时滞分解方法,保守性减小。     

模糊逻辑的神经网络实现

研究了模糊控制中，模糊推理规则由多层神经网络实现问题。将模糊推理规则中的每一个规则的前件知识，直接嵌入神经网络的权中，然后利用神经网络的自学习功能；自动辨识控制规则，且对隶属函数进行微调整。其学习方法主要采用误差逆传播算法。     

中介谓词演算系统ME与ME之间的化归算法及其应用

在经典二值逻辑中，带等词的谓词演算系统Ｆ１与Ｆ１＊的函词系统等价，在互推关系下这两个系统也等价，然而在中介逻辑中，带等词的中介谓词演算系统ＭＥ与ＭＥ＊函词系统不等价，本文定理１指出，在互推关系下，任何ＭＥ＊中的公式均可化为ＭＥ中的标准前束范式，因此在互推意义下两系统等价，在中介逻辑中，ＭＥ是一个较为特殊的子系统，它具有许多与二值逻辑相类似的性质，本文的结果为将这些性质进一步推广到ＭＥ＊上提供了基础     

通航小型活塞飞机维修方案的编制与管理

本文研究了我国目前民航法规体系下通用航空维修活动的适航法规依据及存在的问题,以中国民航飞行学院多年来使用和维护小型活塞飞机的经验为基础,总结了中国民航飞行学院多年来飞机维修方案的编制及控制经验,基于"以可靠性为中心"的现代维修管理思想,提出了适用于通用航空实际需求和现状的小型活塞飞机维修方案的一般制定方法和控制规则。     

基于ANFIS的蒸汽发生器水位实时控制系统的设计

从蒸汽发生器的水位特性出发，对其水位高度控制原理进行了深入细致的研究。鉴于控制对象的模糊性、不确定性和非线性，采用自适应神经元模糊推理(Adaptive neuron fuzzy inference system，ANFIS)技术，建立了模糊控制规则库，实现了对蒸汽发生器水位的智能控制。本文详细阐述了ANFIS技术的结构、控制方式和系统的主要功能，完成了软、硬件的综合设计，并进行了仿真研究。控制系统的硬件采用了DSP芯片，以保证系统的实时性；软件采用了模糊一神经网络算法，以克服系统模型的不确定性。仿真结果表明，该控制系统工作稳定可靠，具有较高的控制精度和较强的鲁棒性。     

模糊推理在直升机模型辨识中的应用(英文)

直升机控制系统的设计、飞行模拟器的研制及计算机实时仿真都离不开直升机数学模型 ,但是建立可靠而且准确的直升机飞行动力学模型是十分困难的 ,而且也很难保证动力学模型计算的快速性、可靠性与实时性。本文基于模糊推理技术 ,根据飞行试验数据辨识了直升机飞行模型 ,可以在一定程度上保证所辨识模型的简单、准确与计算的实时性。为了提高模糊模型的精度 ,文中采用了一种新方法来处理矛盾规则。本文利用模糊聚类分析的方法对海量的试验样本数据进行处理 ,有效地减少了辨识模型的规则数量。最后的仿真辨识结果表明 ,辨识效果合理 ,方法可行。     

Knowledge Representation and Semantic Inference of Process Based on Ontology and Semantic Web Rule Language

The process inference cannot be achieved effectively by the traditional expert system,while the ontology and semantic technology could provide better solution to the knowledge acquisition and intelligent inference of expert system.The application mode of ontology and semantic technology on the process parameters recommendation are mainly investigated.Firstly,the content about ontology,semantic web rule language(SWRL)rules and the relative inference engine are introduced.Then,the inference method about process based on ontology technology and the SWRL rule is proposed.The construction method of process ontology base and the writing criterion of SWRL rule are described later.Finally,the results of inference are obtained.The mode raised could offer the reference to the construction of process knowledge base as well as the expert system's reusable process rule library.     

飞行控制系统的仿人智能控制

本文讨论了仿人智能飞控系统的设计,提出了系统的基本结构,仿人智能控制的基本原则,特征模型的划分和智能控制规律的构成。据此,针对某型飞机设计了仿人智能飞行控制系统的知识库、数据库、规则库和推理机构。同时,用数字仿真证明了这种系统具有优良的控制品质,很强的鲁棒性和适应性,以及良好的解耦能力。     

基于C51单片机的MP3播放器的设计与实现

介绍一种基于C51内核的单片机MP3解码系统的设计与实现,系统采用高性能51单片机和灵活的模拟音频接口,通过对MP3的编解码算法和编程的改进与优化,实现实时解码过程。     

外关联规则挖掘

根据项集内项的关联性,现有关联规则挖掘算法可分为正关联规则挖掘和负关联规则挖掘两大类,它们反映的是项集内频繁项之间的关联性。通过对实际数据集的分析发现,一个项集可以划分成若干子项集,子项集内的项有较高的相关性,而不同的子项集相关性则较低,这意味着每个子项集与其外部的一个潜在因子间存在着关联,由此本文提出了外关联规则的概念,并基于因子分析和主成分分析方法,提出了外关联规则挖掘算法(FAAR),从而将项集内的关联规则挖掘外推到子项集和潜在因子集之间的外关联规则挖掘,扩展和丰富了关联规则挖掘的应用,在此基础上还可进一步发现它所蕴涵的正、负关联规则。