咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 317 篇 期刊文献
  • 69 篇 会议
  • 5 件 标准
  • 4 篇 成果

馆藏范围

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

日期分布

学科分类号

  • 317 篇 工学
    • 215 篇 计算机科学与技术...
    • 149 篇 软件工程
    • 20 篇 控制科学与工程
    • 19 篇 机械工程
    • 19 篇 网络空间安全
    • 17 篇 仪器科学与技术
    • 17 篇 信息与通信工程
    • 16 篇 生物医学工程（可授...
    • 15 篇 测绘科学与技术
    • 12 篇 地质资源与地质工...
    • 11 篇 环境科学与工程（可...
    • 9 篇 生物工程
    • 5 篇 电子科学与技术（可...
    • 4 篇 材料科学与工程（可...
    • 4 篇 动力工程及工程热...
    • 3 篇 化学工程与技术
  • 69 篇 管理学
    • 65 篇 管理科学与工程(可...
  • 40 篇 理学
    • 16 篇 数学
    • 7 篇 系统科学
    • 5 篇 统计学（可授理学、...
    • 4 篇 地理学
    • 3 篇 化学
    • 3 篇 大气科学
    • 3 篇 生物学
  • 36 篇 医学
    • 18 篇 临床医学
    • 5 篇 中西医结合
    • 5 篇 中药学(可授医学、...
    • 5 篇 医学技术（可授医学...
    • 4 篇 基础医学(可授医学...
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 6 篇 农学
  • 3 篇 军事学
  • 2 篇 法学
  • 2 篇 教育学
  • 2 篇 艺术学

主题

  • 10 篇 软件工程
  • 9 篇 软件
  • 9 篇 web服务
  • 9 篇 数据挖掘
  • 9 篇 复杂网络
  • 8 篇 服务质量
  • 7 篇 程序设计
  • 7 篇 面向对象
  • 7 篇 时序逻辑
  • 6 篇 遗传算法
  • 6 篇 模型
  • 6 篇 软件开发
  • 5 篇 关联规则
  • 5 篇 视频编码
  • 5 篇 深度学习
  • 5 篇 模型检测
  • 4 篇 无尺度
  • 4 篇 软件设计
  • 4 篇 软件网络
  • 4 篇 关系数据库

机构

  • 308 篇 武汉大学
  • 32 篇 武汉大学人民医院
  • 15 篇 清华大学
  • 13 篇 软件工程国家重点...
  • 11 篇 东南大学
  • 11 篇 中国电子系统工程...
  • 10 篇 华中农业大学
  • 9 篇 西安电子科技大学
  • 9 篇 合肥工业大学
  • 8 篇 华中科技大学
  • 8 篇 航天科工集团第二...
  • 7 篇 武汉理工大学
  • 7 篇 武汉数字工程研究...
  • 7 篇 地球空间信息技术...
  • 6 篇 中国科学院软件研...
  • 6 篇 江西理工大学
  • 6 篇 南京财经大学
  • 6 篇 湖北大学
  • 6 篇 国家多媒体软件工...
  • 5 篇 江苏省软件质量研...

作者

  • 28 篇 李兵
  • 19 篇 li bing
  • 15 篇 唐其柱
  • 15 篇 马于涛
  • 14 篇 何克清
  • 13 篇 李元香
  • 13 篇 陈桂生
  • 12 篇 李德毅
  • 12 篇 胡瑞敏
  • 11 篇 胡佑伦
  • 11 篇 吴产乐
  • 11 篇 彭智勇
  • 10 篇 傅建明
  • 10 篇 王中元
  • 9 篇 ma yu-tao
  • 9 篇 张焕国
  • 9 篇 何鹏
  • 8 篇 史锡腾
  • 8 篇 he peng
  • 8 篇 段振华

语言

  • 395 篇 中文
检索条件"机构=武汉大学软件工程研究室"
共 395 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
H.323视频会议系统中视频编解码子系统设计若干问题的研究
收藏
分享
引用
电子与信息学报 2007年 第7期29卷 1596-1599页
作者： 王中元 胡瑞敏 傅佑铭 边学工 武汉大学国家多媒体软件工程研究中心 武汉430072
该文研究了H.323视频会议系统中的视频编解码子系统设计中的运动估计、码率控制等问题,介绍了每个问题产生的背景,并对提出的算法原理和算法步骤进行了详细描述,对每个问题在解决方法上都有所改进或创新。研究成果应用到实际的H.323视... 详细信息
来源： 评论
一种源程序到流程图的转换方法及实现
收藏
分享
引用
软件学报 1991年 第3期2卷 36-43页
作者： 毋国庆 陶培基 周国强 武汉大学软件工程研究所
把源程序转换为流程图是软件工程的研究课题之一。本文提出了一种把源程序转换为结构化的流程图(PAD图)的方法和实现技术,该方法和技术已被用于转换工具IPADT系统。此外,本文也讨论了这种转换中所面临的几个问题。
来源： 评论
符号踪迹测试工具——STTT
收藏
分享
引用
计算机研究与发展 1989年 第3期26卷 58-64页
作者： 黄琳 武汉大学软件工程研究所
本文介绍了符号踪迹测试方法,给出了C语言符号踪迹的描述和生成方法,描述了笔者在Dual-6800机上实现的支持C程序测试的符号踪迹工具***现在已经移植到长城0520机上.
来源： 评论
一个实用的反汇编工具系统MTOA
收藏
分享
引用
小型微型计算机系统 1990年 第9期11卷 47-56页
作者： 林子禹 黄水松 肖邵武 武汉大学软件工程研究所
本文通过对一个实用的反汇编工具系统MTOA的设计思想、系统功能、系统结构、处理流程和主要特点的讨论,阐述了反汇编工具的设计原理、方法和实现过程,并有效地解决了设计过程中存在的主要技术难点和关键问题,从而把反汇编出来的程序的... 详细信息
来源： 评论
基于属性文法和语义网络的综合知识表示模型
收藏
分享
引用
计算机学报 1992年 第4期15卷 277-285页
作者： 毋国庆 唐正力 武汉大学软件工程研究所 武汉430072
本文提出了一个属性文法计算模型与语义网络表示模型相结合的综合知识表示模型.根据形式化的语义网络表示模型和属性文法的特点,该模型使用属性文法的符号建立了一些适合于语义网络表示模型的语法和语义规则模式,并且可通过扩充的属性... 详细信息
来源： 评论
NHPP模型参数调整与EM算法
收藏
分享
引用
计算机学报 1992年 第5期15卷 388-396页
作者： 徐仁佐 吴新玲 国家重点软件工程实验室武汉大学软件工程研究所 武汉430072
应用NHPP模型进行软件可靠性分析,不可避免的遇到所提供的软件错误数据不完全的情况.由于此类数据中部分信息的缺失,将影响到分析结果.本文以General NHPP模型为核心,介绍软件可靠性估测系统(SRPS)中,应用EM算法进行模型参数的估计与调... 详细信息
来源： 评论
面向对象的规范描述及转换
收藏
分享
引用
计算机科学 1990年 第1期17卷 33-37页
作者： 彭智勇 武汉大学软件工程研究所
本文基于抽象数据类型提出了一种规范描述语言,该语言以多相代数作为其数学模型,并引入类型继承机制,体现了面向对象的程序设计思想。最后,探讨了关于这种语言的规范描述到面向对象程序设计环境的自动转换。
来源： 评论
C软件测试工具系统CSTT
收藏
分享
引用
计算机学报 1989年 第2期12卷 153-156页
作者： 黄琳 武汉大学软件工程研究所
基于一个统一的测试方法,我们设计并实现了支持C软件测试的工具系统CSTT,CSTT由静态分析工具、断言检测工具、符号踪迹工具、分枝覆盖工具和断点显示工具组成,本文描述了该测试方法,介绍了CSTT的功能。
来源： 评论
基于体系结构模型检查分布式控制系统
收藏
分享
引用
软件学报 2004年 第6期15卷 823-833页
作者： 汪洋 魏峻 王振宇 中国科学院软件研究所 武汉数字工程研究所 湖北武汉430074 武汉大学软件工程国家重点实验室 湖北武汉430072 武汉数字工程研究所
分布控制系统是大量硬件设备通过计算机系统得以控制和协调的高度复杂系统,它们也是任务关键的系统,需要保障其功能的高度正确性和可靠性.分析复杂控制系统的过程包含了证明或验证设计的系统确实满足某种需求.但由于系统的复杂度,有效... 详细信息
来源： 评论
GARA中MPLS扩展的实现
收藏
分享
引用
计算机工程 2005年 第11期31卷 110-111,192页
作者： 邢建兵 吴产乐 张沪寅 吴黎兵 陶慕柳 武汉大学软件工程国家重点实验室 武汉430072 武汉大学国家多媒体软件工程技术研究中心 武汉430072 武汉大学计算机学院 武汉430079
高性能网格应用需要端到端QoS保证,GARA是Globus建议的网格QoS体系结构,但目前不支持MPLS。MPLS支持面向连接的QoS,为更好地提供网格QoS,该文提出了用MPLS扩展的GARA体系结构,并为此进行了试验,结果表明扩展的GARA能够很好地为网格应用... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共40页 <<  < 1 2 3 4 5 6 7 8 9 10 >  >>
回到顶部
执行限定条件