超协调元

该文提出一类超协调的单元理论。不同于在普通协调元中采用的线位移协调插值格式,超协调元的单元插值函数首先引入转角自由度等线位移导数的高阶协调假设,并通过积分推导,进而获得超协调的线位移模型。基于超协调元理论,该文构造了一类新型的三结点三角形平板壳元SCT。数值算例表明:与其他类型单元相比,基于超协调元理论的单元具有计算精度高和计算效率好的优势。该文所提出单元理论构造简单,超协调元理论可以成为构造高性能数值算法的一种新的通用理论。

超协调逻辑(Ⅲ)——超协调性的逻辑基础

这是关于超协调逻辑研究的第三篇,文中将给出一种优先语义作为超协调性的模型论基础,并给出一种表演算系统作为超协调性的证明论基础,这种优先语义和表演算系统,不仅可以包括各种超协调逻辑,而且能够导出新的超协调逻辑,在一定意义上,是超协调逻辑的统一基础,容易统一地刻画非单调性。

超协调思维方法在基层公安机关社会矛盾化解中的应用

社会矛盾化解是新时期基层公安机关三项重点工作之一,是需要讲究智慧和方法的。社会矛盾化解的方法很多,超协调思维方法就是一种颇具创新和有显著效果的方法。在化解社会矛盾的实际过程中,民警可以采用诸如寻找超协调点法、搁置矛盾法和超越矛盾法等具体操作方法来化解社会矛盾,构建和谐社会。

超协调逻辑(Ⅰ)——传统超协调逻辑研究

这是一个关于超协调逻辑研究系列的首篇,本文中,我们首先说明超协调逻辑的基本概念及其发展背景,根据对超协调性的分析我们把超协调逻辑分成三类。然后,我们介绍并剖析这三类传统的超协调逻辑的基本结果,指出它们各自的优缺点、存在的问题以及相互关系,并特别地研究了几种传统超协调逻辑与非单调逻辑的关系.

超协调逻辑(Ⅱ)——新超协调逻辑研究

这是关于超协调逻辑研究的第二篇。文中,基于对超协调逻辑应具有的一定共性的理解,给出一个超协调逻辑的新定义,并给出在应用研究中提出的三类有代表性的新超协调逻辑,由于它们满足共同的逻辑性质,从而有一定的关系,特别是,它们与非单调逻辑密切有关,因此进一步提出一种相对于超协调性的超完全逻辑的定义与结果。

超协调逻辑(Ⅳ)——非单调超协调逻辑研究

这是关于超协调逻辑研究的末篇,文中分析了超协调逻辑与非单调逻辑的关系,并提出非单调超协调逻辑作为一种新的逻辑研究及其在形式化常识推理中的重要意义。最后,讨论了超协调逻辑的应用,特别是非单调超协调逻辑在计算机科学与人工智能中的应用问题。

非周期TBox框架下的推理——拟经典描述逻辑与超协调表演算(英文)

源自当今互联网的语义网研究的目的是定义信息语义和网络服务,因此需要赋予网络智能以便能够自动对网络内容进行推理。各种描述逻辑(DLs)在语义网的研究中扮演着重要角色,构成了W3C推荐的网络本体语言(OWL)的基础,而OWL源于为达到语义网目标的人工智能(AI)本体论研究。语义网的知识和数据量巨大、分散、来源众多且因此通常不具有协调性。因此,必须开发针对非协调本体的实用的推理技术。该文基于Hunter的拟经典逻辑(QCL),构造了新型超协调拟经典描述逻辑(QCDLs),避免了逻辑爆炸问题,同时,针对基于非周期TBox的知识库推理问题,建立了QCDLs语义表演算,进而定义了一种可靠、完备且可判定的推理关系,从而构建了完整的语义网推理框架。与其他重要的超协调描述逻辑进行了比较,结果表明QCDLs具有更强的表达语义和推理能力,并且其相关行为在目标层次上表现出经典性。

超协调限制逻辑

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

S型超协调逻辑中的一项重大研究突破——评张金成《逻辑及数学演算中的不动项与不可判定命题》

1一个“平凡人”的不平凡贡献 1）“S型超协调逻辑”是我国学者张金成自创的一种逻辑，与它最接近的系统有巴西的“次协调逻辑”、美国的“不协调逻辑”和澳大利亚的“R型超协调逻辑”，不同的是他们都是通过直接约束矛盾律的有效使用范围来包含“无害矛盾”，而张金成是在坚持排斥“逻辑矛盾”的同时，直接把“辩证矛盾”作为逻辑系统的研究对象，其“数理辩证逻辑”的指向更加明确。张金成的论文《逻辑及数学演算中的不动项与不可判定命题》（以下简称为《张文》）是在S型超协调逻辑基础上的一项重大研究突破，取得了一系列开创性成果，颠覆了现代数学中许多业已被公认的片面结论。然而，这些开创性研究成果只有在“开放论域”环境中解读，才能显示其存在的意义和思想光芒。如果硬要把它们拉回到“封闭论域”环境中去解读，所有存在的意义和思想光芒必将全部被湮灭，这是由于2种不同逻辑理论的立论基础和研究范畴所决定的，无法避免。

基于超协调逻辑处理含有非协调信息的系统规约

