| | SLO | ENG | Cookies and privacy

Bigger font | Smaller font

Search the digital library catalog Help

Query: search in
search in
search in
search in
* old and bologna study programme


1 - 4 / 4
First pagePrevious page1Next pageLast page
Production control of a polymerization plant based on production performance indicators
Dejan Gradišar, Sebastjan Zorzut, Vladimir Jovan, 2008, original scientific article

Abstract: The specifics of process manufacturing have a great influence on production management. The focus of process-production control is to maintain stable and cost-effective production within given constraints. The synthesis of production-control structures is thus recognized as one of the most important design problems in process-production management. This article proposes a closed-loop control structure with the utilization of production-performance indicators (pPIs) as a possible solution to this problem. Suggested concept takes into account also economic issues of production. pPIs represent the translation of operating objectives, such as the minimization of production costs, to a reduced set of control variables that can then be used in a feedback control. The idea of production-feedback control using production pPIs as controlled variables was implemented on a procedural model of a production process for a polymerization plant. Preliminary results demonstrate the usefulness of the proposed methodology. At the implementation stage we must be aware that appropriate IT system has to be available which ensures needed online production data.
Keywords: production management, production control, production performance indicators, model-based control
Published: 10.01.2018; Views: 1417; Downloads: 233
.pdf Full text (963,78 KB)
This document has many files! More...

Modelling medium access control in IEEE 802.15.4 nonbeacon-enabled networks with probabilistic timed automata
Tatjana Kapus, original scientific article

Abstract: This paper concerns the formal modelling of medium access control in nonbeacon-enabled IEEE 802.15.4 wireless personal area networks with probabilistic timed automata supported by the PRISM probabilistic model checker. In these networks, the devices contend for the medium by executing an unslotted carrier sense multiple access with collision avoidance algorithm. In the literature, a model of a network which consists of two stations sending data to two different destination stations is introduced. We have improved this model and, based on it, we propose two ways of modelling a network with an arbitrary number of sending stations, each having its own destination. We show that the same models are valid representations of a star-shaped network with an arbitrary number of stations which send data to the same destination station. We also propose how to model such a network if some of the sending stations are not within radio range of the others, i.e. if they are hidden. We present some results obtained for these models by probabilistic model checking using PRISM.
Keywords: wireless personal area network, medium access control, hidden station, formal specification, probabilistic model checking
Published: 15.06.2017; Views: 584; Downloads: 272
.pdf Full text (2,25 MB)
This document has many files! More...

Izboljševanje razpoložljivosti energetskega sistema
Matej Kociper, 2016, bachelor thesis/paper

Abstract: V nalogi smo obravnavali energetski sistem hladnih sob in ga z namenom izboljševanja energetske učinkovitosti analizirali z vidika zanesljivosti in razpoložljivosti. Na podlagi teoretičnih temeljev in podatkov o zastojih naprav, zbranih iz obratovanja, smo z uporabo induktivne metode z upoštevanjem popravil na osnovi markovskih modelov ocenili izbrane karakteristike zanesljivosti in razpoložljivosti obstoječega sistema. Z namenom izboljševanja teh karakteristik smo podali konkretne predloge za predelavo strojnih inštalacij in nadgradnjo sistema obstoječe regulacije naprav z implementacijo informacijske rešitve v obliki daljinskega nadzorno-krmilnega sistema SCADA. Na podlagi ponovljene analize smo ocenili izboljšanje povprečnega časa do odpovedi in razpoložljivosti prenovljenega sistema. Na kratko smo opredelili še pogoje za uvedbo predelave, potencialne možnosti nadaljnjega razvoja in razširitve predstavljene metodologije na ostale (ne)energetske sisteme.
Keywords: – energetski sistem, – izboljševanje, – markovski model, – povprečni čas do odpovedi (MTTF), – razpoložljivost, – zanesljivost, – sistem SCADA (Supervisory Control and Data Acquisition).
Published: 27.05.2016; Views: 578; Downloads: 47
.pdf Full text (1,43 MB)

Adaptive control for power system stability improvement
Jožef Ritonja, 2010, independent scientific component part or a chapter in a monograph

Keywords: synchronous generator, control functions, mathematical model, voltage control
Published: 31.05.2012; Views: 3035; Downloads: 88
URL Link to full text

Search done in 0.13 sec.
Back to top
Logos of partners University of Maribor University of Ljubljana University of Primorska University of Nova Gorica