超协调限制逻辑

本文给出了一阶超协调限制逻辑ＬＰｃ的定义，并证明了它与悖论逻辑（ＬＰ与ＬＰｍ）和限制逻辑（ＣＩＲＣ）的关系，ＬＰｃ作为一种非单调超协调逻辑具有非单调逻辑和超协调逻辑的优点，而且能解决非单调逻辑和超协调逻辑存在的问题，它可作为在不完全与不协调知识下常识推理的形式化，因此它在知识表示中具有广泛的应用．

二值命题逻辑中限制逻辑等价关系及其应用

给出了(F(S),ρ)中公式的一种逻辑等价分解,利用这种逻辑等价分解讨论公式的真度、伪距离和相似度的计算问题,并且引入了(F(S′),ρ)中公式的限制逻辑等价概念,建立了一种等价关系.作为限制逻辑等价关系的应用,得到了(F(S),ρ)中基于真度的τ(A→X)=α型逻辑方程的解集,利用限制逻辑等价关系进行的一种相等"直径"的子集划分结果,为二值命题逻辑系统的逻辑推理和程度化的进一步研究提供了方法.

超协调限制逻辑的计算复杂性分析

超协调限制逻辑ＬＰｃ是一种同时具有非单调性和超协调性的非经典逻辑，它可作为在不完全与不协调知识下常识推理的形式化．给出了命题ＬＰｃ的计算复杂性结果和算法实现，指出ＬＰｃ是ＮＰ完全问题，并给出了将ＬＰｃ转化为等价的优先限制逻辑的线性时间算法，由于限制逻辑具有实用的实现算法且可用归结方法实现，因而该算法为ＬＰｃ的实现提供了新的途径．

试论DEB协调控制指令限制逻辑的重要性

本文从DEB协调控制系统中锅炉主指令信号运算原理入手,对实际运行中影响信号安全运行的主要因素和指令运算限制逻辑的设计情况展开分析,阐述提高指令可靠性的改进对策和加强指令限制逻辑的调试、维护、管理的重要性。

非确定性限制逻辑及其在计算复杂度中的应用

过去几十年,有许多组合谜题的计算复杂度被确定了。本文介绍了非确定性限制逻辑,并用归约为非确定性限制逻辑的方法,证明了一种类似于推箱子的种豆游戏的计算复杂度为多项式空间完全的。

开放逻辑及其与限制逻辑的关系

基于模型论定义开放逻辑作为一种进程非单调逻辑 ,给出一些开放逻辑的新概念和结果 ,研究了开放逻辑与限制逻辑之间的相互关系 。

DEB协调控制指令限制逻辑的探讨

ＤＥＢ协调控制系统中，锅炉热量信号和锅炉指令信号是２个关键信号。通过对锅炉热量信号的实现及影响因素的分析和锅炉指令运算限制逻辑的设计，找到目前运算控制逻辑调试中和应用时存在的问题。因此，加强锅炉指令限制逻辑的调试、维护、管理对机组的安全、稳定运行是非常重要的。

知名学者何以成了“文选”——谈概括与限制逻辑方法的运用

一副对联这样写道: 风声、雨声、读书声、声声入耳, 家事、国事、天下事、事事关心。读者可曾想到,这副对联的写成竟然用了逻辑中的概括的逻辑方法. 某报刊登的一篇自传性的文章里,在谈及作者本人的经历时,感触颇深地写道: 做人难,做女人更难,做名女人尤其难,做单身的名女人难上难. 读者也可曾想到:作者陈述自己的亲身感受时,用的竟是逻辑上的限制的逻辑方法. 概括,从逻辑上说,就是通过减少内涵扩大外延。

语词限制与逻辑限制

传统的观点只承认普遍概念的逻辑限制，而拒绝甚或排斥单独概念的逻辑限制。本文试图对概念的逻辑限制作出新的解释，进而探讨单独概念的逻辑限制问题。

复合限制

限制是一种基于极小化模型的非单调逻辑,本文首先提出一种相对限制形式——基于极大化模型的限制,继而给出结合极小与极大化模型的复合限制形式,并进一步讨论它们在形式化机器学习中归纳推理的应用.

概念限制的语言形式分析

表达逻辑限制的语言形式,一般形式逻辑教科书上只介绍增加定语法、直接替换法两种,似乎都认为,概念的逻辑限制,其语言表达的形式只有对词语本身的改造和替换这两种形式,这是很不符合语言运用的实际的。实际上,概念的逻辑限制,其语言表达形式既在词、短语、和句子等不同层面表现出丰富性和复杂性,也在同一种语言结构形式,如定中结构中表现出丰富性和复杂性。我们在分析此类问题时,必须充分注意跟概念的逻辑限制相关的因素。

试析夸张辞格的逻辑支点

