冯速

作品数：12被引量：61H指数：5
导出分析报告
供职机构：北京师范大学信息科学与技术学院更多>>
发文主题：项重写系统中国象棋博弈树搜索算法等价性元计算更多>>
发文领域：自动化与计算机技术文化科学语言文字更多>>
发文期刊：《北京师范大学学报（自然科学版）》《计算机系统应用》《中国民航大学学报》《山西师范大学学报（自然科学版）》更多>>
所获基金：国家自然科学基金教育部留学回国人员科研启动基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于概念层次网络的小学应用题句类分析和知识提取被引量：5
《计算机系统应用》2009年第12期179-183,共5页潘黎 冯速 
国家自然科学基金(60273015)
提出一套适用于小学应用题解题系统的句类分析及知识提取方法,以概念层次网络(HNC)理论为基础,从概念间的联系出发,重点研究概念间的数量关系,对自然语言描述的应用题进行句类分析,由此提取应用题中的知识,特别是数量上的知识,并用形式...
关键词：HNC 自然语言理解 自动解题 句类分析 知识提取 
博弈树搜索算法在中国象棋中的应用
《计算机系统应用》2009年第9期140-143,共4页岳金朋 冯速 
国家自然科学基金(60273015)
针对中国象棋博弈中较为高效的α-β剪枝算法进行研究,以提升其效率。依据α-β剪枝算法的效率与子节点扩展的排列顺序高度相关的事实及中国象棋自身的特点,从优化着法的排列顺序入手,设计出启发能力较强的着法排列方案,并进一步提出扩...
关键词：中国象棋α—β剪枝着法顺序内部迭代加深扩大窗口 
博弈树搜索算法概述被引量：6
《计算机系统应用》2009年第9期203-207,共5页岳金朋 冯速 
国家自然科学基金(60273015)
机器博弈作为人工智能研究的重要分支,可研究的内容极为广泛。介绍现在计算机博弈中主流的搜索算法,并将它们有机的结合起来,给出一个搜索的主体框架,为博弈树研究者提供启发和参考。
关键词：博弈树 极大极小算法α-β剪枝 置换表 
中国象棋Alpha-Beta搜索算法的研究与改进被引量：11
《北京师范大学学报（自然科学版）》2009年第2期156-160,共5页岳金朋 冯速 
国家自然科学基金资助项目(60273015)
针对中国象棋机器博弈中较为高效的Alpha-Beta搜索算法进行研究,以提升其效率.依据Alpha-Beta搜索算法的效率与子节点扩展的排列顺序高度相关的事实及中国象棋自身的特点,本研究从优化着法的排列顺序入手,设计出了启发能力较强的着法排...
关键词：中国象棋 Alpha-Beta剪枝 着法顺序 内部迭代加深 扩大窗口 
免疫遗传算法在排课问题中的应用被引量：17
《北京师范大学学报（自然科学版）》2008年第2期168-173,共6页韦玉 冯速 
国家自然科学基金资助项目(60273015)
将基于疫苗和免疫规划的免疫遗传算法应用于排课问题中,并结合贪心策略,提出一种适于解决多软约束条件的排课方案.方案中,针对软约束条件特征和教务经验提取疫苗,对遗传算法的缺点进行弥补.通过将该算法应用于具体课程编排,证实了该方...
关键词：排课 免疫遗传算法 遗传算法 免疫算法 智能优化算法 
汉语分词技术研究现状与应用展望被引量：16
《山西师范大学学报（自然科学版）》2006年第1期25-29,共5页周文帅 冯速 
国家自然科学基金资助项目(60273015)
汉语自动分词是计算机中文信息处理系统的基础和难题,本文对近年来的汉语自动分词的研究方法与成果进行了分析综述,探讨了分词中存在的一些关键问题,同时介绍了分词技术在科研以及商用系统中的应用,并展望了未来分词技术在应用方向的发展.
关键词：汉语分词 分词方法 分词系统 
动态虚拟私有网络:一种新的VPN实现方案
《中国民航大学学报》2006年第z1期93-95,共3页刘侃 冯速 王永刚 
国家自然科学基金资助项目(60273015)
介绍一种新的VPN实现方案:动态虚拟私有网络(dynamic virtual private network,DVPN).DVPN不但继承了传统VPN的各种优点,而且解决了传统VPN无法解决的若干问题.DVPN具有配置简单、功能强大的特征,更加符合目前及未来的网络应用.分析VPN...
关键词：虚拟私有网络 动态虚拟私有网络 IP安全 二层隧道协议 
高效率重写型程序的设计
《计算机科学》2005年第2期150-152,共3页冯速 
国家自然科学基金(60273015);教育部留学回国人员科研启动基金
本文考虑如何设计高效率(即重写步数较少的)重写型程序。文中以计算Fibonacci数列的程序为例,比较具有相同功能的重写型程序,展示编写高效率重写型程序的可能性。介绍利用动态项重写计算编写高效率重写型程序的直观、简洁的方法。其中,...
关键词：元计算 程序 设计 动态 系统 模型 高效率 编写 可能性 展示 
基于DTRC的形式自动证明平台及其应用
《海军工程大学学报》2004年第5期60-64,共5页熊锋 李桂范 程明 冯速 
国家自然科学基金资助项目(60273015)
动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动...
关键词：动态项重写计算 项重写系统 运行平台 形式自动证明 重写策略 
动态项重写计算被引量：2
《计算机科学》2002年第8期13-14,12,共3页冯速 
国家自然科学基金(重点项目)(19931020);教育部留学回国人员科研启动基金
1.引言 项重写系统是一种受到广泛研究和应用的形式计算模型.一个项重写系统由一组称为重写规则的定向等式组成.它的计算基于代入、匹配和替换,除具有方向性外,与等式推导一致.虽然项重写系统形式简单、计算单纯,但它同时又具有与λ计...
关键词：动态项重写计算 完备化算法 形式计算模型 元计算 计算机 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部