厉晓华
- 作品数:61 被引量:130H指数:6
- 供职机构:浙江大学更多>>
- 发文基金:国家自然科学基金浙江省自然科学基金浙江省哲学社会科学规划课题更多>>
- 相关领域:自动化与计算机技术文化科学电子电信经济管理更多>>
- 浙江大学云计算路线图
- 2016年
- 浙江大学下一步目标为建立完善基础设施云服务,采取商业化、开源软件并行方式。云计算作为新一代IT产业研发与应用的重要领域之一,不断在各行各业引起巨大的变革和颠覆,支撑着新一轮互联网+模式的发展。云计算通过网络化、虚拟化、分布式存储等技术实现基础设施的资源整合,配置访问者按需所得的计算、存储、应用资源,提供个性化和精细粒度的服务。
- 张华郑强厉晓华
- 关键词:分布式存储细粒度基础设施应用系统数字教育
- 特殊逻辑函数布尔C-导数的性质研究被引量:1
- 2018年
- 线性函数、冗余函数、自反函数、自双反函数、部分自反函数和部分自双反函数等特殊逻辑函数在密码学函数构造方面具有优越性。布尔C-导数能全面揭示布尔函数的密码学性质和函数结构的关系,是构造密码学函数的重要工具。本文从特殊逻辑函数和布尔-C导数的定义出发,讨论了这些逻辑函数的布尔C-导数性质,并给出了相应证明。该研究为快速构造密码学函数奠定理论基础。
- 詹雯厉晓华
- 关键词:线性函数冗余函数自反函数自双反函数
- 图像相似度计算方法
- 本发明公开了一种图像相似度计算方法,包括:(1)分别提取待比较两幅图像的纹理特征,并计算两者的纹理特征相似度;(2)计算待比较两幅图像的黎曼流形的特征相似度;(3)利用步骤(1)、步骤(2)的结果加权计算待比较两幅图像的...
- 厉晓华赵磊
- 文献传递
- 一种基于多模态卷积神经网络的视频检索方法
- 本发明公开了一种基于多模态卷积神经网络的视频检索方法,包括:步骤1,针对视频数据库中的视频,利用各视频中相邻帧的色彩信息特征,将各视频分割为多个子视频片段;步骤2,提取每个子视频片段的关键帧;步骤3,针对视频数据库中的视...
- 周玲强英天煜吴茂英厉晓华王亮周永广吕佳颖林珊珊王敏娴
- 文献传递
- 高校信息化人才现状分析与启示被引量:4
- 2012年
- 为保障高校信息化队伍稳定及充满活力,使信息化可持续发展,必须重视并把关键点落在信息化人才队伍建设上。本文分析阐述了国内知名高校信息化队伍的现状,从中得到若干启示,并从信息化队伍领军人物、人员规模、年龄结构、职称比例、管理制度等方面提出建议。
- 陈蓉蓉厉晓华
- 关键词:高校信息化信息化人才
- 计算机辅助特殊逻辑函数检测
- 2009年
- 在代数法、图表法检测特殊逻辑函数的基础上,提出计算机辅助来实现逻辑函数中的线性函数、冗余函数、自反函数、自双反函数的检测算法,实例展示了应用该方法检测上述函数的过程.
- 厉晓华
- 关键词:线性函数冗余函数自反函数自双反函数计算机辅助设计
- 基于表格法的部分变量取反的对称函数检测被引量:7
- 2004年
- 对称函数有许多优点,引入部分变量取反的对称函数可以大大增加对称函数的数目,从而有助于扩大对称函数的应用范围.检测对称函数是函数对称性研究中的重要工作.分析了基于表格法的对称函数检测,在此基础上进一步提出了改进的部分变量取反的对称函数检测的新方法.
- 厉晓华杜歆陈偕雄
- 关键词:对称函数对称性检测
- 逻辑函数在布尔减-异或、布尔除-符合代数系统中的规范展开式被引量:2
- 2004年
- 证明了布尔减、异或运算以及布尔除、符合运算的完备性,并从与-异或及或-符合代数系统中的RM、CRM展开式出发,分别推导了任意逻辑函数在布尔减-异或及布尔除-符合代数系统中的规范展开式.举例说明了与-或-非代数系统中规范展开式与布尔减-异或、布尔除-符合代数系统中的规范展开式之间的转换.
- 肖林荣陈偕雄厉晓华
- 横店影视文化产业发展渊源探究
- 2012年
- "经济搭台,文化唱戏",横店实现了文化与经济的华丽共赢,实现了百工之乡百工文化与文化产业的契合,教育之乡深厚的文化底蕴与文化产业的契合,经济的发展与文化产业的契合。基于镇域经济文化产业发展的"横店现象"具有普适性,对镇域经济文化产业的发展具有指导意义。
- 厉晓华
- 关键词:文化产业
- 基于CNGI的可控视频组播技术研究
- 2009年
- 随着Internet应用的普及,越来越多的人通过互联网进行信息交流,由于协议本身的局限性,基于Ipv4的Internet对网络视频功能的支持有限,而Ipv6的出现为网络视频技术的发展带来了新的契机,Ipv6技术和组播技术的结合必将进一步促进Internet提供更丰富的服务。
- 厉晓华
- 关键词:CNGI视频