WWW.DISSERS.RU

턺駒잃痼 昐탱祿胱痼 좨죄훨瑙各

   쿡鎖 禎縯依循潗!


Pages:     | 1 || 3 | 4 |   ...   | 8 |

嵌倧臆 [X] 禎懿妬奄 賊狀荀諺孼狀 裔靭狀 蓴嶪 醇跡鴨杖 渟釣靭牆紅 惟倧臆 X 壯 撓 翟調晤 (x). 嵌倧臆 Y 壯晤循奄 惟檣釣震裔打彦 惟倧臆 X, 嚴泣 憎緘增詢奄 禎愛診狀盾 診魏, 破 Y = [X]. 厥 憙佃 惟倧臆 Y X 診唯 修鴨 壯晤循潗 櫛禎增設夭忽. 콰 禎愛診狀盾 1: V1 A 2: V2 A 壯吾橓 張 穽剪外典円晟夭 崖昌 崖昌, 嚴泣 v V1 V2 [1(v) = 2(v)], . . 嚴泣 賊杖 鎭 蓮 渟釣靭牆忽 翟 禎愛診狀盾 增設 櫛剪橓秩軫猥 賊杖 鎭 蓮 妖怏淳涯贍茴前震.

穽抑凹城狀 遵震 全釣鴨音裝 衆抑策陷 埰依淳 調嗚予孼狀增 穽設堯 汁褻城顥陝 渟釣軸哀. 躬釣軸 ti 調嗚予孼, 嚴泣:

a) 蓴 禎預打 了 日跡嚴軫 I(ti ) 夭廬 靭叱. 퇸泣 禎靭叱 涯燼 (pk, ti ) 穽抑增設奄 切鏃贍茴策 憎壹 了 m 惟倧臆彦, 桎 禎預打 pk 哀飮狀 壯軸怏潗 禎 靭贓袍 靭釣 m 靭桎. 쾰 魏輦謫 惟倧臆, 穽寥尿陝狀莘 醇賊狀 涯愼 (pk, ti ), 哀飮壯 憎緘增脣循潗 診魏 禎愛診狀盾 j, 破 禎預打 pk 修鴨 靭叱, 瞬咸 惟檣釣震裔打彦 菴牆謫 惟倧臆.

흡忽 衆荻閃, 禎預打 pk 哀飮壯 憎緘增脣循潗 櫛禎增設夭 惟倧臆佃 靭叱. 昆吾橓 禎愛診狀盾 j 櫛禎增設緘. 煖禎增設音杖 調俉料裝 惟倧臆閃 賊狀 桎 蓮 靭叱 張 哀艇仲齧秩;

) 憎緘增詢 張 穽剪外典円晟猥 崖昌 崖昌 櫛禎增設陷 禎愛診狀盾 秧 蓴嶪 惟倧臆彦, 穽寥尿陝裝 醇賊裝 涯侁 渟釣軸菴 ti.

咬衒怏張杖 診孺 禎愛診狀脣 壯吾橓 翟緘 櫛禎增設緘 禎愛診狀盾迹;

) 憎緘增詢奄 翟咸 櫛禎增設咸 禎愛診狀盾, 穽 惟桎尊 依燼特仲 切鏃窓, 穽寥尿陝壯 渟釣軸涯, 增陝荻嶢 尿震牆迹. 腦有 禎愛診狀盾 壯吾橓 調嗚予筬緘 禎愛診狀盾迹;

) 穽 哀蓀瞬孼僚 櫛剪橓秩軫策緘莘 婆衆 靭桎 述軸厓酷 禎預打 張 修鴨 穽億鴻孼 諺惟增 杖 賊狀 了 杖. 羸衆 哀蓀瞬諺紅 靭桎 述軸厓策 禎預打 全釣鴨奄 禎 婆衆 惟倧臆彦 切鏃贍茴迹 憎壹, 禎靭妬緘 述軸厓策 涯身.

蘭褻剪城 溢蓮 桎蟻惟 調嗚予孼裝 渟釣軸. 厥 汁褻城顥陝僚 渟釣軸菴 ti 靭叱 了 憶 醇賊裝 禎預打 昶贍秩, 述軸厓酷 哀蓀瞬秩. 羸衆 靭桎, 昶贍諺紅 了 禎預打 pk I(ti )), 全釣鴨奄 婆衆佃 惟倧臆彦, 醇賊陷 切鏃贍茴策 憎壹, 穽寥尿陝腸 涯愼 (pk, ti).

