โครงสร้างของเทคโนโลยีกฎหมายประกอบด้วยองค์ประกอบอะไรบ้าง? ลักษณะของสาระสำคัญของเทคโนโลยีทางกฎหมาย การแนะนำร่างกฎหมายเข้าสู่สภานิติบัญญัติ

21.

22.

23.

24.

25.

26.

ในขั้นตอนที่สองของการสร้างแบบจำลอง - ขั้นตอนของอัลกอริทึมของแบบจำลองและการใช้งานเครื่องจักร - แบบจำลองทางคณิตศาสตร์ที่เกิดขึ้นในขั้นตอนแรกจะรวมอยู่ในแบบจำลองเครื่องจักรเฉพาะ ขั้นตอนนี้เป็นขั้นตอนของกิจกรรมภาคปฏิบัติที่มุ่งนำความคิดและโครงร่างทางคณิตศาสตร์ไปใช้ในรูปแบบของแบบจำลองเครื่องจักรของกระบวนการทำงานของระบบ S ก่อนที่จะพิจารณาขั้นตอนย่อยของอัลกอริทึมและการนำแบบจำลองไปใช้เครื่องจักรให้เราอาศัย หลักการพื้นฐานของการสร้างอัลกอริธึมการสร้างแบบจำลองและรูปแบบการนำเสนอ

หลักการสร้างอัลกอริธึมการสร้างแบบจำลอง

กระบวนการทำงานของระบบ S ถือได้ว่าเป็นการเปลี่ยนแปลงสถานะของระบบ S ตามลำดับในปริภูมิมิติ เห็นได้ชัดว่างานในการสร้างแบบจำลองกระบวนการทำงานของระบบภายใต้การศึกษา S คือการสร้างฟังก์ชันบนพื้นฐานที่สามารถคำนวณลักษณะที่น่าสนใจในกระบวนการทำงานของระบบได้ เมื่อต้องการทำเช่นนี้ จะต้องมีความสัมพันธ์ที่เชื่อมโยงฟังก์ชันกับตัวแปร พารามิเตอร์ และเวลา รวมถึงเงื่อนไขเริ่มต้น ณ ขณะนั้น

ให้เราพิจารณากระบวนการทำงานของระบบกำหนดบางอย่างซึ่งไม่มีปัจจัยสุ่ม กล่าวคือ เวกเตอร์ของสถานะของระบบดังกล่าวสามารถกำหนดได้จาก (2.3) เป็น จากนั้นสถานะของกระบวนการในขณะนั้น

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

ให้เราพิจารณากระบวนการการทำงานของระบบสุ่ม เช่น ระบบที่ได้รับอิทธิพลจากปัจจัยสุ่ม เช่น เวกเตอร์ของรัฐถูกกำหนดโดยความสัมพันธ์ (2.3) สำหรับระบบดังกล่าว การทำงานของกระบวนการระบุ ณ ขณะนั้น ความสัมพันธ์ของแบบจำลองจะกำหนดเฉพาะการแจกแจงความน่าจะเป็น ณ ขณะนั้นเท่านั้น ใน กรณีทั่วไปและเงื่อนไขเริ่มต้นสามารถสุ่มได้ โดยพิจารณาจากการแจกแจงความน่าจะเป็นที่สอดคล้องกัน ในเวลาเดียวกัน โครงสร้างของอัลกอริธึมการสร้างแบบจำลองสำหรับระบบสุ่มยังคงเหมือนเดิม แทนที่จะต้องระบุสถานะเท่านั้น ตอนนี้จำเป็นต้องคำนวณการแจกแจงความน่าจะเป็นสำหรับสถานะที่เป็นไปได้ ให้ตัวนับเวลาของระบบแสดงเวลา ตามการแจกแจงความน่าจะเป็นที่กำหนด สถานะจะถูกเลือก ถัดไป โดยขึ้นอยู่กับการแจกแจง สถานะจะได้รับจนกว่าจะมีการสร้างการใช้งานกระบวนการสุ่มหลายมิติที่เป็นไปได้ในช่วงเวลาที่กำหนด

