形式化描述,formal description
1)formal description形式化描述
work fault managementformal description based on Communication Sequential Processes(CSP);基于通信顺序进程的网络故障管理形式化描述
2.XML-Based Formal Description and Its Application in Exam.System;基于XML的形式化描述及其在考试系统中的应用
3.Research of protocolformal description based on RSL;RSL在协议形式化描述中的应用研究
英文短句/例句
1.The Stduy of Formal Description of Chinese Character Glyph and Application汉字字形形式化描述方法及应用研究
2.Beside this,the formalization based on OWL+Dublin Core is provided.给出基于OWL+Dub lin Core的形式化描述;
3.Formal Description of Command and Control Relationships;C2组织指挥控制关系的形式化描述
4.The Research on B Formal Specification of UML Use Case ModelUML用例模型的B形式化描述方法研究
5.A Formal Description of Traffic Signal Based on LTL基于LTL的交通灯系统形式化描述方法
6.Protocol Formal Description and Verification Method Based on RSL基于RSL的协议形式化描述与验证方法
7.Research on Resource Formal Description in Navy Grid Environment海上信息栅格资源形式化描述的研究
8.Approach to Formal Description of Cryptographic Protocols Based on XML基于XML的安全协议形式化描述方法
9.A formal description method for P2P network modelsP2P网络模型的形式化描述方法(英文)
10.FORMAL DESCRIPTION OF AN AUTHENTICATION SYSTEM OF USER"S STATUS一种用户身份认证系统的形式化描述
11.Formal Description of Regions with Hole"s Topological Relations带空洞面对象间拓扑关系形式化描述
12.A Formal Description of the Simulation Model Based on Pushdown Automator基于下推自动机的仿真模型形式化描述
13.The Research on Formal Description Method for Aspect-oriented Statechart Based on CSP;基于csp的面向方面状态图形式化描述方法研究
14.Protocol Test Sequence Generation Based on Formal Specification;基于形式化描述的协议测试序列生成技术
15.Description and Analysis of WS Security Based on Temporal Logic;基于时序逻辑的Web服务安全形式化描述与分析
16.Research on the Formal Description of Emergency Plans;突发事件应急预案形式化描述方法研究
17.A Formal Description and Security Analysis of a Digital Signature System对电子签名系统的形式化描述和安全性分析
18.Process Model for Multimedia Task Management and its Formal Descriptions多媒体任务管理中的过程模型及其形式化描述
相关短句/例句
formal specification形式化描述
1.Theformal specification of railway crossing system based on Real-Time Object-Z基于Real-Time Object-Z语言的铁路交叉道口系统的形式化描述
2.Based on physicality and design,a new agent model is put forward,whoseformal specification is given.基于物理和设计立场,提出一种新的Agent结构模型,并作了形式化描述。
3.Theformal specification of architecture is on the assumption of static system interaction and configuration.体系结构的形式化描述大都基于系统的静态的交互和配置。
3)formalization description形式化描述
4)process and formalized description过程形式化描述
5)non-formalization descriprion非形式化描述
6)formal description model形式化描述模型
1.This paper classifies the spatial directional relationformal description models,and demonstrates the detail methods of the spatial directional relationformal description models.本文给出了空间方向关系形式化描述方法的分类,阐述了空间方向关系的形式化描述模型与表达方法,分析比较了各自的优缺点,并探讨了目前存在的问题和今后的发展方向。
延伸阅读
公理化方法(见公理化和形式化)公理化方法(见公理化和形式化)axiomatical methodgongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
