您的位置： 专家智库 > >

蒋运承

作品数：111 被引量：655H指数：15
供职机构：华南师范大学更多>>
发文基金：国家自然科学基金广西壮族自治区自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术文化科学理学语言文字更多>>

合作作者

文献类型

  • 84篇期刊文章
  • 17篇专利
  • 4篇会议论文
  • 3篇学位论文
  • 3篇科技成果

领域

  • 88篇自动化与计算...
  • 11篇文化科学
  • 6篇理学
  • 1篇语言文字

主题

  • 39篇描述逻辑
  • 13篇语义
  • 12篇本体
  • 9篇相似度
  • 8篇语义WEB
  • 8篇文本
  • 7篇形式概念分析
  • 7篇知识
  • 7篇多主体系统
  • 6篇循环术语集
  • 6篇网络
  • 6篇抽取
  • 5篇数据库
  • 5篇人工智能
  • 5篇向量
  • 5篇旅游
  • 5篇模糊描述逻辑
  • 5篇不动点语义
  • 5篇存储介质
  • 4篇自动机

机构

  • 60篇广西师范大学
  • 44篇华南师范大学
  • 21篇中国科学院
  • 19篇中山大学
  • 9篇中国科学院软...
  • 4篇毕节学院
  • 3篇楚雄师范学院
  • 3篇钦州学院
  • 3篇黔南民族师范...
  • 3篇中南大学
  • 3篇郑州轻工业学...
  • 2篇郑州轻工业大...
  • 2篇北部湾大学
  • 1篇广西民族大学
  • 1篇中国科学院大...
  • 1篇广东理工学院

作者

  • 111篇蒋运承
  • 34篇王驹
  • 19篇史忠植
  • 19篇汤庸
  • 10篇刘宇东
  • 9篇张海俊
  • 9篇唐素勤
  • 8篇周生明
  • 8篇董明楷
  • 6篇李璞
  • 5篇邓培民
  • 4篇曹发生
  • 4篇肖宝
  • 3篇张师超
  • 3篇李超
  • 3篇甘丹
  • 3篇申宇铭
  • 3篇郑航
  • 3篇蔡自兴
  • 3篇施雅贤

传媒

  • 10篇计算机研究与...
  • 8篇计算机工程
  • 8篇计算机科学
  • 7篇软件学报
  • 6篇计算机学报
  • 5篇华南师范大学...
  • 4篇模式识别与人...
  • 4篇计算机工程与...
  • 3篇微电子学与计...
  • 3篇小型微型计算...
  • 2篇计算机应用与...
  • 2篇广西师范大学...
  • 2篇高技术通讯
  • 2篇计算机教育
  • 2篇智能系统学报
  • 1篇电子学报
  • 1篇河南农业大学...
  • 1篇江西师范大学...
  • 1篇电子科技大学...
  • 1篇计算机应用研...

年份

  • 2篇2024
  • 2篇2023
  • 8篇2022
  • 1篇2021
  • 4篇2020
  • 7篇2019
  • 4篇2018
  • 2篇2017
  • 2篇2016
  • 1篇2015
  • 1篇2014
  • 3篇2013
  • 3篇2012
  • 1篇2011
  • 9篇2010
  • 12篇2009
  • 7篇2008
  • 12篇2007
  • 8篇2006
  • 4篇2005
