Chinese translation for "逻辑描述"
|
- description logic
logic description
logical description
Related Translations:
统计描述: statistical description 参数描述: ug/photo parameter descriptions ug/photo 地质描述: geologic description 定性描述: qualitative description
- Example Sentences:
| 1. | Study on logical description of chinese metaphor comprehension
汉语隐喻理解的逻辑描述初探 | | 2. | Furthermore , the little support of enterprise logic description in server - side lead to worse performance of the maintenance
并且对于服务器端的企业逻辑描述支持较少，这使得服务器端的企业逻辑一般都存在于代码之中，以至于维护性较差。 | | 3. | 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
您在解决方案资源管理器中看到的解决方案或者项目的设计视图是解决方案或者项目内容的逻辑描述。 | | 4. | 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
并且他们只是用认识逻辑描述协议的规范,但没有给出相应的算法,即给出一个具体的协议，如何自动生成公理集并自动验证他满足一些认知规范 | | 5. | 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
二、采用时态逻辑描述静态知识的时态属性以及动态知识的时态关系和约束，把它们独立出来作为时态知识进行处理。 | | 6. | 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技术下地理信息共享的本质，不但要解决数据层次上的问题，更要解决语义层次上的问题，包括地理认知问题及其逻辑描述问题。 | | 7. | 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语言进行逻辑描述。通过实验证明，在微波测距仪中采用在系统可编程逻辑器件，收到了很好的效果。 | | 8. | 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查询系统原型。 | | 9. | 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智能决策。 |
- Similar Words：
- "逻辑门电路" Chinese translation, "逻辑门扩展器" Chinese translation, "逻辑门冗余度" Chinese translation, "逻辑门与基本逻辑电路" Chinese translation, "逻辑门元器件库" Chinese translation, "逻辑描述符" Chinese translation, "逻辑描述语言" Chinese translation, "逻辑名" Chinese translation, "逻辑名表" Chinese translation, "逻辑名字" Chinese translation
|
|
|
