查询词典 logic of relation

This is a criticism of the main point and the way of argument in Concept of Logic by Wang Lu. Wang's main point (the only object of logic is necessary inference and the nature of logic is necessity) failed completely to meet with the historical facts of the brith and development of the science of logic.

本文是对王路《逻辑的观念》一书基本观点(逻辑的对象仅仅是必然性推理，逻辑的内在机制是必然地得出)及其论证手法的批评：该书的基本观点完全不符合古今中外逻辑科学产生和发展的历史事实，其论证手法是&偷换和歪曲&。

Comparing withHayek's theory on society method, I believe constitution litigationmechanism must considering the following conclusion in modelingconstitutional method: first, the acquiring of constitutional method isusually effects system vicissitudes. Although constitutional arbitramentcan form definite constitutional method, it can't achieve perduringsubstantial results level of method; secondly, constitutional method isformed virtually by the mixture of two kind of potence, and one is socialpotence, the other is governmental potence. The constitutional method'srationality in logic structure rests directly with the wrestling process ofconstitutional logic and social process. Constitutional method is more akind of simulative conformation of natural logic and social logic, itforms by the wrestling of government, public, legislature andconstitution judging organ. Fourthly, the maintenance of constitutionalmethod depends on the inner power sustained by faith and exteriorpower coming from the background of compulsion. Fifthly,constitutional method itself is a dynamic structure, and it's realizingquomodo and vindicating means is being in vicissitude, however, it canonly provide condition and inspiritment.

对照哈耶克的社会秩序理论，笔者认为，宪法诉讼机制在型构宪政秩序时必然要照顾到以下结论：其一，宪政秩序的取得，往往是一个制度自然变迁的结果，宪法裁决虽然也可能在短期内形成一定的宪法秩序，不过却无法强行地达到一个较大范围内持久的秩序实效水准；其二，宪政秩序实际上是由两种力量交合而成的，一是社会力量，一是政府力量，宪政秩序的逻辑结构的合理性直接取决于宪法逻辑和社会逻辑之间的博弈过程；其三，宪政秩序更多的是一种对自然逻辑和社会逻辑的模拟形态，是经由政府、公众、立法机关与宪法裁判机构的合作博弈而形成的，宪法诉讼的功用至多在于提供博弈规则，以实现纳什均衡；其四，宪政秩序的维护主要依靠来自信念支持的内部力量与来自强制背景的外部力量；其五，宪政秩序本身是一个动态的、常新的结构，其实现方式与维护手段也处于不断变迁之中，但无论如何，宪法诉讼机制所能提供的只是制约与激励两种。

He made a comparative analysis on Chinese nominalistic logic with Western Aristotles logic and Indian classical logic, and revealed the main content of logic of Moism, including basic concept, principle of inference, induction ect.

本文拟从以下几个方面对梁启超的逻辑——方法论思想进行分析评述： 1、梁启超取得逻辑——方法论研究成就的历史条件：①清代诸子学的考证训诂成果使《墨子》一书稍可读通；②西学输入促进了梁启超对中国古典逻辑的研究；③研究墨学和科学的逻辑方法，为宣传维新变法思想提供方法论武器；④梁启超对墨子及墨家学说的主观偏爱。

They are: the achievements of textual research and exegesis of Zhu Zi Xue in Qing Dynasty; the promoting effect of the introducing Western theories that took on the research of Chinese classical logic; taking the doctrine of Moism and scientific logic method as a methodological weapon for propagating reformist thought and Liang Qichao"s favor to Mo Zi and theory of Moism.The second part is about Liang Qichao"s achievements of logic and methodology: he analyzed induction and deduction, and thoroughly analyzed induction in particular, and his thought about those was mainly correct; he analyzed comparison as a component of induction and discussed the cognitive function of comparison, he also explained how to use comparison in the research of history; he not only explicated the thinking process of analytical method and synthetic method, but also integrated the two methods with studying history and reading history , and turned them into specific research methods of history ;he expound the rule of causal law , just as Leibnizs principle of sufficient reason in Western modern times and the law of sufficient reasonin universal logic; he discussed nominal classification, and analyzed wrong classification of the forefathers, then he pointed out the significance of clarifying the basic of division .

