Filters
total: 131
Best results in : Research Potential Pokaż wszystkie wyniki (102)
Search results for: WERYFIKACJA FORMALNA
-
Zespół Technologii Sieciowych i Inżynierii Bezpieczeństwa
Research Potential1. Analizy bezpieczeństwa funkcjonalnego infrastruktury krytycznej; 2. Modelowanie, synteza oraz projektowanie systemów monitorowania, sterowania i automatyki zabezpieczeniowej z wykorzystaniem techniki mikroprocesorowej, sterowników programowalnych PLC i systemów informatycznych; 3. Diagnostyka i zarządzanie procesami eksploatacji systemów technicznych.
-
Zespół Katedry Automatyki
Research PotentialMikroprocesorowe urządzenia pomiarowo-rejestrujące i systemy monitorowania wykorzystujące technologie sieciowe, systemy sterowania urządzeniami i procesami technologicznymi. Systemy sterowania w obiektach energetyki odnawialnej, skupionych i rozproszonych. Modelowanie i symulacja obiektów dynamicznych, procesów oraz systemów sterowania i kontroli; projektowanie interfejsów operatorskich. Systemy elektroenergetyczne i automatyki...
-
Katedra Siłowni Morskich i Lądowych
Research PotentialKatedra prowadzi prace badawcze dotyczące projektowania siłowni okrętowych oraz ich systemów. Działalność ta obejmuje: projektowania siłowni okrętowych z uwzględnieniem niezawodności, diagnostyki i bezpieczeństwa ich funkcjonowania oraz decyzyjnego sterowania procesem eksploatacji okrętowych silników spalinowych z uwzględnieniem wybranych kryteriów optymalizacji.
Best results in : Business Offer Pokaż wszystkie wyniki (29)
Search results for: WERYFIKACJA FORMALNA
-
Laboratorium Diagnostyki Silników i Sprężarek Tłokowych
Business OfferIdentyfikacja stanu technicznego głównych układów funkcjonalnych silników spalinowych i sprężarek w oparciu o wyniki badań diagnostycznych.
-
Laboratorium Maszyn i Systemów Okrętowych
Business OfferBadania procesów i zjawisk w czasie realizacji obiegu roboczego w silniku z zapłonem samoczynnym dla potrzeb diagnostyki maszyn tłokowych.
-
Laboratorium Badawcze 2-3
Business OfferObliczenia komputerowe wymagające dużych mocy obliczeniowych z wykorzystaniem oprogramowania typu: Matlab, Tomlab, Gams, Apros.
Other results Pokaż wszystkie wyniki (1608)
Search results for: WERYFIKACJA FORMALNA
-
Wymagania formalne
PublicationFormalne wymagania w procesie budowlanym. Dokumentacja projektowa. Samodzielne funkcje w budownictwie. Uprawnienia budowlane. Zasady uzyskiwania uprawnień, ograniczenia i problemy
-
Języki i gramatyki formalne
PublicationRozdział zawiera wprowadzenie do teorii języków formalnych, gramatyk i automatów. Przedstawione zostały podstawowe pojęcia i definicje oraz przykłady dotyczące w szczególności analizy leksykalnej, składniowej i semantycznej zdań w językach formalnych.
-
Języki formalne, automaty i translatory
PublicationKsiążka stara się w przystępny sposób przedstawić zagadnienia związane z teorią języków formalnych, automatów i translatorów. Wiedza ta pomoże nie tylko zrozumieć zasady stosowanych na co dzień narzędzi informatycznych, ale pomoże również w rozwiązywaniu częstych problemów związanych z przetwarzaniem danych tekstowych o zdefiniowanej strukturze.Książka ta przeznaczona jest przede wszystkim dla szerokiego grona studentów informatyki...
-
Pomiarowa weryfikacja wybranych modeli propagacyjnych
PublicationWciąż rosnące zapotrzebowanie na usługi wymagające coraz większej przepływności oraz jakości stawia projektanta sieci radiokomunikacyjnej w niełatwej sytuacji. W celu wspomagania projektanta w tym skomplikowanym zadaniu, opracowano liczne modele tłumienia propagacyjnego. Jednym z podstawowych zjawisk zachodzących w kanale radiowym jest tłumienie sygnału. Stanowi ono jeden z najważniejszych oraz niezbędnych czynników branych pod...
-
Polska Organizacja Turystyczna-charakterystyka formalno-prawna
Publicationcelem opracowania jest przyblizenie celu, działania oraz regulacji formalno- prawnej Polskiej organizacji turystycznej.