|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | 建筑工程技术与施工现场管理措施显示文摘随着我国社会经济的快速发展,建筑行业取得了一定的成绩。然而在建筑工程技术与施工现场管理工作中,也形成了相关的管理问题,全面影响了现场施工作业的开展,文章根据建筑工程施工现场的管理现状,全面分析的建筑施工现场存在的相关问题,并提出了相应的解决策略。 | 冯速琼 | 2021 | 科技视界2021，，27： | 8 |
| 2 | 建筑工程技术管理模式创新探索显示文摘在建筑工程中需要有完善的技术管理体系来对工程施工进行有效指导,因此需要保证所采用的技术管理模式可以对施工过程进行全面的管控,通过完善的管理制度、监管体系来保证在各个施工环节中建筑工程技术得到规范化、标准化应用,进而为工程的建设质量、建设效益提供保障。为此应从技术管理的理念、制度、方法等方面对管理模式进行全面的创新,从而更好地应对建筑工程的发展形势及发展要求,使建筑工程技术应用可以达到一定的标准要求。 | 冯速琼 | 2022 | 科技风2022，，2： | 6 |
| 3 | 项重写系统等价性的归纳证明显示文摘尽管学者们在计算机软件理论及相关数学理论方面做出了不懈的努力,但伴随着计算机硬件的高速发展而来的软件危机却日益严峻,其原因复杂多样。其中,主要原因之一是缺乏程序验证的方法和工具。程序设计的主要步骤有:描述问题、设计程序、实现程序及测试程序。需要注意的是,这里是测试程序的正确性而非证明程序的正确性。 | 冯速 | 2000 | 计算机科学2000，27，8： | 4 |
| 4 | 项重写系统弱基终止性的归纳证明显示文摘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 induction. For this prupose,we introduce the concepts of base set and set of ground terms defined recursively over base sets,which plays a crucial role in the inductive method. The method can be used for non-terminating,non-confluent and/or non-linear term rewriting systems,and have application in inductive equivalence testing and program verification. | 冯速 | 2001 | 计算机科学2001，28，7： | 4 |
| 5 | 动态项重写计算显示文摘1.引言
项重写系统是一种受到广泛研究和应用的形式计算模型.一个项重写系统由一组称为重写规则的定向等式组成.它的计算基于代入、匹配和替换,除具有方向性外,与等式推导一致.虽然项重写系统形式简单、计算单纯,但它同时又具有与λ计算及图灵机相同的计算能力.正是它的简洁性及计算能力使它受到广泛的研究和应用:项重写系统为抽象数据类型提供类型、为函数型语言提供操作语义、为定理自动证明提供推理工具.对于项重写系统本身也有大量的研究:如合流性、终止性、等价性等[1-5]. | 冯速 | 2002 | 计算机科学2002，29，8： | 2 |
| 6 | 黑龙江省校园网的发展显示文摘介绍黑龙江省校园网的建设发展过程 ,阐述 2 0 | 冯速清 | 2001 | 黑龙江通信技术2001，，3： | 0 |
| 7 | Mechanizing Weakly Ground Termination Proving of Term Rewriting Systems by Structural and Cover-Set Inductions显示文摘The paper presents three formal proving methods for generalized weakly ground terminating property, i.e.,weakly terminating property in a restricted domain of a term rewriting system, one with structural induction, one with cover-set induction, and the third without induction, and describes their mechanization based on a meta-computation model for term rewriting systems-dynamic term rewriting calculus. The methods can be applied to non-terminating, nonconfluent and/or non-left-linear term rewriting systems. They can do 'forward proving' by applying propositions in the proof, as well as 'backward proving' by discovering lemmas during the proof. | 冯速 | 2005 | Journal of Computer Science & Technology2005，20，4： | 0 |
| 8 | 基于超高层建筑工程施工技术的探讨显示文摘超高层建筑不仅可以减少城市用地的占用,缓解城市用地压力,也是一个地区、一个国家经济实力的象征。然而超高层建筑的施工过程中存在太多的困难,高空作业、深基础作业以及一些物化效应,使得超高层建筑的修建既是集技术经济等于一体的代表,也是工程施工先进技术科研工作者的挑战。本文对超高层建筑工程施工技术进行了探讨。 | 冯速琼 | 2015 | 中国科技博览2015，0，2： | 0 |
| 9 | 高效率重写型程序的设计显示文摘本文考虑如何设计高效率(即重写步数较少的)重写型程序。文中以计算Fibonacci数列的程序为例,比较具有相同功能的重写型程序,展示编写高效率重写型程序的可能性。介绍利用动态项重写计算编写高效率重写型程序的直观、简洁的方法。其中,动态项重写计算是项重写系统的元计算模型,其计算同样基于项重写。 | 冯速 | 2005 | 计算机科学2005，32，2： | 0 |
| 10 | 免疫遗传算法在排课问题中的应用显示文摘将基于疫苗和免疫规划的免疫遗传算法应用于排课问题中,并结合贪心策略,提出一种适于解决多软约束条件的排课方案.方案中,针对软约束条件特征和教务经验提取疫苗,对遗传算法的缺点进行弥补.通过将该算法应用于具体课程编排,证实了该方法优于传统的遗传方法. | 韦玉 冯速 | 2008 | 北京师范大学学报(自然科学版)2008，44，2： | 17 |
| 11 | 汉语分词技术研究现状与应用展望显示文摘汉语自动分词是计算机中文信息处理系统的基础和难题,本文对近年来的汉语自动分词的研究方法与成果进行了分析综述,探讨了分词中存在的一些关键问题,同时介绍了分词技术在科研以及商用系统中的应用,并展望了未来分词技术在应用方向的发展. | 周文帅 冯速 | 2006 | 山西师范大学学报(自然科学版)2006，20，1： | 16 |
| 12 | 中国象棋Alpha-Beta搜索算法的研究与改进显示文摘针对中国象棋机器博弈中较为高效的Alpha-Beta搜索算法进行研究,以提升其效率.依据Alpha-Beta搜索算法的效率与子节点扩展的排列顺序高度相关的事实及中国象棋自身的特点,本研究从优化着法的排列顺序入手,设计出了启发能力较强的着法排列方案,并进一步提出了扩大窗口的内部迭代加深算法对上述着法排列方案进行修正,从而使着法顺序得到了进一步的优化.实验数据证明,本研究明显提升了Alpha-Beta算法的效率. | 岳金朋 冯速 | 2009 | 北京师范大学学报(自然科学版)2009，45，2： | 10 |
| 13 | 博弈树搜索算法概述显示文摘机器博弈作为人工智能研究的重要分支,可研究的内容极为广泛。介绍现在计算机博弈中主流的搜索算法,并将它们有机的结合起来,给出一个搜索的主体框架,为博弈树研究者提供启发和参考。 | 岳金朋 冯速 | 2009 | 计算机系统应用2009，18，9： | 6 |
| 14 | 纳氏试剂法测定水中氨氮实验条件的研究显示文摘对纳氏试剂检测水中氨氮的方法进行了说明,探讨纳氏试剂法测定水中氨氮试验条件与影响因素。通过实验比较,研究纳氏试剂法测定氨氮时的反应显色时间、pH值、温度及样品放置时间对氨氮含量的影响。结果表明:水样pH值为7~8,显色时间10~30 min,反应温度为25℃时水样尽快测试可以得到准确结果。 | 冯喆 周速 | 2011 | 广州化工2011，39，12： | 5 |
| 15 | 基于概念层次网络的小学应用题句类分析和知识提取显示文摘提出一套适用于小学应用题解题系统的句类分析及知识提取方法,以概念层次网络(HNC)理论为基础,从概念间的联系出发,重点研究概念间的数量关系,对自然语言描述的应用题进行句类分析,由此提取应用题中的知识,特别是数量上的知识,并用形式化的符号进行描述。在机器自动知识提取方向上所做的探索,可以为小学应用题自动解题系统提供一种思路。 | 潘黎 冯速 | 2009 | 计算机系统应用2009，18，12： | 4 |
| 16 | 李吕钰侦破“木材粉碎机谋杀案”显示文摘李昌钰,美籍华人、刑事鉴识专家,美国康涅狄格州纽海文大学终身教授。曾担任康州警政厅长。他鉴识过数个全球重大案件,如肯尼迪总统被杀案、尼克松“水门事件”。先后获得了800多项荣誉,其中包括美国鉴识科学领域的最高荣誉奖——刑事领域杰出服务奖。 | 迈克尔·巴登 冯速 | 2017 | 现代阅读2017，0，5： | 0 |
| 17 | 博弈树搜索算法在中国象棋中的应用显示文摘针对中国象棋博弈中较为高效的α-β剪枝算法进行研究,以提升其效率。依据α-β剪枝算法的效率与子节点扩展的排列顺序高度相关的事实及中国象棋自身的特点,从优化着法的排列顺序入手,设计出启发能力较强的着法排列方案,并进一步提出扩大窗口的内部迭代加深算法对上述着法排列方案进行修正,从而使着法顺序得到进一步的优化。实验数据表明,提出的方法可以明显提升α-β剪枝的效率。 | 岳金朋 冯速 | 2009 | 计算机系统应用2009，18，9： | 0 |
| 18 | 成都市儿童家长手足口病防治健康教育效果评估显示文摘目的评价成都市手足口病防治儿童家长健康教育干预效果,为今后制定预防手足口病的决策提供依据。方法 2015年6-12月在成都市实施了针对适龄儿童家长手足口病健康教育干预活动,采用随机整群抽样的方法抽取成都市适龄儿童家长进行知识和行为相关调查。结果干预前共调查8474名家长,男性2779人,女性5695人,知识平均分为(6.23±1.35)分;干预后共调查4076名家长,男性1484人,女性2592人,知识平均分为(8.97±1.64)分,知识平均分提高44.0%。在家长手足口病健康行为形成方面,'不与孩子共用餐具'由干预前85.8%提升至90.7%,'常晒衣服、被褥'由干预前85.5%提升至89.2%。结论通过实施综合健康教育干预措施,提高了儿童家长认知水平,改善了儿童家长的卫生习惯,对手足口病的流行有一定的遏制效果。 | 冯静 速丽媛 孙丁 | 2018 | 中国健康教育2018，34，4： | 16 |
| 19 | 气相色谱法测定红花油中水杨酸甲酯和丁香酚含量的方法改进显示文摘红花油是卫生部药品标准[1]收载的复方中药制剂,主要成分有水扬酸甲酯、丁香罗勒油(主要含丁香酚),对风湿骨痛、跌打损伤、外感头痛、皮肤瘙痒等具有显著疗效。部颁标准中收载的气相色谱法测定水杨酸甲酯和丁香酚含量的方法为:以正二十四烷为内标,以正辛烷为溶剂,柱温170℃。用该法测含量效果不是很理想,且内标及溶剂价格均较昂贵。如采用以环己酮为内标、以无水乙醇为溶剂的程序升温法,则含量测定准确,无杂质干扰,重现性好,能可靠地控制成品质量。 | 段莲华 冯速捷 李玉丽 | 2002 | 中国药业2002，11，7： | 7 |
| 20 | 环境监测中重金属污染与减量化对策显示文摘环境监测实验室在监测分析中产生大量金属污染物,根据监测标准分析其产生来源,由某实验室近五年来的工作量,推算污染情况并提出相应对策。 | 周速 冯喆 汤宏伟 | 2011 | 安阳工学院学报2011，10，6： | 1 |
您所在的机构暂未开通此部分的功能，请联系管理员