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

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

模糊粗糙逻辑语义及其推理

主要从粗糙集、模糊集、逻辑学等三个方面来定义模糊粗糙逻辑的概念,给出了带逻辑符号＂┑,∧,∨,→,＂的模糊粗糙逻辑的真值区间的运算。并分别从＂→,┑,∧,∨＂四个逻辑运算符研究了模糊粗糙逻辑的语义推理。     

全局性模态词与基本模态语言的扩充

模态语言是讨论关系结构的一种简洁的语言。基本模态语言是仅有一个模态算子◇的模态语言,用ML（◇）表示此语言,但基本模态语言对框架关系的表达力并不是完全的,加入新的模态算子是增强模态语言表达力的方法之一。在基本模态语言ML（◇）基础上增加全局性模态词“E”得到ML（◇,E）语言,这种更丰富的语言对关系模型和关系框架的表达力明显强于基本模态语言。     

商务智能、归纳逻辑与统计学的关联研究

商务智能是提高企业竞争能力的一种建设方案,其主要技术包括数据仓库、数据挖掘和联机分析等。举例说明了商务智能技术在客户关系管理中的应用。对案例的分析表明,商务智能技术的基础是统计学和归纳逻辑。作为传统哲学分支的归纳逻辑学,以现代统计学作为中介,在经济学领域的商务智能中找到了应用。深入探讨这三个截然不同的学科之间的密切关系,不仅将有助于商务智能及其应用开发的研究,从而推动我国经济和社会的发展,而且也会给统计学和归纳逻辑学理论的研究带来深远的影响。     

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

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

基于OBDD的Iteration-free CPDL判定算法

命题动态逻辑是一种应用模态逻辑,用于程序行为的推理.Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑.对于给定的Iteration-free CPDL公式集,方法是应用NCNF变换和FLAT规则对其进行预处理,并对公式集重构模型,然后将其转化为布尔函数,并利用OBDD来表示,从而调用已有...     

时滞不稳定系统的模糊设定值加权PID控制

针对时滞不稳定系统,提出了一种基于模糊逻辑的设定值加权PID控制方法。采用以设定值跟随误差和误差变化为输入的二维模糊逻辑控制器来在线实时调整加权参数值,使系统获得更好的目标值跟踪特性。仿真实验结果表明这种方法具有较好的动态性能指标。     

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

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

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逻辑表明所提方案具备不可追踪性和匿名性,且计算成本与原方案相近,通信成本更低,存储成本略有上升。所提方案是原方案的有效改进。