排序方式: 共有9条查询结果,搜索用时 15 毫秒
1
1.
2.
3.
在多Agent系统下,根据遗忘理论和经典知识逻辑建立基于内模型的知识逻辑,并且提出相应的互模拟关系,定义出知识逻辑;讨论了知识遗忘的相关性质. 相似文献
4.
针对加权迁移系统,提出了线性时间属性及其安全性检测。首先定义了半环K上的加权迁移系统,提出了加权线性时间属性概念,并根据权重函数确定加权线性时间属性的上确界、下确界和闭包; 接着给出了几种常见的加权线性时间属性并且讨论了它们的关系; 然后重点研究了加权安全性,通过加权自动机和闭包给出了加权正则安全性; 最后基于加权有穷自动机,建立了加权正则安全性的检测方法。检测过程结合半环和形式幂级数,构造了加权迁移系统和加权有穷自动机的乘积系统,将加权安全性检测问题转化为验证乘积系统的不变性,给出了加权正则安全性检测的算法和复杂度。实例结果表明,所提的方法能够对加权迁移系统的安全性进行检测。 相似文献
5.
为了刻画开放量子系统的量子属性,扩展现有的量子马尔可夫链是有必要的.通过构建Exogenous量子算子逻辑,定义了Exogenous量子马尔可夫链.作为新型量子马尔可夫链,重点研究了4种可达性公式,给出可达性公式可满足性问题的求解,并分析了它们的可判定性问题.作为应用,实例说明广义量子Loop程序的终止问题可以归结为Exogenous量子马尔可夫链的最终可达性,进而通过检测量子公式可满足性来判定程序的终止问题. 相似文献
6.
7.
作为量子搜索算法研究的一个基本工具,量子行走是一个重要研究课题。同时,击中时是衡量量子行走到达某一目标顶点速度的标准,对量子算法研究具有广泛的应用。在开放量子环境下,给出开放量子行走的四种击中时定义:单次击中时、并行击中时、平均击中时和极限击中时。区分四种击中时,说明前两种用于刻画开放量子行走局部到达目标顶点,而后两种从全局和极限角度分析目标顶点到达情况。针对同质开放量子行走、异质开放量子行走和嵌套开放量子行走,分别给出四种击中时具体计算。 相似文献
8.
为了模拟长程的一维离散时间量子行走的演化过程以及降低计算复杂性,提出一种路径分析方法.首先分析系统到达某个位置的路径分块和路径数,将系统移位到某个位置演化算子进行分解,表示成二阶矩阵线性空间的一组基的线性组合;然后用超几何级数进行化简,给出概率分布的计算方法;最后分析产生对称式概率分布的充分条件,表明对称性只与量子初态... 相似文献
9.
联盟形成是多Agent系统中一种重要的合作方式。人们设计了一系列联盟形成框架,较好地解决了联盟值最大化、任务分配、组合拍卖等问题。已有关于联盟形成的研究,较多地从效用、任务等角度来考虑问题。在一些情况下,仅从这些角度考虑联盟形成是不够的,于是我们从约束的角度来研究联盟形成。首先深刻分析了联盟形成时的约束问题,采用命题逻辑来描述对Agent的约束,给出了联盟偏好语言及其语义描述;接着给出了它的一些性质;最后将动态约束下的联盟形成机制与常见的一些联盟形成机制作了对比,体现了动态约束下联盟形成机制的特点。 相似文献
1