3. DEVS As discussed in the previou

3. DEVS As discussed in the previous section, we use formal M&S methodology to model LTE networks. Discrete Event
System Specification (DEVS) formalism has been chosen for this purpose, since the M&S aspects of a DEVS sys- tem are separated in order to modularize and formulate the design of a model, based on the requirements of the source system. To this end, DEVS has been proposed as a sound formal framework for modeling generic dynamic systems and includes hierarchical, modular and component-oriented structure and formal specifications for defining structure and behavior of a discrete event model. A DEVS model is comprised of structural (Coupled) and behavioral (Atomic) components, in which the coupled component maintains the hierarchical structure of the system, while each atomic component represents a behavior of a part of the system. The atomic component is the basic building block of the system which is composed of I/O ports and a finite state timed automaton representing the behavior of the model. An input to the atomic component via an input port triggers a state transition‎(referred‎to‎as‎“external‎transition”),‎and‎ in‎contrast‎ the ‎state ‎transition‎(referred‎to‎as‎“internal‎transition”)‎at‎the‎ end of the time-delay of each state leads to an output generation through an output port. Figure 1 illustrates the state transition of an atomic component. An atomic component is in state s for a specified time ta(s). If the atomic component passes this time without interruption it will produce an output y at the end of this‎time‎and‎change‎state‎based‎on‎its‎δ int function (internal transition) and continues the same behavior. However, if it receives an input x during its ta(s) time, it changes its state which‎is‎determined‎by‎its‎δext function and does not pro- duce an output (external transition).
A coupled model connects the basic models together in order to form a new model. This model can itself be employed as a component in a larger coupled model, thereby allowing the hierarchical construction of complex models.

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

3. DEVS เป็นการกล่าวถึงในส่วนก่อนหน้านี้ เราใช้วิธี M & S ที่ทางเครือข่าย LTE รุ่น เหตุการณ์ที่ไม่ต่อเนื่อง System Specification (DEVS) formalism has been chosen for this purpose, since the M&S aspects of a DEVS sys- tem are separated in order to modularize and formulate the design of a model, based on the requirements of the source system. To this end, DEVS has been proposed as a sound formal framework for modeling generic dynamic systems and includes hierarchical, modular and component-oriented structure and formal specifications for defining structure and behavior of a discrete event model. A DEVS model is comprised of structural (Coupled) and behavioral (Atomic) components, in which the coupled component maintains the hierarchical structure of the system, while each atomic component represents a behavior of a part of the system. The atomic component is the basic building block of the system which is composed of I/O ports and a finite state timed automaton representing the behavior of the model. An input to the atomic component via an input port triggers a state transition‎(referred‎to‎as‎“external‎transition”),‎and‎ in‎contrast‎ the ‎state ‎transition‎(referred‎to‎as‎“internal‎transition”)‎at‎the‎ end of the time-delay of each state leads to an output generation through an output port. Figure 1 illustrates the state transition of an atomic component. An atomic component is in state s for a specified time ta(s). If the atomic component passes this time without interruption it will produce an output y at the end of this‎time‎and‎change‎state‎based‎on‎its‎δ int function (internal transition) and continues the same behavior. However, if it receives an input x during its ta(s) time, it changes its state which‎is‎determined‎by‎its‎δext function and does not pro- duce an output (external transition).รุ่น coupled เชื่อมต่อแบบจำลองพื้นฐานเข้าด้วยกันเพื่อสร้างรูปแบบใหม่ รุ่นนี้สามารถตัวเองทำงานเป็นส่วนประกอบในรุ่น coupled ใหญ่ ทำให้การก่อสร้างตามลำดับชั้นของแบบจำลองที่ซับซ้อน

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

