分布式计算平台中混合多应用调度策略的研究 被引量：1

1

作者 覃德泽 《计算机应用研究》 CSCD 北大核心 2011年第5期1850-1853,共4页

提出与分析了分布式计算平台中几种混合多应用的调度策略,它主要面向多个并行应用之间的调度而不是应用内部的调度,应用内部的调度采用了常见的工作队列容错调度算法。与资源信息有关的调度比较起来,这些调度策略运用到了与资源信息无... 提出与分析了分布式计算平台中几种混合多应用的调度策略,它主要面向多个并行应用之间的调度而不是应用内部的调度,应用内部的调度采用了常见的工作队列容错调度算法。与资源信息有关的调度比较起来,这些调度策略运用到了与资源信息无关的调度方式,这使它们的实现更加简单和容易,更加适合于高挥发性的分布式计算系统。针对各种不同的计算强度、资源可用性、任务粒度来划分实验场景,对各种调度策略进行了评测与比较。实验结果表明,这些调度策略各有优缺点,可以作为评估大规模分布式计算环境下的并行分布式应用的有效策略。 展开更多

关键词 分布式计算 混合多应用 任务调度 网格计算 通信轮回时间

在线阅读 下载PDF 职称材料

基于Prim算法的最小生成树优化研究 被引量：40

2

作者 江波 张黎 《计算机工程与设计》 CSCD 北大核心 2009年第13期3244-3247,共4页

在图的最小生成树算法中,Prim和Kruskal算法分别适用于稠密图和稀疏图,但两种算法都不能根据图的顶点数、顶点的度数以及边的分布情况自适应地改变自身。由此,对Prim算法进行改进,从图中每个顶点的度数入手,采取删除某些无用边的思想方... 在图的最小生成树算法中,Prim和Kruskal算法分别适用于稠密图和稀疏图,但两种算法都不能根据图的顶点数、顶点的度数以及边的分布情况自适应地改变自身。由此,对Prim算法进行改进,从图中每个顶点的度数入手,采取删除某些无用边的思想方法,给出了一个寻找最小生成树的算法,使其能动态调整自身的性能,既适合于稠密图,又适合于稀疏图。经实例验证,利用改进的Prim最小生成树算法,根据无向图的顶点数和顶点的度数动态确定求解最小生成树的时间,并将求解的时间复杂度最小化。 展开更多

关键词 PRIM算法 最小生成树 无向图 邻接矩阵 邻接多重表

在线阅读 下载PDF 职称材料

改进的BP神经网络在地方GDP预测中的应用 被引量：11

3

作者 张自敏 樊艳英 陈冠萍 《计算机科学》 CSCD 北大核心 2012年第S3期108-110,127,共4页

BP算法是应用最广泛的人工神经网络算法,但标准的BP算法存在收敛速度慢及易陷入局部极小值的缺陷。针对这些缺陷,综合利用附加动量和变学习率的方法对BP算法加以改进。通过改进的BP算法用MATLAB对2001-2010年广西GDP数据进行了仿真,结... BP算法是应用最广泛的人工神经网络算法,但标准的BP算法存在收敛速度慢及易陷入局部极小值的缺陷。针对这些缺陷,综合利用附加动量和变学习率的方法对BP算法加以改进。通过改进的BP算法用MATLAB对2001-2010年广西GDP数据进行了仿真,结果表明,改进的BP算法的收敛速度和预测精度均优于标准BP算法。 展开更多

关键词 BP算法 人工神经网络 改进BP算法 MATLAB

在线阅读 下载PDF 职称材料

基于多维自组织特征映射的聚类算法研究 被引量：8

4

作者 江波 张黎 《计算机科学》 CSCD 北大核心 2008年第6期181-182,185,共3页

作为神经网络的一种方法,自组织特征映射在数据挖掘、模式分类和机器学习中得到了广泛应用。本文详细讨论了自组织特征映射的聚类算法的工作原理和具体实现算法。通过系统仿真实验分析,SOFMF算法很好地克服了许多聚类算法存在的问题,在... 作为神经网络的一种方法,自组织特征映射在数据挖掘、模式分类和机器学习中得到了广泛应用。本文详细讨论了自组织特征映射的聚类算法的工作原理和具体实现算法。通过系统仿真实验分析,SOFMF算法很好地克服了许多聚类算法存在的问题,在时间复杂度上具有良好的性能。 展开更多

