Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 23

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
PL
Rosnące zapotrzebowanie na monitorowanie różnego rodzaju parametrów fizycznych oraz danych środowiskowych powoduje, że technologia IoT z roku na rok staje się coraz bardziej popularna. Wi-Fi Ha- Low, znane również jako standard IEEE 802.11ah to rozwiązanie przeznaczone dla komunikacji M2M, które ma rozwiązać podstawowe problemy tych sieci, jak praca z bardzo dużą ilością urządzeń o ograniczonym poziomie energii zasilania, stosunkowo niedużym zasięgiem łączności oraz niskimi szybkościami transmisji danych. W artykule została przedstawiona charakterystyka podstawowych mechanizmów działania standardu IEEE 802.11ah jako rozwiązania dla IoT w odniesieniu do istniejących już technologii takich jak Bluetooth czy ZigBee.
EN
Wi-Fi HaLow, also known as the IEEE 802.11ah standard, is a solution for M2M communication. The growing demand for monitoring various types of physical parameters and environmental data means that IoTtechnology is becoming more and more popular. The WiFi HaLow standard solves the basic problems of these networks, such as working with a very large number of devices with constrained power level, relatively low communication range and low data rates. The article presents the key features of the IEEE 802.11ah standard as a solution for IoT compared to such technologies as Bluetooth or ZigBee.
PL
Od roku 2004, kiedy został ratyfikowany standard IEEE 802.11i, nie było istotnego przełomu w zakresie poprawy mechanizmów bezpieczeństwa dla sieci WLAN. Czy można zatem przyjąć, że wciąż są skuteczne i gwarantują wysoki poziom bezpieczeństwa zarówno dla transmitowanych danych jak i ochrony przed nieuprawnionym dostępem do sieci? W artykule została przedstawiona ewolucja różnych form zagrożeń dla sieci WiFi na tle istniejących mechanizmów obrony. Zostały również przedstawione zalecenia i „dobre praktyki”, których stosowanie może istotnie wpłynąć na poprawę bezpieczeństwa w sieci WLAN.
EN
Since 2004, when IEEE 802.11i standard was approved, there wasn’t any revolution in the domain of security mechanisms improvements. Does it mean, that they are highly safe for data confidentiality and integrity as well as for protection against unauthorized access? In the article, the potential threats targeting these networks are analyzed and an attempt to answer the question how sufficient are the available security mechanisms is made. Finally, the security solutions currently being devised to address these problems are presented.
3
Content available remote Zastosowanie GIS w technologiach energetycznych
PL
Artykuł porusza zagadnienia związane z systemami GIS i możliwościami ich stosowania w dziedzinie technologii energetycznych. Na początek, przybliżono pojęcia związane z danymi przestrzennymi oraz narzędziami GIS. Następnie, na wybranych przykładach, rozważono możliwości stosowania GIS, zwłaszcza w energetyce solarnej i wiatrowej oraz w poszukiwaniu złóż. Wskazano także na zasadność stosowania tego rodzaju narzędzi w zarządzaniu i projektowaniu sieci dystrybucji. Jako studium przypadku, autorzy przybliżyli proces analizy lokalizacji farmy wiatrowej, stanowiący opracowanie obrazujące w sposób konkretny, przydatność omawianej technologii GIS. W podsumowaniu zawarto argumenty, przemawiające za zasadnością stosowania GIS w technologiach energetycznych, co jednocześnie stanowiło cel niniejszego artykułu.
EN
The article raises issues of GIS systems and possibilities of their use in the field of energy technology. At the beginning, the concepts related to spatial data were presented. Then, on selected examples the possibilities of using GIS tools were considered, especially in the solar and wind energy, and in the field of searching for mineral deposits. It was also pointed the rationality to use such tools in management and designing the distribution networks. As a case study, the authors described the process of analyzing the location of the wind farm, which shows in a concrete way, the usefulness of GIS technology. The summary contains arguments for the legitimacy of the use of GIS in energy technologies, which also was the objective of this article.
4
Content available remote Taktyczne sieci ad hoc na współczesnym polu walki
PL
W artykule została przedstawiona analiza wymagań dla taktycznych sieci ad hoc oraz aktualna ich realizacja na tle dostępnych na rynku rozwiązań. W świetle tego co oferują aktualnie producenci wydaje się, że jeszcze długa droga do osiągnięcia akceptowalnego stopnia zadowolenia, mimo że znaczenie sieci ad hoc na współczesnym polu walki wydaje się nieocenione.
EN
The purpose of this paper is to assess and compare the requirements for tactical ad hoc networks with commercial solutions available on the civilian market.
PL
Artykuł zawiera rozważania na temat roli geolokalizowanych zdjęć panoramicznych w systemach informacji przestrzennej. Stały rozwój w dziedzinie informatyki sprawia, że wciąż pojawiają się nowe możliwości i pomysły na realizację wizualizacji danych przestrzennych. Jednym z tych trendów jest wykorzystanie zdjęć panoramicznych, które dzięki swej specyfice bardzo szczegółowo obrazują rzeczywisty wygląd otoczenia i co za tym idzie stanowią zbiór cennych informacji. W niniejszym artykule autorzy, odnosząc się do istniejących trendów, rozważają możliwości rozszerzenia spektrum zastosowań tej technologii w dziedzinie GIS i geodezji. W pracy skupiono się między innymi na problemie prezentacji zdjęć panoramicznych w stacjonarnym systemie GIS, którego interfejs, z uwagi na odmienną funkcjonalność, nie jest do tego przystosowany. Zaproponowano własne rozwiązanie, będące kompromisem dającym możliwość wygodnej prezentacji geolokalizowanych panoram w projektach opracowywanych z wykorzystaniem stacjonarnego oprogramowania GIS. W proponowanym rozwiązaniu postawiono na nieskomplikowany sposób wykonania projektu oraz możliwość wykorzystywania opracowanych danych zarówno lokalnie jak i w Internecie. Dodatkowym założeniem było oparcie projektu w jak największym stopniu na oprogramowaniu open source, co znacznie redukuje koszty. Kolejne szerzej rozpatrywane zagadnienie to zastosowanie zdjęć panoramicznych podczas zakładania i dokumentacji osnów geodezyjnych. Autorzy, rozważając taką możliwość, proponują własne rozwiązanie, bazujące na technologiach internetowych. Poza tym, artykuł stanowi próbę przeglądu współczesnych zastosowań zdjęć panoramicznych jako technologii, która mimo, że znana jest już od bardzo dawna, nadal stanowi źródło inspiracji w wielu dziedzinach. W ten sposób autorzy próbują odnieść się i wskazać pewne kierunki rozwoju w domenie ich zainteresowań jaką jest geodezja oraz systemy GIS.
EN
This paper contains reflections on the role of geolocalized panoramic images in spatial information systems. Development in the field of information leads to appearance of ever new opportunities and ideas for implementation of the visualization of spatial data. One of these trends is the use of panoramic images, which by their very nature, specifically depict actual appearance of the environment and thus constitute a set of valuable information. In this paper, the authors, referring to the existing trends, consider the possibility of extending the range of applications of this technology in the field of GIS and surveying. The study is focused among others on the problem of presenting panoramic images in a GIS system, because its user interface is usually not adapted to this. The authors proposed their own solution, which is a compromise for convenient presentation of geolocalized panoramas in projects developed with the use of GIS software. The proposed solution is focused on simple way to use data developed both locally and online. An additional aim was to support it as much as possible using open source software, which significantly reduces costs. Another issue is the use of panoramic images during the establishment and documenting of geodetic control network., Considering that possibility, the authors proposed their own solution based on web technologies. In addition, the paper attempts to review the applications of modern panoramic photos as a technology that, although known for a long time, is still a source of inspiration in many areas. In this way, the authors try to relate and identify some trends in their domain of interests which is geodesy and GIS systems.
6
Content available remote Efektywny transfer danych w bezprzewodowych sieciach kratowych i sensorowych
PL
Wzrastające wymagania aplikacji czasu rzeczywistego wymuszają nowe zachowanie się protokołów routingu w sieciach kratowych. Aby spełnić oczekiwania użytkowników konieczne jest spełnienie wielu wymagań związanych z jakością świadczonych przez sieć usług (QoS). W artykule przedstawiono analizę proponowanych przez autorów rozwiązań w zakresie routingu spełniającego wymagania jakości usług, bazujących na protokole Optimized Link State Routing (OLSR) i wykorzystujących wiele metryk do wyznaczania tras. Przedstawione zostały wyniki wykonanych badań eksperymentalnych, które demonstrują efektywność proponowanych rozwiązań. W artykule przedstawiono również rozwiązania pozwalające na minimalizację rosnącego ruchu w sieciach sensorowych. Rozwiązania te bazują na mechanizmach kodowania sieciowego zaimplementowanych w sieciach wykorzystujących rozwiązania 6LoWPAN i jak przedstawiono w wynikach badań pozwalają na zwiększenie efektywnego transferu danych.
EN
The increasing demand of real time applications requires a new behavior of routing protocols in wireless mesh networks. It is necessary to support many requirements for quality of services (QoS) to meet user expectations. This paper is an analysis of the proposed quality-aware routing mechanism based on Optimized Link State Routing (OLSR) protocol, from a perspective of the network and the user. The experimental tests were performed to demonstrate the performance of our solutions considering different evaluation metrics. Also the wireless sensor networks are more popular and the traffic in such networks is increasing. The paper also presents the network coding mechanism implementation in 6LoWPANbased sensor network, which cause increasing the data transfer efficiency.
PL
Dokonano przeglądu mechanizmów umożliwiających efektywne wykorzystywanie zasobów w bezprzewodowych sieciach doraźnych (zwanych też sieciami ad-hoc) typu ULN (Low power and Loosy Networks), tj. o niskiej przepustowości, niskim poborze energii zasilania przez węzły, ale też ograniczonych możliwościach obliczeniowych i podatnych na różnego rodzaju zakłócenia. Problem jest o tyle istotny, że przedstawiane w literaturze rozwiązania dotyczą w zasadzie sieci o relatywnie dużych zdolnościach przepustowych, takich jak np. sieci oparte na rodzinie standardów IEEE 802.11. Tymczasem coraz częściej spotyka się rozwiązania wykorzystujące w warstwie dostępowej medium - standard IEEE 802.15.4, który zapewnia dużo niższe szybkości transmisji danych, ale za to dłuższy czas pracy urządzeń, ze względu na mniejszy pobór energii zasilania. Zwrócono uwagę na rozwiązania w postaci lekkiego stosu protokołów oraz kodowania sieciowego, które umożliwiają efektywne wykorzystanie sieci LLN do tworzenia doraźnych struktur heterogenicznych opartych w całości na protokole IP (Internet Protocol).
EN
This paper presents and compares the different technological approaches to run the Internet Protocol stack over wireless ad hoc network, in which nodes typically operate with constraints on processing power, memory and energy. Different proposals are discussed such as 6LoWPAN, micro-IP and nanolP As a promising solution the network coding technique is also discussed that can be used to attain the maximum possible information flow in wireless ad hoc networks.
EN
This article describes the design approach in the elaboration and implementation of spatial database. This solution consists of computer programs, algorithms and appropriately designed database schema. The primary objective was to use open source software, and assumptions contained in the OpenGIS open specifications.
PL
W artykule opisano autorskie podejście podczas opracowywania i implementacji bazy danych przestrzennych. Rozwiązanie to składa się z programów komputerowych, algorytmów i odpowiednio zaprojektowanego schematu bazy danych. Podstawowym założeniem było wykorzystanie oprogramowania open source oraz założeń zawartych w otwartych specyfikacjach OpenGIS.
PL
Autorzy artykułu postanowili bliżej przyjrzeć się możliwościom open source pod kątem zastosowania w opracowaniu pomiarów bezpośrednich oraz przybliżyć nieco samą ideę wolnego oprogramowania, zasad jego licencjonowania i dystrybucji. Czytelnik znajdzie tu zatem informacje na temat pozyskania danych z odbiornika GPS oraz opracowania mapy z wykorzystaniem programów dostępnych bez opłat, które pracują pod kontrolą systemu Linux, będącego również systemem bezpłatnym. Autorzy wskazuj ą również na duże możliwości systemu Quantum GIS, dającego możliwość rozszerzenia swojej funkcjonalności przez programowanie, co zostało zaprezentowane na przykładzie skryptu w języku Python, opracowanego specjalnie do realizacji celu niniejszego artykułu.
EN
Users of computer software, regardless of the field of applications, often look for solutions that both meet their expectations and are inexpensive. Computer market offers many products with various functionalities. Among these there are open source applications and systems, usually available without charge. Among open source applications for geodesy there are mostly GIS systems and tools associated with GIS. The functionality of some of them, however, is broad enough to look for other uses for these programs. The authors of this paper decided to take a closer look at the popular Quantum GIS and see if it is possible to use it in surveying, especially for map editing. The main reason, which tends to take up this issue is the possibility of programming in Quantum GIS using Python or C languages and creating user applications that help at work. Thanks to that QGIS may be used for other tasks than processing GIS data.
PL
Specjalność Geodezja i Technologie geoinformatyczne jest znaczącym krokiem w rozwoju Wydziału Geodezji i Gospodarki Przestrzennej UWM w Olsztynie. Powszechna informatyzacja i rozwój społeczeństwa informacyjnego wpływa na kształt i trendy rozwoju specjalności i kierunków studiów. Współczesny geodeta musi przyswoić pewien zakres wiedzy z dziedziny informatyki, aby móc sprawnie radzić sobie z dostępnymi obecnie narzędziami pracy, takimi jak programy komputerowe, urządzenia pomiarowe, czy systemy GIS. Rolą współczesnego geodety jest także wpływanie na rozwój dziedziny, którą się zajmuje. Tworząc nowe rozwiązania należy stawić czoła takim zadaniom jak np.: uczestnictwo w projektowaniu systemu informatycznego, opracowanie schematu bazy danych czy zaprojektowanie i stworzenie aplikacji wspomagającej pracę w systemie GIS. Bez odpowiedniej wiedzy i umiejętności z zakresu zarówno informatyki, jak i geodezji nie można sprawnie podołać takiemu zadaniu. Umiejętności człowieka muszą być jednak odpowiednio wyważone, tak aby zbyt duży zakres ogólnej wiedzy nie stał się zwyczajnie niepotrzebnym balastem. Bardzo istotny jest zatem dobór zagadnień jaki należy przyswoić, aby nabyta wiedza była jak najbardziej przydatna i uniwersalna. Takie założenie było jedną z podstaw działania zespołu opracowującego program nowej specjalności. Wiedza informatyczna przekazywana w toku studiów jest dobrana tak, aby stanowiła istotne uzupełnienie wiedzy geodezyjnej. Absolwenci będą w stanie łatwiej podejmować współpracę w nowoczesnych, działających od lat i doświadczonych zespołach, w każdym przedsiębiorstwie geodezyjnym czy urzędzie.
EN
The paper presents the outline of a new Master of Science curriculum at the Faculty of Geodesy and Land Management in Olsztyn. Development of IT solutions, education strategies and operation programmes, changes in legal environment and students expectations are the background of a new postgraduate course - Geodesy and Geoinformatics Technologies. The new course allows to undertake graduate programme following undergraduate course Geodesy and Geoinformatics at the Faculty. The new course combines two disciplines - geodesy and informatics. The course components include, among others: fundamentals of geodesy and surveying, physical geodesy and gravimetry, but also advanced programming techniques, systems and software engineering, data structures, geovisualization techniques, spatial data management, advanced spatial analysis, and GIS for land administration. The aim of the new course is to well prepare graduates for careers in industry and in SME rendering geoinformation and GIS services.
11
Content available System Gospodarki Mostowej : XX-lecie funkcjonowania
PL
System Gospodarki Mostowej /SGM/ jest systemem informatycznym wykorzystywanym w GDDKiA oraz niektórych jednostkach administracji samorządowej do ewidencjonowania, gromadzenia i zarządzania danymi o drogowych obiektach inżynierskich. W Polsce prace nad SGM rozpoczęto w 1986 roku przez Centralny Ośrodek Informatyki Drogownictwa. Pierwszą wersję oprogramowania wdrożono w 1992 roku. Funkcjonowała ona w systemie operacyjnym DOS. W roku 1996 rozpoczęto prace nad dostosowaniem systemu SGM do pracy w środowisku operacyjnym Windows'95. Obecnie SGM dostosowany jest do współpracy z innymi systemami branżowymi poprzez usługę sieciową (web service).
EN
Bridge Management System /BMS/ functions at three management levels of General Directorate for National Roads & Motorways (GDNR&M) and some local government administration bodies. In Poland, works on BMS was started in 1989 by Central Institute of Informatics Road. The first electronic format of software was implemented in 1992 in DOS operating system. In 1996, BMS was adapted to Windows'95 operating system. Currently, BMS is adapted to cooperation with other IT specialist systems (electronic date transmission) by web service.
12
Content available remote Relational Database of Three Precise Levelling Campaigns in Poland
EN
Four precise levelling campaigns were carried out in Poland: in 1926-1937, 1953-1955, 1974-1982, 1997-2003. The levelling data from these campaigns is stored in printed catalogues, text files and spreadsheets. A comprehensive analysis of this data requires its compilation in a standardized form (a database). First attempts at the standardization of precise levelling data format date back to 2002 at the University of Warmia and Mazury in Olsztyn (Łyszkowicz et al. 2002). The authors of this paper, in turn, have collected the complete data from the last three precise levelling campaigns in Poland, which gives an opportunity to standardize the levelling database structure. The subject of the paper is to provide a theoretical background and to offer a relational database of the precise levelling network in Poland, with the data from each campaign. The paper describes the data, database schemas and examples of retrieving information with SQL queries.
PL
W Polsce przeprowadzono cztery kampanie niwelacji precyzyjnej: 1926-1937, 1953-1955, 1974-1982, 1997-2003. Materiał niwelacyjny z tych prac jest przechowywany w katalogach papierowych, plikach tekstowych oraz arkuszach kalkulacyjnych. W celu przeprowadzania szerszych analiz tych wyników należy zebrać cały materiał w jednolitej formie (bazie danych). Pierwsze próby ujednolicenia formy przechowywania danych z niwelacji precyzyjnej podjęto na Uniwersytecie Warmińsko-Mazurskim w 2002 roku (ŁYSZKOWICZ i inni 2002). Obecnie nadarzyła się okazja ujednolicenia struktury bazy danych niwelacyjnych dzięki zgromadzeniu przez autorów kompletnego materiału z trzech ostatnich kampanii niwelacji precyzyjnej w Polsce. Przedmiotem niniejszego opracowania było przygotowanie teoretyczne i praktyczne relacyjnej bazy danych sieci niwelacji precyzyjnej obszaru Polski z kolejnych kampanii. Praca zawiera opis danych z poszczególnych kampanii niwelacji precyzyjnej oraz schematy budowy tej bazy, a także przykłady uzyskiwania różnych informacji za pośrednictwem zapytań SQL.
13
Content available remote A multi-facet approach to dynamic agent systems
EN
We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a numbci of different perspectives, each dealing with a specific aspect of the system. As a solution a synchronisation operator is proposed which glues agent aware systems on shared agents and transitions. The construction turns out to be a categorical product. We also show that a logic to talk about the temporal and the structural properties of the product can be obtained by gluing suitable logical frameworks from the components.
PL
W pracy rozważa się problem modularnego definiowania złożonych, hybrydowych, dyskretnych systemów agentowych. Modularność wynika z patrzenia na system z różnych perspektyw, z których każda opisuje pewne specyficzne jego aspekty. Zdefiniowano operator, który synchronizuje systemy agentoiuo zorientowane w oparciu o wspólnych agentów oraz tranzycje. Konstrukcja operatora synchonizującego okazuje się być produktem w odpowiedniej kategorii. Pokazano także, że logikę opisu temporalnych i strukturalnych własności systemu agentowego, będącego produktem perspektyw, można otrzymać przez odpowiednie złożenie systemów logicznych dla perspektyw.
14
Content available remote Limits of Modularity
EN
It has been observed that various synchronisation operators that underly modular design of concurrent systems can be explained as {\em pullbacks in suitable categories of concurrent systems. Here, the boundaries of such approach are investigated. For this purpose we study the issue of completeness in categories of trace monoids. It turns out that (finite) completeness is achieved if trace monoids with concurrency preserving homomorphisms are considered. Taking arbitrary monoid homomorphisms leads, in general, to incompleteness. In terms of code problem for trace monoids.
PL
Wcześnie zauważono, że modularne techniki konstruowania systemów współbieżnych oparte o mechanizmy synchronizacji można opisać jako (zmodyfikowane) produkty lub wręcz jako produkty włókniste w stosownych kategoriach systemów współbieżnych. Celem niniejszej pracy jest wyznaczenie granic stosowalności tego teorio-kategoryjnego podejścia. W tym celu w pracy rozważa się problem (skończonej) zupełności kategorii monoidów śladów Mazurkiewicza dla różnych klas morfizmów formalizującej pojęcie symulacji systemów. Okazuje się, że skończoną zupełność gwarantuje przyjęcie, iż obiektem badań są reprezentacje monoidów śladów postaci alfabet i relacja niezależności, zaś morfizmy to funkcje z alfabetu do monoidu śladów zachowujące niezależność. Z kolei akceptacja dowolnych homomorfizmów, niekoniecznie zachowujących niezależność, prowadzi na ogół do braku zupełności kategorii. Osiągnięte wyniki rozszerzają też obszar, w którym problem kodu dla monoidów śladów jest rozstrzygalny w sposób pozytywny.
PL
Przedstawione w artykule stanowisko laboratoryjne umożliwia badanie jakości usług czasu rzeczywistego w sieciach IP. Podstawowym elementem stanowiska jest emulator sieci rozległej LANForge ICE firmy Candela Technologies. Jego wykorzystanie umożliwia badanie wpływu na jakość usług czasu rzeczywistego takich parametrów, jak: przepustowość sieci transmisyjnej, opóźnienie pakietów, fluktuacja opóźnienia pakietów, zmiana kolejności pakietów, a także straty i duplikacja pakietów. Opisane stanowisko może zostać wykorzystane m.in. do oceny przydatności rozwiązań proponowanych mechanizmów zapewnienia jakości usług do określonych zastosowań, oceny i weryfikacji implementacji usługi VoIP oraz oceny wpływu protokołu IPSec na jakość usług czasu rzeczywistego. W artykule zostały opisane miary jakości usług czasu rzeczywistego w sieciach IP, przedstawiono przykładowe scenariusze badań oraz zaprezentowano wyniki jednego z badań.
EN
This paper provides an overview of QoS (quality of services), discusses the need for QoS and presents the QoS toolset. QoS is defined as a measure of performance for a transmission system that reflects its transmission quality and service availability. Service availability is a crucial element of QoS. Before any QoS is implemented successfully, the network infrastructure must be designed to be highly available. The transmission quality is determined by the following factors: loss, delay, and delay variation. There is presented how to examine the impact of these factors on voice performance. This paper presents a testbed for evaluation of quality of delay-sensitive services in IP networks. Major testbed components are: LANForge ICE Network Emulator for creating IP network impairments, InterWatch 95000 Protocol Tester for generating backbone traffic, NetMeeting PC software for conveying calls, Ethereal PC software for network protocol analyzing, and an application for estimating quality of the transmission. The LANForge ICE is able to emulate networks of various latency, jitter, throughput (up to 1 Gbps) and packet degradation (loss, duplication, reordering). In consequence, it allows for testing the impact of these factors on the delay-sensitive services performance. In the paper, an examplary testing scenario for quality of voice traffic evaluation is presented. During the test, focused on addressing the QoS needs of voice traffic, you should keep the following in mind: - loss should be less than 1%, - one-way latency should be less than 150-200 ms, - average jitter should be less than 30 ms, - 21-106 kbps of guaranteed priority bandwidth is required per call (depending on the sampling rate, codec and Layer 2 overhead), - 150 bps (+ Layer 2 overhead) per phone of guaranteed bandwidth is required for Voice Control traffic. It is possible to check if the network conditions meet these requirements. The necessity and importance of assuring delay-sensitive services quality is well understood so, the need of such a testbed is obvious. This is because voice, video and mission critical data have stringent service requirements from the network infrastructure. The testbed allows for assessing practical, in simple way, delay-sensitive services quality under various network conditions. The results can be used as input data to large systems simulation.
16
Content available The tactical Intranet IPSec security concept
EN
The IPSec protocols architecture that can be applied in tactical Intranet based on the IPv6 protocol stack for wireless environment is the subject of the paper. The potential usefulness of the new version of IP protocol is very important for tactical communication systems. Additionally, Internet Engineering Task Force (IETF) security working group proposes recommendations covering the RFC 2401, 2402, 2406 that describe the security architecture for Internet Protocol. These standards, published by IETF are discussed here in military requirements context. The NATO C3 Technical Architecture model also recommends these issues. The concept of the IPSec architecture in military systems is described in the paper. The position of the security applications designed for subscriber devices with reference to layered model is also presented. The concept presented here is defined fort he tactical level.
17
Content available remote SAR: przesłanki do formalizacji języka komunikowania obserwacji nawigacyjnych
PL
Praca poświęcona jest analizie przesłanek, które powinien spełniać język formalnego opisu i komunikowania informacji wykorzystywany w systemach SAR (ang.: search and rescue). Istotą komunikatów analizowanych w systemach SAR jest to, że w przybliżeniu określają one obszar morski, na przykład obejmujący potencjalną pozycje poszukiwanej jednostki. Celem proponowanego podejścia jest dokonanie kategoryzacji możliwych rodzajów obserwacji nawigacyjnych. Proponowany podział na kategorie uwzględnia naturalny sposób konstruowania złożonych informacji z informacji prostych, a także algorytmiczne zagadnienia związane z interpretowaniem obserwacji nawigacyjnych jako zbiorów punktów na mapie. Przedstawiona metodologia ukierunkowana jest na szybką analizę obserwacji nawigacyjnych i zobrazowanie związków między nimi w łatwo przyswajalnej postaci graficznej, zwłaszcza z myślą o ich przetwarzaniu w systemach informatycznych.
EN
The paper deals with an analysis of premises which should be met by the language of formal description and communication of information used in SAR (Search and Rescue). The characteristic of messages analysed in SAR systems is that they define the approximate sea area, e.g. involving the potential position of the unit searched for. The aim of the approach suggested is to categorize possible kinds of navigational observation. The categories proposed take into account the natural of way of constructing complex information out of simple pieces of information. as well as algorithm-related issues connected with interpretation of navigational observations as a set on a chart. The methodology presented is directed towards a quick analysis of navigational observations and showing relations between them in an easily adaptable graphic form, especially with view to their processing in computer-based systems.
EN
A logic LP= for reasoning about change is presented. The logic, an extension of the logic of ó predicates with equalitu, is based on the idea that explicit substitutions can be seen as atomic formulae describing basic change of the state of a system. The logic is substructural: non-monotone and non-commutative. Its Platonic, i.e., predicate part is governed by the additive connectives, while the identity substitution and the composition of substitutions are multiplicative truth and conjunction, respectively. Potential applications of the logic are also discussed in connection to the "Frame Problem". In particular, a logical framework is presented in which the judgments relate actions with their effects - the latter described by formulae of LP=. ó
PL
W pracy przedstawiono logikę LP= pozwalającą opisywać zmianę stanu systemu, a zatem ó opisywać skutki akcji. Logika ta jest rozszerzeniem logiki predykatów z równością o jawne zastąpienia jako nową klasę formuł atomowych. Predykaty mają charakter platoński - opisują fakty nie zmieniające się w wyniku zajścia jakiegoś zdarzenia. Jawne zastąpienia opisują zaś zmianę stanu. Proponowana logika jest niemonotoniczną, nieprzemienną logiką substrukturalną. Jej część Platońska opisywana jest addytywnymi spójnikami, podczas gdy fragment dynamiczny: zastąpienie identycznościowe oraz składanie zastąpień odpowiadają prawdzie oraz koniunkcji multiplikatywnym. Przedstawiono też język akcji oraz system logiczny, którego formuły atomowe wiążą akcje oraz ich skutki - te ostatnie przedstawione w postaci formuł logiki LP=. Pożytki z nowego systemu omawiane są w kontekście znanego "Problemu Framki".
19
Content available remote Modernizacja Systemu Gospodarki Mostowej
PL
System Gospodarki Mostowej, prócz gromadzenia i analizowania danych stanie się istotnym narzędziem w procesie rozdziału środków finansowych i wyboru strategii utrzymania.
EN
This paper presents reasons for conducting a mathematical analysis of the navigational information acquired by the maritime rescue operations and coordination services. The proposed formalization is based on a presentation of all the information acquired in the form of a stream, i.e. a sequence of information. In order to succeed in locating the scene of the accident at sea, it is absolutely necessary to determine the area indicated utilizing all at the information acquired. The shape of the area depends on the type of information received. The problem of determining the precise area for each type of navigational information is referred to the representation of the set, probability and fuzzy sets theories.
PL
Przedstawiono motywacje wskazujące na potrzebę matematycznej analizy informacji nawigacyjnych napływających do służb koordynujących morskie akcje ratownicze. Podstawą proponowanego formalizmu jest przedstawienie wszystkich napływających informacji w postaci strumienia, czyli ciągu takich informacji. Z punku widzenia zadania lokalizacji miejsca wypadku morskiego niezbędne jest ustalenie obszaru wyznaczanego przez każdą z napływających informacji. Kształt takiego obszaru zależy od typu informacji. Problem dokładnego określenia obszaru dla każdego typu informacji nawigacyjnej odniesiono do reprezentacji teorio-mnogościowej, probabilistycznej i teorii zbiorów rozmytych.
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ć.