Last issue
2017 (vol. 27) - Number 2


W. Bozejko, M. Wodecki:

Discrete Systems: Theory and Applications. Special issue.



G. Bocewicz, Z. Banaszak, I. Nielsen:

Delivery-flow routing and scheduling subject to constraints imposed by vehicle flows in fractal-like networks



W. Bozejko, A. Gnatowski, R. Idzikowski, M. Wodecki:

Cyclic flow shop scheduling problem with two-machine cells



W. Bozejko, M. Uchronski,, Z. Chaczko, M. Wodecki:

Parallel patterns determination in solving cyclic flow shop problem with setups



J. Brodny, S. Alszer, J. Krystek, M. Tutak:

Availability analysis of selected mining machinery



K. Chmielewska, D. Formanowicz, P. Formanowicz:

The effect of cigarette smoking on endothelial damage and atherosclerosis development - modeled and analyzed using Petri nets



A. Galuszka, J. Krystek, A. Swierniak, T. Grzejszczak, C. Lungoci:

Information management in passenger traffic supporting system design as a multi-criteria discrete optimization task



M. Kardynska, J. Smieja:

Sensitivity analysis of signaling pathway models based on discrete-time measurements



J. Kasprzyk, P. Krauze, S. Budzan, J. Rzepecki:

Vibration control in semi-active suspension of the experimental off-road vehicle using information about suspension deflection



M. Koryl, D. Mazur:

Towards emergence phenomenon in business process management



M. Koryl:

Active resources concept of computation for enterprise software



H. Krawczyk, M. Nykiel:

Mobile devices and computing cloud resources allocation for interactive applications



W. Mitkowski, W. Bauer, M. Zagórowska:

Discrete-time feedback stabilization



J. Pempera:

An exact block algorithm for no-idle RPQ problem



K. Rzosinska, D. Formanowicz, P. Formanowicz:

The study of the influence of micro-environmental signals on macrophage differentiation using a quantitative Petri net based model



K. Skrzypczyk , M. Mellado:

Vehicle navigation in populated areas using predictive control with environmental uncertainty handling



W. Bozejko, J. Pempera, M. Wodecki:

A fine-grained parallel algorithm for the cyclic flexible job shop problem




ACS Abstract:

2017 (Volume 27)
Number 2
1.

Discrete Systems: Theory and Applications. Special issue.

2.

Delivery-flow routing and scheduling subject to constraints imposed by vehicle flows in fractal-like networks

3.

Cyclic flow shop scheduling problem with two-machine cells

4.

Parallel patterns determination in solving cyclic flow shop problem with setups

5.

Availability analysis of selected mining machinery

6.

The effect of cigarette smoking on endothelial damage and atherosclerosis development - modeled and analyzed using Petri nets

7.

Information management in passenger traffic supporting system design as a multi-criteria discrete optimization task

8.

Sensitivity analysis of signaling pathway models based on discrete-time measurements

9.

Vibration control in semi-active suspension of the experimental off-road vehicle using information about suspension deflection

10.

Towards emergence phenomenon in business process management

11.

Active resources concept of computation for enterprise software

12.

Mobile devices and computing cloud resources allocation for interactive applications

13.

Discrete-time feedback stabilization

14.

An exact block algorithm for no-idle RPQ problem

15.

The study of the influence of micro-environmental signals on macrophage differentiation using a quantitative Petri net based model

16.

Vehicle navigation in populated areas using predictive control with environmental uncertainty handling

17.

A fine-grained parallel algorithm for the cyclic flexible job shop problem



Discrete Systems: Theory and Applications. Special issue.

Download full PDF article
W. Bozejko
(Wroclaw University of Technology, Poland)
M. Wodecki
(University of Wroclaw, Poland)

In September 2016 a Jubilee 20th National Conference
of Discrete Automatization Processes organized by the Institute of Automatic Control of the Silesian University of Technology in Gliwice and the Committee on Automatic Control and Robotics of the Polish Academy of Sciences took place in Zakopane. The papers from the conference were selected and, after extension, presented in the special issue entitled "Discrete Systems: Theory and Applications".

^top  



Delivery-flow routing and scheduling subject to constraints imposed by vehicle flows in fractal-like networks

Download full PDF article
G. Bocewicz, Z. Banaszak
(Koszalin University of Technology, Poland)
I. Nielsen
(Aalborg University, Denmark)

