PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 31

Liczba wyników na stronie
first rewind previous Strona / 2 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 2 next fast forward last
1
Content available Resource placement in the 4-dimensional cube-type processor networks with soft degradation
Kulesza R., Chudzikiewicz J., Zieliński Z.
Control and Cybernetics
|
2017
|
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.
2
Content available remote A Model Driven Method for Multilevel Security Systems Design
Zieliński Z., Stasiak A., Dąbrowski W.
Przegląd Elektrotechniczny
|
2012
|
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.
3
Content available UML Simulation of a Topology Configuration Model
Zieliński Z., Stasiak A., Dąbrowski W.
Journal of Telecommunications and Information Technology
|
2012
|
nr 4
46-53
EN
The article presents the application of simulation methods for topological models to analyze and design information systems. By using UML extensions and the UAL language it is possible not only to build a topological model for software, but also to perform efficient simulations of topological models. Additionally, it is possible to take into account the restrictive conditions stored in UAL and OCL languages. To execute the simulation the authors used an simulator from IBM. These concepts and methods are illustrated by examples.
4
Content available Secured Workstation to Process the Data of Different Classification Levels
Zieliński Z., Furtak J., Chudzikiewicz J., Stasiak A., Brudka M.
Journal of Telecommunications and Information Technology
|
2012
|
nr 3
5-12
EN
The paper presents some of the results obtained within the ongoing project related with functional requirements and design models of secure workstation for special applications (SWSA). SWSA project is directed toward the combination of the existing hardware and software virtualization with cryptography and identification technologies to ensure the security of multilevel classified data by means of some formal methods. In the paper the requirements for SWSA, its hardware and software architecture, selected security solution for data processing and utilized approach to designing secure software are presented. The novel method for secure software design employs dedicated tools to verify the confidentiality and the integrity of data using Unified Modeling Language (UML) models. In general, the UML security models are embedded in and simulated with the system architecture models, thus the security problems in SWSA can be detected early during the software design. The application of UML topology models enables also to verify the fundamental requirement for MLS systems, namely the hardware isolation of subjects from different security domains.
5
Content available Wyznaczanie struktur logicznych sieci procesorów o łagodnej degradacji i strukturze 4-wymiarowego hipersześcianu
Kulesza R., Zieliński Z.
Biuletyn Wojskowej Akademii Technicznej
|
2012
|
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 remote Działania projektu PITWIN sposobem na budowanie e-społeczności naukowców
Zieliński Z.
Zeszyty Naukowe. Studia Informatica / Uniwersytet Szczeciński
|
2011
|
Nr 28
181--191
PL
Kształtowanie się społeczeństwa informacyjnego jest stymulowane rozwojem nauki i powstawaniem nowych technologii. Informacja stała się nową wartością gospodarki, mającą wpływ na życie społeczne, w którym liczy się umiejętność sprawnego posługiwania się dostępnymi, nowoczesnymi technologiami. W społeczeństwie informacyjnym liczą się kreatywność, umiejętność wykorzystania informacji, powstawanie społeczności internetowych – to wszystko wspomaga rozwój pozytywnych cech obywatela doby ITC (Information and Communication Technologies), a także buduje wspólnotę, poczucie przynależności do danej grupy społecznej oraz umiejętności wyszukiwania właściwych informacji. W artykule omówiono zadania mające na celu integrację i budowę e-społeczności naukowców, zgromadzonej wokół projektu portalu PITWIN – Portal Innowacyjnego Transferu Wiedzy w Nauce. Ponadto przedstawiono cele, główne czynniki charakteryzujące projekt i jego obecny kształt oraz przyszłe działania mające na celu propagowanie idei demokratyzowania dostępu do wiedzy.
EN
Shaping the Information Society is stimulated by development of science and the emergence of new technologies. Information has become the new value of the economy that has a bearing on social life, which has the ability to efficiently use the available modern technologies. In the information society matters the creativity, ability to use information, the formation of online communities – it all helps to develop positive attributes of ICT (Information and Communication Technologies) citizen, and also builds a community, a sense of belonging to a social group and the ability to search relevant information. The paper discusses efforts to integrate and build e-communities of researchers, gathered around the project site PITWIN – Gateway of Innovative Knowledge Transfer in Science. In addition, discusses the objectives, the key factors describing the project and its current shape and future actions to promote the idea of democratizing access to knowledge.
7
Content available remote Bezpieczna stacja robocza do przetwarzania danych o różnych klauzulach niejawności
Zieliński Z., Brudka M., Furtak J., Stasiak A., Chudzikiewicz J., Kozakiewicz A., Felkner A., Małowidzki M.
Journal of KONBiN
|
2011
|
No. 2 (18)
43--59
PL
Projekt bezpiecznej stacji do zastosowań specjalnych (BSdZS) ukierunkowany jest na integrację technik sprzętowej i programowej wirtualizacji z kryptografią i zaawansowaną identyfikacją, wykorzystując metody formalne do zapewnienia poufności i integralności danych o różnych klauzulach niejawności. W referacie zaproponowano autorskie podejście do projektowania bezpiecznego oprogramowania, z wykorzystaniem dedykowanych narzędzi do weryfikacji poufności i integralności przetwarzanych danych na podstawie modeli UML. W zaproponowanej metodzie projektowania integracja modeli zabezpieczeń z modelami systemów opisanych w języku UML, umożliwia ich symulację, co pozwala na weryfikację problemów bezpieczeństwa projektowanego oprogramowania BSdZS już na etapie modelowania. Zastosowanie modelu topologii daje możliwość badania sprzętowej separacji procesów przetwarzania danych, należących do różnych domen bezpieczeństwa, co jest jednym z elementów weryfikacji systemów typu MLS. Dodatkowo model topologii umożliwia definiowanie konfiguracji BSdZS, a następnie walidację reguł dotyczących skończoności zasobów fizycznych stacji.
EN
The project of trusted workstation for special applications (TWSA) is directed toward the combination of the existing hardware and software virtualization with cryptography and identification technologies to ensure the security of multilevel classified data by means of some formal methods. It is anticipated, that the final solution will provide a ready-to-deploy base platform for various workstations, especially in C2 systems. In the paper, a novel method for secure software design is introduced. The method employes dedicated tools to verify the confidentiality and the integrity of data using UML models. In general, the UML security models are embedded in and simulated with the system architecture models, thus the security problems in TWSA can be detected early during the software design. The application of UML topology models enables also to verify the fundamental requirement for MLS systems, namely the hardware isolation of subjects from different security domains. Additionally, the configuration of TWSA is defined within the topology model and validated against the constraints of hardware resources.
8
Content available Zdolność sieci procesorów typu sześcian 4-wymiarowy do lokalizacji dwóch niezdatnych procesorów metodą porównawczą
Zieliński Z., Strzelecki Ł., Kulesza R.
Biuletyn Wojskowej Akademii Technicznej
|
2011
|
Vol. 60, nr 4
251-263
PL
W artykule opisano model formalny struktury logicznej sieci procesorów typu sześcian 4-wymiarowy oraz właściwości diagnozowania sieci metodą porównawczą MM*. Określono wpływ stopnia degradacji sieci na zmianę jej 2-diagnozowalności, jak również na zmianę jej zdolności do lokalizacji dwóch niezdatnych procesorów. Posługując się zbiorem węzłów wewnętrznie stabilnych struktury cyklicznej o p procesorach (p ≥ 6), określono warunek konieczny i wystarczający, aby struktura ta nie była strukturą 2-diagnozowalną i wyznaczono zbiór takich struktur. Określono częstość zdarzenia, że diagnozowanie metodą porównawczą MM* cyklicznej sieci typu sześcian 4-wymiarowy o p procesorach, która nie jest siecią 2-diagnozowalną, nie zapewni zlokalizowania dwóch niezdatnych procesorów sieci.
EN
The paper gives a formal model of a logical structure of the 4-dimensional cubic-type processor network. It describes the rules of diagnosing the network using the comparison method MM*. The known conditions of the diagnosability of the network (for this method) for the general case perspective were given. In the article, the influence of the degree of degradation of the network on the changes of its 2-diagnosibility for testing with the MM* method was investigated. In the summary, the conclusions arising from the results presented in this article have been formulated.
9
Content available Metoda generowania struktur logicznych sieci procesorów o łagodnej degradacji typu 4-wymiarowego sześcianu
Kulesza R., Zieliński Z.
Biuletyn Wojskowej Akademii Technicznej
|
2011
|
Vol. 60, nr 4
245-358
PL
W artykule podano model formalny struktury logicznej sieci procesorów typu sześcian czterowymiarowy oraz zdefiniowano pojęcie klasy kompozycji struktury. Zaproponowano metodę komponowania struktur logicznych sieci o określonych właściwościach za pomocą działań na wprowadzonej skondensowanej postaci struktury. Określono własności takich działań oraz podano zbiór wzorców, które mogą indukować poszukiwane struktury. Wyznaczono liczebności zbiorów spójnych i spójnych cyklicznych struktur etykietowanych oraz spójnych cyklicznych struktur nieetykietowanych, a także etykietowanych drzew o p ∈{4,..., 9} procesorach. W ogólnym zarysie przedstawiono sposób takiej reprezentacji geometrycznej struktury, który zawiera wszystkie procesory i linie transmisji danych oraz ma minimalną liczbę przecięć linii krawędziowych.
EN
A formal model of the logical structure of a 4-dimensional cube-type processor network is presented, and the concept of a composition structure class is defined. The paper proposes a method for creating logical network structures with specific properties with the help of actions on the proposed condensed structure form. Properties of such actions were defined, and a set of patterns were provided which may induce the searched structures. The number of coherent sets and coherent cyclic labelled structures as well as coherent cyclic non-labelled structures, as well labelled and non-labelled trees with processors were determined. The article presents (in general terms) geometric representation of the structure, which contains all the processors and data transmission lines and has a minimal number of intersections of edge lines, which is important for network management.
10
Content available Okres życia sieci procesorów o strukturze logicznej typu sześcianu 4-wymiarowego diagnozowanej metodą porównawczą
Zieliński Z., Kulesza R.
Biuletyn Instytutu Automatyki i Robotyki
|
2011
|
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 remote Reconfiguration of a processor cube-type network
Chudzikiewicz J., Zieliński Z.
Przegląd Elektrotechniczny
|
2010
|
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.
12
Content available remote Diagnosis resolution of processors’ network using the comparison method
Kulesza R., Zieliński Z.
Przegląd Elektrotechniczny
|
2010
|
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.
13
Content available remote Design of diagnostic structures using genetic algorithm
Strzelecki Ł., Zieliński Z.
Przegląd Elektrotechniczny
|
2010
|
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.
14
Content available Projektowanie struktur opiniowania diagnostycznego z wykorzystaniem algorytmu genetycznego
Strzelecki Ł., Zieliński Z.
Biuletyn Instytutu Automatyki i Robotyki
|
2009
|
R. 15, nr 27
19-31
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.
EN
The paper deals with the problem of designing diagnostic structures for computer networks with a fixed topology. An adaptive method for determining the cheapest structure using genetic algorithm is presented.
15
Content available DEPENDITA : narzędzie wspomagające badanie wiarygodności aplikacji rozproszonych
Czech S., Zieliński Z.
Biuletyn Instytutu Automatyki i Robotyki
|
2009
|
R. 15, nr 27
33-50
PL
W publikacji przedstawiono narzędzie programowe DEPENDITA, które zostało zbudowane w Instytucie Teleinformatyki i Automatyki WAT. Narzędzie to wspomaga badanie wiarygodności aplikacji rozproszonych poprzez programowe wszczepianie błędów i przeznaczone jest do testowania aplikacji rozproszonych, wykorzystujących standard Sun RPC. Zaletą DEPENDITA jest zastosowana technika przechwytywania wiadomości przesyłanych pomiędzy poszczególnymi elementami testowanej aplikacji, która nie wymaga wprowadzania żadnych zmian w kodzie źródłowym testowanego systemu.
EN
In the paper, the software tool called DEPENDITA, which was built at the Institute of Teleinformatics and Automatics, is presented. The tool may be used for dependability evaluation of distributed applications by software fault injection and it is dedicated for testing of distributed systems, which uses Sun RPC standard. The main advantage of DEPENDITA is the use of special techniques of messages capturing which do not require any changes in the source code.
16
Content available Nowe wyroby aparatury hamulcowej z Bumar-Fablok S.A.
Hodorowski J., Zieliński Z.
TTS Technika Transportu Szynowego
|
2008
|
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.
17
Content available Algorytm wyznaczania wzorca alternatywnych stanów niezdatności systemu diagnozowanego metodą opiniowania diagnostycznego
Zieliński Z.
Biuletyn Wojskowej Akademii Technicznej
|
2008
|
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.
18
Content available Zarys metodyki sterowanego ryzykiem testowania systemów wbudowanych
Liderman K., Zieliński Z.
Biuletyn Instytutu Automatyki i Robotyki
|
2007
|
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.
19
Content available Wyznaczanie wnikliwości diagnostycznej struktur opiniowania diagnostycznego
Kulesza R., Zieliński Z.
Biuletyn Instytutu Automatyki i Robotyki
|
2007
|
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.
20
Content available Model symulacyjny procedur diagnostycznych w rozproszonych systemach sieciowych
Zieliński Z.
Diagnostyka
|
2006
|
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.
first rewind previous Strona / 2 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ć.