不足在于：①梁启超对于各种科学方法的论述不够系统、全面；②梁启超比较研究方法仍存在一些缺陷，他的比较研究主要是将墨家论式与西方逻辑的三段论(有的与印度因明的三支作法)形式作求同研究，缺乏系统性和全面性，而且对三种逻辑的共同点和差异点的分析也缺乏理论深度，加之梁启超不懂得数理逻辑，缺乏精确的数理逻辑工具，因而使这种对比分析缺乏严密性和精确性。

With the background of application of fuzzy control techniques to a rather typical complex control system, gas-burning water heater, theories, applications and techniques of fuzzy information processing have been studies. The obtained results include:(1) For lattice-valued logic systems based on lattice implication algebras, two dynamical lattice-valued propositional logic Lvpl and lattice-valued first-order logic Lvfl have been constructed, and some theories and methods of fuzzy reasoning have been proposed based on fuzzy set theory and multi-valued logic.(2) Some methods for designing and optimizing fuzzy control systems and some corresponding control algorithms have been proposed, and some new theories and methods for fuzzy control rule base and fuzzy control system performance analysis have been introduced.(3) 6 fuzzy control systems have been developed, and some difficult problems on craft of manufacture, batch consistency, quality stability, installation and main

本项目以模糊控制技术用于燃气热水器这一较典型的复杂控制系统为应用背景，在模糊信息处理的理论、应用和技术三个层次开展了相关的研究工作：(1)进一步研究了基于格蕴涵代数的格值逻辑系统，建立了两种动态的格值命题逻辑Lvpl和格值一阶逻辑Lvfl，并基于模糊集理论和多值逻辑提出了多种模糊推理的理论与方法；(2)提出了模糊控制系统的多种设计及优化方法与控制算法，建立了模糊控制规则库和模糊控制系统性能分析的一些新理论与新方法；(3)研制完成了6个模糊控制系统，还特别解决了模糊控制燃气热水器和智能控制燃气热水器在产业化过程中的生产工艺、批量一致、质量稳定、安装维修和性能价格等一系列难题，做好了批量生产前的技术准备，现已小批量生产。

Marx built up Historical Materialism, which realized the transformations from scientific logic to historical logic, from material logic to human logic, and provided the interpreted principles for the view of subsistence and the view of historical orientation with Marx's new material philosophy.

马克思创立历史唯物主义，实现了从科学逻辑向历史逻辑的转变，从物的逻辑向人的逻辑的转变，为马克思的新唯物主义哲学提供了生存论的解释原则和历史性解释原则。

With respect to syntax, the roles of tagmeme in the structure of word and sentence and Chomsky's Generative-Transformational Grammar are discussed. The spatial relation theory and existing research achievements are investigated. Having noticed the shortage of the capability of topological and metrical relation in the description of spatial information structure, the author proposes Combinational Qualitative Geometry based on the two invariables under ordinary transformations, distance ratio and direction difference, the CQG-based spatial relation system between topological and metrical constraint is thus constructed, on which several spatial relations such as parallel, perpendicularity, co-linearity, sequence and direct neighborhood are derived. Based on extended theory of spatial relation, the language anamorphosis is analyzed from the aspects of phonetics, semantics and syntax. The mere geometric and formalized spatial relation is then integrated with concrete geographic ontology to accommodate richer and indicative spatial configuration of spatial information in the different geographic context. Finally a syntax framework for spatial information is put forward.

在语法结构方面，首先阐述了法位和法素在语法结构词法和句法中的地位和作用，以及Chomsky生成转换语法的核心内容；详细介绍了地理信息系统空间关系理论及现有的研究成果；在分析现有的拓扑关系和量度关系对空间信息结构描述能力不足的基础上，提出了基于长度比和角度差两个不变量的组合定性几何，以此建立了介于拓扑及量度约束之间的组合定性关系体系，并以此为基础派生出平行、垂直、共线、次序、直接邻近等空间关系描述；本文基于扩展的空间关系理论，详细讨论了空间关系在语音、语法和语义三个方面的语言变体，将纯几何和纯形式化的空间关系与具体的地理本体结合起来，可以获得更为丰富的、更能反映空间关系在不同语言上下文中具体体现的组合关系；最后给出了一个空间信息的语法结构的基本框架。

