题名 基于本体的语义信息查询系统的研究与实现
被引量：6
1
作者
徐振宁 宋阔益 张维明 李勇 李由
机构
国防科技大学管理科学与工程系
出处
《计算机工程》
CAS
CSCD
北大核心
2002年第12期6-8,共3页
基金
国家自然科学基金(60172012) 国防科技大学预研基金资助项目
文摘
提出并实现了一个以特定领域的概念化模型——领域本体作为统一语义模型的关系数据库网上发布与集成系统DIDSBS。该系统从领域本体出发，提出并实现了形式化本体和DTD(Document Type Definition ，文档类型定义)、DTD和关系视图的转换算法,实现了XML文档和数据库视图在语义和结构上的对应关系。
关键词
本体 语义 信息查询系统描述逻辑 概念化模型 统一语义 模型关系数据库 INTERNET
Keywords
Ontology；Uniform semantic；Description logic；Dissemination；Database
分类号
TP311.132
[自动化与计算机技术—计算机软件与理论]
TP
[自动化与计算机技术]
题名 路由协议的符号化测试生成
被引量：2
2
作者
邢熠 叶新铭 谢高岗
机构
中国科学院计算技术研究所 内蒙古大学计算机学院 中国科学院研究生院
出处
《计算机学报》
EI
CSCD
北大核心
2010年第3期589-595,共7页
基金
国家自然科学基金(60403031 90604015 +2 种基金 60903208) 国家"九七三"重点基础研究发展规划项目基金(2007CB310702) 中国科学院重大科研装备研制项目(YZ200824)资助
文摘
协议一致性测试用于验证协议实现的正确性.文中根据路由协议的消息复杂特点,提出基于on-the-fly策略符号测试生成与动态执行的算法:建立了一种新的统一符号语义模型,该模型把数据操作和控制都抽象为动作行为;以该语义模型为基础,扩展了行为之间的关系以及一致性测试关系;给出了基于on-the-fly策略符号测试生成与符号动态执行的算法,在符号动态执行中,使用了统计的聚类算法来进行符号的数据选择.论文最后用具体的测试例说明该算法在OSPFv3协议一致性测试上的应用.
关键词
协议一致性测试 统一语义 模型符号测试生成 符号执行 数据选择
Keywords
protocol conformance test unified operation semantic symbolic test generating symbolic execution data selection
分类号
TP393
[自动化与计算机技术—计算机应用技术]
题名 电力物联网传感器信息模型研究与应用
被引量：73
3
作者
荆孟春 王继业 程志华 李凌
机构
南瑞集团公司 国家电网公司
出处
《电网技术》
EI
CSCD
北大核心
2014年第2期532-537,共6页
文摘
由于电力物联网中感知设备点多、量大,各种采集数据的数据模型未能形成统一体系,将给电力物联网应用的互操作性带来困难,因此需要建立信息交互的标准化模型。为此,参照IEC 61850、IEEE 1451、SensorML等标准,详细阐述了感知层传感器信息模型的内涵、关键技术、定义、建模方法等,并结合实例进行说明。主要方法是建立一个能接入各类传感层设备的可扩展的信息接入规范,同时考虑到未来传感器原理和实现技术的发展变化,在接入规范层提高所接入状态信息的"浓缩性"和"直接可用性",最终建立信息交互的标准化模型和设备的唯一标识,使数据在网络层中以统一的信息模型进行交互。
关键词
智能电网 物联网 传感器信息模型 统一语义 统一 数据表达格式
Keywords
smart grid Internet of Things sensor information model unified semantic unified data format
分类号
TM734
[电气工程—电力系统及自动化]
题名 基于ASM扩展的活动图进行业务过程建模
4
作者
汤亮 刘厚泉
机构
中国矿业大学计算机学院
出处
《计算机工程与设计》
CSCD
北大核心
2006年第17期3226-3229,共4页
文摘
为了扩展包括投资者建模、企业建模与扩展价值链建模的Martin/OdellOOA/D方法,该文章使用UML活动图扩展这些技术。UML提供了丰富的标记表示对分析系统行为和系统结构进行分析。其中活动图是用来描述系统的动态行为,并且也适用于业务过程建模。但由于UML的语义是用纯文本的方式描述的,通常不够准确,故而此文提出了使用ASM扩展语义的活动图描述包含上述建模技术的业务过程。
关键词
ASM 活动图 扩展统一 建模语言 统一 建模语言语义 业务过程 业务过程建模
Keywords
ASM activity diagram extended UML UML semantic business process business process modeling
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 可视化语言技术在软件开发中的应用(英文)
被引量：4
5
作者
孔骏 赵春颖
机构
Department of Computer Science Department of Computer Science
出处
《软件学报》
EI
CSCD
北大核心
2008年第8期1902-1919,共18页
文摘
可视化语言技术比一维文本语言在描述软件组成方面具有优越性.由于图表和图形概念在系统建模中的广泛使用,可视化语言可以应用于需求分析、设计、测试和维护等软件开发的各个阶段.除了具有直观易见的特点之外,图文法在计算机上的精确建模和验证能力,为设计可视化语言提供了一个坚实的理论基础.讨论了可视化语言的形式理论基础,回顾了相关的可视化图形编程环境.特别提出了一种空间图文法,并且用该图文法定义了统一建模语言的行为语义.基于空间图文法,开发了一种基于模式驱动的框架,以帮助软件架构与设计.
关键词
可视化语言 图文法 统一 建模语言的语义 软件架构
Keywords
visual language graph grammar UML semantics software architecture
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
