» Từ khóa: xac dinh

Kết quả nghiên cứu Xác định dị thường mực nước biển trên Biển Đông bằng số liệu đo cao vệ tinh cho thấy ở chu kỳ này, trên Biển Đông, dị thường mực nước biển biến đổi từ - 1,581 m đến 0,649 m, giá trị trung bình là 0,108 m.

 6 p husc 30/04/2017 228 4 Download

Từ khóa: Mực nước biển trên biển Đông, Dị thường mực nước biển, Số liệu đo cao vệ tinh, Nội suy độ cao mặt biển, Phương pháp xác định dị thường mặt nước, Độ cao mặt biển trung bình

Bài giảng "Tin học đại cương - Bài 5: Cấu trúc vòng lặp (Do, while)" cung cấp cho người học các kiến thức: Giới thiệu về cấu trúc vòng lặp, vòng lặp xác định, vòng lặp không xác định. Mời các bạn cùng tham khảo nội dung chi tiết.

 16 p husc 24/02/2017 286 1 Download

Từ khóa: Bài giảng Tin học đại cương, Tin học đại cương, Cấu trúc vòng lặp, Vòng lặp xác định, Vòng lặp không xác định, Đoạn mã lệnh

Trình bày các khái niệm và tính chất cơ bản về tính độc lập của các biến ngẫu nhiên, luật số lớn và các định lý giới hạn. 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

 6 p husc 11/01/2017 308 1 Download

Từ khóa: Toán học, Thống kê toán học, Lý thuyết xác xuất, Biến ngẫu nhiên, Luật số lớn, Định lý giới hạn, Hàm phân phối.

Trình bày một mở rộng của A-Prolog, gọi là DA-Prolog, trong đó phần đầu của các mệnh đề trong chương trình A-Prolog có chứa phép tuyển logic. 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

 11 p husc 30/12/2016 273 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic xác định, Phủ định mặc định, Phủ định mạnh, Chương trình A-PROLOG, Phần mềm SMODELS, Chạy ứng dụng.

Trong lĩnh vực chính trị, truyền thông đại chúng có vai trò rất to lớn: cung cấp thông tin, định hướng tư tưởng chính trị; xác lập chương trình nghị sự, là diễn đàn giao tiếp chính trị;... Bài viết này đề cập đến vai trò của truyền thông đại chúng trong hoạt động của cơ quan lập pháp các nước phương Tây, đặc biệt là đối với hoạt động...

 11 p husc 22/12/2016 315 1 Download

Từ khóa: Truyền thông đại chúng, Cơ quan lập pháp, Nguồn cung cấp thông, Xác lập chương trình nghị sự, Diễn đàn giao tiếp chính trị, Định hướng dư luận

trình bày cú pháp và ngữ nghĩa cùng với các tính chất về ngữ nghĩa của ngôn ngữ DLPA ứng dụng chương trình DLPA để biểu diễn tri thức thông qua một số bài toán thực 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

 9 p husc 27/09/2016 431 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ logic, Logic bậc nhất, Logic xác định, Tập trả lời, Hệ thống DLV, Ngôn ngữ DLPA.

Trình bày cú pháp và ngữ nghĩa của chương trình logic mở rộng (ELP) theo tiếp cận ngữ nghĩa tập trả lời. Các chương trình này cho phép phủ định mạnh và phủ định mặc định mở rộng của mô hình bền vững. 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

 10 p husc 27/09/2016 347 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ bậc nhất, Logic xác định, Ngữ nghĩa mô hình, Biên dịch hệ thống, Hệ thống DL-EX.

Trình bày về ngôn ngữ logic bậc nhất, cú pháp và ngữ nghĩa của chương trình logic. Chứng minh CIFF – là một phƣơng pháp để trả lời câu truy vấn đối với các chương trình logic phỏng đoán có chứa ràng buộc. 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

 10 p husc 27/09/2016 268 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic xác định, Logic thông thường, Logic phỏng đoán, Hệ thống CIFF, Thực thi truy vấn, Swi-Prolog.

Trình bày chi tiết một số giải thuật lập lịch truyền thống, như LAUC và LAUC-VF, và những hạn chế của chúng. Sau đólà một số tiếp cận cải tiến nhằm nâng cao hiệu năng lập lịch, gồm nhóm giải thuật BORA và giải thuật HVF. 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

 13 p husc 26/09/2016 285 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Kỹ thuật ghép canh, Tập hợp chùm, Định tuyến lệch hướng, Luồng dữ liệu, Xác xuất mất chùm, Chuyển mạch chùm quang, Giải thuật lập lịch.

Trình bày hai phương pháp để định giá câu truy vấn đối với chương trình logic xác định là SLD và OLDT. Phép hợp giải OLDT khắc phục các nhược điểm của phép hợp giải SLD và tính dừng cũng được cải thiện đối với các chương trình logic xác đị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

 13 p husc 26/09/2016 268 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Phép hợp giải, Phần mềm Swi-Prolog, Hợp giải tuyến tính, Dẫn xuất SLD, Chương trình logic, Logic xác định.

Nghiên cứu mô hình toán học nhằm phân tích hiệu năng tại nút lõi mạng chuyển mạch chùm quang có kiến trúc Share-perdual- fiber-link (SP-DFL) với chuyển đổi bước sóng từng phần trong mô hình, trong đó sử dụng 2 sợi quang song song trên mỗi cổng ra (với số bước sóng giống nhau trên mỗi sợi). Từ đó đưa ra các đánh giá dựa trên xác suất mất chùm (xác...

 12 p husc 23/09/2016 293 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Mô hình hóa, Hệ thống lưu lượng, Chuyển đổi bước sóng, Định tuyến lệch hướng, Xác xuất tắc nghẽn, Nút lõi OBS, Bước sóng đầy đủ.

Chương 5 - Kiểm định giả thiết thống kê. Chương này gồm có những nội dung chính sau: Tổng quan bài toán kiểm định giả thiết thống kê, kiểm định giả thiết về tham số của một tổng thể, kiểm định giả thiết về tham số của hai tổng thể. Mời các bạn tham khảo.

 25 p husc 19/08/2016 241 2 Download

Từ khóa: Lý thuyết xác suất, Lý thuyết thống kê, Thống kê toán, Kiểm định giả thiết thống kê, Bài toán kiểm định giả thiết thống kê, Kiểm định giả thiết