Search results for: FORMALNA SPECYFIKACJA

• Wymagania formalne

  Publication

  • Z. Suligowski

  - Year 2011

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

• Specyfikacja Systemu IP QoS opartego na architekturze DiffServ

  Publication

  • W. Burakowski
  • J. Śliwiński
  • H. Tarasiuk
  • A. Bęben
  • P. Krawiec
  • S. Kulas
  • P. Dymarski
  • S. Kaczmarek
  • M. Narloch
  • H. Gut-Mostowy... and 7 others

  - Przegląd Telekomunikacyjny + Wiadomości Telekomunikacyjne - Year 2009

  Artykuł przedstawia ogólną specyfikację systemu IP QoS (ang. Internet Protocol Quality of Service), który to system jest obecnie implementowany w ramach projektu krajowego "Zarządzanie ruchemw sieciach IP". System ten jest zgodny z architekturą DiffServ (ang. Differentiated Services) i architekturą NGN (Next Generation Networks). W szczególności, artykuł pokrótce omawia architekturęsystemu, oferowane klasy usług w systemie oraz...

• Języki i gramatyki formalne

  Publication

  • M. Szwoch

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

• Specyfikacje geosyntetyków stosowanych w podbudowach nawierzchni drogowych

  Publication

  • J. Alenowicz

  - Magazyn Autostrady - Year 2010

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

• Specyfikacja i implementacja modułu wymiarowania zasobów w Systemie IIP

  Publication

  • K. Wajda
  • J. Gozdecki
  • M. Kantor
  • J. Rak

  - Przegląd Telekomunikacyjny + Wiadomości Telekomunikacyjne - Year 2012

  Artykuł zawiera opis specyfikacji oraz implementacji modułu wymiarowania zasobów działającego w warstwach L1 i L2 architektury Systemu IIP. Omówiono zadania modułu wymiarowania, zdefiniowano styki z systemem zarządzania oraz Równoległymi Internetami, jak również zaproponowano algorytmy optymalizacyjne oraz przedstawiono przykładowe wyniki działania tych algorytmów.

• Specyfikacja zadań w procesie tworzenia Komputerowego Modelu Przepływu (KMP)

  Publication

  • M. Kulbik

  - Year 2017

  W opracowaniu przedstawiono pięć faz i szesnaście zadań, które trzeba wykonać w procesie tworzenia KMP. W każdym zadaniu określono cel, zakres i metodykę jego realizacji. Szczególną uwagę zwrócono na specyfikę postępowania w przewymiarowanych układach wodociągowych.

• Specyfikacja i implementacja modułu wymiarowania zasobów w Systemie IIP

  Publication

  • K. Wajda
  • M. Kantor
  • J. Gozdecki
  • J. Rak

  - Year 2013

  Artykuł zawiera opis specyfikacji oraz implementacji modułu wymiarowania zasobów działającego w warstwach L1 i L2 architektury Systemu IIP. Omówiono zadania modułu wymiarowania, zdefiniowano styki z systemem zarządzania oraz Równoległymi Internetami, jak również zaproponowano algorytmy optymalizacyjne oraz przedstawiono przykładowe wyniki działania tych algorytmów.

• Problemy specyfikacji i estymacji przyczynowo-skutkowego modelu płac

  Publication

  • J. Ossowski

  - Year 2007

  W pierwszej części artykułu przedstawiono koncepcje teoretyczne dotyczące wyodrębniania czynników kształtujacych poziom płac w przedsiębiorstwach funkcjonujacfyh na rynkach pracy w warunkach konkurencji doskonałej oraz monopsonistycznej. Na tej podstawie dokonano specyfikacji przyczynowo-skutkowego modelu płac dotyczącego gospodarki polskiej z lat 1996-2005. Po dokonaniu specyfikacji modelu płac dokonano jego oszacowania i weryfikacji....

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

  Publication

  • D. Wróblewska

  - Technika Transportu Szynowego - Year 2007

  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.

• Języki formalne, automaty i translatory

  Publication

  • M. Szwoch

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