【摘 要】
：
利用GEP（基因表达式编程）获取最优解的函数发现能力和数学理论的精确计算能力获得较客观的程序不变量的预置形式,能够进行目前技术没有处理的函数型程序不变量的发现生成工作.
论文部分内容阅读
利用GEP（基因表达式编程）获取最优解的函数发现能力和数学理论的精确计算能力获得较客观的程序不变量的预置形式,能够进行目前技术没有处理的函数型程序不变量的发现生成工作.在函数型程序不变量范围内,有效地克服了目前程序不变量发现技术中存在的两个缺点,即计算盲目性与程序不变量形式预置的主观性.整个工作可以理解为是对目前程序不变量发现技术的一个扩展,它拓广了原有技术可发现的程序不变量种类,增大了从程序运行轨迹数据中发现更多不变量的可能性.
其他文献
考虑了一类具CTL免疫反应的HIV四维数学模型,研究了该模型无病毒平衡点、感染无免疫平衡点的全局渐近稳定性以及感染免疫平衡点的局部渐近稳定性.最后用数值模拟验证了理论结
【正】 一1918——1927年期间,朱镜我留学日本,先后求读于东京第一高等学校预科,名古屋第八高等学校、东京帝国大学文学部社会学系和京都帝国大学大学院(即研究院)。早在1920
以美陆军数字化地面部队列装的侦察情报装备为研究对象,深入剖析地面火力支援和机动作战的侦察情报装备组成及其优缺点,对于我军地面侦侦察情报装备发展具有一定的指导意义。
从静力学和动力学两方面介绍行星齿轮传动均载研究现状.静力学研究主要采用等效弹簧模型法和有限元与面积分技术相结合的接触力学法,研究制造误差和弹性变形等对均载性能的影
中国科技网讯“在太空运行的第一年，AMS（阿尔法磁谱仪）已经采集了160亿个宇宙射线数据，这远远超过了在20世纪收集到的宇宙射线数据的总和”。在AMS——人类首个太空粒子探测器成
简要介绍了广东河源东源县蓝口水电站2×70kN清污机的相关概况，及其在清污和提栅两种不同工况间的转换装置和转换方法。以该清污机为例，论述了清污机一组负载限制装置同时
【正】 “在群众一切争斗中,口号的作用极大。它包括争斗中群众的要求和需要,它使群众的精神特别振作,特别一致,发生强有力的行动”。爆发于一九四七年的五·二○运动就
针对电力企业投资决策问题,提出了一种基于灰靶决策的密切值法,克服了传统的灰靶决策模型只考虑正靶心距对方案进行排序不考虑负靶心距对决策的影响.并采用变异系数法客观地
将经典风险模型推广为保费收取为Poisson过程，赔偿次数为二项过程的离散风险模型，讨论了盈余过程的性质，给出了关于破产概率的一个定理和几个推论．