đặc tả, kiểm chứng hình thức và ứng dụng trong cơ sở dữ liệu thời gian thực luận án ts. đảm bảo toán học cho máy tính và các hệ thống tính toán

Ngày tải lên: 01/03/2013, 17:01

... dữ liệu thời gian thực và ứng dụng trong bài toán tính cớc và chăm sóc khách hàng ThS.Đặng Hà Vinh,KS. Nguyễn Đăng Quang Trung tâm Công nghệ Thông tin Tóm tắt: Cơ sở dữ liệu trong bộ nhớ IMDS ... hợp trong lĩnh vực phần mềm nhúng hoặc những ứng dụng đòi hỏi truy xuất dữ liệu với tốc độ thời gian thực. Tuy nhiên một phần lớn các IMDS...

Ngày tải lên: 16/01/2014, 17:20

... hướng tới bài toán ứng dụng logic mô tả để mở rộng năng lực biểu diễn trong cơ sở dữ liệu. Ở các chương tiếp theo ta sẽ hướng tới việc ứng dụng logic mô tả vào cơ sở dữ liệu. -34- ... quán các dữ liệu liên quan. Cơ sở dữ liệu gần tương tự như cơ sở tri thức. Sự khác nhau chủ yếu giữa cơ sở dữ liệu và cơ sở tri thức l...

Ngày tải lên: 19/02/2014, 08:57

Ngày tải lên: 12/03/2014, 04:20

... d9C tren x tai thai diifm t. wl;(x)(t) = 1, neu giao tac T; giii: kh6a ghi tren x tai thai diifm t. M9i giao tac c6 thif d"eu thtrc hien theo hai pha. Trong pha dau, doi ttrong giii: kh6a ... li~u diroc thirc hien, trong khi pha thfr hai doi tirong kh6a duoc giai ph6ng. Vi v~y, voi m~i giao tac T; ta st1-dung m9t bien trang thai phi thif hi~n pha giao tac Ii trong...

Ngày tải lên: 21/03/2014, 00:20

Ngày tải lên: 21/03/2014, 00:20

... cơ sở dữ liệu Mối quan hệ giữa logic mô tả và cơ sở dữ liệu khá khăng khít. Thực tế , nhu cầu xây dựng các hệ thống mà vừa có khả năng biểu diễn tri thức logic mô tả và quản trị cơ sở dữ liệu ... logic mô tả, sơ lược về các mô hình cơ sở dữ liệu phổ biến, mối quan hệ giữa cơ sở dữ liệu và logic mô tả. Do vậy, các nội dun...

Ngày tải lên: 27/06/2014, 22:20

... trọng trong tin sinh học là phân tích mối quan hệ giữa các trình tự, gọi tắt là phân tích trình tự. Các bài toán cơ bản trong phân tích trình tự là: tìm kiếm trình tự tƣơng đồng trong cơ sở dữ liệu; ... niệm cơ bản trong tin sinh học và các cơ sở dữ liệu sinh học lớn trên thế giới, các phƣơng pháp giải quyết bài toán sắ...

Ngày tải lên: 05/10/2014, 22:55

... sở dữ liệu và khai phá dữ liệu Chương 2: Phát hiện luật kết hợp Chương 3: Phát hiện luật kết hợp trong cơ sở dữ liệu quản lý sinh viên Ngoài phần tổng hợp những kiến thức về khai phá dữ liệu, ... QUAN VỀ CƠ SỞ DỮ LIỆU VÀ KHAI PHÁ DỮ LIỆU 3 1.1. Một số khái niệm về cơ sở dữ liệu 3 1.1.1. Cơ sở dữ liệu 3 1.1.2. Hệ quản...

Ngày tải lên: 20/12/2014, 23:58

Ngày tải lên: 09/01/2015, 08:54

... NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ TRỊNH THỊ ANH LOAN KHAI PHÁ LUẬT KẾT HỢP MỜ VÀ ỨNG DỤNG TRONG CƠ SỞ DỮ LIỆU CƯỚC ĐIỆN THOẠI Ngành : Công nghệ thông tin Chuyên ngành : Hệ thống ... in thoi và kt qu cài t thut toán MFAMI trên CSDL này. 10 CHƯƠNG 1: TỔNG QUAN VỀ KHAI PHÁ DỮ LIỆU 1.1. Khai phá dữ liệu 1.1.1. Mục tiêu của khai phá dữ liệu...

Ngày tải lên: 25/03/2015, 09:37

... phát từ thực tế Tôi chọn đề tài “ Một số vấn đề lưu trữ và chỉ mục trong cơ sở dữ liệu không gian . Trong khuôn khổ một luận văn, tôi trình bày một số vấn đề cơ bản về hệ thống thông tin địa ... 2 không gian dữ liệu chỉ mục mà chúng tương tác không gian với mỗi trong chúng (kết nối không gian) . Chỉ mục không gian...

Ngày tải lên: 25/03/2015, 09:52

... học Khai phá dữ liệu và nhà kho dữ liệu, cũng như nhận thấy. Trong quá trình học, tôi nhận thấy gom cụm dữ liệu là kỹ thuật rất quan trọng trong khai phá dữ liệu và k-means là một thuật toán ... ra gom cụm dữ liệu còn có thể được sử dụng như một bước tiền xử lí cho các thuật toán khai phá dữ liệu khác như là phân loại và mô tả đặ...

Ngày tải lên: 10/04/2015, 00:25

... Đại Học Công Nghệ Thông Tin BI THU HC MÔN CƠ SỞ DỮ LIỆU NÂNG CAO ĐỀ TI: TỐI ƯU HOÁ TRUY VẤN PHÂN TÁN - ỨNG DỤNG TRONG CƠ SỞ DỮ LIỆU PHÂN TÁN ORACLE  GVHD: PGS.TS. ĐỖ PHÚC Người thực hiện: ... 3 Bi thu hoch: Cơ sở dữ liệu nâng cao GVHD: PGS.TS Đ! Ph"c PHẦN I : CƠ SỞ DỮ LIỆU PHÂN TÁN - NGUYÊN LÝ CHUNG CỦA TỐI ƯU HOÁ TRUY VẤN  I.1.Khái niệm về Cơ sở dữ...

Ngày tải lên: 10/04/2015, 13:22