期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
基于本体的语义信息查询系统的研究与实现 被引量:6
1
作者 徐振宁 宋阔益 +2 位作者 张维明 李勇 李由 《计算机工程》 CAS CSCD 北大核心 2002年第12期6-8,共3页
提出并实现了一个以特定领域的概念化模型——领域本体作为统一语义模型的关系数据库网上发布与集成系统DIDSBS。该系统从领域本体出发,提出并实现了形式化本体和DTD(Document Type Definition ,文档类型定义)、DTD和关系视图的转换算... 提出并实现了一个以特定领域的概念化模型——领域本体作为统一语义模型的关系数据库网上发布与集成系统DIDSBS。该系统从领域本体出发,提出并实现了形式化本体和DTD(Document Type Definition ,文档类型定义)、DTD和关系视图的转换算法,实现了XML文档和数据库视图在语义和结构上的对应关系。 展开更多
关键词 本体 语义信息查询系统 描述逻辑 概念化模型 统一语义模型 关系数据库 INTERNET
在线阅读 下载PDF
路由协议的符号化测试生成 被引量:2
2
作者 邢熠 叶新铭 谢高岗 《计算机学报》 EI CSCD 北大核心 2010年第3期589-595,共7页
协议一致性测试用于验证协议实现的正确性.文中根据路由协议的消息复杂特点,提出基于on-the-fly策略符号测试生成与动态执行的算法:建立了一种新的统一符号语义模型,该模型把数据操作和控制都抽象为动作行为;以该语义模型为基础,扩展了... 协议一致性测试用于验证协议实现的正确性.文中根据路由协议的消息复杂特点,提出基于on-the-fly策略符号测试生成与动态执行的算法:建立了一种新的统一符号语义模型,该模型把数据操作和控制都抽象为动作行为;以该语义模型为基础,扩展了行为之间的关系以及一致性测试关系;给出了基于on-the-fly策略符号测试生成与符号动态执行的算法,在符号动态执行中,使用了统计的聚类算法来进行符号的数据选择.论文最后用具体的测试例说明该算法在OSPFv3协议一致性测试上的应用. 展开更多
关键词 协议一致性测试 统一语义模型 符号测试生成 符号执行 数据选择
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部