期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
基于状态演算的通用游戏系统的自动推理 被引量:1
1
作者 刘一松 王莉莉 李倩倩 《计算机工程与设计》 CSCD 北大核心 2012年第1期328-331,共4页
为提高通用游戏系统的自动推理能力,提出了基于状态演算的通用游戏系统的自动推理方法,并将其作为推理模块构建了通用游戏系统模型。利用状态演算逻辑程序设计语言(state calculus executor,STEX)实现通用游戏的状态更新与动作推理,给... 为提高通用游戏系统的自动推理能力,提出了基于状态演算的通用游戏系统的自动推理方法,并将其作为推理模块构建了通用游戏系统模型。利用状态演算逻辑程序设计语言(state calculus executor,STEX)实现通用游戏的状态更新与动作推理,给出了基于状态演算的通用游戏系统模型的功能模块设计,最后利用prolog语言实现了各功能模块,调试系统并进行实例验证。实验结果表明,采用了基于状态演算的自动推理方法,得到较好的游戏成绩,提高了游戏系统的自动推理能力。 展开更多
关键词 通用游戏 状态演算 状态演算解释器 状态更新 自动推理
在线阅读 下载PDF
基于情景演算的物联网访问控制模型 被引量:2
2
作者 郭树行 张禹 王坚 《中南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2013年第S1期176-180,共5页
为了适应物联网主客体间访问控制的需要,考虑权限动态分配、前置需求差异、访问约束与条件等情景因素,提出一种基于情景演算的物联网访问控制模型。首先,剖析物联网访问中的情景要素构成,从多视角定义了情景要素;其次,基于情景模型提出... 为了适应物联网主客体间访问控制的需要,考虑权限动态分配、前置需求差异、访问约束与条件等情景因素,提出一种基于情景演算的物联网访问控制模型。首先,剖析物联网访问中的情景要素构成,从多视角定义了情景要素;其次,基于情景模型提出物联网访问控制模型SLBAC-IOT,支持情景状态演算、规则演算;最后,实际案例应用验证表明情景控制模型在物联网环境中的应用可行性;并归纳SLBAC-IOT的创新性。 展开更多
关键词 物联网 情景演算 访问控制 状态演算 规则演算
在线阅读 下载PDF
多Agent Web服务组合系统的设计 被引量:2
3
作者 王力生 眭聃 何智华 《计算机应用》 CSCD 北大核心 2007年第9期2209-2211,2214,共4页
设计一种基于Agora系统平台的Web服务自动组合系统框架。使用主体Agent代表服务请求者和服务提供者,在论证该组合系统的高层模型的基础上,详细定义了不同类别Agent之间的通信和控制原语,并采用IndiGolog解释器和FaCT逻辑推理器等作为主... 设计一种基于Agora系统平台的Web服务自动组合系统框架。使用主体Agent代表服务请求者和服务提供者,在论证该组合系统的高层模型的基础上,详细定义了不同类别Agent之间的通信和控制原语,并采用IndiGolog解释器和FaCT逻辑推理器等作为主要部件构建出具有逻辑推理能力的辅助Agora节点。实现了采用状态演算作为主要规划技术的服务组合系统。 展开更多
关键词 多AGENT WEB服务组合 状态演算
在线阅读 下载PDF
异构服务聚合的协同访问控制算法研究 被引量:2
4
作者 张秀玉 《四川大学学报(自然科学版)》 CAS CSCD 北大核心 2015年第6期1277-1284,共8页
由于服务聚合要实现异构多态交互过程,必然对安全访问控制模型的性能提出较高的要求.为满足服务聚合的访问控制需求,本文提出了一种异构服务聚合协同访问控制算法ACAHSP.首先,本文剖析了服务聚合中访问的动态情景要素构成,从多维度定义... 由于服务聚合要实现异构多态交互过程,必然对安全访问控制模型的性能提出较高的要求.为满足服务聚合的访问控制需求,本文提出了一种异构服务聚合协同访问控制算法ACAHSP.首先,本文剖析了服务聚合中访问的动态情景要素构成,从多维度定义了构成情景的不同要素;然后,提出了基于动态情景状态的状态演算和规则演算的机制,并给出了动态情景机约束下在服务聚合模型ACAHSP;其次,基于CP-ABE算法提出了ACAHSP访问控制模型的安全验证算法,强有力的保证了ACAHSP模型在服务聚合中访问控制机制状态机转换、数据交互的安全性;最后,结合案例进行应用验证,并与已有模型进行对比. 展开更多
关键词 服务聚合 情景网关 情景演算 状态演算 规则演算
原文传递
网格服务链模型的验证分析技术及应用 被引量:1
5
作者 许可 王跃宣 吴澄 《中国科学(E辑)》 CSCD 北大核心 2007年第4期467-485,共19页
确保网格应用中大规模资源共享和复杂任务处理的正确性与可靠性是一项重要的工作.文中从形式化方法的角度出发,提出了基于状态Pi演算的网格服务链模型作为对网格中服务协作与组合进行建模和分析的理论工具.其中,状态Pi演算针对Web服务... 确保网格应用中大规模资源共享和复杂任务处理的正确性与可靠性是一项重要的工作.文中从形式化方法的角度出发,提出了基于状态Pi演算的网格服务链模型作为对网格中服务协作与组合进行建模和分析的理论工具.其中,状态Pi演算针对Web服务资源框架(WSRF)的思想,协调了系统状态与行为间的关系,扩展了Pi演算对系统状态的全生命周期管理能力.在此基础上,进一步结合了模型验证技术对网格服务链进行设计和运行时的逻辑性质分析.通过材料形变与断裂过程动态分析的网格应用案例,展示了采用上述方法对网格应用进行需求验证和可靠性分析的有效性. 展开更多
关键词 网格 网格服务链 形式化方法 模型验证 状态Pi演算
原文传递
Filtering and tracking with trinion-valued adaptive algorithms 被引量:1
6
作者 Xiao-ming GOU Zhi-wen LIU +1 位作者 Wei LIU You-gen XU 《Frontiers of Information Technology & Electronic Engineering》 SCIE EI CSCD 2016年第8期834-840,共7页
A new model for three-dimensional processes based on the trinion algebra is introduced for the first time.Compared to the pure quaternion model, the trinion model is more compact and computationally more efficient,whi... A new model for three-dimensional processes based on the trinion algebra is introduced for the first time.Compared to the pure quaternion model, the trinion model is more compact and computationally more efficient,while having similar or comparable performance in terms of adaptive linear filtering. Moreover, the trinion model can effectively represent the general relationship of state evolution in Kalman filtering, where the pure quaternion model fails. Simulations on real-world wind recordings and synthetic data sets are provided to demonstrate the potential of this new modeling method. 展开更多
关键词 Three-dimensional processes Trinion Least mean squares Kalman filter
原文传递
On Models of Nonlinear Evolution Paths in Adiabatic Quantum Algorithms
7
作者 孙杰 路松峰 Samuel L.Braunstein 《Communications in Theoretical Physics》 SCIE CAS CSCD 2013年第1期22-26,共5页
In this paper,we study two different nonlinear interpolating paths in adiabatic evolution algorithms for solving a particular class of quantum search problems where both the initial and final Hamiltonian are one-dimen... In this paper,we study two different nonlinear interpolating paths in adiabatic evolution algorithms for solving a particular class of quantum search problems where both the initial and final Hamiltonian are one-dimensional projector Hamiltonians on the corresponding ground state.If the overlap between the initial state and final state of the quantum system is not equal to zero,both of these models can provide a constant time speedup over the usual adiabatic algorithms by increasing some another corresponding "complexity".But when the initial state has a zero overlap with the solution state in the problem,the second model leads to an infinite time complexity of the algorithm for whatever interpolating functions being applied while the first one can still provide a constant running time.However,inspired by a related reference,a variant of the first model can be constructed which also fails for the problem when the overlap is exactly equal to zero if we want to make up the "intrinsic" fault of the second model - an increase in energy.Two concrete theorems are given to serve as explanations why neither of these two models can improve the usual adiabatic evolution algorithms for the phenomenon above.These just tell us what should be noted when using certain nonlinear evolution paths in adiabatic quantum algorithms for some special kind of problems. 展开更多
关键词 adiabatic evolution nonlinear evolution paths quantum computing
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部