3. DEVS ดังที่อธิบายในส่วนก่อนหน้านี้เราจะใช้วิธีการอย่างเป็นทางการ M & S แบบเครือข่าย LTE เหตุการณ์ไม่ต่อเนื่อง
ของระบบสเปค (DEVS) พิธีได้รับการคัดเลือกเพื่อจุดประสงค์นี้ตั้งแต่ด้าน M & S ของ Tem งานระบบ DEVS จะถูกแยกออกเพื่อ modularize และกำหนดรูปแบบของการออกแบบตามความต้องการของระบบที่มา ด้วยเหตุนี้ DEVS ได้รับการเสนอเป็นกรอบอย่างเป็นทางการสำหรับการสร้างแบบจำลองเสียงแบบไดนามิกระบบทั่วไปและรวมถึงลำดับชั้นแบบแยกส่วนและโครงสร้างของส่วนประกอบที่มุ่งเน้นและรายละเอียดอย่างเป็นทางการสำหรับการกำหนดโครงสร้างและการทำงานของรูปแบบการจัดงานที่ไม่ต่อเนื่อง รูปแบบ DEVS ประกอบด้วยโครงสร้าง (คู่) และพฤติกรรม (อะตอม) ส่วนประกอบซึ่งในส่วนควบคู่รักษาโครงสร้างลำดับชั้นของระบบในขณะที่แต่ละองค์ประกอบของอะตอมหมายถึงพฤติกรรมของส่วนหนึ่งของระบบ องค์ประกอบของอะตอมเป็นบล็อกการสร้างพื้นฐานของระบบซึ่งประกอบด้วยพอร์ต I / O และสถานะ จำกัด เวลาหุ่นยนต์ที่เป็นตัวแทนของพฤติกรรมของรูปแบบ เข้ากับองค์ประกอบของอะตอมผ่านทางพอร์ตอินพุตทริกเกอร์การเปลี่ยนแปลงของรัฐ (เรียกว่า "การเปลี่ยนแปลงภายนอก") และในทางตรงกันข้ามการเปลี่ยนแปลงรัฐ (เรียกว่า " การเปลี่ยนแปลงภายใน ") ในตอนท้ายของเวลาความล่าช้าของแต่ละรัฐจะนำไปสู่การผลิตการส่งออกผ่านทางพอร์ตเอาท์พุท รูปที่ 1 แสดงให้เห็นถึงการเปลี่ยนแปลงสถานะขององค์ประกอบของอะตอม องค์ประกอบของอะตอมอยู่ในสถานะ s เพื่อเวลาที่กำหนดตา (s) ถ้าองค์ประกอบของอะตอมผ่านเวลานี้โดยไม่หยุดชะงักจะผลิตและการส่งออกที่ส่วนท้ายของเวลานี้และเปลี่ยนสถานะบนพื้นฐานของδฟังก์ชัน int (การเปลี่ยนแปลงภายใน) และยังคงพฤติกรรมเดียวกัน แต่ถ้าได้รับการป้อนข้อมูล x ในช่วงของตา (s) เวลาจะเปลี่ยนสถานะของมันซึ่งจะถูกกำหนดโดยฟังก์ชั่นδextและไม่โปร duce เอาต์พุต (การเปลี่ยนแปลงภายนอก).
รูปแบบการเชื่อมต่อคู่ รูปแบบพื้นฐานร่วมกันเพื่อก่อให้เกิดรูปแบบใหม่ รุ่นนี้ตัวเองสามารถนำมาใช้เป็นส่วนประกอบในรูปแบบขนาดใหญ่คู่จึงทำให้การก่อสร้างลำดับชั้นของโมเดลที่ซับซ้อน

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

3 . devs ตามที่กล่าวไว้ในส่วนก่อนหน้า เราใช้แบบ M & s วิธีการเครือข่าย LTE รุ่น รายละเอียดของระบบงาน
ไม่ต่อเนื่อง ( devs ) ยังได้รับเลือกสำหรับวัตถุประสงค์นี้ ตั้งแต่ ม. & s แง่มุมของ devs sys - แบบแยก เพื่อ modularize และกําหนดการออกแบบรูปแบบ ตามความต้องการของระบบ . จบเรื่องนี้devs ได้รับการเสนอเป็นกรอบอย่างเป็นทางการเสียงแบบระบบพลวัตทั่วไปและรวมถึงการแยกส่วนและองค์ประกอบเชิงโครงสร้างและข้อมูลที่เป็นทางการสำหรับการกำหนดโครงสร้างและพฤติกรรมของแบบจำลองเหตุการณ์ไม่ต่อเนื่อง รูปแบบ devs ประกอบด้วยโครงสร้าง ( คู่ ) และพฤติกรรม ( อะตอม ) ส่วนประกอบซึ่งในคู่ส่วนประกอบรักษาโครงสร้างลำดับชั้นของระบบ ในขณะที่แต่ละอะตอมองค์ประกอบที่แสดงถึงพฤติกรรมของส่วนหนึ่งของระบบ องค์ประกอบของอะตอมเป็นอาคารพื้นฐานของระบบซึ่งประกอบด้วยพอร์ต I / O และรัฐจำกัดเวลาทำงานแทนพฤติกรรมของต้นแบบการใส่ส่วนประกอบอะตอมผ่านทางพอร์ตอินพุตทริกเกอร์สถานะ‎ ( เรียกว่า‎เพื่อ‎เป็น‎ " เปลี่ยน " ‎ภายนอก ) , ‎‎ในความคมชัดและ‎‎ที่‎รัฐ‎เปลี่ยน‎ ( เรียกว่า‎เพื่อ‎เป็น‎ " เปลี่ยน " ‎ภายใน ) ‎ที่‎ที่‎จุดสิ้นสุดของเวลาของแต่ละรัฐจะนำไปสู่ผลผลิตรุ่นผ่าน output พอร์ต รูปที่ 1 แสดงให้เห็นถึงสถานะของโครงสร้างอะตอมองค์ประกอบของอะตอมอยู่ในสถานะของเวลาระบุตา ( s ) ถ้าองค์ประกอบอะตอมเวลาผ่านไปโดยไม่หยุดชะงัก มันจะผลิตออก Y ที่จุดสิ้นสุดของเวลาและการเปลี่ยนแปลงนี้‎‎‎‎รัฐ‎ตาม‎บน‎‎δ Int ของฟังก์ชัน ( การเปลี่ยนภายใน ) และยังคงมีพฤติกรรมเดิมๆ แต่ถ้ามันรับ input x ระหว่างตา ( s ) เวลามันเปลี่ยนสถานะ ซึ่ง‎เป็น‎กำหนด‎โดย‎‎δ EXT ของฟังก์ชันและไม่โปร - duce output ( การเปลี่ยนแปลงภายนอก ) .
เป็นคู่แบบเชื่อมต่อแบบจำลองพื้นฐานร่วมกันเพื่อสร้างรูปแบบใหม่ รุ่นนี้สามารถใช้เป็นองค์ประกอบในตัวใหญ่กว่าคู่นางแบบ จึงอนุญาตให้สร้างลำดับชั้นของโมเดลที่ซับซ้อน