Untitled Document
|
|
|
MS đề tài |
96-0229 |
|
Tên nhiệm vụ |
Các phương pháp biến đổi hệ tuần tự thành hệ song song và ứng dụng trong kỹ thuật phần mềm và truyền tin bằng máy vi tính. Một vài vấn đề về phụ thuộc logic trong cơ sở dữ liệu quan hệ và độ phức tạp otomat của biến thức chính quy suy rộng |
|
Tổ chức chủ trì |
Trường ĐH Tổng hợp Hà Nội, 90 Nguyễn Trãi, Đống Đa, Hà nội |
|
Cơ quan chủ quản |
Bộ Giáo dục và Đào tạo, Hà nội |
|
Cấp quản lý nhiệm vụ |
Bộ |
|
Chủ nhiệm nhiệm vụ |
Đặng Huy Ruận, PTS, PTS |
|
Cán bộ phối hợp |
Hoàng Chí Thành, PTS; Lê Đức Minh; Vũ Ngọc Loan |
|
Lĩnh vực nghiên cứu |
202. Kỹ thuật điện, kỹ thuật điện tử, kỹ thuật thông tin |
|
Thời gian
bắt đầu |
1993 |
|
Thời gian
kết thúc |
1995 |
|
Năm viết
báo cáo |
1995 |
|
Nơi viết
báo cáo |
Hà nội |
|
Số trang |
50 |
|
Tóm tắt |
Đối với các phương pháp biến đổi hệ tuần tự thành hệ song song đề tài đã xây dựng được phương pháp biến đổi hệ tuần tự thành hệ song song, để biến đổi việc xử lý thông tin từ đơn lẻ tại mỗi thời điểm chuyển sang khả năng xử lý thông tin nhiều chiều về vấn đề phụ thuộc logic trong cơ sở dữ liệu, đề tài đã khẳng định được đối với một tập các quan hệ phụ thuộc Boolean tổng quát cho trước có tồn tại quan hệ arcmstrong hay không. Đối với các siêu ngôn ngữ đề tài đã xây dựng được các dãy biểu thức chưc chính suy rộng, mà các otomat đơn định đoán nhận các siêu ngôn ngữ do các biểu thức này xác định đòi hỏi một số trạng thái đủ lớn |
|
Từ khoá |
Phần mềm; Kỹ thuật phần mềm; Máy vi tính; Biến thức chính quy suy rộng |
|
Nơi lưu trữ |
24 Lý Thường Kiệt, Hà Nội |
|
Ký hiệu kho |
2038 |
|
|
|
Trạng thái |
Đã nghiệm thu |
|
|
Tìm kiếm cơ bản Tìm kiếm nâng cao
|
Copyright © by NASATI
Tel: 04-39349923 -
Fax: 04-39349127
|
|