The pairwise comparisons method can be used when the relative order of preferences among different concepts (alternatives) needs to be determined. There are several popular implementations of this method, including the Eigenvector Method, the Least Squares Method, the Chi Squares Method and others. Each of the above methods comes with one or more inconsistency indices that help to decide whether the consistency of input guarantees obtaining a reliable output, thus taking the optimal decision. This article explores the relationship between inconsistency of input and error of output. An error describes to what extent the obtained results correspond to the single expert’s assessments. On the basis of the inconsistency and the error, two properties of the weight deriving procedure are formulated. These properties are proven for eigenvector method and Koczkodaj’s inconsistency index. Several estimates using Koczkodaj’s inconsistency index for a principal eigenvalue, Saaty’s inconsistency index and the Condition of Order Preservation are also provided.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
W artykule omówiono obszary zastosowań mikrohydrauliki. W sposób szczególny skupiono się na problemie hałaśliwości pracy układów mikrohydraulicznych oraz zjawisku obliteracji na przykładzie mikrozasilacza. Przeprowadzono badania doświadczalne pracy mikrozasilacza hydraulicznego, w których stwierdzono nadmierną jego hałaśliwość. Dokonano modernizacji mikrozasilacza i obniżono hałaśliwość jego pracy. Przedstawiono wyniki wstępnych badań dotyczących możliwości sterowania układem mikrohydraulicznym za pomocą sterowania dławieniowego.
EN
In the paper application area of microhydraulics was discussed. Main advantages of microhydraulic systems were presented. Special attention was focused on disadvantages: noisiness and obliteration effect. Noisiness tests of microfeeder were done. During these tests excessive noisiness was ascertained. Some modernization of microfeeder was done and noisiness was reduced. Some test results referring to control of microhydraulic transmission with help of throttle method control were presented too.
W artykule zaprezentowano dane dotyczące wypadkowości w kopalniach KGHM Polska Miedź S.A. W analizie bezpieczeństwa i zagrożeń w górnictwie rud miedzi skupiono się na operatorach samojezdnych maszyn górniczych. Obecnie stosowane konstrukcje chroniące operatorów maszyn spełniają wymagania stawiane im w Dyrektywie Maszynowej 2006/42/WE. Kryteria oceny tego typu konstrukcji są identyczne jak w przypadku maszyn budowlanych. Istotnym wyróżnikiem w przypadku maszyn górniczych jest stosowanie w ocenie bezpieczeństwa normy PN-G-59001, w której obciążenia działające na ustrój nośny są znacznie większe niż w przypadku powszechnie stosowanej normy PN EN ISO 3449(FOPS). W artykule przedstawiono zjawiska nie ujęte w ustawodawstwie, których oddziaływanie jest istotne dla bezpieczeństwa operatorów maszyn górniczych.
EN
The paper presents data on accidents in the mines of KGHM Polska Miedz SA. The analysis of safety and hazards in copper ore mining focused on operators of self-propelled mining machines. The currently used structures to protect machine operators comply with the requirements of the Machinery Directive 2006/42/EC. The criteria for assessing this type of construction are the same as in the case of construction machinery. However, an important differentiator for mining machines is to use the safety regulation PN-G-59001, in which the loads acting on the superstructure are much larger than in the commonly used standard BS EN ISO 3449 (FOPS). The paper presents the phenomenon which was not included in the legislation, yet essential for the safety of machine operators.
5
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The Heuristic Ratio Estimation (HRE) approach proposes a new way of using the pairwise comparisons matrix. It allows the assumption that the weights of some alternatives (herein referred to as concepts) are known and fixed, hence the weight vector needs to be estimated only for the other unknown values. The main purpose of this paper is to extend the previously proposed iterative HRE algorithm and present all the heuristics that create a generalized approach. Theoretical considerations are accompanied by a few numerical examples demonstrating how the selected heuristics can be used in practice.
One of the challenges facing software engineering is to conduct research into new methods of modeling systems. The CCL notation shown in the article tries to follow in this direction. The solutions and methods presented here indicate its practical application to modeling complex eomputer systems using the struetural, dataflowcentric approach. The basis for the proposed integration between CCL and struetural methods is the newly defined externalization mechanism. It allows the details of inter-process communication to be abstracted away, thereby reducing the size of the submodels which are subject to further verification. Thanks to the methods adopted here, the overall picture of the system becomes morę readable for humans, and, due to the significant submodel state space reduction, the effective use of formal methods for their analysis becomes possible.
PL
Jednym z podstawowych zadań związanych z inżynierią oprogramowania jest szukanie nowych i optymalizacja istniejących metod modelowania systemów informatycznych. Przedstawiona w pracy notacja CCL stara się wpisywać w ten nurt badań. Prezentowane podejście pokazuje jej użyteczność w kontekście użycia metod strukturalnych (diagramy przepływu danych) do modelowania złożonych systemów informatycznych. Podstawą proponowanej integracji pomiędzy CCL i metodami modelowania strukturalnego jest nowowprowadzone pojęcie eksternalizacji. Pozwala ono abstrahować od szczegółów implementacyjnych komunikacji międzyprocesowej, redukując tym samym wielkość modeli podlegających dalszej weryfikacji. Dzięki przyjętemu rozwiązaniu modele stają się bardziej czytelne dla projektantów, oraz dzięki znaczącej redukcji przestrzeni stanów, możliwe staje się efektywne wykorzystanie metod formalnych w celu ich dalszej analizy.
Robust to biblioteka warstwy pośredniczącej stworzona z myślą o wysokopoziomowym sterowaniu konstrukcjami robotycznymi. Obecnie dostępne są dwie implementacje Robust, odpowiednio dla konstrukcji Lego Mindstorms NXT oraz Hexor II firmy Stenzel.
EN
Robust is a middleware library designed to facilitate the high-level control of different robotics platforms. Currently there are two Robust's implementation available: Robusts for Lego Mindstorms NXT and Robust for Hexor II (Stenzel).
Skuteczne działanie robota mobilnego zależy w dużym stopniu od sprawnego przetwarzania sygnałów przychodzących z zewnątrz. Warunkiem koniecznym takiego przetwarzania jest dostarczenie na czas odczytu czujnika do jednostki sterującej. W prezentowanej pracy autor zamierza przedstawić model komunikacyjny pomiędzy urządzeniami Lego Mindstorms NXT i komputerem klasy PC oparty na protokole Bluetooth, zapewniający sprawny, zdalny odczyt danych sensorycznych. Model ten został zaimplementowany i przetestowany na platformie Robust, będącej biblioteką wykorzystującą Lejos wbudowaną maszynę wirtualną języka Java.
EN
Successful working of mobile robot highly depends on robust and reliable signals processing coming from the environment. An important part of such processing is the mechanism responsible for passing the readings from a sensor to a control unit. The aim of the article is to present a communication model between Lego Mindstorms NXT and PC computer defined on the top of the Bluetooth protocol. The model is implemented in Robust platform - a Lejos library facilitating efficient communication between NXT and PC.
Artykuł opisuje propozycję architektury systemu modelowania dynamiki pieszych na podstawie doświadczenia autorów oraz wymagań współczesnej inżynierii oprogramowania. W pierwszej części nawiązano do istniejących modeli dynamiki pieszych, a następnie zaproponowano propozycję architektury systemu na diagramach UML. Zaprezentowano również prototyp aplikacji zbudowanej w oparciu o przyjęte założenia.
EN
The article presents a concept of architecture of pedestrians dynamics system. It is build on the base of authors experiences and requirements of modern software engineering. The first part contains existing models of pedestrians dynamics, while in the second part new architecture model based on UML diagrams is proposed. The paper presents also application, which was build according to assumptions.
10
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Countries like Poland with a recent sharp drop in birth rates still have some time to prepare for the problems of an ageing society. After the year 2030 they can become increasingly serious.
Pierwsze systemy czasu rzeczywistego były pomyślane jako rozwiązania w przeważającej mierze sprzętowe. Z biegiem czasu udział oprogramowania w konstrukcjach czasu rzeczywistego zwiększał się tak, by w końcu osiągnąć pozycję decydującą o zastosowaniu i funkcjonalności danego systemu. Wraz ze wzrostem znaczenia oprogramowania w konstrukcjach czasu rzeczywistego, wzrosło również znaczenie technik inżynierii oprogramowania wspierających rozwój tej klasy systemów. W przedstawionym artykule autorzy spróbują zatrzymać się nad klasą obiektowo zorientowanych systemów czasu rzeczywistego, istniejącymi rozwiązaniami ich projektowania, modelowania oraz wytwarzania na podstawie obiektowo zorientowanej specyfikacji. Na tle innych rozwiązań zostanie przedstawiona biblioteka RAT (Reactive Appliance Toolkit) wspierająca wytwarzanie tej klasy systemów.
EN
Most of the early real time systems have been implemented entirely in hardware. Gradually real time systems have becoming mixed software-hardware solutions. At present, software has a dominant position and frequently decides about almost the whole functionality of the given system. Growing importance of software in real time systems makes room for software engineering techniques supporting theirs development. In this paper authors try to go quickly through software supporting development of real time reactive systems. A special attention is drawn to the object oriented tools and methods. On the background of the other solutions the home grown utility package RAT (Reactive Appliance Toolkit) is presented.
Skuteczne działanie autonomicznego robota mobilnego zależy w dużym stopniu od umiejętności planowania swoich ruchów tak, aby osiągnąć założone cele. Istotną rolę w takim planowaniu odgrywa model otaczającego świata. Pozwala on z jednej strony na przechowywanie wiedzy o świecie, z drugiej zaś, na efektywne planowanie sekwencji ruchów dopuszczalnych. W prezentowanej pracy autorzy rozważają model reprezentacji świata w postaci automatu komórkowego. W pracy zaprezentowano również studialny, prosty algorytm sterujący robotem dla problemu planowania ścieżki.
EN
Successful working of autonomous mobile robot highly depends on ability to plan its own motion in such a way, which allows accomplishing specified tasks. Important role in such planning plays model of the surrounding world. It serves as knowledge storage and it allows for effective computing a sequence of admissible motions of the robot. In the presented paper authors take into a consideration world model in a form of cellular automaton. A simple control algorithm for a collision free path finding problem is also discussed.
Skuteczne działanie autonomicznego robota mobilnego zależy w dużym stopniu od umiejętności planowania swoich ruchów tak, aby osiągnąć założone cele. Istotną rolę w takim planowaniu odgrywa model otaczającego świata. Pozwala on z jednej strony na przechowywanie wiedzy o świecie, z drugiej zaś, na efektywne planowanie sekwencji ruchów dopuszczalnych. W prezentowanej pracy autorzy pragną przedstawić projekt ogólnej architektury inteligentnego systemu sterowania autonomicznym robotem mobilnym, wykorzystujący dynamiczny model świata skonstruowany z wykorzystaniem wiedzy w postaci automatu komórkowego.
EN
Successful working of autonomous mobile robot highly depends on ability to plan its own motion in such a way, which allows accomplishing specified tasks. Important role in such planning plays model of the surrounding world. It serves as knowledge storage and it allows for effective computing a sequence of admissible motions of the robot. In the presented paper authors would like to present a general architecture of intelligent control system for autonomous mobile robot with dynamic world model using knowledge in form of cellular automaton.
14
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We present a simulation of the time evolution of the distance matrix. The result is a node-node distance distribution for various kinds of networks. For the exponential trees, analytical formulas are derived for the moments of distance distribution.
15
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
A social system is represented by the Barabasi-Albert model. At each node of the graph, an Ising spin is placed, S=š1, with antiferromagnetic interaction between connected nodes. The time to reach equilibrium via Glauber kinetics does not depend on system size. The average energy associated with the rare spin flips in equilibrium oscillates with the number m of edges of new nodes. The conclusions are illustrated with events from recent European history, where after some strong change a rather immobile society evolved.
16
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
A nonlinear pendulum is designed to demonstrate the chaotic instability of trajectories. Here, we present a simplified theoretical description of its dynamics. Trajectories are found by numerical integration of the Lagrange equations. The results of the simulations agree with the Poincare-Bendixon theorem. Generic trajectories display chaotic behaviour and are similar to those obtained experimentally.
17
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The issue of creating good methods of pattern recognition for discrete music data (e.g. notes) is still very important. The proposed formalism should provide convenient mechanisms for problem definition and solutions. As far as possible it should be based on a well known formal theory, easy to understand and implement. This paper deals with a hybrid, discriminant-syntactic approach to problem of music pattern recognition.
18
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Podajemy opis nowego automatu komórkowego, służącego do symulacji procesu elektroforezy żelowej DNA. Cechy szczególne automatu to zależność rozmiaru otoczenia i długości kroku czasowego od stanu układu. Zależności te odzwierciedlają cechy układu równań różniczkowych, zaproponowanego w literaturze do opisu elektroforezy. Automat jest deterministyczny, co odpowiada znanym regułom Monte-Carlo zastosowanym dla elektroforezy w niskiej temperaturze i wysokim polu elektrycznym. Wyniki symulacji świadczą o tym, że w takich warunkach zdolność rozdzielcza elektroforezy silnie zależy od długości łańcucha.
The computer facilities for the scientific research groups in Cracow are presented. Some problems solved using supercomputers in the Cyfronet-Krakow Computer Center are discussed. The main flowcharts of computer algorithms and programs are included. General results are also presented.
Cellular automata formalism and the damage spreading technique are used to introduce a criterion of stability of magnetic sructures, and to construct dynamic phase diagrams. Results are presented for square and triangular lattices. we describe also new data on the concentration of the mixed phase, which grows on a random substrate.
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ć.