情景演算

作品数：31被引量：50H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李磊郭树行张禹王坚郭磊更多>>
相关机构：江苏科技大学东南大学中山大学南京大学更多>>
相关期刊：《通信学报》《计算机应用研究》《电脑知识与技术》《系统仿真学报》更多>>
相关基金：国家自然科学基金教育部人文社会科学研究基金国家教育部博士点基金江苏省高校自然科学研究项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于SMT的不完全信息游戏求解
《计算机系统应用》2020年第1期261-265,共5页李健 郑荣基 汤宇锋 袁立然 陈寅 
不完全信息博弈是人工智能领域的一个重要研究领域.本文提出了一种基于可满足性模理论(Satisfiability Modulo Theories, SMT)的不完全信息游戏求解方法,首先通过情景演算将游戏动态过程描述成对应的约束,并将约束编写成命题逻辑公式,...
关键词：可满足性模理论 情景演算 非完全信息博弈 Z3 
异构服务聚合的协同访问控制算法研究被引量：2
《四川大学学报（自然科学版）》2015年第6期1277-1284,共8页张秀玉 
国家自然科学基金(61103198);教育部科学技术重点项目基金(109016);教育部人文社会科学研究青年基金(11YJCZH006)
由于服务聚合要实现异构多态交互过程,必然对安全访问控制模型的性能提出较高的要求.为满足服务聚合的访问控制需求,本文提出了一种异构服务聚合协同访问控制算法ACAHSP.首先,本文剖析了服务聚合中访问的动态情景要素构成,从多维度定义...
关键词：服务聚合 情景网关 情景演算 状态演算 规则演算 
基于本体的复杂产品项目WBS研究被引量：5
《计算机应用研究》2013年第7期2061-2063,共3页任南 张磊 边琳 
国家自然科学基金资助项目(71171101);国家教育部人文社科青年规划基金资助项目(10YJC630199);江苏省"青蓝工程"资助项目
针对复杂产品项目WBS分解过程中不同参与主体间的任务与资源信息共享需求,以及存在的设计、制造与管理信息流转脱节问题,研究基于本体的解决方案。首先通过构建本体为复杂产品项目工作分解过程中静态数据呈现提供有效载体;然后采用情景...
关键词：本体 工作分解 复杂产品项目 情景演算 
基于动态情景网关的系统协同访问控制模型被引量：3
《通信学报》2013年第S1期142-147,共6页郭树行 张禹 
国家自然科学基金资助项目(61103198;61100112;60970143);教育部科学技术重点项目基金(109016);教育部人文社会科学研究青年基金资助项目(11YJCZH006);中央财经大学学科建设基金资助项目(CUFEIE201107)~~
为适应网构环境下应用系统主客体间访问集中控制的需要,提出了一种基于动态情景网关的系统协同访问控制模型DSGAC。首先,给出了网构应用系统中访问的动态情景要素构成,从多视角定义了情景要素;其次,提供动态情景状态机的概念,并给出了...
关键词：情景网关 系统协同 访问控制 情景演算 状态机 
基于情景演算的物联网访问控制模型被引量：2
《中南大学学报（自然科学版）》2013年第S1期176-180,共5页郭树行 张禹 王坚 
为了适应物联网主客体间访问控制的需要,考虑权限动态分配、前置需求差异、访问约束与条件等情景因素,提出一种基于情景演算的物联网访问控制模型。首先,剖析物联网访问中的情景要素构成,从多视角定义了情景要素;其次,基于情景模型提出...
关键词：物联网 情景演算 访问控制 状态演算 规则演算 
基于推理机制的逻辑语言在Web服务组合机制中的应用被引量：5
《电信科学》2012年第12期70-75,共6页赵莹映 章韵 
在实际的网络应用中,相比客户端的形式,人们更希望能提供服务设施和应用程序的平台来自简单方便的网络浏览器。基于多阶段可用性的Web服务组合管理关键技术的研究成功,将解决目前服务组合管理中的许多关键问题。本文主要研究人工智能语...
关键词：WEB服务 情景演算 PROLOG 
基于请求/服务协作模型的多Agent建模方法
《微型电脑应用》2012年第6期48-50,共3页宋昌统 王辉 
江苏省高校自然科学指导性计划项目(03kjd520175);江苏省社会发展科技计划项目(BS2001046)资助
为了实现多Agent环境中主体之间的交互特性,在情景演算理论框架下研究了多Agent的通信动作,基于情景演算理论和Golog语言,介绍了ConGolog的语法和语义,并对ConGolog进行扩展。增加了并发处理,优先级的并发以及中断处理。在此基础上,提...
关键词：情景演算 请求 服务协作模型 智能体 Golog的解释器并发 
基于情景演算的动态访问控制模型被引量：2
《计算机科学》2012年第6期35-39,共5页翟浩良 韩道军 李磊 
澳门科学技术发展基金(013/2010/A);中国博士后科学基金(20100480806)资助
访问控制模型定义了安全系统访问控制的整体框架。现有的访问控制模型大多是静态授权模型,尽管可以通过扩展来实现局部动态性(比如可以通过定义条件来实现角色的临时激活等),但在应用时受到了扩展元素的限制,并且已有的大部分模型无法...
关键词：访问控制模型 动态 情景演算 
信任本体的形式化语义研究被引量：2
《武汉大学学报（理学版）》2011年第5期369-374,共6页王海艳 谢武锋 
国家重点基础研究发展计划(973)项目(2010CB328104);高等学校博士学科点专项科研基金项目(200802860031);江苏省自然科学基金重点项目(BK2008030);江苏省"网络与信息安全"重点实验室基金项目(BM2003201);"计算机网络和信息集成"教育部重点实验室基金项目(93K-9);江苏省博士后科研资助计划项目(H1002005C)
针对现有的信任模型缺少信任相关概念属性在数理上的定义以及严格可靠的信任语义推理和统一的形式化抽象模型的问题,本文提出形式化动态信任本体的概念,结合本体在语义层次的形式化描述方法,对实体信任、行为信任和区域信任进行本体化,...
关键词：信任本体 形式化语义 情景演算 
BSCRP网:机器人规划的赋时有色网实现方法
《计算机工程与设计》2011年第4期1449-1452,共4页钟珊 刘一松 常晋义 
江苏省社会发展计划基金项目(BS2001046);江苏省高校自然科学研究计划基金项目(03kjd520175)
为了解决情景演算无法解决框架问题和生成动作序列效率底的问题,提出了一种基于情景演算推理规则的表示机器人规划的赋时有色网实现方法——BSCRP网(representation based on situation calculus for robot plan),并提出了一种基于双向...
关键词：有色网 规划 情景演算 动作序列 状态 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部