您的位置： 专家智库 > >

姚昱

作品数：12 被引量：26H指数：4
供职机构：武汉大学计算机学院更多>>
发文基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金更多>>
相关领域：自动化与计算机技术机械工程更多>>

合作作者

文献类型

  • 7篇期刊文章
  • 2篇学位论文
  • 1篇会议论文
  • 1篇专利
  • 1篇科技成果

领域

  • 11篇自动化与计算...
  • 1篇机械工程

主题

  • 2篇描述语言
  • 2篇建模方法
  • 1篇多视点
  • 1篇信息检索
  • 1篇信息系统
  • 1篇形式化
  • 1篇形式化描述
  • 1篇需求建模方法
  • 1篇业务过程建模
  • 1篇音频
  • 1篇用户
  • 1篇用户模型
  • 1篇有色PETR...
  • 1篇语言
  • 1篇语义网
  • 1篇元搜索
  • 1篇知识图
  • 1篇知识图谱
  • 1篇软件开发
  • 1篇软件系统

机构

  • 12篇武汉大学
  • 1篇武汉体育学院
  • 1篇京都大学

作者

  • 12篇姚昱
  • 5篇毋国庆
  • 4篇陈莘萌
  • 4篇万黎
  • 3篇吴怀广
  • 3篇袁梦霆
  • 2篇黄勃
  • 2篇刘金硕
  • 1篇吴昊
  • 1篇何炎祥
  • 1篇肖晶
  • 1篇陈曙
  • 1篇朱山风
  • 1篇程铭
  • 1篇陈刚

传媒

  • 2篇武汉大学学报...
  • 1篇武汉理工大学...
  • 1篇计算机工程
  • 1篇计算机应用与...
  • 1篇计算机工程与...
  • 1篇武汉大学学报...
  • 1篇2009年全...

年份

  • 1篇2019
  • 1篇2014
  • 1篇2012
  • 3篇2009
  • 3篇2007
  • 1篇2005
  • 2篇1999
共 12 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种软件需求描述语言的设计与实现被引量：6
2009年
提出了一种面向软件行为的需求建模方法和需求描述语言BDL,介绍了需求描述语言的设计和实现方法。利用此需求建模可以根据用户的需求信息寻找出目标系统的有效行为,建立目标系统的行为模型。该行为模型可以帮助用户和开发人员正确认识和理解目标系统的行为,而且能为以后自动检测系统的各种特性提供良好的基础。
姚昱毋国庆吴怀广万黎
关键词：需求建模方法
一种建立软件需求模型的方法
一种建立软件需求模型的方法，包括为问题域标识和定义视点；为每一个与待开发软件系统相关的视点建立场景；使用行为描述语言建立系统需求模型；检测所有的视点；若检测结果为发现问题则修改相应的场景行为模型或视点行为模型并返回重复检...
毋国庆姚昱袁梦霆万黎肖晶
文献传递
一种嵌入式关系模型的形式化描述被引量：1
1999年
在 Ｎ Ｒ／ Ｔ 网的基础上，对基于嵌入式关系模型的数据库信息系统的行为，给出了一种形式化的描述方法。
姚昱陈莘萌何炎祥
关键词：数据库信息系统形式化描述
面向复杂软件系统的需求工程建模方法及其工具系统
毋国庆袁梦霆姚昱陈曙万黎吴怀广吴昊黄勃
面向复杂软件系统的需求工程建模方法及其工具系统主要为软件开发人员提供有效实用的软件需求分析方法和工具，适用不同的计算机应用领域和不同类型的软件系统的需求开发工作。面向复杂软件系统的需求工程建模方法是基于多视点和软件行为的...
关键词：
面向软件行为的多视点需求建模方法被引量：5
2014年
面向软件行为的多视点需求建模从视点需求出发,提出了基于软件行为描述语言(Behavior Description Language,BDL)的多视点需求模型、需求验证及生成形式化需求文档方法.首先划分目标系统构建多视点,然后利用BDL建立视点行为模型,所有视点行为模型组合构成系统行为模型.在多视点行为模型框架下,利用BDL所构建行为模型进行语法、语义以及系统特性的检测,保证系统行为模型的正确性.最后,介绍了基于上述方法的多视点需求建模工具RMTS.
程铭黄勃毋国庆姚昱袁梦霆
关键词：多视点
基于Web的个性化应用的若干问题研究
姚昱
关键词：个性化语义网用户模型协同过滤
基于知识图谱的智群计算国内外研究可视化分析被引量：2
2019年
以美国科学信息所的Web of Science核心合集数据库中收录的主题为Swarm Intelligence的文献为数据源,基于分析可视化软件Cite Space和Tableau对所采集的数据进行信息计量、共引统计和聚类分析。绘制智群计算领域的发文数量时序图和作者、研究机构、研究方向、被引文献等多类知识图谱及其共词分析、聚类分析知识图谱,展示该领域的研究力量、研究方向和研究主流,并利用词频探测技术揭示该领域的研究热点、研究前沿及发展趋势。结果表明智群计算领域的研究处于持续上升期;以中国、美国和印度为核心的研究工作占据了主导位置;国内研究机构以中国科学院为首团结了数十家高校,但国际合作研究仍待加强;计算机科学和工程类方向是该领域的重要研究分支,仿生智群算法是当下的研究热点,人工蚁群算法的研究工作体现了研究前沿及发展趋势。
黄雪娟刘金硕姚昱
关键词：知识图谱CITESPACE
一种基于有色Petri网的工作流网模型被引量：7
2007年
使用工作流网(WF-nets)描述工作流的业务流程时,可能产生由于托肯含义的不确定性而导致的工作流逻辑的二义性。在分析产生这种二义性原因的基础上,定义了一种基于有色Petri网的工作流网模型CWF-nets,给出了严格的定义和变迁发生机制,并分析了其正确性。利用CWF-nets可以准确描述业务流程的工作流逻辑,且这种逻辑结构与工作流具体案例的属性数据无关,避免了上述问题。
姚昱陈莘萌刘金硕
关键词：工作流网有色PETRI网业务过程建模工作流管理系统
多Agent系统的合作模型和基于WWW的应用
姚昱
关键词：WEB应用
基于投票模型的元搜索排序合成算法被引量：4
2007年
排序合成问题是元搜索引擎研究的一个重要方面。该文分析了基于投票模型的排序合成问题。在讨论2个常用的投票规则Borda和Condorcet的基础上,介绍了用图论算法实现的淘汰投票算法,包括Kemeny算法。针对Kemeny算法是NP-hard问题,提出了一种易于实现的启发式淘汰投票算法,并且利用TREC数据集进行实验比较这些方法。实验结果表明,淘汰投票算法与Borda算法执行效果相当,有时甚至超过Borda算法。
姚昱朱山风陈莘萌
关键词：元搜索信息检索
全选 清除 导出
共2页<12>
聚类工具0