研究內容與流程

本研究之研究內容如下：

1. 蒐集飛安查核作業相關資料

首先針對民航局飛安查核作業之相關資料進行蒐集，並藉由飛安查核系統層 級來分析飛安查核作業之流程與程序，接下來整理實務上飛安查核工作排程及檢 查員排班之相關資訊，以獲得工作排程與人員排班之法規規範與限制要求，最後 建立飛安查核工作排程與檢查員排班之求解模式。

2. 工作排程與人員排班之相關文獻回顧

本研究將針對國內外之工作排程及人員排班文獻進行回顧，希望能深入瞭解 排程作業之問題特性、模式類型，與各種求解方法。在模式說明部分主要針對限 制規劃方法進行整理，其內容包括限制規劃模式的構建方式(限制滿足問題、組 合最佳化問題)、模式求解架構，及邏輯推理之空間搜尋及運算程序。

3. 建立飛安查核工作排程之限制規劃模式

本研究將藉由限制規劃方法進行飛安查核工作排程之模式構建，並使用程式 求解元件為查核任務排程之工作順序與檢查員之資格限制進行邏輯推理運算，以 快速獲得飛安查核工作排程之求解結果。

4. 建立檢查員排班之求解模式

檢查員排班模式構建是依據上一階段所獲得的查核工作排程日程表，及考量 滿足相關排班法規限制下，產生可行的工作班以提供每位檢查員執行查核作業，

當進行人員排班模式建構時，其考量檢查員作業之相關規定、證照、訓練、每日 工時限制等條件須否符合法規之基本要求，以確保檢查員之作業品質及工作效 率，本研究將發展結合限制規劃與數學規劃方法之模式架構，來解決飛安查核人 員排班問題。

5. 查核工作排程與檢查員排班模式求解

本研究之飛安查核工作排程是以OPL語法進行模式建構，並以限制規劃軟體 ILOG Solver之Scheduler模組進行求解。在檢查員排班部份則是以OPL Script 語 法建構限制規劃與數學規劃之求解演算法，再以ILOG Solver為求解限制規劃模 式之函式庫、ILOG CPLEX為求解數學規劃模式之函式庫進行模式求解運算。

6. 模式求解結果分析與探討

針對本研究建立之查核工作排程模式進行求解，以獲得查核作業之工作排程 日程表，接著使用工作排程日程表作為檢查員排班之模式輸入資料，及考量相關 排班法規等限制，進行下一階段檢查員排班模式之求解運算，以獲得一可行檢查 員工作班表。研究中將以查核工作排程與檢查員排班之實務資料進行模式求解測 試，再將求解結果與實際查核作業情況進行比較，以驗證求解模式之可行性。

7. 結論與建議

最後將說明研究成果，及對未來需要改善之處提出建議。

本研究之流程如圖1.1 所示：

圖1.1 研究流程