Filters
total: 725
filtered: 537
-
Catalog
Chosen catalog filters
Search results for: SZACOWANIE ZŁOŻONOŚCI OPROGRAMOWANIA
-
Kryteria oceny metody wspomagającej interakcję klient-Dostawca oprogramowania i ich zastosowanie do metody WIKLIDO
PublicationW rozdziale przedstawiono metodę Wspomagania Interakcji KLIent-Dostawca Oprogramowa-nia (WIKLIDO) oraz wyjaśniono w jaki sposób wykorzystano metodę GQM (ang. Goal Question Metrics) do systematycznego wywiedzenia metryk oceny tej metody.
-
Ocena warunków nasłonecznienia i projektowanie elektrowni słonecznych z wykorzystaniem dedykowanego oprogramowania oraz baz danych
PublicationPrzytoczono typowe dla obszaru Polski wartości nasłonecznienia. Zaprezentowano sposoby dokładniejszego określenia wartości nasłonecznienia w oparciu o bazy danych o nasłonecznieniu i aplikacje komputerowe. Narzędzia te pozwalają w pełniejszy sposób uwzględnić kąt nachylenia i azymut modułów fotowoltaicznych, linię horyzontu i zacienienie oraz zmienność nasłonecznienia w ciągu roku na podstawie statystycznych wartości nasłonecznia...
-
Wstęp do optymalizacji konstrukcji fotelika samochodowego do przewozu dzieci z wykorzystaniem oprogramowania CAD i MES
PublicationW artykule opisano najważniejsze funkcje fotelika. Omówiono przebieg prac projektowych fotelik samochodowego do przewozu dziecka w samochodzie na podstawie wdrożonego do produkcji projektu. Przedstawiono konstrukcje zbudowanych prototypów oraz wybrane wyniki optymalizacji MES.
-
Modelowanie jakości powietrza w powiązaniu z modelem numerycznym miasta z wykorzystaniem oprogramowania działającego na platformie wieloprocesorowej
PublicationArtykuł przedstawia wyniki modelowania zanieczyszczenia powietrza dla wybranych źródeł drogowych. Obliczenia emisji i propagacji zanieczyszczeń powietrza dokonano za pomocą modelu AUSTAL2000, dostępnego w aplikacji CadnaA. Przedstawiono wyniki analiz dla następujących substancji: SO2, NOx, PM10, benzen. Dodatkowo zamieszczono łączne wyniki zanieczyszczeń powietrza i poziomy hałasu dla rozpatrywanych dróg. Zastosowanie platformy...
-
Assessment of damage due to earthquake-induced pounding between the main building and the stairway tower
PublicationRaporty po trzęsieniach ziemi pokazują, iż występujące podczas wstrząsów sejsmicznych zderzenia pomiędzy sąsiednimi konstrukcjami budowlanymi, lub ich częściami, mogą prowadzić do znacznych uszkodzeń lub nawet całkowitego zniszczenia konstrukcji. Celem niniejszego artykułu jest oszacowanie zakresu i intensywności zniszczeń na skutek zderzeń pomiędzy budynkiem głównym szpitala Olive View a wolnostojącą klatką schodową podczas trzęsienia...
-
Theoretical and experimental assessment of parameters for the non-linear viscoelastic model of structural pounding
PublicationZjawisko zderzeń pomiędzy sąsiednimi konstrukcjami budowlanymi podczas trzęsień ziemi jest w ostatnim czasie intensywnie badane z wykorzystaniem różnych modeli numerycznych siły zderzenia w czasie kontaktu. Wyniki badań eksperymentalnych pokazują, iż nieliniowy model lepko-sprężysty jest najdokładniejszy wśród modeli stosowanych do analizy. Model ten zdefiniowany jest poprzez dwa parametry: liczbę tłumienia zderzenia oraz parametr...
-
Revsable framework for telecontrol protocols. W: Springer Homepage [online] Proceedings. Second International ESPRIT ARES Workshop on Development and Evolution of Software Architectures for Product Families. Las Palmas de Gran Canaria, Spain, February 26-27, 1998. [Dostęp: 20 grudnia**2002]. Ed. F. van der Linden. Dostępny w World Wide Web: http://link.springer.de/link/ /service/series/0558/tocs/t1429.htm [s. 6-13, 5 rys. bibliogr. 6 poz.] Wzorce wielokrotnego wykorzystania oprogramowania protokołów telesterowa- nia.
PublicationZaprezentowano wzorzec COMSOFT wielokrotnego wykorzystania oprogramowania o-pracowany dla protokołów telesterowania. Jego podstawy tworzą: metodologiaobiektowa i wzorce wielokrotnego użycia. Zastosowanie wzorców wspomagają:biblioteka komponentów, wykorzystywanych we wszystkich fazach konstrukcji o-programowania oraz procedury użytkowania i parametryzacji. Opracowane wzorcezostały praktycznie zastosowane do konstrukcji oprogramowania...
-
SZACOWANIE ZAWARTOŚCI BENZO(a)PIRENU W PYLE ZAWIESZONYM PM10 W AGLOMERACJI TRÓJMIEJSKIEJ ZA POMOCĄ WIELOWYMIAROWEJ REGRESJI LINIOWEJ=ESTIMATION OF BENZO(A)PYRENE CONTENT IN SUSPENDED DUST PM10 IN TRI-CITY AGGLOMERATION USING MULTIDIMENSIONAL LINEAR REGRESSION
PublicationW pracy przedstawiono próbę oszacowania przy pomocy wielowymiarowej regresji liniowej modelu empirycznego opisującego czynniki wpływające na zawartość B(a)P w pyle zawieszonym PM10 w Aglomeracji Trójmiejskiej w latach 2008-2011. Na przestrzeni tych lat średnioroczne stężenie B(a)P w PM10 wzrosło ponad dwukrotnie i ponad trzykrotnie przewyższa poziom docelowy. Z przeprowadzonych analiz wynika, że główną przyczyną wzrostu stężenia...
-
Potyczki algorytmiczne, czyli Alicja i Bogdan w różnych sytuacjach. Alicja i Bogdan wśród ludożerców
PublicationWprowadzono do zagadnień złożoności czasowej i pamięciowej
-
On the complexity of distributed greedy coloring
PublicationW pracy rozważono problem kolorowania grafów przy dodatkowym założeniu, że kolor żadnego wierzchołka nie może zostać zmniejszony bez zmiany kolorów przynajmniej jednego z jego sąsiadów. Przeprowadzone rozważania dotyczyły złożoności obiczeniowej problemu w modelu Liniala obliczeń rozproszonych. Podano ograniczenia dolne i górne złożoności problemu oraz zestawiono problem z innymi pokrewnymi zagadnieniami grafowymi.
-
Planning emergency manoeuvres
PublicationW artykule poruszono problem planowania manewrów ostatniej szansy i zmian planowanej trajektorii statku w przypadku nieoczekiwanych zachowań obiektów obcych. Wprowadzono dwie metody. Pierwsza z nich jest odpowiedzialna za monitorowanie parametrów obiektów obcych, szacowanie prawdopodobieństwa nieprzepisowego zachowania i aktualizację trajektorii statku własnego. Druga to narzędzie wizualizacyjne umożliwiające nawigatorowi szybki...
-
The micro implementation of a Web server.
PublicationArtykuł prezentuje techniczne zasady projektowania mikroserwerów internetowych o zredukowanej złożoności konstrukcyjnej i niewielkim poborze energii.
-
Application of Immunological Techniques (from Vaccination to FinalMeasurements) in Determination of Pharmaceutical Residues in Environmental Samples
PublicationWiele biologicznie aktywnych związków wytwarzanych przez człowieka trafia ostatecznie do środowiska. Ich los środowiskowy pozostaje nadal wyzwaniem dla analityków środowiskowych i osób odpowiedzialnych za szacowanie ryzyka. Artykuł przedstawia przegląd jednej z najszerszych i bezpośrednich metod analiz środowiskowych - immunoanalitykę - ze szczególnych uwzględnieniem jej zastosowania do oznaczania jakościowego i ilościowego pozostałości...
-
Pomiar tłumienia propagacyjnego na pokładzie promu pasażerskiego
PublicationW artykule przedstawiono problematykę predykcji i pomiarów poziomu sygnału radiowego we wnętrzach promów pasażerskich. Znany z literatury model propagacyjny pozwalający na szacowanie tłumienia propagacyjnego na promach został zweryfikowany poprzez wykonanie pomiarów rozkładu poziomu sygnałów radiowych na wybranym promie i porównanie wyników z obliczeniami przy użyciu modelu. Artykuł zawiera także opis zastosowanego stanowiska i...
-
Entropia w badaniach zaburzeń rytmu serca
PublicationArtykuł prezentuje zastosowanie ''Approximate Entropy'', będącej miarą stopnia złożoności szeregów czasowych, do analizy zmiennosci rytmu serca.
-
Rurociąg bez wykopu.
PublicationProblemy związane z realizacjami bezwykopowymi, stopień złożoności zagadnienia. Konieczność szczególnie starannego doboru technologii do określonych warunków.
-
Zagadnienie bilansowania obiegu cieplnego z zastosowaniem rachunku wyrównawczego w diagnostyce okrętowych turbinowych silników spalinowych
PublicationPrzedstawiono metodę określania niedostępnych pomiarowo parametrów stosowanych w diagnozowaniu okrętowych turbinowych silników spalinowych. Na przykładzie silnika jednowirnikowego pokazano parametry sygnału diagnostycznego. Przedstawiono wstępne szacowanie parametrów w bilansowaniu obiegu jednowirnikowego turbinowego silnika spalinowego. Pokazano przykładowe wyniki obliczeń sprawności termicznej komory spalania z wykorzystaniem...
-
ZASTOSOWANIE APLIKACJI R-TECH DO WYZNACZANIA NIEPEWNOŚCI POMIARU REZYSTANCJI METODĄ TECHNICZNĄ
PublicationW artykule przedstawiono aplikację R-Tech, która została zaprojektowana przez autorów jako narzędzie wspomagające szacowanie niepewności pomiaru rezystancji mierzonej metodą techniczną. W programie zaimplementowano algorytm wyznaczania niepewności rezystancji zgodny z zaleceniami zawartymi w Przewodniku GUM, czyli na podstawie prawa propagacji niepewności. Zaprezentowana aplikacja pozwala na przeprowadzenie analizy, która może...
-
Proposal of Steel weldability quantification.
PublicationPrzedstawiono analizę używanych definicji spawalności i zaproponowano jej zmodyfikowanie. Opracowano metodykę określania wartości względnej spawalności stali stodowanych na konstrukcje spawane. Za podstawę przyjęto uniwersalną skalę jakościową. Dla określenia spawalności uwzględniono szacowanie skłonności do pękania gorącego, zimnego, lamelarnego oraz relaksacyjnego. Ponadto, wzięto pod uwagę wskaźniki eksploatacyjne złącza, takie...
-
Smart systems integration: toward overcoming the problem of complexity
PublicationW pracy omówiono modelowa propozycję integracji systemu opartą na zastosowaniu sztucznej inteligencji w celu rozwiązania problemu złożoności systemowej.
-
Ontology-Aided Software Engineering
PublicationThis thesis is located between the fields of research on Artificial Intelligence (AI), Knowledge Representation and Reasoning (KRR), Computer-Aided Software Engineering (CASE) and Model Driven Engineering (MDE). The modern offspring of KRR - Description Logic (DL) [Baad03] is considered here as a formalization of the software engineering Methods & Tools. The bridge between the world of formal specification (governed by the mathematics)...
-
Doskonalenie zarządzania jakością procesu przetarcia tarcicy
PublicationW pracy przedstawiono analizę i wyniki badań doświadczalnych dokładności przecinania pryzm ze zmrożonego drewna brzozowego na dwuwrzecionowej pilarce tarczowej w warunkach przemysłowych. W badaniach wykorzystywano piły o konstrukcji tradycyjnej typu "Multix" oraz piły nowego typu konstrukcji własnej. Ponadto, wykazano, że obecność w przekroju poprzecznym, zmiennego na długości przecinanej deski, stopnia po obu jej stronach ma decydujący...
-
Realizacja łącza sygnalizacyjnego SS7 w sieci IP QoS
PublicationWykorzystanie technologii IP dla realizacji połączeń między sieciami PSTN/ISDN wymaga obsługi sygnalizacji SS7 ISUP. Jednym z rozwiązań tego problemu jest utworzenie łącza sygnalizacyjnego na platformie IP dla połączenia punktów sygnalizacyjnych łączonych sieci. W niniejszej pracy opisano pojęcie łącza sygnalizacyjnego SS7, jego ekwiwalent w sieci IP oraz propozycję rozwiązania programowego realizującego takie łącze w sieci IP...
-
A method of supporting client-provider cooperation in software acquisition processes and its evaluation criteria
PublicationArtykuł przedstawia metodę Wspomagania Interakcji KLienta i Dostawcy Oprogramowania (WIKLIDO). Metoda ta została zpowodzeniem zastosowana w dwóch studiach przypadków w komercyjnych projektach pozyskiwania oprogramowania. Artykuł wyjaśnia w jaki sposób metoda wykorzystuje środki modelowania do usystematyzowania interakcji pomiędzy klientem i dostawcą oprogramowania. Przedstawia również w jaki sposób wykorzystano podejście GQM (ang....
-
Cztery algorytmy które wstrząsnęły światem. Część I: Rys historyczny
PublicationOpracowanie jest pierwszym fragmentem 3-częściowego szkicu popularnonaukowego poświęconego najważniejszym osiągnięciom w dziedzinie algorytmiki teoretycznej. Wprowadzono w w arkana złożoności obliczeniowej i sztuki programowania komputerów.
-
Cztery algorytmy które wstrząsnęły światem. Część I: Wprowadzenie
PublicationArtykuł przeglądowy jest pierwszym fragmentem 3-częściowego szkicu popularnonaukowego poświęconego najważniejszym osiągnięciom w dziedzinie algorytmiki. Wprowadzono w nim w arkana złożoności obliczeniowej i sztuki programowania komputerów.
-
Artificial intelligence for software development — the present and the challenges for the future
PublicationSince the time when first CASE (Computer-Aided Software Engineering) methods and tools were developed, little has been done in the area of automated creation of code. CASE tools support a software engineer in creation the system structure, in defining interfaces and relationships between software modules and, after the code has been written, in performing testing tasks on different levels of detail. Writing code is still the task...
-
Million dollar algorithn?
PublicationArtykuł w sposób popularnonaukowy porusza następujące problemy:- 2300 lat algorytmiki- 7 problemów milenijnych- rodzaje problemów pod kątem złożoności obliczeniowej- planowanie optymalne- banki i grafy- czy P=NP?
-
On bounded load routings for modeling k-regular connection topologies
PublicationW pracy analizowane są problemy modelowania k-regularnych topologii sieci komputerowych z punktu widzenia routingu typu point-to-point. Zaprezentowane są algorytmy oraz przeprowadzona jest analiza złożoności obliczeniowej.
-
Umysł kontra umysł - zagrożenia i metody walki ze złośliwym oprogramowaniem
PublicationZaprezentowano aktualny stan wiedzy na temat malware – złośliwego oprogramowania. Na początku przedstawiane są definicje malware oraz motywacja osób rozwijających takie oprogramowanie, a następnie klasyfikacja malware. W dalszej części referatu zaprezentowano autorski, możliwie kompletny, cykl życia złośliwego oprogramowania. Kolejny fragment poświęcony jest technikom, jakie stosują twórcy złośliwego oprogramowania w celu utrudnienia...
-
Experimental evaluation of the PLC-controlled drives properties.
PublicationPrzedstawiono strukturę stanowiska laboratoryjnego do testów oprogramowania PLC do sterowania napędami oraz do prowadzenia eksperymentalnych prób takich napędów. Omówiono zasady prowadzenia testów oprogramowania przed i w trakcie uruchamiania napędu. Przedstawiono przykładowe rezultaty doświadczeń.
-
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.
-
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.