Application of the Constrained Predicated Nets and Interval Logic to Production Systems

1 .INTRODUCTIONDuetotheireconomicsignificanceandclosenesstopersons,productionsystemsmustbemodeledbeforetheirimplementationanduse,thus,amethodwhichspecifies ,analyzesandsynthesizestheproductionsys tems—discreteeventsystems (DES)hasbeenestab lishedanddevelopedstepbystepinrecentyears.DESmethodspecifiestheplantbasedonitsdiscretecharacters,however,intherealworld ,therearefewplantsthatcanbemodeledbypurelydiscretemathe maticalmodelbecausetherearealwayssomecontinu ousparametersforstudyinnearlya…     

非形式逻辑视野下的论证评价理论

论证可分为形式论证(人工语言论证)与非形式论证(自然语言论证)。前者是形式逻辑的研究对象,后者是非形式逻辑的研究对象。我们从几个代表性逻辑学定义出发,分析了非形式逻辑产生的背景,讨论了形式逻辑与非形式逻辑的区别,并从非形式逻辑角度探讨了自然语言论证评价的标准。     

格蕴涵代数与Lukasiewicz逻辑系统

讨论格蕴涵代数与Lukasiewicz逻辑系统的关系，证明了：若(L(n),≤)是一个n元链,θ，I分别为最小、最大元，则以≤为导出关系的格蕴涵代数(L(n），∨，∧，→，′，θ，I)恰有一个，并且与n值Lukasiewicz逻辑系统同构．     

提高PLC教学效果之方法的探求

《可编程控制器》作为一门课程正逐渐被各大学所采纳,本文结合作者多年的教学经验总结了几种常用的教学方法,并加以分析比较。     

层析成像的模糊-神经网络重建方法

考虑投影数据不足时，射线层析成像的离散重建算法难以取得较好效果的情况，利用模糊理论建立了表示物体衰减系数的连续函数，用神经网络学习算法确定该连续函数中的待定参数．提出了一种适于投影数据或投影方向不够时的CT图像重建算法．计算机仿真结果显示了该方法在投影数据严重缺少时的良好效果。     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

应用核磁共振实验实现量子计算的注记

从量子力学的基本原理出发,阐述了利用核磁共振进行量子计算的实验方法,澄清了有关文献中若干容易混淆而又十分重要的概念,并进一步报道CNOT门操作的实验方法和结果.实验结果与理论的预言一致.     

基于J2EE体系结构实现网上购物系统

J2 EE体系结构采用组件的思想 ,将业务逻辑层从客户、服务器端独立出来 ,从而带来开发、使用和维护的便利 .在分析的基础上 ,给出了一个网上购物系统的设计模型和实现方法 .     

逻辑学语境下的科学实用主义

作为实用主义的鼻祖,皮尔士首先和主要是一位逻辑学家.他的实用主义从根本上讲是一种逻辑学说,要求从逻辑学理论上对其进行解读.审视科学实用主义同逻辑学的内在的、历史的联系及其形而上的蕴含,可以更清晰地认识实用主义理论的本真意义.     

思维逻辑转换与翻译

翻译和思维逻辑有极其紧密的联系。逻辑活动贯穿于翻译过程的始终。在翻译过程中,译者需要在原语和译 语间进行思维逻辑的转换。从三个层面上阐述了逻辑转换在翻译中的作用:逻辑对确定词义的作用、逻辑对确定译语 句子表达的作用和逻辑对从篇章结构角度检验译文的正误的作用。