厥料諺 了 禎預打 pk 修涯 昶贍孼 桎蟻惟 鎭 靭叱, 惟桎終 岫泣 櫛禎增設音裝 惟倧臆閃 了 憙迹 切鏃贍茴迹 憎壹. 羸衆 靭桎, 哀蓀瞬諺紅 禎預打 pl O(ti ), 全釣鴨奄 婆衆佃 惟倧臆彦, 醇賊陷 切鏃贍茴策 憎壹, 穽寥尿陝腸 述軸厓迹 涯愼 (ti, pl ).

쿡蓀瞬諺酷 靭叱 禎懿妬秩 艇鎭 惟檣釣震裔打 櫛剪橓秩軫策陷 惟倧臆彦 禎溢缸 調嗚予筬緘 禎愛診狀盾.

珞鎭循 溢鴨蟻 締檣打佺寮暢, 渟釣軸 剪 賊狀 茵簇寮荻孺 崖昌迹, 壯婆壯 剪 壯妬蟻狀. 躬釣軸 剪 茵簇寮荻孺 茵簇寮荻劉 M t 釣奧蟻診鎭 汁褻城顥陝 渟釣軸菴 t 翟蹟壯妬奄 魏 M M. E衆 i 憎緘增詢 渟釣軸液 t1, t2,..., tn, 診孺, 破 Mi t Mi+1 (i = 1,2,...,n) 秧 茵簇寮荻適 M1, M2,..., Mn+1, 桎 莘脣, 破 Mn+1 哀增畏夭 了 M1 穽 禎衆抑荻城言茴前震 汁褻城顥陝 渟釣軸哀 = t1t2...tn.

厥迪應增鳥宗諺 締檣打佺寮荻陝猥 穽抑凹城狀 遵震 壯 穽夭儼性.

及葺溢疾夭 遵鎭詢 溢鴨蟻, 了翟調蓮牆策 壯 鳥. 1.3. 콧牆 遵鎭循 溢鴨蟻 全尿顥齧 妬增 遵靭勖紅 剪狀袍杖, 夭孼狀, 全釣鴨奄 剪狀袍杖 チ泓 穽燮賊嶢言諺 (禎 ワ調尊怏鎭音而 禎杖茵奄 尊怏鎭蟻 尊怏鎭): パ愴衒攸 x 瞬奄 ワ調尊怏鎭音而 憎守焉診 y, 嚴泣 x 瞬奄 尊怏鎭音 z, a z 瞬奄 尊怏鎭音 y. 퇸泣 禎預打 バ賊嶢言環 茵簇寮荻陝 壓脹 靭叱閃 <裟僥, 經鎚堯> <톄愼杖, 珞造彦>, 桎 渟釣軸 t 張調嗚予孼, 診 魏 張 憎緘增詢奄 張穽剪外典円晟撓 櫛禎增設陷 禎愛診狀脣 秧 惟倧臆彦 . 퇸泣 蓮 禎預打 バ賊嶢言環 茵簇寮荻陝 壓脹 靭叱閃 <裟僥, 經鎚堯> <經鎚堯, 珞造彦>, 桎 渟釣軸 t 瞬奄 調嗚予孼裝. 及嗚予筬咸 禎愛診狀盾 夭檍 衆抑策陷 淳: {(x, 裟僥), (y, 珞造彦), (z, 經鎚堯)}.

厥 汁褻城顥陝僚 渟釣軸菴 t 翟 靭叱 昶贍秩 了 禎預打 バ賊嶢言環, 禎預打 ハ調尊怏鎭蟻 哀蓀瞬奄 靭叱 <裟僥, 珞造彦>. 淃瞬孼猥 菴牆迹 靭叱 禎預打 ハ調尊怏鎭蟻 溢悅 穽迪粧儼穽奄寮荻城 診:

マ鳥 瞬奄 穽燮賊嶢言諺 珞造.

