Proceedings in pdf format. - Sociotechnical Systems Engineering ...

More documents

Recommendations

Info

Cycle : (# do Loop: INNER Cycle;restart Loop; :Loop #);A Loop labelled imperative will execute thedescendant's imperatives and then re-run the Loop.A descendant of Cycle could make sure the loop doesnot last forever:TermCycle : Cycle (#Terminate : (# exit TRUE #);InnerAction : (# .. #);doInnerAction;(if Terminate then leave TermCycleif);#);A TermCycle instance will first call the do part ofCycle and after INNER is reached the do part ofTermCycle is activated. After the InnerAction is finished,Terminate function is asked whether a condition forleaving the loop is matched. If it is, the TermCycle haspassed so the Loop in the Cycle super pattern will not berestarted.In this case only a little or no work is saved forprogrammers if they use the Cycle pattern. Its advantageis however well arranged and unified approach to cyclingthrough various structures without the need of knowingthe details about what is done in the loop and what areterminating conditions.THE BETASIM FRAMEWORKThere is no support for building simulating models inthe Beta. But it is supporting coroutines with its quasiparallelsystem.The coroutines in the Beta are active objects, whichexecute their task and then may suspend. The suspensiondoes mean that the current coroutine is passing theapplication resources to another living coroutine and thenext coroutine is then attached to the program executionstack. When there is no other active coroutine waiting inthe queue the application will terminate. There is nosupport for suspension of a concrete coroutine whereas aconcrete coroutine may be attached.The BetaSim framework is an abstract layer, whichbrings the comfort of the Simula programming languageto simulation models building in the Beta. Thecoroutine's interface is enhanced using a new basic classthat has to have the interface of the process in Simula. Itdoes allow to be passivated, cancelled or put into awaiting state.When the new class supports the “suspension fromoutside”, so a coroutine A can send a message to suspendcoroutine B, it has then to support scheduling to behavelike in Simula. So methods like runAt, runBefore,runAfter have to be added to the framework somehow.A few other Simula capabilities are then added likedistribution functions for random numbers generating ormain process, current process, nextEv process, or lists ofprocesses to the framework to be completely ready forthe use.Of course the BetaSim build process is done alreadyso the programmer users don't have to do the coroutinesynchronisation and related implementation issuesthemselves and can build a discrete simulation model in aquite comfort manner:BetaSIM (#Loader: @|Entity(# ... doL: cycle (# ... #);PASSIVATE#)Discharger: @|Entity(# ... doL: cycle (# ... #);PASSIVATE#)CCar : Entity(#Distance, Velocity, LoadingTime,UnloadingTime: @integer;Init::< (# ... #)doL: cycle (# doLoadingQueue.into;(if Loader.getIdle thenLoader[]->run if);PASSIVATE;(Distance / Velocity)->HOLD;DischargingQueue.into;(if Discharger.getIdle thenDischarger[]->run if);PASSIVATE;(Distance / Velocity)->HOLD#)#)LoadingQueue: @WaitQueue (# #);DischargingQueue: @WaitQueue (# #);doAnnual Proceedings of Vidzeme University College “ICTE in Regional Development”, 2006122
(for 10 repeat &| CCar[]->runfor);PASSIVATE;'The total simulation time: '->puttext;gettime->putreal;#)In this simple model, there are first constructed 10CCar processes and they become activated. The cars arecoming into a loading queue at the Loader, and then theLoader is woken up to handle the queue.After a car is loaded, it is woken up to hold so muchtime as is needed to get to a destination. Then thedischarger is woken up to unload the car.As it can be seen, no coroutines synchronization isneeded to be rewritten since the process class Entity isextended to meet these particular model requirements.While the BetaSim framework is cca. 1000 lines ofcode huge, the programmer who is actually building thesimulation model is just asked to extend a few patternsthus saving a considerable amount of work.CONCLUSIONSWhen implementing an application it is worth to reusean already prepared framework. The little obstacle indoing this nowadays is the lack of usable frameworks.Thus, it should be a priority whenever implementing adesign to figure out whether a concrete solved problemcan be generalized and work on a general frameworkfirst. Such approach is taking more time to build anapplication at first but it is well paying off in the latertime.Osterbye, K., Kreutzer, W. 1999. Synchronizationabstraction in the BETA programming language. InComputer Languages 25, pp. 165-198Hunka, F. 2005. BetaSIM Extended Framework forDiscrete Event Simulation. Industrial SimulationConference 2005 ISC’05. IPK Berlin, pp. 158-161Hunka, F. 2005. Anticipation Models in BETA.Computing Anticipatory Systems. 7th Internationalconference Liege, Belgium.BIOGRAPHYFerdinand Mácha is studying for Ph.D. on theUniversity of Ostrava. He has graduated in 2004 fromthe University of Ostrava and holds the title MSc. Hisresearch fields include building general-purposeframeworks and structures and parallel(multithreaded) programming.František Huňka studied Cybernetics in Transportand Communication at the Zilina University,Slovakia. He received Ph.D. in modelling of watersupply systems. After graduation he worked as aresearcher with Institute for Automation andManagement in Industry in Ostrava for ten years.Since 1988 he has worked at University of Ostrava,Computer Science Department. Nowadays he worksas associate professor there. His main researchinterests include object-oriented technologiesincluding simulation and process-oriented approach.The Beta programming language is very well suitablefor creating or debugging abstract frameworks for itsobject-oriented characteristics and developmentenvironment.REFERENCESKreutzer, W., Osterbye, K. 1998. BetaSIM A frameworkfor discrete event modeling and simulation. In SimulationPractice and Theory 6. pp. 573-599Madsen, O. L., Moller-Pedersen, B., Nygaard, K. 1993.Object-Oriented Programming in the BETAProgramming Language. Addison-Wesley,Annual Proceedings of Vidzeme University College “ICTE in Regional Development”, 2006123
Page 1 and 2:
ISBN 9984-633-03-9Annual Proceeding
Page 3 and 4:
“Development of Creative Human -
Page 5 and 6:
TABLE OF CONTENTSINTELLIGENT SYSTEM
Page 7 and 8:
INTELLIGENT SYSTEM FOR LEARNERS’
Page 9 and 10:
LEARNER 1GROUP OF HUMAN AGENTSLEARN
Page 11 and 12:
QuantityQuantityFigure 6. Distribut
Page 13 and 14:
LEARNERStructure of theconcept mapL
Page 15 and 16:
WEB-BASED INTELLIGENT TUTORING SYST
Page 17 and 18:
materials to be presented and which
Page 19 and 20:
INFORMATION TECHNOLOGIES AND E-LEAR
Page 21 and 22:
correspondence with the course aim
Page 23 and 24:
projects and through IT. Hence, it
Page 25 and 26:
APPLICATION OF MODELING METHODS IN
Page 27 and 28:
can support configuration managemen
Page 29 and 30:
The EKD is one of the Enterprise mo
Page 31 and 32:
CHANGES TO TRAINING AND PERSPECTIVE
Page 33 and 34:
or an end, yet none of these attitu
Page 35 and 36:
make decisions. It cannot be volunt
Page 37 and 38:
logs), data and video conferencing
Page 39 and 40:
Ability to follow user’s multi-ta
Page 41 and 42:
CONCLUSIONSEDUSA method gives us a
Page 43 and 44:
in successful SD. Given this situat
Page 45 and 46:
SPATIAL INFORMATIONFor the visualis
Page 47 and 48:
MOBILE TECHNOLOGIES USE IN SERVICES
Page 49 and 50:
learning environment (Learning Mana
Page 51 and 52:
ago only some curricula on Logistic
Page 53 and 54:
The Web-based version can be access
Page 55 and 56:
Web-portal, which incorporates diff
Page 57 and 58:
DO INTELLIGENT OBJECTS AUTOMATICALL
Page 59 and 60:
Table 1. Examples for introducing R
Page 61 and 62:
workable influencing of the process
Page 63 and 64:
are handed over to the objects and
Page 65 and 66:
• Basic processes, such as wareho
Page 67 and 68:
THE ECR E-COACH: A VIRTUAL COACHING
Page 69 and 70:
participating in the workshops and
Page 71 and 72:
• Assessment modules enable indiv
Page 73 and 74:
with pictures and illustrated graph
Page 75 and 76:
ECR Question Banknumber category su
Page 77 and 78: educational programme that follows
Page 79 and 80: DEVELOPMENT OF WEB BASED GRAVITY MO
Page 81 and 82: These results of a model require a
Page 83 and 84: CONCLUSIONSThe main goal of work ha
Page 85 and 86: dimension and included within any o
Page 87 and 88: • Resources sharing by providing
Page 89 and 90: Pursuant to the guidelines of elect
Page 91 and 92: tariffs of regulated services have
Page 93 and 94: INFORMATION TECHNOLOGY FOR MOTIVATI
Page 95 and 96: difficult to predict when and for w
Page 97 and 98: Listeners' workon the WebListenersS
Page 99 and 100: PERSPECTIVES OF WEB PAGE AND E-MAIL
Page 101 and 102: INCREASE IN THE NUMBER OF INTERNETU
Page 103 and 104: tourism accommodations (home pages
Page 105 and 106: interactive relationships with clie
Page 107 and 108: • The data obtained by the resear
Page 109 and 110: Central Statistical Bureau of Latvi
Page 111 and 112: departures for 1995 are taken from
Page 113 and 114: 120100maximumworldminimum806040200-
Page 115 and 116: 140120maximumworldminimum1008060402
Page 117 and 118: would be a promising extension. Cur
Page 119 and 120: AN OVERVIEW OF THE AGENT − BASED
Page 121 and 122: Suitability for social system simul
Page 123 and 124: 6. MASONDescription:MASON is a fast
Page 125 and 126: Suitability for social system simul
Page 127: could be bad particularly when over
Page 131 and 132: • Streaming audio• Collaboratio
Page 133 and 134: NECESSITY OF NEW LAYERED APPROACH T
Page 135 and 136: Up to now, there has only been limi
Page 137 and 138: aaaaa6= −aa2,1 = − a0,3226= −
Page 139 and 140: ∂ u∂x∂ u∂y2 2+ b = 02 2wher
Page 141 and 142: a6,3= −2030a4,5−130a4,3- - - -
Page 143 and 144: 0,10,20,30,4( )Mag x y y Ge wx2, =
Page 145 and 146: Example 1. To understand better the
Page 147 and 148: Therefore, further the following co
Page 149 and 150: SOLUTION OF THE THREE-DIMENSIONALEQ
Page 151 and 152: Mag1, m , m , m1 2 3= mm1 m2m32 2 2
Page 153 and 154: MagMag0, m , m , m1 2 31, m , m , m
Page 155: CONCLUSIONSThe basic content of thi
show all

Proceedings in pdf format. - Sociotechnical Systems Engineering ...

Create successful ePaper yourself

Delete template?

Save as template?