智能规划是人工智能的一个重要领域，不确定规划是智能规划的一个重要分支，它比经典规划更具有现实性。近年来，很多研究人员对基于模型......

随着智能规划的拓展与应用,规划的研究对象由确定的经典规划转向了不确定规划,规划图的模型也从确定图模型扩展到不确定图模型。规......

对一个不确定状态转移系统求多个规划问题,那么获得不确定状态转移系统的状态可达关系可以方便求解规划问题,减少冗余计算,建立系......

针对SIP软交换系统提出了在同一个会话中点到点终端对话的状态可达性模型。根据SIP及SIP扩展协议,并结合stateless和stateful的模......

本文给出了依靠代数递推计算判断结构无竞争Ｐｅｔｒｉ网的状态可达性的一种方法；提出了动态子网的概念，提高了判断速度；研究了结构无竞争Ｐｅｔｒｉ网的可......

时间约束Ｐｅｔｒｉ网是具有广义时间约束的一类Ｐｅｔｒｉ网。时间约束的经入使ＰＣＰＮ‘Ｓ的演化与系统每一时刻的状态都密切相关，导致网的动态复杂性。目前有关......

回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......

随着工业信息化进程的进一步深化,工业控制网络中的安全性问题逐渐暴露,主要涉及专有的工业通信协议。时钟同步协议作为工业控制系......

在不确定规划领域中，不确定状态转移系统求规划解常常会搜索大量无用的状态和动作，造成冗余计算。获得不确定状态转移系统的状态可达......