Construction of a reduced model inc

Construction of a reduced model includes two steps. First, the structure of the model is simplified, according to the property which must be proved: the models of components which are not on the route of data are removed.

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

การก่อสร้างของรูปแบบรวมถึงการลดขั้นตอนที่สอง แรกโครงสร้างของรูปแบบมีความเรียบง่ายตามสถานที่ให้บริการซึ่งจะต้องได้รับการพิสูจน์แล้วว่า: รูปแบบของชิ้นส่วนที่ไม่ได้อยู่บนเส้นทางของข้อมูลที่จะถูกลบออก

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

ก่อสร้างของแบบจำลองลดลงประกอบด้วยสองขั้นตอน ครั้งแรก เป็นประยุกต์โครงสร้างของรูปแบบ ตามคุณสมบัติซึ่งต้องพิสูจน์: รุ่นของคอมโพเนนต์ที่ไม่ได้อยู่บนเส้นทางของข้อมูลจะถูกเอาออก

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

การสร้างแบบจำลองที่ลดลงรวมถึงสองขั้นตอน โครงสร้างแรกของรุ่นที่ได้ง่ายตามที่พักซึ่งจะต้องได้รับการพิสูจน์ว่ารุ่นของส่วนประกอบที่ไม่ได้อยู่ในเส้นทางที่มีข้อมูลจะถูกลบออก