共 111 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
面向智能主体的软件工程研究
田启家史忠植郑金华董明楷赵志崑盛秋戬蒋运承吴斌宫秀军刘少辉王泊张海俊程勇
项目在面向主体的软件需求工程、面向主体的软件协同模式、面向主体的软件系统开发方法、基于主体的知识管理四个方面作了研究开发；以XML为基础，以Web服务为核心，建立基于主体的知识管理系统，突破传统软件方法中系统目标和结构确...
关键词：
关键词：智能主体软件工程
基于形式概念分析和知识图谱的试题推荐方法
本发明提供一种基于形式概念分析和知识图谱的试题推荐方法，包括根据学生的做题记录，建立对象为所有学生、属性为所有试题的形式概念背景；根据所述形式概念背景，建立学生‑试题概念格；计算所述学生‑试题概念格中起始概念与其他概念之...
蒋运承张腾鹰马文俊詹捷宇刘宇东王晨曦
短文本分类模型的生成方法、分类方法、装置及存储介质
本发明涉及一种短文本分类模型的生成方法、分类方法、装置及存储介质，包括：获取短文本训练集；获得每篇短文本的词集合；获得每个关键词的语义相关的词集合；计算每个关键词和语义相关的词集合中的每个词的相关度和相似度；获得每个关键...
蒋运承李超马文俊刘宇东詹捷宇毛舜郑航黄光健韦丽娜
文献传递
描述逻辑系统FLEN中概念的最小公共包含算法研究被引量：5
2010年
描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不含数量限制的描述逻辑系统,研究的是描述逻辑系统FLEN中的一种重要的非标准推理——概念的最小公共包含,它同时含有数量限制和存在限制,是对前人工作的推广.首先定义了FLEN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的推理算法,然后通过两棵概念描述树的笛卡儿积给出了两个概念的最小公共包含推理算法并指出了概念A,B的最小公共包含概念LCS(A,B)的大小size(LCS(A,B))是随着size(A),size(B)呈指数增长的.
张维侯金宏曹发生王驹蒋运承
关键词：描述逻辑
基于有限状态自动机的服务组合模型被引量：8
2006年
分析了目前服务计算的研究现状和存在的问题,在D Berardi和A Wombacher的基础上提出了一种带条件的有限状态自动机模型cFSA(Finite State Automata with condition),并给出了基于cFSA的服务理论模型.在该服务理论模型的基础上提出了一种基于有限状态自动机的服务组合形式化模型,并给出了该模型的代数性质和实现方法.
蒋运承汤庸邓培民
关键词：有限状态自动机
知识格被引量：3
2006年
分析了目前知识研究的现状,针对知识研究存在的问题,提出了一种知识格理论,给出了该知识格的严格定义,并研究了该知识格的性质,以及如何根据知识格有效的为用户提供预备知识或基础知识。该知识格理论是传统格理论的推广,可以应用在知识工程、知识管理、知识网格、知识库网格和知识网络中,弥补了目前知识研究中存在的不足。
蒋运承
关键词：知识模式
面向语义Web的Expressive格值描述逻辑(英文)被引量：4
2012年
提出了一种基于可信度格的Expressive模糊描述逻辑框架,对描述逻辑SROIQ(D)进行了模糊化扩充,建立了一种面向语义Web的基于格的模糊描述逻辑L-SROIQ(D),给出了L-SROIQ(D)的语法、语义和逻辑性质,以及建立了一个线序格下的将模糊描述逻辑L-SROIQ(D)转换为经典描述逻辑SROIQ(D)的推理算法,从而证明了线序格下L-SROIQ(D)的可满足性推理是可判定的。
蒋运承谭红艳
关键词：描述逻辑模糊描述逻辑模糊逻辑语义WEB
一个不确定性数据库模型及其语义被引量：5
1999年
In this paper,based on probabilistic and cognitive uncertainties,we set up an uncertain database model and presented the uncertain relational algebra ,and proved that the uncertain normal forms are closed under operations of the uncertain relational algebra. At last ,we studied the semantics of the uncertain relation.
蒋运承张师超
关键词：关系代数
基于描述逻辑的CIM模型
2007年
分析了CIM模型在自主计算中的研究现状和存在的问题,在GLanfranchi和ACali的基础上提出了一种具有演化功能的CIM模型。针对CIM模型的特点和需求,提出了一种基于描述逻辑DLRifd的CIM模型,即给出了将CIM模型转化为描述逻辑DLRifd知识库的方法,证明了该转化方法的正确性。以及给出了自动判断CIM模型一致性、冗余性、包含关系的方法,也证明了这些判断方法的正确性。
蒋运承汤庸王驹周生明
关键词：描述逻辑CIM模型
面向语义Web语义表示的模糊描述逻辑被引量：47
2007年
分析了语义Web语义表示理论的研究现状及存在的问题,提出了一种新的面向语义Web语义表示的模糊描述逻辑FSHOIQ(fuzzy SHOIQ).给出了FSHOIQ的语法和语义,提出了FSHOIQ的模糊Tableaux的概念,给出了一种基于模糊Tableaux的FSHOIQ的ABox约束下的可满足性推理算法,证明了可满足性推理算法的正确性.提出了FSHOIQ的TBox扩展和去除方法,并证明了FSHOIQ的TBox约束下的包含推理问题可以转化为ABox约束下的可满足性推理问题.FSHOIQ为语义Web表示和推理模糊知识提供了理论基础.
蒋运承史忠植汤庸王驹
关键词：语义WEB描述逻辑语义表示
全选 清除 导出
共12页<12345678910>
聚类工具0