» Từ khóa: công trình công cộng

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 294 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 nghiên cứu này các kỹ thuật được trình bày và sắp xếp theo trình tự quy trình SXSH. Các PPĐG được chia thành 5 nhóm: phương pháp đánh giá sơ bộ nhằm xác định trọng tâm SXSH, phương pháp đánh giá chi tiết nhằm đề xuất giải pháp SXSH, phương pháp đánh giá tính khả thi, phương pháp đánh giá trong giai đoạn triển khai SXSH và phương pháp duy trì...

 15 p husc 22/12/2016 259 1 Download

Từ khóa: Công nghệ môi trường, Sản xuất sạch hơn, Quy trình sản xuất sạch hơn, Kỹ thuật đánh giá, Giảm thiểu ô nhiễm, Ô nhiễm môi trường

Vật liệu xúc tác với tác nhân Fe trên chất mang than hoạt tính (Fe/AC) được chế tạo thử nghiệm và kiểm tra hoạt tính bằng quá trình oxy hóa Fenton dị thể. Nghiên cứu này được thực hiện nhằm đánh giá hiệu quả xử lý, tính ổn định và khả năng tái sử dụng của vật liệu xúc tác (Fe/AC) đối với thành phần hữu cơ (COD) khó phân hủy sinh học trong...

 11 p husc 22/12/2016 333 2 Download

Từ khóa: Công nghệ môi trường, Ô nhiễm hữu cơ, Phân hủy sinh học, Nước rỉ rác, Quá trình Fenton dị thể, Than hoạt tính

Quá trình lọc bụi và khí độc thực chất là quá trình tách bụi và khí độc ra khỏi dòng khí bị ô nhiễm, tìm cách "giữ chúng lại" trước khi thải ra môi trường và có thể thực hiện bằng nhiều cách khác nhau.... Thiết bị này đã được gia công và lắp đặt tại một số cơ sở sản xuất cho thấy giá thành rẻ hơn các loại khác nhưng lại cho hiệu...

 10 p husc 22/12/2016 246 1 Download

Từ khóa: Công nghệ môi trường, Công nghệ xử lý bụi, Công nghệ xử lý khí độc, Thiết bị lọc ướt hướng tâm, Quá trình lọc bụi, Ô nhiễm môi trường

Tìm hiểu về máy tính song song và các phương pháp lập trình song song, nghiên cứu về lập trình xử lý song song theo luồng, cụ thể là lớp Parallel trong .NET Framework 4.5. 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

 15 p husc 27/09/2016 397 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Máy tính song song, Xử lý song song, Đơn luồng dữ liệu, Đa luồng dữ liệu, Kết lưới hai chiều, Liên kết xáo trộn, Liên kết nhị phân, Truyền thông điệp, Lập trình song song.

Giới thiệu về hệ thống lập trình logic DLV , đưa ra một số ứng dụng của chương trình Datalog dạng tuyể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

 11 p husc 27/09/2016 483 6 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình Datalog, Datalog dạng tuyển, Hệ thống DLV, Cấu trúc chương trình, Thực thi chương trình.

Trình bày thủ tục chứng minh IFF đối với các chương trình logic phỏng đoán. Thủ tục này đã được chứng minh là hiệu quả hơn thủ tục SLDNFA. 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

 12 p husc 26/09/2016 276 3 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Logic thông thường, Logic phỏng đoán, Lập trình logic, Phỏng đoán sldnfa.

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 281 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.

Trình bày những khái niệm được xem là then chốt của Web ngữ nghĩa. Trình bày các thành phần của RDF và RDFS, Ontology và OWL. 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

 12 p husc 23/09/2016 438 3 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ OWL, Lập trình RDF, Truy vấn mô hình, Liệt kê mô hình, Nguồn dữ liệu, Giao diện chính, Dữ liệu task.

Tổng quan về hệ thống file phân tán và Big Data Ứng dụng MapReduce để phân tích và xử lý một cơ sở dữ liệu lớn về hệ thống file phân tá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

 14 p husc 23/09/2016 452 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Hệ thống file, File phân tán, Big Data, Lập trình phân tán, Xử lý dữ liệu, Mô hình tính toán.

Trình bày quá trình xây dựng một ứng dụng giám sát việc học tập tại phòng thực hành, chương trình thực hiện một số chức năng cơ bản như: Hiển thị các máy trạm, trao đổi thông tin với các máy trạm, giám sát và quản lý các máy trạm. 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 21/09/2016 289 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Tác tử di động, Tính di động, Phân tán thông tin, Hệ thống mạng, Tác tử JaDe, Khám phá thác tử, Chạy chường trình.

Bài giảng Công nghệ protein – enzyme - Chương 2: Các phương pháp thu nhận protein, trình bày về nhiệt độ, nồng độ proton, tác nhân hóa học, phá vỡ tế bào, tách enzyme. Đây là tài liệu học tập và tham khảo bổ ích dành cho sinh viên ngành Công nghệ sinh học.

 44 p husc 18/08/2016 263 2 Download

Từ khóa: Công nghệ protein Chương 2, Công nghệ protein, Phương pháp thu nhận protein, Thu nhận protein, Quy trình tách enzyme, Phá vỡ tế bào