中英
1
logic programming中文是什么意思
发音:
- 中文翻译
- 造句
- 逻辑编程
- 逻辑程式设计 [逻辑程序设计
- 逻辑程序设计
- logic n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
- logic of programming 程序设计逻辑
- programming in logic prolog语言; 逻辑编程; 逻辑程序设计语言
- programming logic 程序逻辑; 程序设计逻辑
- constraint logic programming 逻辑程序设计
- distributed logic programming，dlp 分散式逻辑程式设计
- inductive logic programming 归纳逻辑程序设计
- logic programming and expert systems 逻辑程序设计与专家系统
- logic programming language 逻辑编程语言; 逻辑程序设计语言
- logic programming machine 逻辑程序设计机
- parallel programming in logic parlog语言; 并行逻辑程序设计语言
- programming logic basis 程序逻辑基础
- programming logic chart 程序设计逻辑流程图
- programming logic manual 程序设计逻辑手册
- programming logic proof 程序设计逻辑证明
- programming logic specification 程序设计逻辑规范书
- programming 编程序的; 编程序规划计划; 程式设计，计画拟编; 程式撰写; 程序编写; 程序化; 程序控制的; 程序设计,程序编制; 程序设计，编制程序; 规划；程序设计，程序编制; 规划；设计方案，编制程序；程序设计; 和谐编制; 计算机程序设计; 节目制作; 施工时间安排；工程程序；工程进度; 数控编程实习室; 用语; 张晓欣 上海交通大学 城市规划 本科
- -logic -logic, -logical 〔构成与 -logy 结尾的名词相应的形容词〕表示“…学的”： biological, philological.
- and logic “与”逻辑
- logic n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理性。 3. 威力，压力，强制(力)。 deductive [inductive] logic演绎[归纳]逻辑。 dialectical logic辩证逻辑。 formal logic形式逻辑。 a gangster logic强盗逻辑，恶徒的歪理[言行]。 mathematical logic数理逻辑。 pure logic纯粹逻辑。 He is not governed by logic. 他没有逻辑性。 That is not logic. 那不合逻辑。 the irresistible logic of facts 事实的不可抗拒的威力。 the logic of events [war] 事件[战争]的强制力。 His logic is shaky. 他的推理站不住脚。 chop logic 诡辩。
- logic-and 逻辑“与”
- or logic 或逻辑
- a lication programming 应用程序设计
- a olute programming 绝对程序设计
- a programming language apl 语言; apl语言; 程序设计语言
- The scientific logic program is a new research program of economic logics , which is different from the traditional program of applied form logic and the game program
摘要科学逻辑纲领是经济学逻辑的一种新研究纲领，它既不同于传统的应用形式逻辑加语言逻辑纲领，也不同于博弈论纲领。 - In field of deductive database , magic transformation is an evaluation strategy that combines top - down with bottom - up . it restricts the computation of logic program to tuples that are related to the query
在演绎数据库领域中，魔集转换是一种自顶向下和自底向上相结合的计算策略，它使逻辑程序的计算始终限制在与查询相关的数据中。 - This research based on the nc110 numerical control system of catch numerical control company , and write the logic program with the language siprom , and complete the soft plc compiled system with c program
本文以凯奇数控公司的nc110数控系统为硬件平台，以高级语言siprom编写用户的机床逻辑程序，用c语言编写编译程序完成对数控系统软plc的编译系统的设计。 - We have implemented a series of algorithm , which includes rule adornment , logic program adornment and factorization , magic transformation , factorizing magic transformation . the platform is characteristic of transplant , expansion
处理器中实现了本文中用到的一系列算法，其中包括：规则修饰、逻辑程序的修饰、魔集转换、逻辑程序的分解、分解的魔集转换。 - However , in search of the relevant data , the cost of generating additional tuples produced by logic program to which magic transformation is applied increases with the arity of idb ( intensional database ) predicates increasing
但是随着递归idb ( intensionaldatabase )谓词的项的个数增大，经魔集转换的逻辑程序为寻找与查询相关数据而产生附加元组的开销也会增大。 - Therefore it comes true the on - line adjusting , real - time control and so on . it sames as real locale . the software of logic protect ( include electric logic ) and control includes some usual algebraic and operation model of thermal control and logic operation of logic protect . it adopts foxboro ' s dcs as a example , so we configuration via filling table , user only define i / o condition , fill certain operation variable , and name logic variable . the software offers a friendly user ' s interface , personnel can compile and modify the control and logic program , change the value of logic and control variable conveniently , attach themselves to run , debug and control the set , not need to know about the inside of the old programs deeply . so the configuration software offer a flat that control engineer can attend to the structure of control loop and logic protect ( include electric logic ) , not but to handle complicated program
它以foxboro的dcs控制系统为主要参考模式，采用填表的方式进行控制组态，用户只需定义i / o条件、填写具体的运算变量名、逻辑变量名即可。本软件为建模人员提供了一个友好的用户界面，使建模人员在建模时不必对模块内部的控制、逻辑程序有很深的了解就可以方便的对其进行编写和修改，实时改变各逻辑和控制变量在数据库里的值，参与运行和调试，从而实现对机组的控制。因此，本组态软件提供的这样一个平台，让控制工程师能集中精力于控制回路及逻辑保护（包含电气逻辑）的构成，而不必拘泥于一些具体而烦琐的程序操作。 - Mvc - based web design pattern was adopted to design the whole system , interface design and logic programming were effectively archived by combination of t three java techniques : jsp , servlet and javabean . jsp was used to build user interface , servlet was used to play the role of controller and javabean was to encapsulate the business logic of model . the complete design of both model classes and controller classes were given in detail in this paper
采用了基于mvc的web应用体系。 jsp ( view ) + servlet ( controller ) + javabean ( model )的体系设计有效地实现了界面和逻辑的分离。本文对广播电视行业综合业务管理系统主要的模式类和控制器类进行了详细的设计。 - I regard qsim as a kind of constraint satisfaction problem ( csp ) , and improve the qualitative simulation algorithm by constraint logic programming ( clp ) . fuzzy qualitative simulation develops conventional qsim on several facets , such as representation of qualitative value , state transition rule and filtering algorithms . it bridges the gap between pure qualitative and quantitative , and improve the efficien
前者是将定性仿真算法看作一类约束满足问题，用约束逻辑程序加以改进，不仅为解决定性仿真问题提供了逻辑框架，而且也是一种规范化的程序描述语言；模糊定性仿真算法则是对纯定性仿真算法在知识描述、状态转移规则、过滤算法等方面的改进，是一类半定量描述方法，有利于在定性仿真领域综合定量信息，同时提高算法的效率。 - The central work of this paper is as follow : ( 1 ) a new factorizing optimization algorithm which reduce the arity of idb predicates by factorizing the logic program is presented magic transformation is applied to subprogram . moreover the decomposed subprogram can be implemented in parallel . therefore , it improves the efficiency of magic transformation
本文的主要工作如下： ( 1 )提出一种新的分解优化算法，它通过对逻辑程序进行分解，减少idb谓词项的个数，再对分解后的各个子程序进行魔集转换，而且分解后的各个魔程序可并行执行，从而提高魔集转换的执行效率。 - We came up with algorithm descriptions and reinforced our conclusion by means of real testing examples . some data mining techniques , which can be applied to semantic web mining , were also discussed in this thesis . we explored the suitability of inductive logic programming ( ilp ) method in semantic web mining in more detail , and showed how to make use of this method in the semantic context
对于语义web挖掘中适合的数据挖掘技术进行了探讨，提出了可采用归纳逻辑程序设计作为适合语义化web的数据挖掘技术，给出了如何应用这种技术的算法描述，并通过具体实例验证了这种方法对于语义化web环境下进行数据挖掘是可行性。
- creating a program that enables the computer to reason logically
同义词：logic programing, - a computer language designed in Europe to support natural language processing
同义词：Prolog, logic programing,
Logic programming is one of the 4 main programming paradigms. Its theory of computation is based on first order logic.
详细百科解释
- logic programmingとは意味：logic programming ロジックプログラミング
- 推荐英语阅读
logic programming的中文翻译，logic programming是什么意思，怎么用汉语翻译logic programming，logic programming的中文意思，logic programming的中文，logic programming in Chinese，logic programming的中文，logic programming怎么读，发音，例句，用法和解释由查查在线词典提供，版权所有违者必究。
Last modified time:Fri, 15 Aug 2025 00:29:56 GMT
关于我们
