蒋运承 作品数:113 被引量:656 H指数:15 供职机构: 华南师范大学 更多>> 发文基金: 国家自然科学基金 广西壮族自治区自然科学基金 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 文化科学 理学 语言文字 更多>>
面向智能主体的软件工程研究 田启家 史忠植 郑金华 董明楷 赵志崑 盛秋戬 蒋运承 吴斌 宫秀军 刘少辉 王泊 张海俊 程勇 项目在面向主体的软件需求工程、面向主体的软件协同模式、面向主体的软件系统开发方法、基于主体的知识管理四个方面作了研究开发;以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模型