formal description的例句大全

UML Sequence Diagram emphasizes particularly the process of message interaction of objects. But it lacks formal description of dynamic semantics, therefore goes against comprehension of the diagram and test case generation based on the diagram.

UML顺序图侧重于展示对象之间的消息交互过程，但其动态语义缺乏形式化的描述，不利于对顺序图模型的准确理解和基于该模型的测试用例生成。

After a brief introduction to the formal description technique LOTOS and ISO/ OSI session layer standard, this paper specifies the OSI session layer in detail and an architectural model and some important models are given.

本文通过对形式化描述技术LOTOS语言和ISO/OSI会话层标准的简要介绍，较详细地讨论了用LOTOS语言对OSI会话层的形式化规范描述，给出了其结构模型及一些重要的模块结构描述。

This paper provides a complete and formal description for basic case retrieval network ( BCRN) which is put forward by Lenz and Burkhard, establishes its mathematical model and then makes an extension for it.

本文对由Lenz与Burkhard提出的基本案例检索网络给出了完整的、形式化的描述，基于这种描述建立起数学模型，进而对其进行扩展。

formal description of iso/ osi transport layer

ISO/OSI运输层协议的形式描述

this paper introduces a parallel processing model of osi/ rm transport layer protocol to improve the efficiency of the protocol's processing. according to the characteristics of the model, petri nets are used as the formal description tools to specify, analyze and verify the model.

本文提出了一个OSI／RM运输层协议并行处理模型，以适应协议的高效处理.根据模型特点，使用Petri网作为形式化描述工具，对该模型进行描述、分析和验证。

The model-based specification language was used in test specification, and formal description testing data and other testing information for TTF parts was defined with description language Z.

测试规范使用基于模型的规范语言，由描述语言Z定义TTF基本部件的形式描述测试数据和其它测试信息。

a transport protocol and its formal description techniques for local networks are discussed.

本文研讨局部网络的运输协议及其形式描述技术。

Estelle: a formal description technique, and its application for communication protocol

Estelle：通信协议的一种形式描述技术及应用

An Interactive Generating Method for Protocol Formal Description Language Estelle

协议形式描述语言Estelle的交互生成方法

Formal Description Technique Based on Estelle for Protocol

基于Estelle的协议形式描述技术

Second, ESTELLE, one of formal description technique, is extended to broadcast channel for description power.

第三章和第四章主要介绍了ESTELLE为代表的形式化描述技术。针对ESTELLE描述通道的局限性，给出了一个描述广播通道的扩展；

ESTELLE is a new formal description technique developed by the ISO for the description of computer communication protocols.

ESTELLE是一种由ISO提出的用于描述计算机通信协议的形式化描述技术，并已成为国际标准。

Formal Description of Transmission Control Protocol

TCP协议的Z语言描述

The Development Method of Value-Added Service Based on Protocol Formal Description

基于协议形式化描述的网络增值服务开发方法与技术

A Method Based on Formal Description to Implement Network Frame Encode/ Decode

一种基于形式描述的网络帧编解码实现方法

Design and Implementation for Compiler of Formal Description Language ASN. 1

形式描述语言ASN.1及其编译器的设计与实现

Formal description for architecture model based on feature and category theory

基于特征和范畴理论的体系结构模型形式化描述

Describe OODA decision ring thought and DEVS formal description method effectively. ( 2) Put forward a modeling method based on the theory of DEVS to air defense of anti-aircraft gun battle.

对OODA决策环思想和DEVS形式化描述方法进行了有效的阐述。（2）提出了基于DEVS理论对自行防空高炮的协同作战进行建模方法。

In this paper, a method of dynamic code analysis is proposed to apply the model checking into interpreted languages. The classification and formal description of temporal safety properties are discussed for managing and maintaining them.

该文重点分析了时序安全特性和竞争条件等代码分析热点问题，给出了时序安全特性的分类以及形式化描述，提出了将模式识别应用于解释性语言中的动态代码检查方法。

The Research and Formal Description of Locking Mechanism for Concurrent Control in Cooperative Design

协同设计中并发控制加锁机制的研究与形式化描述