王晓虎
- 作品数：20 被引量：31H指数：4
- 供职机构：浙江师范大学更多>>
- 发文基金：浙江省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理文化科学机械工程更多>>
- 基于无线传感器网设备监测管理系统的设计与研究被引量：3
- 2012年
- 从当前高校实验室大型仪器设备管理的角度，设计并实现了一套大型仪器设备监测系统。该系统与当前高校运行的设备管理系统和大型仪器设备全寿命周期管理系统互通，结合无线传感器网络技术，实现了实时的对大型设备进行监测。该系统方便了大型仪器设备管理部门对大型仪器设备的管理，提高了高校实验室设备管理的效率。
- 杜林岳马瑞孙广华徐应涛王晓虎
- 关键词：实验室无线传感器网络设备管理
- UDDI技术及其在校园网中的应用被引量：6
- 2006年
- 基于UDDI技术和WebService应用架构,本文提出了利用高校私有UDDI注册中心进行校园信息系统的集成,并对UDDI信息模型结构以及基于私有UDDI注册中心的高校系统集成的主体架构的设计与实现进行了详细的分析研究。
- 王晓虎叶荣华
- 关键词：UDDISOAPSERVICES静态绑定动态绑定
- 需求建模的形式化方法研究
- 借鉴π演算的进程构造能力和类型系统表达能力,以π演算为需求建模语言,提出一种需求建模的形式化方法,给出构造功能行为交互系统的良类型性质.
- 王晓虎
- 关键词：Π演算建模语言
- 文献传递
- 需求建模的形式化方法研究
- 2007年
- 借鉴π演算的进程构造能力和类型系统表达能力,以π演算为需求建模语言,提出一种需求建模的形式化方法,给出构造功能行为交互系统的良类型性质。
- 王晓虎
- 关键词：Π演算形式化
- 云计算模式下审计风险评估方法研究
- “十二五”期间，审计的信息化是国家审计署和军队审计部门建设规划的重点内容。目前云计算与传统业务的融合不断强化，出现了许多搭建在云端的财务管理系统和审计系统。但云计算的开放与风险相伴相生，如何合理规避审计风险，如何解决这种...
- 王晓虎
- 关键词：审计云计算模式风险评估层次分析法
- 文献传递
- 技能型软件人才的实践教学模式被引量：4
- 2013年
- 针对技能型软件人才培养的教学问题,通过教学实践和总结,提出团队、规范、交流的实践教学理念,构建以核心技能为主的3个层次的职业技能体系,总结以职业技能为根本、工作体验为主题、知识点恰到好处的实训教学方法。
- 陈中育叶荣华王晓虎吴建斌
- 关键词：教学理念教学方法
- 工作流软件设计方法
- 2002年
- 文章介绍了工作流的基本概念和基于工作流的管理系统的组成;同时对现在比较流行的、基于工作流的管理系统的模型设计进行了分析和讨论,阐述了两种实现技术策略的方法,并给出了两者的不同点。
- 宋群王晓虎
- 关键词：工作流PC机信息系统办公自动化系统
- 用信息电话构建电子商务应用系统
- 2003年
- 随着因特网技术的进步,我国的电子商务类应用发展很快。但是当前在电子商务类应用中有着门槛较高、认证困难、支付手段滞后等缺点,使其进一步发展受到了很大的限制。本文介绍一种简单灵活、低成本、易维护的信息电话组建的电子商务系统,该系统在一定程度上克服了上述缺点,且较适用于城市中小额度的电子商务应用和受条件限制的个人和商业用户。
- 徐应涛王晓虎
- 关键词：电子商务应用系统信息电话因特网
- 基于Web Services的校园信息系统集成架构研究与实现
- 高校信息系统是一个有机整体,但是由于软件开发技术的限制以及高校信息化由零到整的发展历程,使得各个子系统高度独立,数据与业务无法共享。高校信息系统的集成是高校信息化建设的一个重要研究领域。 Web服务是自描述、自包含的模块...
- 王晓虎
- 关键词：WEB服务WSDLSOAPUDDI
- 基于Web服务的企业应用组合模型研究被引量：1
- 2006年
- 由于传统企业应用集成方法基于各自标准,在数据定义、访问模型等方面不一样,因此各自应用不易互相连接。Web服务由于具有开放和跨平台特性,在电子商务等方面具有广阔应用前景。基于传统应用集成方法的缺陷,本文提出一种基于Web服务的企业应用组合模型,并讨论了模型中Web服务的调用过程。此模型还考虑了并发控制问题。目前此模型在某行业中已得到成功应用。
- 吴建斌叶安新王晓虎
- 关键词：WEB服务服务总线
