Based on an analysis of the contents and methods of protocol engineering activities and their interrelations, first discusses main formal description techniques (FDTs) and their characteristics, compares corresponding strongpoints and weaknesses, and then leads to Petri nets based FDT.
该文首先分析了协议工程各项活动的内容、方法和相互关系 ,讨论了各种形式描述技术 ( formal description technique,简称 FDT)的特性及其优缺点 ,从而引出基于 Petri网理论的 FDT。
E LOTOS is an enhancement to formal description technology LOTOS.
Ｅ－ＬＯＴＯＳ是形式描述技术ＬＯＴＯＳ的增强版。
Applications of formal description techniques in communication protocols security analysis;
形式描述技术在通信协议安全分析中的应用
FDT: Development and Research on Intuitive LOTOS
形式描述技术:直观LOTOS的提出和研究
Protocol Test Sequence Generation Based on Formal Specification;
基于形式化描述的协议测试序列生成技术
Research of Protocols Formal Description Technology Based on CSP and RSL
基于CSP和RSL的协议形式化描述技术研究
The Research and Realization of Formal Description and Digital Image Processing Technology Based on the Online Score System
基于网上阅卷系统的形式化描述及数字图像处理技术研究与实现
Study on New Description of Radar Signal and Recognition Algorithm
探讨一种新的雷达信号描述方式和识别技术
Overview of Formal Specification Patterns and Their Reuse;
形式规约模式及其重用技术研究综述
The Stduy of Formal Description of Chinese Character Glyph and Application
汉字字形形式化描述方法及应用研究
A Restoration Scheme of Calligraphy Tablet Documents Based on Fourier Descriptor;
基于傅立叶描述子的书法碑刻文字字形复原技术
The sample for this study consisted of286 deaf students from36 junior high schools in Taiwan.
并以描述性统计、式回归等统计技术处理所得之资料。
The Upper Limbs Action Description and Data Proving of the Mid-wayrunning Motion in the Boating Style Sprint Technology;
划船式短跑途中跑技术上肢动作描述及其数据证明
To use square graph to describe the structure of the machine.
用方块图形式来描述机器的结构。
Biological procesdures cannot be expressed in mathermatical formulae.
物理形成的过程无法用数学公式描述。
Beside this,the formalization based on OWL+Dublin Core is provided.
给出基于OWL+Dub lin Core的形式化描述;
SOFTWARE TRANSPLANTING TOOLS: A FORMAL DESCRIPTION AND CASE STUDY
软件移植工具:形式描述及实例研究
Formal Description of Command and Control Relationships;
C2组织指挥控制关系的形式化描述
Study on Frame Description of RDF;
资源描述框架的形式化表示问题研究
The Research on B Formal Specification of UML Use Case Model
UML用例模型的B形式化描述方法研究
A Formal Description of Traffic Signal Based on LTL
基于LTL的交通灯系统形式化描述方法
