检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

智能合约安全漏洞检测技术研究综述

软件学报 2022年第8期33卷 3059-3085页

作者：钱鹏刘振广何钦铭黄步添田端正王勋浙江工商大学计算机与信息工程学院浙江杭州310018 浙江大学计算机科学与技术学院浙江杭州310058

智能合约是区块链技术最成功的应用之一,为实现各式各样的区块链现实应用提供了基础,在区块链生态系统中处于至关重要的地位.然而,频发的智能合约安全事件不仅造成了巨大的经济损失,而且破坏了基于区块链的信用体系,智能合约的安全性和... 详细信息

智能合约是区块链技术最成功的应用之一,为实现各式各样的区块链现实应用提供了基础,在区块链生态系统中处于至关重要的地位.然而,频发的智能合约安全事件不仅造成了巨大的经济损失,而且破坏了基于区块链的信用体系,智能合约的安全性和可靠性成为国内外研究的新关注点.首先从Solidity代码层、EVM执行层、区块链系统层这3个层面介绍了智能合约常见的漏洞类型和典型案例;继而,从形式化验证法、符号执行法、模糊测试法、中间表示法、深度学习法这5类方法综述了智能合约漏洞检测技术的研究进展,针对现有漏洞检测方法的可检测漏洞类型、准确率、时间消耗等方面进行了详细的对比分析,并讨论了它们的局限性和改进思路;最后,根据对现有研究工作的总结,探讨了智能合约漏洞检测领域面临的挑战,并结合深度学习技术展望了未来的研究方向.

关键词：区块链智能合约以太坊漏洞检测自动化工具

在线全文

学校读者我要写书评

暂无评论

CBR技术在自动配色系统中的应用研究

浙江大学学报（工学版） 2006年第10期40卷 1692-1695页

作者：蔡冬强何钦铭浙江大学计算机科学与技术学院浙江杭州310027

为提高复杂多变条件下的配色准确率,提出了基于案例推理(case-based reasoning,CBR)的新型自动配色技术,并给出了原型———基于案例推理的配色系统(CBRCMS).CBRCMS对配方库组织结构、配方检索、配方复用、学习调整等关键技术进行了探讨... 详细信息

为提高复杂多变条件下的配色准确率,提出了基于案例推理(case-based reasoning,CBR)的新型自动配色技术,并给出了原型———基于案例推理的配色系统(CBRCMS).CBRCMS对配方库组织结构、配方检索、配方复用、学习调整等关键技术进行了探讨.CBRCMS基于大量的历史优良配方,以色度迭代逼近技术作为配色精度的基本保证,并将其作为CBR配方复用的主要方法.实验数据显示,CBR的引入可明显提高配色准确率,CBR技术的自适应、自学习特点对传统配色技术是很好的补充.

关键词：基于案例推理(CBR) 色度匹配算法自动配色系统检索算法

在线全文

学校读者我要写书评

暂无评论

基于虚拟化平台的可信任计算基

浙江大学学报（工学版） 2009年第2期43卷 276-282页

作者：陈文智黄炜谢铖何钦铭浙江大学计算机科学与技术学院浙江杭州310027

采用虚拟化技术来提高嵌入式设备的安全特性,避免了基于硬件方法带来的灵活性差、设备复杂度高和生产成本高的缺点.虚拟化平台SmartVP以软件方式实现了对系统环境的保护,SmartVP在ARM处理器上划分出两组并行的计算资源,分别运行标准的... 详细信息

采用虚拟化技术来提高嵌入式设备的安全特性,避免了基于硬件方法带来的灵活性差、设备复杂度高和生产成本高的缺点.虚拟化平台SmartVP以软件方式实现了对系统环境的保护,SmartVP在ARM处理器上划分出两组并行的计算资源,分别运行标准的实时操作系统T-Kernel和通用操作系统Linux;通过保护T-Kernel上的软件代码和数据,实现了基础安全服务和接口,从而构造出一个可信任计算基.性能测试和实际应用结果均表明,SmartVP能够在提升嵌入式设备安全性的同时,有效地降低实施风险、时间和开发成本.

关键词：虚拟化平台可信任计算基半虚拟化资源分区嵌入式设备系统管理程序

基于不完全信息的One-class支持向量机

在线全文

学校读者我要写书评

暂无评论

清华大学学报（自然科学版） 2005年第S1期45卷 1772-1777页

作者：赵英刚何钦铭陈奇浙江大学计算机科学与技术学院杭州310027

标准的单值支持向量(O ne-class SVM)机不能对含有不完全信息的输入样本进行学习分类。为此该文提出用区间数来对不完全输入信息进行描述,将不完全的信息输入扩展为区间向量形式,引入区间运算来取代原来分类函数中的运算,从而根据区间... 详细信息

标准的单值支持向量(O ne-class SVM)机不能对含有不完全信息的输入样本进行学习分类。为此该文提出用区间数来对不完全输入信息进行描述,将不完全的信息输入扩展为区间向量形式,引入区间运算来取代原来分类函数中的运算,从而根据区间运算结果来对信息不完全的模式输入进行分类。使用该方法,在分类过程中能够充分利用区间表示的先验知识,同时也能够减少该过程中输入模式中的属性(特征)度量代价,理论分析和实验结果均表明该方法能最大程度地保证分类结果的一致性,是有效和可行的。

关键词：人工智能理论单值分类支持向量机区间运算不完全信息

在线全文

学校读者我要写书评

暂无评论

利用算符分析的问题求解

