查询词典 logic value

The public security prevention and control system should be that one include"the manpower implements are prevented and controlled".system information is prevented and controlled,humane value prevents and controlsthree aspect logic going forward one by one,function couping,operation mechanisms of public security men having complementary advantages and job system''.

治安防控体系应是一个包含&人力器物防控、制度信息防控、人文价值防控&三个层面逻辑递进、功能耦合和优势互补的公安运作机制和工作系统。

In this paper, we sort out the traditional theory of the symmetry of the system, from the perspective of scientific thinking to explore the origin of the universe and the evolution of mechanisms of material logic, focusing on symmetry and Non-symmetry, and analyze the theoretical thinking and dialectical thinking of the broken symmetry, and we explore the value of epistemology and significance of methodology from symmetry to the broken symmetry.

本文对传统的对称性理论进行了系统梳理，从科学思维方法的角度探讨宇宙起源和物质演化机制的认识逻辑，围绕对称性和非对称性、以及对称性破缺的理论思维和辩证思维的特点进行了分析，并探讨了从对称性到对称性破缺认识过程中的认识论价值和方法论意义。

Base on the established lattice-valued logic system with truth-value in lattice implication algebra, lattice-valued resolution method of which are discussed.

本文在已构建的基于格蕴涵代数的格值逻辑系统的基础之上，探讨了其中的归结推理的理论与方法。

Inferential theory of logic ; premise ; form ; transitive relation of truth-value ; basic rule

逻辑学推理论；&前提真实&；&形式有效&；真值传递关系；基本规则

The study of lattice-valued resolution principle based on lattice-valued logic with truth-value in lattice implication algebras Because of it concise, resolution principle is an implication direction in automated theorem proving, and it will be of significance to establish resolution principle based on non-classical logics.

基于格蕴涵代数的格值逻辑中归结推理的理论与方法研究归结原理由于其简洁性一直是自动定理证明中一个受到广泛重视的研究领域，因而建立基于非经典逻辑的归结方法对于非经典自动定理证明有着重要的意义。

While investigating the weighted fuzzy reasoning based on fuzzy logic,Chen Shyi-Ming has proposed two approaches to calculating the truth-value of a conjunctive antecedent for a fuzzy rule.

针对基于模糊逻辑的加权模糊推理，Chen Shy i-M ing提出了两种计算合取式前件整体真值的方法。

Through value chain model,traditional competitive logic has influenced the enterprise's thinking pattern.

价值创造活动是人们关注的问题，但传统的竞争逻辑通过价值链模型长期影响着企业的思维。

With annual revenues in CY 2005 of $1.12 billion, Altera combines the reprogrammable logic technology originally invented in 1983 with software tools, intellectual property, and design services to provide high-value programmable solutions to approximately 14,000 customers worldwide.

Altera将其早在1983年发明的可程式设计逻辑技术与软体工具NIP和设计服务相结合﹐向全世界近14，000家用户提供超值的可程式设计解决方案。

Chrysanthemum of 10 thousand birthday is lax to edaphic requirement, with the arenaceous qualitative loam with fecund, good drainage had better.

万寿菊对土壤要求不严，以肥沃。排水良好的砂质壤土为好。

He unstepped the mast and furled the sail and tied it.

他拔下桅杆，把帆卷起，系住。