logic language

A function / logic language implementation technique with reduction semantics

函数／逻辑语言归约实现技术

Application of Logic Language on Ladder Diagram in Auto control System of Port

梯形图逻辑语言在港口自控系统中的应用

Description and Refinement of Distributed Real-time Software Architecture Based on Temporal Logic Language

基于时序逻辑语言的分布式实时软件体系结构描述与精化

The method can be applied to integrate both the functional language and the logic language .

本方法可用来合成函数程序设计和逻辑程序设计；

An extended dynamic description logic language and its Tableau algorithm

一种扩展的动态描述逻辑语言及其Tableau算法

A temporal logic language oriented toward software engineering

一种面向软件工程的时序逻辑语言

α _ - Decision Logic Language for Granular Computing

粒计算的α-决策逻辑语言

The efficient implementation of logic language

高效逻辑语言实现方法

Firstly , a formal model of TPM is built using first-order logic language .

首先，在论文中用一阶逻辑语言建立可信平台模块API的形式化模型，然后对建立的形式化模型进行逻辑推理分析。

Commonsense knowledge representation in the object-oriented logic language

面向对象逻辑语言中的常识知识表示

It describes the CA attestation system architecture in the temporal logic language XYZ / E.

建立了CA认证系统的软件体系结构模型：使用时序逻辑语言XYZ/E，描述了CA认证系统体系结构；

Therefore , we use the definition of the timing and modal logic language to prove and reason protocol properties .

所以我们使用了时序和模态逻辑语言证明和推理协议性质。

We introduced a method to detect feature interaction in requirements , which is based on the temporal logic language XYZ / E.

针对需求阶段的特征干扰问题，提出了使用时序逻辑语言XYZ/E检测特征干扰的方法。

Insisting producing the prototype of the logic language in English in which the logic flow chart is brought into being ;

我坚持写出英文语言逻辑的原型，俾有利于语言逻辑的流程图的建立；

Research of Software Architecture Based on the Temporal Logic Language XYZ / E ( I ) & Description of Components and Connectors

基于时态逻辑语言XYZ/E的软件体系结构研究（I）&基本组件和连接件的描述

The method adopts the formalized logic language to describe network system parameters , uses the Prolog logic reasoning engine to construct LEG .

该方法采用逻辑语言描述网络系统参数，使用Prolog逻辑推理引来构造逻辑渗透图模型，能够准确地对网络安全风险进行识别、分析和评估。

Descriptions of granular pyramid , formal concepts and decision rule are also discussed to illustrate the usefulness of α _ - decision logic language .

最后讨论如何利用α-决策逻辑语言描述不同的粒世界及分析形式概念和决策规则。

The α _ - decision logic language , described by model and satisfiability in the Tarski 's style , is proposed for granular computing .

提出一种用于粒计算的α-决策逻辑语言，该语言是由Tarski意义下的模型和可满足性所描述的一种特殊的经典谓词逻辑。

Seeing from the interior cause , the . irrational itself as a complex mentality phenomenon is difficult to state by scientific method and the way of logic language .

从内部原因看，非理性本身作为一种复杂的心理现象，是难以用科学的手段和逻辑的语言方式来准确表述的。

In order to deal with the generalized information well , it must build ontology knowledge base which is supported by description logic language under the environment of the semantic web .

为了更好地处理一般化的信息，就必须在语义网的环境下建立描述逻辑语言所支持的本体知识库。

According to cognitive science , cognition is logical operation of knowledge while thinking is computation . Any computerized analysis of natural language mainly depends on the expression of the logic language .

认知科学认为，思维和认知是知识的逻辑运算，任何计算化的自然语言分析都主要依赖逻辑语言对这种分析的表述。

On the other hand , we use the linear temporal logic language LTL to define the software safety security attributes to make the description more intuitionistic and compatible .

过程中使用线性时序逻辑语言LTL定义软件安全属性，描述直观并具有良好的兼容性。

The semantic validity and entailment problem of XML documents are further provided and they are reduced to the knowledge base unsatisfiability problem in description logic language ΣΗΟΙΝ(?) .

此外，还提出了xml文档的语义有效性和xml文档的推理问题，并把它们规约到描述逻辑语言∑ΗΟΙΝ（？）的知识库不可满足性问题。

It consists of a TLL ( temporal logic language ) XYZ / E to serve as its kernel and a suite of software engineering tools .

它由时序逻辑语言（temporallogiclanguage，简称TLL）XYZ/E和以该语言为基础的一组软件工程工具组成。

Because UML lacks of precise semantics , a method is proposed to express the formal semantics of the class diagrams based on the temporal logic language XYZ / E.

基于UML缺乏精确语义描述的不足，我们提出了基于时序逻辑语言XYZ/E来表示类图形式化语义的方法。

This paper introduces the temporal logic language XYZ / E , and then describes the gasbumer control problem in XYZ / RBE and XYZ diagram .

本文给出了时序逻辑语言XYZ/E的相关介绍，并利用XYZ/E的子语言XYZ/RBE与XYZ图描述了煤气炉实时控制问题。

This paper introduces basic contents and current developments of the CA attestation system inland and abroad , and elaborates the software architecture description method based on the temporal logic language XYZ / E.

本文介绍了CA认证系统的基本内容及其国内外的发展现状；阐述了基于时序逻辑语言XYZ/E的软件体系结构描述方法；

The article gives general transforming method from functional language to logic language . Based on the method , we designed and realized an automatic transforming system trom functional language SFL to PROLOG .

定义了函数式语言SFL，给出了由SFL到PROLOG的一般性转换方法，设计并实现了自动转换系统。

XYZ / E is the first executable temporal logic language , which can represent both of the static and dynamic aspects of program . It can describe architecture in different abstract levels .

XYZ/E是世界上第一个可执行的时态逻辑语言，它既能描述抽象静态语义，又能表示程序的动态语义，这一特征恰好适合分层描述软件体系结构。

This paper describes the meta interpretation of the typed object oriented logic language LKO , with emphasis on the inheritance algorithms for object state , constraint and method , and the unification algorithms for clause interpretation , type inference and type checking .

本文介绍类型化面向对象逻辑语言LKO的元级解释技术，主要包括对象约束、状态、方法的继承算法，以及子句解释、类型推理和检查的多种合一算法。