หลักการพิจารณาของการสร้างอัลกอริธึมการสร้างแบบจำลองเรียกว่าหลักการ นี่คือหลักการที่เป็นสากลที่สุดที่ช่วยให้เราสามารถกำหนดสถานะลำดับของกระบวนการทำงานของระบบ S ในช่วงเวลาที่กำหนด แต่จากมุมมองของต้นทุนเวลาของคอมพิวเตอร์ บางครั้งมันก็กลายเป็นว่าไม่ประหยัด

เมื่อพิจารณาถึงกระบวนการทำงานของบางระบบจะพบว่ามีลักษณะเป็นสถานะสองประเภท: 1) สถานะพิเศษที่มีอยู่ในกระบวนการการทำงานของระบบเฉพาะในบางจุดของเวลาเท่านั้น (ช่วงเวลาที่รับอินพุตหรือ การควบคุมการกระทำการรบกวน สภาพแวดล้อมภายนอกฯลฯ ไม่ใช่เอกพจน์ ซึ่งกระบวนการนี้ตั้งอยู่ตลอดเวลาที่เหลือ สถานะพิเศษมีลักษณะเฉพาะด้วยความจริงที่ว่าฟังก์ชันของรัฐในช่วงเวลาเหล่านี้เปลี่ยนแปลงอย่างกะทันหันและระหว่างสถานะพิเศษการเปลี่ยนแปลงพิกัดเกิดขึ้นอย่างราบรื่นและต่อเนื่องหรือไม่เกิดขึ้นเลย ดังนั้นเมื่อสร้างแบบจำลองระบบ S ให้ปฏิบัติตามเฉพาะความพิเศษเท่านั้น

ระบุในช่วงเวลาที่สถานะเหล่านี้เกิดขึ้น มีความเป็นไปได้ที่จะได้รับข้อมูลที่จำเป็นสำหรับการสร้างฟังก์ชัน แน่นอนว่าสำหรับประเภทระบบที่อธิบายไว้ อัลกอริธึมการสร้างแบบจำลองสามารถสร้างขึ้นได้ตาม "หลักการของสถานะพิเศษ" ให้เราแสดงถึงการเปลี่ยนแปลงอย่างกะทันหัน (รีเลย์) ในสถานะเป็นและ "หลักการของสถานะพิเศษ" เป็นหลักการ

ตัวอย่างเช่นสำหรับระบบคิว (-scheme) สามารถเลือกสถานะเป็นสถานะพิเศษในขณะที่ได้รับการร้องขอบริการในอุปกรณ์ P และในขณะที่เสร็จสิ้นการให้บริการคำขอโดยช่อง K เมื่อสถานะของ ระบบซึ่งประเมินตามจำนวนคำขอในนั้นมีการเปลี่ยนแปลงอย่างกะทันหัน

โปรดทราบว่าคุณลักษณะของกระบวนการทำงานของระบบดังกล่าวที่มีสถานะพิเศษนั้นประมาณโดยใช้ข้อมูลเกี่ยวกับสถานะพิเศษ และสถานะที่ไม่พิเศษจะไม่ถูกพิจารณาในระหว่างการสร้างแบบจำลอง “หลักการทำให้ระบบจำนวนหนึ่งสามารถลดต้นทุนของเวลาคอมพิวเตอร์ลงอย่างมากสำหรับการนำอัลกอริธึมการสร้างแบบจำลองไปใช้เมื่อเปรียบเทียบกับ “หลักการ” ตรรกะของการสร้างอัลกอริธึมการสร้างแบบจำลองที่ใช้ “หลักการแตกต่างจากที่พิจารณา “หลักการ” เพียงแต่ว่าจะมีขั้นตอนในการกำหนดช่วงเวลาของเวลาที่สอดคล้องกับระบบสถานะพิเศษถัดไป S. เพื่อศึกษากระบวนการทำงาน ระบบขนาดใหญ่มีเหตุผลที่จะใช้หลักการรวมของการสร้างอัลกอริธึมการสร้างแบบจำลอง โดยรวมข้อดีของแต่ละหลักการที่พิจารณา

รูปแบบการนำเสนออัลกอริธึมการสร้างแบบจำลอง

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

แผนภาพทั่วไป (ขยายใหญ่) ของอัลกอริธึมการสร้างแบบจำลองจะระบุขั้นตอนทั่วไปสำหรับการสร้างแบบจำลองระบบโดยไม่ต้องให้รายละเอียดชัดเจน แผนภาพทั่วไปแสดงสิ่งที่ต้องทำในขั้นตอนการสร้างแบบจำลองถัดไป เช่น การเข้าถึงเซ็นเซอร์ตัวเลขสุ่ม

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

แผนภาพลอจิคัลของอัลกอริธึมการสร้างแบบจำลองแสดงถึงโครงสร้างลอจิคัลของแบบจำลองกระบวนการทำงานของระบบ S แผนภาพลอจิคัลระบุลำดับที่เรียงลำดับตามเวลา การดำเนินการเชิงตรรกะที่เกี่ยวข้องกับการแก้ปัญหาการสร้างแบบจำลอง

แผนภาพโปรแกรมแสดงลำดับการใช้งานซอฟต์แวร์ของอัลกอริธึมการสร้างแบบจำลองโดยใช้ซอฟต์แวร์ทางคณิตศาสตร์เฉพาะ แผนภาพโปรแกรมคือการตีความแผนภาพลอจิคัลของอัลกอริธึมการสร้างแบบจำลองโดยนักพัฒนาโปรแกรมตามภาษาอัลกอริทึมเฉพาะ ความแตกต่างระหว่างโครงร่างเหล่านี้คือ แผนภาพแบบลอจิคัลสะท้อนถึงโครงสร้างลอจิคัลของแบบจำลองกระบวนการการทำงานของระบบ และแผนภาพโปรแกรมสะท้อนถึงตรรกะของการนำเครื่องจักรไปใช้งานในแบบจำลองโดยใช้ซอฟต์แวร์เฉพาะ วิธีการทางเทคนิคการสร้างแบบจำลอง

แผนภาพลอจิกของอัลกอริทึมและแผนภาพโปรแกรมสามารถนำมาใช้ได้ทั้งในรูปแบบขยายและรายละเอียด ในการวาดไดอะแกรมเหล่านี้จะใช้ชุดสัญลักษณ์ซึ่งกำหนดโดย GOST 19.701 - 90 (ISO 5807 - 85) “ระบบเอกสารประกอบโปรแกรมแบบครบวงจร

แผนผังของอัลกอริธึม โปรแกรม ข้อมูล และระบบ

อนุสัญญาและกฎการดำเนินการ” สัญลักษณ์ที่ใช้กันมากที่สุดบางส่วนในการฝึกการสร้างแบบจำลองด้วยคอมพิวเตอร์แสดงไว้ในรูปที่ 1 3.3 ซึ่งแสดงสัญลักษณ์พื้นฐาน เฉพาะ และพิเศษของกระบวนการ ซึ่งรวมถึง: สัญลักษณ์หลัก: a - กระบวนการ - สัญลักษณ์แสดงการทำงานของการประมวลผลข้อมูลใด ๆ (การดำเนินการบางอย่างหรือกลุ่มการดำเนินการซึ่งนำไปสู่การเปลี่ยนแปลงค่ารูปแบบหรือตำแหน่งของข้อมูลหรือเพื่อกำหนดว่าสิ่งใด ควรย้ายทิศทางการไหลหลายทิศทาง) สัญลักษณ์กระบวนการเฉพาะ: b - การตัดสินใจ - สัญลักษณ์แสดงถึงการตัดสินใจหรือฟังก์ชันประเภทสวิตช์ที่มีอินพุตหนึ่งรายการและเอาต์พุตทางเลือกจำนวนหนึ่ง ซึ่งหนึ่งรายการเท่านั้นที่สามารถเปิดใช้งานได้หลังจากประเมินเงื่อนไขที่กำหนดไว้ภายในสัญลักษณ์นี้ (ผลการคำนวณที่สอดคล้องกัน สามารถบันทึกติดกับเส้นที่แสดงถึงเส้นทางเหล่านี้) c - การเตรียมการ - สัญลักษณ์แสดงการแก้ไขคำสั่งหรือกลุ่มคำสั่งเพื่อให้มีอิทธิพลต่อฟังก์ชันที่ตามมา (การตั้งค่าสวิตช์การแก้ไขการลงทะเบียนดัชนีหรือการเริ่มต้นโปรแกรม) d - กระบวนการที่กำหนดไว้ล่วงหน้า - สัญลักษณ์แสดงกระบวนการที่กำหนดไว้ล่วงหน้า ซึ่งประกอบด้วยการดำเนินการตั้งแต่หนึ่งรายการขึ้นไปหรือขั้นตอนของโปรแกรมที่กำหนดไว้ที่อื่น (ในรูทีนย่อย โมดูล) d - การดำเนินการด้วยตนเอง - สัญลักษณ์แสดงกระบวนการใด ๆ ที่ดำเนินการโดยบุคคล สัญลักษณ์พิเศษ: e - ขั้วต่อ - สัญลักษณ์แสดงทางออกไปยังส่วนหนึ่งของวงจรและทางเข้าจากส่วนอื่นของวงจรนี้และใช้ในการแยกสายและไปต่อที่อื่น (สัญลักษณ์ตัวเชื่อมต่อที่เกี่ยวข้องจะต้องมีการกำหนดที่ไม่ซ้ำกันเหมือนกัน ); g - เทอร์มิเนเตอร์ - สัญลักษณ์แสดงทางออกสู่สภาพแวดล้อมภายนอกและอินพุตจากสภาพแวดล้อมภายนอก (จุดเริ่มต้นหรือจุดสิ้นสุดของแผนภาพอัลกอริทึม การใช้งานภายนอกหรือปลายทางข้อมูล)

ข้าว. 3.3. สัญลักษณ์และแผนภาพของอัลกอริธึมการสร้างแบบจำลอง

รูปภาพตัวอย่างของแผนภาพอัลกอริธึมการสร้างแบบจำลองจะแสดงในรูปที่ 1 3.3, ชม.

โดยทั่วไปแล้ว ไดอะแกรมเป็นรูปแบบที่สะดวกที่สุดในการแสดงโครงสร้างของอัลกอริธึมการสร้างแบบจำลอง ในบางกรณีมีการใช้รูปแบบอื่นในการแสดงอัลกอริธึมการสร้างแบบจำลองเช่นรูปแบบของแผนภาพกราฟ (รูปที่ 3.3, i) นี่คือจุดเริ่มต้น - จุดสิ้นสุด - การคำนวณ - การสร้าง - การตรวจสอบเงื่อนไข - ตัวนับ - ผลลัพธ์ของผลลัพธ์ โดยที่ คือจำนวนตัวดำเนินการทั้งหมดของอัลกอริทึมการสร้างแบบจำลอง เพื่อเป็นการอธิบายแผนภาพกราฟของอัลกอริธึม ข้อความดังกล่าวจะให้การเปิดเผยเนื้อหาของตัวดำเนินการ ซึ่งทำให้การนำเสนออัลกอริธึมง่ายขึ้น แต่ทำให้การทำงานมีความซับซ้อนมากขึ้น

อัลกอริธึมการสร้างแบบจำลองสามารถแสดงเป็นไดอะแกรมตัวดำเนินการได้ สัญลักษณ์ของตัวดำเนินการในแผนภาพดังกล่าวสอดคล้องกับสัญลักษณ์ของแผนภาพกราฟ สำหรับตัวอย่างที่พิจารณา แผนภาพตัวดำเนินการของอัลกอริทึมจะมีรูปแบบ

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

ขั้นตอนย่อยของขั้นตอนที่สองของการสร้างแบบจำลอง

ให้เราพิจารณาขั้นตอนย่อยที่ดำเนินการระหว่างอัลกอริทึมของโมเดลระบบและการใช้งานเครื่องโดยให้ความสนใจเป็นพิเศษกับงานของแต่ละขั้นตอนย่อยและวิธีการแก้ไข

2.1. การสร้างไดอะแกรมเชิงตรรกะของแบบจำลองขอแนะนำให้สร้างแบบจำลองตามหลักการบล็อกนั่นคือในรูปแบบของบล็อกมาตรฐานบางชุด การก่อสร้างแบบจำลองของระบบเอสจากดังกล่าว

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

2.2. การได้รับความสัมพันธ์ทางคณิตศาสตร์พร้อมกับการดำเนินการขั้นตอนย่อยของการสร้างไดอะแกรมเชิงตรรกะของแบบจำลอง จำเป็นต้องได้รับความสัมพันธ์ทางคณิตศาสตร์หากเป็นไปได้ในรูปแบบของฟังก์ชันที่ชัดเจน เช่น เพื่อสร้างแบบจำลองการวิเคราะห์ ขั้นตอนย่อยนี้สอดคล้องกับข้อกำหนดโดยนัยของความสัมพันธ์ทางคณิตศาสตร์ที่เป็นไปได้ในขั้นตอนของการสร้างแบบจำลองแนวคิด เมื่อดำเนินการระยะแรกอาจยังไม่มีข้อมูลเกี่ยวกับความสัมพันธ์ทางคณิตศาสตร์ประเภทใดโดยเฉพาะ และในขั้นตอนที่สองจำเป็นต้องได้รับความสัมพันธ์เหล่านี้แล้ว แผนภาพรุ่นเครื่องควรเป็น การสะท้อนกลับทั้งหมดแนวคิดที่ฝังอยู่ในโมเดลและมี: ก) คำอธิบายบล็อคทั้งหมดของโมเดลพร้อมชื่อ; ข) ระบบแบบครบวงจรการกำหนดและหมายเลขของบล็อก c) การสะท้อนตรรกะของแบบจำลองกระบวนการทำงานของระบบ d) การระบุความสัมพันธ์ทางคณิตศาสตร์ในรูปแบบที่ชัดเจน

