• Increase font size
  • Default font size
  • Decrease font size

Applied Computer Science Volume 7, Number 2, 2011

TOWARDS AUTOMATED SYNTHESIS OF CONCURRENT CONTROL PROGRAMS

One of the key problems in the area of automatic synthesis of real-time concurrent control programs is a problem of automated modeling of systems comprising multiple activities or processes that proceed concurrently. In that context, the discrete-event systems framework enabling to predict the modeled objects performance and then to design of assumed quality control program on the basis of the given specification of the processes controlled, plays a crucial role. From that point of view, the Petri nets can be seen as a most widely recognized tool aimed at modeling system’s concurrency. So, the main objective of our contribution is to illustrate the Petri nets based approach from both: IF…THEN… rules system’s behavior specification and its Turing machine like representation points of view.

ADVANCED PLANNING SYSTEM IN SMALL BUSINESS

Achieving dramatic improvements in productivity, customer satisfaction and profitability result from applying the latest advances in planning and control systems. The paper presents application result of advanced production planning on the small business.

VIRTUAL ASSEMBLY WITH DELMIA DPM

Industrial assembly is nowadays subject to quick product changes, increasing numbers of variants and short planning spans of the customer. This can be achieved by using, presented in this paper, new methods and approaches like virtual reality and last but not least virtual verification of processes in assembly.

PERSON MOVEMENT PREDICTION USING ARTIFICIAL NEURAL NETWORKS WITH DYNAMIC TRAINING ON A FIXED-SIZE TRAINING DATA SET

Significant technical development over the last years has lately been showing more and more promise of making the vision of smart environments come true. The role of future smart environments lies in proactive interaction. Prediction of user’s actions plays a vital role in such interaction. This paper presents a method based on artificial neural networks designed to accommodate the problem of person movement prediction. The paper explores the importance of dynamic training in prediction of nonstationary time series. An approach to dynamic training, based on the so-called on-the-fly training, is presented.

SIMULATION OF MANUFACTURING AND LOGISTICS SYSTEMS FOR THE 21TH CENTURY

This paper deals with computer simulation of manufacturing systems. It contains the basic simulation theory and principles of a simulation project management. Furthermore the authors introduced the idea of parametric simulation model, followed by special application areas of simulation, e.g. scheduling, emulation, metamodelling. The paper discusses the possibility to utilize a cloud computing technology in simulation. The case example of the application of simulation by the optimization of real production system concludes the working part of paper. The final part summarizes benefits and recommendations.