查询词典 decidable

Polymorphic type system with constraints in Garment is studied in this paper including type checking algorithm. It is proved that the satisfiability of constraints in the algorithm is decidable.

本文在Garment中引入了约束多态类型，研究了Garment中带约束的多态类型系统，给出了类型检查算法，证明了此算法中约束的可满足性是可判定的。

By means of the decidable theory of boolean expressions, we present a new approach to check bisimulations of the finite-control π-calculus.

利用关于其布尔表达式的可判定理论，本文对有穷控制π-演算的互模拟验证问题给出了一种新的解决方法。

By applying the utility theory of value, the paper studies the source of brand value and makes it the base to establish an economic model to study the factors decidable or infectious to brand value. Then the paper designs a framework of evaluation methods and put it into use in a case study. In this case study, the technologies of statistics and computer analysis are applied.

本文从西方经济学&效用价值论&的角度分析品牌价值的来源，并以此为切入点，运用经济学模型研究品牌价值的形成和影响因素，获得有关对品牌价值测评的启示，进而设计我国品牌价值测评方法的基本框架，最后结合计量经济技术、统计技术和计算机技术对测评方法的实际运用进行了尝试。

The limitations of finite-memory programs, closure properties for simplifying the job of writing finite-memory programs, and decidable properties of such programs are also studied.

有限记忆程序的局限、简化编写有限记忆程序的闭包性质和有限记忆程序的可判定性在本章也被探讨。

Description Logic is a kind of object based knowledge representation formalism, and also a decidable fragment of first order predicate logic, with well-defined semantics and powerful representation capability.

描述逻辑是一种基于对象的知识表示的形式化系统，它是一阶逻辑的一个可判定的子集，具有合适定义的语义，并且具有很强的表示能力。

Keywords: logic of tasks;decidable;description language;multi-agent system;organization model

将所构造的逻辑系统应用于具有组织的多主体系统行为建模，建立了基于描述任务逻辑的多主体组织模型和建模框架，并且表明应用描述任务逻辑构造应用系统具有表达能力强、结构紧凑的特点。

They are decidable in polynomial time.

5另外，我们还发现，对任何前向链正规的逻辑程序P，总存在一个最小的P上的一致性性质使得P是关于它前向链正规。

To acquire correct composition, we use a bottom-up method to analyze compability of web services in asynchronous communication environment. Some constraints are put forward to make analysis of compatiliby decidable and an algorithm is provided for verification of compability.

在此基础之上，通过自底向上的合成分析，研究Web服务合成的相容性问题，提供相容性的分析步骤，并给出判定算法验证Web服务合成流程的正确性。

It has proved that each FPTA-recognizable language and its complement are Buchi recognizable, and the language inclusion problem for FPTA is decidable.

研究了FPTA的接受语言类，证明了FPTA可接受时间语言和其补语言都是Buchi可接受语言，同时证明了有限精度时间自动机的语言包含问题是可判定的。

In the information society, information is increasingly becoming the most actively decidable factors of the society, therefore, getting information in time and making it effective will be the basic require for talent in Information Age.

因此，能够及时获取和有效利用信息资源已成为信息社会对信息时代人才的基本要求。2003年3月31日，教育部正式颁布了《普通高中技术课程标准》。

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。