童格明

作品数：3被引量：12H指数：2
导出分析报告
供职机构：兰州理工大学计算机与通信学院更多>>
发文主题：形式化描述逻辑本体基于本体UML2.0顺序图更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机应用与软件》《科学时代》《计算机工程》更多>>
所获基金：甘肃省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于本体的UML类图语义推理被引量：5
《计算机应用与软件》2011年第4期212-214,共3页刘嘉 童格明 李明 臧凤奎 
统一建模语言(UML)是一个半形式化的语言,其语义部分是采用自然语言描述的,使得它在建模过程中会产生语义不一致等问题。在详细比较UML类图与本体的基础上,提出了一种UML类图的形式化方法;首先将UML类图转换为相应的本体;然后根据本体...
关键词：本体 UML类图 形式化 描述逻辑 
UML2.0顺序图的时序描述逻辑语义被引量：7
《计算机工程》2011年第3期52-54,共3页张其文 童格明 李明 
甘肃省自然科学基金资助项目(0809RJZA018)
针对UML2.0顺序图用于对象间交互行为建模时存在动态语义缺乏精确形式化描述的问题,提出一种基于时序描述逻辑的UML2.0顺序图形式化方法。对描述逻辑进行时序扩展,得到可表示动态和时序语义的形式化规范——时序描述逻辑,根据UML2.0新...
关键词：UML2.0顺序图 时序描述逻辑 形式化 描述逻辑 
基于本体的数据挖掘技术研究被引量：1
《科学时代》2011年第1期215-216,共2页丁蓉 童格明 李明 
本文阐述了将本体应用到数据挖掘中的科学性和可行性。根据本体的特点，将本体引入到数据挖掘中，与传统的数据挖掘方法相比，使专业技术人员能够了解应用领域的背景知识，设计出更好的数据挖掘算法，提高了数据挖掘的效率和结果。
关键词：数据挖掘 本体 人工智能 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部