Discrete Simulation and Animation for Mining EngineersBy John R. Sturgul

Table of Contents

What Is PROOF Animation?
PROOF Animation
Further Work
Exercises
Drawing a Layout
Making a CLASS
Making a Path
Making the .ATF file
The CREATE Command
The PLACE Command
The MOVE Command
Study of TIME and SPEED
Exercises
More on Layouts I
More on Layouts
Making Curves
Making Circles
Moving the Grid Coordinates
Changing the Colours of Objects
Exercises
More on Layouts II
More on Paths
Non-Closed Circular Paths
The Snap to Option
The DESTROY Command in PROOF
Exercises
Some PROOF Icons
The SET Command and More PROOF Icons
Other forms of the SET Command
SET CLASS
SET OBJECT
More PROOF Icons: Navigating the Top Menu Bar
Exercises
More PROOF Icons
More PROOF Icons: Navigating the Lower Menu Bar
Exercises
Introduction to the GPSS/H Simulation Language
Introduction to GPSS/H
Rules for Writing Code in GPSS/H
Continuing a Line of Code
Running a GPSS/H Program
What You Will Need
Running Programs Using the Command Prompt—Up to Windows
Running Programs from Windows 7 and Higher
Making Changes to a GPSS/H Program
Giving Names in GPSS/H
Another Example
Free Format
The SIMULATE Statement
The END Statement
Further Example
Exercises
The GENERATE Block and Transactions
The GENERATE Block
The Internal GPSS/H Clock
Creating Transactions
The B Operand
A Word about Random Numbers
Results of Simulation Programs
More General Cases of the GENERATE Block
The PRIORITY Block
The TERMINATE Block
The START Statement
The CLEAR Statement
The RMULT Statement
Exercises
ADVANCE and TRANSFER Blocks
The ADVANCE Block
A Caution in Writing Programs
The TRANSFER Block
Unconditional TRANSFER Mode
The Conditional TRANSFER Block
Exercises
Making .ATF Files
Making .ATF Files, PUTSTRING, BPUTSTRING, BPUTPIC, PUTPIC and Standard Numerical Attributes
Exercises
QUEUE/DEPART Blocks
QUEUE/DEPART Blocks—Another PROOF Icon
Another PROOF Icon
Exercises
SEIZE/RELEASE Blocks
SEIZE and RELEASE Blocks
Exercises
Arithmetic in GPSS/H
Ampervariables in GPSS/H
Arithmetic in GPSS/H
The LET Statement and the BLET Block
Another Important SNA
Exercises
ENTER/LEAVE Blocks
The ENTER and LEAVE Blocks
Exercises
Other Forms of the TRANSFER Block
Several Other Forms of the TRANSFER Block
Exercises
The TEST Block
The TEST Block
The TEST Block in Refusal Mode
TEST Block in Normal Mode
Exercises
Standard Numerical Attributes
More on Standard Numerical Attributes
Other SNAs
Exercises
Functions
Functions
Exercises
Parameters
Parameters
The ASSIGN Block
A Caution in Using the ADVANCE Block
The ASSIGN Block in Increment or Decrement Mode
The TRANSFER ,FN(label) Block
General Form of the ASSIGN Block
Exercises
More on Parameters
More on Parameters: The LOOP Block EQU Statement
Exercises
TABLES
TABLES in GPSS/H
The TABLE Statement
The TABULATE Block
Standard Numerical Attributes Associated with Tables
The MARK Block
Additional Tables
Exercises
LOGIC Switches and the GATE Block
LOGIC Switches and the GATE Block
Another Form of the TRANSFER Block
Exercises
Miscellaneous Statements
DO LOOPS, IF, GOTO and LET Statements
Exercises
The SELECT and COUNT Blocks
The SELECT and COUNT Blocks
The COUNT Block
Other forms of the SELECT and COUNT Blocks
Exercises
Variables and Expressions
Variables and Expressions, Boolean Variables
Exercises
The BUFFER Block
The BUFFER Block and the SPLIT Block
Exercises
The ASSEMBLY Block
Assembly Sets and the ASSEMBLE Block
The ASSEMBLE Block
Exercises
MATCH, GATHER, and PREEMPT Blocks
MATCH, GATHER, and PREEMPT Blocks
Exercises
MACROs
MACROs in GPSS/H Subroutines
Exercises
A Few More PROOF Icons
A Few More PROOF Icons
Exercises
SAVEVALUES
SAVEVALUES
The SAVEVALUE Block
The FIX and FLT Mode Conversion
The INITIAL Statement
Effect of RESET and CLEAR on SAVEVALUES