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

Bài viết Chúa Nguyễn với công cuộc mở đất Đông Nam bộ thế kỷ XVII giới thiệu về bối cảnh lịch sử của công cuộc mở đất ở ĐNB thời Chúa Nguyễn; Chúa Nguyễn với công cuộc mở đất ở ĐNB và một số nội dung khác. Với các bạn chuyên ngành Lịch sử thì đây là tài liệu hữu ích.

 10 p husc 20/01/2017 297 1 Download

Từ khóa: Công cuộc mở đất Đông Nam bộ, Công cuộc mở đất của Chúa Nguyễn, Quá trình khai phá Biên Hòa, Dinh Phiên Trấn, Dinh Trấn Biên, Đàng trong Đông Nam bộ

Mô hình của ẩn dụ ý niệm phạm trù công trình kiến thiết, gồm sự chọn lọc các thuộc tính điển dạng của miền nguồn, các ánh xạ ẩn dụ giữa miền ý niệm nguồn tới miền ý niệm đích và cơ chế ánh xạ của các ẩn dụ ý niệm phạm trù công trình kiến thiết; thứ hai là phân loại hệ thống ẩn dụ ý niệm phạm trù công trình kiến thiết trong...

 16 p husc 09/01/2017 334 1 Download

Từ khóa: Văn học, Ngôn ngữ học, Ý niệm hóa, Ẩn dụ ý niệm, Công trình kiến thiết, Kiến thiết tiêu biểu, Bức tranh ngôn ngữ, Đời sống xã hội, Ánh xạ ẩn dụ.

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 275 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 249 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 319 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 235 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 387 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 474 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 265 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 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.

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 427 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 439 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.