王维维
- 作品数：17 被引量：129H指数：4
- 供职机构：浙江大学更多>>
- 发文基金：浙江省教育厅科研计划国家高技术研究发展计划国家科技重大专项更多>>
- 相关领域：自动化与计算机技术电子电信医药卫生经济管理更多>>
- 一种基于深度学习的中文医学知识图谱构建方法
- 本发明涉及知识图谱技术，旨在提供一种基于深度学习的中文医学知识图谱构建方法。包括：从数据源获取医疗领域相关数据；使用分词工具对非结构化数据进行分词，使用RNN完成序列标注任务以识别医疗相关的实体，实现知识单元的抽取；对实...
- 郑小林王维维扈中凯黄嘉伟
- 文献传递
- 两次数据精化的形式化软件开发方法被引量：4
- 2006年
- 提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法。传统Z规约数据精化很复杂。该文先采用过程写出初始规范,对模式进行第一次数据精化,然后把它转换为Z模式,再进行过程精化。最后再数据精化到目标代码。以常见动态Web网页脚本语言PHP为例,阐述了该方法。并为此写了一套从过程到Z模式的转化规则,以及精化到PHP的精化规则。
- 邢小英王维维
- 关键词：Z语言精化演算PHP
- 一种基于时段演算的VHDL的形式语义
- 2006年
- VHDL是一种广泛使用的硬件描述语言。其语义的形式化描述对于VHDL的使用及实现具有重要意义。本文提出了一种基于时段演算的VHDL的形式语义。
- 王维维严晓浪
- 关键词：VHDL形式语义时段演算
- 一种基于深度学习的中文医学知识图谱构建方法
- 本发明涉及知识图谱技术，旨在提供一种基于深度学习的中文医学知识图谱构建方法。包括：从数据源获取医疗领域相关数据；使用分词工具对非结构化数据进行分词，使用RNN完成序列标注任务以识别医疗相关的实体，实现知识单元的抽取；对实...
- 郑小林王维维扈中凯黄嘉伟
- 文献传递
- 一种VHDL的结构化操作语义被引量：1
- 2004年
- 硬件描述语言及相关的系统验证等技术的研究是当今电子设计自动化领域的一个重要课题.通过对硬件描述语言VHDL的子集进行了基于结构化的操作语义的形式描述,结果表明其操作语义的描述既清晰又易理解,从而避免造成语言设计者、用户和实现者对语义的不同理解,影响语言的正确实施和有效使用.
- 刘云仙王维维
- 关键词：VHDL操作语义
- 基于Web的医院远程预约挂号系统的设计被引量：12
- 2003年
- 医院就诊难问题主要表现在门诊现场集中挂号,造成人流不均,专家号难挂。采取网上预约挂号方式,采用“削峰填谷、分时插入”算法模型和网络传输、动态页面技术。在Internet上实现预约挂号,解决门诊挂号就诊人流量不均、专家号难挂的问题,提高医院的服务质量。
- 陶国芳王维维陈欣刘永平王培科陈彤
- 关键词：WEBINTERNET医院信息化
- 数字系统形式设计的理论与方法研究
- 为了提高数字硬件的设计层次,保证数字系统设计的正确性,采用'形式化方法'(Formal Methods)设计数字硬件或者集成电路系统是一种比较好的途径.所谓形式化方法,就是利用严格的数学方法,从给出系统设计的规范(Spe...
- 王维维
- 关键词：数字系统集成电路设计
- 哮喘诊断专家系统的设计与实现被引量：2
- 2005年
- 支气管哮喘(简称哮喘),是一种常见的呼吸系统疾病。一些不典型的哮喘容易导致误诊或漏诊。以CLIPS V6.2为开发工具,将知识表示为产生式规则,以正向推理的方式建立哮喘诊断专家系统。此系统模拟人类专家进行哮喘的诊断,是将计算机的人工智能技术应用于哮喘的诊断领域,同时也是关于哮喘诊断的新方法和新手段的有益尝试。
- 徐卫华沈华浩王维维
- 关键词：呼吸病学支气管哮喘专家系统
- ZnO微纳米结构的制备、掺杂及性能研究
- 氧化锌(ZnO)是一种直接宽带隙化合物半导体材料，其室温禁带宽度为3.37 eV，激子束缚能高达60 meV，其激子能够在室温及以上温度下稳定存在，是制备半导体激光器(LDs)、发光二极管(LEDs)的理想材料。ZnO还...
- 王维维
- 关键词：氧化锌半导体材料禁带宽度
- 文献传递
- 互联网对创业的影响研究
- 自上世纪九十年代以来，互联网在全球范围内经历了迅速的普及和广泛的应用，深刻地改变了人们的生产和生活方式。已有研究表明，互联网对于一国的经济增长有着显著的正向的影响，但是对于互联网促进经济增长的具体路径，我们还知之甚少。为...
- 王维维
- 关键词：互联网创业环境信息效应
- 文献传递
