Filters
total: 467
filtered: 401
-
Catalog
Chosen catalog filters
Search results for: testowanie zgodnosci
-
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ż...
-
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...
-
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...
-
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...
-
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...
-
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.
-
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...
-
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...
-
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....
-
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...
-
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 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...
-
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...
-
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...
-
Approximate analytical boundary conditions for efficient finite difference frequency domain simulations in cylindrical coordinates
PublicationW artykule zaprezentowano prostą technikę analizy rezonatora otwartego. Algorytm łączy w sobie metodę różnic skończonych i rozwinięć funkcyjnych , umożliwiając implementację warunków brzegowych symulujących otwartą przestrzeń. Metoda testowana była w analizie rezonatorów o różnych wymiarach,a otrzymane wyniki dobrze zgadzały się z rezultatami innych metod.
-
Wpływ tendencji stylowych w architekturze XX i XXI w. na akustykę sal
PublicationPraca omawia główne style architektoniczne XX i XXI w. w odniesieniu do sal widowiskowych. Przedstawiono elementy poszczególnych stylów, będące czynnikiem rozwoju bądź ograniczeń w dziedzinie akustyki pomieszczeń. Praca przybliża czytelnikowi działającemu w obszarze akustyki problematykę architektoniczną, wyjaśnia czym się kieruje architekt przy głównych decyzjach projektowych dotyczących sal, jakiego kontekstu architektonicznego...
-
WPŁYW KONCENTRACJI NANOCZĄSTEK NA WŁASNOŚCI TERMOFIZYCZNE NANOCIECZY WODA-Al2O3 i WODA-TiO2
PublicationW pracy zaprezentowano wyniki pomiarów dynamicznego współczynnika lepkości, współczynnika przewodzenia ciepła oraz konduktywności nanocieczy typu woda-Al2O3 oraz woda-TiO2. Jako ciecz bazową wybrano wodę destylowaną ze względu na możliwość zastosowania badanych nanocieczy w układach chłodzenia. Nanociecze testowane były dla czterech koncentracji masowych nanocząstek, tj. 0.01%, 0.1%, 1% i 5%. Otrzymane wyniki pomiarów skonfrontowano...
-
Algorytmy ewolucyjne w projektowaniu sieci MPLS
PublicationNiniejszy artykuł opisuje zrealizowane narzędzie, które umożliwia projektowanie sieci MPLS za pomocą Algorytmów Ewolucyjnych. Narzędzie to generuje ścieżki i optymalizuje alokację na nich przepływności żądań zapotrzebowań z uwzględnieniem klas obsługi strumieni ruchu z gwarancją zróżnicowanego QoS. Może także wybierać ścieżki do alokacji spośród danych wejściowych tak, aby wykorzystanie sieci było optymalne. Narzędzie to zostało...
-
Zastosowanie szablonów Trust Case w pracy z normą BS 7799
PublicationTrust Case stanowi strukturę danych zawierającą argumentację oraz związany z nią materiał dowodowy uzasadniający, że interesujący nas obiekt (system, infrastruktura, organizacja) posiada wskazane własności. Wykorzystanie Trust Case do analizy i uzasadniania zaufania do systemów IT jest przedmiotem aktywnych badań. Podejście to znalazło zastosowanie w stosunku do systemów związanych z bezpieczeństwem (ang. safety critical), a ostatnio...
-
Diagnostyka analogowych filtrów wielosekcyjnych oparta na magistrali testującej IEEE1149.1
PublicationPrzedstawiono nową koncepcję testera JTAG BIST do samo-testowania torów analogowych opartych na wielosekcyjnych filtrach wyższego rzędu w mieszanych sygnałowo mikrosystemach elektronicznych sterowanych mikrokontrolerami i wyposażonych w magistralę testującą IEEE1149.1 (JTAG). Bazuje ona na metodzie diagnostycznej opartej na przekształce-niu transformującym próbki odpowiedzi czasowych kolejnych sekcji filtra pobudzonego impulsem...
-
Obsługa przełączeń terminali ruchomych niewspierających mobilności
PublicationArtykuł omawia koncepcję network-based mobility management umożliwiającą obsługę terminali ruchomych niewspierających protokołów mobilności. Praca koncentruje się na protokole Proxy Mobile IPv6 (PMIPv6) który zapewnienia ciągłą osiągalność terminala ruchomego, pomimo zmiany punktu przyłączenia terminala do sieci. W dalszej części artykuł przybliża wysiłki autorów poczynione w celu uruchomienia środowiska do testowania efektywności...
-
Parallel simulations of electrophysiological phenomena in myocardium on large 32 and 64-bit Linux clusters.
PublicationW pracy podjęto badania i przeprowadzono symulacje zjawisk elektrofizjologicznych w mięśniu sercowym z wykorzystaniem wytworzonego w tym celu oprogramowania równoległego opartego na MPI. Zaimplementowano i zbadano ulepszenia kodu prowadzące do uzyskania dobrej skalowalności oraz przeprowadzono testy wydajności na najnowszych 32 i 64-bitowych klastrach linuksowych. Praca stanowi próbę równoległej implementacji znanego podejścia...
-
Complementary study with magnetic and acoustic techniques of A336 steel damage state due to creep
PublicationBadano możliwość detekcji w sposób nieniszczący zmian w mikrostrukturze stali A336 poddanej próbie pełzania. Testowano dwie magnetyczne techniki (klasyczny efekt Barkhausena i emisję magnetoakustyczną) oraz dwie nowe techniki ultradźwiękowe (pomiar współczynnika elasto-akustycznego oraz dwójłomność akustyczną). Wykazano, iż wyniki badań akustycznych są komplementarne do wyników badań magnetycznych.
-
Serce nie sługa - przypadek gdański = Heart knows no master - Gdańsk case
PublicationBadanie przemieszczania się centrum miasta umożliwia syntaktyka przestrzeni i koncepcja rdzenia integracji. Przemieszczanie się centrum badano ta metodą na przykładzie Gdańska. Obszar rdzenia wyłoniony za pomocą modelu syntaktycznego odpowiada intensywności wynikającej z obecności poruszających się osób. Zjawisko transurbacji rejestruje się zazwyczaj ex post. Możliwe jest jednak modelowanie potencjalnych rozwiązań i testowanie...
-
Inference Mechanisms for Knowledge Management System in E-health Environment
PublicationW artykule zaprezentowano badania i ich wyniki osiągnięte w trakcie prac na systemem zarządzania wiedzą dla systemu typu e-health PIPS (ang. Personalised Information Platform for Life and Health Services)Opisano warstwę semantyczną systemu zarządzania wiedzą, a w szczególności skoncentrowano się na silniku wnioskującym.Poddano dyskusji następujące zagadnienia: analizę dostępnych narzędzi wnioskujący i ich zgodności ze standardem...
-
ESTYMACJA WSPÓŁCZYNNIKÓW SZTYWNOŚCI ZAMOCOWANIA PODATNEGO PRZEDMIOTU OBRABIANEGO NA STOLE FREZARKI
PublicationW pracy przedstawiono metodę estymacji współczynników sztywności Elementów Sprężystych (ES) modelujących zamocowanie podatnego wielkogabarytowego przedmiotu obrabianego na stole frezarki. Proponowana metoda bazuje na algorytmie optymizacji za pomocą roju cząstek (ang. Particle Swarm Optimization), który pozwala na uzyskanie dobrej zgodności (aktualizacji) modelu Metody Elementów Skończonych (MES) z modelem pochodzącym z identyfikacji...
-
Single chamber electrolyte supported SOFC module.
PublicationZaproponowano konstrukcję modułu składającego się z dwóch jednokomorowych ogniw paliwowych SOFC na nośnym elektrolicie. Moduł zbudowany jest z jednego substratu z tlenku ceru i domieszkowanym samarem oraz dwóch anod z cermetu na bazie tlenku niklu i dwóch katod z perovskitu LSCF. Przygotowano i zbadano moduły z różną powierzchnią elektrod, które były testowane w mieszaninach powietrza i propanu. Wielkość elektrod miała silny wpływ...
-
Some methods of diagnosis of analog circuit using mixed signal test bus IEEE 1149.4
PublicationW artykule przedstawiono wybrane metody testowania i diagnostyki analogowych układów elektronicznych zamontowanych na pakiecie pomiędzy układami scalonymi wyposażonymi w magistralę IEEE 1149.4. Prezentowane metody dobrano pod kątem stopnia skomplikowania układów testowanych oraz specyficznych właściwości metrologicznych magistrali, które ograniczają możliwości pomiarowe i aplikacyjność metod. Rozważono trzy typy układów testowanych:...
-
Reliability of flue gas desulphurisation installations - the essential condition of efficient air pollution control
PublicationW celu minimalizacji niekorzystnego wpływu SO2 i SO3 na środowisko naturalne w wielu instalacjach skrubery odsiarczające gaz spalinowy (FGD) stosowane są do usuwania tlenków siarki z gazów wylotowych. Ostre warunki pracy skruberów i dodatkowego osprzętu powodują problemy korozyjne w powszechnie stosowanych materiałach konstrukcyjnych a awarie wywierają długookresowy wpływ na środowisko. Opisano najnowsze doświadczenia związane...
-
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...
-
Probabilistic evaluation of test architectures for fully differential circuits
PublicationArtykuł prezentuje model probabilistyczny przeznaczony do oceny, porównania i optymalizacji architektur testujących układy w pełni różnicowe. Model ma postać funkcji rozkładów gęstości prawdopodobieństwa amplitudy i fazy sygnału mierzonego w trakcie testowania. Parametry modelu są wyznaczane za pomocą rozwinięcia funkcji układowej w szereg Taylora. Poprawność modelu sprawdzono poprzez porównanie z wynikami symulacji, uzyskanymi...
-
Impedance spectroscopy studies on hybrid materials consisting of poly(3,4-ethylenedioxythiophene) and iron, cobalt and nickel hexacyanoferrate
PublicationBadania warstw polimeru pEDOT modyfikowanego heksacyjanożelazianami żelaza, kobaltu i niklu przeprowadzono za pomocą spektroskopii impedancyjnej (SI). Wykazano, że materiały hybrydowe charakteryzują się dobrą stabilnością. Warstwy testowano w zakresie temperatur od 283 do 313K. w kontakcie z wodnym roztworem KCl. Wysokie współczynniki dyfuzji wskazują na możliwości wykorzystania układów jako przewodników jonowych.
-
Experimental study of corrosion in reinforced concrete by acoustic emission and electrochemical noise techniques
PublicationTechnika emisji akustycznej jest znaną metodą badań korozji zbrojenia żelbetu. Źródłem aktywności akustycznej są zawsze zjawiska o naturze mechanicznej. Przedstawiono wynik badań akustycznych zbrojonego betonu w warunkach polaryzacji anodowej, przyspieszającej procesy korozyjne. Symultanicznie prowadzona była rejestracja szumu elektrochemicznego. Dla umożliwienia korelacji wyników, uzyskanych obiema technikami, wykonana została...
-
Projekty jako narzędzia osiągania celów strategicznych przedsiębiorstwa
PublicationPrzy założeniu dobrze opracowanych koncepcji strategicznych w tym misji, wizji i celów strategicznych, wyniki realizowanych projektów powinny składać się na osiągniecie celów strategicznych. Przy założeniu dobrze opracowanych koncepcji strategicznych w tym misji, wizji i celów strategicznych, wyniki realizowanych projektów powinny składać się na osiągniecie celów strategicznych. Na tej podstawie podjęto próbę identyfikacji przyczyn...
-
Anode supported single chamber solid oxide fuel cell in CH4-Air Mixture.
PublicationW tej pracy przedstawiono wyniki prac ogniw paliwowych na bazie elektrolitu z tlenku cyrkonu stabilizowanego itrem o grubości 1-2um wytworzonego na podłożu cermetu z tlenku niklu i tlenku cyrkonu stabilizowanego itrem. LSCF był wykorzystany jako katoda. Ogniwo paliwowe było testowane w konfiguracji jednokomorowej w mieszaninie powietrza i metanu. Uzyskano napięcie o wartości 0.8V, zaś moc wynosiła 0.12W/cm2. Zbdadano wpływ przepływu...
-
Product development using rapid prototyping for pump rotors
PublicationW artykule zaprezentowano zastowanie techniki szybkiego prototypowania do wytwarzania fizycznych modeli produktów i ich części składowych oraz prototypów funkcjonalnych, technicznych i wizualnych z pominięciem tradycyjnych technologii mechanicznych jak odlewanie, skrawanie czy też obróbko elektroerozyjna. Przedstawione studium przypadku oparto na rozwoju konstrukcji wirnika pompy począwszy od etapu projektowania poprzez wytwarzanie...
-
Neural network breast cancer relapse time prognosis
PublicationPrzedstawiono architekturę i wyniki testowania sztucznej sieci neuronowej w prognozowaniu czasu nawrotu choroby u kobiet chorych na raka piersi. Sieć neuronowa uczona była na danych zgromadzonych przez 20 lat. Dane opisują grupę 439 pacjentów za pomocą 40 parametrów. Spośród tych parametrów wybrano 6 najistotniejszych: liczbę przerzutowych węzłów chłonnych, wielkość guza, wiek, skalę według Blooma oraz stan receptorów estrogenowych...
-
Optymalizacja procedur dyskryminacyjnych w procesie weryfikacji mówców - metodyka doboru wag parametrów = Optimization of discriminative procedures in speaker verification process - a method for selecting parameter weights
PublicationPoddano testowaniu system weryfikacji mówców, działający w sposób zależny od tekstu, oparty na parametrach cepstralnych. Wstępnie przyjęto wagi wyrównane przypisane do zdefiniowanego w ten sposób wektora wag, właściwego dla obranego systemu parametryzacyjnego. Uzyskane wyniki przedstawiono w postaci macierzy pomyłek (''confusion matrix''). Dobór wartości wektora wag odbywał się w oparciu o część treningową bazy danych przy użyciu...
-
Zarządzanie jakością i niezawodnością oprogramowania w systemach związanych z bezpieczeństwem
PublicationW artykule poruszono problem zapewnienia wymaganej jakości i niezawodności oprogramowania stosowanego w systemach związanych z bezpieczeństwem. Przedstawiono podstawowe rodzaje modeli niezawodnościowych oprogramowania i wynikające z nich specyficzne właściwości tego elementu systemu. Na przykładzie "Modelu V" cyklu życia omówiono zasady zarządzania procesem wytwarzania oprogramowania, ze szczególnym uwzględnieniem roli procesów...
-
Optymalizacja treningu i wnioskowania sieci neuronowych
PublicationSieci neuronowe są jedną z najpopularniejszych i najszybciej rozwijających się dziedzin sztucznej inteligencji. Ich praktyczne wykorzystanie umożliwiło szersze użycie komputerów w wielu obszarach komunikacji, przemysłu i transportu. Dowody tego są widoczne w elektronice użytkowej, medycynie, a nawet w zastosowaniach militarnych. Wykorzystanie sztucznej inteligencji w wielu przypadkach wymaga jednak znacznej mocy obliczeniowej,...
-
Analiza możliwości poprawy wydajności oprogramowania systemów sieciowych
PublicationZaprezentowano dwie metody poprawy wydajności aplikacji sieciowych: zmiana priorytetu aplikacji poprzez przeniesienie jej do przestrzeni kernela oraz wykorzystanie wielordzeniowej natury nowych procesorów. Wskazano, że zmiana priorytetu aplikacji poprzez przeniesienie jej do przestrzeni kernela wiąże się z ryzykiem utraty stabilności jądra systemu. Wykorzystanie tej metody związane jest również z niebagatelnym nakładem inżynierskim...
-
Numerical modeling of ice jam formation in the Włocławek reservoir
PublicationArtykuł opisuje zjawisko powstawania zatoru lodowego w zbiorniku przepływowym przy użyciu dwuwymiarowego modelu DynaRICE. Analizowany proces został przeanalizowany na przykładzie zatoru lodowego, który utworzył się na zbiorniku Włocławek w syczniu 1982 roku. Przeprowadzone obliczenia pokazały, że zator utworzyła się z lodu powierzchniowego. Efekt termiczny i tworzenie się śryżu w zbiorniku został pominięty jako drugorzędny. Wyniki...
-
Ocena jakości wyrobów hutniczych.
PublicationPrzedstawiono zagadnienia zapewnienia jakości wyrobów hutniczych, elementy statystycznej kontroli jakości, zadania Urzędu Dozoru Technicznego i Polskiego Rejestru Statków w zapewnieniu jakości wyrobów, badania zgodności wyrobów z normami i przepisami, badania właściwości mechanicznych i technologicznych wyrobów. Przedstawiono też typowe urządzenia badawcze, aparaturę kontrolno-pomiarową i zasady oceny wyników badań wyrobów hutniczych....
-
Tester wydajności centralek IP PABX
PublicationW artykule przedstawiono koncepcję i sposób realizacji testera wydajności centralek IP PABX pracujących z protokołem SIP i RTP. Jako kryterium określania wydajności przyjęto spełnienie granicznych wartości wielkości opisujących GoS i QoS. Zaproponowano architekturę testera wydajności, jego podział na bloki funkcjonalne i ich opis. Omówiono sposób generacji strumieni SIP i RTP koniecznych do badania wydajności centralek IP PABX,...