语言真值直觉模糊逻辑的知识推理

针对格蕴涵代数、直觉模糊集及知识表示、基于语言真值直觉模糊代数的相关性质及运算方法,提出了六元语言真值直觉模糊代数的相关逻辑性质,并在六元语言真值直觉模糊知识表示的基础上,将模糊推理的CRI方法进行扩展,研究得出了六元语言真值直觉模糊推理的方法即6LTV-CRI算法。而后将直觉模糊推理与六元语言真值直觉模糊推理方法进行对比分析,验证了6LTV-CRI推理算法的合理性,并分析了其优缺点。     

基于矩阵初等变换的量子可逆逻辑电路双向综合算法

基于矩阵初等变换,提出了量子可逆逻辑电路双向综合算法。该算法依据两数字间的汉明距离,通过交换矩阵行号或矩阵元素对量子可逆逻辑电路的矩阵进行初等行变换。在变换的过程中,利用邻接矩阵的电路转化规则,生成任意给定置换的量子可逆逻辑电路。与其它同类算法相比,由于不需要穷尽搜索,该算法的时空复杂度有大幅降低;又由于采用任意n量子扩展通用Toffoli门,该算法可综合任一置换(奇或偶置换)的量子可逆逻辑电路,并且电路中门的数量有所减少。     

模糊逻辑在模拟演练系统智能体设计中的应用

根据模拟演练系统对智能体智能程度的要求为模拟演练系统添加模糊推理机,以增加演练系统的逼真程度及适应性. 本文以模糊逻辑理论为基础,以模拟演练系统为背景,对一个具体的应用实例进行数学建模,阐述了如何运用模糊逻辑来解决问题,并设计了模糊逻辑模块,通过应用实例演示验证了设计的可行性.     

SC-1型乙烯裂解炉先进控制系统开发与应用

针对SC-1型乙烯气液相裂解炉控制问题,提出了一种鲁棒性较强的先进控制策略,开发了由“DCS控制层”和“上位机控制层”构成的先进控制系统.该系统有效地解决了燃料热值波动对裂解炉裂解气出口温度的影响,减少了裂解气出口温度和裂解炉总加工量的波动,实现了“卡边”控制及生产过程的安全逻辑保护,优化控制器可一键投运和切除,解决了裂解炉控制问题的复杂性.该系统成功应用于兰州石化46万吨／年乙烯装置,大幅度提高了装置的平稳率,提升了双烯收率,降低了装置能耗.     

大学英语读写课堂教师提问的逻辑性调查分析

教师提问、学生回答是语言课堂中的一个逻辑过程。教师的提的问题和课堂模式具有逻辑艺术,与学生产生思维共振,教与学才能统一。通过对大学英语读、写、译课堂观摩调查结果的分析,提出重视课堂提问的逻辑性,让学习者开动脑筋把注意力从学什么转移到怎样学和怎样思考的问题上,从而提高语言学习者的学习能力、理解能力和表达能力。     

带有不同否定的模糊命题逻辑的形式演绎系统

对于模糊知识及其否定关系,潘正华指出应该明确地分为矛盾否定关系、对立否定关系和中介否定关系,并建立了一种具有矛盾否定、对立否定和中介否定的模糊集FScom（fuzzy sets with contradictory negation, opposite negation and medium negation）,随后建立了一种改进的模糊集IFScom（improved FScom）。为给模糊集FScom及其改进IFScom提供一种逻辑工具,提出了一种带有矛盾否定、对立否定和中介否定的模糊命题逻辑演算系统FPcom,并在给定无穷值语义赋值模型以及可满足性定义下,证明了FPcom具有可靠性和完备性。FPcom在一定意义上可视为对中介命题演算系统的改进。     

Thermodynamic properties of ni nitrides and phase stability in the Ni-N system

The thermodynamics of the Ni-N system is poorly known from experiments, and there is a need of information on the stability of the various nitride phases and the Ni-N phase diagram. This kind of information has been obtained by us, by combining the few measurements available with predictions, based on recently reported regularities in bonding properties and vibrational entropy of 3d transition metal compounds. A calculated Ni-N phase diagram is presented. A certain range of homogeneity for the hexagonal nitride phase is obtained, which is comparable to that of other 3d transition metal-nitrogen systems. The question of the possible existence of a stable Ni₄N phase is examined. According to our results, Ni₄N is metastable in the Ni-N system.     

Monotonic and nonmonotonic gentzen deduction systems for L3-valued propositional logic

A sequent is a pair (Γ, Δ), which is true under an assignment if either some formula in Γ is false, or some formula in Δ is true. In L₃-valued propositional logic, a multisequent is a triple Δ|Θ|Γ, which is true under an assignment if either some formula in Δ has truth-value t, or some formula in Θ has truth-value m, or some formula in Γ has truth-value f. Correspondingly there is a sound and complete Gentzen deduction system G for multisequents which is monotonic. Dually, a comultisequent is a triple Δ : Θ : Γ, which is valid if there is an assignment v in which each formula in Δ has truth-value≠t, each formula in Θ has truth-value≠m, and each formula in Γ has truth-value≠f. Correspondingly there is a sound and complete Gentzen deduction system G⁻ for co-multisequents which is nonmonotonic.     

基于改进双跳无线体域网的身份认证方案

在无线体域网（WBAN）的身份认证中,针对原方案通◢信传感器节点可追踪和不具备匿名性的缺点,提出一种改进双跳身份认证方案,并保留了原方案的高效运算特性。引入了二级节点N的保密密钥和核心节点HN的身份验证参数两个独立的保密参数,并让二级节点N的保密密钥独立。并与原方案保密值组成三个保密值,通过三个保密值来确保◣参数的保密性和新鲜性。安全性分析和BAN逻辑表明所提方案具备不可追踪性和匿名性,且计算成本与原方案相近,通信成本更低,存储成本略有上升。所提方案是原方案的有效改进。