基于模型检验的规划综述

作     者：季磊 JI Lei

作者机构：解放军总医院计算机室北京100853 

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2007年第28卷第11期

页      码：2658-2661,2670页

摘      要：基于模型检验的规划是当今通用的规划研究的热点,其求解效率比较高。详细阐述了基于模型检验的规划的发展与研究现状．介绍了基于模型检验的规划的基本框架,分别阐述了模型检验技术在规划领域的重要应用,并介绍了两种典型的基于模型检验的规划工具,分析了今后的发展趋势。

主 题 词：规划 模型检验 基于模型检验的规划 符号化 二元判定图 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 081104[081104] 08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-7024.2007.11.049

馆 藏 号：203156238...