English translation for "可满足性"
|
- satisfiability
Related Translations:
满足感: fulfill this senseglowgratification 满足需要: answer the demandmeet needsmeet/satisfy the needmeets the demandsatisfaction of wantssatisfy the wantssatisfy wantssupply a demandto meet the needs 即时满足: immediate gratification 满足要求: fit the billmeet demandmeet the challengeto meet the needs 满足情欲: gratify one's lusts 约束满足: constraint satisfaction 满足地: complacentlycontentedlysatisfactori
- Example Sentences:
| 1. | Generating sat instances from first - order formulas
由一阶逻辑公式得到命题逻辑可满足性问题实例 | | 2. | Verification of authentication protocols for epistemic goals via sat compilation
基于可满足性求解的认证协议的认知规范验证 | | 3. | Secondly , some properties of reasoning function are discussed in details such as monotonicity , compatibility and satisfiablity
详细讨论了推理函数的单调性、相容性、可满足性，并给出推理方法的一般步骤。 | | 4. | Eurocrypt 93 , lofthus , norway : springer - verlag , lncs 765 , 1993 , pp . 240 - 247 . 9 p van oorschot . extending cryptographic logics of belief to key agreement
并且我们发现，其逻辑计算,可以直接转成可满足性问题sat进行处理,从而可以利用工业上高效的sat求解器来计算 | | 5. | The definitions of syntax structure , semantic interpretation , knowledge base form and reasoning problems based on satisfiability are given for the extended fuzzy description logic
定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题。 | | 6. | Huang zhuo ( computer software & theory ) directed by zhang jian the algorithms and tools to solve first - order logic model searching ( folms ) problem with finite domain size are studied in this thesis . the satisfiability ( sat ) problem in the prepositional logic and folms are classic problems of computer science , which are important in theory and have wide applications in a lot of real - world problems
命题逻辑可满足性( sat )问题和有限论域一阶逻辑模型搜索( folms )问题是计算机理论科学中的经典问题，不仅在理论上有着重要的地位，而且在许多实际问题中得到了广泛的应用。 | | 7. | Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part , we introduced quantifiers and predicate into lmp ( x ) , put up lattice - valued modal first - order logic system lmf ( x ) , and gave its semantic interpretation and syntax structure , proved soundness theorem and consistence theorem . moreover , in order to judge the satisfiability of formula , defined skolem standard type and h - interpretation . based on these work , made a primary discussion of a - resolution principle based on lmf ( x )
第三部分：关于格值模态一阶逻辑系统及其归结原理的研究第n页西南交通大学博士研究生学位论文这一部分主要是在格值模态命题逻辑系统lmp队）中引进量词和谓词，建立格值模态一阶逻辑系统lmf （广并给出其语又解释和语法结构，证明了系统的可靠性和协调性；另外，为了判断公式的可满足性，定义了格值模态一阶公式的skolem标准型和体解释；在此基础上，对基于系统lmf （ ）的a一归结原理进行了初步探讨 |
- Similar Words：
- "可卖各种牌子酒的酒店。" English translation, "可卖回债券" English translation, "可满足大容量的需求" English translation, "可满足的" English translation, "可满足现代化办公要求" English translation, "可蔓延（传染）的" English translation, "可锚泊的" English translation, "可茂尔" English translation, "可冒泡的" English translation, "可贸联" English translation
|
|
|