软件学报 1994年第5期5卷 46-51页

作者：何钦铭王申康俞瑞钊浙江大学人工智能研究所

将状态空间的问题求解过程变换为逐步缩小与目标状态的差异过程是一种问题的分解方式．求解差异的顺序可通过分析算符对状态的影响而作出规划，规划的原则是最大限度地在不改变最近已实现子目标的条件下实现下一子目标．为此，在问题分... 详细信息

将状态空间的问题求解过程变换为逐步缩小与目标状态的差异过程是一种问题的分解方式．求解差异的顺序可通过分析算符对状态的影响而作出规划，规划的原则是最大限度地在不改变最近已实现子目标的条件下实现下一子目标．为此，在问题分解时各层子目标选择的依据是让各算符有最大的可利用率，即以状态对算符最小约束传播的原则选择各层子目标；最后生成一个子目标规划层次集．问题求解过程就表现为从初始状态开始实现层次集中的某一子目标序列，其间可能涉及子目标回溯．

关键词：问题求解算符分析人工智能

在线全文

学校读者我要写书评

暂无评论

模糊环境中工作流任务分配的多级模型

计算机研究与发展 2007年第2期44卷 302-309页

作者：肖郑进何钦铭陈奇浙江大学计算机科学与技术学院杭州310027

对工作流实例中各用户型任务进行自动优化分配是提高工作流管理系统运行效率的关键技术之一.在详细分析了影响用户型任务分配的多种因素及其语意模糊性后,提出了一个可组合的任务分配多级模型以及相应的任务分配方法,详细讨论了具有自... 详细信息

对工作流实例中各用户型任务进行自动优化分配是提高工作流管理系统运行效率的关键技术之一.在详细分析了影响用户型任务分配的多种因素及其语意模糊性后,提出了一个可组合的任务分配多级模型以及相应的任务分配方法,详细讨论了具有自适应能力的影响因素权重设计方法.最后,通过与其他任务分配方法对比,分析了该任务分配方法的性能.

关键词：工作流任务分配模糊理论

在线全文

学校读者我要写书评

暂无评论

基于软件模拟的虚拟机系统故障插入工具

浙江大学学报（工学版） 2011年第4期45卷 614-620页

作者：车建华何钦铭陈建海王备浙江大学计算机科学与技术学院浙江杭州310027

对虚拟机系统故障插入工具所涉及的故障模型、插桩方式、触发机制和监控跟踪等进行研究.通过统计分析各种虚拟机系统的故障症状,给出虚拟机系统的典型故障模型(包括故障类型、故障位置、发生模型和持续时间等)及实现代码.在研究虚拟机... 详细信息

对虚拟机系统故障插入工具所涉及的故障模型、插桩方式、触发机制和监控跟踪等进行研究.通过统计分析各种虚拟机系统的故障症状,给出虚拟机系统的典型故障模型(包括故障类型、故障位置、发生模型和持续时间等)及实现代码.在研究虚拟机系统架构和故障插入实现原理的基础上,采用软件模拟方法基于Xen系统设计一个故障插入工具——SFIVE,介绍相应的插桩方式、触发机制和监控机制.实验分析表明,SFIVE具有较高的虚拟机系统故障覆盖率,能够激活和监控与大部分虚拟机相关的插桩故障.

关键词：故障插入虚拟机虚拟机管理器可靠性评测

在线全文

学校读者我要写书评

暂无评论

C语言程序设计课程的优秀教材建设

计算机教育 2022年第7期 205-208页

作者：刘茜何钦铭颜晖张龙高等教育出版社北京100029 浙江大学计算机科学与技术学院浙江杭州310015 浙大城市学院计算机与计算科学学院浙江杭州310015

从浙大版《C语言程序设计》基本情况入手,分析教材建设与教学研究、课程改革之间的关系,总结教材编写团队的分工组织经验以及多方合力推广教材的启示,同时阐述C语言程序设计课程优秀教材建设的4个特征,并对新时代C语言程序设计教材建设... 详细信息

从浙大版《C语言程序设计》基本情况入手,分析教材建设与教学研究、课程改革之间的关系,总结教材编写团队的分工组织经验以及多方合力推广教材的启示,同时阐述C语言程序设计课程优秀教材建设的4个特征,并对新时代C语言程序设计教材建设提出展望。

关键词： C语言程序设计优秀教材教学资源教学适用性实践性

在线全文

学校读者我要写书评

暂无评论

一个基于范例推理的专家系统ICMIX

计算机学报 1997年第2期20卷 105-110页

作者：王铭阳孙优贤何钦铭王申康浙江大学工业过程控制技术研究所浙江大学人工智能研究所

蛋鸡饲料配方是一个要求考虑多种制约因素、需要丰富实践经验的问题域．本文介绍的ＩＣＭＩＸ是基于范例推理的蛋鸡饲料配方专家系统，其范例面向规划模型，由日粮类型子范例和营养标准子范例构成．范例库中的基本范例代表了典型情况下... 详细信息

蛋鸡饲料配方是一个要求考虑多种制约因素、需要丰富实践经验的问题域．本文介绍的ＩＣＭＩＸ是基于范例推理的蛋鸡饲料配方专家系统，其范例面向规划模型，由日粮类型子范例和营养标准子范例构成．范例库中的基本范例代表了典型情况下的原料组合及营养约束．系统按实际生产环境根据知识库中的规则和模型对范例综合、修正，然后调用线性规划得到最优配方．

关键词：饲料配方基于范例推理线性规划蛋鸡鸡