查询词典 threshold logic

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.

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

Though the analysis, taking different strategy according to the threshold signature synthetist\'s role, a bilinear mapping based threshold group signature scheme in which synthetist is a group member was proposed, as well as a bilinear mapping based threshold group signature scheme with forward security in which synthetist is security mediator was proposed.

在分析的基础上，根据门限签名合成者身份的不同采用不同的设计策略，提出了一个基于双线性映射的门限群签名方案，以及一个基于双线性映射的前向安全的门限群签名方案。

A comprehensive research has made in designing technologies of bilinear mapping based threshold group signature scheme. A bilinear mapping based chamellon threshold group signature and a forward security threshold group signature were analyzed, the mistakes and flaws in these schemes were pointed out.

对基于双线性映射的门限群签名方案设计技术进行了深入的研究，分析了一个基于双线性映射的卡梅隆门限群签名和一个基于双线性映射的前向安全的门限群签名，指出了这些方案设计中存在的一些设计错误和缺陷。

Consider the dependencies between the coefficients and their parents, a non-Gaussian bivariate distribution is given, and corresponding nonlinear threshold function is derived from the model using Bayesian estimation theory. According to non-subsampled Contourlet transform and bivariate threshold function, a novel Non-Subsampled Contourlet Transform based on Bivariate threshold function for image denoising is proposed. This scheme achieves enhanced estimation results for images that are corrupted with additive Gaussian noise over a wide range of noise variance.

该文依据非下采样Contourlet分解系数与其父系数之间的相关性，给出非高斯双变量分布，对该模型应用Bayes估值理论推导得到相应的非线性双变量阈值函数，综合非下采样Contourlet分解和双变量阈值函数，提出一种基于双变量阈值的非下采样Contourlet变换图像去噪方法。

A detection method of double-threshold constant false alarm movement object on double-base synthetic aperture radar includes finalizing distance compression of various pulse-sampling, dividing orientation time to be multiple CPI, carrying out FFT in each CPI to enter orientation frequency domain, comparing data amplitude of frequency channel at external of clutter region with the first threshold and outputting point trace, making coagulation on point trace, making Hough transform in point trace domain and making decision of the second threshold.

本发明涉及一种用于双基地合成孔径雷达的双门限恒虚警运动目标检测方法，其特征在于：1对每个脉冲采样完成距离压缩；2把方位时间分割成多个相干处理间隔；3在每个CPI内做快速傅立叶变换进入方位频域；4把杂波区外的频率通道的数据幅度和第一门限比较做判决并输出点迹；5点迹凝聚；6在点迹域做Hough变换并做第二门限判决。

For every one of my New Year resolutions, I have been a backslider for years.

说到我的新年决心，我每年都做

With empathy and focus on a feeling level, we can all relate to the common ground of mutuality of emotions.

有了同情心和感觉上一级的重点，我们都可以涉及到相互的情感共同点。