搜索到1477篇“ 形式化描述语言“的相关文章
- 一种采用形式化描述语言进行RapidIO协议解码的方法
- 本发明提出了一种采用形式化描述语言进行RapidIO协议解码的方法，包括以下步骤：按照语法规则，以文本方式描述RapidIO协议格式，生成脚本文件；RapidIO协议解码程序读入脚本文件进行合法性检查，并生成中间文件；进...
- 黄文南胡亚平
- 文献传递
- 通信网结构与协议的形式化描述语言研究与设计
- 随着通信网络的迅猛发展，网络结构和各种协议配置变的越来越复杂，靠手工配置网络也越来越繁琐，现有的一些描述形式如框图形式或是Excel 表格形式都难以做到精确、无二义性地对网络进行描述，因此迫切需要定义一种语言，它能够对通...
- 李程
- 关键词：形式化描述XML
- 叙词表形式化描述语言的比较研究被引量：2
- 2010年
- 传统叙词表的本体化构建是目前叙词表发展的重要方向。当前叙词表转换为本体的描述语言有XML(S)、RDF(S)、SKOS、OWL等,文章通过对几种典型的描述语言和叙词表之间的语义关系进行映射分析,从描述能力、人工干预、应用性三个层面总结了描述语言在表示叙词表语义关系方面的差异性。该研究不仅有助于传统叙词表在语义环境下进行发展,而且对于本体描述语言的完善具有非常重要的作用。
- 贾君枝卫荣娟
- 关键词：叙词表描述语言
- 叙词表形式化描述语言的比较
- 叙词表的本体化构建是目前叙词表发展的重要方向.当前叙词表转换为本体的描述语言有XML (S)、RDF (S)、SKOS、OWL等,文章通过对几种典型的描述语言和叙词表之间的语义关系进行映射分析,从描述能力、人工干预、应用...
- 贾君枝卫荣娟
- 关键词：THESAURIDESCRIPTIVELANGUAGESCOMPARISON
- 安全协议形式化描述语言的设计与解析
- 安全协议的重要性随着网络技术的飞速发展与日俱增，安全协议的形式化分析已成为网络安全领域的研究热点。形式化描述是形式化分析的前提。本文首先对安全协议的形式化描述技术进行了概述。在此基础上，对安全协议形式化描述语言的设计以及...
- 张小龙
- 关键词：形式化分析形式化描述语言
- 文献传递
- 基于XML的计算机弱点形式化描述语言CVDL
- 提出了一种基于 XML 的形式化弱点描述语言 CVDL,讨论了其应用模式,并以实例详细阐述了弱点的描述和发布。CVDL 具有全面性、通用性、以及内容规格严谨性等优点,尤其是能够描述弱点检测、安全影响、属性特征等多方面性质...
- 张永铮方滨兴云晓春
- 关键词：网络安全形式化描述XML
- 文献传递
- 基于XML的计算机弱点形式化描述语言CVDL
- 提出了一种基于XML的形式化弱点描述语言CVDL,讨论了其应用模式,并以实例详细阐述了弱点的描述和发布。CVDL具有全面性、通用性、以及内容规格严谨性等优点,尤其是能够描述弱点检测、安全影响、属性特征等多方面性质;并且C...
- 张永铮方滨兴云晓春
- 关键词：网络安全形式化描述XML语言
- 文献传递
- 军事概念建模形式化描述语言比较分析被引量：20
- 2006年
- 军事概念模型是对军事行为空间进行的第一次抽象,它对军事系统表达的准确性和合理性将是作战仿真模拟质量的关键。随着分布交互仿真和大规模作战仿真的需要,概念模型的通用性和规范化已开始受到人们重视。针对军事系统的复杂性,在众多的建模语言中,选用何种语言进行军事概念建模值得深入研究。IDEF、UM L和Petri网是三种应用广泛、功能较强的建模语言,适合复杂系统建模。分析比较了它们的优缺点,探讨了三种方法综合运用的思路,最后给出了一个军事概念建模的实例。
- 范勇李为民
- 关键词：军事概念模型IDEFUMLPETRI网
- 基于RSL的协议形式化描述语言研究
- 该文所要研究的是基于RSL的协议形式化描述技术,这是第一次将RSL引入协议工程领域.作为RAISE规范语言的RSL在进行协议描述时有着两个独有的优点:广谱性,这使得在进行协议描述时可以根据需要进行合理的抽象,从而在各个开...
- 顾翔
- 关键词：形式化描述技术协议一致性测试
- 文献传递
- 基于构造类别代数的协议形式化描述语言的研究
- 该论文提出了一种基于并发的构造类别代数的协议形式化描述模型及其语言,这种模型基于代数规范和条件重写逻辑的理论,它是面向属性的,相比于其他模型具有灵活、面向协议、易于实现的特点,并且提供了相应的测试生成和验证推导的方法.该...
- 刘政
- 关键词：形式化描述模型形式化描述语言协议一致性测试安全协议验证代数规范
- 文献传递
相关作者
- 郭欣
- 作品数：22被引量：2H指数：1
- 供职机构：华东师范大学
- 研究主题：形式化验证 机载软件 规约 形式化描述 数学
- 杨洋
- 作品数：69被引量：35H指数：3
- 供职机构：华东师范大学
- 研究主题：分子动力学 下肢 跑步 机载软件 目标代码
- 史建琦
- 作品数：147被引量：6H指数：2
- 供职机构：华东师范大学
- 研究主题：形式化验证 目标代码 控制流图 反汇编 中间语言
- 贾君枝
- 作品数：144被引量：669H指数：13
- 供职机构：山西大学经济与管理学院
- 研究主题：本体 关联数据 受控词表 图书情报事业 叙词表
- 黄滟鸿
- 作品数：129被引量：5H指数：2
- 供职机构：华东师范大学
- 研究主题：目标代码 形式化验证 反汇编 L模型 控制流图