关键词 组织特征映射 聚类 数据挖掘 神经网络

在线阅读 下载PDF 职称材料

基于动态描述逻辑的UML状态图形式化方法 被引量：6

5

作者 陈振庆 罗兰花 《计算机工程》 CAS CSCD 北大核心 2011年第13期55-57,60,共4页

统一建模语言(UML)状态图包括静态语义和动态语义。针对该特点,提出基于动态描述逻辑的UML状态图形式化方法,介绍动态描述逻辑DDL_SHOIN(D)的语法和语义,设计UML状态图的DDL_SHOIN(D)形式化方法,研究状态图动作推理问题。给出状态图状... 统一建模语言(UML)状态图包括静态语义和动态语义。针对该特点,提出基于动态描述逻辑的UML状态图形式化方法,介绍动态描述逻辑DDL_SHOIN(D)的语法和语义,设计UML状态图的DDL_SHOIN(D)形式化方法,研究状态图动作推理问题。给出状态图状态可达性和动作包含关系的定义,并证明其正确性。 展开更多

关键词 动态描述逻辑 统一建模语言状态图 形式化方法 动作推理

在线阅读 下载PDF 职称材料

基于OWL本体的UML类图推理 被引量：5

6

作者 陈振庆 罗兰花 《计算机应用与软件》 CSCD 2011年第8期190-192,243,共4页

分析UML模型一致性检测的研究意义,以及UML类图推理的研究现状,提出一种基于OWL本体的UML类图推理方案。研究UML类图向OWL本体转换的映射规则,给出UML类图包含关系、可满足性、等价关系和相离关系的判断方法及其推理规则。利用Jena推理... 分析UML模型一致性检测的研究意义,以及UML类图推理的研究现状,提出一种基于OWL本体的UML类图推理方案。研究UML类图向OWL本体转换的映射规则,给出UML类图包含关系、可满足性、等价关系和相离关系的判断方法及其推理规则。利用Jena推理机制实现了UML类图包含关系、可满足性、等价关系和相离关系的推理。 展开更多

关键词 OWL本体 UML类图 映射规则 推理规则 推理

在线阅读 下载PDF 职称材料

基于SHOIN(D)的UML类图形式化方法 被引量：16

7

作者 陈振庆 《计算机工程》 CAS CSCD 北大核心 2009年第19期43-45,共3页

UML模型一致性自动检测的主要任务是解决形式化问题。描述逻辑是一阶谓词逻辑的可判定子集,具备强大的知识表示和推理功能。针对UML模型形式化问题,提出基于描述逻辑的形式化方法,分析UML类图各模型元素与描述逻辑SHOIN(D)的对应关系,提... UML模型一致性自动检测的主要任务是解决形式化问题。描述逻辑是一阶谓词逻辑的可判定子集,具备强大的知识表示和推理功能。针对UML模型形式化问题,提出基于描述逻辑的形式化方法,分析UML类图各模型元素与描述逻辑SHOIN(D)的对应关系,提出UML类图的SHOIN(D)形式化方法,给出UML类图转换为SHOIN(D)知识库的正确性证明。 展开更多

关键词 UML类图 描述逻辑 描述逻辑SHOIN(D) 形式化

在线阅读 下载PDF 职称材料

基于结果类型分组的XML关键字查询 被引量：1

8

作者 王珍珍 吴小霞 +2 位作者 张超英 禤浚波 覃章荣 《计算机应用研究》 CSCD 北大核心 2011年第11期4194-4198,共5页

