Przedsiębiorstwa produkcyjne dążą do zautomatyzowania procesów produkcyjnych. Następuje to w wyniku zastosowania automatów, robotów oraz manipulatorów. Podstawową przesłanką do wprowadzania tego typu rozwiązań jest ciągły wzrost kosztów pracy ludzkiej. Wszelkiego rodzaju automaty przemysłowe, zastępują pracę fizyczną człowieka, skracają także czas produkcji wyrobów. W przemyśle, częstym rozwiązaniem jest stosowanie automatów oraz manipulatorów pneumatycznych, ze względu na niewielki koszt ich eksploatacji, powszechną dostępność: źródła energii, którym jest sprężone powietrze. W artykule przedstawiono elementy pneumatyczne układów sterowania: pneumatyczne elementy wykonawcze, elementy sterujące przepływem i ciśnieniem powietrza. Zaprezentowano zastosowanie pneumatycznych układów sterowania w przemyśle.
EN
Production companies strive to automate of production processes. This is due to the use of automatic devices, robots and manipulators. The basic premise for implementing such solution is continuous increase of human labour costs. All kinds of industrial automatic machines replace physical human work and cut down the production time. In industry, a common solution is the use of pneumatic automatic machines and manipulators, due to their low cost of operation and widespread availability of the source of energy which is compressed air. In this paper pneumatic elements of control systems, pneumatic actuators, elements controlling the flow and pressure of air were presented. The exemplary of application of pneumatic control system in industry were presented too.
W artykule W artykule przedstawiono, że półgrupa charakterystyczna sumy prostej i iloczynu prostego automatów "G" i "AG" asynchronicznych silnie spójnych i ustalone analogi ich rozszerzeń są izomorficzne. Wziąwszy pod uwagę iż półgrupa charakterystyczna określa zdolność do przetwarzania informacji, to sumę prosta iloczyn prosty można uważać za realizację – odpowiednio sekwencyjnych i równoległych obliczeń. Uzyskane rezultaty oznaczają iż owa zdolność nie zależy od realizacji sekwencyjnej lub równoległej (taka sama liczba klas abstrakcji odpowiednich półgrup charakterystycznych).
EN
In this article it is presented that the characteristic semi-group of the direct sum and direct product "G" and "AG" of the asynchronous automatons of the strongly connected and determined analogs of their extensions are isomorphism. Taking into account that the characteristic semi-group determines the ability to process the information then the direct sum and direct product can be consider as realization – the sequence and parallel calculation accordingly. The obtained results mean that this ability doesn’t depend on the sequence and parallel realization (the same number of abstract class of the suitable characteristic semi-groups).
W artykule przedstawiono i przeprowadzono dowód na wyznaczenie złożoności półgrup charakterystycznych iloczynów prostych „G” automatów deterministycznych skończonych asynchronicznych silnie spójnych DFASC2 (deterministic finite asynchronous strongly connected). Półgrupa charakterystyczna jest szczególnie istotnym pojęciem w teorii automatów; jest nośnikiem ważnych informacji i określa zdolność do przetwarzania informacji. Ma to bezpośrednio ważkie konsekwencje praktyczne w sferze projektowania optymalnych układów logicznych. Iloczyn prosty automatów można uważać za realizację – odpowiednio równoległych obliczeń.
EN
The paper presents the assumption and the evidence is carried out of the direct product complexity of characteristic semi-groups of any numbers „G” of deterministic, finite, asynchronous, highly consistent DFASC2 automata. The characteristic semi-group is the particularly essential conception in the automaton theory; it is the carrier of the important information and define the ability to information processing. It has the direct weighty consequences that are practical in the designing domain of the optimum logic circuits. The direct product of automatons can be considered as the realization – the parallel calculations accordingly.
Półgrupa charakterystyczna automatu ingeruje w algorytm obliczeniowy uogólnionych homomorfizmów automatów, zatem wyznaczenie złożoności półgrupy charakterystycznej pozwala na oszacowanie złozoności obliczeniowej uogólnionych homomorfizmów dla innych klas automatów. W zakresie modelu matematycznego koncepcja ustalonego analogu rozszerzenia automatu A związanego z izomorfizmami g0, g1, g q-1 , gdzie q stopień rozszerzenia, przy odpowiednich założeniach symuluje automat zmienny w czasie. Automat zmienny w czasie jest adekwatnym modelem matematycznym dla wielu procesów technicznych i obliczeniowych czasu rzeczywistego. Automaty te symulują pracę kilku automatów za pomocą jednego automatu zmiennego w czasie.
EN
The characteristic semi-group of the automaton interferes in the computational algorithm of the generalized homeomorphisms of the automatons. Then determination the complexity of the characteristic semi-group enables to estimate the complexity of the computational generalized homeomorphisms for the other classes of automatons. In the range of the mathematical model the conception of the determined analog of the extension of the automaton A associated with the isomorphisms g0, g1, g q-1 , where q is the grade of the extensions, with the suitable assumptions it simulates the automaton variable in time. The variable automaton in time is the adequate mathematical model for the many technical and computational processes of the real time.
W artykule przedstawiono, że półgrupa charakterystyczna sumy proste ji iloczynu prostego automatów asynchronicznych spójnych i ustalone analogi ich rozszerzeń są izomorficzne. Wziąwszy pod uwagę iż półgrupa charakterystyczna określa zdolność do przetwarzania informacji, to sumę prostą i iloczyn można uważać za realizację – odpowiednio sekwencyjnych i równoległych obliczeń. Uzyskane rezultaty oznaczają iż owa zdolność nie zależy od realizacji sekwencyjnej lub równoległej (taka sama liczba klas abstrakcji odpowiednich półgrup charakterystycznych).
EN
In this article it is presented that the characteristic semi – group of the direct sum and direct product of the asynchronous automatons of the strongly connected and determined analogs of their extensions are isomorphous. Taking into account that the characteristic semi – group determines the ability to process the information then the direct sum and direct product can be consider as realization – the sequence and parallel calculation accordingly. The obtained results mean that this ability doesn’t depend on the sequence and parallel realization (the same number of abstract class of the suitable characteristic semi –groups).
In this article, general information related to efficiency, assembly lines and simulation are primarily reviewed. previous studies on assembly line balancing are theoretically analysed. Thereafter two different assembly lines are designed to produce jean trousers. In one assembly line - manual machines and in another automats are used for seven selected operations. These assembly lines are modelled by the Promodel Simulation Program and the assembly line balancing problem is applied. The aim of the study is to establish which assembly lines have the highest line performance and to research the effects of using automat in assembly lines on production volume and efficiency. The simulation method formerly informs investors about the consequences of their investment in the decision making process for technology investments. The study concludes that automat usage on an assembly line increases the production volume and affects the fficiency of assembly line positively.
PL
W artykule podano ogólne informacje dotyczące wydajności linii produkcyjnych i ich symulacji. Teoretycznie analizowano dotychczasowe studia w równoważeniu linii produkcyjnych. Następnie zaprojektowano dwie różne linie produkcyjne dla wytwarzania spodni dżinsowych. W jednej z linii produkcyjnych zastosowano ręcznie sterowane maszyny, a w drugiej automaty dla siedmiu wybranych operacji. Wykonano modele obydwu linii produkcyjnych przy zastosowaniu programu Promodel Simulation Program, po czym badano problem równoważenia obydwu linii. Celem badań było określenie, która z linii produkcyjnych ma najwyższą zdolność wytwarzania i stwierdzenie czy zastosowanie automatów linii produkcyjnej ma wpływ na ilość realizowanej produkcji i efektywność. Metoda symulacji może informować inwestorów o konsekwencji ich decyzji inwestycyjnych. Przeprowadzone badania skłaniają do wniosku, że zastosowanie automatu w rozpatrywanej linii produkcyjnej zwiększa wielkość produkcji i wpływa pozytywnie na wydajność linii produkcyjnej.
W publikacji przedstawiono ogólne założenia metody tworzenia komputerowych systemów srk. Podstawą metody projektowania systemu srk jest strategia oparta na analizie systemowej uwzględniającej cykl V oraz podejście COTS. Treść publikacji zawiera opisy wybranych etapów projektowania należących do cyklu V. Opisy obejmują własności systemu srk i podstawy metody formalizacji opartej na modelu systemu srk nawiązującym do układu przełączającego (automatu), w którym zostają wyróżnione automaty składowe umożliwiające odwzorowanie funkcji sterowania. Podstawą analizy pracy automatów jest specyfikacja sygnałów oraz wyznaczenie funkcji przejść uzupełnione schematami grafów przejść. Rezultatem powyższej metodyki projektowania jest wypracowana metoda pozwalająca tworzyć bezpieczne komputerowe systemy sterowania ruchem.
EN
The general assumptions for the method of computer system for atc construction have been presented in the paper. The basis of the method of atr system designing is the strategy resulting from system analysis including V cycle and COTS approach. The descriptions of some designing stages that belong to V cycle have been given. The descriptions contain the atr system properties and the basis of formalization method. The basis of machines work analysis is specification of signals and definition of transfer function completed with schemes of transfer graphs. The result of mentioned above methodology of designing is the method allowing to create computer systems for traffic control.
A minimization of finite automata is important for designing of computer's hardware and software. A finite automata can be a model of any system with finite number of states. A limitation of number of states will save resources and time. In this article 1-way quantum finite automata is presented. We describe its characteristics, behaviour and languages accepted by it. This type of automata can be in future exploited to design and checking the behaviour of quantum systems, in lexical anaiyzer of a compiler, that will be used on quantum computers, or in verification systems. Also in this case Iimitation of states will save resources. The article holds formulated definition of indistinguishableness relation for 1-way quantum finite automata, on base of which minimization algorithm was created. Additionally, the algorithm 's complexity analysis and example of behaviour is holded.
W publikacji przedstawiono metodę tworzenia funkcji i równań zależnościowych na podstawie równań stanu opisujących system srk jako układ przełączający. Analiza systemu srk jako układu przełączającego pozwala wyróżnić w strukturze tego układu szereg automatów składowych odwzorowujących przebiegi, jak i obiekty sterowane. Do opisu tych automatów zastosowano równania stanu. Metoda ta umożliwiła sformułowanie funkcji i równań zależnościowych, które można zastosować do celów algorytmizacji. Ponadto zastosowanie tej metody pozwala zbadać własności tych automatów a tym samym i systemu srk.
EN
In the publication a method of creating the function and interlocking equations was presented on the basis of equations of the state describing the ATC system as the switching machine. Analysis of the ATC system as the switching machine lets single the row of automaton in the structure of this system as components reflecting of the rout process, as controlled objects. Equations of the state were used to the description of these machines. This method enabled to formulate the interlocking function and equations whom it is possible to apply to purposes of the algorithmization. Moreover applying this method allows to examine properties of these automaton hence and of ATC system. The required property of these automaton is among others their observability.
Programowanie sterowników wbudowanych polega na wykorzystaniu standardowych języków i narzędzi programowania. Zadanie sterowania sekwencyjnego realizowanego przez sterownik może być w różny sposób zaimplementowane w wybranym środowisku programowania. W zależności od tego uzyskuje się programy różniące się między sobą szybkością pracy i zapotrzebowaniem na pamięć operacyjną. Parametry te stają się istotne przy doborze optymalnej konstrukcji systemu mikroprocesorowego sterownika. Praca zawiera porównanie efektywności różnych wariantów oprogramowania tego samego zadania sterowania.
EN
Programming of embedded microcontrollers is based on usage of the standard programming languages and tools: from machine-level symbolic instructions to high-level languages - mainly C. One of the typical control task, which is usually implemented in microcontroller software, is logic sequential control. Programme implementation of that task depends on: used programming language and its possible syntax. Sometimes we can also use dedicated aiding system, which generates software implementation of the control task from its formal description to insert it into controller software. Usage of different programming languages and techniques causes that control software can work slower or faster and needs less or more operating memory. The time and memory complexity of the control software decide about the controller hardware and are important, when this hardware should be optimal. The article contains the comparison of time and memory efficiency of the exemplary control task according to usage of different programming languages, techniques and even programming tools. Conclusions pointed in the paper can be useful for microcontroller designer and programmer.
11
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
W artykule przedstawiono automat do elektrodynamicznego kształtowania fragmentu kołpaka będącego korpusem aluminiowego naczynia. Zasadnicza operacja formowania w urządzeniu przebiega z wykorzystaniem sił Lorentza powstających w impulsowym polu magnetycznym, wytworzonym za pomocą cewki indukcyjnej przewodzącej prąd elektryczny, która jest wraz z kształtową matrycą zespołem narzędzia. Pełny cykl obróbczy, obejmujący pozycjonowanie i transport kołpaka przed i po obróbce, jest realizowany przy wykorzystaniu siłowników pneumatycznych. Sterownik programowalny zapewnia pełną automatyzację gniazda obróbczego. Urządzenie pozwoli wyeliminować stosowaną obecnie w przemyśle nieefektywną obróbkę, realizowaną za pomocą ciężkiej, ręcznie obsługiwanej prasy.
13
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Dla każdego problemu obliczalnego istnieje algorytm jego rozwiązania, który może być przedstawiony w postaci konkretnej maszyny Turinga. Ze względu na prostotę tej maszyny programy są bardzo skomplikowane i nieprzejrzyste. Dlatego tworzy się inne modele obliczenia, na których można szybko i łatwo zapisywać algorytmy związane z danym typem problemu, a następnie symuluje się działanie tych modeli na maszynie Turinga. Niniejszy artykuł przedstawia metodologię znajdowania modelu obliczeniowego pasującego do danego typu problemów i przekształcenie go w odpowiednią maszynę Turinga na przykładzie obliczeń na liczbach naturalnych.
EN
For each problem that can be solved there exists algorithm, which can be described with a program of Turing machine. Because this is very simple model programs tend to be very complicated and hard to analyse by human. The best practice to solve given type of problems is to define a new model of computation that allows for quick and easy programming, and then to emulate its operation with Turing machine. This article shows how to define most suitable model for computation on natural numbers and defines Turing machine that emulates its operation.
15
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
In this work the new method of determining the Least Common Multiple (LCM) of natural numbers is described. This algorithm is the new mathematical tool which optimizes the calculations of LCM of natural numbers. This algorithm enables to obtain the results of equivalence of the characteristic semigroups calculations of the direct sum and the direct product of the some classes of the automata which are the mathematical (algebraical) models of the appropriately sequented and parallel structures of these classes of the automata. The automaton is meant here as the mathematical model that describes the way of the Information processing by the various digital systems.
Praca dotyczy tematyki związanej ze współbieżnym realizowaniem obliczeń w systemach rozproszonych. Zawiera charakterystykę systemów pozwalających na współbieżne wykonywanie aplikacji w klastrze wraz z przykładami systemów obecnie najpopularniejszych. Przedstawiona jest także propozycja programu pozwalającego przyjmowć żądania wykonania prac za pomocą poczty elektronicznej.
EN
The paper concerns the realisation of the concurrent computation in distributed system. Cluster management system are characterized and the most known ones are reviewed. A proposal of the program to receive job execution demands via the electronic mail is also presented.
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ć.