ดังนั้น ในกรณีทั่วไป โมเดลเครื่องจักรที่สร้างขึ้นของระบบจะมีลักษณะผสมผสาน กล่าวคือ สะท้อนถึงแนวทางการวิเคราะห์-จำลอง เมื่อส่วนหนึ่งของกระบวนการในระบบได้รับการอธิบายเชิงวิเคราะห์ และอีกส่วนหนึ่งถูกจำลองโดยความเหมาะสม อัลกอริธึม

2.3. การตรวจสอบความน่าเชื่อถือของโมเดลระบบการตรวจสอบนี้เป็นการตรวจสอบครั้งแรกที่ดำเนินการในระหว่างขั้นตอนการนำแบบจำลองไปใช้ เนื่องจากแบบจำลองเป็นคำอธิบายโดยประมาณของกระบวนการการทำงานของระบบจริง S ดังนั้นจนกว่าจะพิสูจน์ความน่าเชื่อถือของแบบจำลอง จึงไม่สามารถระบุได้ว่าด้วยความช่วยเหลือนั้นจะได้รับผลลัพธ์ที่ตรงกับที่สามารถรับได้ในระหว่าง การทดลองเต็มรูปแบบด้วยระบบจริง S ดังนั้นการพิจารณาความน่าเชื่อถือของแบบจำลองจึงถือได้มากที่สุด ปัญหาสำคัญเมื่อสร้างแบบจำลองระบบ ระดับความเชื่อมั่นในผลลัพธ์ที่ได้จากวิธีการสร้างแบบจำลองขึ้นอยู่กับวิธีแก้ไขปัญหานี้ การทดสอบแบบจำลองในขั้นตอนย่อยที่อยู่ระหว่างการพิจารณาควรตอบคำถามว่าแผนภาพเชิงตรรกะของแบบจำลองระบบและความสัมพันธ์ทางคณิตศาสตร์ที่ใช้สะท้อนถึงการออกแบบแบบจำลองที่เกิดขึ้นในขั้นตอนแรกมากน้อยเพียงใด ในกรณีนี้ จะมีการตรวจสอบสิ่งต่อไปนี้: ก) ความเป็นไปได้

