您要查找的是不是：
- Automatically Constructing Counter-Examples of Security Protocols Based on the Extended Horn Logic Model 基于Horn逻辑扩展模型的安全协议反例的自动构造
- extended Horn logic model 扩展Horn逻辑模型
- Cow baby and polar bear "Bindi "see the Narwhal, Narwhal extend horn to collect the information of temperature and humidity. 独角鲸.;JPG 牛宝宝与北极熊巧遇一角鲸，一角鲸伸出角收集外面温度与溼度的资讯。
- The influences of Past Due,Offset Time and Safety Time on the MRP logic model are analyzed in detail,which is in according with the international standard and practical demand. 文章参照现行国际标准,详细分析了逾期量、冲销时间和安全时间对MRP逻辑模型的影响,并最终提出表达更为清晰、逻辑更为严密的MRP逻辑模型。
- This paper analyzed the problems existing in administration of authorization in MIS and applied the RBAC in MIS, then presented a logic model of implementation. 文中分析了目前MIS实施中权限管理存在的问题,并将RBAC应用于管理信息系统中,给出了实现的逻辑模型。
- This paper briefly describes the background of text filtering and puts forward the logic model for Chinese-English cross-language text filtering based on Latent Semantic Indexing. 文章简要地描述了文本过滤的背景，提出了基于潜在语义索引的中英文双语交叉过滤的逻辑模型。
- BDI (Belief, Desire, Intention) is a mature architecture for intelligent agents. In this paper, the BDI theory is applied to the design of multi robot systems. Firstly, the system model is described with formal logic model. BDI模型是智能体设计的一种成熟结构 ;本文将BDI模型应用于多机器人智能体系统设计中 .
- The Correspondence between Horn Logic Programs and Formal Grammars Horn逻辑程序和形式文法之间的对应关系
- Based-on Dynamic Fuzzy Logic, we proposed a DFL agent logical model and a problem solving model based on multi-agent. 基于动态模糊逻辑(DFL)给出了DFL agent的逻辑模型，建立一个基于多agent的问题求解模型。 主要包括以下几个方面的工作：
- Two kinds of optimization logic model of sintering process are put forward after analyzing the relation of mix ore scheme , process parameters and product quality index of Baoshan iron plant. 在分析宝钢烧结配矿方案、工艺参数以及产质量指标三者相互关系的基础上，提出了两种优化烧结工艺参数的数学逻辑模型。
- In the process of designing a logic model of data warehouse,the design quality of the data granularity has the very tremendous influence on the performance and the function of the warehouse. 在设计数据仓库逻辑模型过程中,数据粒度的设计好坏对数据仓库的性能、功能有很大影响。
- This article mainly discusses the building of such sequence logic models as D_latch, D_FF and T_FF. 文中主要讨论常用时序逻辑模型(D锁存器、D触发器和T触发器)的建立。
- The lark's on the wing, the snail's on the horn. 云雀在空中飞翔，蜗牛伸出触角爬行。
- The gymnast extended her arms horizontally. 那女子体操运动员双臂平伸。
- It is a barbarous way to extend territory by arms. 以武力扩张领土是一种野蛮的方式。
- This perspective is that of logic and philosophy, e.g. in the foregrounding of the sentence as the basic unit of language, organized on a logical model into Subject + Predicate. 并能够在相关领域从事英语语言教学、语言、文学、科技翻译及口译、能熟练地运用英语处理商务工作，有较强的实践能力和适应能力。
- The rhinoceros has one horn on its nose. 犀牛鼻子上有一个角。
- At this point your logic is at fault. 在这一点上你的推理是错误的。
- The software logical model is designed with data flow graph and the software module composition is constructed by structure approach. 基于数据流图设计了软件的逻辑模型，利用结构化方法设计了软件的模块构成。
- She warmly extended both hands towards us. 她热情地向我们伸出了双手。
