论文部分内容阅读
搜索算法的初始空间、搜索策略、搜索过程可以用一阶语言描述，搜索算法的逻辑性质由初始状态空间确定。这意味着描述搜索过程的逻辑具有紧致性，初始状态的初等类具有有限封闭性。
搜索算法的逻辑分析
【摘 要】
：
搜索算法的初始空间、搜索策略、搜索过程可以用一阶语言描述，搜索算法的逻辑性质由初始状态空间确定。这意味着描述搜索过程的逻辑具有紧致性，初始状态的初等类具有有限封闭性
【机 构】
：
北京航空航天大学计算机科学与工程系
【出 处】
：
软件学报
【发表日期】
：
1999年2期
其他文献
针对目前工作流管理系统在描述能力和柔性上存在的严重不足，提出了一种基于协调理论和反馈机制的工作流建模方法，该方法扩了传统活动网络模型，提出了新的建模机制，增加了请求，服务
<正>人物简介庞丽娟,浙江宁海人。先后获得北京师范大学、美国伊利诺大学、北京师范大学发展心理研究所教育学学士、教育学硕士、发展心理学博士学位。现任北京师范大学教育
讨论节点电压法分析电路原理及列节点电压方程的过程，强调熟练运用节点电压法分析典型电路，归纳对非典型电路中常见情况的处理方法。提出注重典型电路，突出重点，分散难点，化繁为简