提出了基于结果类型分组的XML(extensible markup language,可扩展标志语言)关键字查询算法。采用熵值赋权法确定结果类型,继而对XML文档节点虚拟分组,并在虚拟组的基础上给出了相应的查询算法,不仅确保了结果信息的完整,避免了丢失某... 提出了基于结果类型分组的XML(extensible markup language,可扩展标志语言)关键字查询算法。采用熵值赋权法确定结果类型,继而对XML文档节点虚拟分组,并在虚拟组的基础上给出了相应的查询算法,不仅确保了结果信息的完整,避免了丢失某些有意义结果和返回无意义结果的现象。实验结果表明,所提出算法与SLCA、MLCEA相比,在查询质量、效率及稳定性上有一定提高。 展开更多

关键词 可扩展标志语言 关键字查询 熵值赋权法 结果类型 虚拟分组

在线阅读 下载PDF 职称材料

基于粒子对和差分进化的基因表达数据聚类 被引量：1

9

作者 禤世丽 杨秋叶 +1 位作者 张超英 禤浚波 《计算机应用研究》 CSCD 北大核心 2012年第7期2484-2487,共4页

针对粒子对算法存在过早陷入局部最优导致聚类精度不高以及聚类结果对初始粒子比较敏感等问题,提出了一种新的基于粒子对(PPO)与差分进化(DE)混合算法。该混合算法结合PPO和DE的优点,根据一定的迭代次数在精英粒子对迭代过程中引入DE算... 针对粒子对算法存在过早陷入局部最优导致聚类精度不高以及聚类结果对初始粒子比较敏感等问题,提出了一种新的基于粒子对(PPO)与差分进化(DE)混合算法。该混合算法结合PPO和DE的优点,根据一定的迭代次数在精英粒子对迭代过程中引入DE算法,借助DE算法的全局收敛能力避免PPO算法过早陷入局部最优的缺点,并借助K-means快速聚类的结果和PSO聚类结果初始化粒子位置,提高初始粒子的质量从而提高聚类结果精度。将混合算法应用于真实的基因表达数据,实验结果表明,混合算法比K-means和PPO算法具有更好的聚类结果和稳定性。 展开更多

关键词 基因聚类 K-MEANS算法 粒子对 差分进化 混合算法

在线阅读 下载PDF 职称材料

基于描述逻辑的UML类图一致性检测 被引量：6

10

作者 陈振庆 《计算机工程与设计》 CSCD 北大核心 2009年第17期4023-4026,4034,共5页

为解决UML类图一致性检测问题,分析了UML类图、DLs和OWL DL的特点,给出了UML类图的OWL DL本体表示形式,研究了UML类图转化为OWL DL本体知识库的方法,证明了转化方法的正确性,提出了一种基于描述逻辑的UML类图一致性检测方案。该方案通过... 为解决UML类图一致性检测问题,分析了UML类图、DLs和OWL DL的特点,给出了UML类图的OWL DL本体表示形式,研究了UML类图转化为OWL DL本体知识库的方法,证明了转化方法的正确性,提出了一种基于描述逻辑的UML类图一致性检测方案。该方案通过将UML类图转换为OWL DL本体知识库,利用OWL DL强大的推理功能实现UML类图一致性检测。最后以实例证明了该方案的可行性。 展开更多

关键词 UML类图 描述逻辑 OWL DL本体 知识库 一致性检测

在线阅读 下载PDF 职称材料

基于时序描述逻辑的UML顺序图形式化方法 被引量：5

11

作者 陈振庆 《计算机工程》 CAS CSCD 2013年第3期36-40,共5页

根据统一建模语言(UML)顺序图的时序特征,提出一种基于时序描述逻辑ALCQIUS的UML顺序图形式化方法。研究ALCQIUS时序扩展部分的语法和语义、ALCQIUS断言公式集一致性定理,给出ALCQIUS断言公式集一致性推理算法,并证明该推理算法的可判... 根据统一建模语言(UML)顺序图的时序特征,提出一种基于时序描述逻辑ALCQIUS的UML顺序图形式化方法。研究ALCQIUS时序扩展部分的语法和语义、ALCQIUS断言公式集一致性定理,给出ALCQIUS断言公式集一致性推理算法,并证明该推理算法的可判定性。以公安报警系统为例,说明基于ALCQIUS的UML顺序图形式化规约和形式化验证具备可行性,并且ALCQIUS为UML顺序图形式化提供了合理的逻辑基础。 展开更多

