周必水
- 作品数：55 被引量：165H指数：8
- 供职机构：杭州电子科技大学计算机学院更多>>
- 发文基金：国家自然科学基金浙江省教育厅科研计划更多>>
- 相关领域：自动化与计算机技术文化科学经济管理电子电信更多>>
- 基于语法树和程序正确性验证研究
- 2007年
- 提出了一种新的基于语法树的程序正确性验证方法(STM方法)。在理论和算法上对方法的实现进行了初步探讨,并结合XML技术提出了一套实现这一方法的切实可行的解决方案。
- 周必水李骏沃钧军
- 关键词：程序正确性验证语法树XML
- 基于本体的电子商务信息智能检索方法的研究与实现被引量：4
- 2007年
- 针对电子商务信息检索效率比较低的问题,提出了基于本体的电子商务信息智能检索方法。该方法首先对电子商务信息源分析出其领域概念词,并根据概念词利用本体描述语言建立本体,接着对用户输入的检索短语进行概念词抽取得到相应领域的概念词,利用所得到的概念词通过智能检索算法得出用户检索结果集。文章最后给出了该方法的一个实现,应用结果表明该方法提高了电子商务信息的检索效率。
- 周必水蒋鹏
- 关键词：语义网本体
- EJBCA在WPKI体系中的应用研究被引量：4
- 2005年
- Wireless Public Key Infrastructure(WPKI)并非是一个全新的关于PKI的标准,它只是对传统的PKI标准进行了扩展,使之适用于无线网络环境。EJBCA是一个完整功能的证书认证系统,它包括了WPKI认证体系中的所有关键部件,为WPKI体系的具体实现起了重要的作用。
- 周必水张磊
- 关键词：WPKIEJBCACA
- 探讨21世纪计算机基础教育的改革
- 2000年
- 本文从培养模式、教学内容、课程体系等方面提出了 2 1世纪计算机基础教育的改革思路 ,供同行借鉴。
- 周必水
- 关键词：计算机基础教育教学内容课程体系
- Petri-net法在机器人控制中的应用
- 章鉴汀金群周必水
- 关键词：工业机器人计算机控制
- HillTop算法剖析被引量：5
- 2005年
- HillTop算法是一种适用于大分类的搜索引擎排名算法,因在Google的“佛罗里达”更新中扮演重要角色而倍受关注。本文深度剖析HillTop算法的主要思想、排名公式定义,分析了HillTop算法的优缺点,最后提出了该算法的优化建议。
- 周必水张延红
- 关键词：搜索引擎角色排名
- 一种可信的轻量级J2EE架构的研究及应用被引量：1
- 2009年
- 随着J2EE的广泛应用,用户对系统的可信性要求也日益增加,而现有的J2EE平台缺少必要的可信认证支持。该文分析了可信认证的直接匿名证言机制的优缺点,将其与SSH架构相结合,提出了在直接匿名证言机制支持下整合SSH架构形成一个完整的开发J2EE程序的组合框架D-SSH架构,并应用于电力部门职工绩效考评系统中,体现了SSH架构的优越性并增强了系统的可信性。
- 周必水苏国庆吴卿
- 关键词：可信计算轻量级架构
- 基于WAP的移动购物系统的设计
- 2003年
- 本文讨论了基于互联网的电子商务模式C2C的移动购物解决方案,为C2C拍卖网站运营商提供了完整、先进、安全、以WAP的方式进行商品拍卖的移动信息服务系统。
- 吴卿周必水
- 关键词：WAP电子商务互联网
- 基于GPU加速的光线与三角面片求交
- 2006年
- 近年来,随着图形处理器(GPU)能力以及可编程技术的发展,基于图形处理器的通用计算成为一个研究的热点。文章介绍了图形处理器的发展和结构,以及在使用通用计算时所面临的一些问题;具体介绍了利用GPU进行光线和空间三角形面片的求交测试。
- 张延红周必水
- 关键词：图形硬件可编程性求交
- 自适应遗传算法与分形图像压缩结合的新方法被引量：12
- 2006年
- 基于分形和分块迭代函数系统的特点,提出了一种改进的求解全局最优自相似分块的自适应遗传算法。算法中对父块个体的搜索空间采用格雷编码方法;定义子块与父块的最小匹配误差为适应度函数;提出改进遗传算法的线性自适应交叉和变异概率;采取优秀保护策略进行选择。实验结果表明,该方法在同类图像保证解压质量和压缩比的同时能明显缩短压缩时间,有效提高搜索效率。
- 张梁斌周必水奚李峰
- 关键词：分形图像压缩遗传算法迭代函数系统格雷码自适应
