Wyszukiwarka
Filtry
wszystkich: 777
-
Katalog
- Publikacje 626 wyników po odfiltrowaniu
- Osoby 32 wyników po odfiltrowaniu
- Projekty 8 wyników po odfiltrowaniu
- Laboratoria 5 wyników po odfiltrowaniu
- Zespoły Badawcze 5 wyników po odfiltrowaniu
- Kursy Online 96 wyników po odfiltrowaniu
- Wydarzenia 4 wyników po odfiltrowaniu
- Oferty 1 wyników po odfiltrowaniu
Wyniki wyszukiwania dla: TESTOWANIE FUNKCJONALNE
-
Wpływ rozwiązań architektonicznych oraz technologicznych na użytkownaie budynku i bezpieczeństwo w laboratoriach mikrobiologicznych
PublikacjaBudynki laboratoriów są obiektami budowlanymi, podlegającym szczególnym rygorom funkcjonalnym i prawnym. Podczas ich użytkowania powstają zagrożenia zarówno dla zdrowia personelu pracującego w laboratorium, jak i ryzyko powstania niewiarygodnych wyników przeprowadzonych badań. W procesie projektowania laboratoriów decydującą rolę odgrywają powiązania technologiczne wynikające z założeń programowych oraz ukształtowanie przestrzeni,...
-
Odkrywanie nadwodnego wizerunku miast delty Wisły
PublikacjaArtykuł odnosi się do specyficznego obszaru funkcjonalnego, którego tożsamość opierała się przede wszystkim na relacji z wodą – w większych miastach portowych, a także powiązanych z nimi mniejszych miejscowościach. Opisuje zjawisko wykorzystania i reinterpretacji potencjału bogatej sieci hydrograficznej do odbudowania tożsamości przestrzennej po gwałtownych wydarzeniach XX wieku. Cytowane studia przypadków są zróżnicowane ze względu...
-
Nowoczesne Materiały Funkcjonalne - projekt 2022/2023 (NMF 2022/2023)
Kursy Online -
BALISTYKA DLA SNAJPERÓW: PRAKTYCZNY PORADNIK
PublikacjaJest 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...
-
Radio programowalne - przyszły standard inteligentnego systemu radiokomunikacyjnego
PublikacjaW pracy przedstawiono całkowicie nowatorską koncepcję programowalnego systemu radiokomunikacyjnego zwłaszcza w odniesieniu do inteligentnego terminala użytkownika w tym systemie. Na wstępie omówiono platformę sprzętową takiego rozwiązania. Następnie przedstawiono rozwiązanie systemowe platformy informatycznej, poczynając od jej charakterystyki funkcjonalnej, poprzez opis środowiska programowego koniecznego do realizacji niezbędnych...
-
Wybrane zagadnienia niezawodności i bezpieczeństwa transmisji danych w przemysłowych sieciach komputerowych
PublikacjaW referacie przedstawiono problemy dotyczące bezpieczeństwa i niezawodności transmisji danych w przemysłowych sieciach komunikacyjnych wykorzystywanych do realizacji funkcji związanych z bezpieczeństwem. Omówiona została koncepcja kanałów komunikacyjnych bezpiecznych funkcjonalnie oraz związane z nimi wymagania niezawodnościowe określone w normach PN-EN 61508-3 oraz PN-EN 61784-3. Przedstawione zostały również zagrożenia dotyczące...
-
Od dominacji do funkcjonalności – o psychologicznych koncepcjach władzy
PublikacjaArtykuł opisuje, w jaki sposób w psychologicznych modelach władzy przejawia się odmienne spojrzenie polegające na przyjęciu perspektywy dominacji i perspektywy funkcjonalnej. W myśl tej pierwszej władza prowadzi do chęci zwiększenia dominacji nad innymi oraz ma negatywny i deprawujący wpływ na sprawującą ją osobę. Zgodnie z drugą władza jest pomocna w osiąganiu celów przez jednostkę i kierowaną przez nią grupę, a zatem powinna...
-
Research by design w architekturze
PublikacjaW książce autor dowodzi, że w twórczym procesie powstawania dzieła architektonicznego, czyli obiektu zaprojektowanego a następnie zbudowanego, oprócz rozważań natury teoretycznej pierwszorzędną rolę odgrywają doświadczenia zdobyte na drodze praktycznego stosowania często na wpół intuicyjnych rozwiązań, mających dopiero w przyszłości stanowić podwalinę architektonicznych teorii. Obserwowana dzisiaj narastająca inwazja intuicji,...
-
Białka - budowa i właściwości. Rozdział 5
PublikacjaStruktura i konformacja białek w żywności zmienia się wskutek przemian fizycznych, biochemicznych i chemicznych zachodzących w warunkach przechowywania i przetwarzania surowców. Duże znaczenie białek jako składników żywności polega na ich wartości biologicznej w żywieniu oraz udziale w tworzeniu pożądanych, sensorycznych właściwości produktów żywnościowych. Funkcjonalne cechy białek to rozpuszczalność w środowisku wodnym o różnej...
-
Functional domains of Candida albicans glucosamine-6-phosphate synthase.
PublikacjaSkonstruowano oddzielnie dwie domeny syntazy GlcN-6-P z Candida albicans jako białka fuzyjne, tj. domenę glutaminazową oraz domenę izomerazową, zawierające sekwencje poliHis, odpowiednio na C- i N-końcu. Zoptymalizowano warunki nadekspresji domen w komórkach Escherichia coli. Oba białka oczyszczono do homogenności przy zastosowaniu chromatografii metalopowinowactwa oraz zbadano ich podstawowe właściwości. Wyznaczono parametry kinetyczne...
-
Jakośc przestrzeni publicznej w procesie reurbanizacji wielkich osiedli mieszkaniowych
PublikacjaKwestia jakosci przesztrzeni publicznej jest osią procesu reurbanizacji wielkiego osiedla. Oznacza on transformację przestrznną i kulturową modernistycznej monostruktury mieszkaniowej. Nowe inwestycje wprowadzić powinny w obszar osiedla zróżnicowanie funkcjonalne, architektoniczne oraz organizacyjne. Czynnikami regulujacymi dynamikę przemian są przede wszystkim czynniki zewnętrzne ponadlokalne. Nadanie nowej, miejskiej struktury...
-
Design of synchronous generator voltage regulator based on H control theory
PublikacjaSystemy 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ż...
-
Port knocking - alternatywne rozwiązania
PublikacjaOmó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
PublikacjaW 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
PublikacjaW 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
PublikacjaPrzeglą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
PublikacjaPrzeglą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...
-
Las pełen muzyki:Unikatowe walory architektury Opery Leśnej w Sopocie, dawniej i obecnie
PublikacjaZakończona sukcesem współczesna modernizacja architektury , konstrukcji i elementów nowej estetyki kultowego obiektu Opery Leśnej w Sopocie daje podstawę do snucia optymistycznych wniosków na temat przyszłości rozwoju kultury muzycznej w szerokim tego słowa znaczeniu Cała.przestrzeń nowoczesnego funkcjonalnego obiektu o innowacyjnej konstrukcji zadaszenia nad sceną i powiększoną 5000 miejs- widownią ,jest nową atrakcja...
-
Szpital - czy można przewidzieć jego przyszłość?
PublikacjaCzynniki determinujące możliwości rozwoju architektury służby zdrowia: technologiczne (medycyna i technologia medyczna), społeczne (oczekiwania względem jakości funkcjonowania służby zdrowia oraz jakości przestrzeni architektonicznej), ekonomiczne (coraz wyższe koszty działalności systemów opieki medycznej) warunkują powstanie modelu funkcjonowania sieci obiektów o zróżnicowanych założeniach funkcjonalnych, organizacyjnych i przestrzennych....
-
Bezpieczeństwo podróżnych w świetle projektowania węzłów integracyjnych
PublikacjaW obliczu coraz bardziej zatłoczonych arterii komunikacji indywidualnej wraca zapotrzebowanie na użytkowanie komunikacji zbiorowej. W najbliższych latach Polska uzyskała środki z Unii Europejskiej na rozwój i modernizację strategicznych sieci kolejowych. W najbliższym czasie wybrane, polskie dworce kolejowe winny uzyskać rangę nowoczesnych terminali przesiadkowych, dostosowanych do standardów unijnych. Mowa tu głównie o poprawie...
-
Nowe drogi w krajobrazie podmiejskim - różne aspekty przestrzeni
PublikacjaW artykule zaprezentowano zagrożenia przestrzeni podmiejskiej, powodowane rozwojem systemu drogowego. Omówiono aspekty kulturowe, przyrodnicze, krajobrazowe, funkcjonalno-przestrzenne, ekonomiczne i użytkowe, związane z realizacją i funkcjonowaniem tras drogowych na przykładzie obwodnic i dróg planowanych w rejonie aglomeracji gdańskiej. Na tym tle ukazano procedurę ocen oddziaływania na środowisko (OOŚ), jako narzędzia łagodzenia...
-
Koncepcja bazy danych fotogrametrycznych bliskiego zasięgu
PublikacjaPublikacja opisuje bazę danych przechowującą i udostępniającą w środowisku internetowym zasób cyfrowych danych fotogrametrycznych i termowizyjnych oraz numerycznych danych pomiarowych, które mogą być pozyskane z n-wymiarowych opracowań bliskiego zasięgu, realizowanych w i-epokach. W projekcie autorzy określili uprawnienia użytkowników oraz zaproponowali strukturę bazy danych - model pojęciowy i funkcjonalny. Rozwiązanie informatyczne...
-
Rozwój konstrukcji pomp satelitowych
PublikacjaArtykuł prezentuje budowę i działanie hydraulicznej pompy satelitowej pompy. Zbudowane i przebadane prototypy nowej pompy wykazały się wysokimi parametrami pracy i zdolnością tłoczenia różnych cieczy: oleju, wody i emulsji HFAE. Mechanizm pompy tworzą dwie nieokrągłe uzębione bieżnie: zewnętrzna obwodnica i wewnętrzna planeta oraz umieszczone pomiędzy nimi koła zębate (satelity). Obecny kształt planety i obwodnicy powoduje szybkie...
-
MODEL FOR MEASUREMENT OF FLOW INSTALLATION TIME IN SDN SWITCH
PublikacjaSDN 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]
PublikacjaW 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...
-
Zastosowanie magistrali testującej IEEE 1149.6 do diagnostyki układów cyfrowych sprzężonych pojemnościowo
PublikacjaPrzedstawiono 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.
PublikacjaArtykuł 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
PublikacjaWe 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
PublikacjaJedną 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...
-
Kampus uniwersytecki w strukturze śródmieścia
PublikacjaKampus uniwersytecki uznawany jest na świecie jako jeden z najistotniejszych generatorów miejskiej przestrzeni publicznej. Stąd szczególnego znaczenia nabiera sposób wykorzystania tego potencjału dla rewitalizacji struktur śródmiejskich. Kampusy otwiera się na miasto integrując je poprzez atrakcyjny system przestrzeni publicznej, wprowadza się do programu funkcjonalnego ośrodków uniwersyteckich ofertę popularno-naukową atrakcyjną...
-
Domy - wewnętrzne krajobrazy.
PublikacjaPrzestrzenna redefinicja domu stanowi dziś jeden z wątków dyskusji ze zdeterminowanym wyrazem formalnym architektury i hermetycznością miejsca. Coraz częściej akcentowana jest potrzeba elastyczności domu i jego otwarcia na świat zewnętrzny. Jego przestrzeń wewnętrzna kształtowana jest coraz częściej jako ewoluujący ciągu sekwencji kompozycyjnych, formowany na wzór krajobrazu i poszukujący do niego odniesień. Domy stają się...
-
Integracja modelowania i implementacji oprogramowania w metodzie IMAC.
PublikacjaDotychczasowa technologia wytwarzania oprogramowania akceptuje występowanie niespójności pomiędzy modelowaniem w języku UML a implementacją w obiektowych językach programowania. Metoda IMAC zapewnia spójność przez zastosowanie jednolitej notacji graficznej w całym projekcie informatycznym. Dzięki temu implementacja zostaje sprowadzona do uszczegółowienia diagramów projektowych i wygenerowania gotowego, funkcjonalnego kodu programu....
-
Rola planowania przestrzennego w realizacji rozwoju zrównoważonego
PublikacjaAutor wyjaśnia pojęcie planowania i niektóre jego typy. Wskazuje podane przez różnych autorów kryteria i zasady rozwoju zrównoważonego oraz cechy, którym powinny odpowiadać zgodne z nim działania. Jako role planowania przestrzennego opisane są: projektowanie przestrzeni funkcjonalnej, trwałej i pięknej, koordynacja, harmonizacja i regulacja w warunkach wielopodmiotowości oraz planowanie rozwoju, działań i narzędzi sterujących....
-
Optymalizacja systemu zarządzania uszkodzeniami węzłów komutacyjnych.
PublikacjaW referacie przedstawiono wyniki analizy funkcjonalnej ystemu węzłów komutacyjnych systemu 5ESS. Na podstawie tej analizy dokonano oceny funkcjonowania systemu zarządzania i wskazano obszary jegooptymalizacji. Zaproponowano ssposób wykorzystania narzędzia Action Request System do tworzenia bazy danych raportów alarmowych. Zaproponowano strukturę bazy danych raportów alarmowych i formularza zgłaszania problemu do tworzenia w tej...
-
Monitorowanie oddziaływania ruchu kolejowego na środowisko - koncepcje i metody realizacji.
PublikacjaW artykule przedstawiono podstawowe założenia projektu badawczego, realizowanego w ramach Wspólnego Przedsięwzięcia NCBR i PKP PLK pn. „Badania i Rozwój w Infrastrukturze Kolejowej – BRIK 2”, dotyczącego opracowania systemu monitorującego, integrującego i przetwarzającego gromadzone dane związane z hałasem i drganiami na potrzeby zarządzania procesami utrzymaniowymi i inwestycyjnymi zarządcy infrastruktury kolejowej. W efekcie...
-
Chapter 1. Food components and quality
PublikacjaGłówne składniki żywności to woda, białka, sacharydy, lipidy i związki mineralne. Składniki występujące na ogół w mniejszych ilościach to niebiałkowe związki azotowe, witaminy, barwniki, związki zapachowe i dodatki funkcjonalne. Jakościowy i ilościowy skład żywności zależy od gatunku i odmiany surowców oraz warunków ich uprawy, żywienia, zbioru, przechowywania i przetwarzania. Składniki żywności i ich przemiany wpływają na zapach,...
-
Lokalizacja (3D) obiektów w środowisku wewnątrzbudynkowym
PublikacjaW chwili obecnej nie ma działających systemów lokalizacyjnych, pozwalających na jednoznaczne przestrzenne określenie położenia obiektu/osoby w środowi-sku wewnątrzbudynkowym. Głównym problemem w takich aplikacjach, jest wyznaczenie m.in. poprawnej wysokości lokalizowanego obiektu. Jednym z parametrów, który zapewniałby wzrost dokładności lokalizowania w pionie (wyznaczanie wysokości) jest zastosowanie czujnika ciśnienia atmosferycznego....
-
PROMETHEUS Protokoły dla bibliotek modeli informacyjnych testowane na dziedzictwie Upper Kama
ProjektyProjekt realizowany w Katedra Architektury Mieszkaniowej i Użyteczności Publicznej
-
PROMETHEUS Protokoły dla bibliotek modeli informacyjnych testowane na dziedzictwie Upper Kama
ProjektyProjekt realizowany w Katedra Architektury Mieszkaniowej i Użyteczności Publicznej zgodnie z porozumieniem nember - 821870 - Prometheus
-
Wykorzystanie języka VHDL do modelowania układów pracujących w logice wielowartościowej i arytmetyce resztkowej
PublikacjaW 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
PublikacjaW 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...
-
Strukturalna i funkcjonalna charakterystyka izomeraz peptydyloprolinowych-uniwersalnie konserwowanych białkowych katalizatorów fałdowania
ProjektyProjekt realizowany w Wydział Chemiczny zgodnie z porozumieniem UMO-2011/03/B/NZ1/02825 z dnia 2015-08-02
-
Między klasyką a awangardą. Szpital Morski na Oksywiu projektu Mariana Lalewicza
PublikacjaCelem artykułu jest ukazanie architektonicznego dziedzictwa Szpitala Morskiego w Gdyni, będącego inwestycją wojskową z początku lat 30. XX weku, a powstałego w biurze ważnego i cenionego architekta – Mariana Lalewicza. Ten zasłużony projektant, reprezentant klasycyzmu akademickiego, miał w swym dorobku m.in. kilka gdyńskich obiektów istotnych dla Polskiej Marynarki Wojennej. W 1930 r. podjął się wyzwania szczególnego, jakim była...
-
Autonomiczne platformy bezzałogowe 2023
Kursy OnlineJest to wykład związany z kierunkiem wybieralnym na drugim stopniu studiów "Technologie Pojazdów Autonomicznych". Krótki opis wykładu: Przedmiot obejmuje zagadnienia teoretyczne związane z tematyką technologii autonomicznych np. cyber- -bezpieczeństwo, systemy komunikacyjne i nawigacyjne, podstawy konstrukcji, testowania i najważniejsze aspekty prawne.
-
Autonomiczne platformy bezzałogowe 2022
Kursy OnlineJest to wykład związany z kierunkiem wybieralnym na drugim stopniu studiów "Technologie Pojazdów Autonomicznych". Krótki opis wykładu: Przedmiot obejmuje zagadnienia teoretyczne związane z tematyką technologii autonomicznych np. cyber- -bezpieczeństwo, systemy komunikacyjne i nawigacyjne, podstawy konstrukcji, testowania i najważniejsze aspekty prawne.
-
Autonomiczne platformy bezzałogowe 2024
Kursy OnlineJest to wykład związany z kierunkiem wybieralnym na drugim stopniu studiów "Technologie Pojazdów Autonomicznych". Krótki opis wykładu: Przedmiot obejmuje zagadnienia teoretyczne związane z tematyką technologii autonomicznych np. cyber- -bezpieczeństwo, systemy komunikacyjne i nawigacyjne, podstawy konstrukcji, testowania i najważniejsze aspekty prawne.
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublikacjaIstnieje 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...
-
Assessment of operation of energy system of serial reliability structure on the example of ship main propulsion system
PublikacjaW artykule przedstawiono rozwinięcie znanej metody oceny działania systemu energetycznego, zastosowanej w odniesieniu do głównego układu napędowego statku. Według tej interpretacji działanie może być przedstawiane jako wielkość fizyczna. W tym aspekcie, na podstawie wybranego podsystemów funkcjonalnego statku, oceniono jej przydatność do opisu własności niezawodnościowych tego systemu. W analizie zastosowano teorię procesów Poissona,...
-
Symulacje habitatów marsjańskich.
PublikacjaW pierwszych misjach załogowych na Marsa ludzie będą mieszkać w prostych metalowych modułach. Ich gabaryty i masa będą niewielkie ze względu na ograniczone możliwości rakiet wynoszących. W programie MARS (Mars Analogue Research Station) zorganizowanym przez stowarzyszenie Mars Society prowadzi się symulacje życia i pracy przyszłych marsonautów. Pomaga to m. in. w ozptymalizowaniu układu funkcjonalnego w module. Trwają poszukiwania...
-
Computer aided funcional safety assessment
PublikacjaReferat porusza wybrane zagadnienia związane z oceną bezpieczeństwa funkcjonalnego w nawiązaniu do normy międzynarodowej IEC 61508. Podkreśla się znaczenie modelowania probabilistycznego systemów elektrycznych, elektronicznych i programowalnych elektronicznych (E/E/PE). Opisuje się wyznaczanie poziomu nienaruszalności bezpieczeństwa (SIL). W następnym kroku analizy weryfikuje się poziom SIL w procesie modelowania probabilistycznego...