» Từ khóa: xac dinh

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 305 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 421 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 339 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 260 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 277 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 261 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 282 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 cung cấp kiến thức về kiểm định giả thiết thống kê. Một số nội dung chính được trình bày trong chương này gồm có: Bài toán kiểm định trung bình, bài toán so sánh hai trung bình, bài toán kiểm định tỷ lệ, bài toán so sánh hai tỷ lệ. Mời các bạn cùng tham khảo.

 20 p husc 19/08/2016 236 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ê, Thuật toán kiểm định, Bài toán kiểm định trung bình

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 234 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

Trong bài báo này, phương pháp Monte Carlo được sử dụng để khảo sát sự phụ thuộc cường độ chùm tia gamma tán xạ ngược vào thể tích tán xạ. Kết quả nghiên cứu cho thấy rằng cường độ chùm tia gamm tán xạ phụ thuộc tuyến tính vào thể tích tán xạ với hệ số tương quan R2 khi khớp hàm bằng 0,951. Kết quả này làm cơ sở cho các bố trí thực...

 10 p husc 23/06/2016 258 2 Download

Từ khóa: Thể tích tán xạ, Gamma tán xạ ngược, Phương pháp Monte Carlo, Tán xạ Compton, Mô phỏng Monte Carlo, Xác định thể tích vùng tán xạ

Bài báo này trình bày quá trình và kết quả nghiên cứu xác định thể tích vùng tán xạ bằng phương pháp Monte Carlo. Trong đó, vùng thể tích cơ sở (tạo bởi sự giao nhau của hai hình nón) của kĩ thuật gamma tán xạ được tính toán bằng phương pháp Monte Carlo thông qua một chương trình viết bằng ngôn ngữ Fortran. Mời bạn đọc tham khảo để nắm bắt nội...

 9 p husc 23/06/2016 272 2 Download

Từ khóa: Xác định thể tích vùng tán xạ, Phương pháp Monte Carlo, Thể tích cơ sở, Thể tích vùng tán xạ, Ngôn ngữ lập trình Fortran, Kĩ thuật gamma tán xạ ngược

Nghiên cứu chế tạo điện cực màng L-cystein (L-Cys) trên nền glassy cacbon (GC) và khảo sát một số đặc tính điện hóa; Khảo sát điều kiện thí nghiệm để phân tích paracetamol bằng phương pháp von-ampe hòa tan anot xung vi phân (DP-ASV). Áp dụng các điều kiện đã khảo sát để phân tích một số mẫu dược phẩm. Ghi chú: Tài liệu toàn văn liên hệ theo địa...

 7 p husc 23/06/2016 299 1 Download

Từ khóa: Hóa học, Hóa phân tích, Paracetamol, Xác định par, Tính điện hóa, Loại điện cực, Tốc độ quét thế