- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
Danh mục TaiLieu.VN
Nghiên cứu việc mở rộng ngữ nghĩa xác đáng đối với chương trình logic dạng tuyển
Trình bày cú pháp và ngữ nghĩa mô hình cực tiểu của chương trình logic dạng tuyển dương; ngữ nghĩa xác đáng đối với chương trình logic dạng tuyển dựa trên logic ba trị; Giới thiệu hai hệ thống lập trình logic là Smodels và DLV, minh họa việc cài đặt và thực thi một số chương trình logic trên hai hệ thống này; Cài đặt thuật toán tính ngữ nghĩa xác...
5 p husc 17/03/2016 385 3
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic dạng tuyển, Ngôn ngữ bậc nhất, Thuật toán tính ngữ, Cài đặt thuật toán, Mô hình xác đáng
Ứng dụng mô hình HEC-HMS tính toán lũ trên các sông tỉnh Quảng Trị và Bình Định
Những năm gần đây, lũ lụt xảy ra ngày một nghiêm trọng và khó kiểm soát ở các tỉnh miền trung Việt Nam. Nghiên cứu và mô phỏng chính xác quá trình lũ trên các sông lớn miền trung sẽ góp phần đáng kể trong việc đưa ra các giải pháp thích hợp kiểm soát và chống lũ trong vùng. Bài viết "Ứng dụng mô hình HEC-HMS tính toán lũ trên các sông tỉnh Quảng...
10 p husc 28/01/2016 316 1
Từ khóa: Ứng dụng mô hình HEC-HMS, Mô hình HEC-HMS, Tính toán lũ, Mô phỏng tính toán lũ, Tính toán lũ sông Bến Hải, Tính toán lũ sông Kone
Dự báo biến động lòng dẫn sông Hương đoạn từ Tuần đến Bao Vinh dưới tác động tổ hợp của các hồ chứa nước Tả Trạch và Bình Điền bằng phương pháp mô hình toán (mô hình 2 chiều 2D) với những kịch bản tính toán tương ứng với các tần suất xả lũ và phát điện khác nhau. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email:...
4 p husc 11/01/2016 273 1
Từ khóa: Địa chất học, biến động dòng chảy, mô hình toán, sông Hương
Sử dụng mô hình truyền thông báo để giải quyết một số bài toán có thời gian thực hiện lớn
Gồm 3 chương: 1. Tổng quan về thuật toán và lập trình song song; 2. Mã hóa thông tin; 3. Cài đặt. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447
4 p husc 27/11/2015 353 1
Từ khóa: Tin học, Công nghệ thông tin, Mô hình truyền thông, Ngôn ngữ lập trình, Lập trình song song, Mã hóa thông tin, Thuật toán song song, Mã khóa công khai, Lý thuyết mật mã
Xây dựng ngôn ngữ mô tả cơ sở tri thức motor suy diễn phục vụ chứng minh bài toán hình học phổ thông
Gồm 4 chương: 1. Chứng minh bài toán hình học có sự trợ giúp của máy tính; 2. Xây dựng ngôn ngữ mô tả cơ sở tri thức; 3. Thiết kế mô tơ suy diễn trợ giúp chứng minh; 4. Chương trình. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447
2 p husc 27/11/2015 247 1
Từ khóa: Tin học, Công nghệ thông tin, Chương trình ứng dụng, Ngôn ngữ mô tả, Chứng minh bài toán, Hình học, Motor suy diễn, Trợ giúp chứng minh
Lý thuyết về mô hình hóa người sử dụng; Bài toán mô hình hóa người sử dụng trong cổng thông tin điện tử. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447
5 p husc 19/11/2015 267 1
Từ khóa: Tin học, công nghệ thông tin, mô hình hóa người sử dụng, bài toán mô hình hóa, cổng thông tin điện tử, ứng dụng Web 2.0
Bài giảng Mô hình hóa môi trường: Bài giảng 2 - TS. Đào Nguyên Khôi
Bài giảng 2 "Nhập môn mô hình hóa chất lượng nước" thuộc bài giảng Mô hình hóa môi trường giới thiệu đến các bạn những nội dung về mục đích mô hình hóa chất lượng nước, các đại lượng căn bản, mô hình toán trong mô hình hóa chất lượng nước,... Hy vọng đây là tài liệu tham khảo hữu ích cho các bạn.
20 p husc 23/10/2015 249 2
Từ khóa: Mô hình hóa môi trường, Bài giảng Mô hình hóa môi trường, Mô hình hóa chất lượng nước, Chất lượng nước, Mô hình toán, Tìm hiểu chất lượng nước
Bài giảng Mô hình hóa môi trường: Bài giảng 1 - TS. Đào Nguyên Khôi
Bài giảng 1 "Giới thiệu mô hình hóa và mô hình toán" thuộc đề cương bài giảng Mô hình hóa môi trường giới thiệu đến các bạn những nội dung cơ bản về mô hình hóa, cơ bản về mô hình toán. Mời các bạn cùng tham khảo nội dung bài giảng để nắm bắt nội dung chi tiết.
23 p husc 23/10/2015 243 2
Từ khóa: Bài giảng Mô hình hóa môi trường, Mô hình hóa môi trường, Giới thiệu mô hình hóa, Giới thiệu mô hình toán, Cơ bản về mô hình hóa, Cơ bản về mô hình toán
Hàm sống sót của mô hình mũ và ứng dụng
Tìm hiểu một số kiến thức cơ sở về mô hình sống sót, mô hình mũ, mô hình Gamma. Nghiên cứu hàm sống sót của mô hình mũ và các phương pháp suy luận cho hàm sống sót của mô hình mũ. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447
3 p husc 09/04/2015 184 1
Từ khóa: Toán học, lý thuyết xác suất, thống kê, hàm sống sót, mô hình mũ
Mô phỏng Monte Carlo và bài toán ước lượng tham số mô hình Loga chuẩn
Nghiên cứu lý thuyết về phương pháp Monte Carlo từ khái niệm đến nội dung, ví dụ minh họa, cơ sở của phương pháp Monte Carlo đến những ứng dụng định lý giới hạn trung tâm trong phân tích mô phỏng Monte Carlo; Nghiên cứu mô hình Loga chuẩn; Ước lượng tham số của mô hình Loga chuẩn Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email:...
3 p husc 08/04/2015 267 1
Từ khóa: Toán học, lý thuyết xác suất, thống kê, phương pháp Monte Carlo, mô hình Loga
Nghiên cứu phương pháp chuyển đổi từ mô hình qua hệ có yếu tố thời gian sang mô hình TEMPORAR XML
Tổng quan về điện toán đám mây. Bảo mật an toàn thông tin trên điện toán đám mây. Xây dựng ứng dụng ứng dụng bảo mật trên nền điện toán đám mây. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447
5 p husc 31/03/2015 230 1
Từ khóa: Tin học, điện toán đám mây, bảo mật, an toàn thông tin, mô hình quan mô hình TEMPORAR XML,
Nghiên cứu mô hình học kích hoạt và ứng dụng phát hiện đối tượng
Nghiên cứu tổng quan lý thuyết về mô hình học kích hoạt; Mô hình học kích hoạt ADABOOSTING trực tuyến và ứng dụng vào bài toán phát hiện đối tượng; thực nghiệm và kết quả lượng hóa. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447
6 p husc 25/03/2015 169 1
Từ khóa: Tin học, mô hình học kích hoạt, Mô hình học kích hoạt ADABOOSTING trực tuyến, Bài toán phát hiện đối tượng,
Đăng nhập
Bộ sưu tập nổi bật
Tin nhanh
Công bố quyết định bổ nhiệm Phó Hiệu trưởng nhiệm kỳ 2009 – 2014.
Hội Cựu giáo chức Trường Đại học Khoa học Huế: Gặp mặt đầu năm Xuân Nhâm Thìn 2012.
Lễ kỷ niệm 82 năm thành lập Đảng Cộng Sản Việt Nam (3/2/1930 – 3/2/2012)
Gặp mặt chúc Tết cán bộ của Trường nghỉ hưu tại Huế nhân dịp Tết Nhâm Thìn 2012.