国家自然科学基金(60373081)

作品数:30被引量:120H指数:7
导出分析报告
相关作者:汤庸蒋运承王路帮叶小平道炜更多>>
相关机构:中山大学广西师范大学浙江万里学院北京大学更多>>
相关期刊:《模式识别与人工智能》《计算机工程与应用》《计算机应用研究》《小型微型计算机系统》更多>>
相关主题:描述逻辑不动点语义时态数据库访问控制工作流更多>>
相关领域:自动化与计算机技术理学电子电信天文地球更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
描述逻辑εL循环术语集的混合推理被引量:3
《计算机研究与发展》2009年第1期15-22,共8页蒋运承 王驹 周生明 汤庸 
国家自然科学基金项目(60663001,60573010,60673135,60373081);中国博士后科学基金项目(20060400226);广西自然科学基金项目(桂科青0640030,桂科自0832103);广西科学研究与技术开发计划基金项目(桂科攻0719001-11)~~
循环术语集是描述逻辑长期以来的研究难点,它最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader和Brandt的基础上进一步研究了描述逻辑εL循环术语集的混合推理问题.给出了εL...
关键词:描述逻辑 循环术语集 不动点语义 描述语义 混合推理 
基于描述逻辑的概念图推理被引量:5
《计算机科学》2008年第8期176-179,共4页王军 王继军 甘丹 蒋运承 
国家自然科学基金项目(60663001,60673135,60373081,60573010);中国博士后科学基金项目(20060400226);广西研究生教育创新项目(2006106020812M37)
分析了概念图在知识表示领域的重要性及其存在的问题,提出了一种基于描述逻辑的具有自动推理功能的扩展概念图。针对概念图的特点和需求,给出了将概念图的一个子集转化为描述逻辑知识库的方法,并证明了该方法的正确性。同时给出了其知...
关键词:知识表示 概念图 描述逻辑 自动推理 
基于时限的角色授权委托模型被引量:2
《计算机集成制造系统》2008年第8期1533-1538,共6页道炜 汤庸 
国家自然科学基金资助项目(60673135,60373081,60736020);广东省自然科学基金资助项目(7003721,04105503);教育部新世纪优秀人才支持计划资助项目(NCET-04-0805)~~
为实施用户到用户的委托,在RBDM0和RDM2000的基础上,提出了具有时间限制的角色访问控制授权委托模型。该模型使用日历时间和区间时间表示时间周期,描述了角色委托授权的周期时间约束。在此基础上,将授权过程的时间约束分为有效管理使能...
关键词:基于角色的访问控制 委托授权 时限 角色激活 数学模型 
基于时限的角色访问控制委托模型被引量:4
《计算机科学》2008年第3期277-279,282,共4页道炜 汤庸 冀高峰 杨虹轶 
国家自然科学基金项目(60673135,60373081);广东省自然科学基金项目(04105503,5003348);教育部“新世纪优秀人才支持计划”资助项目
访问权限的委托限制是一种重要的安全策略,它的基本思想是用户将自己所具有的部分或者全部权限转授给其他用户,让接受授权的用户代表发出授权的用户执行某些任务。基于角色的委托授权模型将角色作为委托的主体。目前为止它的两个基本模...
关键词:访问控制 委托授权 时限 有效时间 
基于XML的自动学习Web信息抽取被引量:10
《计算机科学》2008年第3期87-90,共4页冀高峰 汤庸 道炜 吴桂宾 黄帆 王鹏 
国家自然科学基金项目(60373081,60673135);广东省自然科学基金项目(04105503,5003348);教育部“新世纪优秀人才支持计划”资助项目
因特网给我们提供了巨大的信息量,在信息量极其丰富的Web资源中,蕴涵着大量有用的知识信息。信息爆炸而知识匮乏是当今人们所面临的一个很重要的问题。通过搜索引擎来查找信息将不容易定位到用户最感兴趣的数据上。而通过Web信息抽取的...
关键词:信息提取 半结构化 自动学习 规则库 XML 
描述逻辑FL-循环术语集的语义及推理被引量:9
《计算机学报》2008年第2期185-195,共11页蒋运承 王驹 邓培民 汤庸 
国家自然科学基金(60663001,60673135,60373081,60573010);广东省自然科学重点基金(04105503);广西青年科学基金(桂科青0640030)资助
循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.文中分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader的基础上进一步研究了描述逻辑FL^-循环术语集的语义及推理问题.给出了FL^...
关键词:描述逻辑 循环术语集 不动点语义 描述语义 有限自动机 
带RVM的描述逻辑εL混合循环术语集的语义及推理被引量:1
《模式识别与人工智能》2008年第1期18-27,共10页蒋运承 王驹 周生明 汤庸 
国家自然科学基金项目(No.60663001,60673135,60373081,60573010);中国博士后科学基金项目(No.20060400226);广西青年科学基金项目(No.桂科青0640030)资助
分析描述逻辑循环术语集的研究现状和存在的问题,在F.Baader和S.Brandt的基础上进一步研究带RVM的描述逻辑εL混合循环术语集的语义及推理问题.给出带RVM的εL混合循环术语集的语法和语义.针对带RVM的εL混合循环术语集包含推理的需要,...
关键词:描述逻辑 混合循环术语集 不动点语义 描述语义 关系-值-映射(RVM) 
逆同余发生器的密码分析被引量:1
《武汉大学学报(理学版)》2007年第3期279-282,共4页赵耀东 戚文峰 
国家自然科学基金资助项目(60373081);国家高技术研究发展计划(863)资助项目(2006AA01Z417)
使用格中的最短向量对未知向量进行逼近的方法,证明了在已知乘子a和模数p的条件下,若连续的wi满足|ui-wi|是一个很小的数时,在多项式时间内可以恢复出逆同余发生器的移位b.本文的结论表明将逆同余发生器直接应用于密码学必须十分慎重.
关键词:逆同余发生器 密码分析 格攻击 
协同工作中基于角色的群体感知技术研究被引量:1
《计算机研究与发展》2007年第z3期244-250,共7页吴桂宾 汤庸 道炜 冀高峰 黄帆 王鹏 
国家自然科学基金项目(60373081);广东省科学技术基金项目(04105503,05200302,5003348);教育部新世纪优秀人才支持计划基金项目
在研究和分析当前群体感知模型研究工作现状的基础上,对基于角色的群体感知模型进行扩展,得到扩展的基于角色的群体感知模型.该模型通过分解群组任务,把群组的成员扮演的角色细化,建立角色关系图,用以衡量角色之间的关联度.同时,结合在...
关键词:计算机支持的协同工作 群体感知模型 角色 
一种工作流模型的挖掘方法
《计算机研究与发展》2007年第z3期516-520,共5页余峰 汤庸 潘炎 
国家自然科学基金项目(60373081,60673135);广东省科学技术基金项目(04105503,05200302,5003348);教育部新世纪优秀人才支持计划基金项目
近年来,工作流挖掘越来越受到工作流管理的研究者们的青睐.一些企业没有工作流系统,且企业业务流程会随时间动态变化.考虑到手工建立工作流模型是困难且耗时的工作,工作流管理者需要有效的方法来自动建立和定时更新工作流模型.为此,提...
关键词:工作流挖掘 工作流模型 机器学习 事件日志 
检索报告 对象比较 聚类工具 使用帮助 返回顶部