Nghiên cứu ứng dụng quyết định hỗ trợ bằng máy tính trong điều khiển vận hành quá trình và thiết bị công nghệ

-2 CÔNG TRÌNH ĐƯC HOÀN THÀNH TẠI TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐẠI HỌC QUỐC GIA TP HỒ CHÍ MINH Cán hướng dẫn khoa học: TSKH LÊ XUÂN HẢI Cán chấm nhận xét 1: PGS.TS PHẠM VĂN BÔN Cán chấm nhận xét 2: TS LÊ PHAN HOÀNG CHIÊU Luận văn Thạc só bảo vệ HỘI ĐỒNG CHẤM BẢO VỆ LUẬN VĂN THẠC SĨ TRƯỜNG ĐẠI HỌC BÁCH KHOA, ngày tháng năm 2005  Cao học CNHH - K14 -3 TRƯỜNG ĐẠI HỌC BÁCH KHOA CỘNG HÒA XÃ HỘI CHỦ NGHĨA VIỆT NAM PHÒNG ĐÀO TẠO SĐH ĐỘC LẬP – TỰ DO – HẠNH PHÚC   Tp Hồ Chí Minh, ngày tháng năm 2005, NHIỆM VỤ LUẬN VĂN THẠC SĨ Họ tên học viên: VÕ VIỆT HẢI Phái: Nam Ngày, tháng, năm sinh: 01/05/1972 Nơi sinh: Hà bắc Chuyên ngành: Công nghệ Hóa học MSHV: 00503114 I TÊN ĐỀ TÀI: Nghiên cứu ứng dụng hỗ trợ định máy tính điều khiển - vận hành trình thiết bị công nghệ II NHIỆM VỤ VÀ NỘI DUNG: Phân tích mô hình hóa hệ thống công nghệ mô hình tri thức Áp dụng với hệ thống điều hòa không khí Mô trình hỗ trợ định điều khiển dựa mô hình Áp dụng để điều khiển vận hành hệ thống điều hòa không khí III NGÀY GIAO NHIỆM VỤ: 17/01/2005 IV NGÀY HOÀN THÀNH NHIỆM VỤ: 30/06/2005 V HỌ VÀ TÊN CÁN BỘ HƯỚNG DẪN: TSKH LÊ XUÂN HẢI CÁN BỘ HƯỚNG DẪN CHỦ NHIỆM NGÀNH BỘ MÔN QUẢN LÝ NGÀNH TSKH LÊ XUÂN HẢI Nội dung đề cương luận văn Thạc só Hội đồng chuyên ngành thông qua Ngày PHÒNG ĐÀO TẠO SAU ĐẠI HỌC tháng năm 2005 KHOA QUẢN LÝ NGÀNH  Cao học CNHH - K14 -4 LỜI CẢM ƠN Đề tài “Nghiên cứu ứng dụng hỗ trợ định máy tính điều khiển - vận hành trình &ø thiết bị công nghệ “ định hướng chuẩn bị từ năm 2003, thức thực từ tháng 01/2005 Trong suốt trình chuẩn bị thực hiện, đề tài tác giả quan tâm, hướng dẫn giúp đỡ nhiều Thầy Cô bạn đồng nghiệp Chúng xin cám ơn TSKH Lê Xuân Hải - Khoa Công nghệ Hóa học & Dầu khí - Trường Đại học Bách khoa TP Hồ Chí Minh, trực tiếp giảng dạy, định hướng tận tình hướng dẫn thực đề tài Chúng xin cám ơn PGS TS Nguyễn Thanh Thủy - Khoa Công nghệ Thông tin - Trường Đại học Bách khoa TP Hà nội, tận tình hướng dẫn kiến thức cần thiết Công nghệ thông tin để thực đề tài Chúng xin cám ơn Thầy Cô Khoa Công nghệ Hóa học & Dầu khí - Trường Đại học Bách khoa TP Hồ Chí Minh, TS Ngô Đăng Nghóa Trường Đại học Thủy sản, giảng dạy kiến thức có liên quan Quá trình & Thiết bị Kỹ thuật lạnh để thực đề tài Chúng xin cám ơn bạn đồng nghiệp Công nghệ Hóa học Công nghệ thông tin hết lòng giúp đỡ, tư vấn kiến thức chuyên môn kỹ thuật lập trình trình thực đề tài TP HCM, ngày tháng năm 2005 Tác giả  Cao học CNHH - K14 -5 TÓM TẮT LUẬN VĂN THẠC SĨ Đề tài “Nghiên cứu ứng dụng hỗ trợ định máy tính điều khiển - vận hành trình &ø thiết bị công nghệ “ thực Xí nghiệp Liên doanh Vietsovpetro, với hướng dẫn TSKH Lê Xuân Hải - Khoa Công nghệ Hóa học & Dầu khí - Trường Đại học Bách khoa TP Hồ Chí Minh Mục tiêu đề tài mô tự động hóa khả suy luận - định chuyên gia điều khiển vận hành trình thiết bị Đối tượng chọn để nghiên cứu hệ thống điều hòa không khí Hệ thống mô sử dụng để giúp người vận hành có định đắn điều khiển hệ thống công nghệ vận hành cách xác hiệu Để đạt mục tiêu định, phương pháp “Tiếp cận hệ thống” chọn làm sở lý luận để nghiên cứu thực đề tài Lý thuyết Trí tuệ nhân tạo Hệ chuyên gia, Tự động hóa trình công nghệ kỹ thuật lập trình sử dụng trình mô Nội dung đề tài trình bày sáu chương: • Chương - Tổng quan • Chương - Tiếp cận & Mô hình hóa đối tượng công nghệ • Chương - Xây dựng chương trình mô trình định máy tính • Chương - Hướng dẫn sử dụng • Chương - Thử nghiệm & Hiệu chỉnh • Chương - Kết luận Đề xuất TP HCM, ngày tháng năm 2005 Tác giả  Cao học CNHH - K14 -6 ABSTRACT The thesis calls “Research on application of the decision support system in process and equipment operation” is carried out at Joint Venture “Vietsovpetro” under the guidance of DSc Le Xuan Hai who is working at Chemical & Oil– Gas Engineering Department of the HCMC University of Technology This thesis deals with the computer-aided decision-making applications in the technical device operation The finally aim is to simulate the decisionmaking abilities of human expert to support operator in system operation For this goal, the Approach System Methodology will be focused on, coordinate the theories of Artificial Intelligence, Expert System, Automation and Programming Engineering An Air-conditioning system of an offshore Oil rig will be chosen to research on as an illustration for the thesis The main contents of the thesis include six chapters as follow: • Chapter - Literature review • Chapter – Approaching & Modelling of the engineering system • Chapter - Programming of the support decision-making program • Chapter - Instruction Manual • Chapter - Testing & Evaluation • Chapter - Conclusions and recommendations HCMC, date / / 2005 Author  Cao hoïc CNHH - K14 -7 MỤC LỤC NHIỆM VỤ LUẬN VĂN THẠC SĨ LỜI CẢM ƠN TÓM TẮT LUẬN VĂN THẠC SĨ ABSTRACT .6 MUÏC LUÏC ĐẶT VẤN ĐỀ 11 CHƯƠNG I TOÅNG QUAN 14 KHÁI QUÁT VỀ ĐIỀU KHIỂN ĐỐI TƯNG CÔNG NGHỆ 14 1.1 Các hệ thống điều khiển truyền thống 14 1.2 Điều khiển mờ 16 ĐIỀU KHIỂN-VẬN HÀNH NHỜ TRI THỨC 17 2.1 Quá trình tích lũy tri thức 18 2.2 Quaù trình suy luận định .19 TRÍ TUỆ NHÂN TẠO & HỆ HỖ TR QUYẾT ĐỊNH 20 3.1 Khái niệm 20 3.2 Mô tơ suy diễn 21 3.3 Cơ sở tri thức 22 TIẾP CẬN HỆ THỐNG 23 4.1 Hệ thống [15] .24 4.1.1 Khái niệm 24 4.1.2 Phân hoạch & tích hợp hệ thốn g .24 4.1.3 Sự vận động hệ thống 24 4.1.4 Tính lưỡng nguyên hệ thống 25 4.1.5 Bậc tự hệ thống 25  Cao học CNHH - K14 -8 4.2 Tiếp cận hệ thống 26 4.2.1 Nguyên tắc .26 4.2.2 Các phương thức tiếp cận 26 4.2.3 Phương tiện biểu đạt hệ thống .28 4.2.4 Các tác vụ chiến lược 31 4.2.5 Lược đồ logic triển khai tiếp cận hệ thống 31 CHƯƠNG II TIẾP CẬN & MÔ HÌNH HÓA HỆ THỐNG 34 ĐỐI TƯNG & MỤC ĐÍCH TIẾP CẬN .34 TIẾP CẬN HỆ THOÁNG 36 2.1 Phân hoạch trạng thái hệ thống .37 2.2 Phân hoạch hệ thống điều hòa S 38 2.3 Tích hợp hệ thống 41 MÔ HÌNH HÓA TOÁN HỌC HỆ THỐNG .43 3.1 Tập kiện 45 3.2 Tập luật định 45 3.3 Mô hình toán học trình định 47 MÔ HÌNH SỐ HÓA CỦA HỆ THỐNG .48 4.1 Số hóa hệ thống điều hòa 48 4.2 Số hóa trình định 52 CHƯƠNG III XÂY DỰNG CHƯƠNG TRÌNH MÔ PHỎNG QUÁ TRÌNH RA QUYẾT ĐỊNH .54 MÔ PHỎNG QUÁ TRÌNH SUY LUẬN & RA QUYẾT ĐỊNH 56 1.1 Yêu cầu .56 1.2 Thiết kế chức “Hỗ trợ định" .56 MÔ PHỎNG QUÁ TRÌNH TÍCH LŨY TRI THỨC 58  Cao hoïc CNHH - K14 -9 2.1 Thiết kế chức “Mô tả kiện” .58 2.2 Thiết kế chức “Lập định” 60 XÂY DỰNG GIAO DIỆN CHƯƠNG TRÌNH 61 3.1 Giao diện người duøng .62 3.2 Giao diện với chuyên gia .62 3.3 Giao dieän heä thoáng 62 CÁC TÍNH NĂNG TR GIÚP & TIỆN ÍCH .63 4.1 Bảo mật thông tin tri thức 63 4.2 Thư viện tri thức chuyên ngành đa phương tiện 64 4.3 Thông tin & trợ giúp chương trình 65 CHƯƠNG IV HƯỚNG DẪN SỬ DUÏNG 66 CÀI ĐẶT CHƯƠNG TRÌNH 66 SỬ DỤNG CHỨC NĂNG “TIẾP CẬN HỆ THỐNG” 67 2.1 Phân hoạch & Tích hợp 67 2.2 Lập định từ kieän 70 2.3 Xem cấu trúc nội dung tri thức 72 2.3 Lưu trữ sở tri thức 73 SỬ DỤNG CHỨC NĂNG “HỖ TR QUYẾT ĐỊNH” .74 SỬ DỤNG CHỨC NĂNG “THƯ VIỆN CHUYÊN NGÀNH” 80 CHƯƠNG V THỬ NGHIỆM & HIỆU CHỈNH .82 THỬ NGHIỆM 82 1.1 Trường hợp (Suy luận thuận - nghịch) 82 1.2 Trường hợp (Suy luận phản chứng) 84 1.3 Trường hợp (Suy luận bắc cầu) 85 1.4 Trường hợp (Suy luận bắc cầu có phủ định) 86  Cao hoïc CNHH - K14 - 10  1.5 Trường hợp (Suy luận loại trừ) 86 NHẬN XÉT & HIỆU CHỈNH 87 2.1 Tính & hợp lý 87 2.2 Tính “người” chương trình .87 2.3 Tính hiệu & xác tri thức 88 SO SÁNH & ĐÁNH GIÁ 90 CHƯƠNG VI KẾT LUẬN & ĐỀ XUẤT 91 KẾT LUẬN 91 ĐỀ XUẤT Ý KIẾN 93 PHUÏ LUÏC 95 Phụ lục SƠ ĐỒ NGUYÊN LÝ HỆ THỐNG ĐIỀU HÒA 95 Phụ lục SƠ ĐỒ ĐIỆN ĐIỀU KHIỂN HỆ THỐNG ĐIỀU HÒA 96 Phụ lục SƠ ĐỒ ĐIỆN ĐỘNG LỰC HỆ THỐNG ĐIỀU HÒA 97 Phụ lục KẾT QUẢ PHÂN HOẠCH & TÍCH HP 98 Phụ lục GIẢI THUẬT SUY DIỄN LÙI 99 Phụ lục MÃ NGUỒN CƠ CHẾ SUY LUẬN RA QUYẾT ĐỊNH 101 Phụ lục MÃ NGUỒN CƠ CHẾ “MÔ TẢ SỰ KIỆN” 104 Phụ lục MÃ NGUỒN CƠ CHẾ “LẬP QUYẾT ĐỊNH” 106 DANH MỤC HÌNH VẼ 110 TÀI LIỆU THAM KHẢO 112 LÝ LỊCH TRÍCH NGANG 115  Cao hoïc CNHH - K14 - 11  ĐẶT VẤN ĐỀ Các hệ thống sản xuất Công nghệ hóa học Dầu khí thường có qui mô công nghiệp đòi hỏi phải điều khiển vận hành cho hoạt động với hiệu suất, độ ổn định độ tin cậy cao Để đảm bảo yêu cầu đó, mặt, hệ thống công nghệ thường tự động hóa với mức độ cao, thông số định lượng đối tượng công nghệ tính toán với tốc độ độ xác ưu việt Tuy vậy, nhược điểm hệ thống điều khiển tự động khó áp dụng với đối tượng mô tả thông tin định lượng Do đó, bên cạnh hệ thống tự động có diện chuyên gia vận hành để giám sát thông số định tính tình bất định xảy đối tượng công nghệ… Từ định cần thiết kịp thời để điều khiển đối tượng, trì tính ổn định bền vững cho toàn hệ thống (hình H0.1) Chuyên gia Thu thập liệu Thiết bị tự động Quá trình sản xuất H0.1 Điều khiển có hỗ trợ định nhờ chuyên gia Thuật ngữ “chuyên gia” dùng để người có khả giải vấn đề có độ phức tạp cao, đòi hỏi phải có hiểu biết sâu sắc kết hợp với phương pháp giải hợp lý hiệu [7] Do đó, công tác đào tạo nâng cao khả điều khiển - vận hành người vận  Cao học CNHH - K14 - 101  }6 }4 /* Heát else /* if j > m */ /* Heát if not ( f ∈ GT ) */ if GOAL ≠ ∅ then f ← get ( GOAL ) else break ; }3 until f ∈ KL; if f ∈ KL ∩ BACK then exit (“Không thành công”) else exit (“Thành công”); }2 }1 Phụ lục MÃ NGUỒN CƠ CHẾ SUY LUẬN RA QUYẾT ĐỊNH 6.1 Danh sách giả thiết kết luận CPrecConc class CPrecConc { public: void SetType(BOOL value); BOOL GetType(); CFact * GetFact(); CPrecConc(CFact * pFact, BOOL type = TRUE); virtual ~CPrecConc(); protected: CFact * m_pFact; // Ten menh de BOOL m_type; // Gia tri cua menh de }; typedef CPtrList CPrecConcList; 6.2 Cấu trúc suy diễn CInferEngine class CInferEngine { public: CString GetReport(); BOOL ContinueInfer(); CRule * GetResultRule();  Cao hoïc CNHH - K14 - 102  CString GetPrecConcList(); CRule * GetCurrentRule(); void AnswerQuestion(BOOL bAnswer); BOOL GetNextQuestion(CString & question); BOOL HasFound(); BOOL FoundRule(); void Start(); CInferEngine(CRuleTable * pRuleTable,CFactTable * pSympList,CFact * pFault); virtual ~CInferEngine(); protected: void RemoveProvedRule(CFact * pFact); BOOL PreProve(CGoal * pGoal); CFoundRule * GetNextFoundRule(); void GetOut(CPrecConc * pPrecConc,BOOL type); CFoundRuleList * FoundInterRule(CFact * pConc); BOOL QuickPara(); CGoal * m_pCurGoal; void StartNewFoundRule(CFoundRule * pFoundRule); CFact * m_pFault; CPrecConcList * CheckRule(CRule * pRule,BOOL bMustExist = TRUE); // methods // attributes CRule * m_pResultRule; // luat tim thay BOOL m_bFound; CVetStack * m_pVetStack; // VET STACK CGoalStack * m_pGoalStack; // GOAL STACK CRuleTable * m_pRuleTable; // RULE_TABLE CFoundRuleList m_FoundRuleList; // FOUND_RULE CPrecConcList * m_pPrecConcList; // PREC_CONC CVetStack m_ReportStack; // dung de report }; 6.3 Cơ chế suy diễn nhanh QuickPara() BOOL CInferEngine :: QuickPara() {  Cao hoïc CNHH - K14 - 103  // duyet qua tung doi tuong danh sach FOUND_RULE // kiem tra xem co doi tuong nao "chay" hay khong // neu doi tuong nao khong phu hop thi loai bo khoi danh sach POSITION pos = m_FoundRuleList.GetHeadPosition(); while (pos) { POSITION prepos = pos; CFoundRule * pFoundRule = (CFoundRule*)m_FoundRuleList.GetNext(pos); // lay danh sach su kien can chung minh cua doi tuong CPrecConcList * pPrecConcList = pFoundRule->GetPrecConcList(); // kiem tra xem co thoa man hay khong ? BOOL suitable = TRUE; // danh dau xem doi tuong Found Rule phu hop POSITION pos1 = pPrecConcList->GetHeadPosition(); while (pos1 && suitable) { // lay lan luot tung su kien gia thiet POSITION prepos1 = pos1; CPrecConc * pPrecConc1 = (CPrecConc*)pPrecConcList>GetNext(pos1); POSITION pos2 = m_pPrecConcList->GetHeadPosition(); while (pos2) { CPrecConc * pPrecConc2 = (CPrecConc*)m_pPrecConcList->GetNext(pos2); if (pPrecConc1->GetFact() == pPrecConc2->GetFact()) { if (pPrecConc1->GetType() == pPrecConc2->GetType()) { // su kien da duoc chung minh roi, // lay khoi danh sach can chung minh pPrecConcList->RemoveAt(prepos1); } esle { // co mot su kien khong phu hop  Cao hoïc CNHH - K14 - 104  // loai luat khoi suitable = FALSE; } break; } } // while (pos2) } // while (pos1) // kiem tra xem luat co phu hop khong ? if (!suitable) m_FoundRuleList.RemoveAt(prepos); // khong phu hop, loai khoi danh sach esle { // kiem tra xem luat "chay" chua ? if (pPrecConcList->IsEmpty()) { m_pResultRule = pFoundRule->GetRule(); m_FoundRuleList.RemoveAt(prepos); return TRUE; } } } // while (pos) return FALSE; } Phuï luïc MÃ NGUỒN CƠ CHẾ “MÔ TẢ SỰ KIỆN” 7.1 Lớp quản lý kiện CFact #define NUM_FAULT_GROUP9 #define NUM_SYMP_GROUP typedef enum {TRIEU_CHUNG = 0, NGUYEN_NHAN = 1, CA_HAI = 2} SENS; extern char * g_FaultGroupName[NUM_FAULT_GROUP]; extern char * g_SymGroupName[NUM_SYMP_GROUP]; typedef CPtrList CRefList; class CFact { public:  Cao hoïc CNHH - K14 - 105  void SetGroup(UINT group); void SetKind(SENS kind); UINT GetPriority(); void SetPriority(UINT Priority); void RemoveRef(void* ref); CRefList * GetRefList(); void AddRef(void* ref); void SetQueryOrFixFault(CString fixfault); void SetExplain(CString explain); void SetID(UINT ID); UINT GetID(); CString GetQueryOrFixFault(); CString GetExplain(); CString GetName(); UINT GetGroup(); SENS GetKind(); CFact(LONG ID, SENS iKind, CString name, CString explain, UINT group, CString QueryOrFixfault); virtual ~CFact(); private: LONG m_ID; // dinh danh cua su kien CString m_Name; // ten cua su kien SENS m_Sen; // Vai tro cua su kien CString m_Explain; // giai thich su kien Cstring m_QueryOrFixFault; //cau hoi dat thu nap tinh huong UINT m_Group; // nhom nguyen nhan hoac tinh huong CRefList m_RefList; UINT m_Priority; }; 7.2 Lớp quản lý danh sách kiện CFactList typedef CMap CFactMap; typedef CPtrList CGroupList; typedef CPtrList CFactTable; class CFactList {  Cao hoïc CNHH - K14 - 106  public: void RemoveFact(CFact * pFact); CGroupList * GetFaultGroupList(UINT index); CGroupList * GetSympGroupList(UINT index); // cac ham luu tru void Save(CFile * pFile); void Load(CFile *pFile, FACTHEADER * pFHeader,CFactMap * pFactMap); // cac ham tim kiem BOOL FindFact(CFact * pFact); BOOL InsertAt(CFact *pFact, UINT index); CFactList(); virtual ~CFactList(); protected: void InsertToGroupAt(CGroupList *pGroupList,CFact * pFact, UINT index); DWORD m_CurMaxID; CGroupList m_SympGroupList[NUM_SYMP_GROUP]; CGroupList m_FaultGroupList[NUM_FAULT_GROUP]; CGroupList m_FactList; void LoadFactToGroupList(CFile * pFile, DWORD offset, DWORD dwCounts, CGroupList * pGroupList, CFactMap* pFactMap); void LoadFactList(CFile *pFile,DWORD dwOffset,DWORD dwCounts,CFactMap * pFactMap); void SaveFactFromGroupList(CFile * pFile, CGroupList * pGroupList); void SaveFactList(CFile * pFile,FACTOFFSET * pFactOffset); }; Phụ lục MÃ NGUỒN CƠ CHẾ “LẬP QUYẾT ĐỊNH” 8.1 Lớp quản lý mệnh đề luaät CFRule class CFRule { public: CFact * GetFact(); BOOL GetValue(); CFRule(CFact * pFact, BOOL value); virtual ~CFRule(); protected:  Cao hoïc CNHH - K14 - 107  CFact * m_pFact; BOOL m_bValue; // Con tro tro ñen su kien // Gia tri cua su kien }; 8.2 Lớp quản lý luật độc lập CRule typedef CList CFRuleList; class CRule // lop quan ly mot luat { public: void SetRuleGroup(UINT group); void RemoveFact(CFact * pFact); void ReplaceSympList(CFRuleList * pNewList); void DeleteAllSymp(); BOOL Equals(CRule * pRule); void Load(CFile * pFile, CFactMap * pFactMap); void Save(CFile * pFile); UINT GetID(); void SetID(UINT rid); UINT GetRuleGroup(); CFRuleList * GetSympList(); CFact * GetFault(); BOOL AddSymp(CFRule * pFRule); BOOL SetFault(CFact * pFact); CRule(UINT rgroup); virtual ~CRule(); protected: BOOL FindFact(CFact * pFact); UINT m_RuleID; // so thu tu cua luat danh sach luat UINT m_RuleGroup; // so nhom luat CFRuleList m_SympList; // danh sach cac trieu chung ve trai CFact * m_pFault; // nguyen nhan }; 8.3 Lớp quản lý danh sách luật CRuleList typedef CPtrList CRList;  Cao hoïc CNHH - K14 - 108  typedef CRList CRuleTable; #define MAX_RULE_GROUP 10 class CRuleList { public: void RemoveRule(CRule * pRule); DWORD GetGroupCount(); CString GetGroupName(UINT group); BOOL RemoveGroup(int group); BOOL AddGroup(CString name); void SaveRuleFromGroup(CFile * pFile,CRList * pRList); void Save(CFile * pFile); void Load(CFile * pFile,RULEHEADER * pRuleHeader,CFactMap * pFactMap); POSITION MoveRuleDown(CRule * pRule,POSITION pos); POSITION MoveRuleUp(CRule * pRule,POSITION pos); void RemoveRule(CRule * pRule,POSITION pos); BOOL FindRule(CRule * pRule); POSITION InsertRuleAt(CRule *Rule, UINT index); POSITION AddRule(CRule * pRule); CRList * GetRuleGroupList(int group); CRuleList(); virtual ~CRuleList(); protected: BOOL FindRuleInGroup(CRule * pRule,CRList * pList); DWORD m_dwNumRules; CPtrArray m_GroupArray; CRList m_RuleList[NUM_RULE_GROUP]; UINT m_CurMaxRID; }; 8.4 Lớp quản lý_lưu trữ file sở tri thức CKBase class CKBase : public CDocument { protected: // create from serialization only CKBase();  Cao hoïc CNHH - K14 - 109  public: POSITION InsertRuleAt(CRule * pRule,UINT index); POSITION AddRule(CRule * pRule); CRuleList * GetRuleList(); CFactList * GetFactList(); virtual ~CKBase(); protected: CAuthorInfo * m_pAuthorInfo; private: CRuleList * m_pRuleList; // Con tro tro den danh sach luat CFactList * m_pFactList; // Con tro tro den danh sach su kien };  Cao hoïc CNHH - K14 - 110  DANH MỤC HÌNH VẼ H0.1 Điều khiển có hỗ trợ định nhờ chuyên gia 11 H0.2 Điều khiển có hỗ trợ định nhờ máy tính [26.3] 12 H1.1 Các thành phần hệ thống điều khiển tổng quát [13] 14 H1.2 Cấu trúc điều khiển mờ [2] 16 H1.3 Thu nạp tri thức cho hệ hỗ trợ định .22 H1.4 Mô hình máy tính ảo [14] 30 H1.5 Lược đồ logic triển khai tiếp cận hệ thống 33 H2.1 Thu thập tri thức nhờ Tiếp cận hệ thoáng 35 H2.2 Sơ đồ phân hoạch trạng thái hệ thống S 37 H2.3 Kết phân hoạch trạng thái hệ thống điều hòa 38 H2.4 Sơ đồ phân hoạch hệ thống điều hòa .39 H2.5 Kết phân hoạch hệ thống điều hòa 41 H2.6 Moâ hình máy trạng thái 44 H2.7 Cấu trúc liệu hệ thống 49 H2.8 Cấu trúc liệu đối tượng 50 H2.9 Tập luật mẫu 51 H2.10 Cấu trúc định cho hệ thống điều hòa 52 H3.1 Cấu trúc khối cuûa COOLER 1.1 [7] 54 H3.2 Biểu đồ luồng COOLER 1.1 [26.1] 55 H4.1 Menu chương trình hỗ trợ định .66 H4.2 Hiệu chỉnh file tri thức có sẵn 67 H4.3 Phân hoạch hệ thống & mô tả kiện .68 H4.4 Thao tác cấu trúc phân tầng .68 H4.5 Caäp nhật kiện vừa mô tả vào nhớ 69  Cao hoïc CNHH - K14 - 111  H4.6 Đặt mức độ ưu tiên & lưu trữ kiện .69 H4.7 Lập quản lý định từ kiện biết 70 H4.8 Xây dựng kiện giả thiết luật 71 H4.9 Đặt kết luận cho luật định .71 H4.10 Lưu luật vào danh sách 72 H4.11 Cấu trúc phân tầng nội dung toàn file sở tri thức 73 H4.12 Lưu trữ sở tri thức hệ thống điều hòa thành file 73 H4.13 Đặt mật bảo mật thông tin tri thức 74 H4.14 Chọn file tri thức 75 H4.15 Chọn vấn đề xảy hệ thống 75 H4.16 Giao diện hội thoại thu thập thông tin 76 H4.17 Mô tả kiện ban đầu .76 H4.18 Mô tả nguyên nhân nghi ngờ 77 H4.19 Giao diện Hỏi/Đáp cập nhật thông tin trao đổi .77 H4.20 Hướng dẫn cách kiểm tra kiện 78 H4.21 Giải thích lý phải quan tâm đến kiện 78 H4.22 Kết luận nguyên nhân .79 H4.23 Hướng dẫn thực định 79 H4.24 Xây dựng tri thức chuyên ngành .80 H4.25 Xem nội dung tư liệu thư viện 81  Cao hoïc CNHH - K14 - 112  TÀI LIỆU THAM KHẢO [1] Although, Turnquis & Bracciano - 1992 - Modern Refrigeration and Air Conditioning [2] Bùi Công Cường - Nguyễn Doãn Phước - NXB KHKT 2001- Hệ mờ, mạng nơtron ứng dụng [3] Bùi Mai Minh Nguyệt & Võ Việt Hải - Vietsopetro - Mô hình Hệ Chuyên gia trợ giúp chẩn đoán hư hỏng [4] Các luận văn tốt nghiệp cao học - Trường ĐHBK TP Hồ Chí Minh • Lê Thông Hải - Hệ Chuyên gia thiết kế mở rộng lưới điện phân phối 700833 – (kho H) • Nguyễn Hoài Nam - Nghiên cứu giám sát điều khiển hệ thống lạnh cấp đông chế biến thủy sản 700323 • Nguyễn Nhân Bổn - Kỹ thuật điện 2.02.01 - Hệ Chuyên gia điều khiển điện áp công suất kháng hệ thống điện 700059 – (Q1) • Phạm Thiện Minh - Kết hợp giải thuật di truyền logic mờ để điều khiển tối ưu cho đối tượng nhiệt 700828 (kho H) • Trương Việt Anh - Hệ thống điện 2.02.01 - Hệ Chuyên gia vận hành hệ thống điện phân phối 700052 - (Q1) [5] Các mã nguồn mở tải từ diễn đàn Visual C++ • www.codeproject.com • www.codeproject.net • www.funducode.com [6] Dương Quang Thiện - Lập trình VC++ dùng MFC  Cao học CNHH - K14 - 113  [7] Đỗ Trung Tuấn - Hệ Chuyên gia [8] Đỗ Xuân Lôi - NXB KHKT1998 - Cấu trúc liệu giải thuật [9] George F.L & William A.S - NXB Thống kê 2000 - Trí tuệ nhân tạo Các cấu trúc & chiến lược giải vấn đề [10] George Stephanopoulous - Massachusetts Institute of Technology Chemical Process Control - An Introduction to Theory and Practice [ 11] Graham F Forsyth & Moonis Ali - 1995 - Industrial & Engineering Applications of Artificial Intelligence & Expert System [ 12] Instruction Manual • Refrigeration system Bitzer - Germany • Refrigeration system Sabroe - Denmark [13] Lê Hoài Quốc & Chung Tấn Lâm - Trường ĐHBK TP Hồ Chí Minh 2003 - PLC điều khiển trình công nghiệp [14] Lê Văn Việt - Trường ĐHBK TP Hồ Chí Minh - Cấu trúc máy tính [15] Lê Xuân Hải - Trường ĐHBK TP Hồ Chí Minh • Bài giảng Tiếp cận hệ thống • Bài giảng Điều khiển trình công nghệ [16] Lương Văn Lăng - Trường ĐHBK TP Hồ Chí Minh - Cơ sở tự động [17] Moti Schneider - Fuzzy Expert System Tools [18] Nguyễn Hữu Công cộng - Chương trình “Y khoa 2.1” [19] Nguyễn Minh Tuyển - NXB KHKT 2001 - Kỹ thuật hệ thống công nghệ hóa học  Cao học CNHH - K14 - 114  [20] Nguyễn Thanh Thủy - Trường ĐHBK Hà nội • NXB GD 1999 - Trí tuệ nhân tạo • Bài giảng Hệ Chuyên gia [21] Peter Struss - TUM - Homepage http://www9.in.tum.de - Design of a Model-based Decision Support System for Water Treatment [22] Phạm Văn Bôn - Trường ĐHBK TP Hồ Chí Minh - Quá trình thiết bị truyền nhiệt - Tập - Quyển & [23] Phan Xuân Minh & Nguyễn Doãn Phước - NXB KHKT 2004 - Lý thuyết điều khiển mờ [24] Spyros G Tzafestas - Engineering Systems with Intelligence [ 25] Trần Thanh Kỳ - Trường ĐHBK TP Hồ Chí Minh - Máy lạnh [26] Web site www.elsevier.com & www.sciencedirect.com [26.1] E.Roanes-Lozano & Co-Operators – A GrÖbner bases-based shell for rule-based expert systems development – ESWA 18 (2000) [26.2] Francisco P Maturana & Co-Operators - Distributed multi-agent architecture for automation system – ESWA 26 (2004) [26.3] M Rao, X Sun & J Feng - Intelligent system architecture for process operation system - ESWA 19 (2000) [27] Web site www.cs.cmu.edu - FAQ of Expert system  Cao hoïc CNHH - K14 - 115  LÝ LỊCH TRÍCH NGANG Họ tên : Võ Việt Hải Giới tính: Nam Năm sinh : 1972 Nơi sinh: Hà Bắc Nguyên quán : Quảng Ngãi Địa liên lạc : 416A Lê Hồng Phong - Phường Thắng Tam - TP Vũng tàu – Tỉnh Bà rịa Vũng tàu Tóm tắt trình đào tạo công tác : • 10/1989 - 7/1994 : Học Đại học trường Đại học Thủy sản - Khoa Công nghệ Chế biến Thủy sản - Ngành Máy & Thiết bị lạnh • 9/1994 - 6/2003 : Công tác giàn khoan Cửu long - Xí nghiệp Khoan & Sửa giếng - Liên doanh Dầu khí Vietsovpetro - Vũng tàu Chức vụ : Kỹ sư Điện - Lạnh 1999 - 2002 : Học Đại họ c (bằng 2) - Trường Đại học Bách khoa Hà nội - Khoa Công nghệ Thông tin - Ngành Khoa học Máy tính • 7/2003 - : Công tác phòng Điện & Tự động hóa - Viện Nghiên cứu Khoa học & Thiết kế - Vietsovpetro Chức vụ : Kỹ sư Tự động hóa 2003 -2005 : Học Cao học Trường Đại học Bách khoa TP Hồ Chí Minh - Khoa Công nghệ Hóa học & Dầu khí - Ngành Công nghệ Hóa học - Chuyên ngành Quá trình & Thiết bị  Cao học CNHH - K14 ... Đề tài ? ?Nghiên cứu ứng dụng hỗ trợ định máy tính điều khiển - vận hành trình &ø thiết bị công nghệ “ định hướng chuẩn bị từ năm 2003, thức thực từ tháng 01/2005 Trong suốt trình chuẩn bị thực... sinh: Hà bắc Chuyên ngành: Công nghệ Hóa học MSHV: 00503114 I TÊN ĐỀ TÀI: Nghiên cứu ứng dụng hỗ trợ định máy tính điều khiển - vận hành trình thiết bị công nghệ II NHIỆM VỤ VÀ NỘI DUNG: Phân tích... Đề tài ? ?Nghiên cứu ứng dụng hỗ trợ định máy tính điều khiển - vận hành trình &ø thiết bị công nghệ “ thực Xí nghiệp Liên doanh Vietsovpetro, với hướng dẫn TSKH Lê Xuân Hải - Khoa Công nghệ Hóa