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

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

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

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

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

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

神经网络在MIS子系统划分中的应用

在ＭＩＳ的开发过程中需要对ＭＩＳ进行子系统划分，本文提出了一种ＭＩＳ子系统划分的神经网络方法，即ＬＭ划分方法，该方法建立在Ｃ－Ｕ图的基础上，利用ＬＭ神经网络的学习和联想功能将一个ＭＩＳ划分成若干相对独立的子系统，实际划分结果证明，它是一种行之有效的新方法。     

A CONCISE M-METRIC LEAST SQUARE FORMULA FOR POLYNOMIAL ANALOGY

ＡＣＯＮＣＩＳＥＭ－ＭＥＴＲＩＣＬＥＡＳＴＳＱＵＡＲＥＦＯＲＭＵＬＡＦＯＲＰＯＬＹＮＯＭＩＡＬＡＮＡＬＯＧＹ￥ＰａｎＸｉａｏｓｕ（ＣｏｌｌｅｎｇｏｆＳｃｉｅｎｃｅ，ＮＵＡＡ２９ＹｕｄａｏＳｔｒｅｅｔ，Ｎａｎｊｉｎｇ２１００１６，Ｐ．Ｒ．Ｃｈｉｎａ）Ａ...     

METHOD OF EVALUATING AIRCRAFT TORSIONAL AGILITY METRIC USING PILOT TRANSFER FUNCTION MODEL

ＭＥＴＨＯＤＯＦＥＶＡＬＵＡＴＩＮＧＡＩＲＣＲＡＦＴＴＯＲＳＩＯＮＡＬＡＧＩＬＩＴＹＭＥＴＲＩＣＵＳＩＮＧＰＩＬＯＴＴＲＡＮＳＦＥＲＦＵＮＣＴＩＯＮＭＯＤＥＬＨｕａｎｇＰｅｎｇｎｉａｎ（ＤｅｐａｒｔｍｅｎｔｏｆＡｅｒｏｄｙｎａｍｉｃｓ，ＮＵＡＡ２９Ｙ...     

OPTIMAL DESIGN AND AERODYNAMIC CALCULATION OF WING CONFIGURATION OF CIVIL AIRCRAFT

ＯＰＴＩＭＡＬＤＥＳＩＧＮＡＮＤＡＥＲＯＤＹＮＡＭＩＣＣＡＬＣＵＬＡＴＩＯＮＯＦＷＩＮＧＣＯＮＦＩＧＵＲＡＴＩＯＮＯＦＣＩＶＩＬＡＩＲＣＲＡＦＴ￥ＷａｎｇＬｉａｎｇｙｉ（ＤｅｐａｒｔｍｅｎｔｏｆＡｅｒｄｄｙｎａｍｉｃｓ，ＮＵＡＡ２９ＹｕｄａｏＳｔｒｅ...     

SOME RECENT PROGRESS IN STUDIES ON ACTIVE CONTROL OF WALL-JET FLOWS

ＳＯＭＥＲＥＣＥＮＴＰＲＯＧＲＥＳＳＩＮＳＴＵＤＩＥＳＯＮＡＣＴＩＶＥＣＯＮＴＲＯＬＯＦＷＡＬＬ－ＪＥＴＦＬＯＷＳ￥ＺｈｏｕＭｉｎｇｄｅ．（ＡｅｒｏｓｐａｃｅａｎｄＭｅｃｈａｎｉｃａｌＥｎｇｉｎｅｅｒｉｎｇ，ＴｈｅＵｎｉｖｅｒｓｉｔｙｏｆＡｒｉｚｏｎ...     

装载机行业CIMS总体设计

详细介绍了国家ＣＩＭＳ示范工程某装载机厂的ＣＩＭＳ工程ＭＦＣＩＭＳ的总体设计。首先分析了系统瓣功能和信息需求，并结合装载机厂的现有状况、经营目标，确定了ＭＦＣＩＭＳ分系统的划分原则。分析了系统总体设计应遵循的原则，并对总体体系设计进行了详细阐述。给出了系统总体体结构图、纵向层次结构图、信息集成关系图、ＩＤＥＦ０图及ＩＤＥＦ１Ｘ信息功能图，这些构成了ＭＦＣＩＭＳ总体设计的核心。最后对ＭＦＣＩＭＳ的关     

AN INVESTIGATION OF HOT FILM SIGNALS ON LOCATING BOUNDARY LAYER TRANSITION

ＡＮＩＮＶＥＳＴＩＧＡＴＩＯＮＯＦＨＯＴＦＩＬＭＳＩＧＮＡＬＳＯＮＬＯＣＡＴＩＮＧＢＯＵＮＤＡＲＹＬＡＹＥＲＴＲＡＮＳＩＴＩＯＮＷａｎｇＴｉｅｃｈｅｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＡｅｒｏｄｙｎａｍｉｃｓ，ＮＵＡＡ２９ＹｕｄａｏＳｔｒｅｅｔ，Ｎａｎｊｉ...     

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

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

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

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

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

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

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

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

无穷观问题的研究(Ⅲ)——‘每一''与‘所有''

本组系列论文（I）－（Ⅴ）从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状，确立了无穷观背景世界的三分法原则，指出了两种穷观相互排斥的局限性，形成了统一两种无穷于同一框架中的基本观点，并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统APAS。     

无穷观问题的研究(Ⅳ)--自然数系统与无穷公理

本组系列论文（I）－（V）从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状，确立了无穷观背世界的三分法原则，指出了两种无穷观相互排斥的局限性，形成了统一两种无穷于同一框架中的基本观点，并建立了一个统一实无限与潜无限同一框架中的公理集合论系统APAS。     

无穷观问题的研究(Ⅱ)——从Hausdorff的直觉和Poincaré的名言到Brouwer剧场现象

本组系列论文 ( )～ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背景世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统 APAS。     

无穷观问题的研究（Ⅰ）—历史的回顾与思考

本组系列论文（Ⅰ）－（Ⅴ）从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状，确立了无穷观背景世界的三分法原则，指出了两种无穷观相五排斥的局限性，形成了统一两种无穷于同一框架中的基本观点，并建立了一个统一实无限与潜无限于同一框架中的公理集体论系统APAS。