模糊命题演算系统的一个新的等价形式

在模糊逻辑系统L~*中,P∧Q是﹁(﹁P∨﹁Q)的简写,连接词∧与连接词﹁,∨,→的关系应由L~*中的公理体系决定。本文通过在L~*中增加适当公理使得连接词∧与﹁,∨,→具备所需的特殊关系,得到的主要结论是:在L~*中增加公理L~*9_b:(((A→C)∨(B→C))→(A∧B→C)),同时放弃约定P∧Q是﹁(﹁P∨﹁Q)的简写,所得的系统L_0~*与L~*等价。     

格值命题逻辑系统LP(X)的α-超归结原理

本文提出了格值命题逻辑系统LP(X)上的α-超归结原理,并证明了其可靠性和完备性。     

四种命题逻辑中公式的相对Γ-重言度理论

基于广义重言式理论,在四种重要的命题逻辑系统Lukasiewicz系统,L*系统,Godel系统和Π系统中,引入了公式的相对Γ-重言度概念,给出了相对Γ-重言度的若干性质。利用公式的相对Γ-重言度,定义了公式间的Γ-相似度,进而导出了命题集F(S)上的一种伪距离。最后讨论了命题集F(S)上统一的近似推理理论,得到了三种类型的近似推理模式之间的内在联系。     

真空中光速的精密测量（一）——长度单位米定义的基础

基本物理常数（以下简称＂基本常数＂）是指自然界中一些普遍适用的常数,它们不受时间、地点或环境条件的影响而变化。纵观近代物理学史,基本常数的发现和精密测量,对物理学理论的建立和发展起到了重要的作用。20世纪下半叶以来,基本常数对计量学也产生了深刻的影响,由于它具有极高的恒定性,计量学家认定它可用于复现计量的基本单位或重要的导出单位,因而对基本常数的精密测量成为计量学的重要基础研究之一。1983年,用真空中光速实现了长度单位米的重新定义,就是一个明证。进入21世纪后,计量学家提出了用基本常数重新定义全部7个基本单位的建议,得到了国际计量委员会及各国计量研究部门的支持和响应,并在实验中取得了很大的成绩。本系列文章将简明介绍与定义计量基本单位密切相关的几个基本常数的精密测量的历史情况及其近期进展。     

生隐世桃源中重新定义旅途 重书旅途的小型酒店

在～次西班牙之行中,有意安排了前往帕拉西奥德洛斯帕托斯（Palaci6delosParos）酒店的行程,即使对其心慕已久,亦未如现场之惊艳。这间位于格拉纳达（Granada）天主教区t]gii~店,改造自一座建于19世纪的宫殿,玫瑰窗的欧陆山花下面,是精雕细刻的黑色阿拉伯门廊,酒店前厅保留的白色大理石拼花纹理地坪和Flos石英灯映射下的烫金木雕梁栋透露着建筑辉煌的往昔和宅邸主人的唯美情结。穿过八角形中庭楼梯,抵达三层的客房区,以白色大理石砌成,彩绘的天花板和木屋架构丰富了空间形式。客房室内保留了建筑原有的内饰面,且以白色钢琴烤漆长椅、烫银床头柜和深紫色移门柜相映成趣。     

计量科学在创新中不断发展——用基本物理常数定义计量单位是国际发展的新方向

在国际计量单位制（SI）的发展中,经历了实物基准和自然基准两个发展阶段。目前,自然基准（量子基准）发展很快,在七个基本物理量中,除了物质单位＂摩尔＂（国际上未建立基准外）、质量＂千克＂（公斤）是实物基准外,其它如长度＂米＂、     

JJF 1059—1999《测量不确定度评定与表示》讨论之四十一 JJF 1001—2011《通用计量术语及定义》实施后应注意的若干问题

JJF 1001—2011《通用计量术语及定义》于去年11月30日发布,今年3月1日实施（以下简称新JJF1001）,而JJF 1059新修订的JJF 1059.1及JJF 1059.2尚未发布。本文就这一期间应注意的问题,分成四方面与同仁讨论如下：1与不确定度有关的新词目1.1仪器的测量不确定度（instrumental measurement uncertainty）     

基于案例的产品设计系统中程序型知识检索研究及实现

基于Internet的计算机辅助工业设计系统,基于案例的计算机辅助工业设计系统研究基础上,结合Case-based Reasoning CBR技术,采用语义隶属度分析的方法,提出了基于设计问题的程序型知识获取模型以及基于相似度计算的程序型知识检索算法,为计算机辅助工业设计提供了一个新的思维方式,并在CBID系统构建中得到实践与验证.     

L*系统中L*10的特点及应用

对模糊命题演算的形式演绎系统中的公理L10：(A→B)V((A→B)→A∨B)进行了较为深刻的研究,一方面应用L10讨论了￡~*系统与Lukasiewicz系统,Godel系统的相互独立性,说明L10是￡~*系统区别于其它模糊命题演算的形式演译系统的特征标志,另一方面应用L10证明了￡~*系统中的条件演绎定理,给出了L10在￡~*中的一个重要应用。     