การแก้ปัญหา b) ความแม่นยำของการสะท้อนของการออกแบบในแผนภาพลอจิก c) ความสมบูรณ์ของแผนภาพเชิงตรรกะของแบบจำลอง d) ความถูกต้องของความสัมพันธ์ทางคณิตศาสตร์ที่ใช้

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

2.4. การเลือกเครื่องมือการสร้างแบบจำลองในขั้นตอนย่อยนี้ มีความจำเป็นต้องแก้ไขปัญหาในที่สุดว่าคอมพิวเตอร์เครื่องใด (คอมพิวเตอร์, AVM, GVK) และเครื่องใด ซอฟต์แวร์ขอแนะนำให้ใช้สำหรับการดำเนินการตามแบบจำลองของระบบ S โดยทั่วไปการเลือกเครื่องมือคำนวณสามารถทำได้ในขั้นตอนย่อยก่อนหน้า แต่ขั้นตอนย่อยที่พิจารณาจะเป็นขั้นตอนสุดท้ายเมื่อต้องทำการเลือกนี้ในที่สุดเนื่องจากเป็นอย่างอื่น ความยากลำบากจะเกิดขึ้นในการดำเนินงานเพิ่มเติมเกี่ยวกับการนำแบบจำลองไปใช้ คำถามในการเลือกคอมพิวเตอร์ขึ้นอยู่กับข้อกำหนดต่อไปนี้:

