kết luận áp dụng các mô hình để phát triển phần mềm giải toán hoàn chỉnh

trình bày về kết luận áp dụng các mô hình để phát triển phần mềm giải toán hoàn chỉnh

KET LU~N

Lu~n an dff t~ptIling nghien CUll va phat tri€n cac mo hlnh bi€u diSn tri thuG

d€ lam cd sa va la Gong Cl,l cho vi~c thiSt kS cd sa tri thUG, bQ suy lu~n tv dQng

giai toan cling nhu' giao di~n cua cac h~ giai toan thong minh Cac h~ th6ng nay

co ho?t dQng tu'duy giai toan tu'dngtv nhu'ngu'oi va co kha nang cho cac Wi giai tu'ong minh, tv nhien va phil hQp vai cach nghI va cach viSt cua con ngu'oi Lu~n

an dff d?t du'QcmQt so'kSt qua chinh nhu'sau:

v~ m~t ly thuySt lu~n an dff gap phin trong vi~c phat tri€n cac mo hlnh bi€u

diSn tri thUGmai Lu~n an phan tich va danh gia cac phu'dng phap bi€u diSn tri

thUGdff biSt, khao sat nhii'ng kSt qua nghien CUllv~ ly thuySt cling nhu'thvc hanh

tit do xay dvng du'QcmQt so' mo hlnh bi€u diSn tri thuG kha t6t co th€ sa dl,lng

trGmgthiSt kS cac h~ giai toan dva tren tri thuG.Cac mo hlnh nay g6m:

rif Mo hlnh m?ng suy diSn tinh toan trong do tich hQp cac ky thu~t bi€u diSn m?ng ngii' nghla, bi€u diSn d(;lnglu~t d~n, bi€u diSn cf(u truc d~c bi~t la bi€u diSn tren cd sa cac d6i tu'cjngcling vai cae ky thu~t tinh toan symbolic tren may tinh

2 Mo hlnh tri thuG v~ cac C-Object la mQt mo hlnh bi€u diSn tri thuGtheo

cach tiSp c~n hu'ang d6i tu'Qng Mo hlnh cho ta mQt th€ hi~n tu'dng d6i diy

du vai cac cf(u truc tu'ong minh cho mQt lOp kiSn thuG t6ng quat baa g6m

mQt h~ th6ng cac khai ni~m v~ cac C-Object, cac quail h~ dinh tinh cling nhu' dinh lu'Qngtren cac khai ni~m C-Object, cac lo?i sv ki~n khac nhau lien quail dSn cac lo(;liquail h~ clingvai cac d?ng lu~t kha phongphu

3 Mo hlnh m?ng cac C-Object la mQt ma hlnh th€ hi~n du'Qc cac d(;lngbai toan t6ng quat trong tri thuG v~ cac C-Object

Tren cd sa cac mo hlnh bi€u di~n tri thuG tren lu~n van cling neu leD each t6 chUGcd sa tri thuGv~ cac C-Object va phat tri€n cac thu~t gi,H d€ giai quye't cac

va'n d~ cd ban du<,1cd~t ra tren mo hlnh.

Do'i voi mo hlnh m~ng suy di~n va tinh toaD, cac va'n d~ cd ban du<,1cgiai

quye't bao g6m:

1 Khao sat tinh giai du<,1ccila bai toaD suy di~n

2 TIm bao dong cila mQt t~p thuQc tinh

3 TIm Wi giai cho bai toaD va th1;(chit$n cac tinh toaD bao g6m tinh toaD so'

va tinh toaD kY hit$u

4 TIm Wi giai to'i u'u tren m~ng suy di~n tinh toaD co tn;mg so'

5 TIm mQt t~p h<,1psinh tren m~ng suy di~n tfnh toaD va giai quye't va'n d~ b6 sung gia thie't cho bai toaD

Dqi voi mo hlnh tri thuG v~ cae C-Object ta co mQt t6 chuG cd sa tri thUGch~c

che va tit$n l<,1icho vit$c hit$u chlnh, truy c~p cling nhu cho vit$c sii' d\lng tri thUG trong giai t1;(dQng cac bai toaD

Do'i voi mo hlnh m~ng cac C-Object, lu~n van cling neu leD cac thu~t giai d€

giai quye't cac va'n d~ cd ban do'i voi bai toan tu'dng t1;(nhu cac yell c~u cd ban

do'i vOi bai toaD tren m~ng suy di~n tinh toaD nhung voi mUGdQ khai quat va

ph~m vi ap d\lng rQng va Sail hdn

Cuo'i cling cac mo hlnh bi€u di~n tri thUGd€ ra trong lu~n van du<,1cchi r5 U'U the'va l<,1iich cila chung trong vit$cthie't ke' cae chudng trlnh giai bai toaD thong minh d1;(atren tri thUGthong qua vit$c thie't ke' va cai d~t mQt so' chudng trlnh ung d\lng c\l th€ g6m:

1 Chudng trlnh giai toaD mQt C-Object t6ng quat Chu'dng trlnh nay co kha

Dang giai cac bai toaD tren mQt C-Objeet ba't ky co trong cd sa tri thUGcila

chudng trlnh nhu: giai cac ba.i toaD tren tam giac, tren tu giac

2 Chudng trlnh giai cac bfli toan hlnh hQcph~ng trong d6 c6 th~ giai cac bai toan tinh toan tren ky hi~u Cllnhu giai cac bai toan suy di~n tren cac sv ki~n quail h~ hlnh hQCva cac bai toan suy di~n lien quail de'n ca tinh toan l§:nquail h~

3 Chudng trlnh giai bai toan hlnh hQc giai tich 3 chi~u c6 kha nang thvc hi~n cac suy di~n va Hnh toan d~ giai duQc nhi~u d~ng bai toan khac nhau

4 Chudng trlnh giai mQt s6 bai toan suy di~n tren cac phan ling h6a hQc Huang pha t tri~n cua lu~n van:

1 Tie'p tl:1Cpha t tri~n va hoan thi~n mo hlnh tri thuc v~ cac C-Object tie'n tai

xay dvng mQt h~ cd sd tri thuc cho lOp cac kie'n thuc lo~i nffy vai dffy du

cac chuc nang nhu hi~u chlnh, truy c~p, trao d6i tri thuc phan tan va giai

$' toan tvdQng

0;

2 Ap dl:1ngcac mo hlnh d~ phat tri€n cac san phfi'm phffn m~m giai toan hoan chlnh nhu giai cac bai toan v~ d~i s6, giai tich, hlnh hQc, v~t 19, h6a

hQc V.v trong d6 cling dip nhi~u chuc nang da d~ng duQc phan lOp d~ c6 th~ dung trong tra CUll kie'n thuc, hQc kie'n thuc, hQc giai toan vai nhi~u muc dQ khac nhau

3 Phat tri~n cac ky thu~t hQC va kham pha tri thuc dva tren cac mo hlnh

bi~u di~n tri thuc d~ tang cuong kha nang hQCva phat tri~n tri thuc cua cac h~ giai bai toan thong minh