| 单词 | formal model |
| 释义 | 例句释义: 形式模型,形式化模型,规范模型,正式模型 1. Facts may take the form of natural language statements or as attributions, relationships, or generalizations within a formal model. 事实可以采用自然语言语句的形式，也可以作为一个规范模型中的属性、关系或概要。 www.ibm.com 2. The architecture is expressed as a formal model in UML, using a tool like Rational Software Architect to create it. 体系结构采用UML表述为正式的模型，要使用RationalSoftwareArchitect之类的工具创建此模型。 www.ibm.com 3. Finally, the author proposes a formal model of discourse construal from a generative holistic perspective. 最后，文章提出了一个语篇整体性识解的形式模型。 dictsearch.appspot.com 4. Manufacturers can provide colorful formal model for color card for consumers to choose. 正规厂家能提供色彩丰富的样板色卡供消费者选择。 www.gzkangdian.cn 5. In other words, they needed a formal model of computation. 换名话说，精确计算机需要一个正规的计算模式。 bbs.chinaunix.net 6. The Formal Model of a Simple Network Payment Protocol 简单网络支付协议的形式模型 service.ilib.cn 7. Formal Model and Security Analysis for Cryptographic Protocols in the Distributed Network Environment 分布式网络环境下密码协议形式模型和安全性 www.ilib.cn 8. Formal Model of Proxy Multi-Signature and a Construction 代理多重签名的形式化模型及一个新的体制 www.ilib.cn 9. Improved formal model and algorithm for verifying cryptographic protocols 改进的加密协议形式化验证模型和算法 www.ilib.cn 10. Research on Network Service Architecture and Its Formal Model 网络服务体系结构及其形式化模型的研究 www.ilib.cn 1. Formal Model for Runtime Detection of Feature Interaction 特征交互动态检测的形式模型 www.ilib.cn 2. Safety Assessment of Interlocking Formal Model 联锁系统形式化模型的安全性评估 www.ilib.cn 3. Reputation Formal Model for Wireless Sensor Network 基于无线传感器网络的信誉形式化模型 scholar.ilib.cn 4. Formal Model of Object-oriented Architecture 面向对象软件体系结构的形式化模型 www.ilib.cn 5. A Formal Model of UML Diagrams and Its Analysis UML视图的一种形式化模型及其分析 service.ilib.cn 6. A Formal Model of a Spatial Economy 一个空间经济的正式模型 www.yangtze.org.cn 7. A Formal Model for Dynamic Class Loading in the Java Virtual Machine Java虚拟机动态类加载的形式化模型 www.ilib.cn 8. A Formal Model of Multi-Agent Collaborative Systems 多主体协作系统的一种形式模型 www.ilib.cn 9. Formal Model for Secure Group Management 安全组管理模型研究 scholar.ilib.cn 10. A Formal Model and Algorithm for Verifying Security Protocols Based on Strand Spaces 基于串空间的安全协议形式化验证模型及算法 www.ilib.cn 1. Study on Routing Protocol Testing Method Based on Same Formal Model 基于相同形式模型的协议测试方法研究 service.ilib.cn 2. A Formal Model of Workflow Net 一种形式化的工作流网模型 www.ilib.cn |
| 随便看 |
|
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。