您的位置： 专家智库 > >

王毅俊

作品数：4 被引量：8H指数：1
供职机构：上海大学计算机工程与科学学院更多>>
发文基金：上海市教育委员会重点学科基金上海市自然科学基金国家自然科学基金更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 1篇学位论文
  • 1篇专利

领域

  • 2篇自动化与计算...
  • 1篇文化科学

主题

  • 2篇数据库
  • 2篇OWL-S
  • 2篇Z规格说明
  • 2篇层次分析
  • 2篇层次分析法
  • 1篇信息来源
  • 1篇信息数据
  • 1篇信息数据库
  • 1篇形式化
  • 1篇臆断
  • 1篇能动
  • 1篇能动性
  • 1篇主观
  • 1篇主观能动
  • 1篇主观能动性
  • 1篇主观臆断
  • 1篇自动化
  • 1篇科技期刊审稿
  • 1篇办公
  • 1篇办公自动化

机构

  • 4篇上海大学
  • 1篇《自然杂志》...

作者

  • 4篇王毅俊
  • 2篇吴悦
  • 2篇陈海清
  • 2篇赵宇
  • 1篇丁嘉羽
  • 1篇缪淮扣
  • 1篇洪鸥
  • 1篇刘志强
  • 1篇曹晓夏
  • 1篇许庆国
  • 1篇沈俊

传媒

  • 1篇编辑学报
  • 1篇应用科学学报

年份

  • 2篇2010
  • 1篇2009
  • 1篇2008
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
将层次分析法运用于审稿专家信息数据库系统的方法
本发明涉及一种将层次分析法运用于审稿专家信息数据库系统的方法。它的操作步骤为(1)信息来源；(2)选择需要评价的专家，并设置权重；(3)运用层次分析法计算专家综合权值；(4)动态更新。它将审稿专家评价体系与专家信息数据库...
陈海清吴悦沈俊王毅俊赵宇洪鸥丁嘉羽
文献传递
OWL-S到Z规格说明的转换
2010年
OWL-S是重要的Semantic Web Service描述框架,但缺乏有效的形式化验证工具.Z语言是基于集合论和一阶谓词逻辑的形式化规格说明语言,比OWL-S具有更强的表达力.该文研究基于Z的OWL-S形式化方法,提出从OWL-S到Z规格说明的模型转换规则.基于这些规则,用Z定义OWL-S中概念的形式化语义,并开发了从OWL-S描述到Z规格说明的自动转换工具OWLS2Z.
王毅俊缪淮扣许庆国曹晓夏
关键词：OWL-SZ规格说明
基于层次分析法的科技期刊审稿专家信息管理系统被引量：8
2008年
介绍将审稿与最新网络技术相结合,运用层次分析法进行专家审稿情况的综合评价,从而使审稿专家信息管理系统更具科学性和实用性。
陈海清吴悦王毅俊赵宇丁加羽刘志强
关键词：数据库层次分析法
OWL-S到Z形式化模型的转换及验证研究
王毅俊
关键词：形式化Z规格说明
全选 清除 导出
共1页<1>
聚类工具0