» Từ khóa: tin học

Tìm hiểu những kiến thức về lập trình tương tranh, kiểm thử phần mềm, kiểm thử đơn vị và giới thiệu một số công cụ kiểm thử mã nguồn mở vận dụng để kiểm thử mức đơn vị. Trình bày các vấn đề trong việc tiến hành kiểm thử đơn vị cho chương trình tương tranh và giải pháp tương ứng vấn đề. Ghi chú: Tài liệu toàn văn liên hệ theo...

 5 p husc 27/03/2015 201 1 Download

Từ khóa: Tin học, Chương trình tương tranh, Lập trình tương tranh, Kiểm thử phần mềm, Kiểm thử đơn vị

Tìm hiểu về chương trình Datalog dạng tuyển. Định nghĩa hình thức datalog dạng tuyển với các ràng buộc mạnh – yếu, ngữ nghĩa mô hình của chương trình Datalog dạng tuyển với các dạng tuyển mạnh và yếu. Nghiên cứu chương trình Datalog dạng tuyển với các ràng buộc mạnh và yếu được sử dụng để biểu diễn các bài toán thuộc nhiều lĩnh vực khác...

 5 p husc 27/03/2015 353 2 Download

Từ khóa: Tin học, chương trình Datalog, Datalog dạng tuyển

Tìm hiểu các thuật toán (Naive, Semi-naive), các thuật toán cải tiến hiện có và nghiên cứu một số phương pháp để tìm ngữ nghĩa mô hình của chương trình Datalog. Nghiên cứu các phương pháp tìm ngữ nghĩa của chương trình Datalog trong các trường hợp đặc biệt - tuyến tính; phân tầng địa phương. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email:...

 6 p husc 27/03/2015 236 2 Download

Từ khóa: Tin học, Thuật toán, Chương trình Datalog, Datalog

Nghiên cứu hai tiếp cận ngữ nghĩa thủ tục và ngữ nghĩa khai báo của chương trình logic có ràng buộc. Nghiên cứu vấn đề tối ưu hóa ngữ nghĩa của chương trình logic có ràng buộc. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 5 p husc 27/03/2015 68 2 Download

Từ khóa: Tin học, Chương trình logic có ràng buộc, logic có ràng buộc, Chương trình máy tính

Nghiên cứu tổng quan về khai phá dữ liệu, một số ứng dụng của khai phá dữ liệu. Một số thuật toán tìm phụ thuộc hàm và phụ thuộc hàm xấp xỉ dựa trên cơ sở cải tiến thuật toán Tane. Kiểm tra phụ thuộc đa trị và phụ thuộc đa trị xấp xỉ bằng cách xây dựng ma trận phụ thuộc, từ đó tìm tất cả phụ...

 5 p husc 26/03/2015 189 2 Download

Từ khóa: Tin học, Khai phá dữ liệu, Thuật toán tìm phụ thuộc hàm, Thuật toán Tane

Nghiên cứu lý thuyết về tập mờ, Biến ngôn ngữ và phép toán kết nhập; Xây dựng hàm kết nhập trong đại số gia tử và ứng dụng bài toán kết nhập trong tư vấn hướng nghiệp học sinh trung học phổ thông. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 6 p husc 26/03/2015 219 2 Download

Từ khóa: Tin học, Đại số gia từ, Phép toán kết nhập, Hàm kết nhập

Tìm hiểu quy trình phát triển phần mềm hợp nhất RUP; về ngôn ngữ mô hình hóa hợp nhất UML và kiến trúc của RUP. Nghiên cứu về Enterprise Architect và tìm hiểu quy tình phát triển phần mềm RUP với việc xây dựng các mô hình RUP trong Enterprise Architect. Tiến hành thử nghiệm cho bài toán quản lý đào tạo tại trường Cao...

 7 p husc 26/03/2015 281 1 Download

Từ khóa: Tin học, Công cụ Enterprise Architect, Ứng dụng CNTT, Quản lý đào tạo, trường Cao đẳng Sư phạm Gia Lai

Giới thiệu lý thuyết về chương trình logic có yếu tố thời gian Chronolog và ngữ nghĩa của lớp chương trình này. Trình bày kỹ thuật hợp giải TiSLD. Cách tiếp cận để xác định ngữ nghĩa của chương trình logic có yếu tố thời gian Chronolog dạng tuyển và kỹ thuật hợp giải TSLO. Ghi chú: Tài liệu toàn văn liên hệ theo địa...

 5 p husc 26/03/2015 178 1 Download

Từ khóa: Tin học, Lập trình logic, Chương trình logic

Tìm hiểu một số thuật toán ứng dụng trong khai phá quy trình và quản lý quy trình. Nghiên cứu tổng quan về quản lý quy trình nghiệp vụ; điều phối luồng công việc giữa các quy trình trong và giữa các doanh nghiệp; tích hợp luồng công việc. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440...

 5 p husc 26/03/2015 196 1 Download

Từ khóa: Tin học, Thuật toán, Khai phá quy trình, Quy trình nghiệp vụ

Nghiên cứu cơ sở lý luận về chương trình logic và logic mô tả; Ngữ nghĩa của chương trình logic mô tả dương; Ngữ nghĩa của chương trình logic mô tả tổng quát. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 5 p husc 26/03/2015 76 1 Download

Từ khóa: Tin học, Chương trình logic, Logic mô tả

Nghiên cứu tổng quan về cơ sở dữ liệu có yếu tố thời gian; Đánh giá một số mô hình quan hệ có yếu tố thời gian; Nghiên cứu và mở rộng mô hình quan hệ 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: 054 3822440 – 054 3832447

 5 p husc 26/03/2015 118 1 Download

Từ khóa: Tin học, Mô hình quan hệ, Mô hình quan hệ có yếu tố thời gian

Tìm hiểu tổng quan về lưới (khái niệm, kiến trúc, phân loại, so sánh với các hệ thống tính toán khác... Nghiên cứu các vấn đề lập lịch trên lưới). Tìm hiểu và nghiên cứu các thuật toán lập lịch động đã có - cài đặt thử nghiệm các thuật toán. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email:...

 6 p husc 26/03/2015 214 1 Download

Từ khóa: Tin học, Tính toán lưới, Thuật toán lập lịch di động