关键词 时序描述逻辑 统一建模语言顺序图 静态语义 动态语义 形式化规约 形式化验证

在线阅读 下载PDF 职称材料

安全结构化对等网络的节点信誉管理机制 被引量：1

12

作者 覃德泽 《计算机工程》 CAS CSCD 北大核心 2011年第15期119-121,共3页

提出一种安全结构化对等网络的节点信誉管理机制。使用全局储存方式保存信誉度信息,将文件信誉与节点信誉相结合,避免恶意节点通过修改标识符伪装友好节点的行为。对文件共享系统中的基本操作过程进行分析。在各种节点行为下进行模拟实... 提出一种安全结构化对等网络的节点信誉管理机制。使用全局储存方式保存信誉度信息,将文件信誉与节点信誉相结合,避免恶意节点通过修改标识符伪装友好节点的行为。对文件共享系统中的基本操作过程进行分析。在各种节点行为下进行模拟实验,结果证明了该信誉管理机制的有效性。 展开更多

关键词 结构化对等网络 信誉机制 分布式哈希表 资源共享

在线阅读 下载PDF 职称材料

基于描述逻辑的带依赖属性UML类图

13

作者 陈振庆 《计算机工程》 CAS CSCD 北大核心 2011年第15期49-51,共3页

分析基于描述逻辑的统一建模语言(UML)类图形式化方法的研究现状和存在的问题,提出一种基于描述逻辑的带依赖属性UML类图的形式化方法。研究带依赖属性UML类图的数据属性依赖、行为属性依赖和全局属性依赖的描述逻辑形式化问题。给出带... 分析基于描述逻辑的统一建模语言(UML)类图形式化方法的研究现状和存在的问题,提出一种基于描述逻辑的带依赖属性UML类图的形式化方法。研究带依赖属性UML类图的数据属性依赖、行为属性依赖和全局属性依赖的描述逻辑形式化问题。给出带依赖属性UML类图向描述逻辑知识库转化的方法,以及带依赖属性UML类图知识库可满足性定理及其正确性证明。 展开更多

关键词 统一建模语言类图 描述逻辑 依赖属性 知识库 推理

在线阅读 下载PDF 职称材料

基于模拟退火的多射频多信道网络的路由算法

14

作者 覃德泽 《中南林业科技大学学报》 CAS CSCD 北大核心 2011年第2期131-134,共4页

提出一种基于模拟退火的优化算法来解决路由问题。模拟退火算法以加权累积期望传输时间为代价函数来寻找最佳路由方式。系统仿真基于802.11无线网络,分别比较使用基于模拟退火的路由算法和最短路由算法情况下的网络吞吐量和丢包率。仿... 提出一种基于模拟退火的优化算法来解决路由问题。模拟退火算法以加权累积期望传输时间为代价函数来寻找最佳路由方式。系统仿真基于802.11无线网络,分别比较使用基于模拟退火的路由算法和最短路由算法情况下的网络吞吐量和丢包率。仿真结果显示,基于模拟退火的路由算法比最短路由算法具有更好的性能。 展开更多

关键词 无线网状网络 多射频多信道网络 路由算法 模拟退火 加权累积期望传输时间

在线阅读 下载PDF 职称材料

基于时态描述逻辑的UML活动图形式化规约

15

作者 陈振庆 《中南林业科技大学学报》 CAS CSCD 北大核心 2011年第11期192-196,共5页

UML活动图是一种特殊的状态机,被认为最适合描述软件过程建模,但其缺乏精确的语义,不利于对模型进行形式化分析和验证。针对传统描述逻辑无法表达动态行为和时序特征的不足,提出了一种基于时态描述逻辑的UML活动图形式化规约方案,讨论... UML活动图是一种特殊的状态机,被认为最适合描述软件过程建模,但其缺乏精确的语义,不利于对模型进行形式化分析和验证。针对传统描述逻辑无法表达动态行为和时序特征的不足,提出了一种基于时态描述逻辑的UML活动图形式化规约方案,讨论了时序描述逻辑时序扩展部分的语法和语义,研究了UML活动图的静态语义和动态语义的ALCQIUS形式化规约,通过具体应用实例说明所提方案的可行性。 展开更多

