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

Bài giảng cung cấpcho người học một hệ thống kiến thức cơ bản về cấu tạo các chất hóa học, về sự tương tác và cách thức vận động của chúng trong tự nhiên. Từ đó giúp cho sinh viên nắm được một số quy luật về sự vận động của các chất, dự đoán các khả năng, chiều hướng và giới hạn của các quá trình hóa học, những hiện tượng...

 146 p husc 31/12/2017 328 2 Download

Từ khóa: Hóa học đại cương, Kí hiệu hoá học, Công thức hoá học, Phương trình sóng của electron, Liên kết ion, Liên kết cộng hoá trị

Giáo trình Công nghệ sản xuất các chất kết dính vô cơ trang bị cho sinh viên những kiến thức cơ bản, tối thiểu nhất về công nghệ sản xuất các chất kết dính từ đơn giản đến phức tạp. Ngoài ra, sinh viên còn tìm hiểu thêm về bản chất hóa học của quá trình nung luyện, quá trình đóng rắn và chất lượng các loại chất kết dính và các nội dung...

 155 p husc 31/12/2017 281 3 Download

Từ khóa: Công nghệ sản xuất, Chất kết dính vô cơ, Quá trình nung luyện, Quá trình đóng rắn, Chất kết dính, Công nghệ hóa học

Reforming xúc tác là một trong những quá trình quan trọng nhất của công nghiệp chế biến dầu mỏ. Mô đun này trang bị kiến thức chuyên ngành cần thiết cho các học viên sau này tham gia vận hành trong nhà máy lọc dầu cũng như làm việc trong các lĩnh vực liên quan đến nghiên cứu chế biến dầu khí. Mô đun Reforming xúc tác (Phần 1) gồm nội dung 3 bài học...

 36 p husc 31/12/2017 216 2 Download

Từ khóa: Reforming xúc tác, Công nghiệp chế biến dầu mỏ, Chế biến dầu khí, Công nghệ hóa dầu, Thiết bị reforming xúc tác, Quá trình reforming xúc tác

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 273 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 267 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 276 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.

Trình bày việc mở rộng chương trình Datalog dạng tuyển bởi các ràng buộc toàn vẹn. Đặc biệt, ngoài các ràng buộc toàn vẹn cổ điển (còn gọi là ràng buộc mạnh) biểu diễn các điều kiện cần phải được thỏa mãn, biểu diễn một số bài toán bằng chương trình Datalog dạng tuyển với các ràng buộc toàn vẹn. Ghi chú: Tài liệu toàn văn liên hệ theo...

 4 p husc 23/10/2017 255 1 Download

Từ khóa: Công nghệ thông tin, Chương trình Datalog, Datalog dạng tuyển, Ràng buộc toàn vẹn, Hệ thống DLV, Bài toán minh họa.

Nghiên cứu về xử lý song song và các phương pháp lập trình song song mà cụ thể là dựa vào luồng để giải quyết cho ứng dụng chấm điểm thi sát hạch lái xe. 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

 5 p husc 23/10/2017 272 1 Download

Từ khóa: Công nghệ thông tin, Lập trình bộ nhớ, Lập trình song song, Lập trình trên cụm máy tính, Lập trình luồng, Bộ nhớ chia sẻ, Dữ liệu và đồ thị.

Trình bày kiến thức về mạng nơ ron, nơ ron nhân tạo và nơ ron sinh học, các kiểu mô hình mạng. Mô phỏng ứng dụng mạng nơ ron đa lớp truyền thẳng trình bày mô hình bài toán nhận dạng chữ Hán nôm và cách giải quyết bài toán dựa trên mạng nơ ron đa lớp truyền thẳng. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343....

 5 p husc 23/10/2017 267 2 Download

Từ khóa: Công nghệ thông tin, Mạng nơ ron, Nơ ron sinh học, Nơ ron nhân tạo, Mạng nhiều tầng, Lớp truyền thẳng, Thuật toán lan truyền, Chọn hàng truyền, Nhận dạng chữ Hán Nôm, Thuật toán lan truyền ngược, Giao diện chương trình.

Tổng quan về nền tảng phát triển ứng dụng tính toán phân tán bằng Hadoop – một nền tảng mềm mã nguồn mở, miễn phí, dựa trên Java, cung cấp một nền tảng phân tán mạnh để lưu trữ và quản lý ứng dụng trong xử lý Big Data. 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

 6 p husc 20/10/2017 299 1 Download

Từ khóa: Công nghệ thông tin, Lập trình phân tán, Lập trình song song, Mô hình MPI, Phân tán Hadoop, Hệ thống tập tin, Tập tin phân tán, Xử lí big data.

Khái quát về cơ sở dữ liệu thời gian, thiết kế cơ sở dữ liệu thời gian phục vụ việc quản lý khám và chữa bệnh, thiết kế và cài đặt chương trình quản lý khám chữa bệnh. 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

 6 p husc 20/10/2017 296 1 Download

Từ khóa: Công nghệ thông tin, Cơ sở dữ liệu, Dữ liệu thời gian, Quan hệ lớp cha, Quan hệ lớp con, Quy trình khám bệnh, Quy trình xét nghiệm, Thiết kế cơ sở dữ liệu, GIao diện đăng nhập, Giao diện thực hiện.

Ứng dụng khai phá quy trình nghiệp vụ bằng cách sử dụng dữ liệu là các bản ghi sự kiện sẵn có tại phòng Công tác sinh viên của trường Đại học Tiền Giang. 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

 5 p husc 20/10/2017 218 1 Download

Từ khóa: Công nghệ thông tin, Điều khiển luồng, Lớp khám phá, Lớp phù hợp, Thuật toán khai phá, Khai phá quy trình, Công cụ khai phá, Thuật toán Heurictis, Lớp cải tiến.