| 单词 | formal description |
| 释义 | 例句释义: 形式描述,形式化描述,短句来源 1. Alternatively, the model could be processed into a WSDL file -- again a formal description of a Web service. 或者模型被处理成WSDL文件，同样是Web服务的正式描述。 www.ibm.com 2. The reference documentation provides a brief overview of each namespace as well as a formal description of each type and its members . 此参考文档提供对每个命名空间的简要概述以及对每种类型及其成员的正式说明。 www.bing.com 3. A formal description of a system, or a detailed plan of the system at component level to guide its implementation. 系统的正式描述，或用于指导其实现的组件级别的系统详细计划。 www.ibm.com 4. Analyzing the evolution of a scale-free network and giving a proper formal description are hot issues in the research of complex network. 分析无尺度网络的动态演化过程，合理解释其形成机制是当前复杂网络研究的热点问题。 paper.pet2008.cn 5. Bitmap of the image file to a graphic image, dot-matrix, formal description is ideal for performance photos, paintings, and more colorful. 位图式图像文件以不面阵步不天刻画图形图像，不入格得当外示照片、油画等色彩丰裕的息品。 www.bing.com 6. On this basis, given the formal description of the methodology and application example. 并在此基础上给出了这一方法的形式化描述和应用实例。 www.ceps.com.tw 7. LOTOS is a specification language that aims at describing the dynamic behavior of complex systems(formal description language). LOTOS主要是用来描述复杂系统动态性的说明语言（形式描述语言），是可操作的。 www.dictall.com 8. Thls paper gives a merger dynamic and static technique of partial evaluation for procedural language and its formal description. 提出一种应用于过程式语言的动静态结合的部分求值技术，并给出该方法的形式描述。 www.dictall.com 9. Ultimately, the UML model is converted into an XML schema, which is a very formal description of the XML vocabulary. 最后，UML模型转化成XML模式，这是XML词汇表非常正式的描述。 www-128.ibm.com 10. The OIM is a formal description of metadata constructs organized by subject area . OIM是按主题区域组织的元数据构造的正式说明。 www.bing.com 1. In this paper the ISO & CCITT formal description techniques will be introduced. 本篇文章中，将介绍ISO和CCITT的形式描述技术。 www.showxiu.com 2. A classic perception of liars is that they are more anxious, and the 'Anxiety Hypothesis' is a formal description of the idea. 一种典型的观点认为，撒谎者更为焦虑，而“焦虑假说”是该观点的正式描述。 www.bing.com 3. Based on F-logic and O-logic, a formal description language of ontologies with value restrictions is proposed. 基于F-逻辑和O-逻辑，提出了一种带值限制的本体形式表示语言。 kns50.chkd.cnki.net 4. And, the expanded RBAC model-ERBAC model and the formal description are given. 给出了扩展的RBAC模型—ERBAC模型，并给出了其形式化描述。 www.fabiao.net 5. Communication model of attribute authority and attribute registration authority in PMI and its formal description PMI中属性权威与属性注册权威通信模型设计及形式化描述 scholar.ilib.cn 6. Application of Formal Description Technique for Protocol Designing in Distributed Measuring and Controlling System 形式化方法在分布式测控系统协议设计中的应用 service.ilib.cn 7. An ontology is a common, shared and formal description of important concepts in an specific domain 本体是对一个特定领域中重要概念的共享的形式化的描述 blog.sina.com.cn 8. Research on Formal Description of Digraph-Based Fault Tree Construction and Its Application 基于有向图故障树自动建树方法的规范化描述及其应用研究 www.ilib.cn 9. Using construct categorical algebra language for formal description of cryptographic protocol 使用构造类别代数描述和验证密码协议 www.ilib.cn 10. Design and formal description of security policy coordination for heterogeneous information systems 异构信息系统下安全策略协同的设计与形式化语言描述 www.ilib.cn 1. Formal Description of a Multimedia Command Analyzer 多媒体命令分析器的形式化描述 www.ilib.cn 2. The Formal Description of Check Information and its Applications 阅卷信息的形式化描述及其应用 www.ilib.cn 3. Formal Description for Common Framework to Evaluate Weapon Systems Effectiveness 武器效能评估通用框架的形式化描述 www.ilib.cn 4. Formal Description Techniques Supporting for Development of Communication Software System 通信软件系统开发中的形式化描述技术 beta.ilib.cn 5. Formal description of the topological spatial relationship in GIS GIS中空间拓扑关系的形式化描述 ilib.cn 6. Research on Formal Description Model of Directional Relationships 空间方向关系形式化描述模型研究 www.ilib.cn 7. Research on the Formal Description Language for Military Conceptual Modeling 军事概念建模形式化描述语言比较分析 www.ilib.cn 8. Research on Formal Description Techniques of Network Attack Procedures 网络攻击过程的形式化描述方法研究 www.ilib.cn 9. A Formal Description and Verification about Digital Signature Process 数字签名过程的一个形式描述和验证 service.ilib.cn 10. Formal Description of Digital Certificate Semantics 数字证书语义的形式化描述 service.ilib.cn 1. Network Attack Classification on Results and Formal Description 基于攻击效能的网络攻击法分类与形式化描述 www.ilib.cn 2. A Formal Description of Optimistic Nested Workflow Transaction Model 乐观嵌套工作流事务模型的形式化描述 service.ilib.cn 3. The Formal Description and Implement Approach of Recursive Query in Tree-Like Structure 类树结构关系中递归查询的形式描述与实现方法 www.ilib.cn 4. Formal Description Method for Ontology Based on Simple Attribute-Grammar and Its Application 基于属性文法的本体形式化描述方法及其应用 www.ilib.cn 5. Formal description of properties of concurrency system by temporal logic 时态逻辑形式化描述并发系统性质 service.ilib.cn 6. Formal description and analysis of Web services compatibility Web服务相容性的形式化描述与分析 www.ilib.cn 7. A Formal Description of the Graphics Simulation Model 图形仿真模型的形式化描述方法 service.ilib.cn 8. Formal Description and Analysis of Security Protocols 安全协议的形式化描述和分析 www.ilib.cn 9. The Formal Description of Distributed Denial of Service Attack 分布式拒绝服务攻击的形式化描述 www.ilib.cn 10. Research on the formal description of object model for MIS 管理信息系统对象模型形式描述的研究 ilib.cn 1. A Formal Description of the Simulation Model Based on Pushdown Automator 基于下推自动机的仿真模型形式化描述 service.ilib.cn 2. Research on Formal Description Techniques of Protocols Based on RSL 一种基于RSL的协议形式化描述技术的研究 service.ilib.cn 3. Research on Formal Description of Protocols Based on RSL RSL应用于协议形式化描述的研究 www.ilib.cn |
| 随便看 |
|
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。