Nie znaleźliśmy wyników w zadanych kryteriach!
Ale mamy wyniki w innych katalogach.Filtry
wszystkich: 1034
-
Katalog
- Publikacje 861 wyników po odfiltrowaniu
- Czasopisma 3 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Osoby 17 wyników po odfiltrowaniu
- Wynalazki 6 wyników po odfiltrowaniu
- Projekty 7 wyników po odfiltrowaniu
- Laboratoria 1 wyników po odfiltrowaniu
- Zespoły Badawcze 1 wyników po odfiltrowaniu
- Kursy Online 55 wyników po odfiltrowaniu
- Wydarzenia 12 wyników po odfiltrowaniu
- Dane Badawcze 47 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: FORMALNA SPECYFIKACJA
-
Wymagania formalne
PublikacjaFormalne 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
PublikacjaArtykuł 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...
-
Specyfikacje geosyntetyków stosowanych w podbudowach nawierzchni drogowych
PublikacjaW 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
PublikacjaArtykuł 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 i implementacja modułu wymiarowania zasobów w Systemie IIP
PublikacjaArtykuł 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)
PublikacjaW 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.
-
Języki i gramatyki formalne
PublikacjaRozdział 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.
-
Problemy specyfikacji i estymacji przyczynowo-skutkowego modelu płac
PublikacjaW 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
PublikacjaAnaliza 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
PublikacjaKsiąż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...