ก) ความพร้อมใช้งานของซอฟต์แวร์และฮาร์ดแวร์ที่จำเป็น b) ความพร้อมใช้งานของคอมพิวเตอร์ที่เลือกสำหรับผู้พัฒนาโมเดล c) รับรองทุกขั้นตอนของการนำแบบจำลองไปใช้ d) ความสามารถในการรับผลลัพธ์ในเวลาที่เหมาะสม

2.5. จัดทำแผนการดำเนินงานด้านการเขียนโปรแกรมแผนดังกล่าวควรช่วยในการเขียนโปรแกรมโมเดลโดยคำนึงถึงการประมาณปริมาณของโปรแกรมและค่าแรงในการจัดทำ แผนเมื่อใช้คอมพิวเตอร์สากลควรรวมถึง: ก) การเลือกภาษาการเขียนโปรแกรม (ระบบ) สำหรับแบบจำลอง; b) การบ่งชี้ประเภทของคอมพิวเตอร์และอุปกรณ์ที่จำเป็นสำหรับการสร้างแบบจำลอง c) การประเมินจำนวน RAM ที่ต้องการและหน่วยความจำภายนอกโดยประมาณ d) ต้นทุนเวลาคอมพิวเตอร์โดยประมาณสำหรับการสร้างแบบจำลอง e) เวลาโดยประมาณที่ใช้ในการเขียนโปรแกรมและการดีบักโปรแกรมบนคอมพิวเตอร์

