Xử lý ảnh số - Nhận dạng và nội suy part 10

Chia sẻ: Adfgajdshd Asjdaksdak | Ngày: | Loại File: PDF | Số trang:5

Thêm vào BST

Báo xấu

114
lượt xem 17
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

Như đã nói trên, thuật toán nén JPEG đánh mất nhiều dữ liệu trong ảnh. Điều này có nghĩa là, khi một bức ảnh chụp ra được nén theo chuẩn JPEG, một phần dữ liệu sẽ bị loại bỏ và lúc đó bức ảnh sẽ vĩnh viễn bị giảm chất lượng. Nếu nén JPEG quá nhiều thì độ giảm chất lượng sẽ hiện ra rất rõ rệt. Như vậy, nếu bạn muốn phóng lớn hình ảnh, JPEG không phải là một lựa chọn tốt. Nhưng nếu bạn chọn raw, bạn sẽ không phải lo về chất lượng hình ảnh khi...

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: Xử lý ảnh số - Nhận dạng và nội suy part 10

y tu.o.ng khu. ch´ng d e’ dˆn mˆt mˆnh d` trˆng. Viˆc d ˆi s´nh d .o.c thu.c hiˆn bˇ ng ˙´ ` e´ ´ ´˙ ’ ˙u ’ ¯ˆ ¯e o e ¯ˆ o e ¯o a ¯u . ea . . . . . . d` ng nhˆ t. Sau khi d oi s´nh, mˆnh d` dˆn c´ch thˆ c´c biˆn d e’ tao c´c nguyˆn tu ¯ˆ ˙ e˜ ´ ´ ´ ´ e ˙o ’ a ea e ¯ˆ . a a ¯ˆ a e ¯ˆ a . xuˆ t, goi l` mˆnh d` phˆn giai, gˆm c´c vˆ bˆn tr´i v` bˆn phai khˆng thˆ’ d ˆi s´nh ˙´ ´ ˙` ´ ’o ˙ ’ a .ae ¯ˆ a e a ee a ae o e ¯o a . .i vˆ phai cua (a) nˆu ch´ng ta thˆ sot r´c bo.i x v` ´ ´ o´˙˙ ´ ´ ea˙ ’ ’’ e. a ˙ ’ nhau. Vˆ tr´i cua (c) d ˆi s´nh v´ e ¯o a e u a b`n l`m viˆc l` y. Mˆnh d` tˆi gian l` e´ ˙ a’ aa ea e ¯ˆ o . . (e) INVISIBLE(sot r´c). .a Tuy nhiˆn, phˆn giai cua (d) v` (e) l` mˆnh d` trˆng do vˆ tr´i cua (d) v` vˆ e´ ´ ´ ˙˙ ’’ ea˙ ’ e a a ae ¯ˆ o ae . ˜ phai cua (e) l` d` ng nhˆ t. Mˆu thuˆn n`y chı ra phu d inh INVISIBLE(sot r´c) ⇒ l` ´ ˙˙ ’’ ˙ ’ ˙ ¯. ’ a ¯ˆ o a a aa .a a .i vˆy ch´.ng to t´nh dung cua mˆnh d` INVISIBLE(sot r´c). a˙ . ’ ˙ı ’ ˙ ’ sai, v` bo a u ¯´ e ¯ˆ e .a . Mˆt kˆt qua co. ban trong ph´p t´nh vi t`. l` tˆ t ca c´c d inh l´ dung c´ thˆ’ ch´.ng ˙ .´ ´’ ˙ ’ ˙ ’ . u a a ˙ a ¯. oe eı y ¯´ oeu minh sau h˜.u han bu.´.c. Herbrand l` ngu.`.i d` u tiˆn d .a ra thuˆt to´n (nhu.ng khˆng u o a o ¯ˆ a e ¯u a a o . . .ng minh nhu. thˆ. Khoang ba mu.o.i nˇm sau, Robinson d ˜ hiˆu qua) dˆ’ t` c´c ch´ ˙ ´ ˙ ¯e ım a ’ ˙ ’ e u e a ¯a . cung cˆ p mˆt thuˆt to´n hiˆu qua ho.n du.a trˆn nguyˆn tˇc suy dˆn goi l` l`.i giai. ´ ˜ ´ ˙ ’ ˙ ’ a o a a e e ea a . ao . . . . .i giai bao d ˙ m t´nh d` y d ˙ theo ngh˜a tˆ t ca ` ´ ´’ ¯˜ ˙ ’ ˙ ˙ ¯a ’’ ’ ’ ıa˙ Robinson d a chı ra rˇ ng nguyˆn tˇc l` a eao ı ¯ˆ ¯u a c´c d .nh l´ dung d .o.c ch´.ng minh v` t´nh dung d an theo ngh˜a khˆng c´ d .nh l´ sai ´ a ¯i y ¯´ ¯u . u a ı ¯´ ¯ˇ ı o o ¯i y .o.c ch´.ng minh. Nhu. v´ du tru.´.c chı ra, nguyˆn tˇc l`.i giai kh´ d .n gian. Sau khi ´ ˙ ’ ˙ ’ ˙ ’ du . ¯ u ı. o eao a ¯o c´c phˆn tu. cua b`i to´n d ˜ d u.o.c biˆ’u diˆn dang mˆnh d` , phu.o.ng ph´p ch´ng ta ˙ ˜ `a˙˙a ’’ a a ¯a ¯ . e e e ¯ˆ e a u . . .ng tru.´.c v` c´c hˆ qua du.ng sau cua c´c suy dˆn kh´c nhau ˜ ´a ´ ˙ ’ o a a e ˙ ¯´ ’ ˙a ’ t`m kiˆm c´c gia thiˆt du ı e e ¯´ a a . m` c´ thˆ’ d ˆi s´nh d u.o.c. Viˆc d ˆi s´nh d u.o.c thu.c hiˆn bˇ ng c´ch thay c´c biˆn d e’ ˙´ ˙ ` ´ ´ a o e ¯o a ¯. e ¯o a ¯. ea a a e ¯ˆ . . . tao c´c nguyˆn tu. d` ng nhˆ t. Sau khi d ˆi s´nh, mˆnh d` suy dˆn goi l` mˆnh d` phˆn ˜ ´ ´ e ˙ ¯ˆ ’o .a a ¯o a e ¯ˆ e a . a e ¯ˆ a e . . giai, gˆm vˆ bˆn tr´i v` bˆn phai khˆng thˆ’ d ˆi s´nh nhau nhu. chı ra o. trˆn. Viˆc ˙´ ˙` ´ ’o ˙ ’ ˙ ’ ˙e ’ ee aae o e ¯o a e. .ng minh d nh l´ nhˇ m phˆn giai c´c mˆnh d` v´.i muc tiˆu sinh ra mˆnh d` trˆng, ` e´ ˙a ’ ch´u ¯i ya a e ¯ˆ o e e e ¯ˆ o . . . m` l` mˆu thuˆn. Trong thu.c tˆ, c´ rˆ t nhiˆu t`i liˆu liˆn quan d e n phu.o.ng ph´p ˜ ´ ´ `aee ´ aa a a . e oa e ¯ˆ a . .ng minh d inh l´ bˇ ng c´ch kiˆn thiˆt c´c thuˆt to´n hiˆu qua du.a trˆn co. so. tri y` ´ ´ ˙. ’ ˙ ’ ch´u ¯. a a e ea a a e e . . th´.c d ˜ c´. u ¯a o Mang ng˜. ngh˜ 9.5.4 u ıa . Mang ng˜. ngh˜ l` d` thi c´ hu.´.ng d .o.c g´n nh˜n trong d ´ mˆi n´t biˆ’u diˆn c´c d oi ˙ ˜ ˜ a ¯ˆ ´ u ıa a ¯ˆ . o o ¯u . a o a ¯o o u e e . .o.ng hay c´c biˆn v` c´c cung biˆ’u diˆn mˆi quan hˆ gi˜.a c´c n´t. C´c mang d .o.c ˙ ˜ ´ ´ tu . a e aa e e o euau a ¯u . . . thiˆt kˆ theo kiˆ’u n`y c´ mˆt sˆ u.u d e’m, chˇng han biˆ’u diˆn tri th´.c c´ t´nh tru.c ˙ ˙ ˙ ˙ ’ ˜ ´´ .´ ee e aooo ¯iˆ a e e u oı . . . dung c´c k˜ thuˆt d ˆi s´nh v` ˙u diˆn trˆn d` thi nˆn c´ thˆ’ su . ’ ˙˙ ˜ ´a ’ quan. Ngo`i ra, do biˆ a e e e ¯ˆ . e o e o ay a ¯o a . . cua b`i to´n nˆi suy. H` 9.20 l` d` g´n nh˜n trˆn d` thi dˆ’ thao t´c c´c phˆn tu ˙ a ˙ ` a˙’ ’ a a e ¯ˆ . ¯e o aa ao ınh a ¯ˆo . . kiˆn trong b`i to´n sot r´c. thi biˆ’u diˆn c´c su e ˙ ˜a.. .e e aa.a 348
INVISIBLE .......... ......... .. .. .. .. .. . .. .. .. .. . . . . . . . . . . . . .. . . . ... . . . .... . . . ... . . ... . . ............ ................................... ... . ... . ..... . . ... ....... ........................... . . ...... . . ... .... .......................................... ..... ... ... ........... .. ..... ........ .... .. ....... . ... . .... ...... ..... ..... ..... ..... . ... .... .... .... .... .. . .. . .. . ... ... .... ... ... .... .. .. .. .. .. . .. .. .. . . ´ x . sot r´c .a . ghˆ e . . . . . . . . .. . .. . . .. .. .. .. . .. . .. .. .. .... .... .... ... ... .. ... ... ... .. .... .... .. .. ..... .. ...... ...... .. .. ...... .. ....... .... .. . ..... .. .... ...... . ..... ....... .. . ............. ....................... ........... ............ ........... . . . .. ... . . ... ... . . . . . . ... . . ... .. ... . ........................... . ... ............................ ... . . .... ... . . ... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . INVISIBLE . . . . . . . . . . . . . . . . . . . . . . . . . . . ... .. . . . . BEHIND NEXT-TO BEHIND . ........ ..... .. . . . . . ... .... . . . . .. . . . . . .. .. . . . . .. . . . . . . . . . . . .. .. . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ... . ... ... . .. . . . . . .. . . .. . . .. .. .. .. .. . . . ... . . ... . . .... . . ..................................... .................................. .. . ... . ...... . . ... ...... . ................................. .................................. . . . ... . ..... . . ... ...... . . . ... . . . ... . . ... ...... . . .. .... .... .... ..... .... ...... .... ... .. ... ... ... ... ....... ....... .. .. . ...... ...... ....... ...... .. .. ..... ..... ..... ..... ..... ..... . ... .. . . . . . .. . .. . .. ... ... ... .... .... ... .... .. ... ... ... ... .. .. .. .. .. .. .. .. .. . y .. .. .. .. .. . b`n l`m viˆc aa e b`n l`m viˆc aa e sot r´c .a . . . . . . . . . .. . . . .. .. .. .. . .. . . .. .. .. .. .. .. .. ... . . ... ... .... .... ... . .. ... . .. . .. ... .. . .... .... .... ... .. .. ..... ..... ...... ..... ...... ..... .... . ...... ... . ...... .... . ...... . ... ...... .. .. . ... ......... . ....... ........... ........... . .. . .... ............................... ........... . ..... . ... . ........................... ................................ . . . . . . . ... . . ... .... . ... ... ... . .. . . . ... . . ... ..... ... . . . . . ... . . ... .... . ........................... .. . . . . ... . . ... ... G1 G2 G3 G4 H` 9.20: C´c phˆn hoach cua mang ng˜. ngh˜ trong b`i to´n sot r´c. ˙ ’ ınh a a u ıa aa.a . . Mang ng˜. ngh˜ cung cˆ p mˆt c´ch tiˆp cˆn kh´c d e’ thu.c hiˆn tiˆn tr`nh nˆi ˙ ´ ´. ´ u ıa a oa ea a ¯ˆ . e e ı o . . . . . dung mang d e’ nˆi suy, tuy nhiˆn trong phˆn n`y ch´ng ˙o .´ `a ˙ ’ suy. Mˇc d` c´ mˆt sˆ c´ch su . a uo o oa ¯ˆ . e a u . . .o.c su. dung dˆ’ biˆ’u diˆn v` xu. l´ tri th´.c d u.o.c biˆ’u ˙˙ ˙ ˜ a˙y ta chı tˆp trung v`o c´c mang d u . ˙ . ˙a ’. ’ ’ aa ¯ ¯e e e u¯. e . diˆn o. dang mˆnh d` . C´ch tiˆp cˆn n`y minh hoa c´c kh´i niˆm co. ban su. dung ˜˙. ´. e’ ˙ ’ ˙. ’ e ¯ˆe a ea a .a a e . . . ngh˜ v` c˜ng tiˆp tuc v´.i nh˜.ng thao luˆn trˆn. ´ ˙ ’ mang ng˜ u ıa a u e.o u a e . . Viˆc xˆy du.ng c´c mang ng˜. ngh˜ t`. c´c biˆ’u th´.c mˆnh d` rˆ t dˆ d`ng. Y ´ ˙ ¯ˆ a ˜ a e´ e ea a u ıa u a e u e . . . . tu.o.ng l` biˆ’u diˆn mˆi mˆnh d` nhu. mˆt phˆn cua mang ng˜. ngh˜ (t´.c l`, mˆi mˆnh ˙ ˜ ˜. ˜. ` ˙ ’ a˙ ’ ae e o e ¯ˆ e o u ıa u a o e . . d` d u.o.c biˆ’u diˆn nhu. mˆt d` thi con). C´c n´t cua mang ch´.a c´c biˆn v` c´c hˇ ng ˙ ˜ ` ´ au˙ ’ ¯ˆ ¯ . e e e o ¯o . .ˆ ua e aa a . (c´c d ˆi tu.o.ng), v` c´c cung d u.o.c g´n nh˜n biˆ’u thi mˆi quan hˆ gi˜.a hai n´t. Mˆt ˙ ´ ´ a ¯o aa ¯. a a e .o eu u o . . . .o.c v˜ bˇ ng mˆt m˜i tˆn nˆu n´ biˆ’u diˆn mˆt quan hˆ trong phˆn kˆt luˆn ˙ cung d u . e ` ˜ ´ ` ´a ¯ a o ue e oe e o e ae . . . . (vˆ phai) cua mˆnh d` v` m˜i tˆn d oi nˆu n´ biˆ’u diˆn quan hˆ trong phˆn d ` u kiˆn ˙ ˜ ´˙ ´ ` ¯iˆ ’ ˙ ’ e e ¯ˆ a u e ¯ˆ e o e e e e a e e . . . .o.ng u.ng c´c biˆ’u th´.c (a)-(d) ˙ (vˆ tr´i) cua mˆnh d` . H`nh 9.20 minh hoa d` thi tu ´ ˙ ’ ea e ¯ˆ e ı . ¯ˆ .o ´ a e u . trong v´ du sot r´c. Ch´ng ta chuyˆ’n quan hˆ mˆt ngˆi, chˇng han INVISIBLE(x), ˙ ˙ ’ ı..a u e eo o a .. . .o.ng u.ng khuyˆn cua d` thi). e ˙ ¯ˆ .’o th`nh quan hˆ hai ngˆi INVISIBLE(x, x) (tu a e o ´ . Qu´ tr`nh suy luˆn du.a v`o mang ng˜. ngh˜ c´ dang trong H`nh 9.20 rˆ t d o.n ´ aı a a u ıa o . ı a¯ . . . gian. C´c d` thi con d u.o.c trˆn lˆn bˇ ng c´ch d oi s´nh c´c biˆn v` c´c hˇ ng, c´c m˜i .˜` ` ´ ´ ˙ ’ a ¯ˆ . o ¯. oaa a ¯ˆ a a e aa a a u . c´c m˜i tˆn d .n c`ng v´.i c´c n´t ngon nˆu ch´ng bˇ ng nhau. Nhu. trong ` ´ ˙ ’ tˆn d oi khu a e ¯ˆ u e ¯o u oau e u a . phˆn tru.´.c, muc d´ch l` t` phˆn hoach trˆng liˆn quan d e n mˆnh d` phu d inh d .o.c ` ´ ´ ˙ ¯. ¯u . ’ a o . ¯ı a ım a o e ¯ˆ e ¯ˆ e . . ´a thiˆt lˆp l´c bˇt d` u suy luˆn. H` 9.21 minh hoa kˆt qua (k´ hiˆu G13 ) khi trˆn hai ´. ´ ˙ye ’ e a u a ¯ˆ a ınh .e o . . . .o.c d` thi trˆng. T`. d ´ d` thi con G1 v` G2 trong H` 9.20. Trˆn G13 v` G4 ta d . ¯ˆ . o ´ ¯ˆ . o a ınh o a ¯u o u ¯o . ’´ ˙e suy ra sot r´c khˆng kha kiˆn. .a o 349
.............................. .. ... . ...... . . ... ..... ...... ... ......... ..... ..... ..... ..... .... ... .. .... .. .. .. ´ ghˆ e . . . . .. . . ... .. .. . .... .... .... .. .. ....... .. .. .. .......................................... ... .. . ... ... . . . . ... . . . ... . . . . . . . . . . . INVISIBLE INVISIBLE . . . . . . . . . . . NEXT-TO . . ......... . .......... ......... .......... . . .. .. . .. .. .. .. . .. .. . .. .. . . . . . . .. . .. .. .. .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ... . . .. . . .. . . . .. .. .. . .. . ... .. ... . . . .. . . . ... . ........ . . . ... . . . . .. . . ... ... ... . ... . ... . ... ... . . ... ...... . ...................................... ...................................... ...................................... .. .. .. . .... .... .... .. ... .. ...... ...... ...... . .... ...... ...... ...... ..... ..... . ... ..... ..... .. .. ... . . . .. .... ... .... .... .... ... . ... ... .. .. . . . .. . . . . . . b`n l`m viˆc aa e sot r´c .a sot r´c .a . . . . . . . . . . . .. .. .. .. .. . . .. .. .. .. .. ... ... .... .... .... ... ... .. ... .... . .. .... .. ..... .. ..... . ..... . ..... ..... ...... .. ... ... .. ...... ....... ...... ........ .. ...... ......... ......... ..... .... . ........ ............................... . . . ... . . . . . ... . ..... .............................. . . . . . . ... . . . ... ... ................................. .. ... . . . . . ... . ..... G2 G13 G4 ` H` 9.21: Suy luˆn bˇ ng c´ch trˆn c´c d` thi con. ınh aa a o a ¯ˆ .o . . 9.5.5 Hˆ chuyˆn gia e e . Hˆ chuyˆn gia l` mˆt c´ch tiˆp cˆn kh´c dˆ’ suy luˆn. Tu.o.ng tu. trong ph´p t´nh vi t`. ˙ ´. e e aoa ea a ¯e a eı .u . . . . . ngh˜ hˆ chuyˆn gia su. dung d ˆi s´nh d e’ suy luˆn. Tuy nhiˆn, c´c h`nh ˙ ´ ˙. ’ v` mang ng˜ a. u ıa, e e ¯o a ¯ˆ a e aa . . d ˆng cua mˆt hˆ chuyˆn gia sau khi d oi s´nh d ˜ d u.o.c t`m thˆ y ph´.c tap ho.n nhiˆu. ´ ´ ` ˙ ’ ¯o oe e ¯ˆ a ¯a ¯ . ı a u. e . .. .c tap tu` y. Thˆt ra, c´c h`nh d ˆng c´ d ˆ ph´ . a aa ¯o o ¯o u y´ . . . Hˆ chuyˆn gia d u.o.c quan tˆm nhiˆu do t´ mˆm deo cua ch´ng. Dˇc biˆt, c´c -a ` ınh ` ˙ ’˙ ’ e e ¯. a e e u ea . . . .o.c su. dung th`nh cˆng trong nhiˆu l˜nh vu.c t`. xu. l´ anh v` kiˆ’m ˙ `ı hˆ chuyˆn gia d a d u . ˙ . ’ . u ˙ y˙’ ’ e e ¯˜ ¯ a o e ae . tra c´c san phˆ’m cˆng nghiˆp d e n chˆ’n d o´n trong y hoc v` c´c qu´ tr`nh d ` u khiˆ’n. ˙ ˙ ˙ ´ a˙ ’ a o e ¯ˆ a ¯a . aa a ı ¯iˆ e e . C´c hˆ chuyˆn gia l` c´c hˆ thˆng human-machine v´.i chuyˆn mˆn ho´ cao nhˇ m giai ` .´ ˙ ’ ae e aa e o o e o a a . quyˆt nh˜.ng b`i to´n d ac biˆt. Do d ´ thuˆt ng˜. hˆ chuyˆn gia ´m chı dˆn c´c hˆ ´ ’´ ˙ ¯e a e e u a a ¯ˇ e ¯o a ue e a . . . . . .a trˆn tri th´.c nhˆn d .o.c t`. nh˜.ng chuyˆn gia vˆ l˜nh vu.c d ˇc biˆt. ´ `ı thˆng m´y du o a e u a ¯u . u u e e . ¯a e . . . . H` 9.22 cho thˆ y c´c th`nh phˆn co. ban cua mˆt hˆ chuyˆn gia. Do.n vi xu. l´ - ´ ` ˙’ ˙ ’ . ˙y ’ ınh aa a a oe e .. . l` bˆ phˆn giao tiˆp gi˜.a ngu.`.i su. dung v` hˆ thˆng. Ngu.`.i su. dung tu.o.ng ´u .´ o˙. ’ o˙. ’ ngˆn ng˜ a o a o u e ae o . . t´c v´.i hˆ chuyˆn gia thˆng qua ngˆn ng˜. d inh hu.´.ng b`i to´n m` thu.`.ng o. dang ˙. ’ aoe e o o u ¯. o a a a o . .i sˆ t`. vu.ng han chˆ. C´ thˆ’ su. dung ngˆn ng˜. d` hoa dˆ’ bˆ’ sung cho ˙’ ˙˙ ´ o´ ´ e o e˙ . tiˆng Anh v´ o u . e o u ¯ˆ . ¯e o o . viˆc giao tiˆp. Do.n vi xu. l´ ngˆn ng˜. giai th´ c´c t´n hiˆu v`o t`. ngu.`.i su. dung v` e- ´ .˙y o ’ u˙ ’ o˙. ’ e ıch a ı eau a . . .o.c tao ra bo.i hˆ thˆng. Do.n vi d iˆu chınh giai th´ c´c h`nh - ’.´ . ¯` ˙eo ˙ ’ ˙ ’ d inh dang thˆng tin d . . ¯. o ¯u e ıch a a . d ˆng cua hˆ thˆng cho ngu.`.i su. dung. Chˇng han, n´ tra l`.i c´c cˆu hoi tai sao mˆt ˙ ’ ’.´ ˙eo o˙. ’ o ˙o a a ’ ˙. ’ ¯o a o . . . .o.c ho`n th`nh hoˇc tiˆn tr`nh kh´c bi loai bo. Bˆ phˆn d ` u chınh d ong ´ ´ a..˙ ’ o a ¯iˆ ˙ ¯´ ’ tiˆn tr`nh d . e ı ¯u a a ae ı e . . . . rˆi cua mˆt hˆ chuyˆn gia. vai tr` chu yˆu trong viˆc thiˆt kˆ ban d` u v` g˜ o ˙ ’´ ´´ ¯ˆ a o ´ ’ o ˙e e ee a oe e . .. Bˆ phˆn blackboard c´ ch´.c nˇng lu.u tr˜. c´c mˆ’u tin chˇng han d˜. liˆu hiˆn ˙ ˙ ’ oa oua ua a a ue e . . . . . . bˆ ` a a ¯a ˙ a ´ ´ .’ ˙’ h`nh vˆ b`i to´n d ˇc ta, c´c gia thiˆt, v` c´c quyˆt d .nh trung gian. C´c thuˆt ng˜ o a e e aa e ¯i a a u. . . tam th`.i v` bˆ nh´. th`.i gian ngˇn thu.`.ng d .o.c su. dung luˆn phiˆn d e’ k´ hiˆu ˙ ´ ¯u . ˙ . ’ nh´ . o o ao o o a o a e ¯ˆ y e . . 350
Ngu.`.i su. dung o˙. ’ . .. .. . ... . . . . . . . . . . . . . . . .. .. .. . Xu. l´ Co. so. ˙y ’ ˙’ . ................................................................................................................................................................................. .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ... . . . . . . . . . . . . . . . . . . . . . . . .............. ...... .. . . ngˆn ng˜. . tri th´.c . . . o u . u . ......................................................................................... .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. .. . .. . .. . . . . . ... . ... . . . . . . . . . . . . ... . . . .. . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . -` . .... . . . . . . . . . . . . . . . . . . ... . . . . . . . . . . . . . . . . . . . . . . . ˙ ’ . Diˆu chınh e ....................................................................................... .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . .. . . . . ... . . . . . . ... . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ......................................................................................... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ... . . . . . . . . . . . . . . -` Diˆu khiˆ’n ˙ .............. ...... .. . . Blackboard . . e e . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ... . . . . . . . . . . . . . . . . . .. . . ................................................................................................................................................................................. . . . H` 9.22: C´c th`nh phˆn co. ban cua mˆt hˆ chuyˆn gia. ` ˙ ’ ˙ ’ ınh a a a oe e .. cho blackboard. Co. so. tri th´.c (mˆt tˆp con cua co. so. tri th´.c trong H` 9.1) ch´.a ˙ ’ ˙’ ˙’ u oa u ınh u .. c´c thu tuc, thi gi´c v` tri th´.c vˆ thˆ gi´.i thu.c nhu. d ˜ tr`nh b`y trong Phˆn 9.5.2 . u`eo e´ ` ˙. ’ a .aa ¯a ı a a . .c d o m` tri th´.c d u.o.c su. dung bo.i mˆt hˆ chuyˆn gia (bao gˆm tri th´.c d u.o.c su. ` u¯. ˙ . ’ ˙’ u¯. ˙ ’ M´ ¯ˆ a u oe e o . .. dung bo.i c´c d o.n vi cua hˆ thˆng xu. l´ anh) phu thuˆc v`o tr` u.ng dung. Co. so. ’.´ ˙ a¯ ’ .˙ e o ˙ y˙ ’ ’ ˙ ’ oa ınh ´ . . . . .c c˜ng ch´.a c´c quy tˇc m` hˆ thˆng cˆn d e’ giai quyˆt mˆt b`i to´n. Co. chˆ ˙’ ´ .´ ` ¯ˆ ˙ ´oaa ´ tri th´ uu ua a ae o a e e . d iˆu khiˆ’n ch´.a nh˜.ng tri th´.c giai quyˆt b`i to´n tˆ’ng qu´t v` c´c chiˆn lu.o.c giai ˙ ˙ ¯` ´ ´ ˙ ’ ˙ ’ e e u u u ea ao a aa e . .c giai quyˆt b`i to´n tˆ’ng qu´t, d ˆi khi c`n goi l` phu.o.ng ˙ ´ ´ ˙’ quyˆt xung d ˆt. Tri th´ e ¯o u ea ao a ¯o o .a . tiˆn suy luˆn, l` phˆn cˆt yˆu dˆ’ c´ thˆ’ d ˆi s´nh c´c quy tˇc, tri th´.c, thuˆt to´n, v` ˙ ˙´ ´ a a ` o e ¯e o e ¯o a a´´ e a a u a a a . . . .ng su. kiˆn d a biˆt hiˆn h`nh vˆ mˆt tiˆn tr`nh; t`. d ´ d .a d e n (hay suy ra) l`.i ´ `oe ´ ´ nh˜ u . e ¯˜ e ea e. ı u ¯o ¯u ¯ˆ o . . giai. T´.c l`, co. chˆ d iˆu khiˆ’n d ong vai tr` chiˆn lu.o.c trong viˆc chon v` thu.c thi ˙ e ¯` ´e ´ ˙ ’ ua e ¯´ o e e a. . . . c´c cˆng cu dˆ’ giai quyˆt mˆt b`i to´n. Vˆ n d` giai quyˆt xung d ot khi hai hay nhiˆu ˙’ ´oaa ´e’ ´ ` . ¯e ˙ a ¯ˆ ˙ ao e e ¯ˆ e . . quy tˇc d .o.c kho.i d ong d` ng th`.i. Phu.o.ng ph´p giai quyˆt xung d ˆt phu thuˆc v`o ´ ´ ˙ ¯ˆ ¯ˆ ’. ˙ ’ a ¯u . o o a e ¯o oa . . . .ng dung, nhu.ng c´ch tiˆp cˆn chung theo hu.´.ng th´. tu. u.u tiˆn, ngh˜a l` quy tˇc c´ ´ ´. u ´ a ea o u. e ıa ao . d ˆ u.u tiˆn cao nhˆ t d u.o.c chon d e’ ﬁring (s˜ giai th´ sau thuˆt ng˜. n`y), v` th´. tu. ˙ ´ e˙ ’ ¯o e a¯. . ¯ˆ ıch a ua a u. . . .o.c su. dung gˆn d ay nhˆ t. C´c quy tˇc trong mˆt hˆ chuyˆn ´ ´ ` ¯ˆ ` ¯ˆ ´ gˆn d ay chon quy tˇc d . ˙ . ’ a a ¯u a a a a oe e . .. gia thu.`.ng c´ dang o o. ´ a ¯` nˆu (c´c d iˆu kiˆn) th` (c´c h`nh d ˆng) e ıaa e e ¯o . . trong d o c´c d iˆu kiˆn v` c´c h`nh d ong d .o.c biˆ’u diˆn dang hˆi cua c´c mˆnh d` . ˙ ˜ ¯´ a ¯ ` o˙a .’ e e aa a ¯ˆ ¯u . e e e ¯ˆe . . . . . sau: nˆu d iˆu kiˆn 1 v` d iˆu ´ ´ e ¯` a ¯` N´i c´ch kh´c, ch´ng ta d oc c´c nguyˆn tˇc trˆn nhu oa a u ¯. a ea e e e e . .c hiˆn h`nh d ong 1 v` h`nh d ong 2 v` . . . v` ¯` kiˆn 2 v` . . . d iˆu kiˆn m dung th` thu ı. e a e e ¯´ ea ¯ˆ aa ¯ˆ a a . . . . . ˙’ ´ ˙a ’ o˙ .’ h`nh d ong k. Chˇng han, khao s´t quy tˇc trˆn hai v`ng trong mˆt anh: a ¯ˆ a a o u . . . 351
nˆu k´ch thu.´.c c´c v`ng nho, v` c´c v`ng kˆ nhau, v` ´ ` ˙ aa u ’ e R(107) ı oau e a hiˆu gi˜.a hai m´.c x´m trung b`nh cua hai anh nho, ˙ ’ ˙ ’ ˙ ’ e u ua ı . th` trˆn hai v`ng. ı o u . C´c kh´i niˆm “nho” v` “kˆ nhau” cˆn d .nh ngh˜a tru.´.c v` d u.o.c lu.u tr˜. o. no.i m` ˙a` ` ¯i ’ u˙’ a ae e a ı o a¯ . a . c´c quy tˇc c´ thˆ’ lˆ y thˆng tin khi cˆn. Thˆng tin loai n`y d u.o.c lu.u tr˜. trong co. so. ˙´ ´ ` ˙ ’ a a o ea o a o . a¯. u .c. Gia thiˆt c´c v`ng d a d u.o.c x´c d nh v` c´c d ˇc tru.ng cua ch´ng d a d u.o.c ´ ˙’ ˙ ’ tri th´ u eau ¯˜ ¯ . a ¯i a a ¯a u ¯˜ ¯ . . . t´nh. T´.c l`, qu´ tr` phˆn d oan v` t` d ac tru.ng d a d u.o.c thu.c hiˆn. Cuˆi c`ng, ´ ı ua a ınh a ¯ . a ım ¯ˇ ¯˜ ¯ . e ou . . . .c tˆ, c´c quy tˇc ´. ´ quy tˇc d ac biˆt n`y gˆm ba d ` u kiˆn v` mˆt h`nh d ong. Trong thu e a ea` .´ a ¯ˇ o ¯iˆ e eaoa ¯ˆ a . . . . v´.i nhiˆu d ` u kiˆn d .a d e n mˆt h`nh d ˆng thu.`.ng xay ra trong c´c hˆ thˆng xu. l´ ` ¯iˆ ´ .´ ˙ ’ ˙y ’ o e e e ¯u ¯ˆ oa ¯o o aeo . . . ˙’ anh. Khi tˆ t ca c´c d ` u kiˆn trong mˆt quy tˇc d ˜ thoa tai c`ng mˆt th`.i d e’m, th` ˙ ´ ´’ a ˙ a ¯iˆ ˙.u ’ e e o a ¯a o o ¯iˆ ı . . . .o.c k´ch hoat. Khi c´c h`nh d ong d a d .o.c thu.c hiˆn, quy tˇc goi l` ﬁred. ´ ´ quy tˇc d u . ı a¯ aa ¯ˆ ¯˜ ¯u . e a .a . . . . Ch´ y rˇ ng, quy tˇc d u.o.c kho.i d ong khˆng c´ ngh˜ quy tˇc n`y tu. d ˆng ﬁred. Nˆu u´ ` ´ ´ ´ ˙ ¯ˆ ’. a a¯. o o ıa a a . ¯o e . .n mˆt quy tˇc d u.o.c kho.i d ong th` hˆ thˆng cˆn d .a v`o giai d n giai ´ ` .´ ` ¯u a ˙ ¯ˆ ’. ˙ ’ c´ nhiˆu ho o e o a¯. ıe o a ¯oa . . quyˆt xung d ot dˆ’ x´c d .nh quy tˇc n`o d .o.c ﬁred. Diˆu n`y c´ ngh˜a chı c´ mˆt quy -` ˙ ´ ´ ˙o o ’ e ¯ˆ ¯e a ¯i a a ¯u . eao ı . . .o.c ph´p ﬁred tai mˆt th`.i d e’m. ˙ ´ tˇc d . a ¯u e o o ¯iˆ . . Hiˆ’n nhiˆn c´ su. tu.o.ng tu. gi˜.a c´c quy tˇc cua hˆ chuyˆn gia o. dang d u.o.c mˆ ˙ ´’. a˙e ˙. ’ e e o. .ua e ¯. o .c dang mˆnh d` d u.o.c d` cˆp tru.´.c. Thˆt ra, c´c nguyˆn tˇc cua hˆ ta v` c´c biˆ’u th´ . ˙ ´’. ˙aa ’ ea˙e e u e ¯ˆ ¯ . ¯ˆ a e e. o a a . . chuyˆn gia thu.`.ng dˆ d`ng d ˇc ta v` d oc n´. Chˇng han, c´c d .nh luˆt vˆt l´ trong ˜ a ¯a ˙ a ¯ . o ˙ ’ .’ e o e a a ¯i aay . .. .o.c n´i trˆn c´ thˆ’ biˆ’u diˆn dang ˙e ˙ ˜ b`i to´n sot r´c d u . o e o e a a . a¯ e . nˆu d ˆi tu.o.ng x du.ng sau d ˆi tu.o.ng y, ´ ´ ´ e ¯o ¯´ ¯o . . .o.ng x khˆng kha kiˆn. ´ ’´ ˙e th` d ˆi tu . ı ¯o o Khi c´c su. kiˆn d a d .o.c cho, mˆt hˆ chuyˆn gia cˆ gˇng d oi s´nh nh˜.ng su. kiˆn n`y ´ ´ ¯ˆ a ´ a . e ¯˜ ¯u . oe e oa u .ea . .. . .i c´c d ` u kiˆn trong co. so. quy tˇc. Kiˆ’m tra tˆ t ca c´c d ` u kiˆn trong mˆt nguyˆn ˙ ´ ´ ˙ a ¯iˆ ˙ ’ ’ v´ a ¯iˆ o e e a e a e e o e . . . .i d ong n´. Nˆu khˆng xay ra xung d ot, h`nh d ˆng tu.o.ng u.ng v´.i quy tˇc ´ ´ ´ ˙. ’ ˙ ’ tˇc v` kho ¯ˆ aa oe o ¯ˆ a ¯o ´ o a . . d u.o.c k´ hoat, do d ´ ﬁring quy tˇc. H`nh d ong chı d o.n thuˆn l` mˆnh d` thˆng b´o ´ ` a e ¯ˆ o ˙¯ ’ ¯ . ıch . ¯o a a ¯ˆ a e a . . . trong quy tˇc trˆn. Trong su. kiˆn “sot r´c o. d ˇ ng sau b`n l`m viˆc” hˆ chuyˆn ´ ’` . a ˙ ¯a nhu a e .e aa e e e . . . gia s˜ d oi s´nh sot r´c v´.i x v` b`n l`m viˆc v´.i y, kho.i d ong quy tˇc. H`nh d ong ´ ´ ˙ ¯ˆ ’. e ¯ˆ a .ao aa a eo a a ¯ˆ . . .`.ng ho.p n`y l` mˆnh d` “sot r´c khˆng kha kiˆn”. M´.c d o m` c´c mˆnh ’´ ˙e trong tru o aae ¯ˆ . a e o u ¯ˆ a a e . . . . ` d u.o.c chˆ p nhˆn o. dang tiˆng Anh (hoˇc ngˆn ng˜. kh´c) phu thuˆc v`o su. h`nh ´ ´ a˙. .’ dˆ ¯ . ¯e a e a o u a oa.ı . . . .´.ng d e n ngu.`.i su. dung, nˆn giao tiˆp ´ ´ o˙. ’ th`nh hˆ chuyˆn gia. V` c´c hˆ chuyˆn gia hu o a e e ıa e e ¯ˆ e e . . v´.i ch´ng s˜ dˆ d`ng ho.n c´c hˆ thˆng du.a trˆn logic vi t`. hay c´c mang ng˜. ngh˜ e˜a .´ o u e aeo e .u a u ıa. . . 352