题名 软件构件表示与检索形式化的研究与进展
被引量：4
1
作者
徐正权 王家兵 王能超
机构
华中科技大学 计算 机学院华中科技大学并行计算研究所
出处
《计算机科学》
CSCD
北大核心
2003年第7期99-102,113,共5页
文摘
Software reuse has been claimed to be the realistic means to increase the productivity of programmers andimprove the quality of developed software. Software reuse approaches can be classified into two closely related cate-gories: development for reusable component and development with reusable component. System development withreusable components involves in a series of related woks: component representation, component retrieval, componentcomposition, component modification, etc. Because formal methods have rigorous theoretical foundations and cancharacterize computational semantics of a component, they has been intensively researched in software engineering do-main. This paper surveys the formal methods of component representation and retrieval, introduces current statusand outlines future trends.
关键词
软件复用 软件工程 软件质量 软件构件表示 软件构件检索 形式化
Keywords
Software reuse Component representation Component retrieval Formal methods
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 Walsh矩阵的复制生成及其计算机图像
被引量：4
2
作者
陈宁涛 王能超 施保昌
机构
华中科技大学 计算 机科学与技术学院华中科技大学并行计算研究所
出处
《软件学报》
EI
CSCD
北大核心
2006年第5期1241-1250,共10页
基金
国家自然科学基金~~
文摘
Walsh函数在信号处理、图像处理、通信等众多领域有着广泛的应用.Walsh函数系是一个正交而完备的函数系,可以通过多种方法生成这一函数系.其中,Swick提出的复制方法应用最为广泛,该方法以Walsh函数的序码作为复制信息,可以复制出任意给定序数的Walsh函数.其本质是基于向量的处理,不适于类似快速变换等二维信号的处理.Walsh函数系可用Walsh方阵Wk表示.提出了基于Wk的行复制和块复制方法.基于对称性引入复制算子,并发现了一种新序(类Walsh序).利用Kronecker积推导了6种序的Walsh方阵的递推公式并绘制了它们的计算机图像,发现这些图像具有分形意义上的自相似结构.结果表明,基于矩阵的复制是比基于序码的复制更先进的复制方法.前者性能更优,适于快速变换的设计.而且,利用它发现了Walsh函数系的第4种对称的序:类Walsh序.通过分析和比较各种序的计算机图像,得出类Walsh序更适合作为Walsh序的逆反形式的猜想.
关键词
WALSH函数 复制 演化 对称 分形
Keywords
Walsh function copy evolution symmetry fractal
分类号
TP391
[自动化与计算机技术—计算机应用技术]
题名 生物多序列比对的并行算法
被引量：2
3
作者
陈宁涛 王能超 施保昌
机构
华中科技大学 计算 机科学与技术学院华中科技大学并行计算研究所
出处
《计算机应用与软件》
CSCD
北大核心
2005年第10期118-119,共2页
基金
国家自然科学基金项目(60473015)
文摘
多序列比对是生物信息学中的基本问题。由于生物序列数据库的快速增长,即使优秀的串行算法已不能满足实际的需要。研究了Gusfield提出的星型比对模型的串行算法,进行了空间和时间上的改进,基于cluster结构的某并行机提出了一种并行算法,并对大量基因数据进行了测试,结果表明对于大规模的多序列比对,算法能达到较高的加速比。
关键词
多序列比对 并行算法 星型比对模型 生物信息学 cluster结构 串行算法 序列数据库 基因数据 并行机 加速比
Keywords
Multiple sequence alignments Parallel algorithm Central star model
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
Q811.4
[生物学—生物工程]
题名 复杂流动模拟的高效计算机算法设计
4
作者
郭卫斌 施保昌 王能超 郭照立
机构
华中科技大学 计算 机科学与技术学院华中科技大学并行计算研究所 华中科技大学 煤燃烧国家重点实验室
出处
《计算机应用》
CSCD
北大核心
2002年第12期1-3,共3页
基金
国家自然科学基金项目 (6 0 0 73 0 44) 973计划项目 (1 9990 2 2 2 0 7)
文摘
文章介绍了一种模拟复杂流动的高效计算机算法。该算法通过在粗细不同的两重(或多重)网格上计算方程的近似解,再利用数值算法设计中的松弛技术,通过粗细网格上近似解的适当线性组合求得更高精度的解。算法结合了格子方法和网格加密型高效算法的优点。将文中介绍的算法用于二维空腔流的计算机模拟,并和其它文献中同类问题的模拟结果进行了详细的对比,取得了良好的效果。
关键词
复杂流动模拟 高效计算机算法 设计 计算机模拟 格子BOLTZMANN方法 二分加速算法 空腔流
Keywords
computer simulation Lattice-Boltzmann method bisection acceleration algorithm cavity driven flow
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
题名 Hilbert曲线的快速生成算法设计与实现
被引量：11
5
作者
陈宁涛 王能超 陈莹
机构
华中科技大学 计算 机学院华中科技大学并行计算研究所 华中科技大学 数学系
出处
《小型微型计算机系统》
CSCD
北大核心
2005年第10期1754-1757,共4页
基金
国家自然科学基金(60473015)资助.
文摘
研究了Hilbert曲线的特征和现有经典算法,依据二分技术提出了一种全新的空间填充曲线生成算法．算法按照复制 的思想将具有“形”特征的曲线问题转化为具有“数”特征的矩阵问题．因此对由线的操作就转化为对矩阵的运算,而短阵运算不 用考虑绘制曲线方向问题,也不用考虑曲线始点和终点．实验结果表明,该算法比经典的L系统算法提高了将近1倍的速度．有 意义的是,该算法为并行计算大型空间填充曲线提出了一种方案．
关键词
HILBERT曲线 二分技术 分形 L系统 复制 快速算法
Keywords
Hilbert curve Bisection technique fractal L systems clone fast algorithm
分类号
TP391
[自动化与计算机技术—计算机应用技术]
题名 M序Walsh变换的快速算法设计
被引量：9
6
作者
郭卫斌 王能超 施保昌
机构
华中科技大学 计算 机科学与技术学院华中科技大学并行计算研究所
出处
《小型微型计算机系统》
CSCD
北大核心
2003年第2期295-298,共4页
基金
国家自然科学基金 ( No.60 0 730 44)资助 武器装备基金 ( No.5 14 840 2 0 10 1JW0 5 0 1)资助
文摘
讨论了 Walsh函数系的一种序—逆 Walsh序 ( M序 ) .利用矩阵分解法设计了 4种 M序的快速
关键词
M序Walsh变换 快速算法设计 Walsh函数系 二分技术 计算机 通信
Keywords
walsh function set M-ordering fast algorithm bisection technique
分类号
TN911.1
[电子电信—通信与信息系统]
TP301.6
[自动化与计算机技术—计算机系统结构]
题名 多重生物序列对准及其算法综述
被引量：8
7
作者
郭卫斌 施保昌 王能超
机构
华中科技大学 计算 机科学与技术学院华中科技大学并行计算研究所
出处
《高技术通讯》
EI
CAS
CSCD
2001年第6期96-102,共7页
文摘
多重序列对准作为一种结合优化方法的新方法 ,在研究生物体的功能、进化、序列和结构之间的内在联系方面正变得日趋重要。介绍了多重序列对准的数学定义及其研究中所涉及到的一些基本问题 ,概述了目前常用的四类多重序列对准算法 ,对每一类算法分析了其优缺点 ,并讨论了各自的应用范围。
关键词
分子生物学 多重生物序列对准 聚类算法 生物体 功能 进化 序列 结构
分类号
Q75
[生物学—分子生物学]
题名 解循环三对角线性方程组的追赶法
被引量：17
8
作者
李青 王能超
机构
上海大学 计算 机工程与科学学院 华中科技大学并行计算研究所
出处
《小型微型计算机系统》
CSCD
北大核心
2002年第11期1393-1395,共3页
基金
国家自然科学基金 (编号 6 0 0 730 44)资助 上海市高等学校科学技术发展基金项目资助
文摘
循环三对角、循环 Toeplitz三对角线性方程组的求解在科学与工程计算中有着广泛的应用 .运用矩阵分解给出此类方程组的直接解法 ;通过分析其特性 ,给出了达到机器精度的截断算法 ,其计算复杂度几乎等同于求解一个三对角线性方程组的计算复杂度 .数值实验的结果与理论分析的结果十分吻合 .该算法还推广到求解拟三对角线性方程组 .
关键词
循环三对角线性方程组 追赶法 矩阵分解 机器精度
Keywords
circulant tridiagonal linear systems diagonally dominant machine accuracy
分类号
O241.6
[理学—计算数学]
题名 基于曲波变换的图像融合方法
被引量：6
9
作者
王振飞 施保昌 王能超
机构
郑州大学 信息工程学院 华中科技大学并行计算研究所
出处
《小型微型计算机系统》
CSCD
北大核心
2007年第3期533-536,共4页
基金
国家自然科学基金项目(60473015)资助.
文摘
本文在研究了曲波变换的特性后,提出了一种基于曲波变换的图像融合方法,并分别将由不同传感器获得的不同分辨率的遥感图像和医学图像利用此方法进行了融合.这种方法不仅能够完好地显示了源图像各自的信息,而且能很好地将源图像的细节融合在一起.实验结果表明采用这种方法可以得到更好的融合效果.
关键词
图像融合 曲波变换 融合算法 遥感图像
Keywords
image fusion curvelet transform fusion algorithm remote sensing images
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
题名 RLD演绎及子句蕴含与子句包含关系的非等价性
被引量：3
10
作者
王家兵 徐正权 王能超
机构
华中科技大学 计算 机学院华中科技大学并行计算研究所
出处
《计算机研究与发展》
EI
CSCD
北大核心
2002年第12期1630-1636,共7页
基金
国家自然科学基金资助 (60 0 73 0 44 )
文摘
软件复用的一个主要任务是可复用软件构件的表示与检索 .由于一阶逻辑能够描述软件构件的计算语义 ,因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视 .为了简化基于演绎的构件检索技术的程序设计结构及提高演绎效率 ,提出了最右线性演绎 RL D(rightmost linear deduction) ,并证明了它的完备性 .同时 ,指出了子句蕴含与子句包含关系的非等价性 。
关键词
RLD演绎 子句蕴含 子句包含 非等价性 软件工程 构件表示 构件检索 线性演绎 软件复用
Keywords
component representation, component retrieval, linear deduction, software reuse
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 一个带有相似性关系的模糊逻辑
被引量：3
11
作者
王家兵 王能超 徐正权 彭宏
机构
华中科技大学 计算 机学院华中科技大学并行计算研究所 华南理工大学 计算 机科学与工程学院
出处
《计算机研究与发展》
EI
CSCD
北大核心
2004年第3期407-413,共7页
基金
国家自然科学基金项目 ( 60 0 73 0 44 )
文摘
模糊集与模糊逻辑是处理模糊性与不确定性信息的重要数学工具 ,相似性关系是模糊集的一个基本概念 为了在模糊逻辑中集成相似性关系并考虑其模糊推理 ,提出了一个带有相似性关系的模糊逻辑 ,给出了其语法及语义描述 在模糊谓词逻辑情形下 ,讨论并证明了基于归结与调解方法的模糊推理的有关属性 考虑到许多定理证明器和问题解决系统均是基于否证法 。
关键词
模糊逻辑 近似推理 相似性关系 归结 调解
Keywords
fuzzy logic approximate reasoning similarity relation resolution paramodulation
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
题名 可扩展的旋转因子表及FFT算法
被引量：3
12
作者
李青 王能超 郑楚光
机构
华中科技大学 计算 机科学与技术学院华中科技大学并行计算研究所 华中科技大学 煤燃烧国家重点实验室
出处
《计算机学报》
EI
CSCD
北大核心
2002年第4期392-396,共5页
基金
国家"八六三"高技术研究发展计划资助(863 -3 0 6-ZD-0 1-8) 国家自然科学基金项目 (60 0 73 0 44 )资助
文摘
该文提出了一个用于快速 Fourier变换计算的反写码序的旋转因子表 ,这种旋转因子表具有可扩展性 :本质上 ,这种旋转因子表的分量与变换的点数无关 .当点数改变时 ,这种旋转因子表无须重新计算或者容易扩展 ;根据这种旋转因子表 ,该文设计了一个结构规整的基于基 4计算 2 n 点 FFT的算法及软件程序 ,该程序与 FFTW软件包进行了对比实验 .文中还以蛋白质序列相似性分析计算为例 ,对作者的算法与 FFTW软件包中的相应算法进行了对比实验 ,结果表明 ,采用该文的算法可节省计算时间约 31.7% .
关键词
快速FOURIER变换 旋转因子 FFTW软件包 FFT算法 计算机
Keywords
fast Fourier transform, twiddle factors, FFTW software package
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
题名 Peano曲线的演化生成算法及其推广
被引量：3
13
作者
王能超 陈宁涛 施宝昌
机构
华中科技大学并行计算研究所 华中科技大学 计算 机学院
出处
《计算机科学》
CSCD
北大核心
2005年第9期208-210,共3页
基金
国家自然科学基金(60473015)
文摘
基于演化思想探讨T Peano空间填充曲线的非递归生成算法及其推广。通过基本元素的确定、变换和组合三个步骤完成曲线的绘制。算法简单、快速,而且有一定的通用性。
关键词
Peano曲线 空间填充曲线 非递归生成算法 连续分形曲线
Keywords
Peano curve, Space-filling curve, Fractal, Evolution
分类号
O18
[理学—基础数学]
题名 离散Walsh-Haar变换的快速算法
被引量：1
14
作者
卢力 施保昌 王能超 田金文 柳健
机构
华中科技大学并行计算研究所 华中科技大学 图像所图像信息处理与智能控制教育部重点实验室
出处
《电子与信息学报》
EI
CSCD
北大核心
2006年第7期1192-1195,共4页
基金
国家自然科学基金(60473015)资助课题
文摘
Walsh-Haar函数系是一种具有良好的全局/局部性质的函数系,与其对应的离散变换是一种正交变换,有着广阔的应用前景。该文给出了离散Walsh-Haar变换及其逆变换的定义,并运用二分技术得到了离散Walsh-Haar变换的快速算法。文中的设计思想和方法可用于研究其它序的离散Walsh-Haar变换和其它的正交变换的快速算法。
关键词
Walsh-Haar矩阵 离散Walsh-Haar变换 二分技术 快速算法
Keywords
Walsh-Haar matrix, Discrete Walsh-Haar transformation, Dichotomous technique, Fast algorithm
分类号
TN911.72
[电子电信—通信与信息系统]
题名 一种稳健的公开数字图像水印技术
被引量：2
15
作者
张军 王能超
机构
广东商学院信息学院 华中科技大学并行计算研究所
出处
《计算机应用》
CSCD
北大核心
2001年第11期16-17,22,共3页
文摘
提出一种稳健的公开图像水印技术。随机选取若干象素点及其邻域 ,通过量化象素与邻域的均值之差来隐藏水印信息。实验表明 ,该方法简单、高效、安全性能好 ,且具有较好的不可感知性 。
关键词
公开数字水印 数字图像 JPEG 水印算法 图像处理
Keywords
public watermarking digital image JPEG compression
分类号
TN919.81
[电子电信—通信与信息系统]
TP391.41
[自动化与计算机技术—计算机应用技术]
题名 改进的多级树集合分裂(SPIHT)算法
被引量：1
16
作者
王振飞 王能超 施保昌
机构
华中科技大学 计算 机科学与技术学院华中科技大学并行计算研究所
出处
《小型微型计算机系统》
CSCD
北大核心
2006年第10期1886-1888,共3页
基金
国家自然科学基金项目(60473015)资助.
文摘
基于中频和高频子带小波系数中的不重要数的相关性,对SPIHT算法提出一些改进.在改进SPIHT算法中,利用一个组合函数来减少相应位置中频子带的不重要小波系数的冗余.构造集合d来减少高频子带带间的冗余.实验结果表明,改进SPIHT算法相对于改进前SPIHT算法有理想的压缩效果,峰值信噪比和人眼视觉效果都有所提高.
关键词
图像压缩 多级树集合分裂算法 小波变换 零树算法
Keywords
image compression SPIHT wavelet transform zerotree coding
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
题名 一种新的基于小波变换的数字图象水印技术
17
作者
张军 王能超 曹奎
机构
华中科技大学 计算 机学院华中科技大学并行计算研究所
出处
《计算机应用研究》
CSCD
北大核心
2001年第7期73-75,共3页
基金
国防科技重点实验室基金试点资助项目(99JS94.1.1JW0503)
文摘
提出了一种新的图象数字水印技术：首先通过Ｈｉｂｅｒｔ分形曲线扫描将二维图象转换成一维信号，再对此一维信号作小波变换，分解为多个尺度。选择中等尺度（中频带）分段重复嵌入数字水印，以保证其不可见性和稳健性。该技术简单、快速有效。实验表明，数字水印对 ＪＰＥＧ压缩、高斯噪声、图象剪切和尺度变化等有很好的稳健性。
关键词
数字图象 数字水印 小波变换 HILBERT曲线 图象处理 计算机
Keywords
digital image digital watermaking DWt Hilbert Curve
分类号
TP391.41
[自动化与计算机技术—计算机应用技术]
题名 基于Newton迭代法的Julia集的生成方法
18
作者
王能超 郭卫斌 施保昌
机构
华中科技大学 计算 机科学与技术学院华中科技大学并行计算研究所
出处
《小型微型计算机系统》
CSCD
北大核心
2002年第7期871-874,共4页
基金
国防科技重点实验室基金试点项目 (项目编号 99JS94.1.1.JW0 5 0 3 )
文摘
介绍了 Newton迭代法的基本思想及其改进方法 .研究了用于复多项式的 Cayley问题 ,并且从理论上讨论了Newton迭代法在 Julia集研究中的重要作用 ,给出了用 Newton迭代法生成 Julia集的计算机快速算法 .
关键词
NEWTON迭代法 JULIA集 吸引域 非线性方程 数值分析 计算机
Keywords
newton iterative method julia set basins of attraction borderline
分类号
O241.7
[理学—计算数学]
TP301.6
[自动化与计算机技术—计算机系统结构]
题名 分形的大规模二分演化算法与程序设计
19
作者
郭卫斌 王能超 施保昌
机构
华中科技大学 计算 机科学与技术学院华中科技大学并行计算研究所
出处
《计算机工程与应用》
CSCD
北大核心
2002年第17期103-105,108,共4页
基金
国家自然科学基金(编号:60073044) 部委科技重点实验室基金
文摘
被誉为大自然几何学的分形几何,是现代数学的一个新分支,但是,由于分形图形的无限复杂性,为生成分形图形所需的计算量往往很大。该文立足于二分技术,提出了分形的二分演化算法,并给出了M集和J集的并行算法。
关键词
分形 大规模二分演化算法 程序设计 计算机图形学
Keywords
Fractal,Bisection Technique,Evolutionary algorithms
分类号
TP391.41
[自动化与计算机技术—计算机应用技术]
TP311.1
[自动化与计算机技术—计算机软件与理论]
题名 分形可视化组件的设计与应用
20
作者
陈宁涛 王能超
机构
华中科技大学 计算 机学院华中科技大学并行计算研究所
出处
《计算机科学》
CSCD
北大核心
2005年第3期148-151,共4页
基金
国家自然科学基金(70271069)
文摘
开发分形可视化软件具有重要的理论意义和应用价值。研究了分形可视化理论和组件化软件开发原理,设计了基于COM技术的分形可视化组件框架,开发了一个分形可视化组件,并分析了组件客户的类型及其使用方法。最后,给出了应用该组件的一个例子。
关键词
分形可视化软件 COM技术 L系统 迭代函数系统
Keywords
L systems Iterated function system Component object model Visualization
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
