甘肃省自然科学基金(0809RJZA018)
- 作品数：7 被引量：20H指数：3
- 相关作者：李明张其文杨凡王旭阳李秀兰更多>>
- 相关机构：兰州理工大学甘肃省计算中心更多>>
- 发文基金：甘肃省自然科学基金更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- UML2.0顺序图的时序描述逻辑语义被引量：7
- 2011年
- 针对UML2.0顺序图用于对象间交互行为建模时存在动态语义缺乏精确形式化描述的问题,提出一种基于时序描述逻辑的UML2.0顺序图形式化方法。对描述逻辑进行时序扩展,得到可表示动态和时序语义的形式化规范——时序描述逻辑,根据UML2.0新增的交互操作符将UML2.0顺序图分成一个或多个最大顺序片段,通过形式化最大顺序片段和交互操作符得到UML2.0顺序图的时序描述逻辑语义。实例检验结果表明,该方法具有可行性。
- 张其文童格明李明
- 关键词：UML2.0顺序图形式化描述逻辑
- 基于结果模式的Deep Web数据标注方法被引量：2
- 2011年
- 全面准确地标注Deep Web查询结果是Deep Web数据集成的关键问题,但现有的Web数据库标注方法还不能较好地解决该问题,为此提出一种基于结果模式的Deep Web数据标注方法。首先通过结果页面解析和抽取结构化数据来完成数据预处理的工作,并在集成结果模式和待标注数据之间建立正确的语义映射,进而确定DeepWeb数据的标注信息。通过对4个领域Web数据库进行实验测试,结果表明所提方法能有效地标注Deep Web查询结果数据。
- 李明李秀兰
- 关键词：DEEPWEB数据抽取
- 基于语义相似度的Web服务匹配研究被引量：5
- 2011年
- 现有的语义Web服务匹配算法没有考虑到本体概念间的多元关系,导致概念的语义不能被完整地反映出来,从而影响了算法的匹配性能。利用本体概念间的多元关系定义了一种语义距离,并通过该语义距离给出了概念间的语义相似度计算方法,在此基础上提出基于语义相似度的Web服务匹配算法。该算法通过本体概念间的语义相似度来反映Web服务的匹配程度。最后,通过对比实验验证了该算法的可行性和有效性。
- 舒毅杨凡
- 关键词：WEB服务匹配语义距离语义相似度
- 基于树状条件随机场模型的语义角色标注被引量：4
- 2010年
- 针对线性条件随机场模型不能清楚表达语义角色内部结构关系的问题,提出一种基于树状条件随机场模型的语义角色标注方法。对句法依存树上的层次依赖关系和兄弟依赖关系进行标注,处理状态变量之间的长距离依赖,利用CRFs模型能添加任意特征的优点,在系统中添加新的组合特征和介词短语角色。在CoNNL 2008 Shared Task语料库上进行实验,结果证明该方法能有效提高系统的准确率和召回率。
- 李明王亚斌张其文王旭阳
- 关键词：语义角色标注
- 基于过程相似的Web服务功能匹配被引量：1
- 2011年
- 针对现有Web服务匹配算法没有从过程与功能结合的角度实现服务匹配,从而导致匹配准确率不高的问题,在利用自动机将OWL-S刻画的Web服务表达为形式化过程的基础上,提出基于过程相似的服务功能匹配算法。该算法通过形式化过程的相似判定来判断请求与服务之间是否具有过程相似性,并结合过程相似判定的结果进行功能匹配;其中,过程相似判定是通过结构相似度计算和行为相似性检测实现的。最后,通过对比实验验证了该算法的可行性和有效性。
- 李明杨凡
- 关键词：WEB服务自动机OWL-S
- 基于启发式信息的Deep Web结果模式获取方法
- 2011年
- 获取模式信息是深入研究Deep Web数据的必要步骤,针对Deep Web结果模式结构信息的丢失问题,提出了一种基于启发式信息的Deep Web结果模式获取方法。通过解析Deep Web结果页面数据,利用启发式信息为结果页面数据添加正确的属性名,进而得到对应Deep Web的结果模式,并对其进行规范化处理,解决不同数据源结果模式的结构不一致问题。实验验证该方法可以有效地获取Deep Web的结果模式信息。
- 李明李秀兰
- 关键词：DEEPWEB启发式信息
- 基于时序描述逻辑的UML状态图语义被引量：1
- 2010年
- 将UML图形转换成形式化规范是一种精确UML语义、扩大形式化软件方法适用范围的有效途径。鉴于描述逻辑强的可判定推理能力,提出一种采用时序描述逻辑形式化UML状态图,对描述逻辑进行时序扩展,得到可以表示动态和时序语义的形式化规范——时序描述逻辑,给出一套UML状态图向时序描述逻辑表达式转换的规则,通过实例验证了该方法的可行性。
- 李明杨海波张其文王旭阳
- 关键词：描述逻辑状态图形式化
