本文研讨局部网络的传输协议及其形式描述技术。
A transport protocol and its formal description techniques for local networks are discussed.
技术路线图应用简洁的图形、表格、文字等形式描述技术变化的步骤或技术相关环节之间的逻辑关系。
The technology roadmap USES the terse graph, table and character to depict the process of the technology change or the logic relations between every technological layer related.
最近在形式描述技术(FDT)领域及其用于协议设计验证、实现开发和测试方面已做了大量的研究工作。
Much research has been done recently in the area of formal description techniques (FDT) and their use for protocol design validation, implementation development and testing.
还存在其他方法和形式,但是本文将集中于实体关系建模技术,因为此项技术与稍后将描述的技术更密切相关。
There are other approaches and forms, but this article focuses on the entity-relationship modeling technique because it is more closely related to the technologies described later.
在技术意义上,迈尔斯(1999年,[网络])这样描述动画:动画是我们熟悉的一种形式,是一系列图纸联系在一起展现形式。
In a technical sense, Myers (1999, [Online]) describes animation, the form that we have become familiar with, as a series of drawings that are linked together and photographed.
提出了一种将前后断言形式定义的非过程化的软件功能转换为过程化算法描述的技术。
In this paper, we propose a technology which transforms non-procedural functions defined formally by precondition and postcondition into procedural algorithms.
利用XML技术,设计了一套描述工艺卡片表格的通用XML词汇表,基于这套词汇表和DTD灵活构建了所需工艺文件模板,并以XML文档形式存储。
Using XML technology, the authors design a vocabulary list to describe the tables of process cards. The card template is constructed with the vocabulary list and DTD.
智能网业务的形式化描述技术和业务验证的理论与方法是目前智能网(IN)业务实现过程中的关键技术。
The formal description techniques for intelligent network (IN) service and the theory and methods in IN's service verification are the key technologies in IN's realization.
给出DD -RCM模型的图形化和形式化描述实例,并分析DD - R CM建模方法的技术特点。
It gives the graphical and formal describing example of DD-RCM model and the characteristic of DD-RCM technology also.
本文依据国际电信联合委员会(itu - T)的智能网能力集建议,对智能网业务的形式化描述技术(FDT)、智能网业务逻辑验证的理论与方法等进行了研究。
Based on the ITU-T Intelligent Network CS Recommendation, the paper studies the formal description techniques (FDT) for in service and the theory and methods in in's service verification.
基于DSP数据处理技术的优点,提出一种分布式系统组成结构,并以流程图的形式描述DSP与系统主机之间的系统工作原理。
The distributed system architecture being applied DSP is presented, the system working principle between DSP and Main Machine was described with some flow flats.
介绍了形式化描述语言LOTOS的特性,结合面向对象技术和状态图的理论知识,给出了基于LOTOS的动态模型的形式化方法,并给出了实例说明。
Combined with theory of object oriented technology and state chart, formalization method of dynamic model based on LOTOS is presented. Furthermore, a case is presented to demonstrate this method.
本文在分析研究依赖注入技术的基础上,用完全格工具形式化地描述依赖注入的执行过程。
Based on analyzing and studying dependency injection, a formal description for its execution with a kind of mathematical tool named complete lattice is given in this paper.
介绍了形式化描述技术在测试集生成过程中的应用,针对PPP协议介绍其协议实现时的状态迁移。
This paper introduces the application of formal description technology in the progress of generate testing suite, and the PPP protocol's state transference of the implement module.
该方法融合CPN和面向对象技术的优点,从形式化、可视化的角度描述基本通信系统的运行过程。
This method reflects the advantages of CPN and object-oriented technology, and describes the operation process of basic communication system from the formal and visual aspects.
该方法融合CPN和面向对象技术的优点,从形式化、可视化的角度描述基本通信系统的运行过程。
This method reflects the advantages of CPN and object-oriented technology, and describes the operation process of basic communication system from the formal and visual aspects.
应用推荐