云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(60473081)

国家自然科学基金(60473081): 作品数：33被引量：155H指数：6; 导出分析报告; 相关作者：康立山吴传生谢大同蔡之华彭锦国更多>>; 相关机构：武汉理工大学中国地质大学武汉大学湖北第二师范学院更多>>; 相关期刊：《计算机应用研究》《计算机工程》《计算机工程与设计》《Wuhan University Journal of Natural Sciences》更多>>; 相关主题：演化算法旅行商问题遗传算法TSP问题GEP更多>>; 相关领域：自动化与计算机技术理学文化科学交通运输工程更多>>

Hoare logic-based genetic programming被引量：5: 《Science China(Information Sciences)》2011年第3期623-637,共15页HE Pei KANG LiShan JOHNSON Colin G YING Shi; supported by the National Natural Science Foundation of China (Grant No. 60473081);the State Key Laboratory of Software Engineering, Wuhan University (Grant No. SKLSE 20080701); Almost all existing genetic programming systems deal with fitness evaluation solely by testing. In this paper, by contrast, we present an original approach that combines genetic programming with Hoare logic with the a...; 关键词：genetic programming program verification Hoare logic model checking finite state automata

一类时滞连续模糊系统稳定性研究被引量：1: 《模糊系统与数学》2009年第6期109-112,共4页王金红吴传生; 国家自然科学基金资助项目(60473081); 对一类状态时滞连续模糊系统模型稳定性进行了研究,基于Lyapunov稳定性理论证明其系统的稳定性,利用线性矩阵不等式(LM I)方法,得到其稳定的一个充分条件。最后用数值例子进一步说明本文所给方法的有效性。; 关键词：模糊系统时滞线性矩阵不等式稳定性

一类SARS流行病模型的稳定性分析被引量：1: 《武汉理工大学学报（信息与管理工程版）》2009年第5期723-725,共3页张冬爽吴传生; 国家自然科学基金资助项目(60473081); 在K-M传染病模型的基础上,进一步考虑易感人群的密度制约等因素,建立了描述SARS流行病的新的动力学模型,得到了疾病绝灭与否的阈值(基本再生数R0),分析了该模型的稳定性态,揭示了隔离对疾病控制的积极作用。; 关键词：SARS流行病基本再生数平衡点局部渐近稳定全局渐近稳定

An Improved GT Algorithm for Solving Complicated Dynamic Function Optimization Problems: 《Wuhan University Journal of Natural Sciences》2009年第5期404-408,共5页ZHANG Qing LI Yan KANG Zhuo KANG Lishan; Supported by the National Natural Science Foundation of China(60473081,60133010); An improved Guo Tao algorithm （IGT algorithm） is proposed for solving complicated dynamic function optimization problems, and a function optimization benchmark problem with constrained condition and two dynamic para...; 关键词：dynamic function optimization Guo Tao algorithm （GT algorithm） benchmark problems

一种快速收敛的迭代正则化方法被引量：3: 《吉林大学学报（理学版）》2009年第2期269-272,共4页吕小红吴传生周俊; 国家自然科学基金(批准号:60473081); 对于线性不适定问题,基于Landweber迭代正则化方法提出一种快速收敛的迭代正则化方法,依据Morozov偏差原理,采用后验选取正则化参数的方法得到了最优渐近收敛阶的正则化解.数值实验结果表明,该方法可以加快收敛速度,降低计算量.; 关键词：不适定问题迭代正则化 Morozov偏差原理

基于克隆选择原理的基因表达式程序设计: 《计算机工程与设计》2008年第14期3706-3708,共3页薛思清张求明康立山; 国家自然科学基金项目(60473081);中国地质大学(武汉)优秀青年教师资助计划基金项目(CUGQNL0644); 提出了一种基于免疫克隆选择算法的基因表达式程序设计混合算法(CS-GEP)。基因表达式程序设计(GEP)是一种新近提出的遗传程序设计方法,已逐渐成为演化计算新的分支。GEP最为重要的优点在于其具有很强的表达能力,而如何充分利用GEP易操...; 关键词：基因表达式程序设计克隆选择原理搜索策略表达能力混合算法

基于遗传算法的智能机器人对抗策略设计被引量：4: 《微计算机信息》2008年第35期254-255,262,共3页戴光耀康立山; 国家自然科学基金(60473081)项目名称:动态多目标TSP的并行算法研究; 近年来,随着大型第一人称类的网络游戏风靡全球,游戏角色的智能性研究得以迅速发展。本文基于Robocode这样一个机器人战斗模拟系统,提出了针对不通的环境和对手,根据实战数据,通过遗传算法来为机器人寻找到一个最佳的战斗策略,利用该策...; 关键词：遗传算法人工智能机器人

用GEP实现复杂函数的自动建模被引量：17: 《系统仿真学报》2008年第11期2828-2831,共4页莫海芳康立山; 国家自然科学基金(60473081); GEP是一种新颖的遗传算法,在函数建模的应用中取得良好的结果。给出计算有效基因长度的伪代码,结合GRCM方法阅读基因,快速计算出染色体的适应值。在算法中增加了参数估计模块,用GEP得到较好模型后,用参数估计模块进行参数优化,试验显示...; 关键词：基因表达式编程遗传算法自动建模参数优化

S3C2410的外部中断程序分析与设计被引量：2: 《现代电子技术》2008年第13期147-149,153,共4页王青萍; 国家自然科学基金资助项目(60473081); 主要分析了S3C2410芯片及它相应的外部中断程序。首先介绍了S3C2410的中断原理,引出相关中断寄存器,然后介绍了这些寄存器的功能。针对这些寄存器的功能,详细阐述了如何设置中断寄存器的模式。在简要介绍用户空间和内核空间之后,设计了...; 关键词：S3C2410 中断 ARM 嵌入式系统

程序断言的半自动生成及证明逻辑被引量：3: 《计算机工程与应用》2008年第14期18-20,30,共4页何锫康立山; 国家自然科学基金(the National Natural Science Foundation of China under Grant No.60473081); 如何生成程序断言对于软件验证十分重要。传统方法要求既要对程序结构有深入地把握又要做繁复的Hoare三元式推演工作。为了摆脱这些琐碎事宜,将致力于探讨一种半自动的断言生成方法。为便于理解,讨论主要以XYZ/VERI系统为论述背景。XYZ/...; 关键词：HOARE逻辑序验证程序断言 XYZ/VERI

国家自然科学基金(60473081)