Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 16

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

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
2
Content available remote Smutny los automatów. Sztuczni ludzie w dystopijnej ikonografii science fiction
94%
EN
A robot is an important figure in the patterns of dystopian literature and science fiction cinema. Over the years, artificial humans played the roles of victims or enemies rebelling and fighting with homo sapiens. This conflict was related to the genesis of the robot, that was at the beginning an imaginary character serving the role of mechanical slave. Another important theme developed in dystopian science fiction is the usage of robots in the plots inspired by some counterculture theses. Such inspirations are presented in the short stories and novels of Philip K. Dick who successfully re-interpreted the most popular conventions of the genre. The clichés connected with the iconography of artificial humans also became a significant element of the plots in comic books and cartoons where they are often used to deconstruct some significant stereotypes and indicate postmodern crisis of identity.
PL
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.
EN
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.
EN
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.
PL
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.
8
Content available remote Generowanie maszyn Turinga poprzez zastosowanie nowych modeli obliczeniowych
71%
PL
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.
PL
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).
10
Content available remote Automat do elektrodynamicznego kształtowania aluminiowych naczyń
59%
PL
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.
PL
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.
12
59%
|
|
tom nr 1
44--48
PL
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.
PL
Celem artykułu było zaprezentowanie problemów i terminologiczne uporządkowanie pojęcia „robot społeczny” oraz próba zdefiniowania cech reprezentatywnych dla tego typu urządzeń. Przyjęto tezę, że brak wyrazistej i rzetelnej definicji pojęcia „robot” prowadzi do chaosu terminologicznego i zamiennego używania różniących się znaczeniowo od siebie terminów („maszyna cybernetyczna”, „automat”, „robot społeczny”, „robot humanoidalny”, „android”). W artykule kolejno omówiono próby terminologicznego uporządkowania antropomorficznych maszyn, zaprezentowano definicję maszyny cybernetycznej oraz robota cybernetycznego. Poddano analizie etymologię oraz powszechnie funkcjonujące definicje terminu „robot”. Wyłoniono także cechy reprezentatywne dla maszyn nazywanych „robotami społecznymi”. Teza została potwierdzona. W artykule zastosowano metodę historyczną oraz analityczno-opisową.
EN
The aim of the article has been to present terminological difficulties and terminologically define the term social robot, , as well as to enumerate representational features of this kind of machine. It has been assumed that the lack of terminological consistency in the very definition of robot causes terminological chaos and leads to the tendency to use interchangeably terms of disparate meanings (e.g. cybernetic machine, automation, social robot, humanoid robot, android). In the article, it has been discussed what attempts have been made to terminologically define anthropomorphic machines. The definitions of a cybernetic machine and a cybernetic robot have also been presented. The etymology and widely used definitions of the term robot have been analyzed. Representational features of social robots have been singled out. The assumption has been proven. In the article historical and analytically-descriptive methods have been used.
PL
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.
PL
The article is an attempt to trace the origins of the medieval legend of Pope Sylvester II. The main focus of the paper is to reveal what ancient and medieval notions have influenced the part of the tale that deals with an oracular talking head supposedly created by the magical powers of the pope, as described in the 12th-century chronicle of William of Malmesbury. The article aims to show that the concept owes its origin to the ancient ideas about necromancy and the Jewish legends about the so-called teraphim. Another key factor that played a part in the development of the legend is the tradition of automata. Other aspects of the legend discussed in the article are its astrological and demonological elements, and the ambiguous form of the prophecy pronounced by the talking head.
16
Content available Metodyka budowy komputerowych systemów srk
36%
PL
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.
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ć.