.1.3., 厥抑凹城壯 遵潗, 了翟調蓮牆 壯 鳥. 1.4, 尿禎蟻奧奄 秧 哀魏裔鎭蟻增循 桎莘, 破 煖愉城 重儼鎭. 蹶增 禎預打 1 菴牆迹 遵鎭脣 溢鴨泣 壯妬蟻狀 茵簇寮荻陝 靭叱迹 <煖愉城, 藎焉>. 厥 菴牆迹 茵簇寮荻劉 渟釣軸 t2 張調嗚予孼, 渟釣軸 t1 調嗚予孼. 厥 汁褻城顥陝僚 渟釣軸菴 t1 靭叱 <煖愉城, 藎焉> 昶贍奄 了 禎預打 1, 賊狀荀諺孼狀 憙夭 禎預打 1 哀蓀瞬奄 靭叱 <煖愉城, 特依橓>.

鸞陝荻嶢 調嗚予孼裝 渟釣軸 t2. 厥 汁褻城顥陝僚 渟釣軸菴 t2 靭叱 <煖愉城, 特依橓> 昶贍奄 了 禎預打 1, 賊狀荀諺孼狀 憙夭 禎預打 1 哀蓀瞬奄 靭叱 <煖愉城, 重儼鎭>. 及葺溢疾夭 遵鎭詢 溢鴨蟻, 穽抑增設音牆策 壯 鳥. 1.5,. 蹶增 裔菴壯 增宗攸債 = ({a,b,c}; :=), 宸 := 嚴潗 剪狀袍杖 蒼典哀特杖 禎 贍牒淳膣, 締檣打 K: P {3}. 厥 菴牆紅 埰依淳 穽抑增設音牆迹 遵鎭脣 溢鴨泣 夭廬秩 壓 調嗚予筬陷 禎愛診狀盾. 흔-裔 壯泣婆 惟臟泣攸 溢蓮 岫潗 述鎖陝 桎蟻惟 賊壯 了 杖. 厥 述灑釣 禎愛診狀盾 {(x,a), (y,b), (z,c)} 釣奧蟻震宗姮 茵簇寮荻有, 禎懿特牆策 釣奧蟻診鎭 汁褻城顥陝 渟釣軸菴 t1, 溢悅 敞巍奄 壯 鳥. 1.5,.

.1.4..1.5. :

a- ;

-.

卵抑暢 剪靭震潗, 破 妖鎭卒釣診打 穽抑凹城裝 遵鎭 壯 晤劉 厥鏑謫 楫前翟增詢奄 撓 溢怏淸魏打: 純嚴孼療 竣迹增循 焌溢調譽儼執循諺前震 焌溢溢怏淸打宗諺前震, 增宗攸債了惺僚 壯灑調 他奄荻 靭叱. 厥 憙佃 靭叱 穽抑增設奄 淳鴨 鴨釣循, 泣增麟 惟桎尊莘 瞬秩 他奄 靭叱, 穽佃臆寀展裝麟 橓淙妖閃 夭孼 全釣鴨音牆紅 禎愛疾瘡膣. 嵌存億 橓淙妖 鴨釣循 瞬奄 夭孼諺 靭叱. 煖剪橓秩軫策陷 翟調吾 菴牆赤 調症寮孼猥 魏焌奄 禎靭叱 涯 穽設堯 調灑執 渟釣軸菴. 厥 蓮乙杖 溢悅 渟釣煜 剪 猥調悰料嚴孺 增宗攸債寮荻陝狀 靭叱 賊狀債荻張脣壬 檍 穽抑增設音杖. 厥 憙佃 夭孼 禎愛疾瘡膣 穽蘖鎖暹策秩 他奄 靭叱. 흐調悰料嚴孺 增宗攸債寮荻陝腸 靭叱 昶翟狀 穽抑增設潗 禎溢缸 鎭鏃荻 晤魏 厥鏑謫.



1.2. 袞惟桎終 竣迹增循 遵鎭述 溢鴨音 憾城惟 調葺溢疾夭 張惟桎終 竣迹增循 遵鎭述 溢鴨音.

咬蹟壯婆 特釣 L(N,M) 日跡嚴軫 蓴嶪 禎衆抑荻城言茴前鎭 汁褻城顥陝 秧 遵震 N, 壯婆壯陷椿 了 茵簇寮荻孺 , 特釣 #(t, ) - 惟泣特增脣 禎瞬孼僥 茁蚓鏑 t 禎衆抑荻城言茴前震, 特釣 R(N,M) - 日跡嚴軫 蓴嶪 茵簇寮荻適, 哀增畏夭紅 了 . 魏特增橓 茁狀杖茵 鎭鏃妖 レ燮孺尊盾先 菴蟻張橒諺 修鴨 尿禎蟻吾循潗 診唯 鎭鏃妖 ヱ前桎杖兩. 咬蹟壯婆 N ={1,2,...}.

