FDT:形式化描述技术
“形式化描述技术”(Formal Description Technique,常缩写为FDT)是一种用于标准化描述系统或流程的专业方法。缩写FDT的出现,极大地简化了书写与使用过程,尤其在跨领域集成和复杂系统建模中应用广泛。这一技术多出现在综合性研究或未明确分类的领域,为各类通信协议和分布式系统的规范提供清晰、统一的描述框架。
Formal Description Technique具体释义
Formal Description Technique的英文发音
例句
- 通过 对 现有 入侵 检测 方法 和 攻击 分类 方法 的 分析 和 研究 , 提出 了 一 种 面向 检测 的 网络 攻击 分类 方法 &ESTQ 方法 , 并 对 其 进行 了 形式 化 描述 和 分析 。
- Adetection-orientednetworkattackclassificationapproach&ESTQisintroducedandanalyzedusingformaldescriptiontechnique.
- 第 三 章 和 第 四 章 主要 介绍 了 ESTELLE 为 代表 的 形式 化 描述 技术 。 针对 ESTELLE 描述 通道 的 局限 性 , 给出 了 一 个 描述 广播 通道 的 扩展 ;
- Second,ESTELLE,oneofformaldescriptiontechnique,isextendedtobroadcastchannelfordescriptionpower.
- ESTELLE 是 一 种 由 ISO 提出 的 用于 描述 计算机 通信 协议 的 形式 化 描述 技术 , 并 已 成为 国际 标准 。
- ESTELLEisanewformaldescriptiontechniquedevelopedbytheISOforthedescriptionofcomputercommunicationprotocols.
- 文章 首先 从 系统 整体 安全 的 角度 提出 了 新颖 的 信息 安全 系统 的 参考 模型 , 并 用 形式 化 方法 描述 了 模型 中 的 一些 关键 技术 。
- Thispaperfirstpresentsanovelinformationsecuritysystemreferencemodelbasedonthewholesystem.Somekeytechnologiesconcerningthemodelareintroducedandanalyzedusingformaldescriptiontechnique.
- 形式 化 方法 在 分布式 测控 系统 协议 设计 中 的 应用
- ApplicationofFormalDescriptionTechniqueforProtocolDesigninginDistributedMeasuringandControllingSystem
本站英语缩略词为个人收集整理,可供非商业用途的复制、使用及分享,但严禁任何形式的采集或批量盗用
若FDT词条信息存在错误、不当之处或涉及侵权,请及时联系我们处理:675289112@qq.com。