Search
Filters
total: 725
-
Catalog
Search results for: SZACOWANIE ZŁOŻONOŚCI OPROGRAMOWANIA
-
Consensus models: Computational complexity aspects in modern approaches to the list coloring problem
PublicationArtykuł poświęcony jest nowym modelom konsensusowego kolorowania grafów. Artykuł zawiera omówienie trzech takich modeli, analizę ich złożoności obliczeniowej oraz wielomianowy algorytm dla częściowych k-drzew, dla tzw. modelu addytywnego.
-
Filozofia normy europejskiej
PublicationZmiany systemu normalizacji, norma PN EN. Ogólna koncepcja normy zharmonizowanej. Na przykładzie PN-EN805 przedstawiono stopień złożoności sytuacji techniczno-materiałowej i jej uwzględnienie w normie. Konieczność bardziej uniwersalnego podejścia do projektu.
-
Trzy perspektywy
PublicationW artykule scharakteryzowano Model Współpracy Klient-Dostawca Oprogramowania (MWKDO) i przedstawiono i przedstawiono doświadczenia wynikające z jego zastosowania. Swoją opinię wyrazili klient, czyli Swissmed Centrum Zdrowia SA, dostawca oprogramowania e-MedSolution, firma ISH oraz współautorzy Modelu, pracownicy Politechniki Gdańskiej.
-
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.
-
Multidimensional legacy aspects of modernizing web based systems
PublicationPublikacja porusza zagadnienia technik modernizacji tzw. legacy systems mających zastosowanie w cyklach życia oprogramowania. Przedmiotem dyskusji jest także studium przypadku Endoscopy Recommender System. Ponadto rozważany jest wpłw zmian wymagań, platform, standardów oraz strategii rozwoju oprogramowania na status legacy aplikacji webowych.
-
Safety of computer control systems: challenges and results in software development.
PublicationArtykuł dokonuje przeglądu wybranych wyników dotyczących poprawy bezpieczeństwa komputerowych systemów sterowania. Dyskusja pokrywa szeroki zakres aspektów dotyczących procesu wytwarzania takich systemów. W szczególności omówiono zagadnienia dotyczące różnorodności oprogramowania, oprogramowania off-the-shelf, analizy typów awarii i ich efektów oraz formalizacji procesu wytwórczego.
-
Klasyfikacja algorytmów wyboru usług w architekturze SOA
PublicationWytwarzanie aplikacji w architekturze zorientowanej na usługi wymaga zastosowania odpowiednich algorytmów wyboru usług, które będą zapewniały wytworzenie aplikacji o wymaganych parametrach jakościowych. Biorąc pod uwagę, że problem wyboru usług ma wykładniczą złożoność obliczeniową, stosowne są zarówno algorytmy dokładne jak i przybliżone. W pracy przedstawiono porównanie i analizę istniejących algorytmów wyboru usług w kompozycji...
-
Obsługa danych radarowych w rozproszonym systemie komunikacji i nadzoru projektu STRADAR
PublicationJednym z zadań rozszerzenia projektu STRADAR jest zrealizowanie zaawansowanego przetwarzania (reduplikacja, multifuzja) i prezentacji danych pochodzących z urządzeń radarowych znajdujących się pod kontrolą Morskiego Oddziału Straży Granicznej. W artykule przedstawiono założenia dla realizacji oprogramowania fuzji danych radarowych w serwerach archiwizacji, ogólną strukturę podsystemu obsługi danych radarowych, moduły wejściowe...
-
SDL i prosty scheduler - zastosowania.
PublicationRozdział przedstawia uzupełnienia, usprawnienia i zastosowania prostego schedulera zaproponowanego w [1]. Podstawowym uzupełnieniem jest powiązanie funkcji schedulera z językiem specyfikacji protokołów telekomunikacyjnych SDL [2]. Pokazano na czym polega problem w odmierzaniu czasu w ''procesach'' obsługiwanych przez scheduler oraz istotne ograniczenia mechanizmu odmierzania czasu w systemach warstwowych. Zaproponowano rozwiązania...
-
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.
-
Awarie i ekspertyzy w energetyce [2020/21]
e-Learning CoursesCelem laboratorium jest zapoznanie studentów z podstawowymi metodami diagnostycznymi w odniesieniu do głównych podzespołów układów energetycznych w aspekcie złożoności ich form konstrukcyjnych oraz warunków eksploatacji i wynikających stąd zagrożeń awariami technicznymi.
-
Awarie i ekspertyzy w energetyce [2021/22]
e-Learning CoursesCelem laboratorium jest zapoznanie studentów z podstawowymi metodami diagnostycznymi w odniesieniu do głównych podzespołów układów energetycznych w aspekcie złożoności ich form konstrukcyjnych oraz warunków eksploatacji i wynikających stąd zagrożeń awariami technicznymi.
-
Metody testowania platformy KASKADA
PublicationW rozdziale przedstawiono wykorzystywany iteracyjny i inkrementalny proces wytwarzania oprogramowania, ze szczególnym uwzględnieniem planowania, wykonywania i śledzenia testów oprogramowania platformy KASKADA. Zaprezentowano model V i przykłady testów jednostkowych, systemowych, wydajnościowych i wiarygodnościowych. Przedstawiono wybrane wyniki testów oraz ich wpływ na konstrukcję platformy.
-
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.
-
Teoria i praktyka testowania programów
PublicationKsiążka stanowi doskonałą pomoc w nauczaniu problematyki z zakresu programowania, jakości programowania, planowanie i zarządzanie procesami wytwórczymi oprogramowania, a zawarte w niej treści są przydatne zarówno testerom, analitykom, projektantom, programistom, kierownikom projektów, jak też administratorom i osobom odpowiedzialnym za zakup, eksploatację i pielęgnacją oprogramowania w firmie.
-
Oprogramowanie Saphira do rozmytej autonomicznej nawigacji robota mobilnego Pioneer 2CE
PublicationPraca obejmuje analizę wykorzystania logiki rozmytej do nawigacji autonomicznego robota mobilnego Pioneer 2CE w nieznanym otoczeniu, przy użyciu architektury oprogramowania Saphira. W opracowaniu przestawiono podstawy rozmytej nawigacji, strukturę sterownika rozmytego i architekturę oprogramowania Saphira. Przedstawiono platformę mobilną Pioneer 2CE, symulator robota i sposób jego sterowania.
-
Modelowanie losowych imperfekcji geometrycznych przestrzennych konstrukcji metalowych
PublicationImperfekcje geometryczne zbiorników, silosów i powłok siatkowych mogą znaczą-co wpłynąć na ich nośność, a więc powinny być one uwzględniane w obliczeniach komputerowych i w procesie projektowania. Wykazano, że przy podstawowych obcią-żeniach, działających na tego typu konstrukcje, tj. podciśnieniu oraz naporu wiatru i śniegu (w przypadku powłok siatkowych), wykazują wyraźne różnice w porównaniu z analogicznymi wynikami dla tych...
-
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.
-
Jerzy Konorski dr hab. inż.
PeopleJerzy Konorski received his M. Sc. degree in telecommunications from Gdansk University of Technology, Poland, and his Ph. D. degree in computer science from the Polish Academy of Sciences, Warsaw, Poland. In 2007, he defended his D. Sc. thesis at the Faculty of Electronics, Telecommunications and Informatics, Gdansk University of Technology. He has authored over 150 papers, led scientific projects funded by the European Union,...
-
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.
-
Influence of grout proportions on modulus of elascity of two-stage concrete
PublicationOmówiono badania doświadczalne przeprowadzone dla betonu dwuetapowego. Beton wykonano z kruszywa otoczakowego przy zastosowaniu trzech różnych proporcji w/c i c/p. Na drodze statystycznej opracowano prosty wzór umożliwiający wstępne szacowanie wartości siecznego modułu Younga. Ponieważ metoda dwuetapowa pozwala na zachowanie kontaktu pomiędzy poszczególnymi elementami kamiennego szkieletu wypełniającego formę, wytrzymałość uzyskanego...
-
Stress strain relations and modulus of elascity of two stage concrete.
PublicationOmówiono badania doświadczalne przeprowadzone dla betonu dwuetapowego. Beton wykonano z trzech różnych kruszyw przy zastosowaniu trzech różnych proporcji w/c i c/p. Wyznaczono związki pomiędzy naprężeniami i odkształceniami. Na drodze statystycznej opracowano wzory umożliwiające wstępne szacowanie wartości siecznego modułu Younga. Ponieważ metoda dwuetapowa pozwala na zachowanie kontaktu pomiędzy poszczególnymi elementami kamiennego...
-
Tomasz Dziubich dr inż.
PeopleScientific projects and grants Internet platform for data integration and collaboration of medical research teams for the stroke treatment centers 2013 - 2016 MAYDAY EURO 2012 Supercomputer Platform for Context Analysis of Data Streams in Identification of Specified Objects or Hazardous Events – task 4.2 (Development of algorithms and applications supporting medical diagnosis), 2008-2012 Other GrandPrix on trade show ...
-
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.
-
Application of Knowledge Views = Zastosowanie widoków na bazę wiedzy
PublicationW artykule przedstawiono koncepcję widoków na bazę wiedzy i jej zastosowanie w inżynierii systemów. Praca ma na celu przybliżenie inżynierii wiedzy i technologii Semantic Web inżynierowi oprogramowania oraz programiście. Cel ten osiągany jest poprzez upodobnienie baz wiedzy do relacyjnych lub obiektowych baz danych oraz poprzez stosowanie wzorców znanych w inżynierii oprogramowania.
-
Knowledge management embedded in software engineering processes
PublicationW pracy przedstawiono model systemu pozyskiwania wiedzy zawartej w procesach inżynierii oprogramowania.
-
A note on mixed tree coloring
PublicationZaproponowano liniowy algorytm dla problemu kolorowania mieszanego w drzewach, uzyskując tym samym poprawę w stosunku do algorytmu o złożoności O(n^2) podanego w pracy [P. Hansen, J. Kuplinsky, D. de Werra, Mixed graph colorings, Math. Methods Oper. Res. 45 (1997) 145-160].
-
Łagodne wprowadzenie do analizy algorytmów
PublicationKsiążka jest 11. wydaniem podręcznika akademickiego poświęconego podstawom algorytmiki. Składa się z trzech rozdziałów. Rozdział 1 daje podstawy formalne niezbędne przy analizie algorytmów pod kątem złożoności obliczeniowej. Rozdział 2 wprowadza w zagadnienia analizy algorytmów z różnych punktów widzenia.Rozdział 3 przedstawia podstawowe struktury danych.
-
Increasing accuracy of frequency estimation by decimation. W: [CD-ROM]EUSIPCO 2002. XI European Signal Processing Conference. Toulouse, France, September 3-6, 2002. [B.m.]: New Medias**2002 [4 s. 3 rys. bibliogr. 6 poz.] Page numbers in the proceedings: Volume 3, s. 135-138. Zwiększanie dokładności estymacji częstotliwości poprzez decymację.
PublicationArtykuł rozważa problem estymacji częstotliwości zaszumionego, sinusoidalne-go sygnału zespolonego. Częstotliwość wyznaczana jest w oparciu o autoregre-syjny model sygnału. W pracy wykazano, że wprowadzenie decymacji sygnału po-zwala na redukcję rzędu modelu autoregresyjnego, a tym samym powoduje znacz=ne zmniejszenie złożoności obliczeniowej metody.
-
Dedicated scheduling of tasks to minimize mean flow time
PublicationThis paper investigates the complexity of scheduling biprocessor tasks on dedicated processors to minimize mean flow time. Since the general problem is strongly NP-hard, we assume some restrictions on task lengths and the structure of associated scheduling graphs. Of particular interest are acyclic graphs. In this way we identify a borderline between NP-hard and polynomially solvable special cases.
-
Project Management in Enterprises: IT Implementation Based on Fuzzy Models
PublicationW pracy analizuje się problem zastosowania metod zarządzania wiedzą oraz metod sztucznej inteligencji w zarządzaniu budżetem i planem realizacji projektów informatycznych. W pierwszej części wskazuje się na problemy związane z zarządzaniem projektami wytwarzania oprogramowania w zakresie planowania i bieżącego sterowania zarówno procesem wytwórczym, jak i zespołem programistów. Po omówieniu pożądanych zmian w metodologii zarządzania,...
-
Pączkowanie - metoda rozwoju interoperacyjnych komponentów dla systemów rozproszonych = Budding – the software development method of interoperable components for distributed systems
PublicationPrzedstawiono 2 współczesne metody wytwarzania oprogramowania: iteracyjno-przyrostową oraz techniki zwinne, ich zalety i wady w kontekście budowy interoperacyjnych platform i środowisk rozproszonych. Zaprezentowano metodę rozwoju oprogramowania przez pączkowanie, jej założenia, zalety i wady. Przedstawiono technologie, na bazie których działa metodologia wytwarzania oprogramowania przez pączkowanie: Software Product Line, Enterprise...
-
Programowanie strukturalne
PublicationCelem niniejszej książki jest przedstawienie wybranych metod programowania strukturalnego, tzn. takich, które prowadzą do poprawnej struktury, poprawy jakości oprogramowania oraz zwiększenia efektywności programistów. Może ona służyć jako podręcznik akademicki wykorzystywany na podstawowych kursach inżynierii oprogramowania. Zainteresuje również wszystkich tych, którzy zajmują się programowaniem amatorskim i chcą poszerzyć swoją...
-
REALIZACJA NADAJNIKA I ODBIORNIKA OFDM W TECHNOLOGII RADIA PROGRAMOWALNEGO
PublicationMetoda wielodostępu OFDM, jest stosowana obecnie w wielu nowoczesnych cywilnych i wojskowych standardach łączności radiowej. Technologia radia programowalnego (ang. Software Defined Radio) umożliwia realizacje urządzeń pracujących z tą metodą wielodostępu. W referacie zaprezentowano przykłady dwóch środowisk oprogramowania służących do realizacji oprogramowania w technologii SDR. Przedstawiono również przykłady platform sprzętowych...
-
Multitask Noisy Speech Enhancement System
PublicationW referacie opisano Wielozadaniowy System Poprawy Jakości Sygnału Mowy. Jest to wyspecjalizowany pakiet oprogramowania przeznaczony do rejestrowania sygnału mowy i do poprawy jego jakości oraz zrozumiałości mowy, przy użyciu zaawansowanych procedur cyfrowego przetwarzania sygnału. Pakiet oprogramowania składa się z programów: Rejestrator, Przeglądarka oraz Rekonstruktor. Oprogramowanie to może być użyte w przypadkach, gdy zrozumiałość...
-
Zabezpieczenie i odtwarzanie zasobów w warstwie optycznej.
PublicationWprowadzenie warstwy optycznej do sieci telekomunikacyjnych oznacza możliwość rozszerzenia zdolności sieci pod względem zabezpieczenia i odtwarzania zasobów. W referacie przeanalizowano zasady funkcjonowania warstwy optycznej sieci szkieletowej przedstawiono metody zabezpieczenia transmisji w tej warstwie oraz przedstawiono porównanie mechanizmów m.i. pod względami skuteczności i, efektywności, złożoności oraz kosztów.
-
Ocena narzędzi wspomagających zarządzanie przedsięwzięciami informatycznymi na przykładzie IBM Rational Method Composer
PublicationRozdział przedstawia zalety i wady oprogramowania wspomagającego zarządzanie przedsięwzięciami informatycznymi. Skupia się na ocenie technologii informatycznej spopularyzowanej na rynku przez firmę IBM jako Rational Method Composer. W rozdziale zostały zaproponowane kryteria oceny z punktu widzenia menedżera zarządzającego przedsięwzięciem oraz oceny w zależności od stopnia spełnienia tego kryterium. Ponadto przeprowadzona została...
-
Andrzej Wardziński dr inż.
People -
Szeregowanie zadań wieloprocesorowych metodą kolorowania hiperkrawędzi
PublicationW artykule rozważamy problem szeregowania jednostkowych zadań wieloprocesorowych na procesorach dedykowanych z repetycją zadań i ograniczeniami dostępności. Prezentujemy zebrane wyniki złożoności dla różnych typów instancji powyższego problemu szeregowania z kryteriami długości harmonogramu, sumy czasów zakończenia zadań i kosztu całkowitego. Problem ten opisujemy modelem kolorowania krawędzi różnych klas hipergrafów.
-
Exploiting Multi-Interface Networks: Connectivity and Cheapest Paths
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 dwóch problemów: aktywacji najtańszej spójnej podsieci spinającej oraz aktywacji ścieżki pomiędzy ustaloną parą węzłów.
-
Estimation and tracking of complex-valued quasi-periodically varying systems
PublicationW artykule rozważany jest problem identyfikacji obiektów o parametrach zmieniających się w sposób pseudookresowy. Przedstawiono w nim algorytm oparty o metodę funkcji bazowych umożliwiający śledzenie takich obiektów oraz pokazano atrakcyjne z punktu widzenia złożoności obliczeń jego wersje zdekomponowane. Przydatność rozważanych algorytmów uzasadniono porównując je z rozwiązaniami innych autorów.
-
Umowność ustaleń a wody opadowe
PublicationRealizacja wszelkich obiektów inżynierskich wiąże się nieodłącznie z przyjmowaniem szeregu różnorodnych założeń, charakteryzujących się większym bądź mniejszym stopniem umowności.Stosowanie umownych procedur, szacowanie wartości współczynników, przyjmowanie "odgórnych" wytycznych itp. jest zatem ogólnie przyjętym i - w przeważającej większości przypadków - niebudzącym wątpliwości procederem. Wydaje się jednak, że w przypadku planowania...
-
Analysis of the impact of aspect-oriented programming on source code quality
PublicationCelem rozprawy jest ocena wpływu paradygmatu aspektowego na: modularność, możliwość dalszego rozwoju oraz ponowne użycie oprogramowania. Jako punkt odniesienia do oceny paradygmatu aspektowego wybrano paradygmat obiektowy. W ramach pracy przeprowadzono studium przypadków, w którym zbadano implementacje obiektowe oraz aspektowe 11 rzeczywistych systemów i 23 wzorców projektowych. Ponadto zrealizowano kontrolowany eksperyment, w...
-
Detecting defects in object-oriented diagrams using UML-HAZOP
PublicationArtykuł dotyczy metody wykrywania defektów w dokumentacji oprogramowania wykonywanego z zastosowaniem notacji UML. Metoda ta, nazwana UML-HAZOP, jest adaptacją metody HAZOP szeroko stosowanej w stosunku do systemów związanych z bezpieczeństwem. Metoda ta jest ukierunkowana na wykrywanie anomalii w dokumentacji projektowej na drodze analizy ''przepływów'' pomiędzy komponentami badanego systemu. Adaptacja metody do badania oprogramowania...