The problems of designing supply networks and traffic flow routing and scheduling are the subject of intensive research. The problems encompass the management of the supply of a variety of goods using multi-modal transportation. This research also takes into account the various constraints related to route topology, the parameters of the available fleet of vehicles, order values, delivery due dates, etc. Assuming that the structure of a supply network, constrained by a transport network topology that determines its behavior, we develop a declarative model which would enable the analysis of the relationships between the structure of a supply network and its potential behavior resulting in a set of desired delivery-flows. The problem in question can be reduced to determining sufficient conditions that ensure smooth flow in a transport network with a fractal structure. The proposed approach, which assumes a recursive, fractal network structure, enables the assessment of alternative delivery routes and associated schedules in polynomial time. An illustrative example showing the quantitative and qualitative relationships between the morphological characteristics of the investigated supply networks and the functional parameters of the assumed delivery-flows is provided.

keywords: transport network, fractal structure, declarative modeling, multimodal process, delivery flow, vehicles flow

^top  



Cyclic flow shop scheduling problem with two-machine cells

Download full PDF article
W. Bozejko, A. Gnatowski, R. Idzikowski
(Wroclaw University of Technology, Poland)
M. Wodecki
(University of Wroclaw, Poland)

In the paper a variant of cyclic production with setups and two-machine cell is considered. One of the stages of the problem solving consists of assigning each operation to the machine on which it will be carried out. The total number of such assignments is exponential. We propose a polynomial time algorithm finding the optimal operations to machines assignment.

keywords: job shop, cyclic scheduling, multi-machine, assignment

^top  



Parallel patterns determination in solving cyclic flow shop problem with setups

Download full PDF article
W. Bozejko, M. Uchronski,
(Wroclaw University of Technology, Poland)
Z. Chaczko
(University of Technology, Sydney, Australia)
M. Wodecki
(University of Wroclaw, Poland)

The subject of this work is the new idea of blocks for the cyclic flow shop problem with setup times, using multiple patterns with different sizes determined for each machine constituting optimal schedule of cities for the traveling salesman problem (TSP). We propose to take advantage of the Intel Xeon Phi parallel computing environment during so-called 'blocks' determination basing on patterns, in effect significantly improving the quality of obtained results.

keywords: cyclic scheduling, parallel algorithm, metaheuristics

^top  



Availability analysis of selected mining machinery

Download full PDF article
J. Brodny, S. Alszer, J. Krystek, M. Tutak
(Silesian University of Technology, Poland)

Underground extraction of coal is characterized by high variability of mining and geological conditions in which it is conducted. Despite ever more effective methods and tools, used to identify the factors influencing this process, mining machinery, used in mining underground, work in difficult and not always foreseeable conditions, which means that these machines should be very universal and reliable. Additionally, a big competition, occurring on the coal market, causes that it is necessary to take action in order to reduce the cost of its production, e.g. by increasing the efficiency of utilization machines. To meet this objective it should be proceed with analysis presented in this paper. The analysis concerns to availability of utilization selected mining machinery, conducted using the model of OEE, which is a tool for quantitative estimate strategy TPM. In this article we considered the machines being part of the mechanized longwall complex and the basis of analysis was the data recording by the industrial automation system. Using this data set we evaluated the availability of studied machines and the structure of registered breaks in their work. The results should be an important source of information for maintenance staff and management of mining plants, needed to improve the economic efficiency of underground mining.

keywords: OEE model, TPM strategy, effectiveness, mining machines

^top  



The effect of cigarette smoking on endothelial damage and atherosclerosis development - modeled and analyzed using Petri nets

Download full PDF article
K. Chmielewska
(Poznan University of Technology, Poland)
D. Formanowicz
(Poznan University of Medical Sciences, Poland)
P. Formanowicz
(Poznan University of Technology, and Polish Academy of Sciences, Poland)

Atherosclerosis as one of the crucial causes of cardiovascular diseases (CVD) is the leading reason of death worldwide. One of the contributing factors to this phenomenon is endothelial dysfunction, which is associated with the impact of various agents and their interactions. Tobacco smoke is one of the well known factors here. For better understanding of its significance a model of its impact on atherosclerotic plaque formation has been proposed. The model contains selected aspects of the influence of tobacco smoke, dual function of nitric oxide (NO) (influence of various mechanisms on NO bioavailability), oxidative stress which promotes low density lipoproteins oxidation, macrophages significance and other mechanisms leading to an aggravation of the endothelial disturbances. The model has been built using Petri nets theory and the analysis has been based on t-invariants. This approach allowed to confirm the important role of inflammation and oxidative stress in atherosclerosis development and moreover it has shown the considerable influence of the cigarette smoke.

