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

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

实时多任务环境下MAP与BITBUS异构网络互连

ＭＡＰ的应用层提供了多种通信标准，其中ＭＭＳ（制造报文规范）是一种能够满足工厂环境中各种自动化设备之间通信需要的协议。在我国，ＢＩＴＢＵＳ网已被大量使用于底层设备互连，在技术和实现上都较成熟。本文以ＭＡＰ，ＢＩＴＢＵＵ网络体系结构和协议为基础，根据网络互连方法和原则，构造了一个应用层同关，提出了网关的物理模型，从而给出ＭＡＰ网与ＢＴＴＢＵＳ网互连的一种设计方案及在ＡＭＸ实时多任务环境下的互连实现。     

具有码间串扰的接收机的性能分析

应用网格编码调幅（ＴＣ－ＡＭ）分析ＢＰＳＫ和π／４－ＱＰＳＫ调制下接收机的码间串扰特性。通过计算ＴＣ－ＡＭ的修正生成函数和重量轮廓函数，得出了两种调制在最大似然译码意义下的比特误码率，并给出了π／４－ＱＰＳＫ调制下的数值结果。     

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

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

GPS／MAP实现智能低空突防

低空突防在现代战争中起着十分重要的作用，并向着智能和自主式的方向发展，本文研究了采用全球定位系统（ＧＰＳ）和电子数字地图（ＭＡＰ）实现智能低空突防的几个关键问题。文中首先研究了智能低空突防的定义，给出了采用ＧＰＳ和ＭＡＰ实现智能低突防的总体方案和工作原理，其次研究了电子数字地图的设计，包括电子数字地图的功能设计，数据库设计及软，硬件设计要求等。再次，研究了ＭＡＰ与ＧＰＳ及自动飞行控制系统（ＡＦＣＳ     

空间B（E（2）,L^1[0,1]）的局部等距逼近问题

在实际中，严格的等距算子是不存在的，所遇到的都是有误差的几乎等距算子，故研究几乎等距算子被等距算子所逼近是有意义的。本文主要得到以下的结果：设Ｔ是从Ｂａｎａｃｈ空间（Ｅ（２），Ｌｒ）到Ｌ＾１［０，１］的ε－等距算子（即对任意的Ｐ∈（Ｅ０１，Ｌｒ）＇Ｔ满足：（１－ε）Ｌｒ（Ｐ）≤‖Ｔ（Ｐ）‖≤（１＋ε）Ｌｒ（Ｐ），Ｌｒ（Ｐ）表示Ｐ的范数那么对任意的Ｐ∈（Ｅ（２），Ｌｒ），一定存在一个等距算子Ｖ∈Ｂ（     

智能PID调节器

介绍一种智能化ＰＩＤ调节器，它以ＭＣＳ－５１系列的８０３１单片机为处理器，配合其他外围芯片（如ＲＡＭ，ＥＰＲＯＭ，ＤＡＣ和ＡＤＣ等）构成。该调节器外部接口简单，实现了模拟量的直接输入和输出，可以方便地和各类模拟的检测和控制仪表相配合，组成不同的过程控制系统。调节器的于ＰＩＤ算法采用的是变速积分的ＰＩＤ位置算式，有效地消除了一般ＰＩＤ算法中出现的诸如快速性、积分饱和、振荡剧烈等问题，调节效果较好。本调节器操作方便、显示直观、工作可靠、精度高。本文介绍了该系统的硬件和软件的设计。     

卷帘行存储下的一种并行Cholesky分解及其在PAR95上的实现