本文运用模态逻辑中的“可能世界”理论，对夸张做了有理有据的逻辑剖析，给夸张这一变异辞格找到了逻辑支点，并给人们构置夸张提供了可操作的“超过现实世界之实，不越过可能世界之度”的逻辑方法。

限制的语言表达形式及其与修饰的区别

限制的语言表达形式有三种:概念加限制词;不加限制词,属概念直接过渡到种概念;通过语境进行限制。概念的逻辑限制与语词的修饰从外延上看,二者是交叉关系,其中非限制性的修饰和定语性限制区别在于:非限制性的语词修饰,其修饰词不能缩小被修饰的语词所表达的概念的外延,定语性限制中的限制词即定语一定能缩小概念的外延;定语性限制的定语有区别性,非限制性修饰中的修饰词一般没有区别性,或者说修饰词的区别性不同于限制词的区别功能。

基于确定性规则的混合动力型高速单轨吊控制策略

单轨吊作为煤矿井下辅助运输系统的重要设备形式之一,其运行速度普遍较低(满载<2 m/s),且传统防爆柴油机或防爆蓄电池单一动力形式均难以满足单轨吊动力性能与环保需求。为提高单轨吊驱动性能并实现绿色矿山目标,在传统单轨吊结构基础上提出了一种新型分布式混合动力驱动系统,基于确定性规则建立其控制策略并进行建模和仿真试验。首先,结合单轨吊结构的多段性,在不同驱动端设置不同动力源,采用分布式架构作为高速单轨吊混合动力架构形式,并制定该架构下不同的工作模式,确定不同模式下的能量流向;其次,为了提高单轨吊动力性能以及改善防爆柴油机工作区间,根据常规工况制定工作模式切换逻辑策略与转矩分配策略,在此基础上设计了基于逻辑门限值的确定性规则控制策略并利用Matlab搭建整体切换逻辑仿真策略;然后,根据高速单轨吊的实际行驶情况,建立小坡度重载、小坡度轻载、大坡度轻载3种整机循环工况;最后,将控制策略导入AMESim仿真软件,对所搭建的高速单轨吊整机物理模型进行联合仿真。仿真结果表明,基于确定性规则的控制策略能够使防爆柴油机和防爆电动机的工作点均处于高效区间,并使单轨吊整机具有较好的速度跟随性;在小坡度重载工况下,电池组荷电状态(SOC)值消耗量仅为17.6%,满载最大运行速度达到了3.01 m/s,CO、HC、NO^(x)尾气排放量相比传统单轨吊分别降低了67.3%、36.4%、49.4%和13.1%;在大坡度轻载工况下,电池组SOC值消耗量仅为13.1%,满载最大运行速度达到了2.29 m/s,CO、HC、NO^(x)尾气排放量相比传统单轨吊分别降低了70.2%、58.1%、41.7%。研究结果对于提高煤矿井下单轨吊运输效率、降低尾气排放具有理论意义和实用价值。

Reasoning complexity for extended fuzzy description logic with qualifying number restriction

To solve the extended fuzzy description logic with qualifying number restriction （EFALCQ） reasoning problems, EFALCQ is discretely simulated by description logic with qualifying number restriction （ALCQ）, and ALCQ reasoning results are reused to prove the complexity of EFALCQ reasoning problems. The ALCQ simulation method for the consistency of EFALCQ is proposed. This method reduces EFALCQ satisfiability into EFALCQ consistency, and uses EFALCQ satisfiability to discretely simulate EFALCQ satdomain. It is proved that the reasoning complexity for EFALCQ satisfiability, consistency and sat-domain is PSPACE-complete.

路由器封堵上的漏洞

对于黑客来说,利用路由器的漏洞发起攻击通常是一件比较容易的事情。保护路由器安全需要网管员在配置和管理路由器过程中采取相应的安全措施。

动态转换翻译技巧

动态转换翻译技巧阎德胜一人类的思维是共同的。但是，不同民族的思维方式与思维角度不同，导致不同民族语言的差异性。因此，两个民族语言的翻译活动，从本质上讲是两个民族的思维活动；从形式上看是两种语言的动态转换。这里，译者分析理解原文、研究组织译文，最为重要...

人工智能中的逻辑问题

近年来,由于人工智能(以及其他学科)的需要,逻辑学的对象、方法、意义都有了许多新的发展。本文拟就这方面的情况做一番分析与介绍,供读者参考。 §1 限制逻辑 限制逻辑是一种容错逻辑。 人们对于容错逻辑的关注由来已久。然而容错逻辑不等于不合逻辑的胡思乱想。

关于明耀热电厂用电安全运行的几点认识

一、引言宁波明耀环保热电一期工程三台30MW汽轮发电机组,电压等级为110kV、35kV、10kV、0. 4kV四个等级,发电机组采用单元式接线方式,主变接线组别:YN,d11,电压比:117kV/10.5kv,110kv母线经白明1331#线与白石变电所联络,