逻辑描述 meaning in English
description logic
logic description
logical description
Examples
- 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智能决策。