Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 8

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  procesy dyskretne
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
EN
This article is devoted to the coordination of single stages of the multimodal delivery process, taking into account the fact that the process is discrete in its content. The tact, which has the content of a time window for performing the operation is used for discrete processes. Due to the fact that multimodal transportation of goods is carried out on a large network, time is one of the most important criteria for their perfection. Two timing criteria are applied in the article, which take into account the fact that the multimodal process must be synchronized and that the transportation of a large group of goods can be carried out in separate parts. An estimation criterion was also applied, which takes into account constant, variable, contingent costs, which are carried out depending on the structure of the process. The goal of the study is to create such multimodal cargo delivery routes that are characterized by the highest level of selection criteria. In contrast to known studies, the dependence of the optimization criteria of the multimodal process on the total volume of cargo delivery was shown. The method of analyzing the transport scheme of multimodal transportation and the corresponding algorithm and computer program were developed. The methodology involves a complete review of all possible route options using three types of continent transport, namely road, rail, and river. The method of structural optimization is applied to the example of a transcontinental transport corridor.
EN
This article is devoted to the diagnosis of problems arising from risk management obligations under the safety management system implemented in civil organisations of certified air operators (carriers). Focus was on the use of quantitative methods in safety risk analysis. The idea of an approach to determine the probability of accidents and serious incidents based on the intensity of symptoms with lower consequences and risk factors as a function of time or number of performed air operations was proposed, based on Markov discrete processes [6,10-12,16]. The essence of this approach is explained by the mathematical model of Runway Excursion probability during landing operations. The concept of improvement of operators' cooperation in the exchange of information about safety indicators by profiling the organisation was presented. The last proposal concerns the construction of a comprehensive risk assessment indicator using a safety risk matrix.
PL
W pracy przedyskutowano przydatność modelu gier przeciwko naturze do modelowania niepewności predykcji stanu otoczenia sterowanego pojazdu. Pokazano możliwość syntezy prawa sterowania realizującego bezkolizyjny ruch pojazdu w dynamicznym środowisku na bazie strategii gry przeciwko naturze. Działanie oraz efektywność proponowanego podejścia zweryfikowano za pomocą symulacji przeprowadzonych w środowisku MATLAB.
EN
This paper addresses the problem of collision free motion planning of a vehicle in a dynamical environment. The usefulness of the game against nature for modeling environmental prediction uncertainty was discussed. The possibility of the control law synthesis on the basis of strategies against nature was presented. The properties and effectiveness of the approach presented were verified by simulations carried out in MATLAB.
4
Content available remote Stabilising feedback in Max-Plus linear models of discrete processes
EN
This article relates to a synthesising output feedback that is used to control a network of discrete events. The feedback stabilises the system without reducing its initial throughput and its synthesis is mainly based on the theory of residues and the Kleene operator. This article suggests some theoretical results and mathematical foundations of max-plus algebra theory, and in particularly, discusses various other aspects of controlling discrete processes and their modelling in the context of a linear max-plus system.
PL
Artykuł dotyczy syntezy sprzężenia zwrotnego w sterowaniu siecią zdarzeń dyskretnych. Sprzężenie zwrotne służy do stabilizacji systemu bez zmniejszenia jego początkowej przepustowości i jego synteza opiera się głównie na wynikach teorii residuów i operatora Kleene’a. W artykule zasygnalizowano pewne wyniki teoretyczne i wprowadzono matematyczne podstawy max-plus algebry. Omówiono także inne aspekty sterowania procesami dyskretnymi oraz ich modelowanie w kategoriach liniowego systemu max-plus.
5
Content available remote Max-Plus linear system in control of data processing
EN
The increasing complexity of information processing in distributed computer systems and microprocessors requires the use of time-saving devices and extended capacities of transmission channels. Processes in computers systems need effective processing time. This article describes an application of the theory of the Max Plus Linear System (MPLS) to controlling digital information processing and transmission time in information systems. System processes are described by an MPLS state equation and an MPLS output equation. The MPLS model makes use of formal mathematical methods of max-plus algebra which include maximization and addition operations in the domain of non-negative real numbers with the addition of minus infinity. The input data and the structure of the processes under consideration are represented by the Timed Event Graph (TEG) formalism constituting a special case of Timed Petri Nets. The suggested MPLS methods are useful for investigating selected properties of network models. They may be applied, among others, to evaluate performance criteria, cycle time, predictive control etc. This article presents the theoretical considerations used to determine the input signals controlling discrete processes, which are then illustrated with examples of numerical computations.
PL
Zwiększająca się złożoność procesów przetwarzania informacji w rozproszonych systemach komputerowych i mikroprocesorowych wymaga oszczędnego wykorzystania czasu pracy urządzeń i zwiększonej pojemności kanałów transmisyjnych. Procesy w systemach komputerowych potrzebują efektywnego czasu przetwarzania W niniejszym opracowaniu przedstawiono zastosowanie teorii max-plus liniowego systemu (MPLS) w sterowaniu czasem przetwarzania informacji i czasem transmisji informacji cyfrowej w systemach informatycznych. System procesów opisany jest w przestrzeni MPLS równaniem stanu i równaniem wyjścia. Model MPLS jest oparty na formalnych matematycznych metodach max plus algebry, które są wyposażone w operacje maksymalizacji i dodawania w dziedzinie nieujemnych liczb rzeczywistych rozszerzonych o minus nieskończoność. Dane wejściowe i struktura rozważanych procesów są określone przez formalizm czasowych sieci zdarzeń jako szczególnego przypadku czasowych sieci Petri’ego. Zaproponowane metody MPLS są użyteczne w badania wybranych właściwości sieci. Miedzy innymi mogą być one zastosowane do oceny wydajności, czasu cyklu, sterowania predykcyjnego, itp. W artykule zastosowano teoretyczne rozważania określające wejściowe sygnały sterujące procesem dyskretnym oraz przedstawiono przykładowy wyniki z numerycznych obliczeń.
PL
Artykuł koncentruje się na możliwości wykorzystania sieci Petriego oraz sieci transformującej (T-sieci) do celów modelowania i synchronizacji procesów dyskretnych, o których można powiedzieć, że stanowią istotę realizacji zadań. Zastosowano modyfikację sieci Petriego polegającą na użyciu wielokolorowych znaczników jako modeli spełnienia warunków, dzięki którym mogą być dostępne zasoby lub zrealizowane zadania. T-sieć została skonstruowana na podstawie doświadczenia nagromadzonego w trakcie eksperymentów symulacyjnych na kolorowanych sieciach Petriego. T-sieć eliminuje wiele trudności, z jakimi spotykamy się w trakcie modelowania zdarzeń za pomocą przepływu znaczników przez pozycje i tranzycje klasycznej sieci Petriego.
EN
This paper focuses on the possibility of using Petri nets and transformation nets (T-nets) in order to model and synchronise discrete processes which one could consider as being at the cose of task performance. A modification of the Petri net by using multicoloured markers as models of fulfilment conditions for accessible resources or for tasks executing was applied. The T-net was developed on the basis of experiences collected in the middle of simulation experiments running on coloured Petri nets. The T-net eliminates many of the difficulties met during events modelled by the use of markers flowing through positions and transition of a classical Petri net.
7
Content available remote Zastosowanie metod ewolucyjnych w optymalizacji cyklicznych procesów dyskretnych
PL
W artykule rozważany jest problem minimalizacji czasu cyklu w systemie cyklicznych procesów dyskretnych. Modelowanie i sterowanie odbywa się na poziomie operacyjnym. Do modelowania systemu wykorzystano czasowe sieci Petriego. Na podstawie modelu sieci Petriego zdefiniowano czas cyklu przebiegu procesów. Czas cyklu pracy systemu przyjęto jako miarę wydajności systemu. Zaproponowano algorytm oparty na idei algorytmu ewolucyjnego, uwzględniający cechy modelowanego systemu. Rozważane jest zagadnienie utrzymania założonej produkcyjności systemu przy minimalnej liczbie wyrobów przebywających jednocześnie w systemie. Do rozwiązania rozważanego problemu użyto algorytmu ewolucyjnego.
EN
The paper presents an algorithm for optimizing in flexible system of cyclic production processes. The problem work-in-process reduction while reaching a given productivity is considered. The modelling and control on operational level of production control hierarchy are developed. Timed Petri nets for modelling is utilized. As a performance evaluation measure of system the cycle time is selected. The maximum throughput of system is achieved for minimal cycle time. Due to known of complexity of this problem a genetic algorithm is provided.
PL
W pracy rozpatrywane są różne podejścia do rozwiązywania uogólnionego zadania przydziału w sposób dokładny. W uogólnionym zadaniu przydziału rozpatruje się zbiór zadań do wykonania oraz zbiór zasobów (maszyn) o ograniczonych dostępnościach. Każdemu zadaniu należy przydzielić jeden z wybranych zasobów rezerwując wymaganą ilość czasu jego dostępności. Celem jest takie przydzielenie zadań do zasobów, aby nie przekroczyć dostępności poszczególnych zasobów i minimalizować (bądź maksymalizować) sumaryczne koszty przydziału. Przedstawione zagadnienie jest problemem 7VP-trudnym i nawet przy umiarkowanej liczbie zadań i zasobów pojawiają się trudności z jego rozwiązywaniem. Rozwiązując uogólnione zadanie przydziału badano efektywność stosunkowo nowego podejścia optymalizacji dyskretnej jakim jest programowanie w logice ograniczeń (ang. constraint logie programming). Użyto do tego celu oprogramowania firmy ILOG. Otrzymane rezultaty i czasy rozwiązywania porównano z klasycznymi metodami optymalizacji, tzn. specjalizowaną metodą podziału i oszacowań oraz całkowitoliczbo-wym programowaniem liniowym. Eksperymenty obliczeniowe i porównania metod zostały przeprowadzone na danych zaczerpniętych z literatury.
EN
Different approaches to the exact solution of the generalised assignment problem are considered in the paper. The generalised assignment problem is the problem of finding an assignment of a set of capacity constrained resources (machines) to a set of jobs such that each job is assigned to exactly one resource. The objective is to minimise (or maximise) the total costs of assignment subject to the capacities of the resources. The problem is known to be NP-hard, and it is hard form a computational point of view even for a moderate number of jobs and resources. The efficiency of the constraint logic programming which is a relatively new approach to discrete optimisation has been examined by solving the generalised assignment problem. ILOG software has been applied for these experiments. Results of computations have been compared with the classical optimisation methods, i.e. a specialised branch and bound method and integer programming. Computational experiments and comparison has been performed on the test problems taken from the literature.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.