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

Các nhà khoa học tiếp tục khẳng định: Biến đổi khí hậu và biến đổi đại dương có liên quan chặt chẽ với nhau và là hai mặt của một vấn đề thông qua quá trình tương tác giữa chúng trong tự nhiên. Bài viết này giới thiệu về biến đổi đại dương, vai trò của đại dương trong thích ứng với tác động của biến đổi khí hậu và cách tiếp cận...

 10 p husc 30/10/2018 258 1 Download

Từ khóa: Tạp chí Khoa học và Công nghệ Biển, Biến đổi đại dương, Biến đổi khí hậu, Ứng phó biến đổi khí hậu, Hệ thống tự nhiên mở, Chu trình nước toàn cầu, Biến đổi đại dương, Axit hóa đại dương

Bài giảng cung cấp cho người học các kiến thức: Một số vấn đề về vận dụng và phát triển tư tưởng Hồ Chí Minh trong công cuộc đổi mới. Hi vọng đây sẽ là một tài liệu hữu ích dành cho các bạn sinh viên đang theo học môn dùng làm tài liệu học tập và nghiên cứu.

 43 p husc 29/06/2018 241 2 Download

Từ khóa: Bài giảng Tư tưởng Hồ Chí Minh, Quá trình hình thành tư tưởng, Quá trình phát triển tư tưởng, Tư tưởng Hồ Chí Minh, Vận dụng và phát triển tư tưởng HCM, Công cuộc đổi mới

Nội dung bài giảng trình bày các khái niệm về bố trí công trình, các phương pháp bố trí cơ bản, bố trí mặt bằng công trình, bố trí đường cong công trình. Đây là một tài liệu hữu ích dành cho các bạ sinh viên và những ai quan tâm dùng làm tài liệu học tập, nghiên cứu.

 14 p husc 07/05/2018 291 2 Download

Từ khóa: Bài giảng Trắc địa đại cương, Trắc địa đại cương, Bố trí công trình, Bố trí đường cong công trình, Bố trí mặt bằng công trình, Đường cong công trình

Bài viết đưa ra một số định hướng tạo lập bản sắc văn hoá truyền thống cho kiến trúc công trình thuỷ lợi, góp phần xây dựng cơ sở khoa học bền vững trong việc giữ gìn và phát huy bản sắc dân tộc trong các thiết kế hiện đại cho các kỹ sư, các kiến trúc sư, các nhà quản lý, các nhà chuyên môn có liên quan trong sự nghiệp xây dựng nông thôn...

 5 p husc 31/03/2018 324 0 Download

Từ khóa: Bản sắc văn hóa, Kiến trúc văn hóa, Công trình thủy lợi, Kiến trúc công trình thủy lợi Việt Nam, Văn hóa truyền thống Việt Nam

Xử lý dữ liệu lớn mà Hệ thống tính cước điện thoại mạng Vinaphone đang đảm nhiệm, cần tăng tốc xử lý và tính toán để đạt hiệu quả cao trong công việc, đảm bảo thời gian cung cấp thông tin cho khách hàng. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 9 p husc 10/01/2018 289 1 Download

Từ khóa: Công nghệ thông tin, Đơn luồng dữ liệu, Lập trình chia sẻ, Lập trình theo mô hình, Quản lý thread, Biến điều khiển, Đồng bộ hóa

Giới thiệu tổng quan về Datalog dạng tuyển trong đó có cú pháp, ngữ nghĩa của Datalog dạng tuyển. đưa ra bài toán ứng dụng thực tế mô tả công tác thi và tổ chức thi cuối kỳ của phòng khảo thí trường Đại học Tây Nguyên sử dụng việc tích hợp của logic mô tả và Datalog dạng tuyển. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email:...

 11 p husc 10/01/2018 342 1 Download

Từ khóa: Công nghệ thông tin, Chương trình Datalog, Datalog dạng tuyển, Bài toán ứng dụng, Logic mô tả

Trình bày tổng quan về logic mô tả và tập trung vào cú pháp, ngữ nghĩa của logic mô tả thông qua một số bài toán và sử dụng hệ thống lập trình logic DLV kết hợp với hệ thống lập luận OWL RACER để thực thi các bài toán. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 10 p husc 10/01/2018 323 1 Download

Từ khóa: Công nghệ thông tin, Chương trình logic, Logic thông thường, Logic mô tả, Bài toán ứng dụng, Mô hình bền vững

Giới thiệu về các mô hình lập trình song song để nghiên cứu chi tiết các mô hình lập trình song song như mô hình bộ nhớ chia sẻ, mô hình truyền thông điệp, mô hình dữ liệu song song và mô hình hỗn hợp, về OpenMP và ứng dụng. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 11 p husc 10/01/2018 600 1 Download

Từ khóa: Công nghệ thông tin, Thuật toán song song, Thiết kế thuật toán, Dữ liệu song song, Mô hình hỗn hợp, Mô hình lập trình

Tìm hiểu và phân tích một số kỹ thuật truyền lại thuần trong mạng chuyển mạch chùm quang. Phân loại các kỹ thuật truyền lại thuần cơ bản, về cấu trúc và nguyên tắc hoạt động của phần mềm Matlab. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 12 p husc 10/01/2018 260 1 Download

Từ khóa: Công nghệ thông tin, Chuyển mạch chùm quang, Tập hợp chùm, Lập lịch chùm, Chương trình Matlab

Trình bày cú pháp và ngữ nghĩa của chương trình logic mở rộng 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 được phép xuất hiện trong các mệnh đề. Cách tiếp cận ngữ nghĩa của lớp chương trình này là sự mở rộng của ngữ nghĩa mô hình bền vững. Ghi chú: Tài liệu toàn văn liên hệ...

 5 p husc 23/10/2017 291 1 Download

Từ khóa: Công nghệ thông tin, Chương trình Logic, Logic thông thường, Logic mở rộng, Ngữ nghĩa mô hình, Ngôn ngữ bậc nhất, Phủ định mạnh, Phủ định Mặc định.

Trình bày một ngôn ngữ của lập trình logic theo ngữ nghĩa tập trả lời được gọi là AnsProlog*. Trong AnsProlog* ta cố định ngữ nghĩa tập trả lời và chỉ tập trung vào đó.Ứng dụng của ngôn ngữ AnsProlog* thông qua một số bài toán trong lý thuyết đồ thị và tiến hành mã hóa, thực thi trên hệ thống lập trình logic DLV. Ghi chú: Tài liệu toàn văn liên...

 5 p husc 23/10/2017 285 1 Download

Từ khóa: Công nghệ thông tin, Chương trình Logic, Logic xác định, Ngôn ngữ AnsProlog, Hệ thống DLV, Biên dịch hệ thống, Bài toán hệ thống, Bài toán biểu diễn, Bài toán chu trình, Bài toán tập định, Bài toán phủ định.

Trình bày cú pháp và ngữ nghĩa của chương trình logic với rang buộc bản số và trọng số. Cách tiếp cận ngữ nghĩa của lớp chương trình này là sự mở rộng của ngữ nghĩa mô hình bền vững, ứng dụng của chương trình logic với các ràng buộc bản số, trọng số vào một số bài toán cụ thể và thực thi chương trình bằng phần mềm hệ thống Smodels....

 5 p husc 23/10/2017 294 1 Download

Từ khóa: Công nghệ thông tin, Chương trình logic, Ràng buộc bản số, Ràng buộc trọng số, Hệ thống Smodels, Logic bậc nhất, Ngôn ngữ Logic.