2.6. ข้อมูลจำเพาะและการสร้างแผนภาพโปรแกรมข้อมูลจำเพาะของโปรแกรมคือการนำเสนออย่างเป็นทางการของข้อกำหนดสำหรับโปรแกรมที่ต้องปฏิบัติตามในระหว่างการพัฒนา ตลอดจนคำอธิบายของงาน เงื่อนไข และผลกระทบของการกระทำ โดยไม่ระบุว่าจะต้องทำอย่างไรจึงจะบรรลุผล การมีไดอะแกรมบล็อกแบบลอจิคัลของโมเดลช่วยให้คุณสร้างไดอะแกรมโปรแกรมที่ควรสะท้อนถึง: ก) การแบ่งโมเดลออกเป็นบล็อก บล็อกย่อย ฯลฯ

b) คุณสมบัติของการเขียนโปรแกรมโมเดล c) ทำการเปลี่ยนแปลงที่จำเป็น d) ความสามารถในการทดสอบโปรแกรม e) การประเมินต้นทุนเวลาของคอมพิวเตอร์ f) รูปแบบการนำเสนอข้อมูลเข้าและส่งออก

การสร้างไดอะแกรมโปรแกรมเป็นหนึ่งในงานหลักในขั้นตอนการนำโมเดลไปใช้เครื่องจักร โดยที่ ความสนใจเป็นพิเศษควรมอบให้กับคุณสมบัติของภาษาที่เลือกเพื่อใช้แบบจำลอง: ภาษาอัลกอริทึมทั่วไป

