- Bước 3.3 Chuyển kết quả từ dạng số sang dạng đối tượng tương ứng:
4.2.CÀI ĐẶT, THỬ NGHIỆM CHƯƠNG TRÌNH GIẢI TỐN HÌNH HỌC KHƠNG GIAN
HỌC KHƠNG GIAN
HỌC KHƠNG GIAN giao diện, cở sở tri thức và module giải bài tốn. Trong đó, giao diện chương trình được viết bằng HTML kết hợp ngơn ngữ JavaScript, module giải tốn được cài đặt bằng ngơn ngữ Maple và cơ sở tri thức về hình học khơng gian được lưu trữ bằng những tập tin văn bản có cấu trúc.
Q trình giải bài tốn có thể được tóm tắt trong các bước sau đây:
- Bước 1: Nhận vào đề bài tốn thơng qua phần giao diện của chương trình. - Bước 2: Phân tích bài tốn và ghi nhận các thơng tin trong bài toán.
- Bước 3: Module giải tốn thực hiện việc suy diễn tìm kiếm lời giải dựa trên cơ sở tri thức đã có.
- Bước 4: Kết quả sẽ là một lời giải (gồm một danh sách bước giải thích hợp để đạt đến mục tiêu) hay là một kết luận về bài tốn.
4.2.2. Kết quả thử nghiệm
Hệ giải tốn Hình học khơng gian chương trình lớp 11 đã được thử nghiệm trên các dạng toán của các miền kiến thức được phân loại ở trên. Chương trình đưa ra lời giải thực hiện theo từng bước, diễn giải một cách tường minh, tự nhiên và phù hợp với lối tư duy của con người.
Sau đây là kết quả chạy thử nghiệm giải các bài tốn trong chương trình giải tốn Hình học khơng gian. Các bài tốn này được lấy ra từ 3 quyển sách trong mục tài liệu tham khảo số [3, 4, 5]. Đề bài của các bài toán này được nêu cụ thể ở mục Phụ lục A. Ứng dụng giải tốn hình học khơng gian được cài đặt trên máy tính có cấu hình: Intel® Core™ i5-3210M CPU @ 2.50GHz, RAM 8.00GB, Hệ điều hành: Windown 8, 64-bit.