Wyniki wyszukiwania dla: SPECYFIKACJE FORMALNE - MOST Wiedzy

Wyszukiwarka

Wyniki wyszukiwania dla: SPECYFIKACJE FORMALNE

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

Wyniki wyszukiwania dla: SPECYFIKACJE FORMALNE

  • Katedra Siłowni Morskich i Lądowych

    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.

  • Information Assurance Group (IAG)

    Grupa koncentruje się na zarządzaniu ryzykiem i zaufaniem w odniesieniu do różnych cech oprogramowania i systemów informatycznych, np. Bezpieczeństwa, niezawodności i prywatności. Szczególnie interesujące jest pojęcie Trust Case i powiązanej metodologii Trust-it.

  • Katedra Geotechniki, Geologii i Budownictwa Morskiego

    * badania teoretyczne i doświadczalne oraz analizy numeryczne w Mechanice Gruntów; * badania laboratoryjne i polowe gruntów; * metody wzmacniania podłoża gruntowego; * “zieloną geotechnikę” z zastosowaniem ekologicznych materiałów, technologii i zagospodarowaniem produktów ubocznych; * badania teoretyczne, doświadczalne oraz zagadnienia praktyczne fundamentowania w odniesieniu do fundamentów bezpośrednich i głębokich, tunelowania,...

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

Wyniki wyszukiwania dla: SPECYFIKACJE FORMALNE

Pozostałe wyniki Pokaż wszystkie wyniki (712)

Wyniki wyszukiwania dla: SPECYFIKACJE FORMALNE

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

  • Specyfikacje geosyntetyków stosowanych w podbudowach nawierzchni drogowych

    Publikacja

    W ciągu ostatnich lat obserwuje się wzrost zastosowania geosyntetyków w budownictwie, w tym w szczególności w budowie. W podbudowach nawierzchni drogowych geosyntetyki znajdują obecnie zastosowanie w dwóch sytuacjach: do wykonania warstwy separacyjnej lub filtracyjnej między podłożem gruntowym i warstwą podbudowy oraz do wykonania warstwy wzmacniającej podbudowę z kruszywa niezwiązanego spoiwem lub lepiszczem, ułożonej na podłożu...

  • Techniczne specyfikacje interoperacyjności dotyczące hałasu od pojazdów kolejowych

    Analiza wymagań zawartych w specyfikacji TSI dla kolei konwencjonalnych w zakresie poziomu emitowanego hałasu przez tabor kolejowy. Omówienie wymagań specyfikacji TSI dla pociągów dużej prędkości w znowelizowanej wersji przygotowywanej przez Komisję Europejską do publikacji.