Filters
total: 1481
filtered: 925
-
Catalog
- Publications 925 available results
- People 75 available results
- Inventions 4 available results
- Projects 3 available results
- Laboratories 7 available results
- Research Teams 8 available results
- Research Equipment 10 available results
- e-Learning Courses 436 available results
- Events 12 available results
- Offers 1 available results
Chosen catalog filters
Search results for: ZŁOŻONOŚĆ OPROGRAMOWANIA
-
Cztery algorytmy które wstrząsnęły światem. Część II: Od czasu wykładniczego do wielomianowego
PublicationDrugi odcinek cyklu poświęcono problemowi programowania liniowego, który wywarł ogromny wpływ na życie milionów ludzi oraz badaniu liczb pierwszych, a więc problemowi ściśle związanemu z bezpieczeństwem naszych pieniędzy zdeponowanych w bankach.
-
Fotografowanie architektury jako sztuka
PublicationFotografowanie architektury stało się współcześnie popisem wyszukiwania efektownych kadrów wyróżnianych przez autora zdjęć,a więc jest, przede wszystkim, jedynie zapisem sposobu widzenia fotografuącego i nie ma nic wspólnego z obrazowanie złożoności fotografowanych struktur architektonicznych.
-
Analysis of scattering from arbitrary configuration of elliptical obstacles using T-matrix representation
PublicationW artykule przedstawiono nową metodę analizy zjawiska rozpraszania dla dowolnej konfiguracji obiektów eliptycznych. Przedstawione podejście, dotyczącego pojedynczego obiektu, oparte jest na połączeniu analizy w układzie eliptycznym i cylindrycznym. W analizie wielu obiektów wykorzystana została procedura iteracyjna. Uzyskane wyniki zostały zweryfikowane przy wykorzystaniu oprogramowania komercyjnego.
-
Open tools for benthic habitat mapping: study of seagrass (posidonia oceanica) in the natural park of Cabo de Gata
PublicationW artykule przedstawiono koncepcję wykorzystania otwartego oprogramowania dostępnego poprzez interfejs WWW służącego do analizy materiału zebranego przez echosondy jednowiązkowe i sonary boczne pod kątem klasyfikacji rozmiaru wystąpienia traw morskich Posidonia Oceanica. Jako przyklad przedstawiono analizę danych z sonaru bocznego zebranych w zatoce Cabo de Gata.
-
Współczesne możliwości analizy statycznej i dynamicznej mostów stalowych
PublicationW referacie przedstawiono współczesne możliwości analizy mostów stalowych w odniesieniu do komercyjnego oprogramowania inżynierskiego. Podano możliwości i przykłady modelowania struktur przestrzennych różnymi typami elementów. Zaprezentowane przykłady pochodzą z rzeczywistych analiz wykonanych na potrzeby prac badawczych, ekspertyz lub projektów zrealizowanych przez autora i jego współpracowników.
-
The Implementation of a Microserver.
PublicationArtykuł prezentuje zasady projektowania mikroserwerów o ograniczonej złożoności obliczeniowej i niewielkim poborze energii. Zaproponowana redukcja funkcjonalności protokołow TCP/IP, pomimo niewielkiego zapotrzebowania na obliczenia, pozwala na realizację wydajnego połączenia klient-serwer w układach mikrokontrolerowych.
-
Błędy w zarządzaniu projektami i programami zdrowotnymi
PublicationWzrost zainteresowania projektami i programami zdrowotnymi wymusza konieczność koncentracji nie tylko na sprawności ich realizacji, ale także na błędach, które ze względu na obszar, którego dotyczą mogą mieć wpływ na zdrowie i/lub życie ludzkie. Także ze względu na sam charakter projektów tj. ich niepowtarzalność, unikatowość i złożoność wcześniejsza identyfikacja i analiza błędów może pozwolić na niedopuszczenie do ich pojawienia...
-
Warunki planistyczne wykorzystania funduszy strukturalnych dla przebudowy miast
PublicationMiasta europejskie w tym polskie przechodzą gwałtowną transformację struktury i funkcji. Racjonalizacja tych procesów polega na akceptowaniu równoważenia rozwoju. Jest to podstawa planowania i programowania zintegrowanego. Artykuł zawiera rozwinięty opis przypadku Metropolii Trójmiasta.
-
Planowanie rozmieszczenia strażników w galeriach sztuki metodą kolorowania grafów
PublicationW niniejszym rozdziale zaprezentujemy podejście chromatyczne do wyznaczenialiczby straży w galeriach dowolnego kształtu bez dziur oraz w galeriach or-togonalnych z dziurami, a także bez dziur. Rozważane tu problemy są NP-trud-ne pod względem złożoności obliczeniowej.
-
Management of complexity and information flow
PublicationProblemy złożoności i zarządzania przepływem informacji. W rozdziale omówio-no podejście do modelowania systemów złożonych oraz zarządzania przepływeminformacji w takich systemach. Rozwiązania odniesiono do płaszczyzny elasty-cznego wytwarzania. Poruszono aspekty miękkiego modelowania w takich środo-wiskach.
-
Internetowa akwizycja sygnałów życiowych.
PublicationPrzedstawiono rozwiązanie techniczne systemu do zdalnej akwizycji sygnałów życiowych pacjentów w stanach nagłych z wykorzystaniem protokołów internetowych. Celem projektu jest dążenie do rozwiązań mobilnych z dostępem internetowym o niewielkiej złożoności konstrukcyjnej i małym poborze energii.
-
Microcontroller driven miniaturized digital depth sounder.
PublicationPrzedstawiono schemat blokowy, specyfikację techniczną oraz zasadę działania miniaturowej echosondy cyfrowej, sterowanej mikrokontrolerem PIC16F873.Specjalistyczne oprogramowanie echosondy umożliwia prezentację echogramów w czasie rzeczywistym oraz udostępnianie ich w sieci Internet w typowych przeglądarkach WWW.
-
Performance and Security Testing of Distributed Applications Working in Public/Private IPSec and HTTPS Environments
PublicationW pracy przedstawiono zagadnienie testowania wydajności (ang. Performance) i bezpieczeństwa (ang. Security) aplikacji rozproszonych działających w sieciach publiczno-prywatnych stworzonych przy wykorzystaniu technologii IPSec i HTTPS. Dwa podejścia do architektury oprogramowania tych aplikacji zostały omówione: Request/Response oraz Publish/Subscribe. Analiza zawiera przedstawienie wpływu technologii IPSec i HTTPS na całkowitą...
-
Rozwój systemu bezpieczeństwa ruchu drogowego.
PublicationProgramowanie systemu zarządzania bezpieczeństwem ruchu drogowego.System bezpieczeństwa ruchu drogowego w Polsce.Regionalne i lokalne systemy brd.Działania w programie GAMBIT 2005.
-
Modeling of polarimetric sensors using LabVIEW environment
PublicationW artykule przedstawiono program do modelowania światłowodowych sensorów polarymetrycznych. Program ten, stworzony w środowisku LabVIEW, wyznacza odpowiedź nieidealnego światłowodowego sensora polarymetrycznego na siłę działającą na przetwornik pomiarowy. Omówiono problemy występujące w procesie tworzenia oprogramowania do modelowania zjawisk fizycznych w graficznym środowisku programistycznym. Przedstawiono wybrane wyniki modelowania.
-
Mobilne stanowisko pomiarowe do badań propagacyjno-zasięgowych
PublicationW artykule przedstawiony został schemat blokowy mobilnego stanowiska pomiarowego, ze szczególnym uwzględnieniem wymagań normatywnych stawianych aparaturze pomiarowej oraz procedurom pomiarowym. Ponadto zaprezentowany został algorytm oprogramowania konfigurującego odbiornik pomiarowy oraz sterującego procesem przeprowadzania pomiarów. W podsumowaniu skrótowo przedstawiono wyniki dotychczasowych badań pomiarowych przeprowadzonych...
-
Podaż na Mazowszu a rozwój klastrów cz.3
PublicationW niniejszym artykule autorka przedstawia informacje na temat wsparcia finansowego sformalizowanych klastrów na Mazowszu w nowym okresie programowania 2007-2013 - w ramach PO Innowacyjna Gospodarka, RPO Województwa Mazowieckiego oraz Programu Rozwoju Obszarów Wiejskich.
-
O problemie przydziału częstotliwości, kontrastowym kolorowaniu grafów i częściowych k-drzewach
PublicationNiniejszy artykuł poświęcony jest złożoności obliczeniowej problemu przydziału częstotliwości. Zawiera dowód tego, że jest on NP-trudny nawet dla grafów interferencji, będących grafami dwudzielnymi, oraz wielomianowy algorytm rozwiązujący ten problem dla grafów interferencji, będących częściowymi k-drzewami.
-
Krytycznie o zjawisku stygnięcia i zamarzania wody według PN-EN ISO 12241
PublicationW pracy odniesiono się do zaprezentowanego w Polskiej Normie matematycznego i fizycznego modelu stygnięcia i zamarzania wody w rurach. Opisano przebieg zjawiska, formy występowania lodu, zależności ciśnieniowe oraz praktyczne konsekwencje pomijania złożoności procesu stygnięcia i zamarzania.
-
Path Coloring and Routing in Graphs.
PublicationW rozdziale omówione zostały problemy kolorowania ścieżek i routingu w grafach. Podano podstawowe definicje związane z tymi problemami, znane wyniki wraz z dyskusją złożoności obliczeniowej dla grafów ogólnych i dla kilku podstawowych klas grafów oraz zastosowania.
-
Generating reliable conformance test suites for parallel and distributed languages, libraries, and APIs.
PublicationArtykuł nakreśla nową metodykę dla tworzenia Zestawów Testów Zgodności (ZTG) dla języków, bibliotek i API programowania równoległego i rozproszonego. Autor rozpoczął swoje badania w zakresie testowania zgodności dla języka równoległego sterowanego danymi Athapascan, opracował metodykę dla projektowania i analizowania ZTG nazwaną Metodą Kolejnych Zawężeń (ang. Consecutive Confinements Methods - CoCoM), stworzył narzędzie CTS Designer,...
-
An optimization approach to coexistence of Bluetooth and Wi-Fi networks operating in ISM environment
PublicationW artykule rozważono problem wzajemnych interferencji pomiedzy urządzeniami standardów IEEE 802.11b oraz Bluetooth (BT). Zaproponowano model optymalizacyjny bazujący na podejściu programowania liniowego. Uzyskano znaczącą porawę wykorzystania pasma ISM w przypadku koegzystencji sieci rozważanych standardów.
-
Automatyczna kontrola jakości mikroziaren ściernych.
PublicationPrzedstawiono skomputeryzowaną analizę wielkości i kształtu mikroziaren ściernych przy użyciu specjalnego opraogramowania MultiScan v.6.08 oraz zautomatyzowane pomiary z wykorzystaniem analizatora laserowego Analysette 22. Analizator laserowy jest uniwersalnym urządzeniem do pomiarów wymiarów ziaren i mikroziaren.
-
Problemy rewaloryzacji krajobrazu kulturowego miasta na przykładzie fragmentu śródmieścia Gdańska - Biskupiej Górki
PublicationTeren Biskupiej Górki stanowi jeden z najcenniejszych krajobrazowo-kulturowych dzielnic Gdańska. Należy tu wymienić zachowane obiekty fortyfikacyjne miasta i XIX-wieczną zabudowę mieszkaniową, nie zniszczoną w czasie działań 1945 roku. O specyfice i unikalnym charakterze w skali miasta stanowi także ukształtowanie terenu Biskupiej Górki, jego położenie w strukturze miasta i dobre warunki przyrodnicze. Niestety, jest to jednocześnie...
-
Realizacja bezprzewodowej sieci czujników w standardzie ZigBee
PublicationPrzedstawiono koncepcję budowy bezprzewodowej sieci ZigBee, z wykorzystaniem mikrokontrolerów firmy MicroChip Technology Inc. oraz modułów radiowych wykonanych na układzie CC2420 i pracujących w paśmie częstotliwości 2,5GHz. Podano szczegóły dotyczące opracowanego oprogramowania realizującego zadania routingu. Opisano najistotniejsze problemy techniczne, jakie pojawiają się przy realizacji sieci bezprzewodowej w tym standardzie.
-
Automatyczne odczytywanie napisów z diagnostyką ich ważności
PublicationPrzedstawiono koncepcję urządzenia wykrywającego i odczytującego napisy z przeznaczeniem dla osoby niewidomej. Zaprezentowano problemy jakie pojawiają się przy konstruowaniu takiego urządzenia i sposoby ich przezwyciężenia. Przedyskutowano ponadto schemat funkcjonalny oprogramowania sterującego takim urządzeniem. Dodatkowo opisano metodę badania podobieństwa figury do litery lub cyfry opartą na odwzorowaniu maksymalnego kwadratu...
-
Metoda wyboru informacji z dedykowanych zbiorów danych
PublicationPoszukiwanie skutecznych metod wyboru informacji wynika z obserwowanego obecnie nadmiaru danych. W artykule opisana jest metoda GQM wykorzystywana w informatyce między innymi do budowy wielowymiarowej funkcji jakości oprogramowania. W artykule wykazano, że metoda ta może być również wykorzystana do poszukiwania i wyboru danych z dedykowanych zbiorów informacji dziedzinowych.
-
Komputerowy symulator metod i algorytmów w procesie synchronizacji obiektów elektroenergetycznych
PublicationW artykule opisano metody synchronizacji oraz strukturę opracowanego i wykonanego, dla celów badawczych, symulatora metod i algorytmów synchronizacji. Przedstawiono strukturę blokową symulatora i jej powiązanie z procesem synchronizacji prądnic, opisano architekturę oprogramowania symulatora oraz wskazano na jego znaczne możliwości podczas realizacji badań oraz na dużą użyteczność praktyczną tego systemu.
-
System ewidencji wspomagający pracę dziekanatu bazujący na środowisku DELPHI i SQL.
PublicationNiniejszy artykuł przedstawia projekt systemu bazy danych na przykładzie aplikacji Student 2003'. Przedstawiono w nim m.in.: charakterystykę tworzenia oprogramowania w Delphi, funkcjonowanie aplikacji na serwerze Interbase, tworzenie bazy danych w języku SQL (tworzenie pliku bazy danych, tabel), tworzenie zapytań, procedur zapamiętanych, obsługę procedur zapamiętanych w Delphi, mechanizm transakcji.
-
Zastosowanie niedrogich modułów bezprzewodowych do sterowania oświetleniem
PublicationW artykule zaprezentowano niedrogi system zdalnego sterowania oświetleniem w budynku. Dokonano krótkiego przeglądu dostępnych na rynku, gotowych rozwiązań. Zaproponowano własną strukturę sterowania wykorzystując tanie moduły bezprzewodowe. Przedstawiono projekt najistotniejszych elementów systemu. Omówiono sposób oprogramowania modułów oraz nadrzędną aplikację sterującą. Artykuł zawiera ocenę systemu, z uwzględnieniem możliwości...
-
ROZPROSZONY SYSTEM KOMUNIKACJI I NADZORU DLA MORSKIEGO ODDZIAŁU STRAŻY GRANICZNEJ – PROJEKT STRADAR
PublicationSystem STRADAR to wynik realizacji projektu, którego gestorem jest MO SG. Był on współfinansowany przez NCBiR. W artykule opisano system, przedstawiając ogólną koncepcję, architekturę, elementy funkcjonalne i realizację oprogramowania zainstalowanego w tych elementach. Krótko scharakteryzowano także testy, jakim poddano system, który na tym etapie – jako całość – osiągnął VII poziom gotowości technologii.
-
An efficient algorithm for the longest tandem scattered subsequence problem.
PublicationReferat dotyczy zagadnienia wyznaczania najdłuższego podciągu podwójnego (typu x1,x2,...,xk,x1,x2,...,xk) dla zadanego ciągu znaków (y1,y2,...,yn). Podano algorytm o złożoności obliczeniowej O(n^2) i pamięciowej O(n) znajdujący optymalne rozwiązanie postawionego problemu.
-
Komputerowe wspomaganie zmian modernizowanych układów geometrycznych toru
PublicationW artykule przedstawiono opracowywany obecnie program komputerowy służący do obliczeń przesunięć toru i robót ziemnych związanych z modernizacją układów geometrycznych toru kolejowego. W pracy scharakteryzowano zastosowany język programowania oraz przedstawiono aktualny stan pracy nad programem.
-
Komputerowe wspomaganie zmian modernizowanych układów geometrycznych toru
PublicationW artykule przedstawiono opracowywany obecnie program komputerowy służący do obliczeń przesunięć toru i robót ziemnych związanych z modernizacją układów geometrycznych toru kolejowego. W pracy scharakteryzowano zastosowany język programowania oraz przedstawiono aktualny stan pracy nad programem.
-
Logika opracowania regionalnych programów rozwojowych
PublicationW monografii opracowano szereg metod przeznaczonych do badania układów społeczno-ekonomicznych. Metody te zostały ułożone w jedyny system, stanowiący tzw. programowanie celowe.
-
Connectivity in Multi-Interface Networks
PublicationRozważano zagadnienie minimalizacji energii w sieciach bezprzewodowych bez infrastruktury, w których niektóre węzły są wyposażone w więcej, niż jeden interfejs. W przyjętym modelu sieci podano nowe algorytmy przybliżone oraz wyniki dotyczące złożoności obliczeniowej dla problemu najtańszej spójnej podsieci spinającej.
-
Sum coloring of bipartite graphs with bounded degree.
PublicationArtykuł poświęcony jest złożoności obliczeniowej zagadnienia sumacyjnego kolorowania grafów dwudzielnych o ograniczonym stopniu. Zawiera dowód tego, że sumacyjne kolorowanie grafów dwudzielnych stopnia mniejszego równego 5 jest NP-zupełne oraz opis wielomianowego algorytmu, który optymalnie sumacyjnie koloruje grafy dwudzielne podkubiczne.
-
Harmonions Coloring of Graphs.
PublicationProblem kolorowania grafów jest motywowany radionawigacją lotniczą, kompresją obrazów i in. W rozdziale podano podstawowe fakty dotyczące tego modelu kolorowania, a wsród nich dolne i górne oszacowania na liczbę harmoniczną i algorytm o złożoności 0 (mm3) dający bardzo dobre pokolorowania przybliżone.
-
Implementation of high-speed data transmission technological demonstrator using software defined radio technology
PublicationIn the article implementation of a high-speed data transmission technological demonstrator using software defined radio technology is presented. A system architecture design including asymmetric framing transmission organization, which differs from the ones used in cellular systems is described. The construction of technological demonstrator consisting of a management unit, radio unit and programmable multi-threaded software performing...
-
The Role of Analysis Patterns in Systems Analysis
PublicationWzorce analizy są techniką, która ma wspomagać analizę systemów.W referacie zaprezentowano analizę cech charakterystycznych wzorców analizy oraz przegląd zagadnień związanych z zastosowaniem ich w procesie wytwarzania oprogramowania. Następnie przedstawiono metodę analizy systemów z zastosowaniem wzorców analizy oraz studium przypadku analizy z wykorzystaniem wzorców analizy dla systemu wspomagającego małą przychodnię lekarską.
-
Wybrane aspekty testowania automatycznych synchronizatorów prądnic w czasie rzeczywistym
PublicationW artykule przedstawiono wybrane aspekty związane z testowaniem automatycznych synchronizatorów prądnic w czasie rzeczywistym oraz w warunkach pracy zbliżonych do rzeczywistych. Omówiono metodykę prowadzenia badań, architekturę sprzętową urządzenia testującego oraz podsystemy tworzące strukturę oprogramowania. Ponadto wskazano na celowość stosowania takich urządzeń na rzeczywistych obiektach elektroenergetycznych oraz omówiono...
-
Zintegrowane środowiska projektowania aplikacji internetowych.
PublicationZintegrowane środowiska, umożliwiające analizę, projektowanie i implementację aplikacji, stanowią wymarzone narzędzie pracy każdego inżyniera oprogramowania. Opisano próby dostarczenia takiego środowiska w postaci Borland Delphi 5.0 oraz w postaci Rational XDE - środowiska projektowania w UML przeznaczonego do integracji z istniejącymi środowiskami implementacji, takimi jak Microsoft Visual Studio.NET i IBM Web Sphere...
-
Physical and numerical modelling of heat-flow processes in tangentially pulverized fuel-fired boiler
PublicationPraca przedstawia wykorzystanie eksperymentalnego modelowania fizycznego kwasowo-zasadowego do modernizacji kotła pyłowego z tangencjalną komorą spalania w aspekcie ograniczenia emisji toksycznych składników węgla, siarki i azotu oraz doboru optymalnych parametrów termodynamicznych mieszania i spalania. Dodatkowo, w celu porównania wyników pomiarów kotła po modernizacji, wykonano obliczenia numeryczne z zastosowaniem oprogramowania...
-
Finite-state lexical tools
PublicationArtykuł przedstawia trzy pakiety oprogramowania zawierające narzędzia poziomu leksykalnego wykorzystujące automaty skończone: dwa zbiory samodzielnych programów i skryptów pomocniczych - jeden używający prostych automatów skończonych, drugi używający automatów Mealy`ego oraz bibliotekę funkcji. Wszystkie przedstawione pakiety posiadają podobne funkcje. Zamiast opisywać poszczególne pakiety, opis skupiony jest na dostarczanych przez...
-
Projekt grupowy w kształceniu studentów Informatyki - doświadczenia na Wydziale ETI Politechniki Gdańskiej.
PublicationProjekt grupowy stanowi uznaną, efektywną metodę kształcenia w zakresie inżynierii oprogramowania. W referacie omówiono założenia, organizację, kształt procesu projektowego, wzorce dokumentacyjne i wsparcie narzędziowe wypracowane w czasie kilkuletniej realizacji zajęć Projektu Grupowego na Wydziale ETI PG. Prezentowane wzorce i doświadczenia powinny okazać pomocne przy zamierzonym wprowadzeniu Projektu Grupowego do programu studiów.
-
Efektywność metod modelowania systemów z perspektywy praktyki w firmach informatycznych.
PublicationEfektywność zastosowań metod modelowania i narzędzi CASE ma wpływ na wskaźniki ekonomiczne projektu oraz satysfakcję z pracy postrzeganą przez ich użytkowników - wykonawców oprogramowania. W referacie zaprezentowano ankietę do badań tej efektywności w praktyce względem oczekiwań propagatorów tej technologii oraz obecnych trendów. Przedstawiono również wyniki badań przeprowadzonych w kilku firmach informatycznych.
-
Szybka synteza prototypów filtrów rezonatorowych dla systemów telekomunikacji bezprzewodowej.
PublicationW niniejszym komunikacie opisana jest szybka technika syntezy macierzy sprzężeń. Synteza oparta jest na rozwiązaniu problemu programowania kwadratowego.Takie sformułowanie zagadnienia pozwala na znalezienie wartości sprzężeń miedzy poszczególnymi rezonatorami oraz miedzy rezonatorami a źródłem i obciążeniem jedynie wkilku krokach.
-
Testing of the Superconducting Magnets Frequency Characteristics
PublicationPrzedstawiono zagadnienia związane z opracowaniem systemu do wyznaczania impedancji uzwojeń magnesów nadprzewodzących w funkcji częstotliwości. Omówiono strukturę sprzętową systemu, oprogramowanie oraz sposób wyznaczania parametrów badanego uzwojenia. Pokazano przykładowe wyniki uzyskane przy użyciu omawianego systemu w GSI w Darmstadt.
-
Obrazowanie parametryczne w badaniach mózgu.
PublicationPrzedstawiono analizę teoretyczną podstaw obrazowania parametrycznego dla badań dynamicznych mózgu uwzględnieniem podanie pacjentowi środka kontrastującego. Opracowano oprogramowanie umożliwiające syntezę obrazów parametrycznych. Na podstawie przeprowadzonej analizy oraz wstępnych wyników symulacji wskazano na potrzebę dalszych badań celem standaryzacji obrazowania parametrycznego.
-
Synteza obrazów parametrycznych w badaniu perfuzji mózgu metodą MRI.
PublicationZaprezentowano analizę teoretyczną podstaw obrazowania parametrycznego dla badań dynamicznych mózgu z dożylnym podaniem środka kontrastującego. Opracowano oprogramowanie umożliwiające syntezę obrazów parametrycznych. Na podstawie przeprowadzonej analizy oraz wstępnych wyników symulacji wskazano na potrzebę dalszych badań celem standaryzacji obrazowania parametrycznego.