วัตถุประสงค์หรือภาษาการสร้างแบบจำลอง (เช่น SIMULA, SIMSCRIPT, GPSS)

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

2.8. ดำเนินการเขียนโปรแกรมโมเดลด้วยแผนภาพโปรแกรมที่มีรายละเอียดเพียงพอซึ่งสะท้อนถึงการทำงานทั้งหมดของวงจรลอจิคัลของโมเดล คุณจึงสามารถเริ่มการเขียนโปรแกรมโมเดลได้ หากมีการออกแบบโปรแกรมที่เพียงพอ การเขียนโปรแกรมก็เป็นงานสำหรับโปรแกรมเมอร์เพียงอย่างเดียว โดยไม่ต้องมีส่วนร่วมหรือความช่วยเหลือจากผู้พัฒนาโมเดล เมื่อใช้แพ็คเกจแอปพลิเคชันการสร้างแบบจำลอง โปรแกรมการทำงานสำหรับการสร้างแบบจำลองออบเจ็กต์เฉพาะจะถูกสร้างขึ้นโดยตรง กล่าวคือ โมเดลจะถูกตั้งโปรแกรมในโหมดอัตโนมัติ

2.9. การตรวจสอบความถูกต้องของโปรแกรมนี่เป็นการตรวจสอบครั้งสุดท้ายในขั้นตอนการใช้งานเครื่องจักรของแบบจำลองซึ่งจะต้องดำเนินการ: ก) โดยการแปลโปรแกรมแบบย้อนกลับเป็นวงจรดั้งเดิม; b) การทดสอบแต่ละส่วนของโปรแกรมเมื่อแก้ไขปัญหาการทดสอบต่างๆ c) รวมทุกส่วนของโปรแกรมและตรวจสอบโดยรวม กรณีทดสอบการสร้างแบบจำลองตัวแปรของระบบ S

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

2.10. จัดทำเอกสารทางเทคนิคสำหรับขั้นตอนที่สองเพื่อให้ขั้นตอนการใช้งานเครื่องจักรของแบบจำลองเสร็จสมบูรณ์ จำเป็นต้องจัดทำเอกสารทางเทคนิคที่มี: ก) แผนภาพเชิงตรรกะของแบบจำลองและคำอธิบาย; b) โครงร่างโปรแกรมที่เหมาะสม และ สัญกรณ์ที่ยอมรับ- c) ข้อความเต็มของโปรแกรม; ง) รายการปริมาณเข้าและออกพร้อมคำอธิบาย e) คำแนะนำสำหรับการทำงานกับโปรแกรม f) การประเมินต้นทุนเวลาคอมพิวเตอร์สำหรับการสร้างแบบจำลอง โดยระบุทรัพยากรคอมพิวเตอร์ที่ต้องการ

ดังนั้นในขั้นตอนนี้จึงมีการพัฒนาไดอะแกรมของระบบรุ่น S โดยดำเนินการอัลกอริธึมและการเขียนโปรแกรม

การใช้เครื่องมือซอฟต์แวร์และฮาร์ดแวร์เฉพาะ เช่น แบบจำลองเครื่องจักรถูกสร้างขึ้นเพื่อใช้ทำงานเพื่อให้ได้ผลการสร้างแบบจำลองที่จำเป็นเพื่อประเมินลักษณะของกระบวนการทำงานของระบบ S (งานวิเคราะห์) หรือเพื่อค้นหาโครงสร้างที่เหมาะสมที่สุด อัลกอริธึม และพารามิเตอร์ของ ระบบ S (งานการสังเคราะห์)