1974年1月创刊(月刊)
主管/主办:重庆西南信息有限公司
ISSN 1002-137X
CN 50-1075/TP
CODEN JKIEBK
编辑中心
    智能算法与优化 栏目所有文章列表
    (按年度、期号倒序)
        一年内发表的文章 |  两年内 |  三年内 |  全部
    Please wait a minute...
    1. 求解多目标优化问题的新遗传算法
    韩丽霞
    计算机科学    2013, 40 (Z6): 64-66.  
    摘要 (83)   PDF (310KB) (338)  
    给出了求解多目标优化问题的一种新解法。定义了多目标优化问题的非劣方向,设计了方向杂交算子和简单的变异算子。标准算例的计算机仿真结果表明,新算法可以快速地找到一组范围广、分布均匀且数量充足的Pareto最优解。
    参考文献 | 相关文章 | 多维度评价
    被引次数: Baidu(31)
    2. 面向装箱问题的量子遗传优化算法
    郭晶,陈贤富
    计算机科学    2013, 40 (Z6): 67-69.  
    摘要 (94)   PDF (332KB) (264)  
    针对遗传算法系统的维持能力问题,提出一种量子演化算法(a Quantum-Inspired Evolutionary Algorithm)用于解决装箱问题的布局与优化。算法中采用量子比特编码、量子延伸变异操作。同时根据装箱问题具体情况,设计相应的量子旋转门更新策略,并在此基础上引入遗传操作,同时提出MCBF算法修复策略。最后,对8个测试数据集进行测试。实验测试结果显示,算法在维持遗传基因种群多样性与提高优化质量等方面效果明显。
    参考文献 | 相关文章 | 多维度评价
    被引次数: Baidu(4)
    3. 现代模态逻辑在计算机科学中的应用研究
    陈志远,黄少滨,韩丽丽
    计算机科学    2013, 40 (Z6): 70-76.  
    摘要 (100)   PDF (681KB) (694)  
    现代模态逻辑是在经典数理逻辑基础上发展起来的,主要包括狭义模态逻辑、道义逻辑、认知逻辑、信念逻辑、时态逻辑与动态逻辑。克里普克语义模型的建立,使得模态逻辑成为现代逻辑的重要分支之一,并成功应用到数学、经济学、社会科学、计算机科学和量子力学等众多领域。介绍了现代模态逻辑研究的主要内容,重点综述了现代模态逻辑在计算机科学的程序设计语言、知识表示与多代理系统以及模型检测、定理机器证明和非单调逻辑5个方面的应用,阐述了现代模态逻辑在计算机科学领域的研究目标、研究进展和发展趋势,最后指出现代模态逻辑研究中存在的问题,并预测其未来可能的研究与发展方向。
    参考文献 | 相关文章 | 多维度评价
    被引次数: Baidu(4)
    4. 模型检测中状态爆炸问题研究综述
    侯刚,周宽久,勇嘉伟,任龙涛,王小龙
    计算机科学    2013, 40 (Z6): 77-86.  
    摘要 (164)   PDF (1014KB) (1305)  
    模型检测已成为保证软件系统正确性和可靠性的重要手段,但随着软件功能日益强大,其规模和复杂度也越来越大,在模型检测过程中容易产生状态爆炸问题。如何解决模型检测中的状态爆炸,已成为工业界和理论界无法回避的重要课题。系统地综述模型检测领域解决状态爆炸问题的关键技术和主要方法,并提出该领域的最新研究进展与方向。
    参考文献 | 相关文章 | 多维度评价
    被引次数: Baidu(70)
    5. 基于高斯加权的GeesePSO改进算法
    庄培显,戴声奎
    计算机科学    2013, 40 (Z6): 87-89.  
    摘要 (97)   PDF (596KB) (152)  
    为了提高粒子群算法的优化性能,通过观察和分析雁群结队飞行的智能群体现象,国内学者提出了基于雁群启示的粒子群优化算法(GeesePSO,GPSO)。该算法虽然在一定程度上提高了PSO算法的性能,但是在GPSO算法中存在着不合理的加权平均机制,即最小值寻优方面的加权缺陷。针对该问题,本文通过采用高斯加权方法对GPSO进行合理改进,提出一种基于高斯加权改进的粒子群优化算法(Gaussian-Weighted GPSO,GWGPSO)。实验结果表明:新算法在收敛精度、收敛速度和鲁棒性等指标上得到了提高,从而证明高斯加权方式是合理的和正确的。
    参考文献 | 相关文章 | 多维度评价
    6. 随机决策形式背景下的概念格构建原理与算法
    刘保相,李言
    计算机科学    2013, 40 (Z6): 90-92.  
    摘要 (51)   PDF (327KB) (113)  
    概念格是根据二元关系提出的概念层次结构,用于数据的分析和规则提取。针对随机决策形式背景,讨论了随机决策形式背景下随机概念的数学表示,并证明了随机概念伽罗瓦连接的存在性,提出随机概念格的构建算法,最后用实例证明了其有效性。
    参考文献 | 相关文章 | 多维度评价
    被引次数: Baidu(4)
    7. 一种求解稀疏信号重构的新算法
    戚平
    计算机科学    2013, 40 (Z6): 93-95.  
    摘要 (31)   PDF (201KB) (156)  
    由于允许从少量数据中恢复原始信号的压缩感知的引入,基于1范数正则化的最优化方法近来越来越受到重视。利用最小二乘问题的一种等价形式和Bregman迭代方法的一些技巧,本文推导出了可以用于稀疏信号重构求解的非满秩情况下的A+线性Bregman迭代方法的一种新的等价形式,并证明了它与原形式的等价性。
    参考文献 | 相关文章 | 多维度评价
    8. 基于Hadoop平台的高阶矩阵相乘MapReduce算法研究
    向林泓,陈芋文,张昱琳
    计算机科学    2013, 40 (Z6): 96-98.  
    摘要 (43)   PDF (245KB) (613)  
    目前,针对基于单一节点的中高阶矩阵相乘存在着计算瓶颈,甚至因内存溢出导致计算机崩溃等问题,结合利用云计算分布式处理和虚拟化技术的优势,提出一种基于Hadoop平台的高阶矩阵相乘的MapReduce算法。实验结果表明:该算法能够有效地解决高阶矩阵相乘中存在的计算瓶颈问题,同时提高了计算效率。
    参考文献 | 相关文章 | 多维度评价
    被引次数: Baidu(9)
    9. 改进的验证正确性ACTL性质的限界模型检测方法
    徐亮,余建平
    计算机科学    2013, 40 (Z6): 99-102.  
    摘要 (33)   PDF (305KB) (165)  
    近些年来,基于SAT的限界模型检测方法作为基于BDD的限界模型检测方法的一种有效补充,已经得到了一定的发展。其中,大部分的研究成果都集中在了使用该方法来进行系统查错方面,而在正确性性质的验证上一直难有突破,原因在于正确性性质的验证依赖于一个完备上界,而这个完备上界在限界模型检测方法中很难实现。对传统限界模型检测中的编码方式进行相应改变,就能够在一定程度上解决这一问题,进行正确性性质的验证。在此基础上对该编码方法进行改进,从而提高它的求解效率,扩大其应用领域。
    参考文献 | 相关文章 | 多维度评价
    被引次数: Baidu(4)
    10. Vague集方案优选算法在传动方案优选中的应用
    王海丰,王鸿绪,张鲲
    计算机科学    2013, 40 (Z6): 103-104.  
    摘要 (45)   PDF (246KB) (93)  
    针对火力发电厂的圆锥滚筒筛主结构传动设计方案问题,提出完整的Vague集传动设计方案决策优选算法。应用Vague集的相似度量分析,在一套新的Vague集(值)之间的相似度量公式的基础上,提出两个从区间值数据向Vague数据转化的公式,这两类公式成为完整的Vague方案优选方法的两个技术支撑。实验数据结果说明文中所提出的公式和方法都是实用的。
    参考文献 | 相关文章 | 多维度评价
    被引次数: Baidu(3)
    首页 | 前页| 后页 | 尾页 第1页 共2页 共12条记录