国家自然科学基金(61272066)
- 作品数：11 被引量：29H指数：4
- 相关作者：蒋运承李璞杨晋吉肖宝黄泳航更多>>
- 相关机构：华南师范大学郑州轻工业学院钦州学院更多>>
- 发文基金：国家自然科学基金广州市科技计划项目教育部“新世纪优秀人才支持计划”更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 面向语义Web的直觉模糊粗描述逻辑(英文)
- 2013年
- 分析了面向语义Web的直觉模糊粗描述逻辑的研究现状和存在的问题,基于(",#)-直觉模糊粗集理论将直觉模糊描述逻辑和粗描述逻辑进行了集成,即提出了一种新的直觉模糊粗描述逻辑.针对与本体语言OWL 2等价的描述逻辑SROIQ(D),对SROIQ(D)进行了扩充,提出了直觉模糊粗描述逻辑IFRSROIQ(D),给出了IFRSROIQ(D)的语法、语义和性质,证明了IFRSROIQ(D)的推理问题(包括知识库可满足性、概念可满足性、概念包含、逻辑推导、ABox一致性推理等)可以归约到基于完备格的描述逻辑L*-SROIQ(D)上对应的推理.
- 蒋运承
- 关键词：描述逻辑模糊描述逻辑语义WEB
- 基于潜在语义与图结构的微博语义检索被引量：4
- 2017年
- 微博文本短小、特征稀疏、与用户查询之间存在语义鸿沟的特点会降低语义检索效率。针对该问题,结合文本特征和知识库语义,构建基于潜在语义与图结构的语义检索模型。通过Tversky算法计算基于Hashtag的特征相关度;利用隐含狄利克雷分布算法对Wikipedia语料库训练主题模型,基于JSD距离计算映射到该模型的文本主题相关度;抽取DBpedia中实体及其网络关系连接图,使用SimRank算法计算图中实体间的相关度。综合以上3个结果得到最终相关度。通过短文本和长文本检索对Twitter子集进行实验,结果表明,与基于开放关联数据和图论的方法相比,该模型在评估指标MAP,P@30,R-Prec上分别提高了2.98%,6.40%,5.16%,具有较好的检索性能。
- 肖宝李璞胡娇娇蒋运承
- 关键词：图结构语义检索
- NSSK协议的SPIN模型检测
- 2017年
- 安全协议是以密码学为基础的消息交换协议。针对传统的改进NSSK安全协议,通过使用Promela语言对协议进行建模,并使用SPIN模型检测工具进行验证,发现仍然存在安全漏洞,攻击者可以冒充合法者进行通信。针对上述缺陷,提出了一种有效的改进方案,主要是在协议中增加了自身产生的随机数和发送者的身份标识,该改进方案提高了协议安全性。
- 黄鹏
- 关键词：安全协议安全漏洞SPIN
- 基于思维导图的团队协作系统被引量：1
- 2016年
- 思维导图作为一种高效率的可视化工具,在线下团队协作中的运用也越来越多,而于在线协作工具的运用并不多.该文针对思维导图在团队协作工具的应用来进行阐述,描述了一个采用B/S架构,以思维导图为重要功能模块的团队协作系统的实现.阐述了其主要功能、系统结构、关键实现技术以及开发过程中相关的工程方法.基于测试驱动的开发形式和IOC机制的运用,使其具备较好的扩展、维护和二次开发的能力.而基于思维导图来展现团队协作中各类任务的相互关系,以图像化交互的形式来管理项目,与传统的协作系统的线性任务管理相比,具备更好的交互和较低的使用门槛.
- 罗俊健陈永钊张英港赖源劲
- 关键词：思维导图团队协作SVG
- 一种面向形式概念分析的语义相似度计算框架（英文）被引量：2
- 2016年
- 为了计算形式概念分析的形式概念或概念格的语义相似度,利用描述逻辑概念作为形式背景的特征属性对形式概念分析的形式背景进行语义扩展,即利用领域本体(描述逻辑知识库)提出了形式背景的一种语义表示方法.在此基础上,基于形式背景的语义表示,利用描述逻辑推理(即本体推理)给出了一种面向形式概念分析的形式概念或概念格语义相似度计算框架,并且证明了实例化该架构所得到的语义相似度计算方法满足对称性和等价不变性等基本性质.
- 蒋运承李璞Akram AFTAB
- 关键词：形式概念分析语义相似度描述逻辑
- ASM的手骨提取方法研究被引量：4
- 2016年
- 骨龄自动评估面临的困难是骨骼准确定位与骨骼兴趣区域提取。由于手骨X光图像存在光照不均及骨骼发育程度不规则等因素影响,传统的图像分割方法在骨骼上的分割效果不太理想;为了实现对手骨边缘的精确提取,结合Ada Boost级联分类器,提出基于ASM(主动形状模型)算法的手骨边缘提取方法,丰富了骨龄自动评价系统的应用研究。实验表明,基于ASM算法的手骨分割能有效对手骨X射线图像进行准确的定位,为骨龄自动化评价系统的下一步工作奠定基础。
- 黄飞尤启房杨晋吉
- 关键词：骨龄主动形状模型
- 混合词汇特征和LDA的语义相关度计算方法被引量：5
- 2017年
- 文本语义相关度计算在自然语言处理、语义信息检索等方面起着重要作用,以Wikipedia为知识库,基于词汇特征的ESA(Explicit Semantic Analysis)因简单有效的特点在这些领域中受到学术界的广泛关注和应用。然而其语义相关度计算因为有大量冗余概念的参与变成了一种高维度、低效率的计算方式,同时也忽略了文本所属主题因素对语义相关度计算的作用。引入LDA(Latent Dirichlet Allocation)主题模型,对ESA返回的相关度较高的概念转换为模型的主题概率向量,从而达到降低维度和提高效率的目的;将JSD距离(Jensen-Shannon Divergence)替换余弦距离的测量方法,使得文本语义相关度计算更加合理和有效。最后对不同层次的数据集进行算法的测试评估,结果表明混合词汇特征和主题模型的语义相关度计算方法的皮尔逊相关系数比ESA和LDA分别高出3%和9%以上。
- 肖宝李璞蒋运承
- 关键词：词汇特征
- 离散正交S变换在人脸识别中的应用研究被引量：3
- 2017年
- 人脸识别是模式识别领域的一个重要研究方向,有着广泛的应用前景.由于人脸图像受到光照、表情等因素的影响,在空间域直接使用线性方法具有一定的局限性,因此,从人脸特征的角度出发,提出一种新的人脸识别方法,即基于离散正交S变换(Discrete Orthonormal S-Transform,DOST)特征的人脸识别算法.首先,对人脸图像进行二维离散正交S变换得到人脸图像的特征,然后通过主成分分析对特征矩阵进行降维,提取特征向量,形成特征矩阵,最后用支持向量机分类识别.通过相应的实验证明本文提出的算法提高了识别的精确度和识别的速度.
- 杨晋吉王燚
- 关键词：特征矩阵人脸识别S变换支持向量机主成分分析
- 基于SPIN的功能测试用例生成方法研究
- 2016年
- 提出了一种自动生成系统功能测试用例的新方法。该方法使用Promela语言对软件系统的状态和行为进行描述建模,使用LTL公式描述测试覆盖标准,然后将该组LTL公式和描述状态行为的Promela模型输入SPIN模型检测工具,并利用模型检测工具自动生成相应的证据路径,最后结合正例将路径转化成满足相应覆盖标准的系统功能测试用例,并以电梯系统模型对该方法作出了诠释。
- 李建杨晋吉
- 关键词：SPIN
- 基于保守扩充理论的模块化本体重用被引量：2
- 2016年
- 分析了本体重用的研究现状和目前重用方法只适用于单个独立本体的不足,以ε-Connections语言构建的模块化本体库为研究对象,基于保守扩充理论提出了本体模块知识完整性概念,并证明了知识完整性的相关性质.在此基础上,给出了一种针对模块化本体库的保守扩充重用算法ERMMO(extracting reused modules from modular ontologies),讨论了该算法的两种子算法EMMO_(IK)和EMO_(IK)的特点及适用条件.分析并验证了ERMMO算法的可行性和正确性.ERMMO算法是当前保守扩充重用算法的一般化扩充,对模块化思想应用于本体重用问题有所启示.
- 李璞蒋运承王驹
- 关键词：模块化
