-
题名进化算法研究进展
被引量:102
- 1
-
-
作者
姚新
陈国良
徐惠敏
刘勇
-
机构
中国科技大学计算机科学与技术系并行分布计算研究中心
-
出处
《计算机学报》
EI
CSCD
北大核心
1995年第9期694-706,共13页
-
基金
国家攀登计划认知科学(神经网络)重大关键项目
澳大利亚研究基金会基金
-
文摘
进化算法是一类借鉴生物界自然选择和自然遗传机制的随机搜索算法,主要包括遗传算法(genericalgorithms,简记为GAs)、进化规划(evolutionaryprogramming,简记为EP)和进化策略(evolutionarystrategies,简记为ESs),它们可以用来解决优化和机器学习等问题.进化算法的两个主要特点是群体搜索策略及群体中个体之间的信息交换.进化算法不依赖于梯度信息,因此它们的应用范围十分广泛,尤其适于处理传统搜索方法解决不了的复杂问题和非线性问题.本文首先介绍了进化算法的基本思想;然后对三种典型算法进行了比较,讨论了目前进化算法的研究内容和方向,并针对遗传算法给出了三种并行实现模式;最后,论述了进化算法中有争议的基本问题,并指出将来进一步研究的方向.
-
关键词
进化算法
遗传算法
数值优化
机器学习
-
Keywords
Evolutionary algorithms, generic algorithms , numerical optimization,machine learning.
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名异构数据源数据集成的研究
被引量:8
- 2
-
-
作者
何涛
刘君强
张学斌
-
机构
上海大学计算机学院
武汉大学软件工程研究所
上海新华工程公司
-
出处
《计算机工程与科学》
CSCD
2006年第9期132-135,共4页
-
文摘
对象代理模型可以作为数据集成的一种通用数据模型。通过建立代理对象和源对象,查询处理的对应关系也能够较好地实现,应用可以将不同的、对于代理对象的查询处理翻译成对于局部数据源源对象的查询处理,也可以把对局部数据源的查询结果以用户应用想要的方式返回。对象代理模型可在Smalltalk环境中实现。本文讨论如何在Smalltalk环境中实现基于对象代理模型的异构信息源的集成。
-
关键词
SMALLTALK
异构数据
对象代理模型
数据集成
数据模型
-
Keywords
Smalltalk
heterogeneous data
object deputy model
data integration
data model
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名SRPS——可供实用的软件可靠性估测系统
- 3
-
-
作者
徐仁佐
吴新玲
熊忠伟
-
机构
武汉大学软件工程研究所
-
出处
《计算机应用与软件》
CSCD
1992年第6期23-30,共8页
-
基金
国家自然科学基金资助课题
-
文摘
本文阐述了一个可供实际应用的软件可靠性估测系统SRPS(Software ReliabilityPrediction System),简要介绍它的基本设计思想、结构、功能以及使用方法。
-
关键词
软件
可靠性模型
SRPS
估测系统
-
Keywords
Software reliability model
NHPP model
parameter adjusting
EM algorithm
U-plot
Y-plot.
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名C软件测试工具系统CSTT
- 4
-
-
作者
黄琳
-
机构
武汉大学软件工程研究所
-
出处
《计算机学报》
EI
CSCD
北大核心
1989年第2期153-156,共4页
-
文摘
基于一个统一的测试方法,我们设计并实现了支持C软件测试的工具系统CSTT,CSTT由静态分析工具、断言检测工具、符号踪迹工具、分枝覆盖工具和断点显示工具组成,本文描述了该测试方法,介绍了CSTT的功能。
-
关键词
软件测试工具
CSTT系统
C语言
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名J2EE企业解决方案的平台
被引量:31
- 5
-
-
作者
段靖荒
林子禹
万丰
-
机构
武汉大学软件工程研究所
-
出处
《计算机应用》
CSCD
北大核心
2001年第z1期204-206,共3页
-
文摘
主要介绍了J2EE的基本框架和涉及到的主要技术。并从软件系统结构的观点阐述了J2EE平台开发以Web为中心的应用软件与传统C/S结构程序的差别 。
-
关键词
EJB
JSP
SERVLET
J2EE
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名NHPP模型参数调整与EM算法
被引量:5
- 6
-
-
作者
徐仁佐
吴新玲
-
机构
国家重点软件工程实验室武汉大学软件工程研究所
-
出处
《计算机学报》
EI
CSCD
北大核心
1992年第5期388-396,共9页
-
基金
国家自然科学基金
-
文摘
应用NHPP模型进行软件可靠性分析,不可避免的遇到所提供的软件错误数据不完全的情况.由于此类数据中部分信息的缺失,将影响到分析结果.本文以General NHPP模型为核心,介绍软件可靠性估测系统(SRPS)中,应用EM算法进行模型参数的估计与调整,以提高软件可靠性分析结果的质量.
-
关键词
NHPP
模型
EM算法
软件
可靠性
-
Keywords
Counting process, General NHPP model, EM algorithm, parameter adjusting.
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种源程序到流程图的转换方法及实现
被引量:1
- 7
-
-
作者
毋国庆
陶培基
周国强
-
机构
武汉大学软件工程研究所
-
出处
《软件学报》
EI
CSCD
北大核心
1991年第3期36-43,共8页
-
文摘
把源程序转换为流程图是软件工程的研究课题之一。本文提出了一种把源程序转换为结构化的流程图(PAD图)的方法和实现技术,该方法和技术已被用于转换工具IPADT系统。此外,本文也讨论了这种转换中所面临的几个问题。
-
关键词
源程序
流程图
软件工程
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于属性文法和语义网络的综合知识表示模型
被引量:5
- 8
-
-
作者
毋国庆
唐正力
-
机构
武汉大学软件工程研究所
-
出处
《计算机学报》
EI
CSCD
北大核心
1992年第4期277-285,共9页
-
文摘
本文提出了一个属性文法计算模型与语义网络表示模型相结合的综合知识表示模型.根据形式化的语义网络表示模型和属性文法的特点,该模型使用属性文法的符号建立了一些适合于语义网络表示模型的语法和语义规则模式,并且可通过扩充的属性文法的解释器来实现推理.
-
关键词
属性文法
语义网络
知识表示
模型
-
Keywords
Attribute grammar, semantic network, knowledge representation, inference rule, interpreter.
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名一个实用的反汇编工具系统MTOA
- 9
-
-
作者
林子禹
黄水松
肖邵武
-
机构
武汉大学软件工程研究所
-
出处
《小型微型计算机系统》
CSCD
北大核心
1990年第9期47-56,共10页
-
文摘
本文通过对一个实用的反汇编工具系统MTOA的设计思想、系统功能、系统结构、处理流程和主要特点的讨论,阐述了反汇编工具的设计原理、方法和实现过程,并有效地解决了设计过程中存在的主要技术难点和关键问题,从而把反汇编出来的程序的质量提高到了一个崭新的水平。
-
关键词
反汇编工具
MTOA
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种交互式快速原型图式语言——RPSGL
- 10
-
-
作者
马江
黄玲
-
机构
武汉大学软件工程研究所
武汉大学计算机科学系
-
出处
《计算机应用研究》
CSCD
1992年第1期11-14,共4页
-
文摘
软件原型开发通常需要原型语言的支持。本文提出了一个基于statecharts的快速原型图式语言RPSGL,并介绍了在软件原型开发环境(SPE)中实现的支持该语言快速生成原型的图形工具。该语言能较好地描述复杂系统动态行为信息,强有力地支持信息系统原型快速生成。
-
关键词
软件开发
原型语言
RPSGL
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名Smalltalk-80系统中的存储管理
- 11
-
-
作者
彭智勇
-
机构
武汉大学软件工程研究所
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
1991年第6期62-65,共4页
-
文摘
Smalltalk-80系统是一种面向对象的程序设计环境。在该环境中,所有信息都表示成对象,对象通过类进行描述,类也作为对象存在于系统中。本文主要介绍这些对象的内部结构及表示形式,并着重说明如何实现对它们的存储管理。
-
关键词
SMALLTALK-80
存储管理
程序设计
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向对象的规范描述及转换
- 12
-
-
作者
彭智勇
-
机构
武汉大学软件工程研究所
-
出处
《计算机科学》
CSCD
北大核心
1990年第1期33-37,共5页
-
基金
国家863计划资助
-
文摘
本文基于抽象数据类型提出了一种规范描述语言,该语言以多相代数作为其数学模型,并引入类型继承机制,体现了面向对象的程序设计思想。最后,探讨了关于这种语言的规范描述到面向对象程序设计环境的自动转换。
-
关键词
面向对象
规范描述
程序设计
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名符号踪迹测试工具——STTT
- 13
-
-
作者
黄琳
-
机构
武汉大学软件工程研究所
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
1989年第3期58-64,共7页
-
文摘
本文介绍了符号踪迹测试方法,给出了C语言符号踪迹的描述和生成方法,描述了笔者在Dual-6800机上实现的支持C程序测试的符号踪迹工具STTT.STTT现在已经移植到长城0520机上.
-
关键词
软件测试
测试工具
符号踪迹
STTT
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名综合知识表示模型M_(AS)的属性文法推理机制
- 14
-
-
作者
李孑勇
毋国庆
唐正力
-
机构
武汉大学软件工程研究所
-
出处
《计算机学报》
EI
CSCD
北大核心
1995年第1期24-32,共9页
-
文摘
根据文献[2]中提出的基于属性文法和语义网络的综合知识表示模型MAS,本文是出了关于实现该MAS推理机制的基本算法,并且通过实例对该算法进行了说明.最后,证明了基于MAS模板的属性文法是L-AG和IMAS的解是完全的结论.
-
关键词
属性文法
属性文法解释器
推理机制
知识表示
-
Keywords
Attribute grammar
attribute grammar interpreter
inference mechanism
relational algebra.
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名搜索回归模型的遗传算法
- 15
-
-
作者
陈拥君
潘正君
郭涛
-
机构
葛洲坝水电工程学院基础课部
武汉大学软件工程研究所
-
出处
《葛洲坝水电工程学院学报》
1995年第3期62-66,共5页
-
文摘
传统的回归分析中,模型的选取方法在很大程度上依赖于经验和问题的背景,因此往往是困难的。本文利用回归的遗传算法与遗传回归模型中遗传回归思想,通过算法设计可以搜索出一些有效的模型,以利于回归模型的最后确定。
-
关键词
回归模型
遗传算法
搜索模型
-
Keywords
parallel algorithm
genetic algorithm
regression model
regression method
-
分类号
O212.1
[理学—概率论与数理统计]
-