段之宓

作品数：1被引量：0H指数：0
导出分析报告
供职机构：中国电子科技集团第十研究所更多>>
发文主题：词形形式语法格语法机器翻译协议形式化更多>>
发文领域：理学语言文字更多>>
发文期刊：《中央民族大学学报（自然科学版）》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
通信协议测试的形式化技术
《中央民族大学学报（自然科学版）》2013年第3期47-55,共9页段之宓 
自然语言协议的自动形式化是通信协议自动测试的前提,从而也是数据链协议自动测试的重要研究方向。此问题出现已久,但尚无可靠解决方案。隐词形理论和格语法是排岐能力很强的自然语言处理方法。运用此套方法。通过分析协议文本,确定隐...
关键词：通信协议 数据链 一致性测试 自然语言处理 协议形式化 隐词形理论 格语法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部