- 重点词汇
- logicn.逻辑（学）;思维方式;（做某事的）道理;
- trustedadj. 可[置]信的，无错的;
- computingn.计算机的运作;
- predicatevt.断言，断定;宣布，宣讲;使基于;
- conditionaladj.有前提的;（从句）条件的;
- onprep. (覆盖、附着)在…上;由…支撑着;在(运输工具)上;在（某一天）;就在…之后;关于（事或人）;（身上）带着;为（某团体或组织）的一员;吃;（表示方向）在，向，对;在，接近（某地）;根据;以…支付;通过;与…相比
- ofprep. 关于;属于…的;由…制成;
- analysisn.分析，分解;梗概，要略;[数]解析;验定;
- basedadj.有根基的;有基地的;
- 相关例句
This paper presents a formalized description of scheduling in the high-level synthesis.
本文介绍高层次综合中调度问题的形式化描述。
互联网摘选
A ontology has been described one model formalized and shared in a specific research field.
一个本体描述了一个特定研究领域的一个形式化的、共享的概念化模型。
互联网摘选
General Discussion about the True Property of Rules and Formalized Algorithm for True Rules
规则真的一般概念和真规则形式算法
互联网摘选
2, Mobile Agent systems lack some unified formalized description means.
二是移动Agent系统缺乏统一的形式化描述手段。
互联网摘选
Equivalence partitioning is a much more formalized method of test case design.
等价类划分是一个更加形式化的设计测试用例的方法。
互联网摘选
Using the concepts of set, the paper formalizes composite structures.
本文应用集合概念，对刚、铰组合结构进行了形式化描述；
互联网摘选
Formalized Methods and Functional Propositions for the Design of a CAD System
CAD系统设计中的形式化方法与功能命题
互联网摘选
The new system helps to formalize the business management of the insurance company.
系统的使用，规范了保险公司的业务管理。
互联网摘选
Virtual Interface is an additional part of Architecture Space Formalized System.
虚拟界面是建筑空间形式系统的一部分，是对该系统的补充。
互联网摘选
Formalized Description of Management Object Behavior Based on the Rule Approach
基于规则方法的管理对象行为形式化描述
互联网摘选
本月，Facebook还挑选了美国联邦通讯委员会（Federal Communications Commission）前主席凯文·马丁（Kevin Martin）来为公司在华盛顿和布鲁塞尔等地方游说。
互联网摘选
