Tài liệu tham khảo Luận án tiến sỹ toán lý " Lập trình tính toán hình thức trong phương pháp phần tử hữu hạn giải một số bài toán cơ học môi trường liên tục " chuyên ngành cơ học vật rắn biến trường là một tổ hợp các yếu tố tự nhiên và xã hội bao quanh bên ngoài của một hệ thống nào đó. Chúng tác động lên hệ thống này và xác định xu hướng và tình trạng tồn tại của nó. Môi trường có thể coi là một tập hợp, trong đó hệ thống đang. | DẠI HỌC QUỐC GIA THÀNH PHỐ Hồ CHÍ MINH TRƯỜNG ĐẠI HỌC KHOA HỌC Tự NHIÊN NGUYỄN ĐÌNH HlỂN LẬP TRÌNH TÍNH TOÁN HÌNH THỨC TRONG PHƯƠNG PHÁP PHẦN tử hữu hạn GIẢI MỘT SốBÀlTOÁN Cơ HỌC MÔI TRƯỜNG LIÊN TỤC Chuyên ngành Cơ HỌC VẬT RAN lĩIÍÍN DẠNG Mã sô TÓM TẮT LUẬN ÁN TlỂN SỸ toán lý Thành phố Hồ CHÍ MINH - 2003 LA H r-H I Cữ ị Công trinh đưực hoàn thành tại Khoa Toán Tin Trường Đại học khoa học lự nhiên Đại học quốc gia thành phố Hồ chí Minh. Người hướng dẫn khoa học 1. . NGÔ THÀNH PHONG Trường Dụi học Khoa học Tự nhiên 2. TS. NGUYỄN DŨNG Viện Cơ học ứng dụng. Viện KH CN Việt Nam Phản biện 1 . NGUYỀN văn gia Viện Cơ học ứng dụng. Viện KH CN Việt Nam Phản biện 2 . CHU VIÊT CƯỜNG Phân viện Công nghệ Thông tin - BQP Phản biện 3 . NGÔ KlỀU NHI Đại học Bách Khoa Luận án sẽ được bảo vệ trước Hội đồng châm luận án câp nhà nưđc họp tại vào hồi giờ ngày tháng năm có thể tìm hiểu luận án tại THƯ VIỆN KHOA HỌC TổNG HỘP MỞ ĐẦU 1 J Trong phương pháp phần tử hữu hạn ta phải thực hiền các hươc sau - vâị thực hiện ở dạng giái lích đưa bài toán về dạng yếu dạng biên phân thiết lập các hệ thức rời rạc hóa miền xác định của bài toán tích phân trôn các miền con phần tử thiết lập các ma trận độ cứng ma trận khôi lượng cho phần tử Tơi đây ta .mơi có thể lập trình cho máy tính thực hiện. Thực ra máy tính chỉ làm công việc lắp ghép các ma trân phần tử Víì giải hộ phương trình dại sô tuyên lính KX Í hay hệ phương trình vi phân M X c X K X F Công việc tính toán chuẩn bị cho lập trình dôi hói rât nhiồu thời gian và công sức. Thế nhưng khi sứ dụng chương trình tính toán này la lại bị giơỉ hạn râ t nhiều vì dạng phần tử dạng hàm xâp xí các điều kiện liên tục khả vi đốn câp k nào đó . dã dược mặc định sẵn trong chương trình. Việc ứng dụng Đại sô máy tính Computer Algebra hay tính toán hình thức Symbolic Compulation sẽ giúp chúng la giải quyêt các khó khăn trên. Lãnh vực Đại sô máy tính khác vơi những chương trình hiện hữu .