关键词 时态描述逻辑 UML活动图 静态语义 动态语义 形式化规约

在线阅读 下载PDF 职称材料

基于粒子对和极值优化的基因聚类混合算法研究 被引量：2

16

作者 禤浚波 吴小霞 +1 位作者 王珍珍 张超英 《计算机应用研究》 CSCD 北大核心 2011年第10期3675-3677,3680,共4页

针对粒子对算法存在过早陷入局部最优导致精度不是很高的问题,建议了一种新的基于粒子对(PPO)与极值优化(EO)混合算法。该算法利用PPO和EO的优点,借助K-means快速聚类的结果初始化其中一个粒子,并根据一定迭代次数在精英粒子对的迭代过... 针对粒子对算法存在过早陷入局部最优导致精度不是很高的问题,建议了一种新的基于粒子对(PPO)与极值优化(EO)混合算法。该算法利用PPO和EO的优点,借助K-means快速聚类的结果初始化其中一个粒子,并根据一定迭代次数在精英粒子对的迭代过程中引入EO算法,在保证算法收敛的同时避免后期过早陷入局部最优,从而提高聚类结果的精度。将混合算法应用于真实的基因表达数据。实验结果表明,混合算法比K-means和粒子对算法具有更好的聚类精度和稳定性。 展开更多

关键词 基因聚类 K-MEANS算法 粒子对 极值优化算法 混合算法

在线阅读 下载PDF 职称材料

蜂窝环上的全广播算法

17

作者 殷玉玲 《计算机应用研究》 CSCD 北大核心 2011年第7期2492-2493,2496,共3页

主要研究蜂窝环上的全广播路由算法。第一个全广播算法的设计思路是找到一条通过所有节点的路径,关键是确定边界上的一些特殊节点;第二个全广播算法应用了蜂窝环的哈密尔顿性质。假设一个有n个处理机的蜂窝环,前者每个节点有自己专用的... 主要研究蜂窝环上的全广播路由算法。第一个全广播算法的设计思路是找到一条通过所有节点的路径,关键是确定边界上的一些特殊节点;第二个全广播算法应用了蜂窝环的哈密尔顿性质。假设一个有n个处理机的蜂窝环,前者每个节点有自己专用的路由策略,时间复杂度为3n,因为计算时间往往比数据传送时间低得多,所以总的通信时间可以降低到n;后者是基于哈密尔顿圈的,需要n时间复杂度。到目前为止,这是第一次给出蜂窝环上全广播算法。 展开更多

关键词 并行计算机 互连网络 蜂窝环 全广播

在线阅读 下载PDF 职称材料

误工工件个数最少的多目标排序问题(英文)

18

作者 陈小林 任子亭 《重庆工学院学报（自然科学版）》 2009年第1期161-164,共4页

考虑在误工工件个数最少的约束条件下使得工件集合的总完工时间为最小的单台机器多目标排序问题.首先要使得误工工件个数∑Uj为最少,著名的Moore-Hodgson算法得到的排序就是一个可行解,并且该算法在遇到误工工件时总是尽可能把加工时间... 考虑在误工工件个数最少的约束条件下使得工件集合的总完工时间为最小的单台机器多目标排序问题.首先要使得误工工件个数∑Uj为最少,著名的Moore-Hodgson算法得到的排序就是一个可行解,并且该算法在遇到误工工件时总是尽可能把加工时间最长的工件放到误工工件集合L中,这也符合使总完工时间∑Cj为最小的目的.然而以往文献中的例子显示,这样得到的解并不总是最优解,这就暗示了该问题的复杂性,因此给出了不同于以往文献的分支定界算法及其Matlab解,简化了计算过程. 展开更多

关键词 排序 最优性 算法

在线阅读 下载PDF 职称材料