Search results for: oscylacyjna metoda testowania - Bridge of Knowledge

Search

Search results for: oscylacyjna metoda testowania

Search results for: oscylacyjna metoda testowania

  • Grażyna Grelowska prof. dr hab. inż.

    People

  • Badania układu UPFC w oparciu o model laboratoryjny i symulacyjny

    W artykule przedstawiono koncepcję oraz sposób realizacji laboratoryjnego modelu układu UPFC. Układ zrealizowano według nowej metodyki oferującej elastyczność w szerokim zakresie testowania nowych algorytmów sterowania. W referacie zaprezentowano też przykładowe wyniki prób eksperymentalnych potwierdzające słuszność przyjętej koncepcji sterowania. Dane pomiarowe zostały również wykorzystane do celów walidacji opracowanego modelu...

    Full text available to download

  • Realizacja elementu LMS wspomagającego proces oceny wiedzy uczestników kursu

    Publication

    W rozdziale monografii omówiono mechanizmy realizacji testowania wiedzy studentów w systemach LMS. Przedstawiono opracowany na Wydziale Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej element systemu LMS oceny wiedzy uczestników zajęć laboratoryjnych. Wyróżniającą cechą tego systemu jest jego modułowa, rozproszona i hierarchiczna architektura oraz niezależność od jakości pracy sieci komputerowej.

  • Comparative study of learning methods for artificial network

    W artykule przedstawiono wyniki badań porównawczych metod uczenia sieci neuronowych takich jak: metoda propagacji wstecznej błędów, rekurencyjna metoda najmniejszych kwadratów, metoda Zangwill'a, metoda algorytmów ewolucyjnych. Celem tych badań jest dobieranie najefektywniejszej metody uczenia do projektowania adaptacyjnego neuronowego regulatora napięcia generatora synchronicznego.metody uczenia, sieć neuronowa, neuronowy regulator...

    Full text available to download

  • Characteristics of hydration water around hen egg lysozyme as the protein model in aqueous solution. FTIR spectroscopy and molecular dynamics simulation

    W niniejszej pracy przedstawiono wyniki badań dotyczące hydratacji białka modelowego - lizozymu z jaja kurzego w roztworze wodnym. Wiodącą techniką stosowaną w badaniach była spektroskopia oscylacyjna FTIR z zastosowaniem techniki rozcieńczenia izotopowego wody półciężkiej HDO w roztworze wody zwykłej. Analiza widma HDO przy pomocy "metody widm zaburzonych" pozwoliła na wyizolowanie widma wody zaburzonej przez lizozym, a tym samym...

    Full text to download in external service

  • MAC contention in a wireless LAN with noncooperative anonymous stations

    Publication

    Rozpatruje się model sieci bezprzewodowej wykorzystywanej przez wzajemnie nieprzenikalne grupy stacji anonimowych. Przy ustalonej regule wyłaniania zwycięzcy rywalizacji o dostęp do medium, stacje posiadają swobodę wyboru strategii selekcji szczeliny rywalizacyjnej. Dla szerokiego zbioru możliwych strategii proponuje się metodologię ich oceny i testowania wydajności opartą na pojęciu zbliżonym do ewolucyjnej stabilności.

    Full text to download in external service

  • Factors determining the production testing of high reliability interference supressor capacitors.

    Publication

    - Year 2004

    Przyjęto nieliniowości i właściwości szumowe kondensatora jako kryteria selekcji kondensatorów przeciwzakłóceniowych na klasy o zróżnicowanej niezawodności. Poprawia to proces oceny jakości kondensatorów o podwyższonej niezawodności. Przedstawiono zastosowanie technik pomiaru nieliniowości i szumów w systemie do produkcyjnego testowania kondensatorów przeciwzakłóceniowych o podwyższonej niezawodności. Przytoczono wybrane wyniki...

  • Bearing testing machine with rotating load vector.

    Publication

    - Journal of KONES - Year 2002

    W pracy przedstawiono koncepcję konstrukcyjną i prototyp stanowiska badawczego z wirująca reakcją łożyskową przeznaczonego do testowania wytrzymałości zmęczeniowej warstw ślizgowych w łożyskach poprzecznych. Konstrukcja i przeznaczenie maszyny zbudowanej w laboratorium tribologicznym Politechniki Gdańskiej jest zgodna z zaleceniami normy ISO 7905. Przeanalizowano zalety i wady maszyny badawczej o takim wzorcu obciążenia testującego.

  • Usability of UML modeling tools

    Publication

    - Year 2005

    Narzędzia wspomagające modelowanie w UML pełnią istotną rolę w procesie wytwarzania i utrzymania oprogramowania. Badanie użyteczności tych narzędzi ma na celu poprawę produktywności oraz satysfakcji z ich użytkowania. W referacie zaprezentowano badania użyteczności za pomocą trzech metod: eksperymentalnego testowania efektywności, zapytań o aspekty użyteczności testowanych narzędzi oraz analitycznej metody GOMS (ang. Goals, Operators,...

  • Analiza bezpieczeństwa usług i transakcji w systemach informatycznych

    Publication

    - Year 2002

    Omówiono zasady zapewnienia bezpieczeństwa usług elektronicznych w archi-tekturze klient - serwer w oparciu o SSL, podpis elektroniczny, PKI, certy-fikaty. Przedstawiono metodę analizy bezpieczeństwa w oparciu o przyjętą worganizacji politykę bezpieczeństwa, zastosowane modele i wykorzystane pro-cedury testowania. Celem tych rozważań jest określenie możliwości oceny iwyboru odpowiednich środków zapewniających bezpieczeństwo...

  • Ryzyko ponoszone przez producenta i konsumenta z powodu niepewności pomiarów

    Publication

    Przeprowadzono krytyczną dyskusję stosowanych w literaturze definicji ryzyka błędnych decyzji wynikających z niepewności pomiarów. Dla znanych rozkładów prawdopodobieństwa charakteryzujących produkcję i aparaturę pomiarową dokonano analizy ryzyka na przykładzie testowania amplitudy napięcia. Pokazano, że tradycyjne definicje ryzyka producenta i ryzyka konsumenta są przypisywane prawdopodobieństwom zaniżonym. Porównano je z definicjami...

    Full text available to download

  • Jacek Stefański prof. dr hab. inż.

    JJacek Stefański received M.Sc., Ph.D. and D.Sc. degrees in telecommunications engineering from Gdansk University of Technology (GUT), Poland, in 1993, 2000 and 2012, respectively. Awarded title of Professor by the President of Poland in 2020. Currently, he works as a professor at the Department of Radio Communication Systems and Networks (DRCSN) in GUT. From 2005 to 2009, he worked as an assistant professor in the National Institute...

  • Testowanie jakości warystorów niskonapięciowych

    Publication

    - Year 2009

    Warystory są powszechnie stosowanym elementem zabezpieczającym przed przepięciami sieć energetyczną. Stąd, jakość tych elementów jest bardzo istotna, aby zabezpieczenie było skuteczne. Warystory są wykonywane z taniego i powszechnie stosowanego materiału - tlenku cynku wraz z dodatkami innych substancji, stanowiącymi zwykle tajemnicę producenta i decydującymi o końcowej jakości wyrobu. Produkty opuszczające fabrykę spełniają narzucone...

  • Testowanie jakości warystorów niskonapięciowych

    Publication

    - elektro.info - Year 2009

    Warystory są powszechnie stosowanym elementem zabezpieczającym przed przepięciami sieć energetyczną. Stąd, jakość tych elementów jest bardzo istotna, aby zabezpieczenie było skuteczne. Warystory są wykonywane z taniego i powszechnie stosowanego materiału - tlenku cynku wraz z dodatkami innych substancji, stanowiącymi zwykle tajemnicę producenta i decydującymi o końcowej jakości wyrobu. Produkty opuszczające fabrykę spełniają narzucone...

    Full text to download in external service

  • An application of the TCRBF neural network in multi-node fault diagnosis method

    Publication

    - Year 2009

    Przedstawiono nową metodę samo-testowania części analogowej w systemach elektronicznych sterowanych mikrokontrolerami. Układ badany pobudzany jest przebiegiem sinusoidalnym przez generator zamontowany w systemie, a jego odpowiedź jest próbkowana w wybranych węzłach przez wewnętrzny przetwornik A/C mikrokontrolera. Detekcja i lokalizacja uszkodzenia jest dokontwana przez sieć neuronową typu TCRBF. Procedurę diagnostyczną zaimplementowano...

  • User-System Interaction Design in IT Projects

    Publication

    - Year 2011

    Monografia omawia główne wymagania dla interfejsu użytkownika oraz przedstawia przegląd metod przydatnych do projektowania interakcji użytkownik-system, jak i do organizowania współpracy z użytkownikami w projektach informatycznych. Znaczną część monografii poświęcono zagadnieniom projektowania koncepcyjnego oraz testowania i oceny powstających rozwiązań. Szczególne miejsce zajmują różne techniki prototypownia oraz zasady prowadzenia...

  • WILiŚ - Kurs testowy nr 1 dla koordynatora kształcenia zdalnego

    e-Learning Courses
    • Ł. Mejłun
    • M. Jaczewski

    Kurs testowy nr 1 dla koordynatora kształcenia zdalnego na WILiŚ PG. Przeznaczony do testowania ustawień, wprowadzania modyfikacji, korzystania z narzędzi, wychwytywania problemów, niedociągnięć związanych z realizacją kursów na platformie e-Nauczanie.

  • Voltage and Reactive Power Load Flow Optimization in the Power System Using Fuzzy Logic

    The paper presents issues related to voltage control in the power system. An original method of reactive power flow optimization is considered, which leads to improved voltages in the power system and reduced active power losses. The optimization method is based on a procedure that employs fuzzy logic and is supported by a gradient search algorithm. The method has been implemented in PLANS software and verified.

    Full text available to download

  • Projektowanie urządzeń pomiarowo-sterujących zintegrowanych z systemem KNX

    Publication

    W artykule przedstawiono zagadnienia dotyczące projektowania urządzeń automatyki budynków zgodnych ze standardem KNX. Opisano strukturę wewnętrzną urządzeń KNX i dokonano przeglądu specjalistycznych podzespołów służących do ich budowy. Przedstawiono również wymagania dotyczące certyfikacji urządzeń KNX oraz niezbędne narzędzia programistyczne. Na końcu podsumowano doświadczenia zdobyte podczas projektowania i testowania prototypu...

    Full text to download in external service

  • An oscillation-based built-in test scheme with AGC loop.

    Publication

    - Year 2006

    Przedstawiono oscylacyjny tester wbudowany (OBIT) do testowania części analogowej elektronicznego układu mieszanego sygnałowo zmontowanego na pakiecie. W celu zwiększenia współczynnika pokrycia uszkodzeń, w testerze zastosowano pomiary w dziedzinie czasu i częstotliwości. Omówiono wybrane aspekty implementacji testera, w szczególności problem transformacji układu testowanego w oscylator. Przeprowadzono analizę stanu ustalonego...

    Full text to download in external service

  • Test limitations induced by fault-driven instability of analog circuits.

    Publication

    - Year 2004

    Celem pracy jest ocena ograniczeń testowania uszkodzeń parametrycznych wynikajacych z utraty stabilności przez testowany układ analogowy. Zastosowano metody zapożyczone z teorii sterowania: liniową transformacje frakcyjną i analizę metodą strukturalnych wartości szczególnych. Przykładowej analizie poddano filtr typu leapfrog. Do obliczeń wykorzystano środowisko Matlab/Simulink. Wyniki obliczeń wykazały dużą podatność testowanego...

  • Uporządkowane kolorowanie wierzchołków grafów

    W pracy przedstawiamy stosunkowo nowy model kolorowania grafów, mianowicie kolorowanie uporządkowane. Po scharakteryzowaniu potencjalnych zastosowań tego modelu przedstawiamy liniowy algorytm kolorowania grafów w sposób przybliżony. Pokazujemy klasy grafów, które ten algorytm koloruje optymalnie i klasy grafów, dla których błąd pokolorowania może być dowolnie duży. Przedstawiamy również doświadczenia komputerowe zebrane w trakcie...

  • Testowanie układów cyfrowych z wykorzystaniem magistrali IEEE 1149.7

    Przedstawiono opracowaną w grudniu 2009 r. cyfrową magistralę testującą IEEE 1149.7 przeznaczoną do testowania i debuggingu wielordzeniowych układów wbudowanych. W stosunku do magistrali IEEE1149.1, której jest rozszerzeniem, magistrala IEEE1149.7 zapewnia zredukowaną do dwóch liczbę wyprowadzeń, możliwość pracy w konfiguracji gwiazdowej, indywidualne adresowanie urządzeń, eliminację ze ścieżki brzegowej nieaktywnych układów, zarządzanie...

    Full text available to download

  • BALISTYKA DLA SNAJPERÓW: PRAKTYCZNY PORADNIK

    Publication

    - Year 2018

    Jest książka z zakresu balistyki, opracowana dla snajperów, strzelców wyborowych, sportowych strzelców długodystansowych oraz myśliwych. W przystępny sposób przedstawiono w niej zagadnienia związane z balistyką wewnętrzną, zewnętrzną i końcową. Bardzo wnikliwie omówiono również celowniki optyczne, sposoby ich testowania i regulacji. Opisano zasady określania poprawek uwzględniających odległość od celu, położenie i ruch celu oraz...

    Full text to download in external service

  • Zastosowanie zachowującej kolor segmentacji obrazu barwnego do wyszukiwania obszarów zawierających tekst.

    Publication

    - Year 2004

    W pracy opisana została metoda segmentacji obrazów barwnych dedykowana do rozpoznawania obszarów zawierających tekst oraz przedstawiona została metoda kontekstowej analizy przetworzonego obrazu.

  • Metoda próbkowania pozastatystycznego jako instrument usprawniający proces kontroli finansowej. W: Wewnętrzne i zewnętrzne determinanty procesów de- cyzyjnych w zarządzaniu finansami przedsiębiorstw. Monografia Katedry Finansów nr 1. Gdańsk: Kated. Finan. Wydz. Zarz. i Ekon. P. Gdań.**2003 s.55-64, 1 rys. bibliogr. 6 poz.

    Publication

    - Year 2003

    ....

  • Adam Boryczko dr hab. inż.

    People

    Studia na Wydziale Mechanicznym Technologicznym Politechniki Gdańskiej w latach 1967 – 1973 oraz dyplom mgr inż. mechanika – Technologia Budowy Maszyn. W latach 1973 – 1975 praca w Zakładzie Doświadczalnym Hydrauliki Okrętowej przy ZUO „HYDROSTER” PP w Gdańsku, stanowiska: technolog badania wyrobów, konstruktor badania wyrobów, konstruktor. Od 1975 r. pracuje w Politechnice Gdańskiej na Wydziale Mechanicznym Technologicznym,...

  • Performance and Security Testing for Improving Quality of Distributed Applications Working in Public/Private Network Environments

    Publication

    - Year 2010

    The goal of this dissertation is to create an integrated testing approach to distributed applications, combining both security and performance testing methodologies, allowing computer scientist to achieve appropriate balance between security and performance charakterstics from application requirements point of view. The constructed method: Multidimensional Approach to Quality Analysis (MA2QA) allows researcher to represent software...

  • Modelowanie charakterystyk magnesowania przełączalnych silników reluktancyjnych z wykorzystaniem sieci neuronowych

    Publication

    - Year 2007

    W pracy przedstawiono możliwość wykorzystania sztucznej sieci neuronowej w jednej z metod analitycznych modelowania charakterystyk magnesowania przełączalnych silników reluktancyjnych. W szczególności przedstawiono uzasadnienie doboru zmiennych podawanych na warstwę neuronów wejściowych sieci, przygotowanie zbioru uczącego, walidacyjnego i testującego, wybór struktury i dobór parametrów sieci, proces uczenia t testowania oraz wyniki...

  • Adaptive selection of control parameters in differential evolution algorithms

    Publication

    - Year 2008

    W pracy przedstawiono metodę adaptacyjnej selekcji parametrów kontrolnych w różnicowych algorytmach ewolucyjnych. Wartości parametrów takich jak: stopień krzyżowania i współczynnik różnicowej mutacji są odpowiednio zmieniane. Funkcje testowe użyte do testowania proponowanej metody były zaczerpnięte z literatury. Rezultaty uzyskane przy użyciu opisanej metody zostały porównane z innymi metodami selekcji różnicowej. Wyniki te, uzyskane...

  • Port knocking - alternatywne rozwiązania

    Omówiono techniki pukania w porty (ang. Port Knocking). Zaproponowano nowe wersje mechanizmu oparte o wykonanie sekwencji puknięć wieloma pakietami w jeden port: pukanie pakietami o różnej długości, przy czym długości te stanowiłyby sekwencję kodową, oraz pukanie, w którym sekwencją kodową są odcinki czasu pomiędzy pojawianiem się na porcie kolejnych pakietów. Rozważono możliwości zastosowania tego typu port knockingu i zaproponowano...

  • Zastosowania elektrochemicznej mikrowagi kwarcowej w badaniach korozyjnych

    Publication

    Przegląd niniejszy opisuje zastosowania elektrochemicznej wagi kwarcowej (EQCM) w badaniach korozyjnych. Przedstawione zostały dwa główne obszary badań. Jeśli chodzi o badania mechanizmów korozji, mikrowaga elektrochemiczna była wykorzystywana jako narzędzie do testowania korozji miedzi, niklu, cynku, aluminium i stopów. Była użyteczna w określaniu mechanizmów roztwarzania albo pasywacji w różnych warunkach. Drugim kierunkiem wykorzystania...

  • Application of the electrochemical quartz crystal microbalance in corrosionstudies

    Przegląd niniejszy opisuje zastosowania elektrochemicznej wagi kwarcowej (EQCM) w badaniach korozyjnych. Przedstawione zostały dwa główne obszary badań. Jeśli chodzi o badania mechanizmów korozji, mikrowaga elektrochemiczna była wykorzystywana jako narzędzie do testowania korozji miedzi, niklu, cynku, aluminium i stopów. Była użyteczna w określaniu mechanizmów roztwarzania albo pasywacji w różnych warunkach. Drugim kierunkiem wykorzystania...

  • Marek Wirkus dr hab. inż.

    People

    M. Sc. (1977 in the field of mechanical engineering technology and production management); Ph.D. degree in the field of Economic Sciences (1990; production management using IT techniques), habilitated doctor in the field of Economic Sciences, in the discipline of Management Sciences (2007 in the area of managing the portfolio of innovative projects); Co-creator of the Faculty of Management and Economics (1993); Vice Dean for Continuing...

  • MODEL FOR MEASUREMENT OF FLOW INSTALLATION TIME IN SDN SWITCH

    SDN is the approach in telecommunication networks that separates control plane from data forwarding plane by specifying a single network entity as a controller that defines rules (called flows) of traffic forwarding for the switches connected to it. The time that is required for installation of these rules might be a hindrance for the overall performance of SDN network. In the paper, a model for testing and evaluating the influence...

    Full text to download in external service

  • VOF-DEM-FEM combined model of the reef breakwater collapse

    Publication

    - COASTAL ENGINEERING JOURNAL - Year 2009

    Zespolony model numeryczny (metoda modelowania przepływu ze swobodną powierzchnią rozdziału faz ciekłej i gazowej w siatce nieruchomej (ang. Volume of Fluid - VOF, metoda elementów dyskretnych (ang. Distinct Element Method, metoda elementów skończonych (MES)) został wykorzystany do zbadania odkształceń falochronu narzutowego i jego piaszczystego podłoża w wyniku oddziaływania falowania powierzchniowego. Wyniki analizy numerycznej...

    Full text to download in external service

  • Zastosowanie magistrali testującej IEEE 1149.6 do diagnostyki układów cyfrowych sprzężonych pojemnościowo

    Przedstawiono magistralę ułatwionego testowania standardu IEEE 1149.6 przeznaczoną do diagnostyki złożonych układów cyfrowych sprzężonych pojemnościowo. Zaprezentowano metody transmisji sygnałów cyfrowych o b. wysokich częstotliwościach, a następnie przedstawiono rozwiązania kluczowych elementów magistrali: komórkę brzegowego rejestru wyjściowego z nadajnikiem sygnałów testowych oraz detektor sygnałów różnicowych o sprzężeniu pojemnościowym....

  • Hunting for bindings in distributed object-oriented systems.

    Publication
    • M. Sławińska

    - Year 2004

    Artykuł dotyczy problemu identyfikacji grupy obiektów, które pozostają z danym obiektem w pewnej relacji. Problem ten jest szczególnie istotny w sytuacji, gdy należy wyodrębnić grupę obiektów w celu np. testowania czy monitorowania. W arykule zdefiniowano statyczną i dynamiczną relację powiązania pomiędzy obiektami w rozproszonym systemie obiektowym. Zaproponowano również architekturę umożliwiającą wyszukiwanie tych powiązań. Przedstawiono...

  • Testing and tuning PLC application programs

    Publication

    - Year 2005

    We wstępie zawarto kilka uwag autora dotyczących pilnej potrzeby wdrażania na Wydziale Mechanicznym idei mechatronicznego kształcenia. Przedstawiono przegląd sposobów monitorowania i testowania programów aplikacyjnych PLC podczas budowania lub modernizacji systemów sterowania. Przedyskutowano zakres zastosowań oraz ograniczenia poszczególnych sposobów. Opisano przykład zastosowania zbudowanego stanowiska do eksperymentalnych testów...

  • „Praca metodą projektu” - 5. Szkolenie certyfikowane 28.10.2022 r.

    e-Learning Courses

  • Integracja usług sieciowych z uwzględnieniem poziomu wiarygodności ich dostawców

    Artykuł porusza temat wiarygodności danych pobieranych z usług sieciowych. Przedstawiona została metoda oceny wiarygodności takich danych opierająca się na czterech metrykach: powszechności informacji, niezależności źródła informacji, prestiżu źródła oraz doświadczenia ze współpracy ze źródłem. Metoda ta ma zastosowanie przy integracji usług sieciowych pochodzących od wielu różnych dostawców. Metoda pozwala na automatyczną ocenę...

    Full text available to download

  • Hybrid finite-difference/mode-matching method for analysis of scattering from arbitrary configuration of rotationally-symmetrical posts

    W artykule przedstawiona została metoda hybrydowa pozwalająca na analizę zjawiska rozpraszania od dowolnej konfiguracji obiektów o osiowej symetrii. Proponowana metoda oparta jest na reprezentacji obiektu lub dowolnej konfiguracji obiektów poprzez zastępczy obiekt kulisty ze znanymi warunkami brzegowymi. W analizie pojedynczego obiektu wykorzystana została metoda hybrydowa stanowiąca połączenie metody różnic skończonych z metodą...

    Full text to download in external service

  • Autonomiczne platformy bezzałogowe 2023

    e-Learning Courses
    • M. Tarkowski
    • D. Karkosiński
    • M. Rzymowski
    • J. Magiera
    • P. Fiertek
    • Ł. Kulas
    • R. Śmierzchalski
    • C. Żrodowski
    • J. Demkowicz
    • D. Toboła... and 9 others

    Jest to wykład związany z kierunkiem wybieralnym na drugim stopniu studiów "Technologie Pojazdów Autonomicznych". Krótki opis wykładu: Przedmiot obejmuje zagadnienia teoretyczne związane z tematyką technologii autonomicznych np. cyber- -bezpieczeństwo, systemy komunikacyjne i nawigacyjne, podstawy konstrukcji, testowania i najważniejsze aspekty prawne.

  • Autonomiczne platformy bezzałogowe 2022

    e-Learning Courses
    • M. Tarkowski
    • D. Karkosiński
    • M. Rzymowski
    • J. Magiera
    • P. Fiertek
    • Ł. Kulas
    • R. Śmierzchalski
    • C. Żrodowski
    • J. Demkowicz
    • D. Toboła... and 11 others

    Jest to wykład związany z kierunkiem wybieralnym na drugim stopniu studiów "Technologie Pojazdów Autonomicznych". Krótki opis wykładu: Przedmiot obejmuje zagadnienia teoretyczne związane z tematyką technologii autonomicznych np. cyber- -bezpieczeństwo, systemy komunikacyjne i nawigacyjne, podstawy konstrukcji, testowania i najważniejsze aspekty prawne.

  • Autonomiczne platformy bezzałogowe 2024

    e-Learning Courses
    • M. Tarkowski
    • D. Karkosiński
    • M. Rzymowski
    • J. Magiera
    • P. Fiertek
    • Ł. Kulas
    • R. Śmierzchalski
    • C. Żrodowski
    • J. Demkowicz
    • D. Toboła... and 10 others

    Jest to wykład związany z kierunkiem wybieralnym na drugim stopniu studiów "Technologie Pojazdów Autonomicznych". Krótki opis wykładu: Przedmiot obejmuje zagadnienia teoretyczne związane z tematyką technologii autonomicznych np. cyber- -bezpieczeństwo, systemy komunikacyjne i nawigacyjne, podstawy konstrukcji, testowania i najważniejsze aspekty prawne.

  • Kazimierz Orłowski prof. dr hab. inż.

  • Model formalny dla problemu lokalizacji błędów w kodzie programu

    Istnieje 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...

    Full text available to download

  • Metody projektowania ułatwiającego testowanie dla układów cyfrowych

    Publication

    - Year 2005

    Przedstawiono przegląd metod ułatwiających testowanie DFT (Design for Testability) dla układów cyfrowych. Zaprezentowano metody stosowane na poziomie układów scalonych, pakietów oraz systemów elektronicznych. Pokazano heurystyczne metody projektowania pozwalające na zwiększenie sterowalności i obserwowalności układów oraz metody strukturalne, a wśród nich układy BILBO (Built-In Logic Block Observer), BIST (Built-In Self Test),...

  • The generalization by simplification operator with Chrobak’s method of objects representing groups of buildings in Kartuzy district - scale 1:10000

    The process of automatic generalization is one of the elements of spatial data preparation for the purpose of creating digital cartographic studies. The presented data include a part of the process of generalization of building groups obtained from the national geodesy and cartography resource from BDOT10k (10k topographic database) [1].

  • The generalization by simplification operator with Chrobak’s method of objects representing groups of buildings in Gdańsk district - scale 1:10000

    The process of automatic generalization is one of the elements of spatial data preparation for the purpose of creating digital cartographic studies. The presented data include a part of the process of generalization of building groups obtained from the national geodesy and cartography resource from BDOT10k (10k topographic database) [1].