随着计算机系统规模和复杂度的增长,在软件工程的各个阶段,开发者不得不面对包含大量非协调信息的各种类型的系统规约。由于平凡推理的问题,基于经典逻辑的方法不能用于分析含有非协调信息的系统规约。在简单介绍超协调逻辑的基础上,引进一种超协调时序逻辑,它用于描述计算机系统的时序性质,并且能用于处理含有非协调信息的系统规约。

一种基于符号变换的描述逻辑ALC超协调推理算法

语义万维网作为一个开放、不断更新而且相互协作的环境,经常会包含一些不协调的或不精确的信息。众所周知,描述逻辑是语义万维网重要的逻辑基础,然而描述逻辑缺乏处理不协调或不完全信息的能力。近来一些超协调方案通过限制或阻止使用一些推理规则来避免推理的平凡化,从而容忍本体中出现的不协调。因为这些方法限制了描述逻辑系统的推理能力,所以推理能力弱于经典的描述逻辑推理能力,即使在处理协调的本体时。提出一种基于符号变换的具有强推理能力的超协调推理算法。证明了该算法是可判定的,而且在处理协调的本体时该推理系统与经典逻辑系统具有相等的推理能力。

论辩证逻辑的形式系统Z与ZT的超协调性

本文先着重从超越世界的语义学角度,讨论辩证逻辑形式系统Z的超协调性。进而在系统Z的基础上建立一个句法上扩展的超协调系统ZT。在系统ZT内进一步阐明辩证否定的逻辑性质。

从类型论到超协调逻辑

悖论源远流长,从古希腊时代的说谎者悖论算起,已有两千多年的历史。为了给悖论以合理的回答,维护科学理论的严密性、一致性,许多哲学家和逻辑学家致力于悖论问题的解决,本文试图以几位有代表性的逻辑学家提出的悖论的解决方案为线索,从悖论研究的角度展示人类思维方式的发展变化,并对他们研究价值等方面作一些探讨。

中国传统思想的超协调性质

中国传统思想主流具有超协调性,最突出地体现在中国文化的活水源头《易经》中。《易经》通过阴爻和阳爻这对矛盾的重叠或并置来展开理论体系,具有严密的逻辑性和辩证法精神。中国传统思想主张容纳矛盾,倡导和谐共存共荣,是超协调逻辑的重要思想宝库,具有重要的现代价值。

超协调逻辑的统一基础

本文首先基于对超协调性的分析给出一个超协调逻辑的分类,并提出一个超协调逻辑的新定义,由此容易看出各种超协调逻辑存在一定的共性;然后,从一种统一的观点研究超协调逻辑基础,提出一种优先语义作为超协调性的模型论基础,并提出一个表演算系统作为超协调性的证明论基础,它们包括很多超协调逻辑作为特殊形式,并且容易导出新的超协凋逻辑系统,进一步,它们也能作为非单调逻辑的统一基础,使得超协调逻辑与非单调逻辑结合在同一逻辑框架中。

弹性力学有限元分析中的平衡与协调理论

有限元分析中的单元可以遵循不同的方法构造,该文提出以单元模型的平衡性与协调性进行分类,并对弹性力学平面问题中的几种经典单元进行了分析比较,总结了协调元、非协调元和超协调元的协调性方法,以及基于解析试函数法的平衡型方法。单元的协调性理论思路包含单纯形格式协调元和非单纯形格式协调元,以及相应的非协调和超协调元格式,关注的重点是单元边界的协调。单元的平衡性理论思路包含解析试函数和权函数的高阶完备性,关注的重点研究是单元内部及边界平衡性。研究表明:针对弹性力学中平衡性和协调性要求,两类理论给出的不同单元格式各具特点,而既能保证单元内部平衡性,又能考虑单元界面协调性的单元类型给出了更精确、合理的计算结果。

表面喷熔层超塑性变形强化及其协调变形条件

采用超塑性变形强化的新工艺对模具钢 3Cr2 W8V的 Ni60喷熔层进行了研究 .通过试验得到了 3Cr2 W8V基体和 Ni60热喷熔层间实现超塑性协调变形的工艺参数 ,并研究了异材间的超塑性协调变形条件 ,建立了超塑性协调变形的力学模型 .对喷熔层的表面性能试验结果表明 ,超塑性变形工艺对喷熔层具有明显的强化作用 ,经超塑性变形处理的喷熔层其摩擦磨损、多次冲击和热疲劳性能均得到了显著提高 .

浅析350MW超临界发电机组协调控制系统的控制策略

本文以某电厂超临界燃煤机组为例,对其锅炉主控制系统与汽轮发电机主控制系统的控制策略展开了详尽的探讨与分析。

不协调知识的缺省推理(英文)

提出了一个新的缺省推理理论,称为双缺省理论,使得缺省逻辑在四值语义下能够同时处理不协调的知识而不导致扩张的平凡性.为此,定义了命题公式的正变换和负变换,以便分离一个文字与其否定的语义联系.大多数关于缺省逻辑的定理都可以在双缺省逻辑下重建,证明了双缺省逻辑是缺省逻辑在不协调情形下的一般化.提供了一种方法使得超协调逻辑能够获得类似经典逻辑的推理能力.