遗传算法是由美国密执安大学计算机专家 John Holland 于60年代初首先提出的一种随机优化算法,它是基于自然遗传和自然选择机理的搜索过程,在各门学科中正日益受到关注.本文讨论了遗传算法的基本理论,包括简单遗传算法,有序问题及其解,...遗传算法是由美国密执安大学计算机专家 John Holland 于60年代初首先提出的一种随机优化算法,它是基于自然遗传和自然选择机理的搜索过程,在各门学科中正日益受到关注.本文讨论了遗传算法的基本理论,包括简单遗传算法,有序问题及其解,遗传算法的控制参数以及遗传算法的基本定理--模式定理等等,最后给出了一个实例,具体阐述遗传算法的搜索过程.展开更多
A class of generalized implicit quasivariational inclusions with fuzzy mappings in Hilbert space is discussed in this paper which proves an existence theorem of the solutions and proposes a new iterative algorithm and...A class of generalized implicit quasivariational inclusions with fuzzy mappings in Hilbert space is discussed in this paper which proves an existence theorem of the solutions and proposes a new iterative algorithm and the convergence of the iterative sequence generated by the new algorithm. These results extend and improve some recent corresponding achievements.展开更多
By restricting the common replacement axiom schema of ZF to ∑~M-formulae,Professor Zhang Jinwen constructed a series of subsystems of Zennelo-Frankel set theory ZF and he called them ZF^M.Zhao Xi shun show that the c...By restricting the common replacement axiom schema of ZF to ∑~M-formulae,Professor Zhang Jinwen constructed a series of subsystems of Zennelo-Frankel set theory ZF and he called them ZF^M.Zhao Xi shun show that the consistency of ZF^M can be deducted from ZF.Professor Zhang Jinwen raised the question whether the consistency of ZF^M can be deducted from ZF^(M+m(M)) for some m(n)≥1.In this paper,we get a positive solution to Professor Zhang's problem.Moreover,we show that the consistency of ZF^M can be deducted from ZF^(M+3).展开更多
文摘遗传算法是由美国密执安大学计算机专家 John Holland 于60年代初首先提出的一种随机优化算法,它是基于自然遗传和自然选择机理的搜索过程,在各门学科中正日益受到关注.本文讨论了遗传算法的基本理论,包括简单遗传算法,有序问题及其解,遗传算法的控制参数以及遗传算法的基本定理--模式定理等等,最后给出了一个实例,具体阐述遗传算法的搜索过程.
基金Funded by Excellent youth Teacher Foundation of Chongqing Municipal Education Commission (D2005-37).
文摘A class of generalized implicit quasivariational inclusions with fuzzy mappings in Hilbert space is discussed in this paper which proves an existence theorem of the solutions and proposes a new iterative algorithm and the convergence of the iterative sequence generated by the new algorithm. These results extend and improve some recent corresponding achievements.
文摘By restricting the common replacement axiom schema of ZF to ∑~M-formulae,Professor Zhang Jinwen constructed a series of subsystems of Zennelo-Frankel set theory ZF and he called them ZF^M.Zhao Xi shun show that the consistency of ZF^M can be deducted from ZF.Professor Zhang Jinwen raised the question whether the consistency of ZF^M can be deducted from ZF^(M+m(M)) for some m(n)≥1.In this paper,we get a positive solution to Professor Zhang's problem.Moreover,we show that the consistency of ZF^M can be deducted from ZF^(M+3).
