位置:成果数据库 > 期刊 > 期刊详情页
不确定规划中状态循环可达关系的求解方法
  • ISSN号:1001-3695
  • 期刊名称:计算机应用研究
  • 时间:2013.9.9
  • 页码:2689-2693
  • 分类:TP18[自动化与计算机技术—控制科学与工程;自动化与计算机技术—控制理论与控制工程]
  • 作者机构:湘潭大学信息工程学院,湖南湘潭411105
  • 相关基金:国家自然科学基金(No.61070232,No.61272295,No.61105039);湖南省教育厅一般项目(No.12C0399).
  • 相关项目:基于模型检测的不确定规划的状态可达性及其应用研究
中文摘要:

现实的规划问题中,观察信息的获取所需的代价是不同的,并且在规划解执行过程中,并非所有的观察信息都是有意义的,因此为了减少执行过程中的开销而对大量的带权值的观察信息进行约简就显得十分重要。首次针对带权值的观察信息约简问题做出研究,定义了带权值的最优观察集的概念,设计了SOWOS算法。该算法找出所有需要区分的状态对,用贪心的思想使搜索按指定顺序选择观察变量,并在搜索的过程中增加剪枝,减少了大量不必要的搜索,最终求得总花费最小的观察集,达到了减少执行成本的目的。实验结果表明,SOWOS算法可以高效地求得带权值的最优观察集,对减少规划执行中的开销贡献明显。

英文摘要:

In the planning problem of reality, the cost to obtain the observation information is different, and in the plan implementation process, not all of the observed information is significant, so the huge weighted observation information reduction to reduce the execution overhead is very important. For the first time to observe the information reduction problem with weights to make research, this paper puts forward the concept of the set of optimal weighted, and designs the SOWOS algorithm. It finds out all state pairs needed to be distinguished, builds an observation matrix, backtracking and pruning, and obtains the optimal observation of total cost minimum set to reduce the execution cost. The experimental results show that, SOWOS algorithm can efficiently find the optimal weighted observation set.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《计算机应用研究》
  • 北大核心期刊(2011版)
  • 主管单位:四川省科学技术厅
  • 主办单位:四川省计算机研究院
  • 主编:刘营
  • 地址:成都市成科西路3号
  • 邮编:610041
  • 邮箱:arocmag@163.com
  • 电话:028-85210177 85249567
  • 国际标准刊号:ISSN:1001-3695
  • 国内统一刊号:ISSN:51-1196/TP
  • 邮发代号:62-68
  • 获奖情况:
  • 第二届国家期刊奖百种重点科技期刊,国内计算技术类重点核心期刊,国内外著名数据库收录期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:60049