论文部分内容阅读
搜索算法的初始空间、搜索策略、搜索过程可以用一阶语言描述，搜索算法的逻辑性质由初始状态空间确定。这意味着描述搜索过程的逻辑具有紧致性，初始状态的初等类具有有限封闭性。
搜索算法的逻辑分析
【摘 要】
：
搜索算法的初始空间、搜索策略、搜索过程可以用一阶语言描述，搜索算法的逻辑性质由初始状态空间确定。这意味着描述搜索过程的逻辑具有紧致性，初始状态的初等类具有有限封闭性
【机 构】
：
北京航空航天大学计算机科学与工程系
【出 处】
：
软件学报
【发表日期】
：
1999年2期
其他文献
针对目前工作流管理系统在描述能力和柔性上存在的严重不足，提出了一种基于协调理论和反馈机制的工作流建模方法，该方法扩了传统活动网络模型，提出了新的建模机制，增加了请求，服务
人类的无声语言和无声信息的传播有时要比有声语富更富有表现力和感染力。往往同一种姿态可以发出几种不同的信号,这是有声语言所不能比拟的。
<正>人物简介庞丽娟,浙江宁海人。先后获得北京师范大学、美国伊利诺大学、北京师范大学发展心理研究所教育学学士、教育学硕士、发展心理学博士学位。现任北京师范大学教育
思想政治工作是解决人们思想、观念、政治立场问题，提高人们思想觉悟的工作，是我们党的优良传统和政治优势。公路文化则是公路部门在长期的管理生产经营活动中逐步形成并成为全
讨论节点电压法分析电路原理及列节点电压方程的过程，强调熟练运用节点电压法分析典型电路，归纳对非典型电路中常见情况的处理方法。提出注重典型电路，突出重点，分散难点，化繁为简
班上一男生与邻班一女生热恋,每日早出晚归,风雨无阻。我们看着好不辛苦,不由长叹:“原来谈恋爱就是提前离开象牙塔,开始每日例行公事的上班生涯！”小米立时反对:“哪有这等甜
“减负”给疲于奔命的学生和教师以喘息的机会，但“减负”不等于“减质量”，如何在“减负”环境下提高教学质量，应是每一位教育工作者必须思考的重要课题。
文章提出了一种结合纹理信息的图像分割方法，设计并实现了一种基于子区域的区域增长算法，该方法较有效地利用了欲分割对象区域的灰度以及纹理信息，该方法应用于医学图像的分割，得