» Từ khóa: xac dinh

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 246 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 261 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 221 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 215 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 231 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 257 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 284 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ế

Trình bày các khái niệm cơ sở của chương trình logic, cách tiếp cận ngữ nghĩa của chương trình logic. Trình bày chương trình logic phỏng đoán (Giới thiệu về lập trình logic phỏng đoán, tính toán phỏng đoán trong lập trình logic, cú pháp và ngữ nghĩa của chương trình logic phỏng đoán). Phương pháp tính toán phỏng đoán và cài đặt thực thi một số chương...

 5 p husc 20/06/2016 201 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, Chương trình logic, Logic xác định, Logic thông thường, Tính toán phỏng đoán, Hệ thống Smodels, Phỏng đoán EK, Phỏng đoán KM

Nghiên cứu tổng hợp bột màu vàng (Bi, Ca, Zn)VO4 trên nền BiVO4 trong phòng thí nghiệm; Cho các phối liệu vào để tổng hợp và khảo sát các đặc điểm, điều kiện để tạo ra sản phẩm thu được đơn pha, có cường độ phát màu mạnh, màu sắc tươi sáng. Đây là sản phẩm ứng dụng trong sản xuất nước sơn và sơn dầu thân thiện với môi trường. Ghi...

 7 p husc 16/06/2016 280 1 Download

Từ khóa: Hóa học, Hóa học vô cơ, Bột màu vô cơ, Chất nền BiVO4, Chất lượng sơn, Xác định cường độ màu, Điện tử quét, Phổ hồng ngoại, Sản phẩm bột màu, Chế độ nung

Trình bày những khái niệm cơ sở của chương trình logic. Ngữ nghĩa của chương trình logic xác định. Phép hợp giải SLD đối với 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: 054 3822440 – 054 3832447

 5 p husc 01/06/2016 266 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Phép hợp giải, Logic xác định, Logic phân tầng, Ngữ nghĩa mô hình, Swi-Prolog

Trình bày về cú pháp, ngữ nghĩa của chương trình DatalogFS, phân tầng khả năng biểu diễn DatalogFS bàng ngôn ngữ lập trình C#. 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/05/2016 273 3 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình Datalog, Phủ định phân tầng, Mô hình khuếch tán, Xác định ngữ nghĩa, Ngữ nghĩa mô hình

Phần 1 Giáo trình Thí nghiệm hóa môi trường (hệ Cao đẳng và Trung cấp) gồm các bài học: Nội quy phòng thí nghiệm, chất rắn, xác định độ acid, xác định độ kiềm, xác định chloride, xác định độ cứng và cacl, độ cứng tổng cộng, xác định cacl, xác định hàm lượng sulfate, xác định hàm lượng nitrogen – nitrite, nitrogen – nitrate, xác định hàm...

 33 p husc 26/05/2016 259 3 Download

Từ khóa: Thí nghiệm hóa môi trường, Hóa môi trường, Xác định độ kiềm, Xác định chloride, Hàm lượng sắt, Hàm lượng oxy hòa tan