张伟
- 作品数：6 被引量：1H指数：1
- 供职机构：东北工学院更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 归结策略的推理能力和复杂度被引量：1
- 1991年
- 为了对基于归结原理的各种归结策略进行性能分析,本文提出了推理能力和复杂度两个概念,并证明了:有序语义归结的推理能力强于单元归结;(2)有序线性归结的复杂度是指数级的。
- 张伟洪声贵
- 关键词：复杂度
- 启发式协议验证
- 1990年
- 本文讨论和建立了一种状态空间探寻式(SEV)协议验证问题的图论模型,并形式地定义了协议错误、协议正确程度、验证算法复杂度等概念.本文提出了一个基于启发式搜索的协议验证算法 Z(?),并就其复杂度同耗尽式验证算法 Breadfirst 进行了比较.
- 张伟刘积仁李华天
- 关键词：计算机网络
- 学习式搜索:一种新的搜索策略
- 1992年
- 本文将模式识别技术引入到启发式搜索当中,开展一种新的搜索——学习式搜索——的研究。我们给出了一个学习式的搜索算法SCDF,并证明了该算法的平均复杂度可达到线性。
- 张伟洪声贵
- 关键词：人工智能启发式搜索
- 全文增补中
- 与／或图搜索中的A算法—算法AO．A
- 1990年
- 本文建立了普通图和与/或图(指广义与/或图,它包含普通与/或图)的概念之间的对应关系,从而将普通图搜索中完美的理论,算法及分析方法成功地引入到与/或图搜索中来。
- 洪声贵张伟
- 关键词：启发式搜索
- NEUT-TP4:一个MAP传送层协议的描述及其半自动的实现
- 1993年
- MAP协议是一套用于工业自动化的计算机通讯协议,国际标准化组织所开发的七层协议模型中的第四层——传送层(第四类)是MAP协议集的核心部分。该协议可为不同主机上的用户进程提供可靠的“端——端”(end——end)数据传送服务。本文介绍了东北工学院计算机系软件与网络工程研究室在MAP协议开发中,用Estell,语言描述一个符合ISO传送层Class 4协议标准的软件包NEUT—TP4并且使用协议开发工具Estelle编译器将它半自动地实现出来的过程。
- 张伟刘积仁李华天
- 关键词：计算机网络通信协议
- 线性可采纳搜索算法的充要条件
- 1992年
- 针对图搜索问题,本文证明了任一可采纳搜索算法Г维持其复杂度为O(N)(N是解路径的长度)的充分必要条件是,算法Г使用的启发估计函数h_г(·)满足其中B、C是常数,θ(x)是满足limθ(x)=0的可微函数,是由θ(x)定义的函数。
- 张伟李华天刘积仁
- 关键词：人工智能搜索