淃預打 遵震 N 壯晤循奄 -謫調杖特牆迹, 嚴泣 R(N,M), M(p) k. 珞潗 壯晤循奄 -謫調杖特牆迹, 嚴泣 蓴 檍 禎預打 惟藎陝料孼. 1-謫調杖特牆策 禎預打 (遵潗) 壯晤循 悚吾檉卽迹.

躬釣軸 t T 鍊脣 穽 茵簇寮荻劉 Mo 遵震 N, 嚴泣 L(N,Mo), T [뭪 L(N,Mo )] 堯 M R(N,Mo ), M R(N,M)[enable(t,M)], 宸 enable(t,M) 蹟壯妬奄, 破 渟釣軸 t 調嗚予孼 穽 茵簇寮荻劉 M.

躬釣軸 t T 埰依純-鍊脣 穽 茵簇寮荻劉 o 遵震 N, 嚴泣 n N, L(N,Mo ) [#(t, ) n].

躬釣軸 t T 禎鎭莊歪蟻狀-鍊脣 穽 茵簇寮荻劉 o 遵震 N, 嚴泣 M R(N,Mo) M뮃 R(N,M) M뮃 R(N,M)[enable(t,M뮃)].

躬釣軸 t T 妬增料狀-靭倧述 穽 茵簇寮荻劉 Mo 遵震 N, 嚴泣 n N, L(N,Mo ) [#(t, )<=n].

躬釣軸 t T 靭倧述 穽 茵簇寮荻劉 Mo 遵震 N, 嚴泣 L(N,Mo ) [#(t, )=0].

珞潗 N - 鍊循 (埰依純-鍊循, 妬增料狀-靭倧循, 靭倧循) 穽 茵簇寮荻劉 M, 嚴泣 魏輦渾 檍 渟釣軸 鍊脣 (埰依純-鍊脣, 妬增料狀-靭倧述, 靭倧述) 穽 茵簇寮荻劉 M.

璥簇寮荻魏 M R(N,M ) 壯晤循奄 膣炡惟脣, 嚴泣 t T [enable(t,M )].

輕悅 述鴨泣潗 衆抑策陷 前狀純酷 靭桎液 尿衆抑荻陝 穽抑凹城裝 遵鎭, 尿禎蟻奧諺酷 穽 橓鳥淸魏打: 靭桎液 泣張勖迹 贍愼鎖 (茵疾料裝 陝贍了) [23], 禎增尊孼猥 日跡嚴軫 (堯 藎宬) 哀增畏夭紅 櫛增杖, 夭嶢惺姚牆赤 溢鴨泣尊循杖 [29,30]. 尿禎蟻吾循杖諺 靭桎哀 泣張勖迹 贍愼鎖 翟訌狀 全釣鴨秩 P-妖循鳥陝執 -妖循鳥陝執. -妖循鳥陝 - 憙 泣張勖赤 剪狀袍杖 壯 茵簇寮荻劉 禎鴦狀蓮增循 禎預打, 述調縯緘嚴 桎, 破 洵橓袍牆 憎壹 調俉料裝 靭桎 禎預打 瞬奄 惟章診粧迹 調純 午成孼療, 全釣鴨諺佃 壯妬蟻狀 茵簇寮荻惟. 퇸泣 -妖循鳥陝 醇賊 蓴 禎預打 遵鎭脣 溢鴨泣, 桎 診魏 遵鎭循 溢鴨蟻 瞬奄 謫調杖特牆迹.

-妖循鳥陝 櫛剪橓秩軫暢 禎衆抑荻城言茴前震 汁褻城顥陝僥 渟釣軸哀, 渟釣脣緘 遵潗 了 茵簇寮荻孺 膣 蓮 焌壬 茵簇寮荻有 . 퇸泣 漏將燮歪粧 盾誼妬奄 蓴 渟釣軸液 遵震, 桎 佺 鍊循.

厥 橓鳥淸魏打 壯 前狀橓 穽抑凹城裝 遵鎭 溢蓮 尿禎蟻吾循潗 診唯 診 壯晤循諺渾 靭桎 ヱ疾瘡膣存迹 妖涯柚僚. 蹶增 張翟軸怏溢 穽荻儼嶢 竣迹增脣 , 壯穽夭儼, 妖循鳥陝. 毘 竣迹增脣 穽荻儼奄 穽 壯妬蟻狀 茵簇寮荻劉, 裔鎭 哀艇仲齧秩, 破 憙 竣迹增脣 橓存 穽 穽迪譽鏑茴迹 茵簇寮荻劉 , 禎衆 特莘 哀魏晤循奄 櫛春陝孼猥 憙謫 竣迹增循 禎衆 汁褻城顥陝 穽迪譽鏑茴謫 渟釣軸菴.

췻宬 哀增畏夭紅 櫛增杖 (쳐) 遵鎭脣 溢鴨泣 N 嚴潗 典猥粧寮荻陝裝 藎宬 GN = (V,E,L), 宸 V - 日跡嚴軫 橓淙妖, 調純赤 日跡嚴軫 哀增畏夭紅 櫛增杖 遵鎭脣 溢鴨泣; E V x V - 日跡嚴軫 涯 診惟, 破 (si,sj) E, 嚴泣 櫛增杖 sj 張禎汁抑增橓牆 哀增畏夭 了 櫛增杖 si; L:ET - 締檣打 調傲奄孺 涯 夭孼閃 渟釣軸哀 診魏, 破 L(si,sj)=t, 嚴泣 櫛增杖 sj 張禎汁抑增橓牆 哀增畏夭 了 櫛增杖 si 穽 汁褻城顥陝僚 渟釣軸菴 t. 잿贍了 竣迹增 遵鎭脣 溢鴨泣 禎 쳐 菴奄 壯矮鏑檍 禎鷹策 鎚調攸儼尿震有 檍 禎橓鴨杖, 禎仲鏑獪 쳐 渟釣婆衆奄 蓴 櫛增杖 蓴 禎衆抑荻城言茴前震 汁褻城顥陝僥.

樂迹增脣 鍊脣增 調楫蹟壯奄, 壯穽夭儼, 禎 壯泣婆 禎衆抑荻城言茴前鎭 汁褻城顥陝, 壯婆壯陷椿 魏輦佃 哀增畏夭佃 (了 壯妬蟻狀莘) 櫛增杖 橓涯陷 壯妬蟻狀 櫛增杖. 卵抑暢 剪靭震潗, 破 張惟桎終 竣迹增循 遵鎭脣 溢鴨泣 溢身 岫潗 音神 禎懿特裝 壯 前狀橓 淳奧贍茴謫 陝贍了 쳐, 穽 憙佃 焌溢 藎宬料嚴惟 穽抑增設音杖 哀飮狀 岫潗 張灑蟻鋪 翟蹟鳥荏 秧 脣楫鳥震.

1.3. 厥抑增設音杖 穽抑凹城裝 遵鎭 壯 晤劉 厥鏑謫 쾰 穽抑增設音杖 穽抑凹城裝 遵鎭 尿禎蟻奧奄 晤 依燼特仲謫 穽謫調壹寮荻陝 厥鏑謫. 翟緘 衆綵齧 厥鏑謫-穽謫調壹 穽抑增設奄 櫛脣有碇前潗 軸存荻仲撓 幽蹟荻 淳菴:

B :- A1,..., An, 宸 Ai (i=1, n) 瞬奄 埰依淳諺, 裔幽特杖諺. 찰禎鷹孼猥 蓴嶪 埰依淳 1,..., 픫 瞬円奄 裔幽特杖 . 찔 픦 瞬秩 城佃燮裝麟 切鏃窓閃, 夭廬陷麟 淳 (t1,...,tk), 宸 k-燮裝 穽抑凹城裝 茁蚓鏑, ti (i=1, k ) 鎭鏃. 屢鏃 溢蓮 岫潗 渟釣靭牆迹, 締檣打彦 堯 惟章診粧迹.

蠣存荻仲僥 怏旿檣 夭檍 腸蟻 堯 灑音 埰依淳 張 灑音 賊狀莘 裔幽特杖. 捏緘增詢奄 特執釣 調俉料裝 切鏃 軸存荻仲撓 幽蹟荻 竣奄 撓 穽專抑債狀 妖鎭卒釣診打:

1) 幽蹟 穽尿寀增詢 埰依淳, 裔幽特杖:

B :- A1,..., An (n 1).

毘剪 櫛倧 軸存荻仲撓 幽蹟荻 妖鎭卒釣震宗奄 魏 鴨幽燮惺 穽專抑債. 행幽特杖 B 妖鎭卒釣震宗奄 魏 夭 穽專抑債, 日跡嚴軫 埰依淳 {A1,..., An } 妖鎭卒釣震宗奄 魏 鎭依 穽專抑債;

2) 幽蹟 穽尿寀增詢奄 桎蟻惟 裔幽特杖:

B : 毘剪 櫛倧 軸存荻仲撓 幽蹟荻 妖鎭卒釣震宗奄 魏 寀橓阻鴨杖 牒攸;

3) 幽蹟 穽尿寀增詢 桎蟻惟 埰依淳:

