GIẢI BÀI TOÁN TAM GIÁC ỨNG DỤNG MAPLE
Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (1.05 MB, 18 trang )
ĐẠI HỌC QUỐC GIA TP.HỒ CHÍ MINH
TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN
TIỂU LUẬN
LẬP TRÌNH SYMBOLIC VÀ ỨNG DỤNG
Đề tài: GIẢI BÀI TOÁN TAM GIÁC ỨNG
DỤNG MAPLE
GVHD: PGS.TS. Đỗ Văn Nhơn
Học viên thực hiện:
Phan Đình Duy CH1101060
Lớp: CH CNTT K6
Khóa: 2011
TP.Hồ Chí Minh, tháng 02 năm 2013
LỜI CẢM ƠN
Em xin gửi lời cảm ơn chân thành đến thầy PGS.TS Đỗ Văn Nhơn, người đã
dành nhiều thời gian quý báu của mình để truyền đạt cho lớp CH CNTT K6 những
kiến thức bổ ích, lý thú về biểu diễn tri thức và ứng dụng. Đây là những kiến thức
hết sức cần thiết cho hành trang của chúng em trong công việc nghiên cứu về lĩnh
vực tin học. Đặt biệt thầy đã truyền đạt các kiến thức và ví dụ minh họa rất bổ ích
cho chúng em về Symbolic và công cụ Maple. Đây chính là tiền đề, là kiến thức nền
tảng đã thôi thúc em thực hiện đề tài tiểu luận về “Giải bài toán tam giác ứng dụng
maple”.
Xin chân thành cảm ơn sự giúp đỡ của các bạn bè, anh chị, những người đã
thảo luận và đóng góp ý kiến, giúp đỡ em tìm kiếm thông tin và động viên tinh thần
cho em trong suốt quá trình thực hiện tiểu luận.
Một lần nữa xin chân thành cảm ơn đến tất cả những người đã quan tâm đến
tiểu luận của em. Tuy nhiên, trong quá trình làm việc không thể tránh khỏi những
sai sót, rất mong sự đóng góp ý kiến nhiệt tình của Thầy và các bạn.
Học viên thực hiện
Phan Đình Duy
Lớp: CH CNTT K6
LP TRÌNH SYMBOLIC & NG DNG
1
Mục lục
3
1.1 3
1.2 3
1.3 6
1.4 8
11
2.1 11
2.2 11
2.3 13
2.4 14
LP TRÌNH SYMBOLIC & NG DNG
2
Hình 1- 4
Hình 1- 5
Hình 1- 5
Hình 1- 6
LP TRÌNH SYMBOLIC & NG DNG
3
Chương 1. MẠNG TÍNH TOÁN
1.1 Giới thiệu về mạng tính toán
này.
hành, hình
1.2 Các quan hệ
Cho là mt tp hp các bin có th ly giá tr trong
các mi ng
này
fR
,u,v
: Du x, v x; Du và Dv là tích
LP TRÌNH SYMBOLIC & NG DNG
4
fR,u,v v.
v,
v = là các quan hệ đối xứng
-
này
.
Hình 1-1 quan hệ đối xứng có hạng k
LP TRÌNH SYMBOLIC & NG DNG
5
Hình 1-2 quan hệ không đối xứng có hạng k
Nhận xét:
Ví dụ 1:
Hình 1-3 Quan hệ các góc trong tam giác
LP TRÌNH SYMBOLIC & NG DNG
6
Ví dụ 2:
Hình 1-4 Quan hệ giữa nửa chu vi với các độ dài
Ví dụ 3:
này
1.3 Mạng tính toán và các ký hiệu
MTT
M = x
1
,x
2
, ,xn, F = f
1
,f
2
, ,fm.
M. N v(f)
thì ta có M(f) = u(f) v(f).
Ví dụ 4:
A,B,C.
a,b,c,p.
LP TRÌNH SYMBOLIC & NG DNG
7
x
1
, x
2
, , xn.
Ví dụ 5:
b
1
, b
2
f
1:
s = b
1
* b
2
;
f
2:
p = 2 * b
1
+ 2 * b
2
;
f
3:
d
2
= b
1
2
+ b
2
2
;
này
này là M = b
1
, b
2
, d, s,
p, F = f
1
, f
2
, f
3
LP TRÌNH SYMBOLIC & NG DNG
8
1.4 Vấn đề trên mạng tính toán
Các vấn đề đặt ra là:
bài toán trên là A b.
Định nghĩa 2.1:
Bài toán A
f
1
, f
2
, , fk
f
1
, f
2
, , fk
LP TRÌNH SYMBOLIC & NG DNG
9
này
này hay
Định nghĩa 2.2 :
Cho D = f
1
, f
2
, , fk F),
1
, f
2
Nhận xét :
0
= A, A
1
= A
0
M(f
1
), . .
. , Ak = Ak
-1
D(A),
bài toán A
i
Thuật toán tính D(A) :
LP TRÌNH SYMBOLIC & NG DNG
10
1
, f
2
, , fm} .
: D(A).
:
B A;
B2. for i=1 to m do
A M(fi);
B3. D(A)
LP TRÌNH SYMBOLIC & NG DNG
11
Chương 2. GIẢI BÀI TOÁN TAM GIÁC
(M, F)
2.1 Yêu cầu bài toán
Ví dụ 1:
, góc
Input : a, ,
Output : b, c, p
Ví dụ 2:
Input : b, c,
Output : a
2.2 Cấu trúc dữ liệu
-
- , , :
- h
a
, h
b
, h
c
LP TRÌNH SYMBOLIC & NG DNG
12
-
-
-
-
f
1
: + + = (radian).
-
f
2
: a
2
= b
2
+ c
2
- 2.b.c.cos
f
3
: b
2
= a
2
+ c
2
- 2.a.c.cos
f
4
c
2
= a
2
+ b
2
- 2.a.b.cos
-
f
5
:
a
sin
b
sin
f
6:
c
sin
b
sin
f
7
:
a
sin
c
sin
f
8
:
a
sin
2R
f
9
:
b
sin
2R
f
10
:
c
sin
2R
-
f
11
: 2.p = a + b + c
-
f
12
: S = a.h
a
/2
f
13
: S = b.h
b
/2
f
14
: S = c.h
c
/2
-
f
15
: h
a
= b.sin
f
16
: h
a
= c.sin
f
17
: h
b
= a.sin
f
18
: h
b
= c.sin
LP TRÌNH SYMBOLIC & NG DNG
13
f
19
: h
c
= a.sin
f
20
: h
c
= b.sin
2.3 Thuật giải
Input:
M,
M
Output Goals
:
B1:Solutions empty; // Solutions là dãy các quan hệ sẽ áp dụng
_Hypos Hypos;
B2: if Goals Hypos then
begin
solutionFound true; // biến solutionFound= true khi bài toán là
// giải được
goto 4;
end
else
solutionFound false;
B3: Repeat
Aold _Hypos;
while not solutionFound and do
begin
if and 0 < Card (M(f) \ _Hypos) r(f) ) or
and M(f) \ _Hypos v(f) ) then
begin
_Hypos _Hypos M(f);
Solutions Solutions f;
end;
if Goals _Hypos then
solutionFound true;
end; while
LP TRÌNH SYMBOLIC & NG DNG
14
Until solutionFound or (_Hypos = Aold);
B4: if not solutionFound then
else
2.4 Ví dụ
Ví dụ 1:
, góc
Input : a, ,
Output : b, c, p
Tính:
1
)
Tính: b
5
)
Tính: c
6
)
Tính: R
8
)
Tính: p
11
)
Ví dụ 2:
tam giác.
Input : b, c,
Output : a
LP TRÌNH SYMBOLIC & NG DNG
15
Tính :
6
)
Tính : R
9
)
Tính : h
a
15
)
Tính :
1
)
Tính : a
2
)
LP TRÌNH SYMBOLIC & NG DNG
16
TÀI LIỆU THAM KHẢO
[1] Nhon Do Van, A system supports studying knowlegde and solving analytic
Geometry problems. P.O.Box 3058 - Macau, 2000.
[2] Nhon Do Van, Extensive Computational Networks and Applying in an
Educational software. Wuhan, P. R. China, August. 22-23, 2009.
[3] Nhon Do Van, Tam Pham Huu, The Extensive C-Objects Network And Applying
in an Educational Software. Wuhan, P. R. China, August. 22-23, 2009.
[4] n
t -
[5]
.
