| 基于Alloy求解过河问题 |
| |
| 引用本文： | 肖杨,李国旗.基于Alloy求解过河问题[J].计算机应用与软件,2010,27(10). |
| |
| 作者姓名： | 肖杨 李国旗 |
| |
| 作者单位： | 北京航空航天大学工程系统工程系,北京,100191 |
| |
| 摘 要： | Alloy是一种轻量级的建模语言,其所建模型可以由Alloy分析器自动地进行检验,并提供可视化的工具.过河问题是一个经典的逻辑问题,它要求一队人在一定约束下过河到对岸.给出基于Alloy的对复杂过河问题求解的代码和可视化的结果,通过对过河问题的基于Alloy的求解分析,提出了用Alloy语言对复杂问题建模、求解的思路.
|
| 关 键 词： | 过河问题 模型检验 |
ALLOY BASED SOLUTION FOR COMPLICATED RIVER CROSSING PROBLEM |
| |
| Xiao Yang,Li Guoqi.ALLOY BASED SOLUTION FOR COMPLICATED RIVER CROSSING PROBLEM[J].Computer Applications and Software,2010,27(10). |
| |
| Authors: | Xiao Yang Li Guoqi |
| |
| Abstract: | |
| |
| Keywords: | Alloy |
| 本文献已被 万方数据 等数据库收录！ |
|
