-
题名基于Alloy求解过河问题
被引量：1
- 1
-
-
作者
肖杨
李国旗
-
机构
北京航空航天大学工程系统工程系
-
出处
《计算机应用与软件》
CSCD
2010年第10期165-167,184,共4页
-
文摘
Alloy是一种轻量级的建模语言,其所建模型可以由Alloy分析器自动地进行检验,并提供可视化的工具。过河问题是一个经典的逻辑问题,它要求一队人在一定约束下过河到对岸。给出基于Alloy的对复杂过河问题求解的代码和可视化的结果,通过对过河问题的基于Alloy的求解分析,提出了用Alloy语言对复杂问题建模、求解的思路。
-
关键词
ALLOY
过河问题
模型检验
-
Keywords
Alloy
river crossing problem
Model checking
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名格在安全渡河问题图解法中的应用
被引量：1
- 2
-
-
作者
孙峰
屈小兵
汪天飞
-
机构
乐山师范学院数学与信息科学学院
-
出处
《数学的实践与认识》
CSCD
北大核心
2013年第8期170-175,共6页
-
基金
四川省科技厅应用基础项目(2011JY0133)
四川省教育厅重点项目(11ZA159)
+1 种基金
四川省教育厅科研项目(ZB0108)
乐山师范学院科研项目
-
文摘
安全渡河问题是一个经典的逻辑推理问题,可以利用图论的方法,动态规划或整数规划来解决.给出了一种新的基于格的图解算法.相对于已有的安全渡河问题的图解法,方法更具直观性和通用性.
-
关键词
格
安全渡河问题
图解法
-
Keywords
lattice
river-crossing problem
graphic method
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名渡河问题的矩阵表示与迭代算法
被引量：1
- 3
-
-
作者
温鸿航
任晓莉
温鸿翔
-
机构
西安电子科技大学通信工程学院
西安交通大学城市学院
陕西广电网络(集团)有限公司
-
出处
《电子科技》
2012年第10期101-105,共5页
-
文摘
为解决较复杂的渡河问题,提出用构建岸态矩阵来表示求解过程中左右河岸上同一时刻的人员组合状态;并引入表征小船上人员状况的摆渡算子,则问题的求解过程就可用从始点状态向着目标状态的逐次迭代来表示;而约束条件则由岸态矩阵的生成及算子的选取来实现。同时对运载能力n的取值范围作了较深入的讨论,并用图解算例加以验证。
-
关键词
渡河问题
岸态矩阵
迭代算法
摆渡算子
运载能力n
-
Keywords
river crossing problem
shore state matrix
iterative algorithm
ferry operator
carrying capacity n
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
