Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 11 trang
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng
Số trang
11
Dung lượng
107,67 KB
Nội dung
Tiu lun: Lp trình Symbolic và trí tu nhân to HVTH: Trng Lê Minh Ngc - CH1101024 Trang: 1 MC LC MC LC 1 LI M U 2 PHN 1: TNG QUAN V MAPLE 3 1 Tng quan 3 2 Chc nng ct lõi 3 3 Kin trúc 4 4 Lch s 4 PHN 2: GII VÀ BIN LUN H PHNG TRÌNH BC NHT 2 N S 7 1 Phân tích yêu cu 7 2 Cu trúc d liu 7 3 Thut gii 7 4 D liu th nghim 8 KT LUN 10 TÀI LIU THAM KHO 11 Tiu lun: Lp trình Symbolic và trí tu nhân to HVTH: Trng Lê Minh Ngc - CH1101024 Trang: 2 LI M U Maple là mt thng tính toán trên các biu thc i s và minh h!a toán h!c m nh m∀. T# khi ra ∃i n nay Maple ã phát trin qua rt nhi%u phiên bn, Maple có cách cài &t ∋n gin, ch y ()c trên nhi%u h i%u hành, có cu trúc linh ho t s d∗ng mt cách ti (u cu hình máy và có trình tr) giúp rt d+ s d∗ng. Tri qua nhi%u phiên bn, Maple cung cp ngày càng nhi%u các công c∗ tr,c quan, các gói lnh giúp tính toán toán h!c. u im ó làm cho nhi%u ng(∃i l,a ch!n và s d∗ng Maple cùng v−i các phn m%m toán h!c khác áp d∗ng trong nghiên cu, ging d y và các công vic tính toán khác. Ngoài các tính nng tính toán và minh h!a rt m nh m∀ b.ng các câu lnh riêng bit và c∗ th cho ta kt qu cui cùng, Maple còn là mt ngôn ng lp trình th/ t∗c (procedure). Th/ t∗c là mt dãy các lnh c/a Maple ()c lp trình theo th t, nh s0n x lý mt công vic nào ó, khi th,c hin th/ t∗c, Maple s∀ t, ng th,c hin tun t, các lnh có trong th/ t∗c ó mt cách tun t, sau ó (a ra kt qu cui cùng. Trong khuôn kh bài tiu lun môn h!c “Lp trình Symbolic và trí tu nhân to”, em xin trình bày mt vài kt qu trong vic s d∗ng Maple vit th/ t∗c “Gii và bin lun h phng trình bc nht 2 n s”. Tuy ã có nhi%u c g1ng nh(ng do h n ch v% kinh nghim, kin thc, th∃i gian và ngu2n tài liu tham kho nên các vn % tìm hiu trong bài thu ho ch ch1c ch1n còn nhi%u thiu sót. Kính mong Thy xem xét và góp ý thêm. Em xin chân thành cám n Thy! Trng Lê Minh Ngc Tiu lun: Lp trình Symbolic và trí tu nhân to HVTH: Trng Lê Minh Ngc - CH1101024 Trang: 3 PHN 1: TNG QUAN V MAPLE 1 Tng quan Maple là mt gói phn m%m toán h!c th(∋ng m i ph∗c v∗ cho nhi%u m∗c ích. Nó phát trin ln u tiên vào nm 1980 b3i Nhóm Tính toán Hình thc t i i h!c Waterloo 3 Waterloo, Ontario, Canada. T# nm 1988, nó ã ()c phát trin và th(∋ng m i hóa b3i Waterloo Maple Inc. (còn ()c bit n v−i tên g!i Maplesoft), mt công ty Canada c4ng có tr∗ s3 t i Waterloo, Ontario. Phiên bn hin t i là Maple 13 ()c phát hành vào tháng 5 nm 2009. i th/ c nh tranh chính c/a nó là Mathematica. 2 Chc nng ct lõi Ng(∃i dùng có th nhp biu thc toán h!c theo các ký hiu toán h!c truy%n thng. Có th d+ dàng t o ra nhng giao din ng(∃i dùng tùy ch!n. Maple h5 tr) cho c tính toán s và tính toán hình thc, c4ng nh( hin th. Nhi%u phép tính s h!c ()c th,c hin d,a trên th( vin s h!c NAG; trong Maple, các ch(∋ng trình con NAG ã ()c m3 rng cho phép chính xác ng6u nhiên l−n. Các ví d∗ v% tính toán hình thc s∀ ()c trình bày trong phn sau. Maple c4ng có mt ngôn ng lp trình cp cao y /. C4ng có giao din cho nhng ngôn ng khác (C, Fortran, Java, MatLab, và Visual Basic). C4ng có mt giao din dành cho Excel. Tiu lun: Lp trình Symbolic và trí tu nhân to HVTH: Trng Lê Minh Ngc - CH1101024 Trang: 4 3 Kin trúc Phn l−n chc nng toán h!c c/a Maple ()c vit b.ng ngôn ng Maple, và ()c thông dch b3i nhân Maple. Nhân Maple ()c vit b.ng C. Maple ch y trên tt c các h i%u hành chính. Ngôn ng lp trình Maple là mt ngôn ng kiu ng. C4ng ging nh( các h thng i s máy tính, các biu thc hình thc ()c l(u tr trong b nh− theo 2 th không chu trình có h(−ng (DAG). Ngôn ng cho phép các bin có ph m vi nht nh (lexical scoping). Ngôn ng có hình thc lp trình hàm, nh(ng c4ng có h5 tr) y / cho lp trình truy%n thng, theo kiu mnh lnh. Mt i%u l i v−i ch(∋ng trình th(∋ng m i, a s mã ngu2n %u có th xem t, do. 4 Lch s Khái nim u tiên v% Maple xut phát t# mt cuc h!p vào tháng 11 nm 1980 t i i h!c Waterloo. Nhng nhà nghiên cu t i i h!c mun mua mt máy tính / m nh ch y Macsyma. Thay vào ó, ng(∃i ta quyt nh h! s∀ phát trin h thng i s máy tính riêng có th ch y ()c nhng máy tính có giá thành h)p lý h∋n. Do ó, d, án b1t u v−i m∗c tiêu là t o ra mt h thng i s hình thc mà các nhà nghiên cu và sinh viên có th truy cp ()c. S, phát trin u tiên c/a Maple ()c tin hành rt nhanh, v−i phiên bn h n ch u tiên xut hin vào tháng 12 nm 1980. Nhng nhà nghiên cu ã th nghim và lo i b7 nhi%u ý t(3ng khác nhau t o ra mt h thng liên t∗c ci tin. Maple ()c trình di+n u tiên t i nhng hi ngh b1t u vào nm 1982. n cui nm 1983, trên 50 tr(∃ng i h!c ã cài Maple trên máy c/a h!. Do s l()ng h5 tr) và yêu cu giy phép l−n, vào nm 1984, nhóm nghiên cu ã s1p xp v−i WATCOM Products Inc cp phép và phân phi Maple. Tiu lun: Lp trình Symbolic và trí tu nhân to HVTH: Trng Lê Minh Ngc - CH1101024 Trang: 5 Vào nm 1988, do s l()ng h5 tr) ngày càng tng, Waterloo Maple Inc. ()c thành lp. M∗c tiêu u tiên c/a công ty là qun lý nhng bn phân phi phn m%m. Cui cùng, công ty c4ng phi m3 ra phòng R&D 3 ó khá nhi%u s, phát trin cho Maple ()c th,c hin n ngày nay. S, phát trin áng k c/a Maple tip t∗c di+n r i nhng phòng thí nghim tr(∃ng i h!c, bao g2m: Phòng thí nghim Tính toán hình thc t i i h!c Waterloo; Trung tâm nghiên cu Tính toán hình thc Ontario t i i h!c Tây Ontario; và nhng phòng thí nghim kh1p n∋i trên th gi−i. Vào nm 1989, giao din 2 h!a ng(∃i dùng u tiên c/a Maple ()c phát trin và bao g2m trong bn 4.3 dành cho Macintosh. Nhng phiên bn tr(−c c/a Maple ch8 g2m giao din dòng lnh v−i ngõ ra hai chi%u. Bn X11 và Windows v−i giao din m−i tip b(−c vào nm 1980 v−i Maple V. Vào nm 1999, v−i vic phát hành Maple 6, Maple ã (a vào mt s Th( vin S h!c NAG, ()c m3 rng chính xác ng6u nhiên. Vào nm 2003, giao din "chu9n" hin nay ()c gi−i thiu trong Maple 9. Giao din này ()c vit ch/ yu b.ng Java (m&c dù có nhi%u phn, nh(ng lut cho vic gõ công thc toán h!c, ()c vit b.ng ngôn ng Maple). Giao din Java b phê phán là chm; nhng s, phát trin ()c th,c hin trong các bn sau, m&c dù tài liu Maple 11 documentation khuyn cáo giao din (“c in”) tr(−c ây dành cho ng(∃i v−i b nh− vt lý ít h∋n 500 MB. Giao din c in này không còn ()c bo trì. Gia 1995 và 2005 Maple ã mt khá nhi%u th phn vào tay i th/ do có giao din ng(∃i dùng yu h∋n. Nh(ng vào nm 2005, Maple 10 gi−i thiu mt “ch vn bn” m−i, nh( mt phn c/a giao din chu9n. Tính nng chính c/a ch này là phép toán ()c (a vào b.ng ngõ nhp hai chi%u, do ó nó xut hin t(∋ng t, nh( công thc trong sách. Vào nm 2008, Maple 12 ã thêm nhng tính nn giao din ng(∃i dùng ging nh( Mathematica, g2m có nhng kiu trình bày theo m∗c ích &c bit, qun lý phn u và cui trang, so trùng m3 óng Tiu lun: Lp trình Symbolic và trí tu nhân to HVTH: Trng Lê Minh Ngc - CH1101024 Trang: 6 ngo&c, vùng th,c hin t, ng, m6u hoàn thành lnh, kim tra cú pháp và vùng t, ng kh3i t o. Nhng tính nng khác ()c thêm làm cho Maple d+ dùng h∋n nh( mt hp công c∗ Maple. Tiu lun: Lp trình Symbolic và trí tu nhân to HVTH: Trng Lê Minh Ngc - CH1101024 Trang: 7 PHN 2: GII VÀ BIN LUN H PHNG TRÌNH BC NHT 2 N S 1 Phân tích yêu cu - u vào: Cho h ph(∋ng trình: =+ =+ ''' cybxa cbyax i%u kin: a 2 +b 2 :0 và a’ 2 +b’ 2 :0 V−i a,b,c,a’,b’,c’ có th cha tham s m v−i bc nh7 h∋n 2. - u ra: Kt qu gii và bin lun h ph(∋ng trình bc nht 2 9n s theo tham s có bc nh7 h∋n 2. 2 Cu trúc d liu - S d∗ng các bin a1, b1, c1 l(u tr các h s c/a ph(∋ng trình 1 - S d∗ng các bin a2, b2, c2 l(u tr các h s c/a ph(∋ng trình 2 - S d∗ng các bin dd, ddx, ddy l(u tr D, Dx, Dy - S d∗ng các bin a3, b3, c3 l(u tr các h s c/a ph(∋ng trình D=0 - S d∗ng các bin a4, b4, c4 l(u tr các h s c/a ph(∋ng trình Dx=0 - S d∗ng các bin a5, b5, c5 l(u tr các h s c/a ph(∋ng trình Dy=0 3 Thut gii &t: D= 'a a 'b b Tiu lun: Lp trình Symbolic và trí tu nhân to HVTH: Trng Lê Minh Ngc - CH1101024 Trang: 8 Dx= 'b b 'c c Dy= 'c c 'a a - Nu D : 0: H ph(∋ng trình có 1 nghim duy nht x = Dx/D và y = Dy/D - Nu D = 0 và (Dx : 0 hay Dy : 0): H ph(∋ng trình vô nghim - Nu D = Dx = Dy = 0: H ph(∋ng trình có vô s nghim (theo công thc nghim tng quát) 4 D liu th nghim - hephuongtrinh(m*x+y = m+1, x+m*y = 2); Ta co: D=m^2-1, Dx=m^2+m-2, Dy=m-1 Xet phuong trinh D=m^2-1=0 Ta co delta=4 Phuong trinh D=0 co 2 nghiem phan biet m=-1 va m=1 Voi m=-1, ta co Dx=-2 va Dy=-2. Vay he phuong trinh vo nghiem. Voi m=1, ta co Dx=0 va Dy=0. Vay he phuong trinh co vo so nghiem (x,y) thoa man x+y = 2. Voi m<>-1 va m<>1, ta co D<>0. Vay he phuong trinh co 1 nghiem duy nhat (x,y) trong do x=(m+2)/(m+1) va y=1/(m+1) - hephuongtrinh(m*x+4*y = 2, x+m*y = m+1); Ta co: D=m^2-4, Dx=-2*m-4, Dy=m^2+m-2 Xet phuong trinh D=m^2-4=0 Ta co delta=16 Phuong trinh D=0 co 2 nghiem phan biet m=-2 va m=2 Voi m=-2, ta co Dx=0 va Dy=0. Vay he phuong trinh co vo so nghiem (x,y) thoa man -2*x+4*y = 2. Voi m=2, ta co Dx=-8 va Dy=4. Vay he phuong trinh vo nghiem. Tiu lun: Lp trình Symbolic và trí tu nhân to HVTH: Trng Lê Minh Ngc - CH1101024 Trang: 9 Voi m<>-2 va m<>2, ta co D<>0. Vay he phuong trinh co 1 nghiem duy nhat (x,y) trong do x=-2/(m-2) va y=(m-1)/(m-2) - hephuongtrinh(m*x-4*y = m-1, 2*x+(m+6)*y = 3); Ta co: D=m^2+6*m+8, Dx=m^2+5*m+6, Dy=m+2 Xet phuong trinh D=m^2+6*m+8=0 Ta co delta=4 Phuong trinh D=0 co 2 nghiem phan biet m=-4 va m=-2 Voi m=-4, ta co Dx=2 va Dy=-2. Vay he phuong trinh vo nghiem. Voi m=-2, ta co Dx=0 va Dy=0. Vay he phuong trinh co vo so nghiem (x,y) thoa man -2*x-4*y = -3. Voi m<>-4 va m<>-2, ta co D<>0. Vay he phuong trinh co 1 nghiem duy nhat (x,y) trong do x=(m+3)/(m+4) va y=1/(m+4) - hephuongtrinh((m-1)*x+2*m*y = -2, 2*m*x+(m-1)*y = m-1); Ta co: D=-3*m^2-2*m+1, Dx=2-2*m^2, Dy=m^2+2*m+1 Xet phuong trinh D=-3*m^2-2*m+1=0 Ta co delta=16 Phuong trinh D=0 co 2 nghiem phan biet m=1/3 va m=-1 Voi m=1/3, ta co Dx=16/9 va Dy=16/9. Vay he phuong trinh vo nghiem. Voi m=-1, ta co Dx=0 va Dy=0. Vay he phuong trinh co vo so nghiem (x,y) thoa man -2*x-2*y = -2. Voi m<>1/3 va m<>-1, ta co D<>0. Vay he phuong trinh co 1 nghiem duy nhat (x,y) trong do x=2*(m-1)/(3*m-1) va y=-(m+1)/(3*m-1) Tiu lun: Lp trình Symbolic và trí tu nhân to HVTH: Trng Lê Minh Ngc - CH1101024 Trang: 10 K T LUN Bài tiu lun ã gi−i thiu tng quan v% Maple và minh h!a tính nng b.ng th/ t∗c “Gii và bin lun h phng trình bc nht 2 n s”. T# ó có th xây d,ng nên nhi%u ch(∋ng trình khác ph∗c v∗ cho ging d y và h!c tp. Và có th nhn thy r.ng nu khai thác tt các tính nng c/a Maple s∀ em l i cho ta mt công c∗ rt hiu qu trong nghiên cu khoa h!c và trong nhi%u l;nh v,c khác. Mt ln na em xin gi l∃i cm ∋n chân thành n Thy ! Vn Nhn. Thy ã cung cp cho chúng em rt nhi%u kin thc và kinh nghim quý báu cùng v−i s, h(−ng d6n tn tình trong sut th∃i gian môn h!c. [...]... n: L p trình Symbolic và trí tu nhân t o 3 Kin trúc Phn l−n ch c n ng toán h!c c/a Maple ()c vi t b.ng ngôn ng Maple, và ()c thông d
ch b3i nhân Maple Nhân Maple ()c vi t b.ng C Maple ch y trên tt c các h i%u hành chính Ngôn ng lp trình Maple là m t ngôn ng ki u ng C4ng gi ng nh( các h th ng i s máy tính, các bi u th c hình th c ()c l(u tr trong b nh− theo 2 th không chu trình. .. 1982 n cu i n m 1983, trên 50 tr(∃ng i h!c ã cài Maple trên máy c/a h! Do s l()ng h5 tr) và yêu cu giy phép l−n, vào n m 1984, nhóm nghiên c u ã s1p x p v−i WATCOM Products Inc cp phép và phân ph i Maple HVTH: Tr ng Lê Minh Ng c - CH1101024 Trang: 4 Ti u lu n: L p trình Symbolic và trí tu nhân t o Vào n m 1988, do s l()ng h5 tr) ngày càng t ng, Waterloo Maple Inc ()c thành lp M∗c tiêu...n th c, th∃i gian và ngu2n tài liu tham kho nên các vn % tìm hi u trong bài thu ho ch ch1c ch1n còn nhi%u thi u sót Kính mong Thy xem xét và góp ý thêm Em xin chân thành cám n Th y! Tr HVTH: Tr ng Lê Minh Ng c - CH1101024 ng Lê Minh Ng c Trang: 2 Ti u lu n: L p trình Symbolic và trí tu nhân t o PH N 1: TNG QUAN V MAPLE 1 Tng quan Maple là m t gói... Tây Ontario; và nhng phòng thí nghim kh1p n∋i trên th gi−i Vào n m 1989, giao din 2 h!a ng(∃i dùng u tiên c/a Maple ()c phát tri n và bao g2m trong bn 4.3 dành cho Macintosh Nhng phiên bn tr(−c c/a Maple ch8 g2m giao din dòng lnh v−i ngõ ra hai chi%u Bn X11 và Windows v−i giao din m−i ti p b(−c vào n m 1980 v−i Maple V Vào n m 1999, v−i vic phát hành Maple 6, Maple ã (a vào m t s Th(... i s hình th c mà các nhà nghiên c u và sinh viên có th truy cp ()c S, phát tri n u tiên c/a Maple ()c ti n hành rt nhanh, v−i phiên bn h n ch u tiên xut hin vào tháng 12 n m 1980 Nhng nhà nghiên c u ã th nghim và lo i b7 nhi%u ý t(3ng khác nhau t o ra m t h th ng liên t∗c ci ti n Maple ()c trình di+n u tiên t i nhng h i ngh b1t u vào n m 1982 n cu i n m 1983, trên 50 tr(∃ng... toán s và tính toán hình th c, c4ng nh( hi n th Nhi%u phép tính s h!c ()c th,c hin d,a trên th( vin s h!c NAG; trong Maple, các ch(∋ng trình con NAG ã ()c m3 r ng cho phép chính xác ng6u nhiên l−n Các ví d∗ v% tính toán hình th c s∀ ()c trình bày trong phn sau Maple c4ng có m t ngôn ng lp trình cp cao y / C4ng có giao din cho nhng ngôn ng khác (C, Fortran, Java, MatLab, và Visual... Ngôn ng có hình th c lp trình hàm, nh(ng c4ng có h5 tr) y / cho lp trình truy%n th ng, theo ki u mnh lnh M t i%u l i v−i ch(∋ng trình th(∋ng m i, a s mã ngu2n %u có th xem t, do 4 Lch s Khái nim u tiên v% Maple xut phát t# m t cu c h!p vào tháng 11 n m i h!c Waterloo Nhng nhà nghiên c u t i i h!c mu n mua m t 1980 t i máy tính / m nh ch y Macsyma Thay vào ó, ng(∃i ta quy t... cho nhi%u m∗c ích Nó phát tri n ln u tiên vào n m 1980 b3i Nhóm Tính toán Hình th c t i i h!c Waterloo 3 Waterloo, Ontario, Canada T# n m 1988, nó ã ()c phát tri n và th(∋ng m i hóa b3i Waterloo Maple Inc (còn ()c bi t n v−i tên g!i Maplesoft), m t công ty Canada c4ng có tr∗ s3 t i Waterloo, Ontario Phiên bn hin t i là Maple 13 ()c phát hành vào tháng 5 n m 2009 i th/ c nh tranh chính c/a... documentation khuy n cáo giao din (“c i n”) tr(−c ây dành cho ng(∃i v−i b nh− vt lý ít h∋n 500 MB Giao din c i n này không còn ()c bo trì Gia 1995 và 2005 Maple ã mt khá nhi%u th phn vào tay i th/ do có giao din ng(∃i dùng y u h∋n Nh(ng vào n m 2005, Maple 10 gi−i thiu m t “ch v n bn” m−i, nh( m t phn c/a giao din chu9n Tính n ng chính c/a ch ... chi%u Bn X11 và Windows v−i giao din m−i ti p b(−c vào n m 1980 v−i Maple V Vào n m 1999, v−i vic phát hành Maple 6, Maple ã (a vào m t s Th( vin S h!c NAG, ()c m3 r ng chính xác ng6u nhiên Vào n m 2003, giao din "chu9n" hin nay ()c gi−i thiu trong Maple 9 Giao din này ()c vi t ch/ y u b.ng Java (m&c dù có nhi%u phn, nh(ng lut cho vic gõ công th c toán h!c, ()c vi t b.ng ngôn ng . bài tiu lun môn h!c “Lp trình Symbolic và trí tu nhân to”, em xin trình bày mt vài kt qu trong vic s d∗ng Maple vit th/ t∗c “Gii và bin lun h phng trình bc nht 2 n s” l()ng h5 tr) và yêu cu giy phép l−n, vào nm 1984, nhóm nghiên cu ã s1p xp v−i WATCOM Products Inc cp phép và phân phi Maple. Tiu lun: Lp trình Symbolic và trí tu nhân to HVTH:. Mathematica, g2m có nhng kiu trình bày theo m∗c ích &c bit, qun lý phn u và cui trang, so trùng m3 óng Tiu lun: Lp trình Symbolic và trí tu nhân to HVTH: Trng Lê Minh