Regarding the rapid growth of the s

Regarding the rapid growth of the size and
complexity of simulation applications, designing applicable and
affordable verification and validation (V&V) structures is an
important problem. On the other
hand, nowadays human
behavior models are principles to make decision in many
simulations and in order to have valid decisions based on a
reliable human decision model, first the model must pass the
validation and verification criteria. Usually human behavi
or
models are represented as fuzzy rule bases. In all the recent
works, V&V process is applied on a ready given rule
-
base. In this
work
,
we are first supposed to construct a fuzzy rule
-
base and
then apply the V&V process on it. Considering the professor
-
st
udent interaction as the case
-
study, in order to construct the
rule base, a questionnaire is designed in a special way to be
transformed to a hierarchical fuzzy rule
-
base. The constructed
fuzzy rule base is then mapped to a fuzzy Petri net and then
within
the verification (generating and searching the reachability
graph) and validation (reasoning the Petri net) process is
searched for probable structural and semantic errors

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

เกี่ยวกับการเติบโตอย่างรวดเร็วของขนาด และ
ความซับซ้อนของโปรแกรมประยุกต์การจำลอง การออกใช้ และ
ยืนยันราคาไม่แพงและตรวจสอบ (V&V) โครงสร้างเป็นการ
ปัญหาสำคัญ อื่น ๆ
มือ มนุษย์ปัจจุบัน
รูปแบบลักษณะการทำงานมีหลักการตัดสินใจในหลาย
จำลองและเพื่อที่ จะได้ตัดสินใจถูกต้องตาม
รุ่นตัดสินใจบุคคลที่เชื่อถือได้ ก่อนอื่น ต้องผ่านแบบ
เกณฑ์ตรวจสอบและการตรวจสอบ มนุษย์มักจะ behavi
หรือ
แสดงรูปแบบเป็นฐานกฎเอิบ ในทั้งหมดล่าสุด
งาน กระบวนการ V&V ใช้พร้อมกับกำหนดกฎ
-
พื้นฐาน ใน
งาน
,
เราก่อนควรสร้างกฎเอิบ
-
ฐาน และ
แล้ว ใช้กระบวนการ V&V ในการ พิจารณาอาจารย์
-
เซนต์
udent โต้ตอบเป็นกรณี
-
เรียน เพื่อสร้างการ
กฎพื้นฐาน แบบสอบถามถูกออกแบบมาในลักษณะพิเศษเป็น
เปลี่ยนกฎชัดเจนลำดับ
-
พื้นฐาน การสร้าง
แล้วมีแม็ปกฎพื้นฐานเอิบกับ Petri เอิบสุทธิแล้ว
ภายใน
การตรวจสอบ (สร้าง และค้น reachability ที่
กราฟ) และกระบวนการตรวจสอบ (ด้าน Petri สุทธิ)
ค้นหาข้อผิดพลาดทางตรรก และโครงสร้างที่ดำรง

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

เกี่ยวกับการเติบโตอย่างรวดเร็วของขนาดและ
ความซับซ้อนของการประยุกต์ใช้แบบจำลองการออกแบบที่ใช้บังคับและ
การตรวจสอบที่เหมาะสมและการตรวจสอบ (V & V) โครงสร้างเป็น
ปัญหาที่สำคัญ ในอื่น ๆ
มือของมนุษย์ในปัจจุบัน
รูปแบบพฤติกรรมที่เป็นหลักการในการตัดสินใจในหลาย ๆ
แบบจำลองและเพื่อให้มีการตัดสินใจที่ถูกต้องขึ้นอยู่กับ
รูปแบบการตัดสินใจของมนุษย์ที่มีความน่าเชื่อถือเป็นครั้งแรกที่รูปแบบจะต้องผ่าน
เกณฑ์การตรวจสอบและการตรวจสอบ มักจะ behavi มนุษย์
หรือ
แบบจำลองที่เป็นตัวแทนเป็นฐานกฎเลือน ในทุกที่ผ่านมา
ผลงาน V & V กระบวนการถูกนำไปใช้ในการปกครองให้พร้อม
-
ฐาน ในการนี้
การทำงาน
,
เราควรแรกที่จะสร้างกฎเลือน
-
ฐานและ
จากนั้นให้ใช้กระบวนการ V & V บนมัน พิจารณาอาจารย์
-
เซนต์
ปฏิสัมพันธ์ Udent เป็นกรณีที่
-
การศึกษาเพื่อที่จะสร้าง
ฐานกฎแบบสอบถามได้รับการออกแบบในลักษณะพิเศษที่จะ
เปลี่ยนกฎเลือนลำดับชั้น
-
ฐาน สร้าง
ฐานกฎฟัซซีเป็นแมปแล้วสุทธิ Petri เลือนแล้ว
ใน
การตรวจสอบ (การสร้างและการค้นหา reachability
กราฟ) และการตรวจสอบ (เหตุผลสุทธิ Petri) กระบวนการ
หาข้อผิดพลาดในโครงสร้างและความหมายน่าจะเป็น

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

เกี่ยวกับการเติบโตอย่างรวดเร็วของขนาดและความซับซ้อนของการใช้งาน
จำลองการออกแบบและการใช้ราคาไม่แพงและการตรวจสอบ ( V
V
& ) โครงสร้างเป็นปัญหาที่สำคัญ บนมืออื่น ๆ

ทุกวันนี้มนุษย์พฤติกรรมแบบมีหลักการที่จะตัดสินใจในจำลองมากมาย
และให้มีการตัดสินใจที่ถูกต้องตาม
แบบจำลองการตัดสินใจมนุษย์ที่เชื่อถือได้รุ่นแรกต้องผ่านการตรวจสอบและการตรวจสอบ
เกณฑ์ โดยปกติการวิจัยมนุษย์หรือ

รุ่นจะแสดงเป็นฐานกฎฟัซซี ในล่าสุดงาน& V
V กระบวนการประยุกต์บนพร้อมระบุกฎ
-
เบส ในงานนี้


เราแรกต้องสร้างกฎฟัซซี่

-
แล้วฐาน และใช้กระบวนการ& v v บน เมื่อพิจารณาจากอาจารย์
-
1
นักเรียนปฏิสัมพันธ์ เช่น คดี
-
เรียนเพื่อสร้างฐานกฎ
, แบบสอบถามถูกออกแบบมา ด้วยวิธีพิเศษ จะเปลี่ยนเป็นแบบกฎฟัซซี่

-
เบส การสร้างกฎฟัซซี่
ฐานแล้วแมปไปยังเพทริเน็ตเลือนแล้ว

( การตรวจสอบภายในและการค้นหา reachability
กราฟ ) และการตรวจสอบ ( เหตุผลที่ Petri net ) กระบวนการ
ตามหาน่าจะเป็นโครงสร้างและความหมายข้อผิดพลาด