李骏
- 作品数：3 被引量：4H指数：2
- 供职机构：杭州电子科技大学软件工程学院更多>>
- 相关领域：自动化与计算机技术政治法律社会学经济管理更多>>
- 基于语法树和程序正确性验证研究
- 2007年
- 提出了一种新的基于语法树的程序正确性验证方法(STM方法)。在理论和算法上对方法的实现进行了初步探讨,并结合XML技术提出了一套实现这一方法的切实可行的解决方案。
- 周必水李骏沃钧军
- 关键词：程序正确性验证语法树XML
- 电子政务中的数据挖掘被引量：2
- 2005年
- 随着信息技术的发展,电子政务已经成为当今的热门话题,围绕电子政务系统的技术研究也成了倍受关注的课题,数据挖掘即是其中一项重要的技术。本文着重研究了数据挖掘技术在电子政务中的应用,对电子政务中数据挖掘的功能、流程、方法、应用和发展方向进行了阐述,并给出了一个应用实例。
- 周必水李骏
- 关键词：数据挖掘技术电子政务系统信息技术
- 电子政务模式下的GRP功能需求分析被引量：2
- 2005年
- 所谓GRP是指政府资源规划(GovernmentResourcePlanning),是建立在信息技术基础上,以系统化的管理思想,为政府决策层及办公人员提供决策运行手段的管理平台。它反映了时代对政府合理调配资源,最大化地创造社会财富的要求,成为政府在信息时代生存、发展的基石。本文着重研究和分析了在电子政务模式下的GRP功能需求。
- 周必水李骏
- 关键词：电子政务GRP信息化建设
