 全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多   higher order logic 的翻译结果: 查询用时：0.192秒 在分类学科中查询 所有学科 数学 计算机软件及计算机应用 无线电电子学 自动化技术 更多类别查询 历史查询  higher order logic 高阶逻辑(1)高阶逻辑的(1)  高阶逻辑
 Higher order logic is chosen as the specification language. Strong spy and ideal encryption are assumed, and trace model is used to define protocols' behaviors. 该方法以高阶逻辑为规范语言,利用trace模型来描述协议的行为,并假设系统中存在强攻击者和理想加密系统. 短句来源 高阶逻辑的
 This paper first introduces the theory and algorithm of mating method in automatic theorem proving advanced by Peter B. Andrews, and then gives an implementation algorithm without backtracking, finally obtains a theorem proving system for higher order logic. PeterB．Andrews提出了自动定理证明的配对方法的理论和算法．本文针对该算法的缺点，给出了一个无需回溯的实现算法，并得到一个高阶逻辑的自动定理证明系统 短句来源 “higher order logic”译为未确定词的双语例句
 The most important thing in formalizing semantics is translating sentences, text spans, discourses in natural language into higher order logic formulas (The translation rules are language-dependent). 形式化语义研究的首要内容是将自然语言语句、语段、篇章转换成高阶逻辑公式集或者其他等价形式（转换规则与语言有关）。 短句来源 相似匹配句对
 D were higher. B组LVDS最小(P<0.05),D组LVDS最大(P<0.05); 短句来源 Higher-Order Melnikov Method 高间Melnikov方法 短句来源 On Order 论秩序 短句来源 and higher (?) 与高(?) 短句来源 On the application of derivative of higher order 高阶导数应用研究 短句来源 查询“higher order logic”译词为用户自定义的双语例句

我想查看译文中含有：的双语例句  higher order logic
 We extend the categorical combinators so as to describe the proof theory of first order logic and higher order logic. The type theory extended with the axiom mentioned above contains constructive higher order logic, but even if one only adds constructive second order logic to type theory the contradictions arise. Higher order unification is a way of combining information (or equivalently, solving equations) expressed as terms of a typed higher order logic. A fully-expansive 'LCF methodology' allows users to safely modify and extend the compiler's theorem proving scripts to add optimisations or to enlarge the synthesisable subset of higher order logic. The compiler automatically translates a function f defined in higher order logic (typically using recursion) into a device that computes f via a four-phase handshake circuit. 更多 This paper introduces the formal verification techniques for hardware designs using HOL ( Higher-Order Logic ) system. The implementation of a temporal logic in top level of HOL is described, and an example of verifying a latch using this mechanized temporal logic is given. 本文扼要介绍硬件验证技术的发展近况,着重介绍利用HOL系统验证硬件的方法以及如何用HOL系统实现时态逻辑,并给出一个采用已机械化的时态逻辑验证锁存器的实例。 This paper presents a method of expressing linear temporal logic and interval temporal logic in higher-order logic and gives some examples of proving the correctness of simple circuits.The method takes the advantages of both mechanized HOL facilities and expressing power of temporal logic.It can be used to deal with the timing problems of VLSI system. 硬件设计的形式化验证技术开辟了对复杂的超大规模集成电路设计进行验证的新途径,高阶逻辑和时态逻辑在形式化验证技术中均得到成功的应用,本文介绍用高阶逻辑表达线性时态逻辑和区间时态逻辑的方法,并以几个简单实例说明它在硬件设计验证中的应用,这种方法的优点是既利用高阶逻辑系统HOL的机械化定理证明手段,又发挥了时态逻辑的表达硬件的动态性质的能力。 In this paper, we propose the notion of knowledge management in engineering database systems, and divide the knowledge based on the symbol object model into three classes: the management of engineering strategies, the one of access control and the one of rules. We put emphasis on the discussion of the reasoning of complex objects, and build the mapping from symbol object model to higher-order logic and then from higher-order logic to first-order one. The reasoning system... In this paper, we propose the notion of knowledge management in engineering database systems, and divide the knowledge based on the symbol object model into three classes: the management of engineering strategies, the one of access control and the one of rules. We put emphasis on the discussion of the reasoning of complex objects, and build the mapping from symbol object model to higher-order logic and then from higher-order logic to first-order one. The reasoning system supports the notions of object identity, type inheritance and semantic relationships, the treatment of sets and of local inconsistent data. Therefore, it is able to meet the needs of a wide variety of engineering applications. 本文提出了工程数据库系统中的知识管理的概念，将建立在符号对象模型基础之上的知识分为三类：工程策略的管理、存取控制和规则的管理。本文着重讨论了复杂对象推理的特点，建立了从符号对象模型到高阶逻辑，再从高阶逻辑到一阶逻辑的映射，该推理系统支持对象标识符、型继承和语义关系等概念，支持集合和局部不一致数据的处理，能更好地满足工程应用的要求。 << 更多相关文摘 相关查询

 CNKI小工具 在英文学术搜索中查有关higher order logic的内容 在知识搜索中查有关higher order logic的内容 在数字搜索中查有关higher order logic的内容 在概念知识元中查有关higher order logic的内容 在学术趋势中查有关higher order logic的内容

 CNKI主页 |  设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索 2008 CNKI－中国知网 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社