行为等价

作品数：15被引量：22H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：罗键曹浪财田乐李波李彤更多>>
相关机构：厦门大学解放军信息工程大学云南大学中山大学更多>>
相关期刊：《智能计算机与应用》《模式识别与人工智能》《安徽理工大学学报（自然科学版）》《学术论坛》更多>>
相关基金：国家自然科学基金江西省社会科学规划项目江西省自然科学基金云南省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于完全有限前缀展开的行为等价过程树生成算法被引量：2
《软件学报》2021年第5期1385-1403,共19页朱锐 黄月 金芝 李彤 汤雅惠 
国家自然科学基金(62002310);云南省重大科技专项计划(202002AD080002);云南省自然科学基金(2019FB135);云南省软件工程重点实验室开放基金资助项目(2020SE404);云南大学数据驱动的软件工程省科技创新团队资助项目(2017HC012);云南大学“东陆中青年骨干教师”培养计划资助项目(C176220200)。
过程树能够兼具过程模型的行为和结构,在简化模型结构的复杂度方面具有重要意义.现有过程树转化仅能将基于块结构的简单过程模型转化为过程树,无法将具有复杂结构的过程模型转化过程树.为此,提出了一种基于完全有限前缀展开的行为等价...
关键词：过程模型 复杂结构 PETRI网 过程树 完全有限前缀展开 
交互式动态影响图研究及其最优K模型解法被引量：3
《计算机学报》2018年第1期28-46,共19页潘颖慧 曾一锋 
国家自然科学基金(61375070;61562033;61772442;71361011);江西省社会科学规划基金(16GJ20);江西省自然科学基金(20171BAB202022)资助~~
不确定性多智能体序贯决策是人工智能研究领域一个重要的研究问题,主要求解智能体如何在与其他智能体的交互中优化本身的决策.特别在部分可观测的随机博弈设置下,智能体不能探测到真实的外部环境状态,必须依靠所接收的观察来推断可能的...
关键词：多智能体系统 影响图 序贯决策问题 行为等价 
基于lookahead的交互式动态影响图的DMU改进算法
《系统工程与电子技术》2014年第6期1201-1206,共6页田乐 曹浪财 
国家自然科学基金(61375070)资助课题
区别模型更新(discriminative model update,DMU)是一种常用的求解交互式动态影响图(interactive dynamic influence diagrams,I-DIDs)问题的算法。结合lookahead思想提出了一种判断模型近似行为等价的改进DMU方法。所提方法首先将满足...
关键词：多AGENT 决策 交互式动态影响图 行为等价 近似行为等价 前瞻 
多Agent交互动态影响图的近似行为等价算法被引量：2
《华中科技大学学报（自然科学版）》2014年第4期60-63,共4页田乐 罗键 曹浪财 
国家自然科学基金资助项目(61375070)
结合前瞻搜索思想提出了一种判断模型近似行为等价的方法,首先通过比较候选模型的部分解(即策略树)判断模型近似行为等价,然后自上而下对近似行为等价模型进行快速聚类和修剪,利用代表模型将交互式动态影响图扩展成为平铺动态影响图,最...
关键词：多智能体 分布式人工智能 交互式动态影响图 行为等价 策略树 信度 
子网行为等价的特殊网系统的同步距离
《安徽理工大学学报（自然科学版）》2014年第1期19-23,共5页王丽丽 方贤文 张苗苗 
国家自然科学基金资助项目(61272153;61170059);安徽省高校自然科学基金重点资助项目(KJ2011A086);安徽省自然科学基金资助项目(1208085MF105);安徽省软科学研究计划资助项目(12020503031);安徽理工大学青年教师科学研究基金资助项目(2012QNY36)
同步距离是刻画事件之间同步关系的一个重要的定量分析手段,已经有相关文献表明它对系统的设计和分析提供了很大的帮助,尤其在工作流和工业生产控制系统的协调结构设计方面有着显著的优势。然而目前只有一些特殊的子网中变迁之间的同步...
关键词：PETRI网 同步距离 行为等价 特殊子网 
基于行为等价的远程程序执行认证
《智能计算机与应用》2013年第2期77-79,共3页梁志荣 
远程程序执行的认证是可信计算的重要内容之一,文献中所提出的众多框架大体上分为,基于软件,或基于硬件。初步地提出了一种远程程序执行的认证框架(命名为Spirit),Spirit综合地使用了程序分析、信任链、互模拟技术和TPM。
关键词：认证 TPM 程序分析 信任链 
基于KL距离的交互式动态影响图近似算法被引量：2
《系统工程与电子技术》2013年第1期207-211,共5页田乐 罗键 曹浪财 陈志平 
国家自然科学基金(60975052)资助课题
交互式动态影响图(interactive dynamic influence diagrams,I-DIDs)状态空间太大,候选模型的数量随时间变化而呈指数倍增长。针对其备受计算量困扰的问题,提出一种利用近似行为等价原理与区别模型更新算法(discriminative model update...
关键词：多AGENT决策 交互式动态影响图 行为等价 近似行为等价 Kullback—Leibler(KL)距离 
对象行为等价的终结共代数语义被引量：1
《计算机科学》2012年第2期179-182,190,共5页余珊珊 李师贤 苏锦钿 
国家自然科学基金项目(60673122);广东省自然科学基金项目(8151030007000002)资助
终结共代数上的互模拟是等价关系,这一性质为对象的行为等价提供了一种基于共归纳原理的证明方法。首先,利用共代数给出面向对象方法中的抽象类、类和对象的形式化描述,其中抽象类被定义为一个包含方法和断言声明的类规范,类被定义为满...
关键词：对象 行为等价 共代数方法 终结共代数 强Monads 
交互式动态影响图的一种近似求解算法被引量：3
《华中科技大学学报（自然科学版）》2011年第10期64-68,共5页李波 罗键 庄进发 尹华一 
国家自然科学基金资助项目(60975052)
提出一种基于行为等价原理分段处理交互式动态影响图(I-DID)的近似算法:先将底层I-DID模型分解成包含若干时间片的子片段,求解首片段,获得各模型的策略树,并依行为等价原理合并策略树,形成策略图,其结果作为下一片段的初始模型,再进行求...
关键词：多AGENT系统 AGENT建模 动态决策 交互式动态影响图 行为等价 最小模型集 
一种交互式动态影响图的改进算法
《模式识别与人工智能》2011年第4期506-513,共8页李波 罗键 尹华一 田乐 
国家自然科学基金资助项目(60975052)
交互式动态影响图(I-DIDs)是基于概率图形理论的多智能体动态交互决策的图模型.为缓解该模型状态空间随时间片增加呈指数级增长的趋势,文中基于行为等价的基本思想压缩状态空间,提出构建Epsilon行为等价类的方法:利用有向无环图表示其它...
关键词：AGENT建模 交互式动态影响图 动态决策 ε-行为等价 信度-行为图 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部