: A1,..., An (n 1) 毘剪 櫛倧 軸存荻仲撓 幽蹟荻 妖鎭卒釣震宗奄 魏 墮音脣 寀橓阻鴨杖, 穽抑增設音牆赤 切鏃 剪鳥稱杖.

滑蓮 調葺茵疾外筬秩 穽設堯 惟怏尊盾 穽抑凹城裝 遵鎭 壯 晤劉 厥鏑謫. 淃懿特牆渾 壯灑 幽蹟荻 溢蓮 尿禎蟻吾循潗 秧 妖鎭卒釣診打 遵鎭脣 溢鴨泣. 菴蟻張橒諺 調葺茵疾外筬秩 遵鎭述 溢鴨泣 禎預打麟, 夭廬陷麟 悚仲佺円腸 諺惟增. 厥抑禎乙侁諺, 破 夭孼 凞諺孼桎 遵鎭脣 溢鴨泣 櫛舜雪筬 夭孼閃 撓 穽抑增設音杖 厥鏑謫穽謫調壹.





璥簇寮荻魏 穽抑凹城狀 遵震 穽抑增設奄 楫尿惟, 櫛增陷 了 鎭鏃荻 衆抑策緘莘 淳菴:

pname(a1, a2,..., an), 宸 pname 夭 茵簇寮荻陝狀 禎預打 (茁蚓鏑茴 惟章診粧), (a1, a2,..., an) 惟倧臆 妖怏淳涯贍茴前鎭, 穽抑增設陷 靭叱, 壯軸姮 禎預打 pname, 宸 i 茁蚓鏑茴 惟章診粧 晤魏 厥鏑謫.

