Filtry
wszystkich: 109
Najlepsze wyniki w katalogu: Potencjał Badawczy Pokaż wszystkie wyniki (87)
Wyniki wyszukiwania dla: FORMALNA SPECYFIKACJA
-
Information Assurance Group (IAG)
Potencjał BadawczyGrupa 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.
-
Zespół Teleinformatyki
Potencjał BadawczyDziałalność dydaktyczna katedry związana jest z teorią informacji, metodami probabilistycznymi, statystyką matematyczną oraz szeroką gamą przedmiotów z obszaru organizacji pracy , oceny wydajności, zarządzania i projektowania sieci komputerowych. Katedra prowadzi w tym obszarze specjalność Sieci Komputerowe - oferowaną dla studentów kierunku Informatyka.* projektowania i oceny efektywności przewodowych i bezprzewodowych sieci LAN,...
-
Zespół Sieci Teleinformacyjnych
Potencjał BadawczyDzisiejsza telekomunikacja przechodzi bardzo szybkie i radykalne zmiany wynikające nie tylko z szybkiego postępu technologicznego ale też z potrzeb społeczeństwa informacyjnego. Informacja stała się dobrem, które ma istotny wpływ na kierunek i szybkość zmian kulturowych i materialnych w globalizującym się świecie. Zatem wyzwania, jakie stoją przed telekomunikacją, a tym samym wobec każdego, kto zajmuje się i planuje działać w tym...
Najlepsze wyniki w katalogu: Oferta Biznesowa Pokaż wszystkie wyniki (22)
Wyniki wyszukiwania dla: FORMALNA SPECYFIKACJA
-
Laboratorium Innowacyjnych Zastosowań Informatyki
Oferta BiznesowaBadania nad użytecznością i jakością oprogramowania w różnych zastosowaniach, w szczególności rozpoznawanie emocji użytkowników komputerów oraz badanie użyteczności oprogramowania i doświadczenia użytkownika aplikacji.
-
Superkomputer Tryton
Oferta BiznesowaObliczenia dużej skali, Wirtualna infrastruktura w chmurze (IaaS), Analiza danych (big data)
-
Centrum Civitroniki – Centrum Zaawansowanych Technologii
Oferta BiznesowaCentrum Civitroniki działa na Wydziale Inżynierii Lądowej i Środowiska Politechniki Gdańskiej. W skład Centrum Cicitroniki wchodzą następujące pracownie:Pracownia DIM-Tefal, Pracownia defektorskopii, badań materiału i konstrukcji metalowych, Pracownia geodezyjnego monitorowania budowli inżynierskich, Pracownia badań drogowych, Pracownia fizyki budowli oraz Nazwa Civitronika jest wynikiem połączenia wyrażeń: „civil engineering”...
Pozostałe wyniki Pokaż wszystkie wyniki (1022)
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...
-
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.
-
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 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.