何钦铭
- 作品数:214 被引量:1,783H指数:19
- 供职机构:浙江大学更多>>
- 发文基金:国家自然科学基金教育部人文社会科学研究基金国家重点基础研究发展计划更多>>
- 相关领域:自动化与计算机技术文化科学经济管理农业科学更多>>
- 基于软件防护扩展指令SGX的在线模糊测试系统和方法
- 本发明公开了一种基于软件防护扩展指令SGX的在线模糊测试系统和方法,包括:SGX加密模块,基于软件防护扩展指令SGX生成可信空间;自动化处理框架,分析待测软件的特征,传递给测试用例生成器,对位于可信空间内的监控器和测试报...
- 陈建海范俊松马润杰沈钦仙史吉喆纪守领何钦铭
- 文献传递
- 基于语义嵌入模型与交易信息的智能合约自动分类系统被引量:14
- 2017年
- 作为区块链技术的一个突破性扩展,智能合约允许用户在区块链上实现个性化的代码逻辑从而使得区块链技术更加的简单易用.在智能合约代码信息迅速增长的背景下,如何管理和组织海量智能合约代码变得更具挑战性.基于人工智能技术的代码分类系统能根据代码的文本信息自动分门别类,从而更好地帮助人们管理和组织代码的信息.本文以Ethereum平台上的智能合约为例,鉴于词嵌入模型可以捕获代码的语义信息,提出一种基于词嵌入模型的智能合约分类系统.另外,每一个智能合约都关联着一系列交易,我们又通过智能合约的交易信息来更深入地了解智能合约的逻辑行为.据我们所知,本文是对智能合约代码自动分类问题的首次研究尝试.测试结果显示该系统具有较为令人满意的分类性能.
- 黄步添刘琦何钦铭刘振广陈建海
- 关键词:代码交易信息神经网络
- 一种基于Baas架构的区块链跨境跨行支付方法和系统
- 本发明公开了一种基于Baas架构的区块链跨境跨行支付方法,包括以下步骤:银行将用户的账户信息导入云服务器中心组并采用区块链技术进行保存,云服务器中心组为银行设置结算账户;用户向付款账户所属银行发起支付请求;付款账户所属银...
- 王备倪文韬陈建海何钦铭黄步添
- 文献传递
- 一种基于支持向量机的直推式学习算法
- 直推式支持向量机(TransductiveSupportVectorMachine,TSVM)是标准的支持向量机算法在半监督学习问题上的一种扩展,但已有的TSVM算法存在训练速度慢、回溯式学习多、学习性能不稳定等缺点,针...
- 赵英刚陈奇何钦铭
- 关键词:支持向量机直推式学习半监督学习
- 文献传递
- 产学研一体的工程型、复合型、国际化计算机人才培养被引量:5
- 2010年
- 总结了浙江大学计算机科学与技术学院基于产学研一体培养工程型、复合型、国际化计算机高级人才的一些基本经验。浙江大学计算机学院通过建立多层次的工程实践能力培养体系、建设全方位的国际交流能力培养体系、创建多学科融合的人才培养知识体系等手段,逐步探索出产学研共同参与的新型高级计算机人才培养模式。
- 陈刚何钦铭陈越陈丽
- 关键词:产学研一体研究性学习校企合作
- 基于计算思维的“大学计算机基础”课程教学内容设计被引量:90
- 2012年
- 如何将计算思维能力培养作为计算机基础教学的核心任务,已经引起了计算机基础教育界的广泛关注和讨论。作为高校计算机基础教学的入门课程,"大学计算机基础"迫切需要进行基于计算思维的教学内容改革。本文在分析计算思维核心方法和思想的基础上,围绕抽象级、指令级、语言级以及系统级的典型计算环境设计课程教学内容的思想,提出了一个课程教学内容的组织架构,并以"计算机网络"为例分析了以问题为引导的具体教学单元实施方法。
- 陆汉权何钦铭徐镜春
- 关键词:计算思维大学计算机基础课程教学计算机网络
- 基于支持向量机的增量式算法被引量:5
- 2008年
- 为了扩展支持向量机在大规模数据集和成批出现数据领域的应用,提出了一种基于支持向量机的增量式学习算法.利用标准的支持向量机算法训练得到初始的目标概念,通过增量式步骤不断更新初始的目标概念.更新模型是求解一个与标准支持向量机具有类似的数学形式的凸二次规划问题.证明了在可分情况下,如果新增加的样本不是位于边界区,那么增量式过程既不会改变分类平面也不会改变分类平面的表达.与现有的增量式支持向量机算法相比,该算法无需额外计算就可实现增量式的逆过程并且训练时间与增量式步骤数成反比.实验结果表明,该算法满足稳定性、能够不断改进性能以及性能回复三个准则.
- 黄启春刘仰光何钦铭
- 关键词:支持向量机增量式算法
- 一种移动点对点网络中用户位置隐私保护的方法
- 本发明公开了一种在移动点对点网络中用户位置隐私保护的方法,包括以下步骤:A、移动用户每隔一段时间t主动向周围邻居发送自身的位置记录r,即(uid,x,y,hop,initialTime);B、并且同时向周围邻居转发该用户...
- 车延辙杨强何钦铭
- 文献传递
- 蛋鸡配方专家系统设计及基于范例推理模型的构建
- 1998年
- 本文提出了畜禽饲料计算机配方设计采用专家系统概念和技术的必要性,并根据蛋鸡营养和饲料配方设计的特点,采用了基于范例推理的系统设计思路,介绍了基于范例推理方法设计的蛋鸡配方专家系统的系统结构、范例库和配方调整规则库的建立和系统工作流程。
- 许万根苗泽荣王铭阳何钦铭王申康
- 关键词:蛋鸡专家系统饲料
- Java虚拟机垃圾收集器的性能分析与调节被引量:11
- 2004年
- 垃圾收集器是Java虚拟机 (JVM)的核心组成部分之一 ,对Java虚拟机的性能有非常重要的影响。本文将介绍GC的工作原理以及对象回收算法 ,重点介绍JVM的分段回收技术 ;剖析JVM自带的GC性能分析工具 ;阐述如何通过命令行参数调节GC的运行 ,提高GC的效率。
- 吕爱民何钦铭
- 关键词:垃圾收集器JAVA虚拟机JVM命令行参数GC