厥 尿禎蟻吾循杖 調症寮孼裝 穽抑凹城裝 遵鎭 茁蚓鏑 i 溢蓮 岫潗 鎭鏃佃 晤魏 厥鏑謫, 盾誼妬陷 桎蟻惟 茁蚓鏑茴酷 惟章診粧 堯 惟章診粧裝 鎭鏃. 燈檣桎終 純寀釣牆撓 鎭鏃荻, 醇賊陷 調葺茵疾外齧荏 純予杖 鎭鏃, 穽抑增設陷 靭叱, 全釣鴨 櫛剪橓秩軫策陷 夭孼 禎愛疾瘡膣 菴牆迹 靭叱. 퇸泣 禎預打 pname 壯軸怏秩 m 靭桎, 桎 婆衆 鎭鏃荻 締檣桎尊 pname 楫尿劉 哀飮狀 岫潗 診唯 調純 m.

間輦渾 渟釣軸 遵鎭脣 溢鴨泣 穽抑增設奄 幽蹟佃 衆抑策緘莘 淳菴:

arc(S,transition_name,S1):- remove(preconditions,S,S2), , insert(postconditions,S2,S1).

厥抑凹城 arc(S,transition_name,S1) 瞬奄 尿震牆忽, 嚴泣 穽 汁褻城顥陝僚 渟釣軸菴 transition_name 遵鎭循 溢鴨蟻 渟釣軸怏 了 茵簇寮荻孺 S 茵簇寮荻劉 S1.

躬釣軸 transition_name 穽抑增設奄 泣灑 茁蚓鏑茴迹 惟章診粧迹 tname, 泣灑 鎭鏃佃 淳菴:

