In the following the abstract syste

In the following the abstract systems behavior will be described. The term "automatically" describes the
behavior of a device that is done without control of this software system. The ticket machine will
automatically print the time on the ticket if a ticket is provided. The card reader in the ticket machine
automatically reads a card that is entered. The ticket reader reads a ticket or a monthly ticket. It reads the
ticket number and whether or not it is a monthly ticket automatically. The induction loop is in two states:
A car is present in the induction loop at that moment or not. If the state changes, a signal will be sent to
8
the PGCS. The gates have two states: open and closed. It takes some time to change the states. The state
display shows two states: full and vacancies. This is according to the number of available public parking
spaces in the parking garage. (The state display is not relevant for the drivers that own a monthly ticket.)
With the numerical keypad there is the possibility of entering the number of total and reserved parking
spaces. At the cashier the fee is paid. The cashier then notifies the system of the ticket number at this
time. The cashier is not controlled by the software system.

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

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

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

ในต่อไปนี้พฤติกรรมของระบบที่เป็นนามธรรมจะอธิบาย คำว่า "โดยอัตโนมัติ" อธิบายถึง
พฤติกรรมของอุปกรณ์ที่จะทำโดยไม่มีการควบคุมของระบบซอฟแวร์นี้ เครื่องตั๋วจะ
พิมพ์โดยอัตโนมัติเวลาในตั๋วถ้ามีให้ตั๋ว เครื่องอ่านบัตรในเครื่องตั๋ว
โดยอัตโนมัติอ่านบัตรที่ถูกป้อน อ่านตั๋วอ่านตั๋วหรือตั๋วรายเดือน มันอ่าน
จำนวนตั๋วและหรือไม่ว่าจะเป็นตั๋วรายเดือนโดยอัตโนมัติ วงเหนี่ยวนำอยู่ในสองรัฐ:
รถอยู่ในวงเหนี่ยวนำในขณะนั้นหรือไม่ หากมีการเปลี่ยนแปลงรัฐสัญญาณจะถูกส่งไป
8
PGCs ประตูมีสองรัฐ: เปิดและปิด มันต้องใช้เวลาในการเปลี่ยนสถานะบางอย่าง รัฐ
หน้าจอจะแสดงสองรัฐ: เต็มรูปแบบและตำแหน่งงานว่าง นี้เป็นไปตามจำนวนของที่จอดรถสาธารณะที่มี
ช่องว่างในที่จอดรถ (การแสดงผลที่รัฐไม่เกี่ยวข้องกับการขับขี่ที่เป็นเจ้าของตั๋วรายเดือน.)
ด้วยปุ่มกดตัวเลขที่มีความเป็นไปได้ของการป้อนหมายเลขจากทั้งหมดลิขสิทธิ์และที่จอดรถ
พื้นที่ ที่แคชเชียร์ค่าเป็นค่าใช้จ่าย แคชเชียร์แล้วแจ้งให้ระบบการทำงานของจำนวนตั๋วที่นี้
เวลา แคชเชียร์ไม่ได้ถูกควบคุมโดยระบบซอฟแวร์

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

ในพฤติกรรมของระบบนามธรรม ต่อไปนี้จะอธิบาย คำว่า " อัตโนมัติ " อธิบายถึงพฤติกรรมของอุปกรณ์ที่ทำโดยไม่ต้องมีการควบคุมระบบซอฟต์แวร์นี้ เครื่องขายตั๋วอัตโนมัติจะ
พิมพ์เวลาในตั๋ว ถ้าซื้อตั๋วให้ เครื่องอ่านบัตรในเครื่องขายตั๋ว
โดยอัตโนมัติอ่านบัตรที่ป้อนเครื่องอ่านบัตรอ่านบัตรหรือตั๋วรายเดือน มันอ่าน
หมายเลขบัตรและหรือไม่ก็ตั๋วรายเดือนโดยอัตโนมัติ การห่วงอยู่สองรัฐ :
รถมีอยู่ในการเหนี่ยวนำวงในขณะนั้นหรือไม่ ถ้ารัฐเปลี่ยน สัญญาณจะถูกส่งไปยัง
8
pgcs . ประตูได้สองสถานะ : เปิดและปิด มันต้องใช้เวลาในการเปลี่ยนแปลงประเทศ รัฐ
แสดงสถานะ : เต็มและตําแหน่งงานว่าง นี้ตามจำนวนของที่จอดรถ
พื้นที่สาธารณะในโรงจอดรถ ( สถานะแสดงที่ไม่เกี่ยวข้องสำหรับผู้ขับขี่ที่เป็นเจ้าของตั๋ว รายเดือน )
กับแผงปุ่มกดตัวเลขมีความเป็นไปได้ของการป้อนจำนวนรวมและที่จอดรถ
เป็น . ที่แคชเชียร์ค่าเป็นเงินแคชเชียร์แล้วแจ้งระบบของหมายเลขบัตรในครั้งนี้

แคชเชียร์ไม่ได้ควบคุมโดยระบบซอฟต์แวร์