林敬恩
- 作品数：5 被引量：9H指数：1
- 供职机构：福建师范大学更多>>
- 相关领域：自动化与计算机技术一般工业技术更多>>
- 状态空间搜索算法的进一步探索
- 2008年
- 主要讨论了BFS、DFS、A*算法在状态空间搜索中的应用并且给出其在Mathematics下实现。在Mathematics中根据节点数据绘制出节点分布图,分别使用BFS、DFS、A*搜索对给定的源点和目标点之间的路径进行搜索,并比较得到的路径耗散数据,说明引入启发式函数对搜索效率的影响。
- 林敬恩滕忠坚
- 关键词：DFS
- 可验证的数字机器
- 随着数字时代的到来，工程师们研发系统的周期越来越短，对系统的可靠性要求越来越高。图形建模是当今工程领域的一项重要技术。一个系统或是协议在它的分析设计阶段，本文通过建立相应的图形化的模型，使它具有实际系统的某些性质。模型是...
- 林敬恩
- 关键词：图形建模状态机工程设计
- 文献传递
- 面目标间拓扑关系的形式化描述
- 2008年
- 为了更有效地描述和区分空间面目标间的拓扑关系,本文在4交差模型的基础上,结合两面目标交集的维数和边界交集的分离数,建立相应的面目标间的拓扑关系形式化描述模型。该模型可以进一步区分4交差模型无法区分的相接、交叠、覆盖于和覆盖的拓扑关系。
- 陈清华滕忠坚林敬恩施达雅
- 关键词：拓扑关系形式化描述
- A*算法在车辆导航系统中的应用研究被引量：9
- 2008年
- 在十分复杂的交通地形图中,通过分析完备性、最优性、时间复杂度、空间复杂度性能问题,使用当代流行的智能语言--Mathematica,提出三组不同估价函数对基于启发式搜索的A*算法进行优化,从而实现了车辆导航的高效率化。实验结果表明:优化后的估价函数是切实有效的,在应用导航系统中得到了较满意的选路方案。
- 陈圣群滕忠坚洪亲林敬恩
- 关键词：启发式搜索算法估价函数
- 一种基于状态机的形式化验证技术
- 2008年
- 状态机作为一种描述实体间交互或者单个实体行为的建模图，它具有丰富的直观图形化的符号。在许多模型的设计阶段都采用它来建模。但是因为缺乏精确完整的语义定义，给它的形式化验证带来困难。本文给出一种形式化操作语义，并概述基于形式化规则的验证技术。
- 林敬恩滕忠坚陈圣群
- 关键词：状态机操作语义