tname(X1,..., Xf), 宸 tname 夭 渟釣軸菴: Xi (i=1, f ) 渟釣靭牆酷, 蓴疾円筬陷嚴 禎靭叱 醇賊裝 涯 菴牆謫 渟釣軸菴. 膠釣鴨音杖 渟釣軸菴 禎溢缸 鎭鏃 尿禎蟻奧奄 秧 脣傲跡狀增 憶 妖鴨揄寮荻陝.

尿禎蟻吾循杖諺 楫尿魏 preconditions 全釣鴨奄 尿震牆前潗 埰依淳 調嗚予孼狀增 渟釣軸菴, 剪靭特牆紅 述袍 修侑閃 a . 爛尿適 preconditions 櫛增迪 了 鎭鏃荻 衆抑策緘莘 淳菴:

pname(X1, X2,..., Xk), 宸 pname 夭 醇賊狀 禎預打 渟釣軸菴 transition_name; (X1, X2,..., Xk) 惟倧臆 了 渟釣靭牆紅 妖怏淳涯贍茴前鎭, 醇賊陷 禎靭叱 醇賊狀 涯燼 (pname, transition_name) 穽抑凹城狀 遵震. 調症寮孼裝 穽抑凹城裝 遵 凞諺孼 Xi 溢蓮 岫潗 鎭鏃佃. 卵抑暢 剪靭震潗, 破 鎭鏃 締檣桎尊 pname 蓴疾円齧秩 楫尿劉 preconditions 增鏑獪 調, 仲鏑獪 惟倧臆彦 切鏃贍茴迹 憎壹, 禎靭妬緘 涯身 (pname, transition_name). 퇸泣 菴牆 涯侁 剪靭特壯 茁蚓鏑佃, 桎 櫛剪橓秩軫策陷 鎭鏃 述尊輦齧秩 茁蚓鏑茴策 惟章診粧 pname. 楫尿劉 preconditions 哀飮裝 淸身鳥尊循潗 夭孼 蓴嶪 醇賊裝 禎預打 渟釣軸菴.

甥琿 厥鏑謫 夭檍 溢蛤渾 蓴疾赤牆渾 靭鎚杖傲 禎愛診狀盾 惟檣釣震裔打, 破 禎譽鏑奄 惟逸蟾帙 凞憶陝帙 述調預潗 埰依淳 調嗚予孼狀增 渟釣軸菴, 剪靭特牆酷 修侑閃 a . 쾰 穽荻儼孺 菴牆紅 埰依淳 調嗚予孼狀增 尿禎蟻奧奄 穽抑凹城 remove.

厥抑凹城 remove(preconditions,S,S2) 瞬奄 尿震牆忽, 嚴泣 夭檍秩 診魏 惟檣釣震裔打 鎭鏃荻 楫尿劉 preconditions, 破 穽 撓 昶贍孼僚 了 茵簇寮荻孺 S 禎懿妬奄 茵簇寮荻魏 S2.

厥抑凹城 remove 全釣鴨奄 禎溢缸 衆抑策陷 幽蹟荻:

remove([E|X], L2, L3) : delel(E, L2, LP), remove(X, LP, L3).

remove([ ], L, L).

厥抑凹城 delel 尿禎蟻奧奄 秧 昶贍孼 凞諺孼診 了 楫尿魏.

厥抑凹城 delel(E, L2, LP) 尿震張, 嚴泣 凞諺孼 櫛鴨阻嶢 楫尿劉 L 穽 昶贍孼僚 憙謫 凞諺孼診 了 楫尿魏 L2 禎懿妬奄 楫尿適 LP. 厥抑凹城 delel 全釣鴨奄 衆抑策陷 翟調吾:

delel(X, [X | L], L).

delel(X, [Y | L], [Y | L1]) :- delel(X, L, L1).

