ELNF归约演算

ＥＬＮＦ演算是在ＬＮＦ演算的基础上扩充而成的函数／逻辑归约演算系统，扩充的主要工作包括逻辑变量、谓词名的引进。提出并描述了逻辑函子ＳＯＬＵＴＩＯＮ和ＰＲＯＶＥ及其归约规则。讨论了ＥＬＮＦ演算的基本概念。为表征ＨＯＲＮ子句提供了一种有效方式。     

THE EFFECT OF ZnO ON BURNING OF PORTLAND CEMENT CLLNKER IN RAPID MEATING－UP BURNING

ＴＨＥＥＦＦＥＣＴＯＦＺｎＯＯＮＢＵＲＮＩＮＧＯＦＰＯＲＴＬＡＮＤＣＥＭＥＮＴＣＬＬＮＫＥＲＩＮＲＡＰＩＤＨＥＡＴＩＮＧ－ＵＰＢＵＲＮＩＮＧＸｕＧｕａｎｇｌｉａｎｇＳｏｕｔｈｗｅｓｔＩＮｓｔｉｔｕｔｅｏｆＴｅｃｈｎｏｌｏｇｙＨｕａｎｇＷｅｎｘｉＣｈｅ...     

关于渔船航行安全的探讨

关于渔船航行安全的探讨ＯＮＴＨＥＳＡＦＥＴＹＯＦＦＩＳＨＩＮＧＶＥＳＳＥＬＮＡＶＩＧＡＴＩＯＮ郑奇侃，吴龙斌，朱伟ＺｈｅｎｇＱｉｋａｎＷｕＬｏｎｇｂｉｎｇＺｈｕＷｅｉ（浙江水产学院舟山３１６１０１）（ＺｈｅｊｉａｎｇＦｉｓｈｅｒｉｅｓｃｏｌｌｅｇｅ，...     

一种一致性的不确定性推理模型

将修正了的ＭＹＣＩＮ的可信度因子ＣＦ与ＰＲＯＳＰＥＣＴＯＲ的两种规则的不确定度量充分性和必要性度量ＬＳ,ＬＮ,放在ＢＡＹＥＳ框架下进行综合考虑,建立ＣＦ与ＬＳ,ＬＮ的函数关系,最后用实例说明了此模型的计算方法与主观ＢＡＹＥＳ方法的结果是一致的     

利用WKL－3型可控式消煮炉测定土壤全氮的最佳时间研究

利用ＷＫＬ－３型可控式消煮炉测定土壤全氮的最佳时间研究刘东强，韩志卿，张电学（河北农业技术师范学院农学系，昌黎，０６６６００）ＳＴＵＤＹＯＮＴＨＥＯＰＴＩＭＵＭＴＩＭＥＦＯＲＤＥＴＥＲＭＩＮＩＮＧＴＯＴＡＬＮＩＴＲＯＧＥＮＩＮＳＯＩＬＳＷＩＴＨＴＨＥ...     

S_Ⅱ型高效生物复合肥防治花生根结线虫病效果

Ｓ_Ⅱ型高效生物复合肥防治花生根结线虫病效果白凤鸣，刘云江，张敬国，牛丙友（河北省昌黎县农林局昌黎，０６６６００）ＥＦＦＥＣＴＯＦＳ.ＨＩＧＮＥＦＦＩＣＩＥＮＴＣＯＭＰＯＵＮＤＦＥＲＴＩＬＩＺＥＲＯＮＴＨＥＣＯＮＩＲＯＬＯＦＭＥＬ．ＯＩＤＯＣＹＮＥＰＮ...     

Clifford分析中一类二阶偏微分方程的Dirichlet问题(英文)

ＯＮＤＩＲＩＣＨＬＥＴＰＲＯＢＬＥＭＦＯＲＡＣＬＡＳＳＯＦＳＥＣＯＮＤＯＲＤＥＲＰＡＲＴＩＡＬＤＩＦＦＥＲＥＮＴＩＡＬＥＱＵＡＴＩＯＮＩＮＴＨＥＣＬＩＦＦＯＲＤＡＮＡＬＹＳＩＳ＊ＬｉＳｈｅｎｇｘｕｎＱｉｕＪｉｑｉｎｇＤｅｐａｒｔｍｅｎｔｏｆＦｕｎｄａ...     

基本FFET的试制和性能研究

论述了铁电场效应晶体管（ＦＦＥＴ）的基本工作原理，给出了其设计方案．采用ＳＯＬ－ＧＥＬ法制备了基本的ＭＦＳ－ＦＥＴ和ＭＦＯＳ－ＦＥＴ，对其电性能进行了测试分析．测试结果表明：ＭＦＯＳ结构的ＦＦＥＴ具有极化存储特性．     

MIXED BOUNDARY VALUE PROBLEM FOR SECOND ORDER SYSTEM OF DIFFERENTIAL EQUATIONS OF THE ELLIPTIC TYPE

ＭＩＸＥＤＢＯＵＮＤＡＲＹＶＡＬＵＥＰＲＯＢＬＥＭＦＯＲＳＥＣＯＮＤＯＲＤＥＲＳＹＳＴＥＭＯＦＤＩＦＦＥＲＥＮＴＩＡＬＥＱＵＡＴＩＯＮＳＯＦＴＨＥＥＬＬＩＰＴＩＣＴＹＰＥＣｈｅｎＱｉｎｇｘｉａｎｇ（陈庆祥）（ＺｈｏｎｇｓｈａｎＵｎｉｖｅｒｓｉｔｙ，Ｇ...     

