【摘 要】
：
Almost all existing genetic programming systems deal with fitness evaluation solely by testing. In this paper, by contrast, we present an original approach that
【机 构】
：
Computing Laboratory,University of Kent,
【出 处】
：
Science China(Information Sciences)
论文部分内容阅读
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 aid of model checking and finite state automata, henceby proposing a brand new verification-focused formal genetic programming system that makes it possible to evolve reliable programs with mathematically-verified properties.
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 aid of model checking and finite state automata, henceby proposing a brand new verification -focused formal genetic programming system that makes it possible to evolve reliable programs with mathematically-verified properties.
其他文献
我释然了。我要寻找的，不是梦本身，而是在寻梦途中遇到的曼妙的风景。 我与康桥的初见是在四年级的时候，那时尚稚嫩的我，捧着徐志摩的诗篇，一遍又一遍地深情朗读着，不知怎么的，就选中了这首《再别康桥》，为的只是两个星期后的朗诵比赛。 比赛的结果我是早已忘记了，可诗篇中的每一个诗行却还清晰地印在脑里。诗人描述的康桥是多么美啊！不知道从什么时候开始，这座神奇的桥频频地出现在我的梦中，它在梦中总是朦胧的，
城市在不断发展的过程中,人们的生活水平也得到了提高,建筑工程数量逐渐增多,建设规模也逐渐扩大.同时随着建筑行业的发展也带动了不同产业的发展,因此建筑行业为我国GDP的增
本研究以鹤望兰(Strelitzia reginae)种子切段为外植体，探索鹤望兰组织培养快速繁殖的技术体系，着重研究丛生芽和原球茎两种再生途径各阶段的最佳培养基配方及培养程序，以及培养
该研究在武汉地区就高羊茅品种、播种季节(时期)、播种量、土壤基质、养护修剪高度等建植草坪的技术进行了研究.结果表明,在武汉地区用高羊茅种子直播建植常绿草坪是可行的,
该研究首先对九宫山20个典型植物群落结构进行了调查,主要调查了这些植物群落的树种组成,层次,结构特征等.重点通过对群落各层次的多样性指数以及优势种群的年龄结构、高度结
建筑物的防雷操作要做好各个方面的内容,从前期准备着手选择合适的施工方案和技术手段进行处理.为了能够提升建筑电气安装的科学稳定性,确保防雷措施的有效性,需要综合多方面
该文首先对森林景观、森林景观资源、风景林、森林景观资产等概念进行了必要的解释与说明,将森林景观资源评价区分为森林景观质量评价与森林景观经济评价两大类,利用现有的国
树立良好的风气,既是一项长期任务,也是一个复杂的系统工程,各级必须抓住根本,健全机制,综合治理,努力形成凝聚军心谋发展、风清气正干事业的良好局面。抓教育,打牢部队风气
麻竹（Dendrocalamus latiflorus）经济价值高、用途广泛、易栽培、周期短、且适应范围广，不仅具有很高的经济效益，而且有很高的社会效益和生态效益。但是，人们对山地麻竹栽培的认识
为了寻求东北黑土耕作区适宜的水氮耦合模式,本文在2014年—2015年施氮试验的基础上,研究了施氮量与施氮比例的差异对于春玉米作物耗水量、生长性状、水分利用效率以及氮肥偏生产力的影响,试验方案设置为:3个施氮量水平180kg N/hm2(W1)、230 kg N/hm2(W2)、和 280 kg N/hm2(W3),2 种施氮比例 100%-0%-0%(F1)、60%-20%-20%(F2),以及