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

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

MS中的自然数系统

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

中介逻辑的模型论性质

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

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

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

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

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

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

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

中介关系数据库查询语言

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

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

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

中介命题扩张系统MP^＊推理规则集的简化

中介系统是以中介原则为基础，以中介逻辑演算为工具的一种新的数学理论系统。狭义的中介系统仅指中介逻辑ML，它由中介命题系统MP及其扩张系统MP^*、中介谓词演算系统MF及其扩张系统MF^*，以及带等词的中介谓词演算系统ME^*组成。本文讨论中介命题扩张系统MP^*推理规则集SA的简化。对于一个形式系统的推理规则而言，在保证其相容性、完备性和独立性的前提下，形式系统的推理规则集越简洁，使用越方便。本文对规则集SA进行了简化，方法是：如果SA中某条规则可由SA中其余规则推导出来，并且推导过程所用形式定理的证明未用到此规则，则此规则可被简化而不影响SA的效力。作者简化了SA中8条规则并且证明简化后的规则集与原规则集SA等价。     

一个柔性化MIS系统的设计与开发

本文针对传统ＭＩＳ系统的局限，提出了柔性化ＭＩＳ系统的概念和定义。着重介绍了一个柔性化ＭＩＳ系统ＮＭＳ开发实例，介绍其设计思想和实现该系统柔性化所具备的支撑模块及这些模块的设计要点和功能等，还介绍了该系统的体系结构。在该系统中用户可以灵活地定义或修改数据模式，而且输入、输出、查询、修改、删除和统计等模块均为通用的，不因数据模式或系统功能的修改而变动源程序。源程序的中用户库名和所有条件成分均以参数或     

铜镉污染对海州香薷种子萌发的影响

以海州香薷种子为试材,研究了铜镉污染对种子萌发的影响。结果表明,在实验所选的胁迫浓度范围内,单一铜污染时,海州香薷种子发芽率随着Cu2+浓度的升高,先升后降,在20mg/L Cu2+处理时出现了毒性兴奋效应现象。铜镉污染对海州香薷幼苗苗长和根长的抑制作用极显著。根据综合效应指标,铜镉复合污染对海州香薷种子萌发的影响表现形式为铜、镉的协同作用。     

微量天平校准装置及精度分析

装置适用于风洞应变式微量天平六分量精密静态校准。通过高精度复位工件台和电视测量实现了微量天平的五分量体轴校;应用力的精密传递与转换实现了微量载荷在水平方向的准确加载。对三分量天平的综合加载精度以及影响因素进行了分析,同时还给出了该设备对三分量微量天平校准的结果,并与其他设备校准结果进行了比较     

基于CIMS环境的MRPⅡ

MRPⅡ(Manufacturing Resource Planning)即制造资源计划,是计算机集成制造系统(CIMS)中管理信息系统的重要组成部分.文中以大批量生产类型的机械制造企业CIMS为背景,从企业生产环境、企业管理思想与方法、企业经营特点、CIMS运行环境等方面分析了CIMS环境对MRPⅡ的软件功能、软件结构的需求,提出了CIMS环境下的MRPⅡ软件的功能、接口及系统结构.最后,分析了摩托车生产企业CIMS环境中的MRPⅡ的实现方案,及采用MRPⅡ的“推”式逻辑进行生产计划,采用“JIT”(Just In Time)的“拉”式逻辑进行生产控制的混合结构的特点.     

Linux Apache Web服务器上的ASP实现方案

介绍利用自由软件iASP1．08和JAVA2SDK1．3配置Linux Apache Web Server实现ASP功能的实用方案。     

基于DCT顺序型模式JPEG图象的分析与实现

本文介绍了基于ＤＣＴ顺序模型ＪＰＥＧ（Ｊｏｉｎｔ Ｐｈｏｔｏｇｒａｐｈｉｃ Ｅｘｐｅｒｔｓ Ｇｒｏｕｐ）图象编码和解码的过程,并对量化,ＤＣＴ变换、Ｈｕｆｆｍａｎ编码的算法进行了深入的研究。     

设备检维修策略及维修主体匹配问题研究

设备检维修系统设计是设备管理的核心,而设备维修策略和维修主体匹配又是设备检维修系统设计的核心。建立一个可以广泛应用于企业的模型,并已通过实践的验证,为企业建立维修策略,选择维修主体提供了分析和应用的框架。     

不同热控涂层的飞艇散热器Fluent仿真分析

为了分析不同热控涂层的性能,采用Fluent模拟了临近空间飞艇上小型散热器在20 km高空的热平衡状态。散热器分别使用S781白漆、S956灰漆及La_1-xSr_xMnO₃化合物热致变材料作为热控涂层,使用UDF（User defined function）编码对热控涂层设置随涂层温度变化的发射率。经过模拟计算,得到了在太阳垂直照射与无太阳辐射两种极端情况下不同热控涂层散热器的温度分布。仿真结果得出在太阳垂直照射下,使用La_1-xSr_xMnO₃化合物作为热控材料散热器的锂电池温度处于最佳工作温度范围,但其在太阳垂直照射与无太阳辐射情况下电源的平均温度温差为8.89 K,略大于S781白漆的温差6.57 K。模拟中,La_1-xSr_xMnO₃热致变材料发射率变化较小,约为0.11,垂直照射时温度最高的散热区域发射率可达到0.8,无太阳辐射时温度最低的散热区域约为0.69。     

平面前刀面的模具铣刀齿槽磨削成形的研究

本文提出了一种直接磨削出具有平面曲线刀刃、平面前刀面及刃带宽度等于零的模具铣刀齿槽的原理与方法.文中,首先阐述了该种铣刀的刀刃形式与齿背线的特点,然后详细研究了磨削系统应具备的砂轮相对于刀具的安装和运动形式以及运动维数,依据啮合原理和微分几何的基本知识,严格地导出了磨削系统中各运动参数之间满足的函数关系,最后设计并制造了一套专门的试验装置,它和改装后的工具磨床配套,进行磨齿加工。磨齿试验验证了本文分析的正确性。     

加跟刀架的细长轴车削加工尺寸误差的仿真

为探索跟刀架的作用机理,开发了一个联合模型用以仿真细长轴车削尺寸误差的形成过程。该模型由3部分组成:切削力统计模型、工件变形模型及尺寸误差的几何分析。值得注意的是,切削力与实际切削深度间存在耦合效应,因此切削力不能直接求得,这里采用二分法进行迭代运算来解决此问题。最后,通过一系列试验对仿真模型进行验证,结果表明仿真值与实测值比较一致。由仿真结果可知,跟刀架刚度对细长轴中部尺寸误差的影响最显著,而降低这个部位的尺寸误差也是细长轴车削的难点所在,因此,改进跟刀架结构是提高尺寸精度的有效途径。本文的主要贡献是在建立跟刀架的力学模型的基础上分析了影响细长轴车削尺寸误差的主要因素。     

直升机技术的若干新发展

综述了近年来直升机技术发展的某些新趋势和新成果，主要包括带弹性铰的铰接式桨毂和无轴承桨毂等新型桨毂；桨叶专用翼型及桨尖形状的发展、桨叶平面形状优化；涵道尾桨和无尾桨等新型反扭矩系统；高阶谐波控制、主动控制襟翼、结构响应主动控制等直升机振动控制新技术；复合材料在旋翼、机身上的应用及其对直升机技术发展的重要影响。文中着重介绍这些新技术的特点及其发展应用情况。