具有可测系数的非线性抛物型方程的初混边值问题(英文)

ＩＮＩＴＩＡＬ┐ＭＩＸＥＤＢＯＵＮＤＡＲＹＶＡＬＵＥＰＲＯＢＬＥＭＦＯＲＮＯＮＬＩＮＥＡＲＰＡＲＡＢＯＬＩＣＥＱＵＡＴＩＯＮＳＷＩＴＨＭＥＡＳＵＲＡＢＬＥＣＯＥＦＦＩＣＩＥＮＴＳ＊ＸｕＫｅｍｉｎｇＦｅｎｇＬｉｂｏＤｅｐａｒｔｍｅｎｔｏｆＦｕｎｄａｍｅ...     

真值表等数理逻辑方法的判定功能

真值表，归谬赋值，真值树，演绎证明和范式等方法是数理逻辑命题演算中重言式的判定（或证明）方法，但不是传统命题逻辑推理式的判定方法。     

Seal演算与Boxed Ambient演算的关系分析

研究不同演算系统之间的逻辑结构和描述能力具有重要的理论意义.本文在系统分析Seal演算与BoxedAmbient演算的语法结构和语义规约系统的基础上给出了一些等价关系:通信等价、通信原语等价和代码移动等价.最后给出了Seal演算通信进程到Boxed Ambient演算通信进程的一种结构化转换方法.     

时序Rough逻辑及其在数据分析中的应用

提出一种时序Rough逻辑,定义了时序算子及其作用于Rough逻辑公式上的意义．描述了这种逻辑的语法和语义．论述了时序Rough逻辑中的语义模型是一个无限状态序列,其中每一状态都描述了当前时刻和场景点上信息系统的信息．从当前状态到下一状态的变换是遵循时序Rough逻辑演算的,它必须保持知识不变,也就是属性和讨论的对象不变,而属性关于对象的特征值,即属性值随着时间和场景变化而可以变化．因此。在信息系统上作决策、数据约简和信息粒化等都将产生影响,由此可见时序Rough逻辑将是动态地处理信息系统的理论工具,也将是合理地解决和处理不一致信息表的较好方法．     

含等词的超表演算

将处理等词问题的Superposition方法引入超表演算中, 使超表演算能处理含等词的一阶逻辑问题, 这种新的表演算不但具有完备性, 而且无需回 溯, 是用表演算完成含等词的一阶逻辑定理机器证明的一种尝试.     

基于分数阶微积分的模糊分数阶控制器研究

在分析分数阶微积分的基础上,提出了一种新型模糊分数阶比例积分微分控制器.分数阶微积分将传统控制器中的积分和微分的阶数扩展到任意实数,为控制器的设计提供了比传统整数阶更好的性能扩展.结合分数阶比例积分微分控制器和模糊控制逻辑,用分数阶比例积分微分单元代替传统的模糊比例积分微分控制器中的比例积分微分单元,构建了模糊分数阶比例积分微分控制器的结构,采用模糊逻辑推理和Tus-tin离散方法实现了模糊分数阶比例积分微分控制器的计算.最后,用数字仿真方法和不同条件下的对比分析验证了新型模糊分数阶比例积分微分控制器的优良控制特性.研究结果表明,设计的新型模糊分数阶比例积分微分控制器对非线性和参数不确定性具有较强的鲁棒性.     

合式公式集的可列性

本文首先从理论上证明了逻辑演算中合式公式的可数性,继而运用Gdel数的技巧,将逻辑演算中的每个符号指派一个数码,得到了合式公式集和自然数集的一个无限子集间的1—1对应关系,从而给出了枚举合式公式集中各元素的过程。     

基于PCL的改进型Helsinki协议的形式化分析

针对改进型的Helsinki协议安全性问题,利用协议组合逻辑PCL对协议进行形式化分析.首先使用基于"Cords演算"的程序描述语言对协议本身进行形式化描述,然后通过协议逻辑描述协议的安全属性,最后给出性质和定理,并通过逻辑推理证明改进型Helsinki协议满足其安全要求,该协议是安全的.     

命题演算的两个直觉主义系统

介绍了一阶命题演算的两个直觉主义系统 :希尔伯特型 (HSI)及自然演绎型 (NDSI) ,并证明了这两个系统的等价性 ,揭示了直觉主义逻辑的内涵及与其他非经典逻辑的关系     

Modeling Trusted Computing

0 IntroductionThe purpose of trusted computingis to solve some of to-day’s security problems through hardware changes topersonal computer . The trusted property can be extendedfromroot of trust to entire PC platformthrough the chain oftrust[1].Root of trustis a small hardware device calledtrustedplatform module (TPM) addedto PC.A well-known project of trusted computing is trustedcomputing platformalliance(TCPA) .It is calledtrusted com-puting group (TCG) now[2 ,3]. Besides this , other…     

弗雷格逻辑思想的来源、内容及面临的困境

弗雷格认为须把逻辑研究从心理主义的影响中解放出来,为了达到这个目的,他确立了算数演算的基本规则,建立了初步自足的命题演算系统和量化理论,提供了现代意义下的数理逻辑体系,这为后世语言哲学的发展奠定了逻辑基础。由于受到社会发展的局限,弗雷格逻辑思想里面也存在一些令人们费解的东西。尝试从逻辑思想渊源、学术内容以及面临的困境三个方面来探讨弗雷格的逻辑思想。