PL
 |
EN
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl
Preferencje help
Polish version English version Język
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
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Narzędzia CASE. Wprowadzenie do cyklu.
100%
Zieliński Z.
|
|
tom nr 4
22-23
2
Content available Algorytm wyznaczania wzorca alternatywnych stanów niezdatności systemu diagnozowanego metodą opiniowania diagnostycznego
100%
Zieliński Z.
|
2008
|
tom Vol. 57, nr 4
219-232
PL
W artykule przedstawiono konstrukcję algorytmu wyznaczania wzorca alternatywnych stanów niezdatności systemu (diagnozowanego metodą opiniowania diagnostycznego). Wzorzec alternatywnych stanów niezdatności systemu jest bardzo wnikliwą własnością struktury opiniowania diagnostycznego i może być wykorzystywany, między innymi do wyznaczania miar jakości struktury, które są podstawą do wyboru najkorzystniejszej (w określonym sensie) struktury lub sposobu realizowania strategii eksploatowania systemu (diagnozowania, regeneracji i rekonfiguracji systemu). Dokonano także oceny złożoności czasowej algorytmu.
EN
The paper presents an algorithm used for transformation of a pattern of diagnostic opinions for PMC and BGM structures to the pattern of alternatives reliability states of a diagnostic structure based on binary cubes operations. The pattern of alternatives reliability states of a diagnostic structure is a meaningful property of the diagnostic structure and may be used for determination of its several quality measures, which are the base for choosing a reasonable structure or for determination of the optimal method of system strategy exploitation (system diagnosis and reconfiguration). Moreover, a timed complexity of the algorithm was evaluated and depicted.
3
Content available Komputerowo wspomagane wyznaczenia najtańszych 2-diagnozowalnych struktur typu PMC
100%
Zieliński Z.
|
2003
|
tom R. 9, nr 18
33-44
PL
W pracy przedstawiono procedurę wyznaczania quasi-najtańszych 2-diagnozowalnych struktur typu PMC. Procedura bazuje na wyznaczaniu zbioru kompletnych, nieredukowalnych testów o najmniejszym koszcie. Zaprogramowano również (w ogólnym zarysie) sposób wyznaczania 2-optymalnych struktur rzędu większego niż 5 oraz wyznaczania najtańszych 2-diagnozowalnych struktur względem określonej struktury.
4
Content available Model symulacyjny procedur diagnostycznych w rozproszonych systemach sieciowych
100%
Zieliński Z.
|
|
tom nr 3(39)
209-214
PL
W artykule przedstawiono założenia i model symulacyjny procesu diagnostyki w sieciowych systemach rozproszonych, pozwalający na uzyskanie oceny efektywności procesu diagnozowania dla zadanej struktury diagnostycznej i parametrów niezawodnościowych systemu. Przedstawiono również w zarysie, sposób implementacji modelu oparty na podejściu obiektowym.
EN
In this paper the simulation model of distributed network system diagnosing procedures is presented. The main goal of the model is effectiveness evaluation of the diagnostic procedures depending on communication and diagnostic structure parameters and reliability node characteristics. More over, the outline of the model implementation is depicted.
5
Content available Wyznaczanie struktur logicznych sieci procesorów o łagodnej degradacji i strukturze 4-wymiarowego hipersześcianu
63%
Kulesza R. , Zieliński Z.
|
2012
|
tom Vol. 61, nr 4
293-306
PL
W artykule rozwinięto metodę generowania struktur logicznych sieci procesorów o łagodnej degradacji typu 4-wymiarowy hipersześcian, zaproponowaną w artykule [8], oraz przedstawiono sposób zastosowania tej metody do wyznaczenia obrazów geometrycznych cyklicznych i acyklicznych struktur roboczych takiej sieci o co najmniej czterech procesorach. Wyznaczono szeregi przeliczające etykietowanych oraz nieetykietowanych struktur roboczych sieci.
EN
In the work, the formal model of the logical structure of a 4-dimensional hypercube processor network and the method of a composition structure were developed based on the method proposed in [8]. The method for determining geometrical form of logical network cyclic and acyclic working structures with the use of operations on the proposed condensed structure form was presented. Counting series for labelled and unlabelled working structures were determined.
6
Content available Nowe wyroby aparatury hamulcowej z Bumar-Fablok S.A.
63%
Hodorowski J. , Zieliński Z.
|
|
tom R. 14, nr 10
61-64
PL
W artykule przedstawiono opis oraz parametry techniczne najnowszych wyrobów aparatury hamulcowej z Bumar-Fablok S.A., który jest wieloletnim dostawcą układów hamulcowych na potrzeby rynku kolejowego w Polsce i na świecie. 05.06.2008 r., na posiedzeniu Sektorowego Zespołu Ekspertów UIC 7 .Hamulec" w Budapeszcie, po trwającym kilka lat procesie konstruowania, badań i cer.tyfikacji Bumar-Fablok S.A. w Chrzanowie uzyskał dopuszczenie UIC (Union Internationale des Chemins de fer) do stosowania w ruchu międzynarodowym zespołu hamulcowego MBF-01A oraz jego podzespołów bazowych, tj. zaworu rozrządczego ZBF-01 oraz bezstopniowego przekładnika ciśnienia PBF-01A.
7
Content available remote Diagnosis resolution of processors’ network using the comparison method
63%
Kulesza R. , Zieliński Z.
|
|
tom R. 86, nr 9
157-162
EN
In the paper the model of the comparison diagnosis was introduced in an original way. The rules of comparison diagnosis were described. The notion t-detectability of an interconnection network was introduced with the necessary conditions of its existence. The dependencies for determination of the minimal number of complete t-detectable and t-diagnosable tests from the number of processors in an interconnection network were formulated. The model of an alternative pattern of the unsuitable states of a network based on the syndromes’ model was also presented.
PL
W oryginalny sposób przedstawiono model diagnostyki porównawczej. Określono reguły diagnozowania porównawczego. Wprowadzono pojęcie t-detekcyjności sieci oraz określono konieczne warunki istnienia takiej sieci. Podano zależności, które wyznaczają minimalną liczbę prób porównawczych niezbędną do tego, aby istniał kompletny test t-detekcyjny oraz kompletny test t-lokalizacyjny sieci o określonej liczbie procesorów. Przedstawiono sposób wyznaczania wzorca alternatywnych stanów niezdatności sieci na podstawie wzorca syndromów sieci.
8
Content available remote Design of diagnostic structures using genetic algorithm
63%
Strzelecki Ł. , Zieliński Z.
|
|
tom R. 86, nr 9
163-166
EN
The article deals with problems encountered during designing diagnostic structures (DS) type PMC and BGM for networks with a fixed logical structure (topology). The paper presents an adaptive method that uses a genetic algorithm, which allows the designing of the most inexpensive DS for a given topology.
PL
W artykule rozpatrzono problemy występujące przy projektowaniu struktur opiniowania diagnostycznego (OD) dla sieci komputerowych o ustalonej strukturze logicznej (topologii). Przedstawiono adaptacyjną metodę, wykorzystującą algorytm genetyczny, która umożliwia projektowanie najtańszych struktur OD dla danej topologii.
9
Content available remote Reconfiguration of a processor cube-type network
63%
Chudzikiewicz J. , Zieliński Z.
|
|
tom R. 86, nr 9
149-153
EN
In the paper the method and based on this method the reconfiguration algorithm for data transmission paths in a cube-type processor network is presented. The implementation problem of the presented algorithm in embedded systems has been raised. Tools and mechanisms of Windows CE operating system, which may facilitate the implementation of the developed algorithm are also depicted.
PL
W artykule przedstawiono metodę oraz bazujący na tej metodzie algorytm rekonfiguracji ścieżek przesyłania danych w sieci procesorów o strukturze typu sześcianu. Poruszono problem implementacji zaprezentowanego algorytmu w systemach wbudowanych. Przedstawiono, bazując na systemie operacyjnym klasy Windows CE, narzędzia i mechanizmy wbudowane w system, które ułatwiają implementację opracowanego algorytmu.
10
Content available Okres życia sieci procesorów o strukturze logicznej typu sześcianu 4-wymiarowego diagnozowanej metodą porównawczą
63%
Zieliński Z. , Kulesza R.
|
|
tom R. 17, nr 30
17-32
PL
W artykule rozpatrzono przypadek, gdy system jest jednorodną siecią procesorów o strukturze logicznej typu sześcianu 4-wymiarowego, w której tylko procesory ulegają uszkodzeniom trwałym oraz diagnozowanie procesorów wykonywane jest metodą porównawczą. Zdefiniowano i wyznaczono metodą analityczną charakterystyki degradacji sieci oraz rozkłady prawdopodobieństwa liczby uszkodzeń procesorów roboczych sieci typu 4-wymiarowego sześcianu, po której traci ona zdolność do funkcjonowania.
EN
The paper investigates the case where the system is degradable multi-processor network organized as a 4-dimensional cube in which only processors may fail and a diagnosis is performed by the comparison method. The network degradation characteristics are defined and discussed. An analytical method of determining characteristics of a network performance degradation is proposed. On the basis of determined characteristics of the network performance degradation, a set of probability distributions of the number of failures of working processors in the network after which it loses the ability to function was depicted.
11
Content available Zarys metodyki sterowanego ryzykiem testowania systemów wbudowanych
63%
Liderman K. , Zieliński Z.
|
|
tom R. 13, nr 24
27-41
PL
Artykuł zawiera propozycję metodyki wykonania planu testów dla systemu wbudowanego, bazującej na wynikach analizy ryzyka i wyborze określonego zestawu kryteriów jakościowych. Jest on rozwinięciem tematyki zawartej w [3].
EN
In the paper the methodology of developing a risk-based test strategy for embedded systems is proposed. The methodology is based on risk analysis results and quality criteria of the system being tested. The outline of basic procedures is depicted.
12
Content available Wyznaczanie wnikliwości diagnostycznej struktur opiniowania diagnostycznego
63%
Kulesza R. , Zieliński Z.
|
|
tom R. 13, nr 24
3-14
PL
Przedstawiono sposób wyznaczania wzorca opinii diagnostycznych dla struktury opiniowania diagnostycznego, przy stosowaniu symetrycznej reguły opiniowania (reguły PMC) oraz sposób przekształcania tego wzorca do wzorca alternatywnych stanów niezdatności struktury, który odzwierciedla jej wnikliwość diagnostyczną.
EN
The paper presents a method used for determination of the pattern of diagnostic opinions for the type PMC diagnostic structure and its disjoined cover. It provides assignment of the system alternative sets of reliability states and the diagnostic resolution of the diagnostic structure.
13
Content available remote Współbieżna weryfikacja systemu mikroprocesorowego z zastosowaniem analizy sygnatur
63%
Zieliński Z. , Chudzikiewicz J.
|
1998
|
tom R. 4, nr 9
71-87
PL
W pracy przedstawiono zastosowanie metody analizy struktur do testowania mikroprocesora i jego otoczenia (magistrala danych i adresowa). Wykorzystanie metody analizy sygnatur do testowania mikroprocesora polega na równoległym wykonaniu procedur diagnostycznych i funkcji użytkowych systemu. Weryfikacja poprawności realizacji wybranego programu dokonywana jest przez specjalne urządzenie diagnostyczne (monitor sygnatur), połączone do magistrali systemu mikroprocesorowego. Omówiono metodę sygnaturowania programu wykorzystującą jego model w postaci P-digrafu oraz przedstawiono opis realizacji sprzętowej monitora sygnatur, przeznaczonego dla procesorów Intel 80x86.
14
Content available remote A Model Driven Method for Multilevel Security Systems Design
51%
Zieliński Z. , Stasiak A. , Dąbrowski W.
|
|
tom R. 88, nr 2
120-125
EN
The article presents the application of methods of simulation of UML models for analysis and designing specialized computer systems, processing data with multilevel security. The integration of security models with models of system described in UML enables their simulation, which allows identifying security problems at the stage of modeling. By using UML extensions and ALF language it is possible to build a topological model and perform efficient simulations of topological models. The authors used an IBM simulator for simulation.
PL
W artykule przedstawiono zastosowanie metod symulacji modeli UML do analizy i projektowanie komputerowych systemów specjalizowanych przetwarzających danych z ochroną wielopoziomową. Integracja modeli bezpieczeństwa z modelami systemu opisanych w UML umożliwia ich symulację, która pozwala na identyfikację problemów związanych z bezpieczeństwem na etapie modelowania. Za pomocą rozszerzeń i języka UML ALF jest możliwe zbudowanie topologii modelu i efektywnego wykonywania symulacji modeli topologicznych.
15
Content available Resource placement in the 4-dimensional cube-type processor networks with soft degradation
51%
Kulesza R. , Chudzikiewicz J. , Zieliński Z.
|
|
tom Vol. 46, no. 1
87--103
EN
The paper considers some properties of selected types of perfect resource placements in 4-dimensional cube-type networks with soft degradation. The conditions of existence of perfect placements and the ways of determining resource placement are presented. Examples of different types of placements are given. On the basis of the established forms of the network working structures along with network degradation the average number of working processors with specified order is determined. This value could be a measure of the network’s computing capabilities loss along with the increasing degree of network degradation for a given type of resource placement.
16
Content available remote Rekonfiguracja struktury pierścieniowej sieci komputerowej w sytuacji uszkodzenia się niektórych z nadmiarowych linii transmisji danych
51%
Kulesza R. , Zieliński Z. , Chudzikiewicz J.
|
2000
|
tom R. 6, nr 11
3-10
PL
W pracy przedstawia się algorytm wyznaczania zbioru możliwych do utworzenia struktur pierścieniowych w określonej sieci komputerowej typu hipersześcianu. Sieć taka charakteryzuje się nadmiarem liczby linii transmisji danych w stosunku do liczby linii, niezbędnych do utworzenia struktury pierścieniowej, co stwarza możliwość dynamicznego rekonfigurowania struktury pierścieniowej w sytuacjach, gdy niektóre linie tracą zdolność do poprawnego funkcjonowania. Przedstawiony algorytm wyróżnia się tym, że operuje pierścieniami Hamiltona, a nie łańcuchami cyklicznymi, co stwarza pewne ułatwienie zarówno przy komputerowo wspomaganym projektowaniu sieci jak i przy dynamicznym rekonfigurowaniu jej struktury.
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ć.