Lukasiewicz命题集的发散性与相容性

在Lukasiewicz命题逻辑系统中研究了一组公式的全发散性，明确了相容公式集可以是全发散的。得到了公式集不相容的充要条件。给出了发散度单调下降收敛于0的公式序列。     

模糊逻辑中的自然演绎系统

讨论了经典逻辑的自然演绎系统在模糊逻辑中的对应形式。基于著名的形式演绎系统L*，建立起对应的自然演绎系统L*nd，并且证明了这个系统的完备性。由于一系列新的推理规则的引入，模糊逻辑的推理能力得到明显增强。     

修正的Kleene系统中的一种降级算法及其性质

通过对模糊命题演算的形式演绎系统L^*及修正的Kleene逻辑系统^-W,W,Wκ的研究,给出了修正的Kleene系统中广义矛盾式之间的一种降级算法并讨论了它的性质和应用,最后在广义矛盾式理论中讨论了,广义语义HS规则和广义语义MP规则,为进一步对修证的Kleene逻辑系统的研究提供一个有益的工具。     

Gdel逻辑系统中广义语义HS规划和广义语义MP规则

将修正的Kleene逻辑系统中语义MP规则和语义HS规则推广后应用于G¨odel逻辑系统中,讨论了G¨odel逻辑系统中广义重言式理论的语义([α]-MP)规则,语义([α]-HS)规则,语义([α+]-MP)规则,语义([α+]-HS)规则的性质,使得对G¨odel系统中的广义重言式有了更进一步的认识,为G¨odel逻辑系统的应用和研究提供一个有益的工具。     

An approach of fuzzy logic evaluation and control in SPC

Quality control plays an important part in most industrial systems. Its role in providing relevant and timely data to management for decision‐making purposes is vital. A method that uses statistical techniques to monitor and control product quality is called statistical process control (SPC), where control charts are test tools frequently used for monitoring the manufacturing process. Engineers or managers can evaluate an abnormal process by using SPC zone rules in control charts. In the conventional use of the zone rules the user is only able to determine whether or not the process is out of control. What action should be taken to adjust the process is uncertain and is evaluated based on knowledge of the system and past experiences. This paper explores the integration of fuzzy logic and control charts to create and design a fuzzy–SPC evaluation and control (FSEC) method based on the application of fuzzy logic to the SPC zone rules. A simulation program implementing FSEC was written in Borland C++ 5.0 and simulation results were obtained and analysed. The abnormal processes simulated were automatically adjusted for each of the zone rules tested and showed an improved performance after the control action, thus confirming the merit of the technique as a special method with the specific numerical control action based on a quality evaluation criterion. Copyright © 2000 John Wiley & Sons, Ltd.     

PLC在水蓄冷空调控制系统中的应用分析

介绍了水蓄冷系统的运行控制模式,采用合理的控制方式和控制策略,以最大限度的实现系统可靠、安全、节能、全自动运行。     

变速磁流变半主动悬架车辆与随机路面系统的模糊振动控制

建立半主动悬架车辆和随机路面系统模型,在采用磁流变减振器的基础上,应用模糊逻辑控制理论,进行车辆半主动悬架模糊控制器的设计,获得在模糊控制理论下可调阻尼力随时间变化的关系,应用simulink编制车路模型的仿真程序,研究在模糊控制算法下的匀变速行驶车辆路面系统平顺性问题。计算结果表明,与被动悬架的车辆相比,模糊控制的磁流变半主动悬架车辆可以改善行驶平顺性,同时还可减少车对路面的作用力,这对于车路系统是有利的,对于深入分析路面结构动力响应也具有重要的参考价值。     

Fast Fault Tree Analysis for Hybrid Uncertainties Using Stochastic Logic Implemented on Field‐Programmable Gate Arrays: An Application in Quantitative Assessment and mitigation of Welding Defects Risk

This paper presents a stochastic logic‐based method for quantitative risk assessment using fault tree analysis (FTA) that can take into account both types of uncertainties including objective and subjective uncertainties. In the proposed method, each fault tree gate is translated to its corresponding stochastic logic template and then is implemented on a field programmable gate array (FPGA). Because the analysis does not utilize any transformation methods, the results of analysis are more accurate than those methods which are based on transformation from possibility to probability distributions or vice versa. Experimental results for a benchmark fault tree show that this method accelerates analysis time compared to conventional hybrid uncertainty analysis method and transformation methods. The efficiency of the proposed method is demonstrated by implementation in a real steel structure project. The quantitative risk assessment is performed for the incomplete penetration as one of the defects encountered in arc welding process, and its results are compared with transformation methods. The comparison results show the proposed hybrid uncertainty analysis method is also more accurate in comparison to the transformation‐based approaches. Copyright © 2016 John Wiley & Sons, Ltd.