共查询到19条相似文献,搜索用时 609 毫秒
1.
中介谓词演算系统ME与ME之间的化归算法及其应用 总被引:1,自引:0,他引:1
在经典二值逻辑中,带等词的谓词演算系统F1与F1*的函词系统等价,在互推关系下这两个系统也等价,然而在中介逻辑中,带等词的中介谓词演算系统ME与ME*函词系统不等价,本文定理1指出,在互推关系下,任何ME*中的公式均可化为ME中的标准前束范式,因此在互推意义下两系统等价,在中介逻辑中,ME是一个较为特殊的子系统,它具有许多与二值逻辑相类似的性质,本文的结果为将这些性质进一步推广到ME*上提供了基础 相似文献
2.
MAP的应用层提供了多种通信标准,其中MMS(制造报文规范)是一种能够满足工厂环境中各种自动化设备之间通信需要的协议。在我国,BITBUS网已被大量使用于底层设备互连,在技术和实现上都较成熟。本文以MAP,BITBUU网络体系结构和协议为基础,根据网络互连方法和原则,构造了一个应用层同关,提出了网关的物理模型,从而给出MAP网与BTTBUS网互连的一种设计方案及在AMX实时多任务环境下的互连实现。 相似文献
3.
应用网格编码调幅(TC-AM)分析BPSK和π/4-QPSK调制下接收机的码间串扰特性。通过计算TC-AM的修正生成函数和重量轮廓函数,得出了两种调制在最大似然译码意义下的比特误码率,并给出了π/4-QPSK调制下的数值结果。 相似文献
4.
在中介公理集合论系统(MS)中重新定义了良集的概念,讨论了它的性质。证明良集完全满足经典公理集合论系统(ZFC-:ZFC系统中去掉正则公理)的全部公理,且其配套的逻辑系统恰为中介逻辑的二值子系统FI*ML,说明整个经典数学也能奠基于MS之上,从而最终回答了中介数学与经典数学的包含关系问题。 相似文献
5.
GPS/MAP实现智能低空突防 总被引:1,自引:0,他引:1
低空突防在现代战争中起着十分重要的作用,并向着智能和自主式的方向发展,本文研究了采用全球定位系统(GPS)和电子数字地图(MAP)实现智能低空突防的几个关键问题。文中首先研究了智能低空突防的定义,给出了采用GPS和MAP实现智能低突防的总体方案和工作原理,其次研究了电子数字地图的设计,包括电子数字地图的功能设计,数据库设计及软,硬件设计要求等。再次,研究了MAP与GPS及自动飞行控制系统(AFCS 相似文献
6.
张庆洪 《南京航空航天大学学报》1994,26(1):140-144
在实际中,严格的等距算子是不存在的,所遇到的都是有误差的几乎等距算子,故研究几乎等距算子被等距算子所逼近是有意义的。本文主要得到以下的结果:设T是从Banach空间(E(2),Lr)到L^1[0,1]的ε-等距算子(即对任意的P∈(E01,Lr)'T满足:(1-ε)Lr(P)≤‖T(P)‖≤(1+ε)Lr(P),Lr(P)表示P的范数那么对任意的P∈(E(2),Lr),一定存在一个等距算子V∈B( 相似文献
7.
8.
卷帘行存储下的一种并行Cholesky分解及其在PAR95上的实现 总被引:2,自引:0,他引:2
Cholesky 分解在科学与工程计算中占有重要的地位,串行的 Cholesky 分解已有成熟的方法,但并行的 Cholesky 分解方法要充分考虑机器体系的结构,在拥有共享内存的 M I M D 型多处理机、 S I M D 型向量机系统上前人已有较好的工作,本文给出适用于 M P P 大规模并行计算机的卷帘行存储行格式的并行 Cholesky 分解算法,该算法使用了优先计算优先发送的策略,减少了结点机之间相互等待的时间,建立了结点机之间用于通讯的通讯数组,避免了使用撒播这一通讯模式,减少了通讯时间,通过在 P A R95 上的数值试验表明,随着问题规模的扩大,并行效率越来越高,并且该法容易推广到多行卷帘存储的形式。 相似文献
9.
马维华 《南京航空航天大学学报》2000,32(6):696-700
采用基于I/O方式的内部自带OTP(Only time programing)ROM中的单片机,既能满足智能化要求,又能大大节约UPS的生产成本。文中介绍了基于I/O方式下单片机在线互动式不间断电源中的典型应用,阐述了采用GMS系列具有OTP型ROM的单片机为微控制器,配以串行方式的接口芯片构成UPS主控系统的组成及工作原理。着重介绍单片机与串行芯片及模拟串行方式的接口方法,以及基于I/O方式下单 相似文献
10.
有机高分子絮凝剂处理高浊度原水效果和机理研究 总被引:2,自引:0,他引:2
本文研究了有机高分子絮凝剂PAM、CTAB及它们的复配PAM+CTAB处理高浊度原水的最佳实验条件、絮凝性能、效果和机理,为有机高分子絮凝剂的选择和管式絮凝器的研制提供了理论依据。 相似文献
11.
多模态逻辑作为模态逻辑的扩充,是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统,自创立后得到了很大发展,并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充,本文构造了一种基于中介逻辑的多模态逻辑系统MMK,讨论了它的推理规则和语义解释,并证明了MMK的可靠性和完备性,在此基础上给出了一种基于中介逻辑的时态逻辑系统MT,对它的可靠性和完备性进行了讨论。最后,分析了相应的经典多模态逻辑系统与MMK系统及经典时态逻辑系统和MT系统之间的关系。 相似文献
12.
非单调推理与条件蕴涵之间存在着紧密的联系 ,众多研究人员从不同角度对此进行了研究 ,其中 ,C.Boutili-er与 P.Lamarre证明了一些条件逻辑系统刻画的条件蕴涵可以作为非单调后承的对应物。本文基于 Friedman与Halpern提出的 PS(Plausibility space)概念 ,探讨了具有非单调特性的条件蕴涵的性质 ,刻画了可以充当非单调后承在对象语言层对应物的条件蕴涵的一般特征 相似文献
13.
14.
15.
空间热环境严重影响航天电子元器件的失效率,针对这一重要可靠性指标的计算问题,提出一种基于模糊逻辑的分析计算方法。该方法分析了温度、应力的大小及温度、形变的相对变化率对失效率的影响,有效解决了从定性分析到定量计算的过渡以及传统数学模型数据缺失等问题。本文研究为航天卫星电子元器件的可靠性分析提供有效的计算基础。 相似文献
16.
悖论的出现与概括原则中的造集的任意性有很大关系。然而,历史上各种排除悖论的方案要么修改概括原则而过多地限制了概括原则的合理内容,要么修改与之配套的逻辑系统而导致失败。近年来,这些问题的研究又取得了新的进展,有必要历史地加以评介,本文从类型论、ZFC公理系统、BG公理系统、多值逻辑系统和中介数学系统五个方面综述逻辑数学悖论之解释方法的研究情况。 相似文献
17.
详细介绍基于在系统可编程逻辑器件的实验仪的设计与实现,并对在系统可编程逻辑器件的设计流程进行论述。 相似文献
18.
n输入n输出可逆逻辑门的级联构成一个群,它与对称群Sτ同构。本文研究了生成Toffoli门集合的可逆逻辑门数的特点,证明了任意置换Sn可以由n-轮换δ和一个置换τ=(ij,ik)生成,同时证明了相邻2一轮换可由至多两个NOT门在不增加额外信息位的情况下生成。最后提出了一个基于上述理论的可逆逻辑门网络级联算法,并通过实例验证了该算法的正确性。 相似文献
19.
有序逻辑程序的语义研究是常识推理的重要研究内容。文中对Dung的辩论框架进行了扩充,针对含有文字序的逻辑程序提出了一种优先辩论框架,加入了对文字之间优先序的处理,进而定义了相应的优先回答集语义和优先扩充语义。证明了文中的优先回答集是Sakama回答集的特例,而优先扩充语义可以处理没有回答集的优先逻辑程序。 相似文献