Đồ án, luận văn, do an, luan van

2.1. Quá trình thiết kế CSDL. 2.2. Mô hình liên kết thực thể 2.3. Các cấu trúc của mô hình liên kết thực thể 2.4. Mô hình ER 2.5. Tổng quan về qui tắc nghiệp vụ 2.6. Định nghĩa các ràng buộc về cấu trúc 2.7. Định nghĩa các ràng buộc về tác vụ 2.8. Mô hình ER mở rộng

89 trang | Chia sẻ: candy98 | Ngày: 28/11/2020 | Lượt xem: 1211 | Lượt tải: 0

Trong chương trước, chúng ta thảo luận các chiến lược quản lý bộ nhớ được dùng trong hệ thống máy tính. Tất cả những chiến lược này có cùng mục đích: giữ nhiều quá trình trong bộ nhớ cùng một lúc để cho phép đa chương. Tuy nhiên, chúng có khuynh hướng yêu cầu toàn bộ quá trình ở trong bộ nhớ trước khi quá trình có thể thực thi. Bộ nhớ ảo là mộ...

19 trang | Chia sẻ: thuongdt324 | Ngày: 28/11/2020 | Lượt xem: 759 | Lượt tải: 0

 Suy diễn tiến  Suy diễn lùi Suy diễn tiến  Tư tưởng cơ bản là áp dụng luật suy diễn Modus Ponens tổng quát.  Trong mỗi bước, người ta xét một luật trong cơ sở luật.  Đối sánh với điều kiện của luật với các sự kiện trong cơ sở sự kiện, nếu tất cả các điều kiện của luật đều được thỏa mãn thì sự kiện trong phần kết luận của luật được...

12 trang | Chia sẻ: candy98 | Ngày: 28/11/2020 | Lượt xem: 1709 | Lượt tải: 0

Đĩa mềm 1.44 MB, có 2 head, 80 track / head, 18 sector / track • Đổi sector vật lý sang logic: – (10, 2, 1); (18, 70, 0); (18, 79, 1); (5, 5, 1); (2, 0, 0); • Đổi sector logic sang vật lý: – 90, 8,1080, 2000, 1 • Cho biết dãy cyclinder cần truy xuất lần lượt là: 9, 15, 21, 2, 25, 6, 12. Với vị trí hiện hành của đầu đọc đang đứng tại cyclind...

21 trang | Chia sẻ: thuongdt324 | Ngày: 28/11/2020 | Lượt xem: 1303 | Lượt tải: 0

 Logic mệnh đề ◦ Cú pháp và ngữ nghĩa của Logic mệnh đề ◦ Dạng chuẩn tắc ◦ Luật suy diễn  Logic vị từ cấp một ◦ Cú pháp và ngữ nghĩa logic vị từ cấp một ◦ Chuẩn hoá các công thức ◦ Các luật suy diễn

28 trang | Chia sẻ: candy98 | Ngày: 28/11/2020 | Lượt xem: 1139 | Lượt tải: 0

Lập trình trên Windows khó và phức tạp hơn nhiều so với lập trình trên DOS. Tuy nhiên lập trình trên Windows sẽ giải quyết được một số vấn đề khó khăn trong môi trường DOS như xây dựng giao diện người dùng, quản lý bộ nhớ ảo, độc lập thiết bị vào ra, thâm nhập Internet, khả năng chia sẻ tài nguyên,™ Windows cung cấp các hàm để người lập trình ...

69 trang | Chia sẻ: thuongdt324 | Ngày: 28/11/2020 | Lượt xem: 585 | Lượt tải: 0

 Các cách biểu diễn tri thức  Biểu diễn tri thức nhờ logic mệnh đề  Biểu diễn tri thức nhờ logic vị từBiểu diễn tri thức trong các ES  Biểu diễn tri thức bởi các luật sản xuất  Biểu diễn tri thức nhờ mệnh đề logic  Biểu diễn tri thức nhờ mạng ngữ nghĩa  Biểu diễn tri thức nhờ ngôn ngữ nhân tạo  Biểu diễn tri thức nhờ các sự kiện khôn...

16 trang | Chia sẻ: candy98 | Ngày: 28/11/2020 | Lượt xem: 885 | Lượt tải: 1

Quản lý dự án phần mềm: Kiểu thành viên Quản lý nhóm phát triển phần mềm Ước lượng chi phí phần mềm (SE Cost Estimation) Cải tiến qui trình phát triển phần mềm (Software Process Improvement)

75 trang | Chia sẻ: thuongdt324 | Ngày: 28/11/2020 | Lượt xem: 758 | Lượt tải: 0

Khái niệm về chất lượng phần mềm và đảm bảo chất lượng phần mềm Rà soát kỹ thuật - Formal technical review Độ đo chất lượng - Software Quality metrics Đánh giá độ tin cậy Tránh lỗi và thứ lỗi - Fault tolerance and avoidance (reliability and availability)

46 trang | Chia sẻ: thuongdt324 | Ngày: 28/11/2020 | Lượt xem: 1212 | Lượt tải: 0

Khái niệm kiểm thử Phương pháp thử Kỹ thuật thiết kế trường hợp thử Phương pháp thử các môđun

54 trang | Chia sẻ: thuongdt324 | Ngày: 28/11/2020 | Lượt xem: 767 | Lượt tải: 0