搜索筛选:
搜索耗时4.4704秒,为你在为你在102,285,761篇论文里面共找到 39 篇相符的论文内容
发布年度:
[期刊论文] 作者:冯速,,
来源:计算机科学 年份:2001
This paper proposes a novel method for proving weakly ground termination in a restricted domain of a term rewriting system based on structural and cover set ind...
[期刊论文] 作者:冯速,
来源:计算机科学技术学报:英文版 年份:2005
The paper presents three formal proving methods for generalized weakly ground terminating property, i.e.,weakly terminating property in a restricted domain of a...
[期刊论文] 作者:冯速,
来源:计算机科学 年份:2005
本文考虑如何设计高效率(即重写步数较少的)重写型程序.文中以计算Fibonacci数列的程序为例,比较具有相同功能的重写型程序,展示编写高效率重写型程序的可能性.介绍利用动态...
[期刊论文] 作者:冯速,
来源:计算机科学 年份:2000
尽管学者们在计算机软件理论及相关数学理论方面做出了不懈的努力,但伴随着计算机硬件的高速发展而来的软件危机却日益严峻,其原因复杂多样。其中,主要原因之一是缺乏程...
[期刊论文] 作者:冯速,
来源:计算机科学 年份:2002
1.引言项重写系统是一种受到广泛研究和应用的形式计算模型.一个项重写系统由一组称为重写规则的定向等式组成.它的计算基于代入、匹配和替换,除具有方向性外,与等式推导一致...
[学位论文] 作者:冯速,
来源:山东大学 年份:2007
冷战的结束使得美国确立了不容置疑的世界霸主地位,其影响力令人无法忽视。东亚地区对美国而言有着极为重要的意义,尤其是近年来中国的快速崛起引起了美国的高度重视,美国已将中......
[会议论文] 作者:冯速,
来源:第16届全国计算机新科技与教育研讨会 年份:2005
计算机软件和技术被广泛运用于中小学和大学各个专业的教学中,但其应用还停留在一个较低的层次,特别地,它在计算机相关专业的教学中的运用还有待提高.针对这样的现状,本文提...
[期刊论文] 作者:冯速清,
来源:黑龙江通信技术 年份:2001
介绍黑龙江省校园网的建设发展过程 ,阐述 2 0 0业务在我省校园网和通信发展中所起的作用Describe the construction and development process of the campus network in H...
[期刊论文] 作者:冯速琼,
来源:科技视界 年份:2021
随着我国社会经济的快速发展,建筑行业取得了一定的成绩。然而在建筑工程技术与施工现场管理工作中,也形成了相关的管理问题,全面影响了现场施工作业的开展,文章根据建筑工程施工现场的管理现状,全面分析的建筑施工现场存在的相关问题,并提出了相应的解决策略。......
[期刊论文] 作者:冯速琼,
来源:中国科技博览 年份:2015
[摘 要]超高层建筑不仅可以减少城市用地的占用,缓解城市用地压力,也是一个地区、一个国家经济实力的象征。然而超高层建筑的施工过程中存在太多的困难,高空作业、深基础作业以及一些物化效应,使得超高层建筑的修建既是集技术经济等于一体的代表,也是工程施工先进技......
[期刊论文] 作者:冯速琼,
来源:基层建设 年份:2014
摘要:钢筋施工是建筑工程中的基础工序,具有比较强的隐蔽性,对建筑结构的安全起到一定的影响作用,为了保证其良好的运行,必须要对其质量进行控制。本文探讨了建筑基础钢筋施工常见质量防治措施与技术。 关键词:建筑基础;钢筋施工;质量问题;防治措施;技术 在建筑......
[期刊论文] 作者:冯速琼,
来源:科技风 年份:2022
在建筑工程中需要有完善的技术管理体系来对工程施工进行有效指导,因此需要保证所采用的技术管理模式可以对施工过程进行全面的管控,通过完善的管理制度、监管体系来保证在各个施工环节中建筑工程技术得到规范化、标准化应用,进而为工程的建设质量、建设效益提......
[期刊论文] 作者:潘黎, 冯速,,
来源:计算机系统应用 年份:2009
提出一套适用于小学应用题解题系统的句类分析及知识提取方法,以概念层次网络(HNC)理论为基础,从概念间的联系出发,重点研究概念间的数量关系,对自然语言描述的应用题进行句类......
[期刊论文] 作者:韦玉,冯速,,
来源:北京师范大学学报(自然科学版) 年份:2008
将基于疫苗和免疫规划的免疫遗传算法应用于排课问题中,并结合贪心策略,提出一种适于解决多软约束条件的排课方案.方案中,针对软约束条件特征和教务经验提取疫苗,对遗传算法...
[期刊论文] 作者:周文帅,冯速,
来源:山西师范大学学报:自然科学版 年份:2006
汉语自动分词是计算机中文信息处理系统的基础和难题,本文对近年来的汉语自动分词的研究方法与成果进行了分析综述。探讨了分词中存在的一些关键问题,同时介绍了分词技术在科研......
[期刊论文] 作者:岳金朋, 冯速,,
来源:北京师范大学学报(自然科学版) 年份:2009
针对中国象棋机器博弈中较为高效的Alpha-Beta搜索算法进行研究,以提升其效率.依据Alpha-Beta搜索算法的效率与子节点扩展的排列顺序高度相关的事实及中国象棋自身的特点,本...
[期刊论文] 作者:岳金朋, 冯速,,
来源:计算机系统应用 年份:2009
机器博弈作为人工智能研究的重要分支,可研究的内容极为广泛。介绍现在计算机博弈中主流的搜索算法,并将它们有机的结合起来,给出一个搜索的主体框架,为博弈树研究者提供启发...
[期刊论文] 作者:岳金朋,冯速,
来源:计算机系统应用 年份:2009
针对中国象棋博弈中较为高效的α-β剪枝算法进行研究,以提升其效率。依据α-β剪枝算法的效率与子节点扩展的排列顺序高度相关的事实及中国象棋自身的特点,从优化着法的排列顺......
[会议论文] 作者:冯速清,马凤霞,
来源:黑龙江省通信学会学术年会 年份:2005
中兴通信公司开发的ZXVMS语音消息系统于2003年10月1日正式在省通信公司投入运营,语音短信业务的开放不仅进一步扩大和拓展了我公司在短信市场的应用范围,同时给我公司带来了...
[会议论文] 作者:芦松萍,冯速捷,
来源:2000中国药学会学术年会 年份:2000
...
相关搜索: