逻辑方法

并对串空间模型和BAN逻辑方法进行了比较。

At last , we compare the strand spaces method with the logic method .

剖析了PCA工艺设计的三个层次和决策逻辑方法；

The decision logic mathods of PCA process planning are designed and generated .

IP重用和嵌入式SOC开发的逻辑方法

MPSOC : IP Reuse and Embedded SoC Development

用BAN逻辑方法分析TLS协议

BAN Logic Analysis of TLS Protocol

不可否认协议形式化分析的SVO逻辑方法

Formal analysis of non-repudiation protocols with SVO logic

本研究主要采用以下方法进行：第一，历史方法与逻辑方法相结合。

First , a combination of historical and logic methods are employed .

分析安全协议密码系统相关缺陷的模态逻辑方法

Model Logic Approach for Analyzing the Flaws of Security Protocol Cryptosystem-related Flaws

第五代计算机及其认知逻辑方法

The Fifth Generation Computer and its Cognitive Logic Methodology

逻辑方法演进的哲学思考

Philosophical Thoughts on the Evolution of Logic Methods

非定常气动力辨识的模糊逻辑方法

Fuzzy Logic Technique of Unsteady Aerodynamic Identification

逻辑方法与哲学视野

The Logical Approach and Philosophical Perspective

归纳与演绎相结合的逻辑方法等。

Induction and deduction in logic .

讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。

Three temporal logics i.e. first-order predicate calculus , modal logic and reified logic are discussed .

外化于哲学视野的逻辑方法，发展成为哲学分析的有效工具；

The logical method apparently in the form of philosophical perspective evolved into an effective tool of philosophical analysis .

法律评价的方法有：比较的方法、历史的方法、价值判断方法和逻辑方法。

The method of legal evaluation have comparative method , historical method , the method of value evaluation and logical method .

逻辑方法和历史方法都是重要的，研究应该是逻辑与历史的统一。

The logical method and the historical method are both important . The study should be the unification of logic and history .

法律推理具有逻辑方法和审判制度的双重属性，它的发展经历了一个从前者向后者的演进过程。

Legal reasoning possesses the dual natures of the logical method and the judicial system , evolving from the former to the later .

第一代国际资本流动理论主要运用逻辑方法对国际资本流动的原因和影响进行解释；

By mainly using the logical inference method , the first-generation theory conducts explanations on reasons and influences of the international capital movement .

设计、实现了对稿件评审的逻辑方法以及审稿指标体系的动态管理，增强了系统的柔性。

An application of index system of papers and a logic method of giving reviews are designed and realized , which boosts up flexibility of system .

本文主要想通过揭示写生素描的本质，提出了在写生素描教学中逻辑方法的作用及重要性。

This article mainly wants through to promulgate the sketch sketch the essence , proposed in the sketch sketch teaching the logical method function and the importance .

既然已经掌握了可以帮助诊断网络问题的工具集，现在就来逐步看看解决常见问题的逻辑方法。

Now that you have a useful toolkit of network diagnostic aids , it 's time to look at a logical , step-by-step approach to troubleshooting common problems .

在这一过程中，西方逻辑方法以其特有的科学基础与思维形态进入启蒙思想家的视野。

In this process , western logical method by virtue of its special scientific foundation and thought form comes into the vision of the thinkers of the Enlightenment .

模型方法是以研究模型来揭示原型的形态、特征和本质的方法，是逻辑方法的一种形式。

The model method is a way to reveal the prototype form , characteristics and essence by studying the object , and it is a form of logical method .

墨学中所包含的逻辑方法，经过后世学者的发掘整理，在中国逻辑史上具有了里程碑式的意义。

The logic in Mo Zi 's theory , explored and sifted by scholars of later generations , is of a milestone significance in the history of Chinese logic .

基于现实世界中模糊信息的背景，利用模糊逻辑方法讨论如何对模糊信息进行编码与传输的问题。

Based on the background of fuzzy information in real world , this paper researches into the problem of how to encode and transmit fuzzy information by means of fuzzy logical method .

文章以大量的例证，说明辩证逻辑方法在中医理论体系形成以及辨证论治医疗实践中的巨大历史作用与现实指导作用。

Many examples in the article show that dialectical logic method has played great historical and realistic guiding role in the fomation of theoretical system of TCM and clinical practice of TCM .

运用逻辑方法分析了篮球战术及相关概念，通过内涵定义与外延定义明确了篮球战术的特征和分类；

Using the method of logic , the author analyzes the basketball tactics and related concepts , defines the features and categories of basketball tactics from the definition of its intension and extension .

区别内涵意义和外延意义，有助于解决分析哲学所碰到的某些难题，有助于对定义这一逻辑方法作出科学分类，以修正传统定义理论。

The distinction between connotative meaning and denotative meaning contributes to solving some problems in analytic philosophy and to scientific classification of methods of defining the logic so as to modify traditional defining theory .

目前，安全协议的形式化分析方法大致可分为三类：形式逻辑方法、模型检测方法和定理证明方法，它们既有各自的优势，又有各自的劣势。

At present , the formal analysis methods of security protocols can be broadly classified into three categories : formal logic , model checking and theorem proving methods . They have both strength and weakness at the moment .

概述思辨研究、定性研究和定量研究的特征及其适用范围；介绍图书情报学中的一些重要研究方法，如逻辑方法、观察方法、社会调查方法、实验方法、个案研究方法和比较研究方法。

This paper criticized some unhealthy tendencies in LIS research , and introduces some key methods of research , such as logic method , observing method , social investigation method , experimental method , case study and comparative method , etc.