1. Trang chủ
  2. Luận Văn - Báo Cáo

GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

100 4 0
GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

Thông tin tài liệu

Ngày đăng: 09/05/2022, 23:41

Xem thêm:

Hình ảnh liên quan

(Quản lý cấu hình phần mềm) - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

u.

ản lý cấu hình phần mềm) Xem tại trang 9 của tài liệu.
Hình 1.1: Sơ đồ khai phá quy trình. - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Hình 1.1.

Sơ đồ khai phá quy trình Xem tại trang 18 của tài liệu.
Bảng 1.1: Một ví dụ bảng ghi sự kiện - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Bảng 1.1.

Một ví dụ bảng ghi sự kiện Xem tại trang 23 của tài liệu.
Bảng 1.3: Một bản ghi sự kiện đơn giản với thông tin nguồn lực được làm nổi bật. - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Bảng 1.3.

Một bản ghi sự kiện đơn giản với thông tin nguồn lực được làm nổi bật Xem tại trang 34 của tài liệu.
Hình 1.9: Mô hình tổ chức được phát hiện dựa trên bản ghi sự kiện - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Hình 1.9.

Mô hình tổ chức được phát hiện dựa trên bản ghi sự kiện Xem tại trang 36 của tài liệu.
Hình 2.2: Mối liên hệ giữa bản ghi sự kiện với cấu trúc mạng Petri cơ bản dựa trên các mối quan hệ >W, →W, ||W và #W - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Hình 2.2.

Mối liên hệ giữa bản ghi sự kiện với cấu trúc mạng Petri cơ bản dựa trên các mối quan hệ >W, →W, ||W và #W Xem tại trang 42 của tài liệu.
Hình 2.4: Một mô hình quy trình với cấu trúc không tự do lựa chọn - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Hình 2.4.

Một mô hình quy trình với cấu trúc không tự do lựa chọn Xem tại trang 44 của tài liệu.
Hình 2.7: Mô hình mạng Petri được sử dụng để tạo ra một bản ghi sự kiện, trong đó các hoạt động D1, D2 và D3 không được ghi lại trong bản ghi sự kiện - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Hình 2.7.

Mô hình mạng Petri được sử dụng để tạo ra một bản ghi sự kiện, trong đó các hoạt động D1, D2 và D3 không được ghi lại trong bản ghi sự kiện Xem tại trang 46 của tài liệu.
Bảng 2.3. Đếm tần suất xuất hiện của các mối quan hệ nhân quả giữa các hoạt động - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Bảng 2.3..

Đếm tần suất xuất hiện của các mối quan hệ nhân quả giữa các hoạt động Xem tại trang 50 của tài liệu.
Bảng 2.4: Đếm số vòng lặp có độ dài 2 (tức là đế ma >> w b). - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Bảng 2.4.

Đếm số vòng lặp có độ dài 2 (tức là đế ma >> w b) Xem tại trang 50 của tài liệu.
2. Nhìn vào đường chéo trong bảng 2.3 chỉ có một ứng cử viên cho C1: hoạt độn gI được theo sau bởi chính nó 315 lần - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

2..

Nhìn vào đường chéo trong bảng 2.3 chỉ có một ứng cử viên cho C1: hoạt độn gI được theo sau bởi chính nó 315 lần Xem tại trang 51 của tài liệu.
Nếu chúng ta so sánh bảng 2.6 với kết quả của việc áp dụng định nghĩa 2.4 trên C-net được đưa ra trong bảng 2.2 chỉ khác nhau là mất kết nối tần suất thấp từ D đến K - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

u.

chúng ta so sánh bảng 2.6 với kết quả của việc áp dụng định nghĩa 2.4 trên C-net được đưa ra trong bảng 2.2 chỉ khác nhau là mất kết nối tần suất thấp từ D đến K Xem tại trang 52 của tài liệu.
Hình 2.9: Đồ thị phụ thuộc kết quả khi thiết lập tham số σa =0.80 và σr = 0.2 (Kết nối tần suất thấp giữa hoạt động D và K cũng được chấp nhận) - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Hình 2.9.

Đồ thị phụ thuộc kết quả khi thiết lập tham số σa =0.80 và σr = 0.2 (Kết nối tần suất thấp giữa hoạt động D và K cũng được chấp nhận) Xem tại trang 53 của tài liệu.
Hình 2.10: Một mô hình quy trình dưới dạng mạng Petri với cấu trúc phụ thuộc khoảng cách xa - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Hình 2.10.

Một mô hình quy trình dưới dạng mạng Petri với cấu trúc phụ thuộc khoảng cách xa Xem tại trang 55 của tài liệu.
Hình 2.11: Sự tương ứng của DG với hình 2.10 mà không có mối quan hệ phụ thuộc khoảng cách xa - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Hình 2.11.

