国家自然科学基金(60404004)
- 作品数：13 被引量：85H指数：6
- 相关作者：罗文坚王煦法林勇张泽明张义国更多>>
- 相关机构：中国科学技术大学更多>>
- 发文基金：国家自然科学基金安徽省教育厅重点项目中国博士后科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于遗传算法的异构硬件电路冗余系统构造方法被引量：4
- 2009年
- 针对实际硬件电路冗余系统中各电路存在失效相关的情况,首先对其失效概率进行分析,指出用于冗余的电路不是越多越好,高可靠性的冗余系统不仅应使用异构的电路构造,而且需要对电路及其冗余数量进行优化选择;然后根据分析结果提出一种基于遗传算法的异构硬件电路冗余系统的构造方法,能快速构造高可靠的冗余系统,并通过实验验证了分析结果的正确性以及该构造方法的可行性。
- 林勇罗文坚王煦法
- 关键词：硬件进化可靠性遗传算法
- 基于免疫进化非选择机制的移动机器人路径规划算法研究被引量：6
- 2007年
- 该文提出了一种基于免疫进化非选择机制的移动机器人路径规划算法(MRPPA-IENS)。该算法通过非选择操作来避免进化过程中糟糕个体的产生,使得较优个体能较早地生成,加快算法的收敛速度;同时,算法引入基因重组操作以维持群体的多样性,防止"早熟收敛"。仿真实验结果表明,该文所提出的MRPPA-IENS算法是一种有效的移动机器人路径规划算法,在障碍物完全已知的静态环境和部分已知的动态环境中均优于传统进化算法。
- 张泽明罗文坚王煦法
- 关键词：移动机器人人工免疫动态环境路径规划
- 硬件电路的选择性进化冗余被引量：14
- 2006年
- 提出了一种新的冗余容错电路设计方法.首先利用遗传算法生成多个功能相同但结构不同的电路,这些电路在相同的出错条件下同时出错的概率较小;然后对生成的多个电路进行选择性集成,使集成后电路尽可能有利于投票表决,从而提高容错性能.对传统的同构冗余电路与异构冗余电路的容错能力进行了理论分析和对比,并给出了冗余电路的选择策略.实验结果表明,异构冗余电路比同构冗余电路具有更好的容错特性,且选择性冗余比随机冗余更优.
- 林勇罗文坚王煦法
- 关键词：硬件进化容错冗余
- 关于一种免疫遗传算法的性能分析被引量：13
- 2006年
- 对一种免疫遗传算法的求解性能进行理论分析。首先分析了算法的良好收敛性能;然后,进一步提出了临界浓度的概念,说明该算法与遗传算法的本质不同在与只有低于临界浓度的较优模式才能达到指数级增长,并在此基础上对算法的个体多样性维持能力进行了分析说明。本工作有利于从理论上进一步揭示这类改进遗传算法求解性能得以提高的根本原因。
- 罗文坚曹先彬王煦法
- 关键词：免疫遗传算法全局收敛性
- 基于K-均值聚类的改进非选择算法研究被引量：8
- 2005年
- 文章提出了一种基于K-均值聚类的改进非选择算法,其核心是对检测器集进行K-均值聚类,将检测器集分为多个子类,根据子类中心和待检测数据的亲和度选择若干个合适的子类进行实际检测。文中对算法的检测过程进行了分析,并给出了该算法用于入侵检测时的测试实验结果。实验结果表明,文章算法在检测速度上有明显改善。
- 屈建平罗文坚王煦法
- 关键词：人工免疫系统K-均值聚类
- 基于RUP和VDM++的软件形式化开发方法的研究被引量：1
- 2005年
- 形式化方法是软件开发过程中用于保证软件系统具有高度正确性和可靠性的一个重要手段。但形式化软件规范不直观,不容易被开发人员所接受。该文将较为直观地统一软件过程和VDM++形式化方法结合在一起,提出了一种软件形式化开发方法,并通过开发一个实际的文件设备记账系统说明了该方法的可行性与有效性。
- 王新苏罗文坚毛晨晓王煦法
- 关键词：形式化方法统一软件过程
- 硬件免疫系统中避免自身免疫的算法研究被引量：1
- 2006年
- 硬件免疫系统的研究尚处在起步阶段,有大量的问题需要解决,包括如何避免自身免疫问题等。针对硬件免疫系统设计中无法避免的自身免疫问题提出的一种新算法能够借助协同刺激信号自动删除与自身匹配的检测器,使硬件免疫系统具有自身耐受能力,提高了检测正确率并降低了误报率。模拟实验结果证明了算法的有效性。
- 王欣罗文坚王煦法
- 关键词：人工免疫系统自身免疫
- 基于免疫原理的逻辑电路设计算法被引量：6
- 2006年
- 硬件进化是基于进化计算和可重构硬件的新兴研究领域。逻辑电路的进化设计是硬件进化的主要研究方向之一。文章将生物免疫系统的进化非选择机制引入到逻辑电路设计中,提出了相应的逻辑电路设计算法,并给出了该文算法和进化算法的对比实验结果,结果表明该文算法更加有效。
- 张义国罗文坚王煦法
- 关键词：人工免疫系统硬件进化逻辑电路设计
- 分析安全协议密码系统相关缺陷的模态逻辑方法被引量：2
- 2006年
- 安全协议未采用适当的密码系统来实现,会使最终的安全协议存在密码系统相关缺陷.对该类缺陷进行形式化分析时,不能使用完善的密码系统假设,这是安全协议形式化分析研究中的一个难点.以CKT 5逻辑为基础,以对称密码算法为重点,将序列密码算法和分组密码算法的特性,以逻辑推理规则的形式引入到CKT 5逻辑框架中,使得扩展后的逻辑能够用于分析安全协议密码系统相关缺陷.并用实例说明了如何使用扩展逻辑来分析密码系统相关缺陷.
- 毛晨晓罗文坚王煦法
- 关键词：安全协议形式化分析模态逻辑
- 基于免疫原理的个性化Spam过滤算法被引量：2
- 2007年
- 受生物免疫系统工作机制的启发,本文提出一种基于免疫原理的个性化 Spam 过滤算法.其主要思想是根据用户兴趣和邮件特征定义垃圾邮件社区,将各垃圾邮件归类于不同的垃圾邮件社区,抽取各个垃圾邮件社区的特征并用一组特征检测器来表示,检测时通过判断待检测邮件是否归属于某垃圾邮件社区来进行过滤.该算法是一个增量学习算法,能连续过滤垃圾邮件.算法中免疫学习与免疫记忆机制的采用不仅能提高垃圾邮件过滤的检出率与正确率还能加快邮件过滤的速度.文中通过测试实验和分析表明,本文算法的垃圾邮件过滤性能优于AISEC 与 Naive Bayesian 算法.
- 张泽明罗文坚王煦法
- 关键词：人工免疫系统垃圾邮件个性化
