10.3969/j.issn.1000-7024.2007.11.049
基于模型检验的规划综述
基于模型检验的规划是当今通用的规划研究的热点,其求解效率比较高.详细阐述了基于模型检验的规划的发展与研究现状.介绍了基于模型检验的规划的基本框架,分别阐述了模型检验技术在规划领域的重要应用,并介绍了两种典型的基于模型检验的规划工具,分析了今后的发展趋势.
规划、模型检验、基于模型检验的规划、符号化、二元判定图
28
TP18(自动化基础理论)
2007-07-09(万方平台首次上网日期,不代表论文的发表时间)
共5页
2658-2661,2670