Filters
total: 465
-
Catalog
Search results for: testowanie zgodnosci
-
Vibration surveillance during milling of flexible details with a use of the optimal control
PublicationPraca dotyczy nadzorowania drgań podczas obróbki frezem kulistym zakrzywionych przedmiotów podatnych. Utworzono model hybrydowy niestacjonarnego układu drgającego i wydzielono podukłady: strukturalny, modalny oraz łączący. Istotnym zadaniem było utworzenie modelu przedmiotu podatnego w konwencji metody elementów skończonych oraz uzyskanie dobrej zgodności modelu z wynikami eksperymentalnej analizy modalnej obiektu rzeczywistego.
-
Ewolucja teorii konkurencyjności.
PublicationCelem publikacji jest przedstawienie ewolucji teorii konkurencyjności, począwszy od najstarszych teorii handlu międzynarodowego a kończąc na współczesnych modelach konkurencyjności. Autorka podjęła się tego tematu ze względu na wieloznaczność pojęcia konkurencyjności, brak polskich publikacji na ten tam oraz ze względu na brak wśród ekonomistów zgodności, co do istnienia jednolitej teorii konkurencyjności.
-
MAC contention in a wireless LAN with noncooperative anonymous stations
PublicationRozpatruje 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.
-
Bearing testing machine with rotating load vector.
PublicationW 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.
-
Factors determining the production testing of high reliability interference supressor capacitors.
PublicationPrzyję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...
-
A novel method for vibration surveillance during high speed ball end milling of flexible details
PublicationPraca dotyczy nadzorowania drgań podczas obróbki zakrzywionych przedmiotów podatnych frezem kulistym, z uwzględnieniem zgodności parametrów modelu modalnego. Przedstawiono analizę dynamiki niestacjonarnego okładu drgającego, z którego wydzielono podukład modalny, strukturalny i łączący. Zastosowano minimalizację poziomu drgań z dopasowaniem prędkości obrotowej wrzeciona do optymalnego kąta przesunięcia fazowego. Eksperymenty doświadczalne...
-
Cross sections for electron scattering from furan molecules; measurements and calculations
PublicationZmierzono i policzono przekroje czynne (TCS) na rozproszenie elektronów na drobinach furanu (C4H4O). Całkowite przekroje czynne zmierzono metodą transmisyjną w zakresie energii 0.6 - 400 eV. Sprężysty i jonizacyjny przekrój czyny obliczono dla energii zderzenia do 4 keV; powyżej 70 eV suma obu przekrojów pozostaje w dobrej zgodności z mierzonymi wartościami TCS.
-
Modelowanie chropowatości powierzchni elementów wytwarzanych metodą Stereolitografii
PublicationPowierzchnia modeli wykonywanych metodą Stereolitografii cechuje struktura zwana ''efektem schodkowym''. Aby minimalizować proces dodatkowej obróbki należy tak ustawiać model w stosunku do warstw przyrostowych aby na najbardziej istotnych powierzchniach uzyskać minimalną chropowatość. W artykule przedstawiono istotne elementy procesu jak i modele struktury powierzchni oraz porównawcze wyniki zgodności z badaniami eksperymentalnymi.
-
Ryzyko ponoszone przez producenta i konsumenta z powodu niepewności pomiarów
PublicationPrzeprowadzono 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...
-
Analiza bezpieczeństwa usług i transakcji w systemach informatycznych
PublicationOmó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...
-
Modelling and investigation of vibration surveillance during ball end milling of curved flexible details
PublicationPraca dotyczy nadzorowania drgań podczas frezowania zakrzywionych przedmiotów podatnych smukłym frezem kulistym, z uwzględnieniem zgodności parametrów modelu modalnego. Dokonano analizy dynamiki niestacjonarnego układu drgającego, w którym wyodrębniono podukłady: modalny, strukturalny i łączący. Do minimalizacji poziomu drgań zastosowano dopasowanie prędkości obrotowej wrzeciona do optymalnego kąta przesunięcia fazowego. Zasadność...
-
Ontologie ram projektowych jako narzędzie wspomagające decyzje komitetów sterujących
PublicationCelem artykułu jest wykazanie przydatności ontologii jako narzędzia wspomagającego decyzje prac komitetów sterujących. Budowa ontologii jako narzędzia wspomagającego decyzje była konsekwencją pojawienia się problemu oceny wniosków projektowych zgłaszanych do projektu Inteligentnych Specjalizacji Pomorza Smart Port & City. W artykule przedstawiono etapy budowy ontologii oraz jej zastosowanie do analizy zgodności dokumentów z przyjętymi...
-
An application of the TCRBF neural network in multi-node fault diagnosis method
PublicationPrzedstawiono 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
PublicationMonografia 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...
-
Adaptacyjna metoda synchronizacji prądnic w systemie elektroenergetycznym
PublicationW artykule przedstawiono nowo opracowaną, adaptacyjną metodę synchronizacji prądnic w systemie elektroenergetycznym. Metoda ta w porównaniu z metodami dotychczas stosowanymi posiada szereg zalet, do których z pewnością należy zaliczyć: skrócenie czasu trwania procesu synchronizacji, inny aniżeli dotychczas sposób sterowania napięciem i prędkością kątową synchronizowanego obiektu, zwiększona dokładność ekstrapolacji (funkcją wymierną)...
-
An oscillation-based built-in test scheme with AGC loop.
PublicationPrzedstawiono 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...
-
Implementacja metody diagnostycznej opartej na wielokrotnym próbkowaniu odpowiedzi czasowej w mieszanym sygnałowo mikrosystemie elektronicznym
PublicationPrzedstawiono nowe podejście samo-testowania toru analogowego zakończonego przetwornikiem A/C w mieszanych sygnałowo mikrosystemach elektronicznych sterowanych mikrokontrolerami. Bazuje ono na nowej metodzie diagnostycznej opartej na przekształceniu transformującym próbki odpowiedzi czasowej badanej części analogowej na pobudzenie impulsem prostokątnym na krzywe identyfikacyjne w przestrzeni pomiarowej. Metoda ta pozwala na detekcję...
-
Projektowanie urządzeń pomiarowo-sterujących zintegrowanych z systemem KNX
PublicationW 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...
-
Uporządkowane kolorowanie wierzchołków grafów
PublicationW 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...
-
WILiŚ - Kurs testowy nr 1 dla koordynatora kształcenia zdalnego
e-Learning CoursesKurs 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.
-
BALISTYKA DLA SNAJPERÓW: PRAKTYCZNY PORADNIK
PublicationJest 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...
-
Bezpieczeństwo i wydajność wybranych algorytmów kryptograficznych w systemie RSMAD
PublicationW artykule scharakteryzowano architekturę bezpieczeństwa Radiowego Systemu Monitorowania i Akwizycji Danych z Urządzeń Fotoradarowych (w skrócie RSMAD), ze szczególnym uwzględnieniem mechanizmów zapewniania poufności danych w tymże systemie. W pracy przedstawiono także szczegółowe wyniki badań w zakresie zgodności algorytmu AES-128 z kryterium SAC. Ponadto zaprezentowano analizę porównawczą wydajności algorytmów AES-128 oraz Triple-DES...
-
WAI-Web Accessibility Initiative. Sieć dostępna dla wszystkich.
PublicationZostały przedstawione podstawowe formy niepełnosprawności i ich wpływ na korzystanie z narzędzi internetowych, w tym głównie ze stron WWW. Tworzenie dostępnego serwisu zostało omówione krok po kroku, uwzględniając przedstawienie dostępnych obecnie technologii wspierających dostępność, narzędzi umożliwiających rozwijanie dostępnych serwisów oraz technik, za pomocą których możliwe jest zaimplementowanie dostępności na stronie. Zostały...
-
Seafloor backscattering: numerical simulation vs. filter theory approach.
PublicationPrzedstawiono model opisujący rozpraszanie sygnału akustycznego na nierównomiernej, regularnie sfalowanej powierzchni dna morskiego jako filtr liniowy z odpowiedzią impulsową o zmieniającej się w czasie chwilowej dominującej częstotliwości. Porównano przewidywania modelu z wynikami otrzymanymi w wyniku złożonych obliczeniowo symulacji numerycznych opartych na fizycznym modelu zjawiska wykorzystującym aproksymację Kirchhoffa. Wstępnie...
-
Design of synchronous generator voltage regulator based on H control theory
PublicationSystemy dużej mocy są z reguły systemami o dużej nieliniowości. Wynika to z dynamiki takiego obiektu jak również jego konfiguracji itd. Istnieje wiele metod umożliwiających sterowanie czy testowanie zaprojektowanych generatorów. W artykule analizowana jest metoda projektowania regulatora napięcia w oparciu o H. Wyniki symulacji są zadowalające, ponieważ tak zaprojektowany regulator lepiej tłumi kołysania elektromechaniczne niż...
-
Modelowanie charakterystyk magnesowania przełączalnych silników reluktancyjnych z wykorzystaniem sieci neuronowych
PublicationW 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...
-
Port knocking - alternatywne rozwiązania
PublicationOmó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...
-
Adaptive selection of control parameters in differential evolution algorithms
PublicationW 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...
-
Application of the electrochemical quartz crystal microbalance in corrosionstudies
PublicationPrzeglą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...
-
Zastosowania elektrochemicznej mikrowagi kwarcowej w badaniach korozyjnych
PublicationPrzeglą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...
-
Krzysztof Jan Kaliński prof. dr hab. inż.
PeopleKrzysztof J. Kaliński completed his MSc study at Gdańsk University of Technology (GUT) Faculty of Production Engineering (1980, result – get a first). He obtained PhD at GUT Faculty of Machine Building (1988, result – get a first), DSc at GUT Faculty of Mechanical Engineering (ME) (2002, result – get a first), and professor’s title – w 2013 r. In 2015 r. he became full professor.His research area includes: theoretical and applied...
-
Odontogenic myxoma - Not available, 25 - Tissue image [3300730069483631]
Open Research DataThis is the histopathological image of ACCESSORY SINUSES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Odontogenic myxoma - Not available, 25 - Tissue image [3300730069486841]
Open Research DataThis is the histopathological image of ACCESSORY SINUSES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Odontogenic myxoma - Not available, 25 - Tissue image [3300730069481051]
Open Research DataThis is the histopathological image of ACCESSORY SINUSES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Odontogenic myxoma - Not available, 25 - Tissue image [3300730069485041]
Open Research DataThis is the histopathological image of ACCESSORY SINUSES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Odontogenic myxoma - Not available, 25 - Tissue image [3301001549118801]
Open Research DataThis is the histopathological image of ACCESSORY SINUSES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
MODEL FOR MEASUREMENT OF FLOW INSTALLATION TIME IN SDN SWITCH
PublicationSDN 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...
-
A laboratory model of an inspection vehicle. [Model laboratoryjny pojazdu inspekcyjnego]
PublicationW pracy opisano konstrukcję laboratoryjnego modelu pojazdu inspekcyjnego oraz zaproponowano system wielowątkowego sterowania pojazdem. Do budowy autonomicznego pojazdu wykorzystano napędzany elektrycznie już istniejący model laboratoryjny samochodu osobowego. Konstruowany pojazd wyposażono w specjalnie zaprojektowane elektroniczne układy czujnikowe pozwalające wykrywać i śledzić zaznaczoną kolorem czarnym trasę oraz mierzyć odległości...
-
Analysis of single-ground-plane coplanar waveguide
PublicationW pracy przedstawion metodę analizy rodziny koplanarnych linii transmisyjnych z pojedynczym przewodem masy. Oryginalne, nie znane wcześniej wyniki modelowania numerycznego potwierdzone zostały dużą zgodnością z wynikami pomiarów wykonanych dla struktury falowodu koplanarnego z pojedynczym przewodem masy (SGP-CPW.
-
A bifunctional chimeric protein consisting of MutS and beta-galactoside
PublicationPraca pokazuje konstrukcję DNA plazmidowego kodującego bifunkcjonalne białko chimeryczne złożone z MutS Thermus thermophilus i beta-galaktozydazy E.coli, optymalizację jego ekspresji i oczyszczania. Białko to testowano w metodzie wykrywania mutacji punktowych, wykorzystując kolorymetryczne mierzenie aktywności domeny reporterowej beta galaktozydazy.
-
Zastosowanie magistrali testującej IEEE 1149.6 do diagnostyki układów cyfrowych sprzężonych pojemnościowo
PublicationPrzedstawiono 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....
-
Uczenie na błędach w nauczaniu programowania w systemie e-learningu
PublicationJedną z kluczowych umiejętności, które muszą posiąść adepci programowania, stanowi umiejętność poprawiania kodu programu zawierającego błędy. Jest to działanie bardzo złożone, wymagające znajomości składni języka, rozumienia semantyki kodu, znajomości zasad testowania oraz rozumienia działania algorytmu. W artykule autor proponuje własną metodę kształtowania umiejętności poprawiania kodu programu wykorzystującą narzędzia do nauczania...
-
Hunting for bindings in distributed object-oriented systems.
PublicationArtykuł 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
PublicationWe 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...
-
PROMETHEUS PROtocols for information Models librariEs Tested on HEritage of Upper Kama Sites
ProjectsProject realized in Department of Residential Architecture
-
PROMETHEUS PROtocols for information Models librariEs Tested on HEritage of Upper Kama Sites
ProjectsProject realized in Department of Residential Architecture according to nember - 821870 - Prometheus agreement
-
Oscylacje różnicy potencjału elektrochemicznego między fazami oscylatora z membraną ciekłą zawierającego bromek heksadecylotrimetyloamoniowy.Oscyllations of electrochemical potential difference between phases of liquid membrane oscillator containing heksadecyltrimethylammonium bromide.
PublicationBadano zmiany różnicy potencjału elektrochemicznego między fazami wodnymi oscylatora z membraną ciekłą zawierającego bromek heksadecylotrimetyloamoniowy przy zastosowaniu mikroelektrod Ag/AgCl/Cl. Stwierdzono, iż główny udział do różnicy potencjału elektrochemicznego między fazami wodnymi, wnoszą różnice potencjału między odpowiednią faza wodną i membraną ciekłą. Wartości obliczone z poszczególnych składowych są w bardzo dobrej...
-
Wykorzystanie detektora SIFT do georeferencjonowania zobrazowań satelitarnych z sensora AVHRR
PublicationW pracy zaproponowano autonomiczny algorytm georeferencjonownania obrazów satelitarnych bazujący na niezależnym od skali deskryptorze SIFT (ang. Scale-Invariant Feature Transform). Algorytm ma charakter kilkuetapowy, wykorzystujący detekcję punktów kontrolnych, dopasowanie ich do referencyjnej bazy punktów oraz wyznaczenie parametrów reprojekcji. W pracy dokonano także porównania dokładności zaproponowanego algorytmu w zależności...
-
Wykorzystanie języka VHDL do modelowania układów pracujących w logice wielowartościowej i arytmetyce resztkowej
PublicationW pracy przedstawiono bibliotekę zbudowaną w oparciu o język VHDL, przeznaczoną do symulacji elementów pracujących w logice wielowartościowej i w arytmetyce resztowej. Zaprezentowano również bramki prądowe - nowe elementy logiczne cechujące się znacznie mniejszym poziomem szumu cyfrowego. Pokazano przykłady sumatorów działających w logice wielowartościowej z podstawą N, lub w arytmetyce resztowej modulo N. Wyróżniającą cechą sumatorów...
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublicationIstnieje szereg sposobów badania poprawności programów komputerowych. W niniejszym referacie podejmujemy problem automatycznego testowania oprogramowania przy założeniu, iż dany jest zbiór testów (asercji) dla poszczególnych fragmentów kodu. Dla uproszczenia analizy zakładamy, że badany fragment kodu zawiera dokładnie jeden błąd, co nie zmniejsza ogólności rozważań. W artykule analizujemy praktyczne aspekty powyższego problemu...