计算机时代
計算機時代
계산궤시대
COMPUTER ERA
2009年
2期
62-63,67
,共3页
循环不变式%Hoare逻辑%符号回归%遗传规划
循環不變式%Hoare邏輯%符號迴歸%遺傳規劃
순배불변식%Hoare라집%부호회귀%유전규화
描述了一种产生循环不变式主要部分的方法.该方法的基本思想是在每一次循环条件变化时记录下程序变量的值,生成相应的跟踪表,从跟踪表中获得程序变量之间的函数关系构成循环不变式的主要部分.程序变量之间的函数关系则利用遗传规划对跟踪表中数据执行符号回归得到.
描述瞭一種產生循環不變式主要部分的方法.該方法的基本思想是在每一次循環條件變化時記錄下程序變量的值,生成相應的跟蹤錶,從跟蹤錶中穫得程序變量之間的函數關繫構成循環不變式的主要部分.程序變量之間的函數關繫則利用遺傳規劃對跟蹤錶中數據執行符號迴歸得到.
묘술료일충산생순배불변식주요부분적방법.해방법적기본사상시재매일차순배조건변화시기록하정서변량적치,생성상응적근종표,종근종표중획득정서변량지간적함수관계구성순배불변식적주요부분.정서변량지간적함수관계칙이용유전규화대근종표중수거집행부호회귀득도.