Ｃｈｏｌｅｓｋｙ 分解在科学与工程计算中占有重要的地位,串行的 Ｃｈｏｌｅｓｋｙ 分解已有成熟的方法,但并行的 Ｃｈｏｌｅｓｋｙ 分解方法要充分考虑机器体系的结构,在拥有共享内存的 Ｍ Ｉ Ｍ Ｄ 型多处理机、 Ｓ Ｉ Ｍ Ｄ 型向量机系统上前人已有较好的工作,本文给出适用于 Ｍ Ｐ Ｐ 大规模并行计算机的卷帘行存储行格式的并行 Ｃｈｏｌｅｓｋｙ 分解算法,该算法使用了优先计算优先发送的策略,减少了结点机之间相互等待的时间,建立了结点机之间用于通讯的通讯数组,避免了使用撒播这一通讯模式,减少了通讯时间,通过在 Ｐ Ａ Ｒ９５ 上的数值试验表明,随着问题规模的扩大,并行效率越来越高,并且该法容易推广到多行卷帘存储的形式。     

基于I/O方式的单片机在UPS实时控制中的应用

采用基于Ｉ／Ｏ方式的内部自带ＯＴＰ（Ｏｎｌｙ ｔｉｍｅ ｐｒｏｇｒａｍｉｎｇ）ＲＯＭ中的单片机,既能满足智能化要求,又能大大节约ＵＰＳ的生产成本。文中介绍了基于Ｉ／Ｏ方式下单片机在线互动式不间断电源中的典型应用,阐述了采用ＧＭＳ系列具有ＯＴＰ型ＲＯＭ的单片机为微控制器,配以串行方式的接口芯片构成ＵＰＳ主控系统的组成及工作原理。着重介绍单片机与串行芯片及模拟串行方式的接口方法,以及基于Ｉ／Ｏ方式下单     

有机高分子絮凝剂处理高浊度原水效果和机理研究

本文研究了有机高分子絮凝剂ＰＡＭ、ＣＴＡＢ及它们的复配ＰＡＭ＋ＣＴＡＢ处理高浊度原水的最佳实验条件、絮凝性能、效果和机理，为有机高分子絮凝剂的选择和管式絮凝器的研制提供了理论依据。     

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

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

关于条件蕴涵的一个注记(英文)

非单调推理与条件蕴涵之间存在着紧密的联系 ,众多研究人员从不同角度对此进行了研究 ,其中 ,C.Boutili-er与 P.Lamarre证明了一些条件逻辑系统刻画的条件蕴涵可以作为非单调后承的对应物。本文基于 Friedman与Halpern提出的 PS(Plausibility space)概念 ,探讨了具有非单调特性的条件蕴涵的性质 ,刻画了可以充当非单调后承在对象语言层对应物的条件蕴涵的一般特征     

非线性非定常气动力的模糊逻辑建模方法

建立了非线性非定常气动力的模糊逻辑模型。利用大迎角俯仰及滚转振荡气动力验证了模型的有效性。结果表明：该模糊逻辑模型对非定常气动力有很好的预测能力;利用模糊逻辑方法可建立包括非基本运动状态变量在内的多变量非线性非定常气动力的数学模型。     

三值逻辑的T门实现和化简

本文介绍了T门的基本概念及电路的设计方法。并对非标准形式的三值逻辑函数的实现和化简作了讨论。     

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

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

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

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

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

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

基于置换群的可逆逻辑门网络级联

n输入n输出可逆逻辑门的级联构成一个群,它与对称群Sτ同构。本文研究了生成Toffoli门集合的可逆逻辑门数的特点,证明了任意置换Sn可以由n-轮换δ和一个置换τ=（ij,ik）生成,同时证明了相邻2一轮换可由至多两个NOT门在不增加额外信息位的情况下生成。最后提出了一个基于上述理论的可逆逻辑门网络级联算法,并通过实例验证了该算法的正确性。     

含有文字序逻辑程序的一种辩论语义

有序逻辑程序的语义研究是常识推理的重要研究内容。文中对Dung的辩论框架进行了扩充,针对含有文字序的逻辑程序提出了一种优先辩论框架,加入了对文字之间优先序的处理,进而定义了相应的优先回答集语义和优先扩充语义。证明了文中的优先回答集是Sakama回答集的特例,而优先扩充语义可以处理没有回答集的优先逻辑程序。