Filters
total: 1286
filtered: 1041
-
Catalog
- Publications 1041 available results
- Journals 20 available results
- Conferences 2 available results
- People 35 available results
- Inventions 12 available results
- Projects 7 available results
- Research Teams 1 available results
- Research Equipment 2 available results
- e-Learning Courses 84 available results
- Events 15 available results
- Open Research Data 67 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: LOKALIZACJA RADIOWA
-
Lokalizacja tekstu w obrazie
PublicationW naturalnym otoczeniu człowieka znajduje się duża ilość łatwo rozpoznawalnej informacji przedstawionej w postaci znaków graficznych i tekstu. Informacja taka jest bardzo przydatna w poruszaniu się w środowisku miejskim. Niestety, osoby z upośledzonymi funkcjami wzroku w sposób oczywisty pozbawione są możliwości korzystania z tego rodzaju przekazu. Istniejące na rynku systemy rozpoznawania tekstu (OCR) nie są niestety dostosowane...
-
System lokalizacji pojazdów
PublicationNiniejsze opracowanie zawiera opis systemu lokalizacji pojazdów, przeznaczonego do stosowania w przedsiębiorstwach transportu publicznego, wykorzystujących analogowe radiotelefony łączności dyspozytorskiej. Omówiono rozwiązania układowe oraz zastosowane protokoły komunikacyjne, przedstawiono wyniki testów sieci pilotowej oraz wyniki symulacji zachowania sieci docelowej w warunkach maksymalnego obciążenia.
-
Radio kognitywne jako technologia przyszłości komunikacji radiowej na potrzeby transportu
PublicationW artykule przedstawiono koncepcję radia kognitywnego, jako technologii przyszłości komunikacji radiowej, na potrzeby transportu, w której następuje inteligentne dostosowywanie rozmaitych parametrów do zmiennych warunków pracy systemu. Następnie omówiono cykl kognitywny. Ponadto zaproponowano zastosowanie algorytmu sztucznej inteligencji, znanego pod nazwą „algorytm symulowane wyżarzanie”, do zastosowania w radiu kognitywnym, w...
-
Lokalizacja (3D) obiektów w środowisku wewnątrzbudynkowym
PublicationW chwili obecnej nie ma działających systemów lokalizacyjnych, pozwalających na jednoznaczne przestrzenne określenie położenia obiektu/osoby w środowi-sku wewnątrzbudynkowym. Głównym problemem w takich aplikacjach, jest wyznaczenie m.in. poprawnej wysokości lokalizowanego obiektu. Jednym z parametrów, który zapewniałby wzrost dokładności lokalizowania w pionie (wyznaczanie wysokości) jest zastosowanie czujnika ciśnienia atmosferycznego....
-
Lokalizacja wycieków w sieciach dystrybucji wody
PublicationSieć wodociągowa, podobnie jak każdy duży obiekt, w którym prowadzony jest złożony proces, wymaga odpowiedniego systemu monitorującego. Jednym z poważnych i wciąż aktualnych problemów są niekontrolowane straty wody w sieci. Jednym z możliwych sposobów szybkiego wykrywania wycieków z sieci jest umieszczenie czujników pomiarowych na każdej rurze i w każdym węźle. Oczywistym jest, że takie rozwiązanie wiaże się z olbrzymimi kosztami....
-
Antypodalna radiowa liczba chromatyczna grafu.
PublicationOpisane zostały podstawowe zasady i właściwości antypodalnego kolorowania grafów. Zebrano publikowane w literaturze przedmiotu twierdzenia i uzupełniono wnioskami wynikającymi z własnych badań.
-
AEGIR - asynchroniczny system lokalizacji naziemnej
PublicationSatelitarne systemy radionawigacyjne GNSS (Global Navigation Satellite System) są postrzegane przez terrorystów jako cel o wysokiej wartości. Systemy te mogą również stać się celem ataku dla bardziej pospolitych przestępców - hakerówkomputerowych i twórców wirusów. Zatem cały czas istnieje realne zagrożenie związane z zanikiem usługi GPS na danym obszarze bądź wadliwym jej funkcjonowaniem. W związku z tym istnieje potrzeba utrzymania...
-
System lokalizacji dla osób niewidomych
PublicationPrzedstawiono prototyp systemu lokalizacji łączący nawigację satelitarną z nawigacją zliczeniową, który informuje niewidomego użytkownika o aktualnym położeniu oraz opisuje najbliższe otoczenie na podstawie interaktywnego planu miasta. W systemie zastosowano opracowane algorytmy wyznaczania pozycji wykorzystujące filtrację Kalmana lub filtrację cząsteczkową, co pozwoliło znacznie zmniejszyć błędy oszacowań położenia.
-
Detekcja i lokalizacja przecieków w rurociągach przemysłowych.
PublicationZadanie monitorowania przepływu mediów ciekłych lub gazowych przez rurociągi przemysłowe realizuje się za pomocą algorytmów obserwacji, skonstruowanych odpowiednio do nieliniowego modelu procesu transportowego, z zastosowaniem pomiarów ciśnienia i natężenia przepływu medium na krańcach nadzorowanego odcinka rurociągu. Uwagę skupiono na dwu metodach analitycznej redundancji i filtracyjnej generacji sygnału resztowego, będącego...
-
Radiowe sieci BAN
PublicationPrzedstawiono aktualny stan wiedzy z zakresu radiowych sieci BAN, w tym zagadnienia podstawowe (tj. definicję radiowych sieci BAN, ich klasyfikację i dostępne pasma częstotliwości), właściwości elektryczne ciała człowieka, zagadnienia warstwy fizycznej oraz zagadnienia antenowe. Zaprezentowano również możliwe źródła zasilania, zagadnienia bezpieczeństwa danych i bezpieczeństwa człowieka, a także omówiono zastosowania tych sieci...
-
Lokalizacja obiektów budowlanych w pobliżu linii 110 kV
PublicationW artykule podano minimalne odległości obiektów budowlanych od przewodów linii wysokiego napięcia 110 kV. Dla określonej konfiguracji przestrzennej obiektu budowlanego wykonano obliczenia rozkładu pola elektrycznego i magnetycznego w otoczeniu budynku.
-
Detekcja i lokalizacja wybranych uszkodzeń falownikowego układu napędowego
PublicationW artykule przedstawiono dwa algorytmy diagnostyki napędu elektrycznego z falownikiem napięcia. Pierwszy z nich jest przeznaczony do diagnostyki uszkodzeń polegających na braku przewodzenia tranzystorów. Opiera się na analizie trajektorii wektora przestrzennego prądu. Za pomocą drugiego algorytmu możliwe jest wykrycie uszkodzeń sieci zasilającej lub prostownika. W tym celu wykorzystywany jest stosunek drugiej do szóstej harmonicznej...
-
Lokalizacja uszkodzeń w układach mieszanych-sygnałowo metodą sygnaturową
PublicationPrzedstawiono metodę detekcji i lokalizacji uszkodzeń w układach mieszanych-sygnałowo przeznaczoną do implementacji w testerach wbudowanych BIST wraz z algorytmem doboru jego optymalnych parametrów układowych.
-
Wspólna lokalizacja jako katalizator i inhibitor rozwoju klastrów
PublicationStreszczenie: Głównym problemem badawczym poruszonym w artykule są zalety i wady wspólnej lokalizacji. Celem artykułu był przegląd koncepcji teoretycznych poświęconych konsekwencjom umiejscowienia podmiotów gospodarczych w konkretnych warunkach geograficznych i społecznych. Większość omawianych koncepcji została zaprezentowana w kontekście struktur klastrowych, dla których kwestia zakotwiczenia na określonym obszarze jest jedną...
-
LOKALIZACJA OBIEKTÓW BUDOWLANYCH W SĄSIEDZTWIE LINII 110 kV
PublicationW artykule omówiono wymagania przepisów w zakresie dopuszczalnych wartości pola elektrycznego i magnetycznego niskiej częstotliwości. Przedstawiono wyniki obliczeń rozkładu pola elektrycznego metodą ładunków stymulowanych i w programie FEMM dla przykładowej lokalizacji obiektu przemysłowego w sąsiedztwie linii 110 kV.
-
Gospodarka cyfrowa a lokalizacja: wpływ ICT na funkcjonowanie klastrów
PublicationCelem niniejszego artykułu jest zaprezentowanie głównych możliwości, związanych z zastosowaniem nowoczesnych ICT w klastrach. Dodatkowo autorzy rozważają potencjalne zagrożenia dla funkcjonowania gron w we współczesnej gospodarce cyfrowej.
-
Lokalizacja uszkodzeń konstrukcji z wykorzystaniem skaningowego wibrometru laserowego
PublicationPraca dotyczy zagadnienia lokalizacji uszkodzeń w elementach konstrukcyjnych na podstawie laserowych pomiarów wibracyjnych. Badania przeprowadzono mierząc i analizując zmiany w propagującej się fali sprężystej w aluminiowym elemencie płytowym wywołane różnymi uszkodzeniami.
-
Efektywność wykorzystania zasobów radiowych a względna lokalizacja stacji bazowych
PublicationW artykule przedstawiono metodę wpływania na efektywność wykorzystania zasobów radiowych systemu UMTS w łączu w dół. Metoda ta polega na umiejętnym planowaniu rozmieszczenia stacji bazowych mikro- i makrokomórek względem siebie w sposób umożliwiający lepsze, z punktu widzenia wykorzystania zasobów radiowych rozmieszczanie stacji ruchomych w odpowiednich wartswach struktury hierarchicznej w celu zmiejszenia obciążenia wywołanego...
-
Algorytm dla lokalizacji punktów skupienia ciągów.
PublicationPrzedstawiono sformułowanie algorytmu numerycznego dla lokalizacji punktów skupienia ciągów w przestrzeni Rn. Proponowany algorytm należy do grupy algorytmów wykorzystujących identyfikację przedziałową (komórkową) oraz sortowanie. Rozważane są trajektorie z czasem dyskretnym lub po dyskretyzacji zmiennej niezależnej.
-
Zastosowanie gradiometrów w lokalizacji obiektów ferromagnetycznych.
PublicationW pracy przedstawiono zastosowanie gradiometrów w lokalizacji i identyfikacji obiektów ferromagnetycznych. Zamieszczono wyniki symulacyjne wykrywania obiektów z zastosowaniem gradiometru wektorowego oraz podano wyniki badań eksperymentalnych z zastosowaniem gradiometru skalarnego.
-
Zastosowanie GPS do lokalizacji zdarzeń drogowych
PublicationW referacie przedstawiono wyniki przeprowadzonego w powiecie kartuskim oraz na terenie miasta Gdańsk projektu pilotażowego zrealizowanego w ramach projektu celowego KBN nr 10 T12 026 2000 C/5301 pt. ''Zastosowanie GPS do lokalizacji zdarzeń drogowych na sieci dróg i ulic w wybranych powiatach województwa pomorskiego''. Projekt ten przeprowadzony został przez Katedrę Inżynierii Drogowej Politechniki Gdańskiej oraz Katedrę Geodezji...
-
Analiza ograniczeń technologicznych systemów lokalizacji inercyjnej
PublicationW artykule opisano kluczowe ograniczenia technologiczne zmniejszające dokładność inercyjnych systemów lokalizacyjnych. Każdy z czynników został przedstawiony w kontekście swego źródła oraz wpływu na proces lokalizacyjny. Dodatkowo w artykule zawarto opis metod kompensacji błędów występujących w procesie lokalizacji inercyjnej. W treści artykułu analizie poddano rozwiązania obecne w systemach lokalizacji inercyjnej dla wolno poruszających...
-
Uwarunkowania lokalizacji elektrowni wiatrowych - wybrane problemy
PublicationW artykule omówiono wybrane zagadnienia dotyczące lokalizacji elektrowni wiatrowych. Przytoczono szereg czynników mających wpływ na opłacalność inwestycji oraz wykazano zagrożenia środowiskowe związane z użytkowaniem turbin wiatrowych.
-
Globalizacja - szanse i zagrożenia.
PublicationNowa epoka w dziejach globalizacji gospodarki wiąże się z rewolucją elektroniczno - internetową, która niesie zawrotne tempo wymiany informacji i otwiera nowe perspektywy dla rozwoju gospodarki. Sama rewolucja nie wystarcza jednak, aby globalizacja przyniosła dobre efekty. Potrzebna jest właściwa strategia dostosowania się do tego procesu. Wypracowanie jej wymaga uświadomienia szans i zagrożeń związanych z procesem globalizacji.
-
Detekcja i lokalizacja uszkodzeń falownika napięcia w czasie rzeczywistym
PublicationW artykule przedstawiono nową metodę detekcji i lokalizacji uszkodzeń tranzystorów w falownikach napięcia. Jako zmienną diagnostyczną wykorzystano stosunek składowej stałej do podstawowej harmonicznej. Tak zdefiniowana zmienna zapewnia poprawne wykrywanie i lokalizację uszkodzeń niezależnie od warunków pracy napędu. Metoda została sprawdzona poprzez badania symulacyjne i eksperymentalne.
-
Rozpoznawanie oraz lokalizacja w obrazie przewodów linii wysokiego napięcia
PublicationW pracy przedstawiono opracowany algorytm rozpoznawania oraz lokalizacji przewodów linii wysokiego napięcia na podstawie obrazu horyzontalnego. Procedura detekcji przewodu została podzielona na trzy etapy. Pierwszy etap zawiera algorytm wykrywania krawędzi wykazujący największą czułość na krawędzie poziome, a jednocześnie brak czułości na krawędzie pionowe. Efektem jest znaczna redukcja liczby wykrytych krawędzi w porównaniu do...
-
Lokalizacja terminala ruchomego w korytarzu przy użyciu kabli promieniujących
PublicationW referacie przedstawiono wyniki testów możliwości określania położenia terminala ruchomego wzdłuż korytarza na podstawie propagacji sygnałów w kablach promieniujących w dwóch kierunkach. Opisane zostało stanowisko pomiarowe oraz wyniki uzyskane przy różnych sposobach wytwarzania sygnałów pomiarowych w instalacji jedno- i dwuprzewodowej.
-
Wstępna lokalizacja otworów w wizyjnym systemie spawania wymienników ciepła
PublicationCoraz częściej systemy wizyjne wykorzystywane są w robotyce przemysłowej do nadzorowania przebiegu procesu technologicznego. W przypadku zrobotyzowanych stanowisk spawalniczych, wygenerowanie trajektorii głowicy spawalniczej wymaga prawidłowej lokalizacji w obrazie testowanego obiektu. W tym celu wykorzystuje się standardowe techniki przetwarzania sygnału wizyjnego, polegające na progowaniu i segmentacji obrazu. Następnie oceniane...
-
Lokalizacja i rozpoznawanie tablic rejestracyjnych na zdjęciach z fotoradarów
PublicationArtykuł opisuje stworzoną na Wydziale Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej aplikację do lokalizacji i rozpoznawania numerów rejestracyjnych pojazdów samochodowych na potrzeby realizowanego na tym wydziale Radiowego systemu monitorowania i akwizycji danych z urządzeń radarowych RSMAD. Na tle dzisiaj funkcjonujących w kraju rozwiązań system RSMAD wyróżnia się automatyzacją procesu przekazywania danych...
-
Atrakcyjnosć inwestycyjna w aspekcie decyzji lokalizacji działalności.
PublicationCelem artykułu jest pokazanie w aspekcie teoretycznym obszarów atrakcyjności inwestycyjnej oraz czynników lokalizacji działalności. Autorka prezentuje różne klasyfikacje czynników lokalizacji przedstawiając je zarówno u ujęciu teoretycznym jak i praktycznym.
-
System Automatycznej Lokalizacji Osób do Zastosowań Specjalnych
PublicationW artykule opisano założenia funkcjonalne i budowę demonstratora technologicznego systemu do lokalizacji osób wewnątrz budynków. Przedstawiono poszczególne węzły sieci radiowej służącej do określania pozycji osób wraz z wyszczególnieniem najważniejszych podzespołów tych węzłów, a także funkcjonowanie całego systemu i możliwości jego dalszej rozbudowy.
-
Determinanty lokalizacji centrów usług outsourcingowych w Polsce
PublicationW pracy za główny cel poznawczy przyjęto identyfikację i weryfikację empiryczna czynników determinujących lokalizację podmiotów z udziałem kapitału zagranicznego świadczących usług outsourcingowych na terenie Polski.
-
Bezkontaktowa metoda lokalizacji przewodu jezdnego sieci trakcyjnej
PublicationProblematyka diagnostyki sieci trakcyjnej jest ciągle przedmiotem badań i zainteresowania poszczególnych zarządców sieci kolejowej w Europie i na Świecie. Temat ten jest szczególnie ważny w przypadku linii dużych prędkości, gdzie prawidłowe utrzymanie sieci trakcyjnej jest niezwykle istotne dla zapewnienia właściwej współpracy odbieraka prądu z siecią trakcyjną, co bezpośrednio przekłada się na niezawodność i bezpieczeństwo ruchu...
-
System automatycznej lokalizacji osób do zastosowań specjalnych
PublicationW referacie opisano założenia funkcjonalne i budowę demonstratora technologicznego systemu do lokalizacji osób wewnątrz budynków. Przedstawiono poszczególne węzły sieci radiowej służącej do określania pozycji osób wraz z wyszczególnieniem najważniejszych podzespołów tych węzłów, a także funkcjonowanie całego systemu i możliwości jego dalszej rozbudowy.
-
Problemy przestrzennej lokalizacji obiektów wykrywanych tłokami inteligentnymi
PublicationDokument przybliża założenia konstrukcyjne oraz postępy w pracach badawczych dotyczących budowy urządzenia rejestrującego zmiany trajektorii ruchu tłoka pomiarowego podczas podróży
-
Globalizacja szansą generowania nowej wiedzy.
PublicationAutorka ukazuje na bazie analizy zagadnienia globalizacji problemu tworzenia i zarządzania wiedzą. To wiedza według autorki staje się towarem i stymulatorem podmiotów gospodarczych, ale przede wszystkim samego człowieka, jego osobowości, hierarchii wartości i zachowań pracowniczych. W artykule ukazana jest spirala wiedzy globalnej oraz konwersje jej tworzenia. Globalny świat to świat wiedzy, jej przetworzenia i unowocześnienia....
-
Wspomagana komputerowo lokalizacja strefy potencjału zerowego w eksploatacyjnych badaniach uziemień
PublicationDla dokładności pomiaru rezystancji uziemienia bardzo istotną rolę odgrywa właściwe umieszczenie sondy napięciowej w układzie pomiarowym. Sonda ta powinna się znajdować w tzw. strefie potencjału zerowego, co umożliwia zmierzenie napięcia uziomowego. W praktyce nieraz trudno jest zlokalizować strefę potencjału zerowego, szczególnie wtedy, kiedy do dyspozycji jest ograniczony obszar do rozmieszczenia uziomów pomocniczych na terenie...
-
Statyczne kompensatory bocznikowe i i ch lokalizacja w sieci przesyłowej
Publication -
Wspomagana komputerowo lokalizacja strefy potencjału zerowego w eksploatacyjnych badaniach uziemień
PublicationPodczas pomiaru rezystancji uziemienia bardzo istotną rolę odgrywa właściwe umieszczenie sondy napięciowej w układzie pomiarowym. Sonda napięciowa powinna się znajdować w strefie potencjału zerowego, tzw. ziemi odniesienia, co umożliwia zmierzenie napięcia uziomowego. W praktyce nieraz trudno jest zlokalizować strefę potencjału zerowego - szczególnie wtedy, kiedy do dyspozycji jest ograniczony obszar do rozmieszczenia uziomów pomocniczych...
-
Kanał radiowy w sieciach WBAN
PublicationMonografia poświęcona modelowaniu kanałów radiowych w sieciach WBAN, czyli sieciach radiokomunikacyjnych krótkiego zasięgu, obejmujących swoim działaniem ciało człowieka (lub zwierzęcia) i jego bezpośrednie otoczenie. Podano definicję sieci WBAN i ich klasyfikację. Opisano podstawowe zagadnienia związane z tymi sieciami z uwzględnieniem problematyki radiokomunikacyjnej, narzędzia statystyczne najczęściej stosowane do analizy wyników...
-
Analiza lokalizacji i parametrów stabilizatorów systemowych w KSE
PublicationW referacie przedstawiono metodę doboru parametrów i lokalizacji stabilizatorów systemowych. Metodę tą zastosowano do oceny trafności doboru stabilizatorów w krajowym systemie elektro-energetycznym, a następnie do doboru struktury, parametrów i lokalizacji "nowych" stabilizatorów systemowych. Obliczenia wykonano dla pełnego modelu matematycznego krajowego systemu przesyłowego.
-
Wielokryterialna analiza porównawcza lokalizacji źródeł wytwórczych energii elektrycznej
PublicationArtykuł przedstawia ranking lokalizacji czterech źródeł wytwórczych energii elektrycznej: biogazowni rolniczej, biogazowni utylizacyjnej oraz dwóch elektrowni fotowoltaicznych, wykonany przy użyciu połączonych metod Analitycznego Procesu Hierarchicznego (AHP) oraz taksonomii numerycznej. Omówiono zalety połączenia metod, przedstawiono przykład zastosowania oraz wskazano kryteria o największym i najmniejszym wpływie na realizację...
-
Lokalizacja źródeł mocy biernej w systemie elektroenergetycznym z wykorzystaniem zbiorów rozmytych
PublicationIstotnym zagadnieniem z punktu widzenia pracy systemu elektroenergetycznego jest właściwe rozmieszczanie nowych źródeł mocy biernej w systemie, tzn. takie, aby ich liczba była możliwie najmniejsza przy ich jak największej efektywności. W referacie przybliżono wybrane stosowane na świecie metody służące określaniu lokalizacji w systemie elektroenergetycznym źródeł mocy biernej w oparciu o logikę zbiorów rozmytych. Zaprezentowano...
-
Optymalizacja lokalizacji i parametrów stabilizatorów systemowych w systemie elektroenergetycznym.
PublicationCelem pracy było opracowanie metod optymalizacji: parametrów, lokalizacji w systemie elektroenergetycznym i struktury stabilizatorów systemowych.W rozprawie opracowano dwuetapową metodę optymalizacji parametrów stabilizatorów systemowych. Metoda może być wykorzystana przy syntezie stabilizatorów systemowych jednowejściowych opartych o pomiar mocy czynnej generatora, prędkości wirnika generatora lub dwuwejściowych wykorzystujących...
-
Porównanie algorytmów lokalizacji wewnątrzbudynkowej bazujących na radiowych pomiarach odległości
PublicationNiniejszy artykuł ma na celu ocenę wybranych algorytmów estymacji położenia, które mogą być zastosowane w systemach lokalizacji w środowiskach zamkniętych. Przedstawiono pięć algorytmów bazujących na pomiarach odległości. Następnie porównano ich dokładności estymacji w warunkach statycznych oraz dla scenariusza dynamicznego przy ustalonym rozmieszczeniu trzech stacji referencyjnych. Dokonano również porównania czasu estymacji pojedynczej...
-
ANALIZA MOŻLIWOŚCI LOKALIZACJI DNW NA PRZYKŁADZIE GMINY MIASTA GDAŃSKA
PublicationW pracy analizie poddano trzy obiekty hydrotechniczne zlokalizowane w Gminie Miasta Gdańska pod możliwości zacumowania Domów Na Wodzie. Ocenę możliwości przystosowania obiektu hydrotechnicznego przeprowadzono pod kątem stosowanych systemów cumowniczych komunikacji z lądem, dostępności mediów, składowania odpadów komunalnych oraz lokalizacji miejsc postojowych.W wyniku przeprowadzonej analizy wykazano że w Gdańsku brak jest obiektów...
-
Implementacja algorytmu lokalizacji i identyfikacji obiektów ferromagnetycznych w labview
PublicationObiekt o właściwościach ferromagnetycznych zaburza równomierność pola magnetycznego Ziemi. Mierząc indukcję magnetyczną precyzyjnym magnetometrem można taki obiekt wykryć, zlokalizować i zidentyfikować. W pracy przedstawiono algorytm lokalizacji i identyfikacji obiektów ferromagnetycznych, który zaimplementowano w programie LabView. Opracowany algorytm korzysta tylko z wartości ekstremalnych i położenia różnicy indukcji magnetycznej...
-
Aktywne modele wyglądu w automatycznej lokalizacji i rozpoznawaniu twarzy
PublicationW pracy opisano metodę lokalizacji obiektów wykorzystującą koncepcję aktywnych modeli wyglądu (ang. active appearance models) i przedstawiono wyniki eksperymentów, związanych ze stosowaniem tej koncepcji do automatycznego lokalizowania oraz rozpoznawania twarzy.
-
Gazoport. Głos w dyskusji nad lokalizacją LNG w Polsce
PublicationDecyzję rządową o imporcie skroplonego gazu ziemnego doPolski drogą morską sprowadzono do walki pomiędzy zabiegającymi o budowę terminalu portami w Gdańsku i Świnoujściu. W zasadzie rozgrywka toczy się o pieniądze na tę inwestycję, a w efekcie o przyszłe dochody z obsługi przeładunku. Zdaje się, że nie wiemy dokładnie, czym jest międzynarodowy rynek obrotu skroplonym gazem, ani jak go wykorzystać do poprawy energetycznego bezpieczeństwa...
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublicationIstnieje szereg sposobów badania poprawności programów komputerowych. W niniejszym referacie podejmujemy problem automatycznego testowania oprogramowania przy założeniu, iż dany jest zbiór testów (asercji) dla poszczególnych fragmentów kodu. Dla uproszczenia analizy zakładamy, że badany fragment kodu zawiera dokładnie jeden błąd, co nie zmniejsza ogólności rozważań. W artykule analizujemy praktyczne aspekty powyższego problemu...