» Từ khóa: nghe phu

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

Ứ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 236 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.

Trình bày một số kiến thức cơ sở liên quan đến tập mờ, các phép toán trên tập mờ và hệ chuyên gia mờ, về một số vấn đề liên quan đến phương pháp lập luận xấp xỉ , tổng quan về việc chẩn đoán bệnh Tăng huyết áp.Để ứng dụng xây dựng hệ trợ giúp chẩn đoán bệnh tăng huyết áp. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email:...

 5 p husc 13/10/2017 266 1 Download

Từ khóa: Công nghệ thông tin, Biến ngôn ngữ, Giao của hai tập mờ, Hợp của hai tập mờ, Phép phủ định, Phép tuyển, Quan hệ mờ, Phép kéo theo, Mệnh đề mờ, Diễn tri thức mờ, Phần mềm ứng dụng.

Trình bày việc ứng dụng phân tích một đoạn chương trình C sang chương trình Datalog, biểu diễn các vị từ của chương trình Datalog bằng Sơ đồ nhị phân quyết định, dùng các phép toán trên Sơ đồ nhị phân quyết định để tìm mô hình của chương trình Datalog. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 -...

 6 p husc 13/10/2017 368 1 Download

Từ khóa: Công nghệ thông tin, Chương trình logic, Chương trình Datalog, Sơ đồ nhị phân, Đại số quan hệ, Hàm logic, Nhị phân quyết định, Miền giá trị, Đồ thị phụ thuộc.

Khái quát đàng trong thời chúa Nguyễn. Làm rõ về lịch sử, tình hình thủ công nghiệp đàng trong thời chúa Nguyễn (1558-1777). 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

 124 p husc 29/05/2017 319 3 Download

Từ khóa: Lịch sử, Lịch sử Việt Nam, Kinh tế đàng trong thời chúa Nguyễn, Thủ công nghiệp, Nghề phụ, Thủ công dân gian, Gia đình nông thôn, Thủ công đúc đồng, Thủ công luyện sắt, Chính trị quân sự.

Bài viết Công tác xã hội đối với nhóm phụ nữ làm nghề giúp việc bị bạo lực tại Hà Nội tập trung làm rõ lao động giúp việc gia đình ở Việt Nam; bạo lực đối với phụ nữ làm nghề giúp việc; tính dễ tổn thương của người làm nghề giúp việc.

 6 p husc 27/03/2017 235 1 Download

Từ khóa: Công tác xã hội, Công tác xã hội với phụ nữ, Phụ nữ làm nghề giúp việc, Phụ nữ bị bạo lực, Bạo lực ở Việt Nam, Tính dễ bị tổn thương của phụ nữ

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

Giới thiệu tổng quan về lược đồ UML, bao gồm việc giới thiệu tổng quan lược đồ UML ở mức khái niệm và các kiểu quan hệ trong lược đồ UML.Để xây dựng các quy tắc chuyển đổi một lược đồ UML sang mô hình cơ sở dữ liệu quan hệ. 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 274 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Quan hệ kết hợp, Quan hệ kết tập, Chuyển đổi quan hệ, Dữ liệu quan hệ, Quan hệ hiện thực hóa, Quan hệ phụ thuộc.

Xây dựng một phương pháp chuyển đổi mô hình Timeer sang lược đồ UML có yếu tố thời gian. 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 21/09/2016 264 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Biểu đồ lớp, Quan hệ kết hợp, Quan hệ kết tập, Quan hệ phụ thuộc, Quan hệ lớp cha, Quan hệ lớp con, Chuyển đổi timeer, Biểu diễn thời gian

Bài giảng Công nghệ protein – enzyme - Chương 3: Các phương pháp tinh sạch protein – enzyme trình bày loại các tạp chất, kỹ thuật thông thường trong tinh sạch protein, ly tâm, thẩm tích, sắc ký lọc gel, phương pháp sắc ký trao đổi ion, phương pháp dùng chất hấp phụ đặc hiệu sinh học hay là phương pháp sắc ký ái lực, sắc ký tương tác kỵ nước,… Đây...

 46 p husc 18/08/2016 237 2 Download

Từ khóa: Công nghệ protein Chương 3, Công nghệ protein, Công nghệ sinh học, Phương pháp tinh sạch protein, Phương pháp sắc ký trao đổi ion, Phương pháp dùng chất hấp phụ đặc hiệu

Tổng hợp Nano Cerium oxide (CeO2) phân tán, đồng đều có khả năng xúc tác quang trong phản ứng phân hủy xanh methylen dưới sự chiếu xạ tia UV. Khả năng ứng dụng và an toàn cao. 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

 7 p husc 22/06/2016 437 1 Download

Từ khóa: Hóa học, Hóa lý thuyết và hóa lý, Vật liệu nano, Công nghệ nano, Quang điện tử, Nguyên tố đất hiếm, Oxi đất hiếm, Tinh thể CeO2, Khử hấp phụ nitơ, Xúc tác của CeO2

Nghiên cứu và giới thiệu các ràng buộc dữ liệu trong mô hình quan hệ; mô hình ER và mô hình mở rộng của mô hình ER là mô hình EER. Trình bày phương pháp trích xuất một mô hình EER từ mô hình quan hệ có sử dụng các ràng buộc phụ thuộc bao hà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

 5 p husc 20/06/2016 372 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ràng buộc toàn vẹn, Ràng buộc phụ thuộc, Phụ thuộc hàm, Phụ thuộc bao hàm, Phụ thuộc đa trị, Mô hình EER, Quan hệ biểu diễn