keywords: atherosclerosis, endothelial dysfunction, cigarette smoking, modeling, Petri nets, t-invariants

^top  



Information management in passenger traffic supporting system design as a multi-criteria discrete optimization task

Download full PDF article
A. Galuszka, J. Krystek, A. Swierniak, T. Grzejszczak
(Silesian University of Technology, Poland)
C. Lungoci
(Transilvania University, Romania)

This paper presents a concept of an Integrated System of Supporting Information Management in Passenger Traffic (ISSIMPT). The novelty of the system is an integration of six modules: video monitoring, counting passenger flows, dynamic information for passengers, the central processing unit, surveillance center and vehicle diagnostics into one coherent solution. Basing on expert evaluations, we propose to present configuration design problem of the system as a multi-objectives discrete static optimization problem. Then, hybrid method joining properties of weighted sum and ε-constraint methods is applied to solve the problem. Solution selections based on hybrid method, using set of exemplary cases, are shown.

keywords: multi objective optimization, discrete static optimization, Pareto solutions, integrated systems

^top  



Sensitivity analysis of signaling pathway models based on discrete-time measurements

Download full PDF article
M. Kardynska, J. Smieja
(Silesian University of Technology, Poland)

The paper is focused on sensitivity analysis of large-scale models of biological systems that describe dynamics of the so called signaling pathways. These systems are continuous in time but their models are based on discrete-time measurements.  Therefore, if sensitivity analysis is used as a tool supporting model development and evaluation of its quality, it should take this fact into account. Such models are usually very complex and include many parameters difficult to estimate in an experimental way. Changes of many of those parameters have little effect on model dynamics, and therefore they are called sloppy. In contrast, other parameters, when changed, lead to substantial changes in model responses and these are called stiff parameters. While this is a well-known fact, and there are methods to discern sloppy parameters from the stiff ones, they have not been utilized, so far, to create parameter rankings and quantify the influence of single parameter changes on system time responses. These single parameter changes are particularly important in analysis of signaling pathways, because they may pinpoint parameters, associated with the processes to be targeted at the molecular level in laboratory experiments. In the paper we present a new, original method of creating parameter rankings, based on Hessian of a cost function which describes the fit of the model to a discrete experimental data. Its application is explained with simple dynamical systems, representing two typical dynamics exhibited by the signaling pathways.

keywords: sensitivity analysis, signaling pathways, measurement uncertainty, discrete-time measurements

^top  



Vibration control in semi-active suspension of the experimental off-road vehicle using information about suspension deflection

Download full PDF article
J. Kasprzyk, P. Krauze, S. Budzan, J. Rzepecki
(Silesian University of Technology, Poland)

The efficiency of vibration control in an automotive semi-active suspension system depends on the quality of information from sensors installed in the vehicle, including information about deflection of the suspension system. The control algorithm for vibration attenuation of the body takes into account its velocity as well as the relative velocity of the suspension. In this paper it is proposed to use the Linear Variable Differential Transformer (LVDT) unit to measure the suspension deflection and then to estimate its relative velocity. This approach is compared with a typical solution implemented in such applications, where the relative velocity is calculated by processing signals acquired from accelerometers placed on the body and on the chassis. The experiments performed for an experimental All-Terrain Vehicle (ATV) confirm that using LVDT units allows for improving ride comfort by better vibration attenuation of the body.

keywords: vibration control, magnetorheological damper, linear variable differential transformer, skyhook

^top  



Towards emergence phenomenon in business process management

Download full PDF article
M. Koryl, D. Mazur
(Rzeszow University of Technology, Poland)

A standard solution regarding business process management automation in enterprises is the use of workflow management systems working by the Rule-Based Reasoning approach. In such systems, the process model which is designed entirely before the implementation has to meet all needs deriving from business activity of the organization. In practice, it means that great limitations arise in process control abilities, especially in the dynamic business environment. Therefore, new kinds of workflow systems may help which typically work in more agile way e.g. following the Case-Based Reasoning approach. The paper shows another possible solution – the use of emergence theory which indicates among other conditions required to fulfill stimulation of the system (for example the business environment) to run grass-roots processes that lead to arising of new more sophisticated organizing forms. The paper also points the using opportunity of such techniques as the processing of complex events to fulfill key conditions pointed by the emergence theory.

keywords: business process management, adaptive case management, emergence

^top  



Active resources concept of computation for enterprise software

Download full PDF article
M. Koryl
(Rzeszow University of Technology, Poland)

