您要查找的是不是:
- The paper introduces formal description techniques and SDL. 介绍了形式化描述技术及其SDL语言,并以PPP协议为例,研究了协议的形式化开发的整个过程。
- In this paper the ISO & CCITT formal description techniques will be introduced. 本篇文章中,将介绍ISO和CCITT的形式描述技术。
- The OIM is a formal description of metadata constructs organized by subject area. OIM是按主题区域组织的元数据构造的正式说明。
- Ultimately, the UML model is converted into an XML schema, which is a very formal description of the XML vocabulary. 最后,UML模型转化成XML模式,这是XML词汇表非常正式的描述。
- Alternatively, the model could be processed into a WSDL file - again a formal description of a Web service. 或者模型被处理成WSDL文件,同样是Web服务的正式描述。
- Finally, an example is given to show modeling process and formal description based on extended RSL. 最后给出了一个实例说明 OOFSM的建模过程 ,并用扩充的 RSL进行了形式化描述
- The dissertation extends DisCo formal description language to precisely describe design pattern. 本文扩展了DisCo形式化描述语言,使其能很好地描述设计模式。
- Second, ESTELLE, one of formal description technique, is extended to broadcast channel for description power. 第三章和第四章主要介绍了ESTELLE为代表的形式化描述技术。 针对ESTELLE描述通道的局限性,给出了一个描述广播通道的扩展;
- Generalized transition network (GTN) is used to describe control flow as formal description in the system. 通过引入通用转换网络,对交互式多媒体应用系统的内部呈现流程进行了形式化描述;
- At the same time,the fault model was built up to provide precise formal description of network fault colle. 针对网络故障的复杂性和多样性,对网络故障管理的形式化描述进行了研究。
- CDT model is the formal description model of the construction of data types and based in category theory. CDT模型是以范畴理论为基础,以数据类型的构造为目的的形式化描述模型。
- Unlike seals and emblems, coats of arms have a formal description that is expressed as a blazon. 亦称盾章,指诞生于12世纪战场上,主要是为了识别因披挂盔甲而无法辩认的骑士;
- A language element in the formal description of a computer language, for example, the metavariables in an arithmetical expression are constants, variables, operators, etc. 计算机语言的形式描述中的语言元素,如在算术表达式中的元变量是常数、变量、运算符等。
- The reference documentation provides a brief overview of each namespace as well as a formal description of each type and its members. 此参考文档提供对每个命名空间的简要概述以及对每种类型及其成员的正式说明。
- The structure of its supporting process is introduced firstly, and then the formal description is given, so a new SPM (software process model) is constructed. 介绍了该方法支撑过程的基本构造,对其进行了形式化的描述,形成了新的软件过程模型。
- ESTELLE is a new formal description technique developed by the ISO for the description of computer communication protocols. ESTELLE是一种由ISO提出的用于描述计算机通信协议的形式化描述技术,并已成为国际标准。
- Estelle,a famous formal description technique,is discussed in this paper,where its principal features are also described. 本文主要研讨了一种著名的形式描述技术Estelle。 文中先论述了Estelle的主要特征;
- It first describes formal description for the specification of communication protocol. and the principal features of Estelle, SDL and Lotos. 论述通信协议的形式描述,Estelle、SDL和Lotos等的主要特征;
- Abstract: LOTOS is a specification language that aims at describing the dynamic behavior of complex systems (formal description language). 摘 要: LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言),是可操作的。
- Based on this formal description method, a noel market-based wholly distributed multi-robot task allocation method is proposed. 基于这种形式化描述方法,提出了一种采用市场机制的完全分布式的多机器人任务分配方法。