集合约束论文

基于整体效用的Agent意图再考虑策略研究
论文摘要在设计现实环境中的Agent时，BDI模型是一种常用的Agent体系结构设计方法。在该模型中，Agent根据它的信念来选择一定的愿望（目标），作为它要实现的意图。由于现...
工作流模型验证与数据访问冲突分析方法研究
论文题目:工作流模型验证与数据访问冲突分析方法研究论文类型:硕士论文论文专业:计算机应用技术作者:周小平导师:王茜关键词:工作流,模型验证,集合约束,工作流并发,数据访问冲突文...