Traditional computational models for enterprise software are still to a great extent centralized. However, rapid growing of modern computation techniques and frameworks causes that contemporary software becomes more and more distributed. Towards development of new complete and coherent solution for distributed enterprise software construction, synthesis of three well-grounded concepts is proposed: Domain-Driven Design technique of software engineering, REST architectural style and actor model of computation. As a result a new resources-based framework arises, which after first cases of use seems to be useful and worthy of further research.

keywords: domain-driven design, REST, actor model

^top  



Mobile devices and computing cloud resources allocation for interactive applications

Download full PDF article
H. Krawczyk, M. Nykiel
(Gdansk University of Technology, Poland)

Using mobile devices such as smartphones or iPads for various interactive applications is currently very common. In the case of complex applications, e.g. chess games, the capabilities of these devices are insufficient to run the application in real time. One of the solutions is to use cloud computing. However, there is an optimization problem of mobile device and cloud resources allocation. An iterative heuristic algorithm for application distribution is proposed. The algorithm minimizes the energy cost of application execution with constrained execution time.

keywords: mobile devices, computing cloud, task allocation, optimization

^top  



Discrete-time feedback stabilization

Download full PDF article
W. Mitkowski, W. Bauer, M. Zagórowska
(AGH University of Science and Technology, Poland)

This paper presents an algorithm for designing dynamic compensator for infinite-dimensional systems with bounded input and bounded output operators using finite dimensional approximation. The proposed method was then implemented in order to find the control function for thin rod heating process. The optimal sampling time was found depending on discrete output measurements.

keywords: stabilization, feedback stabilization, finite dimensional stabilization, infinite dimensional systems, finite dimensional approximations, continuous-discrete system

^top  



An exact block algorithm for no-idle RPQ problem

Download full PDF article
J. Pempera
(Wroclaw University of Technology, Poland)

In the work a single-machine scheduling problem is being considered, in which all tasks have a fixed availability (release) and delivery time. In the analyzed variant no-idle time is allowed on a machine. The purpose of optimization is to determine such order of tasks that minimizes the makespan, i.e. the time of execution of all the tasks. There is also a number of properties of the problem presented, in particular there are formulated block eliminating properties for no-idle constraint. There was an exact B&B algorithm based on the block properties proposed.

keywords: scheduling, single machine, no-idle, B&B algorithm

^top  



The study of the influence of micro-environmental signals on macrophage differentiation using a quantitative Petri net based model

Download full PDF article
K. Rzosinska
(Poznan University of Technology, Poland)
D. Formanowicz
(Poznan University of Medical Sciences, Poland)
P. Formanowicz
(Poznan University of Technology, and Polish Academy of Sciences, Poland)

The complexity of many biological processes, which, thanks to the development of many fields of science, becomes for us more and more obvious, makes these processes extremely interesting for further analysis. In this paper a quantitative model of the process of macrophage differentiation, which is essential for many phenomena occurring in the human body, is proposed and analyzed. The model is expressed in the language of Petri net theory on the basis of one of the three hypotheses concerning macrophage differentiation existing in the literature. The performed analysis allowed to find an importance of individual factors in the studied phenomenon.

keywords: Petri nets, atherosclerosis, macrophages, t-invariants

^top  



Vehicle navigation in populated areas using predictive control with environmental uncertainty handling

Download full PDF article
K. Skrzypczyk
(Silesian University of Technology, Poland)
M. Mellado
(Instituto de Automática e Informática Industrial Universidad Politecnica de Valencia, Spain)

This paper addresses the problem of navigating an autonomous vehicle using environmental dynamics prediction. The usefulness of the Game Against Nature formalism adapted to modeling environmental prediction uncertainty is discussed. The possibility of the control law synthesis on the basis of strategies against Nature is presented. The properties and effectiveness of the approach presented are verified by simulations carried out in MATLAB.

keywords: motion planning, prediction, uncertainty handling, game theory

^top  



A fine-grained parallel algorithm for the cyclic flexible job shop problem

Download full PDF article
W. Bozejko, J. Pempera
(Wroclaw University of Technology, Poland)
M. Wodecki
(University of Wroclaw, Poland)

In this paper there is considered a flexible job shop problem of operations scheduling.  The new, very fast method of determination of cycle time is presented. In the design  of heuristic algorithm there was the neighborhood inspired by the game of golf applied.  Lower bound of the criterion function was used in the search of the neighborhood.

keywords: job shop, cyclic scheduling, parallel algorithm

^top  



<< Back