Filters
total: 1585
filtered: 1398
-
Catalog
Chosen catalog filters
displaying 1000 best results Help
Search results for: oscylacyjna metoda testowania
-
Tester wbudowany BIST dla mieszanych sygnałowo pakietów elektronicznych
PublicationZaproponowano oszczędne i nieinwazyjne rozwiązanie testera wbudowanego BIST dla w pełni różnicowej części analogowej układu mieszanego sygnałowo. Wymienione cechy testera osiągnięto wykorzystując właściwości nowo opracowanych wzmacniaczy operacyjnych z wewnętrznym sprzężeniem zwrotnym dla sygnału wspólnego oraz modyfikując dotychczas stosowaną metodę testowania.
-
Testowanie koncepcji nowych produktów w niemieckich przedsiębiorstwach sprzętu gospodarstwa domowego
PublicationW artykule przedstawiono wyniki badania, odnośnie stosowania testowania koncepcji nowych produktów, przez niemieckich producentów sprzetu gospodarstwa domowego. Stwierdzono, że większość badanych firm stosuje testowanie koncepcji oraz, że występuje pozytywny związek pomiędzy stosowaniem tej metody a wynikami osiąganymi przy wdrażaniu nowych produktów.
-
Stanowisko do badania algorytmów stosowanych w nawigacji inercyjnej
PublicationW artykule opisano budowę i działanie opracowanego stanowiska do pomiarów i testowania opracowywanych algorytmów stosowanych w nawigacji inercyjnej. Przedstawiono opis modułów inercyjnych wraz z potencjalnymi źródłami błędów pomiarowych. Prezentowane rozwiązanie zostało przystosowane do współpracy z modułami do radiowego pomiaru odległości.
-
Stellungnahme zur Zuschrift von Hanf M. zu Cywiński Z.: Formänderungsgrößenverfahren mittig gedrückter dünnwandiger Stäbe mit einfach- und doppeltsymmetrischen offenen Querschnitten
PublicationPraca zawiera głos zamykający dyskusję nt. przedmiotowego artykułu autora.
-
Ocena ryzyka ponoszonego przez producenta/konsumenta z powodu niepewności pomiarów
PublicationZaproponowano definicje ryzyka ponoszonego przez producenta i konsumenta z powodu niepewności pomiarów. Na przykładzie testowania amplitudy sygnału obliczono poziomy ryzyka według znanych z literatury i proponowanych definicji. Różnice między wynikami wskazują, że problem jest istotny. Proponowane podejście jest lepiej dostosowane do praktyki produkcyjnej.
-
Platforma i aplikacje przetwarzania strumieni danych
PublicationPrzedstawiono uogólniony schemat uzgadniania wymagań dotyczących bezpieczeństwa publicznego i na tej podstawie zaprezentowano koncepcję platformy KASKADA przeznaczonej do analizy strumieni multimedialnych. Opisano metodę wytwarzania i testowania takiej platformy oraz różne możliwości jej wykorzystania. Podano przykłady aplikacji zrealizowanych i wykonywanych na tej platformie.
-
Mechatronic approach to the design of 2-wheel mobile platform
PublicationW pracy przedstawiono podejście mechatroniczne do projektowania 2-kołowego robota mobilnego przeznaczonego do testowania algorytmu nadzorowania za pomocą sterowania optymalnego przy energetycznym wskaźniku jakości. Badany robot jest skrępowany więzami nieholonomicznymi. Model matematyczny 2-kołowej platformy mobilnej jest opisany za pomocą skończonej liczby nieliniowych równań różniczkowych.
-
Weryfikacja sprawności I stopnia wybranych krajowych modeli zagrożenia upadłości przedsiębiorstw
PublicationArtykuł niniejszy poświecony jest weryfikacji sprawności I stopnia polskich modeli służących prognozowaniu zagrożenia upadłości przedsiębiorstw. Zawiera on wyniki testowania dziesięciu krajowych modeli na próbie walidacyjnej, w skład której weszło 49 firm. Uzyskane w czasie weryfikacji wyniki zostały skonfrontowane ze sprawnością modeli podawaną przez autorów poszczególnych modeli.
-
BADANIE MOŻLIWOŚCI SYMULACYJNYCH ŚRODOWISKA ‘MININET’ POD KĄTEM WSPARCIA PROTOKOŁU NETCONF
PublicationNiniejszy artykuł został poświęcony zagadnieniu wykorzystania środowiska emulacyjnego Mininet do testowania mechanizmów działania protokołu NETCONF. Omówiono w nim projekt inżynierski, którego wynikiem było zaimplementowanie wirtualnego środowiska, umożliwiającego prowadzenie takich badań. Opisano także wyniki testów emulacji dwóch pierścieniowych domen sieciowych, składających się z 30 węzłów.
-
Wpływ oddziaływań sfer hydratacyjnych białek i osmolitów na stabilność białek w roztworze
PublicationZjawisko zwijania białek w roztworach osmolitów jest intensywnie badane od wielu lat. Wciąż jednak nie ma zgodności co do mechanizmu stabilizacji/destabilizacji białek. Celem niniejszej pracy było poznanie mechanizmu wpływu osmolitów na stabilność białek. W tym aspekcie przeprowadzone badania były ukierunkowane na poznanie wpływu osmolitów na sferę hydratacyjną białka. W niniejszej pracy zbadałem wpływ przedstawiciela osmolitów...
-
Evaluation of foil capacitor nonlinearities and fluctuations during manufacturingOszacowanie nieliniowości i fluktuacji kondensatorów foliowych w procesie produkcyjnym
PublicationPrzeanalizowano nieliniowości i właściwości szumowe kondensatorów w celu ustalenie kryteriów testowania nieniszczącego i selekcji kondensatorów przeciwzakłóceniowych do różnych klas trwałości i niezawodności. Przedstawiono wybrane wyniki eksperymentalne pomiaru kondensatorów produkowanych przez ZR MIFLEX w Kutnie oraz koncepcję systemu pomiarowego przeznaczonego do implementacji tych pomiarów w procesie produkcyjnym.
-
Internetowa telediagnostyka urządzeń w obsłudze serwisowej.
PublicationPrzedstawiono system diagnostyczny do zdalnego testowania i lokalizowania uszkodzeń w elektronicznych podzespołach urządzeń powszechnego użytku. System składa się ze stanowiska doświadczalnego do konfigurowania i weryfikowania procedur diagnostycznych oraz prototypowego układu testera wbudowanego z dostępem internetowym. Zdalna diagnostyka jest rozpatrywana w aspekcie obsługi posprzedażnej w systemach CRM.
-
Symulacja przetworników z wyjściowym sygnałem impulsowym modulowanym częstotliwościowo
PublicationTematem artykułu jest generacja sygnałów impulsowych modulowanych częstotliwościowo. Przedstawiono metodę wyznaczenia położenia kolejnych impulsów sygnału dla przykładowych przebiegów. Podano możliwości realizacji metody w postaci przyrządu wirtualnego oraz urządzenia mikroprocesorowego. Przedstawione metody mogą być wykorzystane do symulacji przetworników pomiarowych z wyjściem częstotliwościowym w trakcie testowania systemów...
-
Badania układu UPFC w oparciu o model laboratoryjny i symulacyjny
PublicationW 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...
-
Realizacja elementu LMS wspomagającego proces oceny wiedzy uczestników kursu
PublicationW 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
PublicationW 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...
-
Characteristics of hydration water around hen egg lysozyme as the protein model in aqueous solution. FTIR spectroscopy and molecular dynamics simulation
PublicationW 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...
-
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...
-
Usability of UML modeling tools
PublicationNarzę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
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...
-
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...
-
Testowanie jakości warystorów niskonapięciowych
PublicationWarystory 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
PublicationWarystory 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...
-
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...
-
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...
-
Voltage and Reactive Power Load Flow Optimization in the Power System Using Fuzzy Logic
PublicationThe 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.
-
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...
-
Test limitations induced by fault-driven instability of analog circuits.
PublicationCelem 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...
-
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...
-
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...
-
Testowanie układów cyfrowych z wykorzystaniem magistrali IEEE 1149.7
PublicationPrzedstawiono 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...
-
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...
-
Zastosowanie zachowującej kolor segmentacji obrazu barwnego do wyszukiwania obszarów zawierających tekst.
PublicationW 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....
-
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...
-
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...
-
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...
-
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...
-
Performance and Security Testing for Improving Quality of Distributed Applications Working in Public/Private Network Environments
PublicationThe 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...
-
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...
-
VOF-DEM-FEM combined model of the reef breakwater collapse
PublicationZespolony 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...
-
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....
-
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...
-
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...
-
Integracja usług sieciowych z uwzględnieniem poziomu wiarygodności ich dostawców
PublicationArtykuł 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ę...
-
Hybrid finite-difference/mode-matching method for analysis of scattering from arbitrary configuration of rotationally-symmetrical posts
PublicationW 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ą...
-
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...