Search
Filters
total: 1610
filtered: 775
-
Catalog
- Publications 775 available results
- Journals 19 available results
- Publishing Houses 1 available results
- People 76 available results
- Inventions 13 available results
- Projects 8 available results
- Laboratories 5 available results
- Research Teams 8 available results
- Research Equipment 12 available results
- e-Learning Courses 549 available results
- Events 47 available results
- Open Research Data 97 available results
Chosen catalog filters
Search results for: JĘZYK ELEKTRONICZNY
-
Les Lumieres contre la torture et la peine de mort
PublicationArtykuł napisany jest w języku francuskim. Jego tytuł w polskim tłumaczeniu brzmi: "Oświecenie wobec tortur i kary śmierci". Artykuł ten dotyczy stanowiska Woltera, Monteskiusza oraz Beccari wobec nadużyć systemu prawnego przedrewolucyjnej Francji. Analizuje on ich krytyczne stanowisko wobec tych nadużyć i bada filozoficzne teorie, jakimi posługują się Wolter i Monteskiusz w celu zniesienia tortur, oraz Beccaria, który nie tylko...
-
Komputerowy system pomiarowy do diagnostyki łożysk
PublicationW artykule przedstawiono komputerowy system do diagnostyki łożysk silników indukcyjnych metodą pomiaru i analizy mocy chwilowej pobieranej przez badane maszyny. Do realizacji oprogramowania systemu pomiarowego wybrano środowisko programowania w języku graficznym LabVIEW. Opracowane oprogramowanie umożliwia analizę, archiwizację i wizualizację danych uzyskanych z pomiarów mocy chwilowej, pobieranej przez badane silniki indukcyjne,...
-
Gazetteer compression technique based on substructure recognition
PublicationAutomaty skończone są najlepszą formą reprezentacji słowników do przetwarzania języka naturalnego. Przedstawiamy nową technikę kompresji, która jest szczególnie użyteczna w stosunku do pewnego rodzaju słowników. Zastępujemy wielokrotnie występujące podstruktury ich niepowtarzalnymi reprezentantami. Do ich znalezienia traktujemy wektor przejść jako tekst i stosujemy technikę kompresji tekstu w stylu Ziv-Lempel, która znajduje powtórzenia...
-
A method of fault diagnosis of analog parts of electronic embedded systems with tolerances
PublicationPrzedstawiono nową metodę detekcji i lokalizacji uszkodzeń w częściach analogowych z tolerancjami elementów nieuszkodzonych mieszanych sygnałowo elektronicznych systemów wbudowanych sterowanych mikrokontrolerami. Metoda składa się z trzech etapów. W pierwszym etapie tworzony jest słownik uszkodzeń przez aproksymację rodziny pasów lokalizacyjnych. W etapie pomiarowym wewnętrzny licznik mikrokontrolera mierzy czasy trwania impulsów...
-
Problem analizy obniżenia wartości OEE zautomatyzowanego parku maszynowego spowodowanego spadkiem prędkości pracy oraz mikroprzestojami technicznymi
PublicationW opracowaniu przedstawiono problematykę podniesienia wartości wskaźnika OEE będącego odzwierciedleniem produktywności parku maszynowego. Szczególną uwagę poświęcono analizie poprawnej identyfikacji i eliminacji strat składowej wydajności OEE związanej z występowaniem spadków prędkości pracy maszyn oraz mikroprzestojów technicznych. We wstępie opracowania została zaprezentowana charakterystyka wskaźnika OEE oraz obu czynników powodujących obniżenie...
-
Self-testing of analog parts of mixed-signal electronic microsystems based on multiple sampling of time responses
PublicationW artykule przedstawiono nowe podejście samo-testowania toru analogowego zakończonego przetwornikiem A/C w mieszanych sygnałowo elektronicznych systemach wbudowanych sterowanych mikrokontrolerami. Bazuje ono na nowej metodzie diagnostycznej opartej na przekształceniu transformującym zbiór próbek odpowiedzi czasowej układu badanego na pobudzenie impulsem prostokątnym na rodzinę krzywych identyfikacyjnych umieszczonych w przestrzeni...
-
Badania odporności warystorów z wykorzystaniem wymagań pomiarowych zawartych w normie PN EN 61000-4-5
PublicationBadania odporności w EN 61000-4-5 są jednymi z podstawowych badań wykonywanych w ramach testów EMC na portach wejścia wyjścia urządzeń elektronicznych. W referacie przedstawiono uproszczoną metodykę doboru warystorów stanowiących zazwyczaj jeden z elementów ochronnych stosowanych na badanych portach. Proponowana metoda doboru powinny być wykonywana przez projektanta/konstruktora na początku procesu projektowego danego urządzenia....
-
Design of electromagnetic shields for small electronic units.
PublicationSystemy elektroniczne, które przetwarzają informacje niejawną lub informację chronioną prawem, wymagają nie tylko jej szyfrowania, ale także zastosowania środków i metod minimalizacji ulotu elektromagnetycznego, jaki zawsze towarzyszy elektronicznemu przetwarzaniu informacji. Wymagania dotyczące tłumienia emisji promieniowanej i przewodzonej, w szczególności dotyczące przetwarzania i przesyłania informacji tajnej osiągają poziom...
-
Functional safety and human factors
PublicationRozdział przedstawia istotny problem uwzględnienia czynników ludzkich (H&OF) w analizie bezpieczeństwa funkcjonalnego, które wpływają istotnie na bezpieczeństwo przemysłowych obiektów podwyższonego ryzyka, nie ujęty jednak w normach bezpieczeństwa funkcjonalnego. Przedstawia się metody analizy niezawodności człowieka (HRA) w kontekście tych czynników, które wpływają na błędy człowieka. Czynniki ludzkie i organizacyjne powinny być...
-
Bazy danych dostępne na stronach WWW polskich bibliotek politechnicznych
PublicationWykorzystując nowoczesną technologię polskie biblioteki politechniczne umożliwiają zadalny dostęp do szerokiego zakresu profesjonalnej literatury w bazach danych, dotyczącej głównie nauk ścisłych, technicznych i dyscyplin pokrewnych. Większość dostępnych baz danych to bazy bibliograficzne. Poprzez swoje strony WWW organizują też dostęp do zagranicznych serwisów wydawców i dystrybutorów czasopism elektronicznych, umożliwiając użytkownikom...
-
Znaczenie Internetu w rozwoju mass mediów mniejszości polskiej w krajach nadbałtyckich
PublicationWpływ Internetu na szeroko pojęty rozwój mass mediów mniejszości polskiej należy uznać za ograniczony i przejawiający się zróżnicowanym tempem oraz zakresem w odniesieniu do poszczególnych mediów i republik. Tylko na Litwie wszystkie, główne mass media zostały wprowadzone do Internetu, a na Łotwie jedynie audycja radiowa. Internet stanowi platformę dla przekazów tradycyjnych i jego pojawienie się nie doprowadziło do powstania mediów...
-
Multistage optical switching networks
PublicationEwolucja sieci szkieletowej w kierunku sieci DWDM o dużych szybkościach generuje nowe problemy dla kontynuacji. Ten element funkcjonalny musi także być oparty na technologii optycznej. Dla dużych pojemności nie może on być zrealizowany jako pojedynczy komutator, lecz jako wielosekcyjne pole komutacyjne. W artykule opisano trzy typy komutatorów: komutator światłowodów(FX), komutator długości fal (WSX) i komutator z konwersją długości...
-
Creating and application of maps of concepts for dl ontologies
PublicationW poprzednich pracach wprowadzono metodę reprezentacji wiedzy, zwaną Kartografią Wiedzy. Metoda ta pozwala na zapisanie, w formie tzw. map konceptów, zależności pomiędzy konceptami wyróżnionymi w terminologii, a następnie stopniowe (wraz ze wzrostem naszej wiedzy) przypisywanie indywidualnym obiektom tych konceptów. Efektywność budowy map konceptów jest kluczowym czynnikiem wpływającym na możliwość użycia metody. Niniejsza praca...
-
Sprzętowa implementacja koprocesora dla zastosowań kryptograficznych
PublicationW pracy przedstawiono procedurę implementacji elektronicznej skrzynki podawczej z wykorzystaniem zasobów sprzętowych na płytce FPGA (Filed Programmable Gate Array) typu Virtex 4. Przedstawiono ogólna zasadę działania skrzynki podawczej oraz opisano parametry i właściwości poszczególnych modułów funkcjonalnych systemu tj.: modułu TFTP Trivia File Transfer Protocol), serwera WWW, funkcji skrótu oraz asymetrycznego algorytm kryptograficznego....
-
Biblioteki cyfrowe jako złożone przedsięwzięcie informatyczne
PublicationBiblioteki cyfrowe (BC) zwane 'repozytoriami wiedzy' to złożone systemy informatyczne tworzone przy współpracy informatyków z bibliotekarzami. Dzięki nowoczesnym technologiom służą do przechowywania zarówno zdigitalizowanych, jak i elektronicznych obiektów w dowolnym formacie. Artykuł ten jest częścią badań projektu realizowanego w Bibliotece Muzycznej Dokumentów Muzycznych dotyczącego jakości bibliotek cyfrowych. Model jakości...
-
Navy sonar's modernization developed in Gdansk University of Technology
PublicationSzybki rozwój technologii elektronicznej i metod przetwarzania sygnałów powoduje szybkie starzenie moralne systemów instalowanych na okrętach. Ponieważ kadłuby, silniki i inne, drogie, mechaniczne komponenty okrętów nie starzeją się w takim tempie i wytrzymują kilkadziesiąt nawet lat eksploatacji, istnieje głęboki sens modernizacji systemów sonarowych, z ewentualnym zachowaniem istniejących anten hydroakustycznych i ich stabilizacji....
-
Measurements of passive components using of an IEEE 1149.4 mixed-signal test bus
PublicationW pracy przedstawiono wyniki badań nad wykorzystaniem magistrali testującej mieszanej sygnałowo IEEE 1149.4 do pomiarów elementów pasywnych zamontowanych na pakietach elektronicznych. Do badań użyto wyposażonych w magistralę układów scalonych typu STA400. Zaprezentowano metody pomiaru rezystancji pojedynczych elementów z wykorzystaniem źródła prądowego oraz źródła VH znajdującego się w analogowych modułach ABM układu STA400. Pokazano...
-
Możliwości komputerowego wspomagania interaktywnych ćwiczeń i testów.
PublicationArtykuł dotyczy tworzenia interaktywnych obiektów uczących w środowiskach zdalnego nauczania. Opisano zalecenia standardu SCORM dotyczące sposobu tworzenia obiektów z wykorzystaniem języka XML. Omówiono problemy z implementacją pytań i testów w interaktywnych materiałach dydaktycznych. Wyróżniono typy pytań i testów możliwe do realizacji w technologiach internetowych. Wskazano na konieczność budowy narzędzi, które umożliwią nauczycielom...
-
CPS w multimediach
PublicationW artykule omówiono działalność badawczą Katedry Systemów Multimedialnych (KSM) w tematach: CPS, technologii multimedialnych, technologii studyjnych i wizyjnych, w zastosowaniach metod soft-computingu w inżynierii dźwięku i obrazu, akustyki muzycznej, psychofizjologii słuchu i wytwarzania mowy, syntezy dźwięku i obrazu oraz akustyki architektonicznej, i techniki nagłaśniania. Przedstawiono wyniki naukowe Katedry - liczbę publikacji,...
-
Chromatografia gazowa. Teoria i praktyka.
PublicationChromatografia gazowa jest jedną z najważniejszych metod analitycznych mających zastosowanie w wielu dziedzinach, a chromatograf gazowy ? najbardziej rozpowszechnionym przyrządem analitycznym w laboratoriach na świecie. Oto najpełniejsze w języku polskim opracowanie poświęcone chromatografii gazowej napisane przez wybitnych polskich specjalistów z dziedziny chemii analitycznej. Przedstawiono w nim istotę chromatografii gazowej,...
-
Metodologiczne aspekty opisowego modelowania w naukach ekonomicznych
PublicationPrzedmiot badań ekonomicznych, jako system złożony, podlega modelowaniu. Etapy dekompozycji i jakościowego opisu modelowanego systemu, w tym systemu gospodarczego, są nieodzowne w prawidłowym prowadzeniu badań naukowych. Z drugiej strony modelowanie w ekonomii nie powinno być pozbawione matematycznego języka opisu, ponieważ konstruując model wyjaśniający, należy posługiwać się zarówno modelem opisowym, jak i sformalizowanym. Tak...
-
Efektywna warstwa pośrednicząca dla obliczeń typu master-slave w środowisku C++/MPI
PublicationPokazano, jak dla wysokowydajnościowego algorytmu pisanego w modelu master-slave w języku C++ i spełniającego pewne ograniczenia można napisać i wykorzystać warstwę komunikacyjną zupełnie oddzielającą kod odpowiedzialny za komunikację od kodu odpowiedzialnego za dzie-dzinę problemową. Przedstawiona zostaje specyfkacja wymagań, jakie powinien spełniać hipotetyczny system rozproszony oraz warstwa komunikacyjna, a także wymagania...
-
Modelowanie internetowych aplikacji rozproszonych w zastosowaniach ekonomicznych i biznesowych
PublicationPrzestawiono problematykę rozproszonych aplikacji internetowych w zastosowaniach biznesowych. Zaprezentowano podejścia do modelowania oprogramowania dla rozwiązań komercyjnych. Scharakteryzowano podstawowe języki służące do modelowania oraz pokazano schematy operacyjne. W zakresie rozwiązań praktycznych pokazano modularną strukturę systemu zarządzającego ze zwróceniem uwagi na jego skalowalność oraz modyfikowalność. Omówiono etapy...
-
Functional safety and managing competence
PublicationSą nowe wyzwania związane z badaniami, edukacją i szkoleniem w obszarach bezpieczeństwa i ochrony systemów i sieci krytycznych. W rozdziale podkreśla się, że kompetencje specjalistów powinny być kształtowane w zintegrowanych procesach edukacji i szkolenia. Dlatego uzasadnione jest, aby opracować w Europie standardy i programy kształcenia na bazie odpowiednich prac badawczych i najlepszych doświadczeń z praktyki przemysłowej w celu...
-
<p>In vivo Studies on Pharmacokinetics, Toxicity and Immunogenicity of Polyelectrolyte Nanocapsules Functionalized with Two Different Polymers: Poly-L-Glutamic Acid or PEG</p>
Publication -
Narratives on cutting down trees on private land. A comparison of urban and rural municipalities in Poland using the Q-deliberation method
PublicationIncreased development in rural and urban areas leads to a decrease in tree cover and reduces the ecosystem services that trees provide. Municipal authorities must consider managing trees on private land to ensure that residents have access to trees and green spaces. In doing so, they must frequently confront conflicting stakeholder views, which are driven by diverse public and private interests and impacted by the type of landscape...
-
Nowe rozwiązania metodyczne w zakresie badań oddechu stosowane w diagnostyce medycznej
PublicationSkład wydychanego powietrza zależny jest od stanu zdrowia pacjentów, dzięki czemu możliwe jest wykorzystanie analizy oddechu do celów diagnostycznych. Badanie oddechu może zostać użyte do oceny funkcjonowania narządów człowieka, a także do rozpoznania chorób, takich jak przewlekła obturacyjna choroba płuc, cukrzyca czy gruźlica. W artykule przedstawiono obecnie stosowane próbniki próbek oddechu, a także możliwość zastosowania nowych...
-
STRUKTURA ORAZ WŁAŚCIWOŚCI ELEKTRYCZNE MATERIAŁÓW SZKLISTYCH ZAWIERAJĄCYCH GRANULE FERROELEKTRYKA Bi2VO5,5
PublicationNanokompozyty – ceramiki ferroelektrycznej umieszczonej w matrycy szklanej, dzięki swoim interesującym właściwościom znajdują zastosowanie w wielu urządzeniach i elementach elektronicznych. Jednym z ciekawych ferroelektryków jest ceramika Bi2VO5,5, która wykazuje wysokie przewodnictwo jonowe i przenikalność dielektryczną oraz nieliniowe właściwości optyczne. Przykładem szkła, o strukturze umożliwiającej rozmieszczenie wewnątrz...
-
Detekcja uszkodzeń w analogowych układach w pełni różnicowych.
PublicationPrzedmiotem pracy jest detekcja uszkodzeń w analogowych układach elektronicznych o architekturze w pełni różnicowej, cechującej się strukturalną redundancją ułatwiającą testowanie i diagnostykę. W oparciu o model matematyczny układów w pełni różnicowych, usystematyzowano metody ich testowania. Wykazano, że dotychczas stosowane metody są kosztowne w odniesieniu do układów ze wzmacniaczami operacyjnymi, w których zastosowano sprzężenie...
-
Zastosowanie probabilistycznego modelu pomiaru do wyznaczania miar jakości testu
PublicationZaproponowano dwie szybkie metody wyznaczania probabilistycznych miar jakości testu na etapie projektowania, opracowane pod kątem zastosowań w testowaniu analogowych układów elektronicznych. Pierwsza analityczna metoda bazuje na dwóch modelach probabilistycznych - modelu pomiaru oraz modelu odpowiedzi układu testowanego na pobudzenie sygnałem testującym. Druga jest metodą Monte Carlo wydatnie przyspieszoną poprzez zastąpienie procesu...
-
Oddziaływanie wybranych elementów przekształtnika energoelektronicznego nagenerację zaburzeń przewodzonych.**2002, 134 s. 125 rys. bibliogr. 102 poz. Rozprawa doktorska /17.12.2002/. PG, Wydz. Elektrotech. Automat. Promotor: dr hab. inż. Piotr J. Chrzan, prof. nadzw. PG
PublicationW rozprawie przedstawiono sposób obliczania generowanych zaburzeń elektroma-gnetycznych przewodzonych z układu przekształtnika do sieci zasilającej. Ce-lem pracy było opracowanie, w oparciu o symulację komputerową i badania eks-perymentalne, modeli wybranych elementów układu przekształtnika energoelek-tronicznego, pozwalających na określanie poziomów zaburzeń elektromagnetycz-nych przewodzonych w układach symulacyjnych. Zakres...
-
Modelowanie małej elektowni wiatrowej
PublicationW pracy przedstawiono model elektrowni wiatrowej o mocy 8500W wyposażonej w generator z silnikiem synchronicznym z magnesami trwałymi. W oparciu o analizę dostępnej literatury naukowej, norm technicznych, opracowano model elektrowni wiatrowej, który został zaimplementowany w środowisku Matlab Simulink. Model ten pozwala przeprowadzić analizę elektrowni wiatrowej, w której regulacja wytwarzanej energii odbywa się z wykorzystaniem...
-
Metoda PMRA oceny ryzyka przedsięwzięć informatycznych.
PublicationArtykuł prezentuje metodę PMRA (ang. Process Model-based Risk Assessment) oceny ryzyka przedsięwzięć informatycznych. W metodzie PMRA zaproponowano identyfikację ryzyka na podstawie własności strukturalnych modeli procesów. Dla tego celu opracowano model ryzyka wyprowadzony z rozszerzonego meta-modelu procesów biznesowych oraz wyposażony w język wzorców do opisu ryzyka. Zdefiniowano model bazy wiedzy o ryzyku obejmującej modele...
-
Projektowanie oraz implementacja cyfrowego multiefektu gitarowego z wykorzystaniem procesora sygnałowego
PublicationW artykule został przedstawiony proces projektowania i realizacji cyfrowego multiefektu gitarowego z wykorzystaniem procesora sygnałowegoTMS320C5535 firmy Texas Instruments, dla którego oprogramowanie napisano w języku C. Omówiono zasady działania oraz algorytmy wybranych efektów dźwiękowych, które zostały zaimplementowane w procesorze sygnałowym. Zaprojektowano również uniwersalny moduł wejściowy zawierający wzmacniacz z regulowanym...
-
Komputerowe modelowanie układów przekształtnikowych przy wykorzystaniu różnych programów symulacyjnych - analiza porównawcza
PublicationNiniejsze opracowanie przedstawia porównanie wybranych, często stosowanych środowisk służących modelowaniu i symulacji. Porównanie jest oparte na analizie pracy układu prze-kształtnikowego wraz z niezbędnym obwodem sterowania. Założeniem autorów referatu jest porównanie nakładów pracy i czasu koniecznego na przygotowanie modelu do obliczeń, jak również ocena trudności w przygotowaniu, wymaganego czasu obliczeń przy zadanej dokład-ności,...
-
Edu Inspiracje WZiE: Postawione na głowie, czyli słów kilka o odwróconym nauczaniu
PublicationOdwrócone nauczanie jest znane od dawna, ale jego współczesne zastosowanie datuje się na rok 2012, kiedy pojawiła się publikacja Bergmann’a i Saams. Pilotażowe wdrożenie tej metody zostało zrealizowane dla formie przedmiotu realizowanego w języku angielskim Modelowanie procesów biznesowych, skierowanego do studentów Politechniki Gdańskiej. Wśród zasobów udostępnionych przed zajęciami najczęściej wykorzystywano pliki PDF (zawierające...
-
XML-based monitoring and its implementation in Perl
PublicationArtykuł ten omawia w sposób ogólny problem monitorowania systemów informacyjnych oraz opisuje system monitoringu wytworzony w firmie Lufthansa Systems w celu monitorowania systemów informatycznych swoich klientów. Artykuł koncentruje się głównie na XMLowym mechaniźmie przetwarzania danych użytym w tym systemie, opisuje on jednak również skrótowo pozostałe zasady jego działania. Zostały również omówione podstawy przetwarzania danych...
-
Employing fuzzy logic to processing of loudness scaling test results
PublicationW procesie dopasowania współczesnych aparató słuchowych wymagana jest znajomość charakterystyki dynamiki słyszenia. Charaketrystyka dynamiki słyszenia wyznaczana jest na podstawie wyników testu skalowania głośności. Problem w tym, że wyniki testu skalowania głośności wyrażone są w skali kategorii oceny wrażenia głośności, natomiast aparaty słuchowe wymagają parametrów określonych na skali numerycznej. Logika rozmyta jest jedną...
-
Reguły efektywnego projektowania semantycznych usług WWW
PublicationW pracy omówiono kluczowe zasady projektowania usług semantycznych w Internecie. Nawiązano do reguł formalizacji wiedzy za pomocą systemów ontologicznych, dla których implementacji opracowano języki programowania OWL i KIF. Odniesiono się także do sieci semantycznych jako metody sztucznej inteligencji w kontekście założeń projektu Web 3.0. Omówiono zasady stosowania języków XML, XML Schema, RDF, RDF Schema, OWL, SPARQL, a także...
-
Timing diagrams functionalities in information systems modeling with UML 2
PublicationArtykuł prezentuje aktualną klasyfikację diagramów interakcji języka UML 2 i przedstawia właściwości nowego diagramu tj. diagram harmonogramowania. W artykule omówiono ich istotę oraz podstawowe i zaawansowane kategorie ich modelowania. Diagram ten umożliwia reprezentowanie na osi czasu zmian dopuszczalnych stanów klasyfikatorów uczestniczących w interakcji. Możliwość harmonizacji linii zmian stanów dla większej liczby klasyfikatorów...
-
Minimalizm jako metoda twórcza w architekturze współczesnej na wybranych przykładach z lat 1990-2005
PublicationPunktem wyjścia do pracy nad niniejszą książką była zaobserwowana zarówno w języku krytyki architektonicznej jak i w języku potocznym tendencja do utożsamiania, a za tym ograniczania, znaczenia architektonicznego minimalizmu do jego aspektu wizualnego. Niemal każde formalne lub stylistyczne uproszczenie wpisane zostaje w jakiś szeroki nurt minimalizmu, a prosty wygląd architektury stał się jego podstawowym kryterium klasyfikacyjnym....
-
Architektoniczne aspekty e-Uczelni
PublicationProces informatyzacji uczelni polega na tworzeniu wirtualnych węzłów funkcjonalnych usprawniających organizację kampusu i dostęp do informacji. Węzły te budowane są w oparciu o specjalne urządzenia elektroniczne oraz odpowiednie oprogramowanie prowadząc tym samym do rozwoju e-uczelni. Z architektonicznego punktu widzenia nie jest to jednak podejście kompleksowe. Istotne jest całościowe potraktowanie struktury kampusu jako ośrodka...
-
Obliczenia numeryczne w analizach hydraulicznych istniejących systemów kanalizacji deszczowej i mieszanej z wykorzystaniem programu TFD (Tube Flow Drain)
PublicationProgramowanie inżynierskie jako nieodłączny element prac związanych z optymalizacją istniejących układów sieci kanalizacji deszczowej. Obliczenia numeryczne stosowane w programie TFD (Tube Flow Drain) znacznie przyspieszyły proces wykonywania obliczeń hydraulicznych w zamkniętych kanałach grawitacyjnych o przekroju kołowym. Możliwość wykonania szybko i niezawodnie, sprawdzenia wpływu zmiennych (np.. Kalkulacje w autorskim programie...
-
A model-based approach to analysis of authentication protocols.
PublicationW referacie przedstawiono zintegrowane podejście do analizy protokołów uwierzytelniania o nazwie Object-oriented Formal Authentication Protocol Security Analysis Framework (OF-APSAF). Podejście to jest zaprojektowane na bazie sprawdzonej metody formalnej CSP wraz z narzędziami ją wspierającymi: Casper oraz FDR. Jego integralną częścią jest półformalna zorientowana obiektowo technika modelowania protokołów, ich kontekstu oraz wymagań...
-
Dynamic Perfect hashing with finite-state automata
PublicationMinimalna doskonała funkcja mieszająca dostarcza odwzorowania zbioru n niepowtarzalnych słów w zwarty zakres n liczb całkowitych. Gdy jest realizowane za pomocą automatów skończonych, odwzorowanie wynika z porządku słów (zwykle alfabetycznego) w zbiorze. Dodanie nowych słów zmieniłoby porządek słów rozpoznawanych przez automat, zmieniając całe odwzorowanie i czyniąc je bezużytecznym w wielu dziedzinach. Dlatego nazywamy je statycznym....
-
Investigations of methods to measure longitudinal forces in continuous welded rail tracks using the tamping machine.
PublicationPraca przedstawia w sposób poglądowy próby znalezienia efektywnej metody określania sił podłużnych w szynach toru bezstykowego. Szczególną uwagę poświęcono metodzie wymuszonych przemieszczeń poprzecznych. Podstawowym stwierdzeniem z przeprowadzonych własnych badań była konieczność odejścia od podnoszenia odłączonego od podkładów odcinka szyny i skoncentrowanie się na przemieszczeniach poprzecznych; doprowadziło to koncepcji zastosowania...
-
General concept of functional safety - standarisation and sector aspects
PublicationRozdział poświęcono koncepcji bezpieczeństwa funkcjonalnego. Bezpieczeństwo funkcjonalne jest częścią bezpieczeństwa całkowitego zależną od odpowiedniej odpowiedzi systemów sterowania i/lub zabezpieczeń na sygnały wejściowe podczas wystąpienia stanów nienormalnych maszyny, instalacji lub obiektu podwyższonego ryzyka. Koncepcja bezpieczeństwa funkcjonalnego przedstawiona w normie IEC 51508 stanowi przykład dobrej praktyki inżynierskiej...
-
KOMPUTEROWE WSPOMAGANIE BUDOWNICTWA PRZY PROJEKTOWANIU SŁUPÓW ŻELBETOWYCH WG EC
PublicationW artykule przedstawiony został autorski program komputerowy służący do projektowania i wymiarowania słupów w konstrukcjach żelbetowych z uwzględnieniem zjawisk wpływających na ich pracę oraz informacji dotyczących projektowania wg EC. Język który posłużył do napisania oprogramowania to środowisko C++. Program przeprowadza użytkownika przez poszczególne etapy wymiarowania: od wprowadzenia podstawowych danych takich jak wymiary,...
-
Zastosowanie elektronicznego nosa w analityce zanieczyszczeń środowiska
PublicationProblem jakości powietrza jest przedmiotem coraz większego zainteresowania ze względu na wpływ na środowisko, komfort życia i zdrowie ludzi. Wzrost stężenia niektórych zanieczyszczeń w powietrzu związany jest głównie z emisją tych składników ze źródeł antropogenicznych. Substancje złowonne, zwane odorami, wywołują najwięcej skarg i zażaleń ze strony ludzi, głównie tych którzy mieszkają i/lub pracują na terenach leżących w zasięgu...
-
Projekt urządzenia do badania siły zacisku z wykorzystaniem druku 3D
PublicationIstniejące na rynku komercyjne urządzenia do badania siły zacisku nie należą do tanich. Dlatego postanowiono skonstruować własne konkurencyjne urządzenie, które spełniałoby wymogi stawiane urządzeniom do pomiaru siły zacisku, jednocześnie będące o wiele tańszym rozwiązaniem. Obecne możliwości techniczne z zakresu budowy urządzeń elektronicznych, wykorzystania nie-drogich czujników pozwala na budowę układów pomiarowych o przyzwoitych...