栏目文章

Select

1. 求解多目标优化问题的新遗传算法

韩丽霞

计算机科学 2013, 40 (Z6): 64-66.

摘要（325）

PDF（pc）（310KB）（1302）

给出了求解多目标优化问题的一种新解法。定义了多目标优化问题的非劣方向,设计了方向杂交算子和简单的变异算子。标准算例的计算机仿真结果表明,新算法可以快速地找到一组范围广、分布均匀且数量充足的Pareto最优解。

参考文献 | 相关文章 | 多维度评价

Select

2. 面向装箱问题的量子遗传优化算法

郭晶,陈贤富

计算机科学 2013, 40 (Z6): 67-69.

摘要（336）

PDF（pc）（332KB）（804）

针对遗传算法系统的维持能力问题,提出一种量子演化算法(a Quantum-Inspired Evolutionary Algorithm)用于解决装箱问题的布局与优化。算法中采用量子比特编码、量子延伸变异操作。同时根据装箱问题具体情况,设计相应的量子旋转门更新策略,并在此基础上引入遗传操作,同时提出MCBF算法修复策略。最后,对8个测试数据集进行测试。实验测试结果显示,算法在维持遗传基因种群多样性与提高优化质量等方面效果明显。

参考文献 | 相关文章 | 多维度评价

Select

3. 现代模态逻辑在计算机科学中的应用研究

陈志远,黄少滨,韩丽丽

计算机科学 2013, 40 (Z6): 70-76.

摘要（259）

PDF（pc）（681KB）（1850）

现代模态逻辑是在经典数理逻辑基础上发展起来的,主要包括狭义模态逻辑、道义逻辑、认知逻辑、信念逻辑、时态逻辑与动态逻辑。克里普克语义模型的建立,使得模态逻辑成为现代逻辑的重要分支之一,并成功应用到数学、经济学、社会科学、计算机科学和量子力学等众多领域。介绍了现代模态逻辑研究的主要内容,重点综述了现代模态逻辑在计算机科学的程序设计语言、知识表示与多代理系统以及模型检测、定理机器证明和非单调逻辑5个方面的应用,阐述了现代模态逻辑在计算机科学领域的研究目标、研究进展和发展趋势,最后指出现代模态逻辑研究中存在的问题,并预测其未来可能的研究与发展方向。

参考文献 | 相关文章 | 多维度评价

Select

4. 模型检测中状态爆炸问题研究综述

侯刚,周宽久,勇嘉伟,任龙涛,王小龙

计算机科学 2013, 40 (Z6): 77-86.

摘要（499）

PDF（pc）（1014KB）（2876）

模型检测已成为保证软件系统正确性和可靠性的重要手段,但随着软件功能日益强大,其规模和复杂度也越来越大,在模型检测过程中容易产生状态爆炸问题。如何解决模型检测中的状态爆炸,已成为工业界和理论界无法回避的重要课题。系统地综述模型检测领域解决状态爆炸问题的关键技术和主要方法,并提出该领域的最新研究进展与方向。

参考文献 | 相关文章 | 多维度评价

Select

5. 基于高斯加权的GeesePSO改进算法

庄培显,戴声奎

计算机科学 2013, 40 (Z6): 87-89.

摘要（424）

PDF（pc）（596KB）（470）

为了提高粒子群算法的优化性能,通过观察和分析雁群结队飞行的智能群体现象,国内学者提出了基于雁群启示的粒子群优化算法(GeesePSO,GPSO)。该算法虽然在一定程度上提高了PSO算法的性能,但是在GPSO算法中存在着不合理的加权平均机制,即最小值寻优方面的加权缺陷。针对该问题,本文通过采用高斯加权方法对GPSO进行合理改进,提出一种基于高斯加权改进的粒子群优化算法(Gaussian-Weighted GPSO,GWGPSO)。实验结果表明:新算法在收敛精度、收敛速度和鲁棒性等指标上得到了提高,从而证明高斯加权方式是合理的和正确的。

参考文献 | 相关文章 | 多维度评价

Select

6. 随机决策形式背景下的概念格构建原理与算法

刘保相,李言

计算机科学 2013, 40 (Z6): 90-92.

摘要（147）

PDF（pc）（327KB）（483）

概念格是根据二元关系提出的概念层次结构,用于数据的分析和规则提取。针对随机决策形式背景,讨论了随机决策形式背景下随机概念的数学表示,并证明了随机概念伽罗瓦连接的存在性,提出随机概念格的构建算法,最后用实例证明了其有效性。

参考文献 | 相关文章 | 多维度评价

