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教学效果之方法的探求

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

Fluoro-Compounds in Electrolytes for Energy Storage Devices

1 Results Electrochemical energy storage devices such as lithium-ion batteries[1-2] and double-layer capacitors[3-4] have attracted a great deal of attention because of their potential application to electric hybrid vehicles. They utilize nonaqueous electrolyte solutions comprising from organic solvents and lithium or quaternary ammonium salts with fluorine-containing anions. This is because the relatively large anions with electron-withdrawing atoms enable ionic dissociation in dipolar aprotic solvents...     

全站仪的使用与维护

阐述了全站仪的基本组成,介绍了在日常工作中全站仪的使用、保管、转运和全站仪电池充放电的注意事项。     

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

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

消弧方法及其新思路

对当前社会普遍流行的两种消弧方法进行分析,提出用可调电抗器来灭弧的新思路。     

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

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