Sự tương ứng của DG với hình 2.10 mà không có mối quan hệ phụ thuộc khoảng cách xa Xem tại trang 56 của tài liệu.
Hình 2.12: DG tương ứng với hình 2.11 với quan hệ đồ thị phụ thuộc khoảng cách xa. - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Hình 2.12.

DG tương ứng với hình 2.11 với quan hệ đồ thị phụ thuộc khoảng cách xa Xem tại trang 57 của tài liệu.
Hình 2.13: Tổng quan về hướng tiếp cận sử dụng khai phá di truyền - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Hình 2.13.

Tổng quan về hướng tiếp cận sử dụng khai phá di truyền Xem tại trang 58 của tài liệu.
Hình 2.15: Mô tả quá trình đột biến, một vị trí bị loại bỏ và một cung mới được thêm vào - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Hình 2.15.

Mô tả quá trình đột biến, một vị trí bị loại bỏ và một cung mới được thêm vào Xem tại trang 63 của tài liệu.
Hình 3.1: Tổng quan về khung ứng dụng ProM - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Hình 3.1.

Tổng quan về khung ứng dụng ProM Xem tại trang 69 của tài liệu.
Hình 3.2: Các tùy chọn đối với dữ liệu đầu vào là bản ghi sự kiện - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Hình 3.2.

Các tùy chọn đối với dữ liệu đầu vào là bản ghi sự kiện Xem tại trang 70 của tài liệu.
Hình 3.4: Giao diện kết quả của thuật toán GA - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Hình 3.4.

Giao diện kết quả của thuật toán GA Xem tại trang 71 của tài liệu.
Hình 3.3: Giao diện tùy chỉnh thông số cho thuật toán GA - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Hình 3.3.

Giao diện tùy chỉnh thông số cho thuật toán GA Xem tại trang 71 của tài liệu.
Hình 3.6: Giao diện chức năng quản lý gói plugin của ProM 6.5 - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Hình 3.6.

Giao diện chức năng quản lý gói plugin của ProM 6.5 Xem tại trang 72 của tài liệu.
Hình 3.5: Giao diện làm việc trên ProM 5.2 - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Hình 3.5.

Giao diện làm việc trên ProM 5.2 Xem tại trang 72 của tài liệu.
Hình 3.8: Không gian hoạt động (Action) trên ProM Lite 1.2 - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Hình 3.8.

Không gian hoạt động (Action) trên ProM Lite 1.2 Xem tại trang 74 của tài liệu.
Hình 3.11: Kết quả khai phá quy trình xử lý quy trình bằng thuật toán Alpha. - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Hình 3.11.

Kết quả khai phá quy trình xử lý quy trình bằng thuật toán Alpha Xem tại trang 76 của tài liệu.
Hình 3.12: Kết quả nhận được khi khai phá với bản ghi sự kiện có lỗi. - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Hình 3.12.

Kết quả nhận được khi khai phá với bản ghi sự kiện có lỗi Xem tại trang 77 của tài liệu.
Kiểm tra độ phù hợp của mô hình trên hình 3.13 không chứa các kết nối giữa bắt đầu lại yêu cầu(F) và quyết định (C) , ta nhận được độ phù hợp 94,1% do 6 kết nối giữa - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

i.

ểm tra độ phù hợp của mô hình trên hình 3.13 không chứa các kết nối giữa bắt đầu lại yêu cầu(F) và quyết định (C) , ta nhận được độ phù hợp 94,1% do 6 kết nối giữa Xem tại trang 78 của tài liệu.
Hình 3.13: Mô hình kết quả khai phá quy trình bằng thuật toán HM khi sử dụng các tham số mặc định - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Hình 3.13.

Mô hình kết quả khai phá quy trình bằng thuật toán HM khi sử dụng các tham số mặc định Xem tại trang 78 của tài liệu.
Hình 3.15: Kết quả khai phá với bản ghi có sự kiện lỗi và hoạt động trùng lặp - GHIÊN CỨU KỸ THUẬT KHAI PHÁ QUY TRÌNH VÀ ỨNG DỤNG XÂY DỰNG QUY TRÌNH KIỂM ĐỊNH CHẤT LƯỢNG GIÁO DỤC TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Hình 3.15.

Kết quả khai phá với bản ghi có sự kiện lỗi và hoạt động trùng lặp Xem tại trang 79 của tài liệu.

Trích đoạn

Kết luận thuật tốn khai phá quy trình di truyền

Kết luận chương 2

Bài toán khai phá quy trình thu thập cập nhật hệ thống minh chứng Kiểm định

Các chức năng của công cụ khai phá quy trình ProM

Thực nghiệm khai phá quy trình thu thập cập nhật hệ thống minh chứng kiểm

Khai phá quy trình bằng thuật toán Alpha

Khai phá quy trình bằng thuật toán Di truyền

Kết luận chương 3

Tài liệu cùng người dùng

Tài liệu liên quan