Select

7. 一种求解稀疏信号重构的新算法

戚平

计算机科学 2013, 40 (Z6): 93-95.

摘要（126）

PDF（pc）（201KB）（551）

由于允许从少量数据中恢复原始信号的压缩感知的引入,基于₁范数正则化的最优化方法近来越来越受到重视。利用最小二乘问题的一种等价形式和Bregman迭代方法的一些技巧,本文推导出了可以用于稀疏信号重构求解的非满秩情况下的A⁺线性Bregman迭代方法的一种新的等价形式,并证明了它与原形式的等价性。

参考文献 | 相关文章 | 多维度评价

Select

8. 基于Hadoop平台的高阶矩阵相乘MapReduce算法研究

向林泓,陈芋文,张昱琳

计算机科学 2013, 40 (Z6): 96-98.

摘要（275）

PDF（pc）（245KB）（1158）

目前,针对基于单一节点的中高阶矩阵相乘存在着计算瓶颈,甚至因内存溢出导致计算机崩溃等问题,结合利用云计算分布式处理和虚拟化技术的优势,提出一种基于Hadoop平台的高阶矩阵相乘的MapReduce算法。实验结果表明:该算法能够有效地解决高阶矩阵相乘中存在的计算瓶颈问题,同时提高了计算效率。

参考文献 | 相关文章 | 多维度评价

Select

9. 改进的验证正确性ACTL性质的限界模型检测方法

徐亮,余建平

计算机科学 2013, 40 (Z6): 99-102.

摘要（120）

PDF（pc）（305KB）（541）

近些年来,基于SAT的限界模型检测方法作为基于BDD的限界模型检测方法的一种有效补充,已经得到了一定的发展。其中,大部分的研究成果都集中在了使用该方法来进行系统查错方面,而在正确性性质的验证上一直难有突破,原因在于正确性性质的验证依赖于一个完备上界,而这个完备上界在限界模型检测方法中很难实现。对传统限界模型检测中的编码方式进行相应改变,就能够在一定程度上解决这一问题,进行正确性性质的验证。在此基础上对该编码方法进行改进,从而提高它的求解效率,扩大其应用领域。

参考文献 | 相关文章 | 多维度评价

Select

10. Vague集方案优选算法在传动方案优选中的应用

王海丰,王鸿绪,张鲲

计算机科学 2013, 40 (Z6): 103-104.

摘要（147）

PDF（pc）（246KB）（382）

针对火力发电厂的圆锥滚筒筛主结构传动设计方案问题,提出完整的Vague集传动设计方案决策优选算法。应用Vague集的相似度量分析,在一套新的Vague集(值)之间的相似度量公式的基础上,提出两个从区间值数据向Vague数据转化的公式,这两类公式成为完整的Vague方案优选方法的两个技术支撑。实验数据结果说明文中所提出的公式和方法都是实用的。

参考文献 | 相关文章 | 多维度评价

Select

11. 分段式量子-单纯形进化算法及函数优化

张伟丰

计算机科学 2013, 40 (Z6): 105-107.

摘要（133）

PDF（pc）（249KB）（401）

量子进化算法在高维复杂函数优化上存在容易陷入局部最优解、进化后期收敛速度慢的问题,为进一步提高其搜索性能,提出了一种带单纯形搜索算子的分段式量子进化算法。该方法将搜索过程分为3个阶段,首先用量子进化算法搜索到一定代数,然后将种群分为若干个子种群,每个子种群中的个体作为单纯形法的初始顶点,并行地用单纯形法进行搜索,将搜索后的子种群再合并,继续用量子进化算法进行最后的搜索。对几个典型的高维函数进行仿真的结果表明,该算法具有更快的收敛速度和更高的求解精度。

参考文献 | 相关文章 | 多维度评价

Select

12. 基于轮转算法的缓冲交叉开关调度算法的设计与实现

刘飞,李冰,张磊磊

计算机科学 2013, 40 (Z6): 108-111.

摘要（141）

PDF（pc）（302KB）（727）

研究了一种低复杂度、高性能的交换机调度算法——轮转(Round Robin)调度算法及其硬件实现,它是基于缓冲交叉开关交换结构的。缓冲交叉开关交换结构相比于无缓冲的交叉开关交换结构,仅需要简单的调度算法对输入VOQ队列和交叉点缓存输出分别进行调度,这大大简化了调度算法硬件实现的复杂程度,减小了系统延迟。因此,结合轮转算法和缓冲交叉开关交换结构各自的优点,可以设计出高性能的交换机。

参考文献 | 相关文章 | 多维度评价