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

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

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

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

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

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

中介逻辑的模型论性质

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

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

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

中介公理集合论系统与经典公理集合论系统的关系——形…

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

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

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

MS中的自然数系统

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

知识表示的F-K系统

对经典知识表示系统（多系统）进行了扩充，引入一个刻划“大概知道”的模态词“Ｆ”，并建立了相应的公理系统Ｆ－Ｋ，该公理系统除包含“Ｆ”外也包含经典模态词“Ｋ”。同时，基于滤子对经典Ｋｒｉｐｋｅ框架及模型进行了扩充，从而给出了“Ｆ”的语义，并证明了该语义下Ｆ－Ｋ的完备性与可靠性。     

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

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

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

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

中介粗集及其在数据挖掘中的应用

粗集理论已成功应用于数据挖掘，如基于粗集方法的属性发现和决策规则的约简等。中介集合论是以中介逻辑为基础，也可以用于数据挖掘。文中将两者相结合，提出了中介粗集的概念。中介粗集是普通粗集的推广，为不完全信息系统的数据挖掘提供了新的工具，不仅可用于一般的信息系统，还适用于数据取空值的信息系统（允许结论取空值）。利用中介粗集进行数据挖掘不但可以得出粗集理论中的约简，还能得到更为简洁的中介约简。文中还给出了     

高超声速飞机纵向通道的多级模糊逻辑控制

针对飞行过程中高超声速飞机的纵向模型具有不稳定的动态特性,多变量之间的强耦合以及易变的模型参数,采用多级模糊逻辑控制为其纵向通道设计飞行控制系统。该系统由控制内环和控制外环组成,控制内环用于稳定纵向的飞行姿态,控制外环可以确保高超声速飞机对指令信号的准确响应,将两者结合起来设计的飞控系统具有高度非线性解耦控制能力。因其控制过程不依赖于高超声速飞机的精确模型,故保证了系统的强鲁棒性能。仿真研究表明,该控制系统可以维持高超声速飞机的纵向稳定性能。     

基于在系统可编程逻辑器件的实验仪的设计与实现

详细介绍基于在系统可编程逻辑器件的实验仪的设计与实现,并对在系统可编程逻辑器件的设计流程进行论述。     

使用模糊逻辑的航天电子元件失效率分析

空间热环境严重影响航天电子元器件的失效率，针对这一重要可靠性指标的计算问题，提出一种基于模糊逻辑的分析计算方法。该方法分析了温度、应力的大小及温度、形变的相对变化率对失效率的影响，有效解决了从定性分析到定量计算的过渡以及传统数学模型数据缺失等问题。本文研究为航天卫星电子元器件的可靠性分析提供有效的计算基础。     

并联式混合动力车能量控制策略设计(英文)

提出了一种新颖的能量控制策略的设计方法用于并联式混合动力车.首先用SQP算法求解最大系统效率问题以实现全局优化;然后用模糊控制系统来协调发动机和电池的工作点实现局部优化.模糊系统的模糊规则建立则是汲取了SQP优化结果,从而保证全局与局部的统一.计算机仿真结果表明,运用该能量控制策略的混合动力车能达到较好的燃料经济性.