咨询与建议

限定检索结果

文献类型

  • 52 篇 期刊文献
  • 15 篇 会议

馆藏范围

  • 67 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 63 篇 工学
    • 56 篇 计算机科学与技术...
    • 42 篇 软件工程
    • 6 篇 仪器科学与技术
    • 6 篇 控制科学与工程
    • 2 篇 信息与通信工程
    • 2 篇 网络空间安全
    • 1 篇 电子科学与技术(可...
    • 1 篇 测绘科学与技术
    • 1 篇 地质资源与地质工...
  • 12 篇 管理学
    • 11 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 3 篇 理学
    • 1 篇 数学
    • 1 篇 地理学
    • 1 篇 大气科学
  • 1 篇 文学
    • 1 篇 新闻传播学
  • 1 篇 艺术学
    • 1 篇 设计学(可授艺术学...

主题

  • 6 篇 web服务
  • 5 篇 语义相似性
  • 4 篇 分布式系统
  • 4 篇 服务发现
  • 3 篇 栈模型
  • 3 篇 rgps
  • 3 篇 语义互操作
  • 3 篇 云计算
  • 3 篇 语义标注
  • 3 篇 需求状态
  • 3 篇 需求过程调度
  • 3 篇 网络式软件
  • 3 篇 领域模型
  • 3 篇 bm算法
  • 3 篇 kmp算法
  • 3 篇 虚拟化
  • 3 篇 软件工程
  • 3 篇 互操作性
  • 2 篇 对象标识
  • 2 篇 分布计算环境

机构

  • 63 篇 武汉大学
  • 23 篇 湖北大学
  • 7 篇 湖北文理学院
  • 3 篇 铜仁学院
  • 3 篇 软件工程国家重点...
  • 3 篇 广西科技师范学院
  • 3 篇 南开大学
  • 2 篇 福建师范大学
  • 2 篇 赣南师范学院
  • 2 篇 武汉商业服务学院
  • 2 篇 武汉理工大学
  • 1 篇 faculty
  • 1 篇 香港城市大学
  • 1 篇 江西理工大学
  • 1 篇 华中师范大学
  • 1 篇 武汉测绘科技大学
  • 1 篇 长江大学
  • 1 篇 中国科学院数学与...
  • 1 篇 玉林师范学院
  • 1 篇 湖南师范大学

作者

  • 23 篇 何克清
  • 19 篇 李兵
  • 11 篇 曾诚
  • 11 篇 何炎祥
  • 9 篇 li bing
  • 9 篇 he ke-qing
  • 8 篇 余敦辉
  • 7 篇 熊伟
  • 6 篇 王新颖
  • 5 篇 zeng cheng
  • 5 篇 杜卓敏
  • 5 篇 刘朝阳
  • 5 篇 xiong wei
  • 5 篇 邓爱林
  • 4 篇 陈莘萌
  • 4 篇 wang xin-ying
  • 4 篇 黄颖
  • 4 篇 冯在文
  • 4 篇 黄贻望
  • 4 篇 彭珍连

语言

  • 67 篇 中文
检索条件"机构=武汉大学数学与计算机科学学院/软件工程国家重点实验室"
67 条 记 录,以下是1-10 订阅
排序:
中庸算法——一种基于环型结构的并行调度算法
收藏 引用
武汉大学学报(自然科学版) 1999年 第3期45卷 279-282页
作者: 何炎祥 吴思 罗先林 武汉大学数学与计算机科学学院/软件工程国家重点实验室 武汉430072
给出了分布式系统中的一种基于环结构的并行调度算法,以下称为中庸算法,并从理论上证明了该算法能够达到较好的负载平衡、最大限度的减少任务的迁移和通信、最大程度的计算本地化
来源: 评论
应用框架的形式化研究
收藏 引用
武汉大学学报(自然科学版) 2000年 第3期46卷 285-288页
作者: 姜东胜 张苓 陈莘萌 武汉大学数学与计算机科学学院 武汉大学软件工程国家重点实验室武汉430072
软件体系结构的角度 ,运用 Z-规范在系统级描述了应用框架和设计样本的语义 ,包括设计样本的组成、联系、合成和运用设计样本组成应用框架等 ,与通常的非形式化方式 ,如图表、自然语言等描述形式相比 ,具有语义精确。
来源: 评论
几何曲面的双边滤波多尺度表示及几何细节增强
收藏 引用
计算机辅助设计与图形学学 2010年 第7期22卷 1150-1157页
作者: 肖春霞 冯光普 廖斌 武汉大学计算机学院 武汉430072 武汉大学软件工程国家重点实验室 武汉430072 湖北大学数学与计算机科学学院 武汉430062
为了有效地对几何模型进行编辑建模及特征检测等处理,提出一种利用双边滤波对曲面进行多尺度表示及几何细节增强的算法.首先利用几何双边滤波对几何模型进行多尺度的分解,获取其多尺度的表示和多尺度的细节层;然后对不同尺度的几何细节... 详细信息
来源: 评论
信息系统中的可移动Agent
收藏 引用
武汉大学学报(自然科学版) 2000年 第3期46卷 280-284页
作者: 何炎祥 李超 刘敏 石莉 张戈 黄浩 武汉大学软件工程国家重点实验室 数学与计算机科学学院武汉430072
介绍了可移动 Agent的特性 ,可移动 Agent可在异质计算机网络中移动 ,它能感知网络的状态 ,监控系统并与其它 Agent进行交互 ,导航模型可以让 Agent适应网络的变化并自主制定导航计划 ,从而方便、有效。
来源: 评论
一种高效的业务过程的合规性监控框架
收藏 引用
计算机集成制造系统 2017年 第5期23卷 1113-1124页
作者: 龚平 冯在文 蒋建民 福建师范大学数学与计算机科学学院 福建福州350007 武汉大学软件工程国家重点实验室 湖北武汉430072
为了对业务过程的合规性进行监控,提出业务过程合规性监控框架bpCMon,包括合规性规则描述语言ECL和事件响应系统ERS。ECL建立在事件和事件关系模式上,能描述具有多业务视角的合规性规则。ERS是一个基于规则系统的监控器,包括规则系统和... 详细信息
来源: 评论
基于RGPS的领域模型权重动态设置算法
收藏 引用
华中科技大学学报(自然科学版) 2010年 第6期38卷 36-39页
作者: 余敦辉 何克清 李兵 武汉大学软件工程国家重点实验室 湖北武汉430070 湖北大学数学与计算机科学学院 湖北武汉430062
提出了基于需求动态优先级排序算法的领域资产权重设置方法,建立领域资产的权重和用户最近的访问频度的关系,即能根据用户的即时需求,动态计算用户所提出的需求的优先级,进而求得各个领域模型的权重值;讨论了该算法在网络化软件开发的... 详细信息
来源: 评论
基于复杂网络的软件复杂性度量研究
收藏 引用
电子学报 2006年 第B12期34卷 2371-2375页
作者: 李兵 王浩 李增扬 何克清 余敦辉 武汉大学软件工程国家重点实验室 湖北武汉430072 湖北大学数学与计算机科学学院 湖北武汉430062
软件开发者对于日趋复杂的软件系统的理解和控制越来越困难,传统软件工程正接近其复杂性和可扩展性的极限.复杂性使软件开发困难,质量难以保证.复杂网络理论的最新研究成果,为软件复杂性度量提供了新的数学基础.讨论了软件复杂性的形成... 详细信息
来源: 评论
一种基于锁集的多线程数据竞争的动态探测算法
收藏 引用
武汉大学学报(自然科学版) 2000年 第3期46卷 289-292页
作者: 李克清 陈莘萌 郑无疾 武汉大学数学与计算机科学学院 武汉大学软件工程国家重点实验室武汉430072
多线程程序设计是现今广泛采用的一种程序设计技术 ,它能充分地发掘出程序中的并行性 ,使处理机得到最大限度的利用 .本文通过对多线程环境下共享变量运行状态变化的分析 ,提出了一种基于锁集的多线程数据竞争的动态探测算法 .
来源: 评论
多视点需求工程的模型研究
收藏 引用
计算机科学 2001年 第2期28卷 44-47页
作者: 何炎祥 宋强 武汉大学数学与计算机科学学院软件工程国家重点实验室 武汉430072
1 引言传统需求工程应用于分布式系统开发的一个主要缺点是:传统需求工程中的每一个过程里只能有一个全局规格.这一点与实际的分布式系统的特点很不相符.大规模的分布式系统的开发必然会涉及到许多人员,这些人员由于各自目的和职责不同... 详细信息
来源: 评论
一种符号管理的新模型
收藏 引用
计算机工程与应用 2000年 第10期36卷 34-35,65页
作者: 何炎祥 宋 强 李旭辉 武汉大学数学与计算机科学学院/软件工程国家重点实验室 武汉430072
该文首先对传统符号管理模型进行分析,指出它们的优点与不足;然后提出栈-散列表符号管理模型,并给出相应的数据结构和实现算法;
来源: 评论