逻辑描述的英文

• description logic
• logic description
• logical description

• "逻辑"英文翻译    logic
• "描述"英文翻译    describe; represent
• "逻辑描述符" 英文翻译 :    logical descriptor
• "逻辑描述语言" 英文翻译 :    ldl logic description language
• "实体逻辑描述" 英文翻译 :    physical logic description，pld
• "自由格式逻辑描述" 英文翻译 :    free form topological description
• "编辑描述符" 英文翻译 :    edit descriptor
• "卷辑描述" 英文翻译 :    volume descriptor
• "可重复编辑描述符" 英文翻译 :    repeatable edit descriptor
• "冒号编辑描述符" 英文翻译 :    colon edit descriptor
• "描述逻辑" 英文翻译 :    description logic
• "描述逻辑等" 英文翻译 :    daml+oil description logic(dl
• "逻辑数据描述" 英文翻译 :    logical data description
• "逻辑数据库描述" 英文翻译 :    logical database description
• "逻辑字段描述符" 英文翻译 :    logical field decriptor; logical field descriptor
• "逻辑字体描述规范" 英文翻译 :    xlfd x logical font description
• "全局逻辑数据描述" 英文翻译 :    global logic data description
• "逻辑文件描述符数据块" 英文翻译 :    lfdb logical file descriptor block
• "描述" 英文翻译 :    describe; represent 描述战况 give a description of the battle; 详细描述事情的经过 describe what happened in great detail; 你能将你看见的东西描述给我听吗? can you describe what you saw to [for] me
• "逻辑" 英文翻译 :    logic 有学问而且合逻辑地辩论 argue with learning and logic; 逻辑上的错误 an error in logic; 数理逻辑 mathematical logic; 合乎逻辑 logical; 按照这种逻辑 according to that kind of reasoning; 这是什么逻辑 ? what sort of logic is that?; 逻辑包含 logical inclusion; 逻辑比较 logic comparison; logical comparison; 逻辑变换 logical conversion; 逻辑变量 logic variable; 逻辑 (型)变量 logical variable; 逻辑变项 [数学] logical variable; 逻辑表 logical table; 逻辑表达式 logical expression; 逻辑差 logical difference; 逻辑常数 logical constant; 逻辑程序 logical program; 逻辑错误 logical error; 逻辑代数 logic algebra; boolean algebra; algebra of logic; 逻辑单元 logical block; logic unit; 逻辑电路 logic circuit; logical circuit; 逻辑段 logical segment; 逻辑范畴 logical categories; 逻辑方法 logical method; 逻辑方阵 logical square; 逻辑分析 logic analysis; 逻辑分析法 analysis; 逻辑符号 logic symbol; logical symbol; 逻辑赋值语句 logical assignment statement; 逻辑关系 logical relation; 逻辑规格 logical specification; 逻辑规律 logical laws; 逻辑规则 logic rules; 逻辑函数 logical function; 逻辑恒量 logical constant; 逻辑机 logical machine; 逻辑级 logic level; 逻辑计算机 logical computer; 逻辑记录 [自动化] logical record; 逻辑解释 logical interpretation; 逻辑经验论 [哲学] logical empiricism; 逻辑经验论者 logical empiricist; 逻辑矩阵 logic matrix; 逻辑卡片 logic card; 逻辑连接 logical link; 逻辑连接词 logical connective; 逻辑连接符 [数学] logical connectives; logical connector; 逻辑连结 logical connection; 逻辑矛盾 logical contradiction; 逻辑曲线 [统计学] logistic curve; 逻辑设备表 logical unit table; 逻辑设计 [自动化] logic design; logical design; 逻辑实证论 [哲学] logical positivism; 逻辑实证论者 logical positivist; 逻辑实证主义 logical positivism; 逻辑史 history of logic; 逻辑数学 logical mathematics; 逻辑思维 logical thinking; 逻辑特征 logical implication; disjunction; 逻辑条件语句 logical if statement; 逻辑图 [自动化] logic diagram; logical chart; 逻辑推演 logical deduction by reasoning; 逻辑网络 logical net (work); 逻辑文件 logical file; 逻辑项 logical term; 逻辑型 logical type; 逻辑形l grammar; 逻辑原子论 [哲学] logical atomism; 逻辑运算 logical calculus; logical operation; 逻辑障碍[心] paralogia; 逻辑哲学 philosphy of logic; 逻辑正确 logically true; 逻辑证明 logical proof; 逻辑值 logic value; logical value; 逻辑制表 logic tab; 逻辑重音 logical accent; 逻辑主义 logicism; logicistic; 逻辑主语 [语言学] logical subject
• "按描述" 英文翻译 :    by description
• "弧描述" 英文翻译 :    arc description
• "画描述" 英文翻译 :    depict depict(pict
• "记下；描述" 英文翻译 :    write down
• "类描述" 英文翻译 :    class description

• Study on logical description of chinese metaphor comprehension
  汉语隐喻理解的逻辑描述初探
• Furthermore , the little support of enterprise logic description in server - side lead to worse performance of the maintenance
  并且对于服务器端的企业逻辑描述支持较少，这使得服务器端的企业逻辑一般都存在于代码之中，以至于维护性较差。
• The design view of a solution or project , which you see in solution explorer , is a logical depiction of the contents of a solution or project
  您在解决方案资源管理器中看到的解决方案或者项目的设计视图是解决方案或者项目内容的逻辑描述。
• 3 halpern j , zuck l . a little knowledge goes a long way : simple knowledge based derivations and correctness proofs for a family of protocols . journal of the acm , 1992 , 39 : 449 - 478
  并且他们只是用认识逻辑描述协议的规范,但没有给出相应的算法,即给出一个具体的协议，如何自动生成公理集并自动验证他满足一些认知规范
• Second , temporal logic is adopted to describe the temporal attributes of the static knowledge and the temporal relations , constraints of the dynamic knowledge , with which are dealt as isolated temporal knowledge
  二、采用时态逻辑描述静态知识的时态属性以及动态知识的时态关系和约束，把它们独立出来作为时态知识进行处理。
• From the point of theory , semantic sharing is the essence of gis information sharing , which is to resolve not only the semantic problems , but those in cognizing and logic describing
  从理论角度看gis语义共享是gis技术下地理信息共享的本质，不但要解决数据层次上的问题，更要解决语义层次上的问题，包括地理认知问题及其逻辑描述问题。
• In order to make the speed of the function simulation faster , the system adopting vhdl ( very high - speed integrated circuit hardware description language ) to make simulation faster , at the same time this make it easy to transplant the circuit to other kinds of isp chips
  为了提高仿真的速度，对部分电路采用vhdl语言进行逻辑描述。通过实验证明，在微波测距仪中采用在系统可编程逻辑器件，收到了很好的效果。
• We first present a number of desiderata for an xml - based query language , and based on this criterion , we introduce the syntax of a simple core ian - guage for semistructured data and then describe four extensions that have resulted in working prototypes . second , we present the algorithm for computing the result of a regular expression on data graph with cycles , the first - order interpretation of querying language for semistructured data , and explore structural recursion and bisimulation in semistructured data and propose an efficient and systematic way to computing a bisimulation between the two graphs . we also proposed and implemented a web querying system with database features
  基于这些准则，对一个简单的半结构数据查询核心语言的语法提出了两方面扩充；给出了计算数据图中正规表达式的算法；对半结构数据查询语言的一阶逻辑描述、结构递归和数据图的双态仿真( bisimulation )等问题进行了研究，提出了一种判定数据图的bisimulation算法；在xml数据查询语言研究的基础上，设计并实现了一种具有数据库查询特性的web查询系统原型。
• Symbol logic method is unable to guarantee the complement of knowledge description , which leads to complicated deducing process . we introduce fuzzy cognitive map into agent modeling and deducing , substitute symbolic description and inference with simple mathematical computing , achieving agent intelligent decision - making in complex environment
  针对现有符号逻辑描述方法难以保证知识表达的完整性，推理过程陷于复杂的逻辑演绎的问题，作者引入了模糊因果关系的网络模型，基于模糊认知图理论构造agent推理模型，用简单的数值计算代替复杂符号系统的表示和演绎推理过程，实现了复杂环境下的agent智能决策。