Nghiên cứu và xây dựng một số hệ đo mưa ứng dụng vào hệ thống cảnh báo trượt đất

I HC QUẩC GIA H NậI TRìNG I HC CặNG NGH› NGUY™N TR†N V…N T•CH HĐP TRI THÙC SÛ DƯNG CC Kò THUT TRANH CI Ng nh: Cổng nghằ thổng tin Chuyản ng nh: K thuêt phƯn mãm M số: 62.48.01.03 LUN VN THC S CặNG NGH THặNG TIN Ngữới hữợng dăn khoa hồc: TS TrƯn Trồng Hiáu H Nởi - 2016 Mưc lưc Mưc lưc Líi c¡m ìn iii Lới cam oan iv Danh mửc cĂc kỵ hiằu, cĂc chỳ viát t-t v Danh sĂch hẳnh v vii Danh s¡ch b£ng viii Mð ¦u Têng quan v· logic v ix t½ch hđp tri thùc 1.1 Têng quan v· logic 1.1.1 Logic cê iºn 1.1.2 Logic kh£ n«ng 1.2 Têng quan v· t½ch hđp tri thùc 1.2.1 Biºu di¹n tri thùc 1.2.2 Duy»t tri thùc 1.2.3 T½ch hñp tri thùc Mổ hẳnh tranh cÂi 1 4 14 23 2.1 Sỹ chĐp nhên cừa tranh cÂi 2.1.1 Mổ hẳnh tranh cÂi 2.1.2 Ngú ngh¾a cè ành v ngú ngh¾a cì sð (ho i nghi) 2.1.3 i·u ki»n cho sü tròng giúa ngú ngh¾a kh¡c 2.2 Tranh cÂi, trỏ chỡi n-ngữới v b i to¡n hỉn nh¥n b·n vúng 2.2.1 Tranh c¢i trá chìi n-ng÷íi 2.2.2 Tranh cÂi v b i toĂn hổn nhƠn bãn vúng Tẵch hủp tri thực cõ ữu tiản mổ hẳnh logic khÊ nông 24 24 28 29 32 32 33 35 3.1 T½ch hđp tri thùc bơng tranh cÂi logic khÊ nông 3.2 ành · v mởt số tẵnh chĐt Thüc nghi»m v ¡nh gi¡ 36 41 43 4.1 Mæi tr÷íng thüc nghi»m 4.2 Qu¡ tr¼nh thüc nghi»m i 43 43 4.2.1 4.2.2 4.2.3 4.2.4 4.2.5 Giỵi thiằu vã chữỡng trẳnh Tªp dú li»u thüc nghi»m Kát quÊ thỹc nghiằm thu ữủc cừa têp dỳ liằu thự nhĐt Kát quÊ thỹc nghiằm thu ữủc cừa têp dỳ liằu thự hai ¡nh gi¡ k¸t qu£ thüc nghiằm v hữợng nghiản cựu tiáp theo Kát luên T i li»u tham kh£o 43 45 45 48 48 50 51 ii LI CM èN Lới Ưu tiản, tổi xin gỷi lới cĂm ỡn sƠu s-c nhĐt án TS TrƯn Trồng Hiáu  tên tẳnh hữợng dăn tổi suốt quĂ trẳnh thỹc hiằn Luên vôn Tổi cụng xin gỷi lới cĂm ỡn v lỏng biát ỡn sƠu s-c tỵi PGS.TS H Quang Thu còng anh chà em pháng thẵ nghiằm DS&KTLab  nhiằt tẳnh ởng viản v giúp ù tổi ho n th nh Luên vôn Tổi chƠn th nh cÊm ỡn cĂc thƯy, cổ  tÔo iãu kiằn thuên lủi cho tổi ữủc hồc têp v nghiản cựu tÔi Trữớng Ôi hồc Cổng Nghằ Tổi xin cÊm ỡn cĂc bÔn lợp cao hồc K20 v cĂc ỗng nghiằp tÔi cổng ty AI Viằt Nam  ừng hở, khuyán khẵch v tÔo iãu kiằn cho tổi suốt quĂ trẳnh hồc têp tÔi trữớng Cuối khỉng k²m ph¦n quan trång, tỉi mn gûi líi c£m ỡn vổ hÔn tợi gia ẳnh, bÔn b, nhỳng ngữới thƠn yảu luổn cÔnh, ởng viản v giúp ù tổi khổng ch quĂ trẳnh thỹc hiằn Luên vôn m cán suèt cuëc íi n y H Nëi, ng y 19 thĂng nôm 2016 Hồc viản Nguyạn TrƯn VƠn iii LI CAM OAN Tổi xin cam oan luên vôn Tẵch hủp tri thực sỷ dửng cĂc k thuêt tranh cÂi" l cổng trẳnh nghiản cựu cừa riảng tổi CĂc số liằu, kát quÊ ữủc trẳnh b y luên vôn l ho n to n trung thỹc Tổi  trẵch dăn Ưy cĂc t i liằu tham khÊo, cổng trẳnh nghiản cựu liản quan NgoÔi trứ cĂc t i liằu tham khÊo n y, luên vôn ho n to n l cỉng vi»c cõa ri¶ng tỉi Luên vôn ữủc ho n th nh thới gian tổi l hồc viản tÔi Khoa Cổng nghằ Thổng tin, Trữớng Ôi hồc Cổng nghằ, Ôi hồc Quốc gia H Nëi H Nëi, ng y 19 th¡ng n«m 2016 Hồc viản Nguyạn TrƯn VƠn iv ANO BMA CLO CON COO IC IDN MAJ PKB SMP SYM UNA DANH MÖC C•C CHÚ VI˜T T•T : Anonymity : Belief Merging by Argumentation : Closure : Consistency : Cooperativity : Integrity Constraints : Identity : Majority : Possibilistic Knowledge Base : Stable Marriage Problem : Symmetry : Unanimity v Ti¸ng Anh DANH MệC CC THUT NG Tiáng Viằt Acceptable Admissible Arbitration operator Belief base Belief contraction Belief Merging Belief profile Belief Revision Characteristic function Complete Extension Conflict-free Epistemic Entrenchment Grounded Extension Harper Identity Integrity Constraints Levi Identity Majority operator Necessity degree Possibilistic formula Possibilistic Knowledge Base Possibilistic logic Possibility degree Possibility distribution Possible world Preferred Extension Principle of minimal change Responsibility attribution Revision function Selection Function Stable Extension System of Spheres Câ th chĐp nhên Bao õng cõ th chĐp nhên ToĂn tỷ trồng t i Cỡ s tri thực LoÔi bọ tri thực Tẵch hủp tri thực Hỗ sỡ tri thực Duyằt tri thực H m c trững PhƯn m rởng ¦y õ Khæng chùa c¡c xung ët Cè thõ tri thực PhƯn m rởng cỡ s ỗng nhĐt Harper R ng buởc to n vàn ỗng nhĐt Levi ToĂn tỷ a sè ë ch-c ch-n Cỉng thùc kh£ n«ng Cì sð tri thùc kh£ n«ng Logic kh£ n«ng ë câ th PhƠn phối khÊ nông Thá giợi cõ th PhƯn m rởng ữu tiản Nguyản t-c thay ời tối thiu Ch¿ ành tr¡ch nhi»m H m duy»t H m lüa chån Ph¦n mð rëng ên ành H» thèng c¡c khèi c¦u tri thùc vi Trang 26 26 17 4 28 29 26 11 28 15 17 2 1 13 26 23 27 12 Danh s¡ch h¼nh v³ 1.1 1.2 2.1 2.2 2.3 2.4 2.5 4.1 Mët khèi c¦u tri thùc Mỉ h¼nh AGM Mổ hẳnh tranh cÂi Quan hằ tĐn cổng mổ hẳnh tranh cÂi Mổ hẳnh tranh cÂi khổng chùa xung ët Cõ th chĐp nhên mổ hẳnh tranh cÂi Bao âng câ thº ch§p nhên mổ hẳnh tranh cÂi Giao di»n ch÷ìng tr¼nh 12 14 25 25 26 26 26 44 4.2 4.3 4.4 4.5 4.6 4.7 TÔo cỡ s tri thực K¸t qu£ cõa h m hñp C¡c lªp luªn Quan h» Undercut K¸t qu£ cõa to¡n tû BMA Biu ỗ thới gian thỹc nghiảm ( ỡn v giƠy) 44 46 46 47 47 48 vii Danh s¡ch b£ng 1.1 To¡n tû t½ch hđp düa v o kho£ng c¡ch thỉng th÷íng 3.1 ƒnh h÷ðng cõa lªp luªn 20 39 3.2 Danh s¡ch c¡c lªp luªn 4.1 Kát quÊ quĂ trẳnh tẵch hñp 40 48 4.2 Thíi gian thỹc nghiằm chữỡng trẳnh ( ỡn v phút) 48 viii M Ưu Ng y tẵch hủp tri thực l mởt cĂc vĐn ã nghiản cựu vỵi c¡c ùng dưng quan trång Khoa håc m¡y tẵnh Mửc tiảu chẵnh cừa tẵch hủp tri thực l nhơm Ôt ữủc cĂc tri thực chung tứ cĂc nguỗn tri thực riảng l VĐn ã n y ữủc ựng dửng rởng rÂi nhiãu lắnh vỹc cừa khoa hồc mĂy tẵnh nhữ tẵch hủp dỳ liằu [1], khổi phửc thỉng tin [2], gëp dú li»u c£m bi¸n [3], c¡c h» a t¡c tû [4] v c¡c h» thèng a phữỡng tiằn (Multimedia) [5, 6] VĐn ã tẵch hủp tri thực b-t Ưu ữủc quan tƠm, nghiản cựu, phĂt trin v ¡p dưng cho mët sè l¾nh vüc íi sống, x hởi, kinh tá, an ninh quốc phỏng, Mởt cĂc vẵ dử thỹc tá õ l hi»n ¢ câ mët sè h» thèng dü b¡o kinh tá cừa Viằt Nam nhữ hằ thống cõa CIA , h» thèng cõa WordBank , méi h» thèng ÷a mët bë c¡c ch¿ số phĂt trin cừa nãn kinh tá nữợc ta Tuy nhiản bở Ká hoÔch Ưu tữ khổng th lĐy k¸t qu£ cõa dü b¡o tø mët c¡c h» thống n y bĂo cĂo lản Chẵnh phừ hay Quốc hởi ữủc Thay v o õ Trung tƠm Thổng tin v Dỹ bĂo kinh tá - x hởi quốc gia cừa bở Ká hoÔch v Ưu tữ phÊi tờng hủp thổng tin tứ cĂc nguỗn õ th nh mởt thổng tin nhĐt m phÊn Ănh ữủc thỹc trÔng kinh tá cừa Viằt Nam rỗi sau õ mợi bĂo cĂo kát quÊ n y lản Chẵnh phừ hay Quốc hởi Hiằn cõ nhiãu cĂch tiáp cên tẵch hủp tri thực khĂc nhữ [7, 8] Tuy nhiản tĐt cÊ cĂc cĂch tiáp cên n y ãu dỹa trản giÊ thuyát l cĂc tham gia ãu cõ tẵnh cởng tĂc, tực l cĂc Ôt ữủc thọa thuên chung m mội ãu cõ mởt sè häi v c¡c häi n y m¥u thuăn thẳ cĂc cƯn thọa thuên vợi º méi b¶n hy sinh i mët sè häi cừa mẳnh nhơm Ôt ữủc sỹ ỗng thuên CĂc tiáp cên n y chữa phÊn Ănh ữủc úng cĂch l m viằc thỹc tá Chng hÔn nhữ A câ c¡c häi l ho n to n hñp lỵ v cõ Ưy bơng chựng, lêp luên bÊo vằ ỵ kián cừa mẳnh cỏn B cĂc ỏi họi ho n to n vổ lỵ v khổng cõ bơng chựng lêp luên gẳ cÊ Náu theo cĂc tiáp cên truyãn thống, hai s bợt i mët sè häi n o â cõa m¼nh º Ôt ữủc mởt thọa thuên chung, iãu n y l vổ lỵ vẳ B s ữủc hững lủi mc dũ mồi ỏi họi ãu khổng hủp lỵ v A s b mĐt mởt phƯn quyãn lủi chẵnh Ăng cừa mẳnh Trong luên vôn n y tổi ã mởt cĂch tiáp cên mợi cho viằc tẵch hủp tri thực nhơm kh-c phửc nhỳng hÔn chá cừa cĂc tiáp cên hiằn cõ ị tững chẵnh cừa tiáp cên n y nhữ sau: Ôt ữủc thọa thuên giỳa cĂc bản, ta s cho cĂc tranh cÂi vợi nhau, tực l cĂc s dũng lỵ l, lêp luên bÊo vằ cho cĂc ỏi họi cừa mẳnh ỗng thới phÊn bĂc lÔi cĂc ỏi họi cừa ối phữỡng, n o cõ nhiãu chựng cự, lêp luên tốt hỡn thẳ õ s gi nh ữủc nhiãu lủi ẵch hỡn l m ữủc iãu n y, mởt mổ hẳnh tẵch hủp cỡ s tri thực khÊ nông ữủc ã xuĐt dỹa trản mởt mổ hẳnh tranh cÂi nời tiáng ữủc ã xuĐt bi GS PhÔm Minh Dụng [25] Bản cÔnh õ, mởt têp cĂc tiản ã cho tẵch hủp tri thực bơng tranh cÂi cụng ữủc giợi thiằu v cĂc tẵnh chĐt logic cừa nõ cụng ữủc em thÊo luên Mởt chữỡng trẳnh thỹc nghiằm tẵch hủp tri thực dỹa trản mổ hẳnh  ã xuĐt v cĂc Ănh giĂ vã nõ ữủc tián h nh Nởi dung chẵnh cừa luên vôn bao gỗm cĂc ph¦n: 1https://www.cia.gov/library/publications/the-world-factbook/geos/vm.html http://www.worldbank.org/en/country/vietnam ix f; 0:93q; p f _g; 0:92q; ppa_ bq_p d_aq_p e_aq; 0:91q; pf; 0:9q; p b_ f _g; 0:88q; pg_ p d _ aq _ p e _ aq; 0:88q; p e _ f; 0:86q; pd _ f; 0:86q; pa _ b _ c; 0:85q; pa _ b _ c; 0:85q; pp b _ gq _ p d _ aq _ p e _ aq; 0:82q; ppa _ bq ^ pa _ b _ dq; 0:82q; p b _ c _ g; 0:8q; p f; 0:8q; pc _g; 0:8q; p e _p d _aq_p e _aq; 0:79q; pa _ b _d; 0:79q; pd _p d _ aq _ p e _ aq; 0:79q; pp b _ gq^pg _ dq; 0:76q; pd _ g; 0:72q; pp d _ aq _ p e _ aq; 7q; p b _ c _ g; 0:7q; pa _ b; 0:7q; p b _ c _ e; 0:65q; p b _ c _ d; 0:65q; pc _ e; 0:65q; pc _ d; 0:65q; pp b _ gq ^ p b _ d _ gq; 0:64q; pg; 0:6q; pp b _ eq ^ pd _ eq; 0:58q; pp b _ dq ^ d; 0:58q; p b _ d _ g; 0:58q; pd _ e; 0:51q; p b _ c; 0:5q; pc; 0:5q; p b _ g; 0:4q; p b ^ d; 0:4q; p e; 0:3q; pd; 0:3qu Table 3.2 têng hđp nhúng lªp luên khĂc cõ th xƠy dỹng ữủc tứ B ` v £nh h÷ðng cõa nâ nh÷ sau: B£ng 3.2: Danh s¡ch c¡c lªp luªn Lªp luªn A1 xta _ b _ fu; a _ b _ fy A2 A3 A4 A5 A6 A7 A8 A9 A10 A11 A12 A13 A14 A15 A16 A17 A18 A19 A20 A21 A22 A23 A24 A25 A26 A27 A28 A29 A30 A31 A32 A33 A34 A35 ƒnh h÷ðng A36 xt b _ c _ du; b _ c _ dy 0.97 0.97 0.96 0.95 0.95 0.94 0.94 0.94 0.93 0.92 0.91 0.9 0.9 0.9 0.88 0.88 0.86 0.86 0.85 0.85 0.82 0.82 0.8 0.8 0.8 0.8 0.79 0.79 0.79 0.76 0.72 0.7 0.7 0.7 0.65 0.65 Ti¸p tưc ð trang sau xtf _ p d _ aq _ p e _ aqu; f _ p d _ aq _ p e _ aqy xtf _ gu; f _ gy xt b _ c _ fu; b _ c _ fy xtc _ fu; c _ fy xtp b _ fq ^ pd _ fqu; p b _ fq ^ pd _ fqy xt b _ f _ gu; b _ f _ gy xta _ b _ fu; a _ b _ fy xt e _ fu; e _ fy xt f _ gu; f _ gy d _aq_p e _aqy xtpa _ bq_p d _aq_p e _aqu; pa _ bq_p xtfu; fy xta _ b _ f; fu; a _ by xt f _ g; fu; gy xt b _ f _ g; fu; b _ gy xtg _ p d _ aq _ p e _ aqu; g _ p d _ aq _ p e _ aqy xt e _ f; fu; ey xtd _ f; fu; dy xta _ b _ cu; a _ b _ cy xta _ b _ cu; a _ b _ cy b _gq_p d _aq_p e _aqy xtp b _gq_p d _aq_p e _aqu; p xtpa _ bq ^ pa _ b _ dqu; pa _ bq ^ pa _ b _ dqy xt fu; fy xt b _ c _ f; fu; b _ cy xtp b _ fq ^ pd _ fq; fu; b ^ dy xtc _ gu; c _ gy xt e _ p d _ aq _ p e _ aqu; e _ p d _ aq _ p e _ aqy xta _ b _ du; a _ b _ dy xtd _ p d _ aq _ p e _ aqu; d _ p d _ aq _ p e _ aqy xtp b _ gq ^ pg _ dqu; p b _ gq ^ pg _ dqy xtd _ gu; d _ gy xtp d _ aq _ p e _ aqu; p d _ aq _ p e _ aqy xt b _ c _ gu; b _ c _ gy xta _ bu; a _ by xt b _ c _ eu; b _ c _ ey 40 BÊng 3.2 Tiáp tửc trang trữợc Lêp luên A37 xtc _ eu; c _ nh hững ey b _ d _ gqu; p b _ gq ^ p b _ d _ gqy A37 xtc _ du; c _ dy b _ gq ^ p A39 xtp b _ eq ^ pd _ A40 xtp A A A 41 42 43 A 44 equ; p b _ eq ^ pd _ eqy xtp b _ dq ^ du; p b _ dq ^ dy xt b _ d _ gu; b _ d _ gy ey xtd _ eu; d _ xtcu; cy Chóng ta câ U ndercut 0.65 0.65 0.64 0.58 0.58 0.58 0.51 0.5 pA12; A23q; pA12; A24q; pA12; A25q; pA23; A12q; pA23; A13q; pA23, A14q; pA23; A15q; pA23; A17q; pA23; A18q undercut Inc pB`q maxtminp0:9; 0:8q; minp0:9; 0:8q; minp0:9; 0:8q; minp0:8; 0:9q; minp0:8, 0:9q; minp0:8; 0:9q; minp0:8; 0:88q; minp0:8; 0:86q; minp0:8; 0:86qu 0:8: Vỵi att = undercut chóng ta câ: att `pBq tpa _ b _ fq; pf _ p d _ aq _ p e _ aqq; pf _ gq; p b _ c _ f q; pc _ f q; pp b _ fq ^ pd _ fqq; p b _ f _ gq; pa _ b _ fq; p e _ fq; p f _ gq; ppa _ bq _ p d _ aq _ p e _ aqq; pfq; p b _ f _ gq; pg _ p d _ aq _ p e _ aqq; p e _ fq; pd _ fq; pa _ b _ cq; pa _ b _ cq; pp b _ gq _ p d _ aq _ p e _ aqq; ppa _ b q ^ pa _ b_ dqqu 3.2 ành · v mởt số tẵnh chĐt Trong phƯn tiáp theo tổi xin giợi thiằu mởt số nh ã cho tẵch hủp tri thực bơng tranh cÂi GiÊ sỷ cõ B tB1;:::;Bnu l têp hỳu hÔn cĂc cỡ s tri thùc kh£ n n«ng, H m hđp B` x¡c ành nhữ sau: B` : B ẹ B Têp cĂc nh ã ữủc giợi thiằu nhữ sau: (SYM) B`ptB1; :::; Bnuq B`ptB p1q; :::; B pnquq Trong â l ho¡n {1, , n} ành · (SYM) cán ÷đc gåi l ành · (ANO) [29], º £m b£o sü cổng bơng cừa ngữới tham gia Nõ ch rơng kát quÊ cừa mởt quĂ trẳnh tranh cÂi cƯn phÊn Ănh lêp luên cừa nhỳng ngữới tham gia chự khổng ph£i l danh t½nh cõa hå (CON) E P LpB`ptB1; :::; Bnuq $ q ^ pB`ptB1; :::; Bnuq $ q nh ã (CON) yảu cƯu rơng kát quÊ cừa mởt quĂ trẳnh tranh cÂi phÊi nhĐt quĂn (UNA) Náu B1 ::: Bn th¼ B`ptB1; :::; Bnuq B1 ành · (UNA) trẳnh b y vã sỹ thống nhĐt Nõ nõi rơng náu tĐt cÊ nhỳng ngữới tham gia cõ mởt têp tri thực, thẳ têp tri thực n y s l kát quÊ cừa quĂ trẳnh tranh cÂi Ró r ng, ành · (UNA) l têng qu¡t hìn ành · (IDN) v nâ cơng bao h m (IDN) ÷đc x¡c ành nh÷ sau: (IDN) B`ptBi; :::; Biuq Bi (IDN) phĂt biu rơng náu tĐt cÊ nhỳng ngữới tham gia cõ mởt cỡ s tri thực khÊ nông Thẳ sau quĂ trẳnh tranh cÂi, kát quÊ Ôt ÷đc l mët cì sð tri thùc 41 n i (CLO) Bi $ B`ptBi; :::; Biuq ành · (CLO) yảu cƯu tẵnh õng cho kát quÊ cừa quĂ trẳnh tranh cÂi Nõ ch rơng mội tri thực thu ữủc sau quĂ trẳnh tranh cÂi cƯn cõ mởt v i cì sð tri thùc cõa dú li»u ¦u v o ” n (MAJ) N¸u |tBi $ ; i 1; :::; nu| ¡ th¼ B`ptBi; :::; Biuq $ nh ã (MAJ) ch rơng, náu mởt tri thùc ÷đc trđ bði a sè ng÷íi tham gia thẳ nõ phÊi nơm kát quÊ cừa quĂ trẳnh tranh cÂi (COO) Náu Bi $ ; @i 1; :::; n th¼ B`ptBi; :::; Biuq $ ành · (COO) phĂt biu rơng, náu mởt tri thực ữủc hộ trủ bi tĐt cÊ nhỳng ngữới tham gia thẳ nõ phÊi nơm kát quÊ cừa quĂ trẳnh tranh cÂi Chúng ta câ c¡c nhªn x²t sau: - (UNA) bao h m (IDN) - (MAJ) bao h m (COO) Kh£o s¡t vợi cĂc toĂn tỷ tẵch hủp ữủc xĂc nh phƯn trữợc, cõ: nh lỵ 3.2.1 ToĂn tỷ BM A thäa m¢n c¡c ành · (SYM), (CON), (UNA) v (CLO) Khỉng thäa m¢n (MAJ) Chùng minh Gi£ sû chóng ta câ to¡n tû BMA = B` Undercut pBq ; aq| P Bi Y ::: Y Bn; a ¡ IncpB1 Y ::: Y Bnqu B¥y gií chóng ta ch rơng BM A thọa mÂn cĂc nh ã (SYM), (CON), (UNA), (CLO) v khỉng thäa m¢n (MAJ) - Bi vẳ kát quÊ Ôt ữủc xƠy dỹng dỹa v o niãm tin v sỹ ữu tiản cừa ối tữủng d nh cho c¡c thæng tin n y chù khæng phÊi l danh tẵnh cừa ối tữủng Do õ, SYM ữủc thọa mÂn - Bi vẳ quĂ trẳnh tẵch hủp, viằc xĂc nh khổng nhĐt quĂn  giúp ta loÔi bọ ữủc cĂc tri thực mƠu thuăn vợi têp tri thực chung ban Ưu Do õ, CON ữủc thọa mÂn - Trong kát quÊ cừa quĂ trẳnh tẵch hñp, c¡c tri thùc câ mùc ë ch-c ch-n nhä hỡn khổng nhĐt quĂn s b loÔi bọ Do â, mët tri thùc ÷đc trđ bði a số ngữới tham gia quĂ trẳnh tẵch hủp Ênh hững Ôt ữủc nhọ hỡn khổng nhĐt quĂn thẳ tri thực õ cụng s b loÔi bọ sau quĂ trẳnh tẵch hủp Vẳ vêy MAJ khổng ữủc thọa mÂn Nởi dung chẵnh cừa chữỡng n y l cung cĐp mởt mổ hẳnh tẵch hủp tri thực bơng tranh cÂi ị tững chẵnh cừa mổ hẳnh n y l sỷ dửng khổng nhĐt quĂn nhữ l mởt thữợc o vợi khĂi niằm undercut, thừ tiảu xƠy dỹng mởt mổ hẳnh tranh c Âi cho tẵch hủp tri thực Bản cÔnh õ, mởt têp cĂc nh ã cụng  ữủc giợi thiằu v tẵnh hủp lỵ cừa nõ cụng  ữủc ã cêp v mang th£o luªn Cho B1 Inc undercut a; 0:7; ; b; 0:1 qp pB`q = 0.28 v ` att qu ; B2 pBq a _ a _ b; 0:9 ; b; 0:2 qu Vỵi att = undercut v qp bq; pa _ bq; paq; p bqu 42 `p ; q : chóng ta câ Chữỡng Thỹc nghiằm v Ănh giĂ Do hÔn chá vã mt thới gian, khuổn khờ luên vôn n y, tỉi ch¿ ti¸n h nh thüc c i °t mởt phƯn cừa mổ hẳnh ã xuĐt, cử th l quĂ trẳnh tẵch hủp ch thỹc hiằn ữủc vợi dỳ li»u ¦u v o câ hai cì sð tri thùc v c¡c cæng thùc logic câ chùa ph²p tuyºn, chữa thỹc hiằn ữủc vợi php hởi PhƯn cỏn lÔi s ữủc tián h nh nhỳng nghiản cựu tiáp theo 4.1 Mổi trữớng thỹc nghiằm QuĂ trẳnh thỹc nghiằm cừa luên vôn ữủc thỹc hiằn trản mĂy tẵnh cõ cĐu hẳnh: Chip Intel(R) Core(TM) i7-2640M, 2.80GHz Ram: 6GB Hằ i·u h nh: Windows 10 - 64 bit Samsung SSD 850 Evo 250G Cổng cử lêp trẳnh: Chữỡng trẳnh ữủc viát bơng C7, nãn tÊng Net 3.5, sỷ dửng IDE l Visual Studio 2015 v Infragistics º thi¸t k¸ giao diằn 4.2 QuĂ trẳnh thỹc nghiằm 4.2.1 Giợi thiằu vã chữỡng trẳnh Giao diằn chẵnh cừa chữỡng trẳnh gỗm cõ hai phƯn: PhƯn chực nông (chú thẵch [1] - hẳnh 4.1): bao gỗm menu chẵnh, chồn file dỳ liằu, chồn h m hđp v hiºn thíi gian thüc hi»n tẵnh toĂn PhƯn hin th (chú thẵch [2] - hẳnh 4.1): hin th dỳ liằu Ưu v o tẵnh toĂn v kát quÊ thu ữủc sau tẵnh toĂn CĂc chực nông chẵnh cừa chữỡng trẳnh: Logic khÊ nông: xĂc nh h m phƠn phối khÊ nông, tẵnh khổng nhĐt quĂn, xĂc nh ngữùng, kát luên hủp lỵ, kát luên khÊ nông 43 Hẳnh 4.1: Giao diằn chữỡng trẳnh Tẵch hủp tri thực bơng tranh cÂi xĂc nh: kát quÊ cừa h m hủp, cĂc lêp luên, quan hằ undercut, khổng nhĐt quĂn, kát quÊ cừa toĂn tỷ BMA Kát xuĐt kát quÊ dữợi dÔng file excel hoc word, tÔo h m hủp v tÔo cỡ s tri thực Yảu cƯu dỳ liằu Ưu v o: CĂc thổng tin Ưu v o ữủc biu diạn dữợi dÔng cỉng thùc kh£ n«ng, méi mët cì sð tri thùc thẳ ữủc nơm mởt cĐu trúc cõ dÔng f ormula tu V½ dư f ormulatpa_ b; 0:7q; pb; 0:6q; pa; 0:4qu Trong phƯn logic khÊ nông, tẵnh phƠn phối khÊ nông thẳ cĂc diạn giÊi Ưu v o ữủc nơm mởt cĐu trúc cõ dÔng intertu vẵ dö intertpa; b; cq; pa; b; cq; pa; b; cqu CĂc kỵ hiằu php toĂn bao gỗm: php hoc (|), php v (&), phừ nh ( ) Yảu cƯu ối vợi viằc tÔo h m hủp phÊi thọa mÂn hai tẵnh chĐt sau: (1) `p0; : : : 0q 0, (2) Náu Ơ bi vợi tĐt cÊ i 1; : : : ; n th¼ `pa1; : : : ; anq Ơ `pb1; : : : ; bnq Yảu cƯu ối vợi viằc tÔo cỡ s tri thực: Hẳnh 4.2: TÔo cỡ s tri thực Số cỡ s: Số cỡ s tri thực m ta muốn tÔo Số cổng thùc tèi a: Sè cæng thùc tèi a méi mët cì sð tri thùc 44 Thuªt to¡n tü ëng sinh cỡ s tri thực nhữ sau: Yảu cƯu Ưu v o: countKB, maxF Trong â countKB l sè cì s tri thực muốn tÔo, maxF l số cổng thực tèi a câ thº câ ð méi cì sð tri thực Kát quÊ: CĂc cỡ s dỳ liằu thọa mÂn yảu cƯu Ưu v o begin a:= countKB // số cỡ s tri thực muốn tÔo b:= maxF // số cæng thùc tèi a câ thº câ ð méi cæng thực c:=0 // số cỡ s tri thực  tÔo d:=0 // mùc ë ch-c ch-n cõa méi cæng thùc e:=0 // sè cæng thùc s³ câ méi cæng thùc FM // l÷u c¡c cỉng thùc mët cì sð tri thùc KB // l÷u c¡c cì sð tri thùc while c