To name a few: Milne, Nicol, and Tr

To name a few: Milne, Nicol, and Trave-Massuyes (2001) discuss TIGER, a system that is used to perform fault diagnosis of industrial gas turbines used for power generation; Montani et al., (2003) present an intelligent system for managing type 1 diabetic patients, which, in part, utilizes model-based reasoning techniques; Wotawa (2000) describes a model-based reasoning system that is designed to locate software bugs in VHDL programs; and De Koning, Bredeweg, Breuker, & Wielinga (2000) describe a model-based diagnosis system that helps to monitor and diagnose learner behaviors for an automated tutoring system.

ผลลัพธ์ (ไทย) 1:

เพื่อชื่อไม่กี่: Milne, Nicol และ Trave-Massuyes (2001) กล่าวถึงเสือ ระบบที่จะใช้การวินิจฉัยข้อบกพร่องของกังหันก๊าซอุตสาหกรรมที่ใช้ไฟฟ้า Montani et al., (2003) ปัจจุบันมีระบบอัจฉริยะสำหรับการจัดการผู้ป่วยโรคเบาหวานชนิดที่ 1 ที่ ในส่วน ใช้เหตุผลตามแบบจำลองเทคนิค Wotawa (2000) อธิบายถึงระบบเหตุผลตามแบบจำลองที่ถูกออกแบบมาเพื่อค้นหาข้อบกพร่องของซอฟต์แวร์โปรแกรม VHDL และ De Koning, Bredeweg, Breuker และ Wielinga (2000) อธิบายระบบวินิจฉัยตามแบบจำลองที่ช่วยในการตรวจสอบ และวิเคราะห์พฤติกรรมผู้เรียนในระบบการสอนแบบอัตโนมัติ

ผลลัพธ์ (ไทย) 2:

เพื่อชื่อไม่กี่: มิลโรลและ Trave-Massuyes (2001) หารือ TIGER, ระบบที่ใช้ในการดำเนินการวินิจฉัยความผิดของกังหันก๊าซอุตสาหกรรมที่ใช้ในการผลิตกระแสไฟฟ้า; . Montani, et al (2003) นำเสนอระบบอัจฉริยะสำหรับการจัดการชนิดที่ 1 ผู้ป่วยโรคเบาหวานซึ่งในส่วนที่ใช้เทคนิคการให้เหตุผลแบบที่ใช้; Wotawa (2000) อธิบายระบบการให้เหตุผลแบบที่ใช้ที่ถูกออกแบบมาเพื่อหาข้อบกพร่องในโปรแกรมซอฟแวร์ VHDL; และเดอ Koning, Bredeweg, Breuker และ Wieli​​nga (2000) อธิบายระบบการวินิจฉัยโรคแบบที่ใช้ที่ช่วยในการตรวจสอบและวิเคราะห์พฤติกรรมการเรียนการสอนระบบอัตโนมัติ

ผลลัพธ์ (ไทย) 3:

เพื่อชื่อไม่กี่ : มิล นิโคล และ เที่ยว , massuyes ( 2001 ) ปรึกษาเสือ เป็นระบบที่ใช้ในการวินิจฉัยข้อบกพร่องของการใช้ก๊าซอุตสาหกรรมกังหันเพื่อผลิตไฟฟ้า ; montani et al . , 2003 ) ปัจจุบันระบบฉลาดการจัดการผู้ป่วยเบาหวานชนิดที่ 1 ซึ่งในส่วนที่ใช้สำหรับเทคนิคการให้เหตุผล ;wotawa ( 2000 ) อธิบายเหตุผลสำหรับระบบที่ถูกออกแบบมาเพื่อหาข้อบกพร่องซอฟต์แวร์ในโปรแกรมภาษาวีเอชดีแอล และ เดอ koning bredeweg breuker & , , , wielinga ( 2000 ) อธิบายสำหรับการวินิจฉัยระบบที่ช่วยในการตรวจสอบและวินิจฉัยผู้เรียนมีพฤติกรรมแบบอัตโนมัติระบบ