. E>~c tei bai loan:
KET LU!.N
Lu~n an dft t~p trung nghien cliu va phat tri6n cac mo hlnh bi6u di~n tri thUc d6 lam co sd va 1a cong C\1cho vil$c thie't k€ co sd tri thlic, bQ suy 1u~n tlf dQng giai toan cling nhll' giao di~n cua cac hI$giiii toan thong minh. Cac hl$ th6ng nay c6 ho~t c1Qilg tll'duy giai toan tll'ong tlf nhll' ngll'oi va c6 kha nang cho cac Wi\ ' giai tll'ong minh, tlf nhien' va phuh<;Jp voi cach nghI va cach vi€t cua con ngll'oi. Lu~n an da d~t dll'<;JcmQt sO'ke't qua chinh nhll' sail:
V6 m~t 19 thuye't 1u~n an dft g6p ph~n trong vi~c phat tri6n cac mo hlnh biSu di6n tri thlic moi. Lu~n an phan tich va danh gia cac phll'ong phap bi6u di~n tri thUc dft bie't, khao sat nhung ke't qua nghien cliu v6 19 thuy€t cling nhll' thlfc hanh tU d6 xay dlfng dll'<;JcmQt sO'mo hlnh bi6u di~n tri thUc kha t6t c6 th6 sa
dl,mg trong thie't ke' cae h~ giai toan dtfa tren tri thue. Cae m6 hlnh nay g6m:
1. M6 hlnh m~ng suy di~n Hnh toan trong do tich hc;ipcae ky . thu~t biSu di~n m~ng ngu nghla, biSu di~n d~ng lu~t d~n,
biSu di~n ca:u true d~e bi~t la biSu di~n tren cd sa cae d6i tu'c;ingcling vai cae ky thu~t Hnh toan symbolic tren may tinh.
2. M6 hlnh tri thue vS cae C-Objeet la mOt m6 hlnh biSu di~n tri thue theo caeh tie'p e~n hu'ang d6i tu'c;ing.M6 hlnh eho ta mOt thS hi~n tu'ong u6i d~y uu vai cae ca:u true tu'ong minh eho mOt lOr ki6nthact6ng quM bao g6m mOth9 thong cae khlii ni9m v~ de C-Objcet, de qllun hO djnh tfnh eGng nhl\' dinh lu'c;ingtren cae kMi ni~m C-Objeet, cae lo~i s1,1'ki~n khae nhau lien quail de'n cae lo~i quail h~ cling vai cae d~ng lu~t kha phong phu.
3. M6 hlnh m~ng cae C-Objeet la mOt m6 hlnh thS hi~n du'c;ie cae d~ng bai toan t6ng quat trong tri thue vS cae C-Objeet. Tren cd sa cae m6 hlnh biSu di~n tri thue tren lu~n van eGng neu leu caeh t6 chIle cd so tri thue v~ cae C-Objeet va pMt tri~n cae thu~t giai as giai quye't cae va'n d~ co ban du'c;ied~t ra tren m6 hlnh.
D6i vdi mo hlnh m~ng suy di~n va tinh toan, cae va'n dS cd ban du'ge giai quye't baa g6m:
1. Khao sat tinh giai du'ge eua bai toan suy di~n. 2. TIm baa dong eua mOt t~p thuOe Hnh.
3. TIm Wi giai eho bai toan va th1,1'ehi~n cae tinh toan baa g6m tinh toan so' va tillh toan ky hi~u.
4. TIm Wi giai t6i u'u tren m~ng suy di~n tinh loan co tn,)fig so'.
5. TIm mQt t~p h<;1psinh tren m~ng suy di~n tinh loan va giai quye't va'n d~ b6 sung gia thie't cho bai loan.
D6i voi mo hlnh tri thuG v~ cac C-Object ta co mQt t6 chuG cd sa tri thUGch~c eM va ti~n l<;1icho vi~c hi~u chinh, truy c~p eling nhu' cho vi~c SU dl,lllg tri thuG trong giai tv dQng cac bai loan.
D6i vdi mo hlnh m~ng cac C-Object, lu~n van cling lieU leu cac thu~ t gi<'tid~ giai quye't cac va'n d~ cd ban d6i voi bai loan tu'dng tv nhu' cac yell du cd ban d6i voi bai loan tren m~ng suy di~n tinh loan nhu'ng voi mUGdQ khai quat va ph~m vi ap dl,lllg rQng va sa u hdn.
Cu6i clIng cac mo hlnh bi~u di~n tri thUGd~ ra trong lu~n van c1u'<;1Cchi ro u'u the' va l<;1iich cua chung trang vi<$cthie't ke' cae ehu'dng tdnh giai bai loan thOng minh dva tren tri thue thong qua vi<$cthie't ke' va dli d~t mQt so' chu'dng tdnh ung dl,1ngcl,1th~ g6m:
1. Chu'dng tdnh giai loan mQt C-Object t6ng quat. Chu'dng tdnh nay co kha nang giai cac bai loan tren mQt C-Object ba't ky co lrong cd sa tri thUGcua ehu'dng tdnh nhu': giai cae bai loan tren tam giac, tren tU giac.
2. Chu'dng tdnh giai cac bai loan hlnh hQc ph~ng trong d6 co th~ giai cac bai loan tinh loan tren ky hi~u cli nhu' giai cac bai loan suy di~n tren cae sv ki~n quail h~ hlnh hQc va cae bai loan suy di~n lien quail de'n ca tinh loan lh quail M. 3. Chu'dng tdnh giai bai loan hlnh hQCgiai rich 3 chi~u co kha
nang thvc hi~n cac suy di~n va tinh loan d~ giai du'<;1cnhi~u d~ng bai loan khac nhau.
4. Chu'dng tdnh giai mQt so' bai loan suy di~n tren cac phan ung h6a hQc.
Huang phat tri~n cua lu~n van:
1. Tie'p t1,1Cphat tri~n va hoan thi~n mo blah tri thuc v~ cac C- Object tie'n Wi xfiy dlfng mi)t M cd sa tri thuc cho lOp cac kie'n thuc 101;lingy vai dgy du cac chuc nang nhu hi~u chinh, truy c~p, trao d6i tri thuc phan tan va giai loan tlf di)ng. 2. Ap dl,Ingcac mo blah dS phat tri~n cac san phffm phgn m~m
giai loan hoan chinh nhu giiii cac bai loan v~ d1;lis6, giai tich, blah hQc, v~t ly, h6a hQc v.v... trong d6 cling dip nhi~u chuc nang da d1;lngduQc phan lOp d~ c6 th~ dung trong tra CUllkie'n thuc, hQc kie'n thuc, hQc giili loan vdi nhi~u muc dO khac nhau.
3. Phat tri~n cac ky thu~t hQc va kham pha tri thUc dlfa tren dc mo hint bi6u di6n tri thuc d6 t~ng cu(jng khi\ n~ng h9C va phat triSn tri thuc cua cac h~ giili bai loan thong mint.