圖依淳 禎 菴牆忽 穽抑增設 依燼特仲策 切鏃窓 (重. . 4 全釣鴨音杖 穽抑凹城裝 遵鎭), 穽寥尿陝腸 渟釣軸涯 述調蓮牆策 汁抑增循麟 晤魏 厥鏑謫. 禎溢缸 菴牆紅 埰依淳 全釣鴨奄 尿震牆前潗 埰依淳 調嗚予孼狀增 渟釣軸菴, 剪靭特牆 修侑迹 . 渟釣軸菴 溢身 剪憎秩軫荻城 埰依淳 禎 菴牆忽. 圖依淳 禎 菴牆忽 溢身 尿禎蟻吾循潗 張 桎蟻惟 秧 全釣鴨音杖 埰依淳 調嗚予孼狀增 渟釣軸菴, 狀 秧 茵杖艇泣尊循杖 菴牆忽, 破 櫛紳葉暢秩 全釣鴨音杖諺 穽抑凹城裝 遵鎭 (重. 鳥. 1.2 ).

尿禎蟻吾循杖諺 楫尿魏 postconditions 全釣鴨秩 靭叱, 哀蓀瞬諺酷 述軸厓酷 禎預打 渟釣軸菴 穽 憶 汁褻城顥陝僚. 爛尿適 postconditions 櫛增迪 了 鎭鏃荻 衆抑策緘莘 淳菴:

pname(X1, X2,..., Xq), 宸 pname 夭 述軸厓迹 禎預打 渟釣軸菴 transition_name; (X1, X2,..., Xq ) 惟倧臆 了 渟釣靭牆紅 妖怏淳涯贍茴前鎭, 醇賊陷 禎靭叱 述軸厓迹 涯燼 (transition_name, pname) 穽抑凹城狀 遵震. 調症寮孼裝 穽抑凹城裝 遵 凞諺孼 Xi 溢蓮 岫潗 鎭鏃佃. 卵抑暢 剪靭震潗, 破 鎭鏃 締檣桎尊 pname 蓴疾円齧秩 楫尿劉 postconditions 增鏑獪 調, 仲鏑獪 惟倧臆彦 切鏃贍茴迹 憎壹, 禎靭妬緘 涯身 (transition_name, pname). 퇸泣 菴牆 涯侁 剪靭特壯 茁蚓鏑佃, 桎 櫛剪橓秩軫策陷 鎭鏃 述尊輦齧秩 茁蚓鏑茴策 惟章診粧 pname. 楫尿劉 postconditions 哀飮裝 淸身鳥尊循潗 夭孼 蓴嶪 述軸厓紅 禎預打 渟釣軸菴.

쿡蓀瞬孼猥 靭桎 述軸厓酷 禎預打 渟釣軸菴 前蔡嚴軫奄 禎溢缸 穽抑凹城 insert. 厥抑凹城 insert(postconditions, S2,S1) 瞬奄 尿震牆忽, 嚴泣 夭檍秩 診魏 惟檣釣震裔打 鎭鏃荻 楫尿劉 postconditions, 破 穽 撓 哀蓀瞬孼僚 茵簇寮荻劉 S2 禎懿妬奄 茵簇寮荻魏 S1. 厥抑凹城 insert 全釣鴨奄 禎溢缸 衆抑策陷 幽蹟荻:

insert([ ], L, L).

insert([X | L1], L2, [X | L3]) :- insert(L1, L2, L3).

魏特增橓 穽前桎莘 穽夭儼 調葺溢疾夭 惟怏尊循杖 遵鎭脣 溢鴨泣, 穽外抑孼狀 壯 鳥. 1.5. 輕鴨蟻 櫛增迪 了 賊狀莘 渟釣軸菴, 穽抑增設諺謫 衆抑策陷麟 幽蹟閃:

init([p1(a), p1(a), p1(b), p1(b), p1(b), p2(b,c), p2(b,b), p4, p4]).

arc(S, t1, S1) : remove([p1(X), p1(X), p2(Y,Z)], S, S2), less(Y,Z), insert([p3(X,Y), p3(X,Z), p4], S2, S1).

less(a,b).

less(b,c).

Pages:     | 1 || 3 | 4 |   ...   | 8 |










2011 www.dissers.ru - チ嚴町城壯 凞焉疾佺壯 訟頌姚鎭魏

璥鎭鳥贍 憙謫 焌煜 調傲余孼 秧 蹟壯惟佾孼, 蓴 穽設 穽妖雪音縯 撓 設桎調.
퇸泣 찰 張 櫛紳葉裝 鎭, 破 쭌 茵鎭鳥贍 調傲余명 壯 憙佃 焌煜, 禎縯懿栯診, 壯炡鋪鎭 壯, 荏 鎭特杖 1-2 調灑婆 厓彦 昶贍夭 憶.