Wyniki wyszukiwania dla: WERYFIKACJA FORMALNA - MOST Wiedzy

Twoje konto

zaloguj

Wyszukiwarka

Wyniki wyszukiwania dla: WERYFIKACJA FORMALNA

Najlepsze wyniki w katalogu: Potencjał Badawczy Pokaż wszystkie wyniki (102)

Wyniki wyszukiwania dla: WERYFIKACJA FORMALNA

  • Zespół Technologii Sieciowych i Inżynierii Bezpieczeństwa

    Potencjał Badawczy

    1. 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

    Potencjał Badawczy

    Mikroprocesorowe 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

    Potencjał Badawczy

    Katedra 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.

Najlepsze wyniki w katalogu: Oferta Biznesowa Pokaż wszystkie wyniki (29)

Wyniki wyszukiwania dla: WERYFIKACJA FORMALNA

Pozostałe wyniki Pokaż wszystkie wyniki (1608)

Wyniki wyszukiwania dla: WERYFIKACJA FORMALNA

  • Wymagania formalne

    Publikacja

    - Rok 2011

    Formalne wymagania w procesie budowlanym. Dokumentacja projektowa. Samodzielne funkcje w budownictwie. Uprawnienia budowlane. Zasady uzyskiwania uprawnień, ograniczenia i problemy

  • Języki i gramatyki formalne

    Publikacja

    - Rok 2011

    Rozdział 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

    Publikacja

    - Rok 2008

    Książ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

    Publikacja

    - Rok 2014

    Wciąż 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

    Publikacja

    - Rok 2004

    celem opracowania jest przyblizenie celu, działania oraz regulacji formalno- prawnej Polskiej organizacji turystycznej.