Chapter three: Define fuzzy congruence relation of MTL-algebra, prove that fuzzy fiter and fuzzy congruence relation is a bijective function in MTL-algebra, quotient algebra induced by congruence relation still forms a MTL-algebra; Introduce the relation between some kinds of fiters and fuzzy filters maitained above in IMTL-algebra,i.e. BR_0 algebra, which is a MTL-algebra satisfied inversely odering and involutive relation.

第三章：定义了MTL-代数中的Fuzzy同余关系，证明了MTL-代数中Fuzzy滤子与Fuzzy同余关系是——对应的，由同余关系所诱导的商代数依然构成一个MTL-代数；介绍了在满足逆序对合对应的MTL-代数-IMTL-代数，即BR_0-代数中上述几中特殊滤子，Fuzzy滤子之间的关系。

The measurement system error model analysis is introduced into power system real time network state analysis as an important part for the first time, which can improve on the state estimation quality and provide the capability to monitor the operation of the measurement system; 2. The theory and algorithm of the on-line estimation and update of measurement noise variance based on the relation between the residual variance and noise variance. The statistic properties of the sample variance are discussed and the relation between the estimation precision and sample size under given confidence level is derived; 3. The theory and algorithm of detection and identification of measurement bias are presented, which is based on the relation between residual mean and noise mean. The statistic properties of sample mean are discussed and the relation between estimation precision and sample size is derived; 4. The Givens orthogonal transformation algorithm is selected to be the essential algorithm of state estimation, the fast orthogonal transformation algorithm with damp factor and the algorithm which can handle the zero injection measurements efficiently are presented; 5. The quantity analysis theory of bad data detectivity and identifibility are presented, which describes the relation between the elements in matrix W〓 and bad data amplitude and can provide the theory base for measurement system design and valuation.

一、首次将量测系统误差模型分析做为一个环节引入电力系统实时网络状态分析中，为EMS系统增加了实时监视系统运行、修正量测系统误差模型的新功能，进一步发挥了实时网络状态分析应用软件的潜力；二、首次提出了应用样本方差在线估计与修正量测系统误差方差的基本理论，讨论了样本方差的统计性质和概率分布，推导出了样本容量、估计精度和置信度之间的关系，给出了在线估计与修正量测系统误差方差的算法；三、首次提出了应用样本均值在线检测与辨识量测偏差的基本理论，讨论了样本均值的统计性质，推导了样本容量、估计精度和置信度之间的基本关系，给出了在线检测与辨识量测偏差的算法；四、在状态估计算法设计中，以Givens变换算法做为基本算法，提出了快速正交变换阻尼因子法和可以有效地处理零注入量测的混合法，并对实时应用中的一些问题进行了讨论；五、提出了不良数据可检测性与可辨识性的定量分析理论，揭示了描述量测系统配置、网络结构与参数的残差灵敏度矩阵中的元素与不良数据的幅值在可检测、可辨识能力上的定量关系，为量测系统配置设计与评价提供了理论基础；六、综合国内外最新研究成果，采用自适应自回归预测技术和稀疏矢量技术，构造了较完善的不良数据检测与辨识算法。

Based on the definition of congruent relation , the algorithm and concept of generalized relation reflective relation were put forward , and statistic linear correlation and gray relation were unified in the reflectional relation .

在全等关联概念的基础上，提出了广义关联和映射关联的概念和算法，将统计线性相关和灰色关联统一在映射关联中，证明灰色关联是一种保比关联，提出了影响的定量概念。

The production moved off-Broadway to New York City, where she won the Joseph E. Calloway award for her performance, and was profiled in American Theater Magazine as one of ten young theater artists to watch.

生产提出过百老汇的新的纽约市，在那里她赢得了约瑟夫calloway奖，她的表现，并于异型在美国的战区杂志之一， 10战区的青年艺术家观赏。

It's a risk tradeoff, and I believe that adding test support code usually wins.

这是一个风险的权衡，我相信添加测试代码通常会占上风。