Filters
total: 1020
-
Catalog
- Publications 849 available results
- Journals 3 available results
- Conferences 24 available results
- People 17 available results
- Inventions 6 available results
- Projects 7 available results
- Laboratories 1 available results
- Research Teams 1 available results
- e-Learning Courses 53 available results
- Events 12 available results
- Open Research Data 47 available results
displaying 1000 best results Help
Search results for: FORMALNA SPECYFIKACJA
-
Opis zasobów za pomocą RDF.
PublicationPrzedstawiono zarys idei sieci semantycznej i rolę języka OWL w tej inicjatywie. Omówiono pojęcie ontologii i jej budowę przyjętą w OWL. Opisano trzy wersje języka wraz ze wskazaniem różnic i odmiennych zastosowań. Szczegółowo przedstawiono sposób definiowania klas i ich instancji, a także metody tworzenia relacji między klasami za pomocą właściwości. Na przykładach omówiono rodzaje właściwości oferowanych przez specyfikację OWL....
-
Piotr Jaskuła dr hab. inż.
PeopleI am a Faculty member (Associate Professor, Highway and Transportation Research Department) at the Faculty of Civil and Environmental Engineering, Gdansk University of Technology, Poland).My main research interests include: pavement structures, interlayer bonding, pavement materials, recycling of road pavements, asphalt mixtures, bitumens, construction and maintenance of pavement structures.My lectures at the University include:...
-
A model-based approach to analysis of authentication protocols.
PublicationW referacie przedstawiono zintegrowane podejście do analizy protokołów uwierzytelniania o nazwie Object-oriented Formal Authentication Protocol Security Analysis Framework (OF-APSAF). Podejście to jest zaprojektowane na bazie sprawdzonej metody formalnej CSP wraz z narzędziami ją wspierającymi: Casper oraz FDR. Jego integralną częścią jest półformalna zorientowana obiektowo technika modelowania protokołów, ich kontekstu oraz wymagań...
-
Sposoby definiowana zadań i zlecania wykonywania obliczeń w systemie Comcute
PublicationZaprezentowano specyfikację elementów definiowanych przez zleceniodawcę systemu Comcute przy uruchamianiu nowych zadań obliczeniowych w systemie, w tym parametrów niezawodnościowo-wydajnościowych jak również kodów obliczeniowych, partycjonowania i scalania. Przedstawiono także wymagania związane z konfigurowalnością systemu i jego bezpieczeństwem a także wskazówki technologiczne.
-
Evaluation of change in planning and control process
PublicationSpecyfikacja kryteriów i obszarów system pomiaru i oceny zmiany procesu planowania i sterowania oraz przypisanie kluczowych wskaźników poszczególnym obszarom stanowi podstawowy cel rozdziału. Wybrane wskaźniki umożliwiają ocenę cząstkowych efektów zmian w procesie planowania i sterowania. Dokonanie kompleksowej oceny wymaga budowy modelu oceny efektywności zmian w procesie planowania i sterowania. Jego ogólne założenia zostały...
-
Kwalifikowanie technologii spawania zgodnie z wytycznymi normy PN-EN ISO 15613 na przykładzie wytwarzania rur stosowanych w płaszczowo-rurowych wymiennikach ciepła
PublicationW artykule przedstawiono charakterystykę normy PN-EN ISO 15613:2006 "Specyfikacja i kwalifikowanie technologii spawania metali. Kwalifikowanie na podstawie przedprodukcyjnego badania spawania/zgrzewania". Zaprezentowano algorytm postępowania w przypadku stosowania tej normy, przedstawiono przykład zatwierdzenia technologii spawania rur ze szwem z austenitycznej stali wysokostopowej. Podano warunki, które uzasadniają wybór normy...
-
Semi-Markow Processes as Models of Devices´ Operating Process of Ship Pro-pulsion System
PublicationReferat zawiera formalny opis procesu eksploatacji urządzeń.
-
Problem jakości usług w sieci opartej na platformie IP.
PublicationW referacie przedstawiono znaczenie miar i opisu jakości usług w sieci IP QS oraz ich związek ze specyfikacjami definiującym sposób realizacji gwarancji jakości usług w tej sieci.
-
Cytotoxicity of anthraquinone derivatives (Compound 1-9) towards H226 cancer cell
Open Research DataThis study presents absorbance values of formazan product (converted from MTT) which corresponds to the cytotoxicity of anthraquinone derivatives (Compound 1-9) towards H226 cancer cells.
-
Cytotoxicity of anthraquinone derivatives (Compound 1-9) towards A549 cancer cells
Open Research DataThis study presents absorbance values of formazan product (converted from MTT) which corresponds to the cytotoxicity of anthraquinone derivatives (Compound 1-9) towards A549 cancer cells.
-
Cytotoxicity of anthraquinone derivatives (Compound 1-9) towards NHBE normal cells
Open Research DataThis study presents absorbance values of formazan product (converted from MTT) which corresponds to the cytotoxicity of anthraquinone derivatives (Compound 1-9) towards NHBE normal cells.
-
Cytotoxicity of anthraquinone derivatives (Compound 1-9) towards H460 cancer cell
Open Research DataThis study presents absorbance values of formazan product (converted from MTT) which corresponds to the cytotoxicity of anthraquinone derivatives (Compound 1-9) towards H460 cancer cells.
-
Piotr Waszczur dr inż.
People -
WebGL - Sieć w końcu 3D
PublicationWebGL jest specyfikacją tworzoną w ramach pracy nad standardem HTML 5. Praca ta ma za zadanie przybliżyć czytelnikowi możliwości tej technologii i zachęcić do wykorzystania jej na swoich stronach. Zawiera porady dotyczące rozpoczynania pracy z WebGL oraz przegląd technik możliwych do zaimplementowania przy jego użyciu.
-
Ocena poziomu jakości geometrii toru kolejowego
PublicationW artykule przedstawiono zasady ustalania poziomów jakości geometrii toru kolejowego na przykładzie obowiązujących unormowań prawnych (technicznej specyfikacji interoperacyjności dla podsystemu infrastruktura i norm) oraz stosowanych na kolejach europejskich. Na przykładzie wybranych zarządców infrastruktury kolejowej porównano stosowane wartości odchyłek dopuszczalnych dla wybranych poziomów jakości geometrii toru.
-
Ocena poziomu jakości geometrii toru kolejowego
PublicationW artykule przedstawiono zasady ustalania poziomów jakości geometrii toru kolejowego na przykładzie obowiązujących unormowań prawnych (technicznej specyfikacji interoperacyjności dla podsystemu infrastruktura i norm) oraz stosowanych na kolejach europejskich. Na przykładzie wybranych zarządców infrastruktury kolejowej porównano stosowane wartości odchyłek dopuszczalnych dla wybranych poziomów jakości geometrii toru.
-
Efektywność mechanizmu HARQ w systemie UMTS
PublicationW artykule przedstawiono analizę różnych metod mechanizmu HARQ określonego dla szybkiego dostępu pakietowego HSDPA systemu UMTS. Przedstawiono charakterystykę oraz zawarto opis implementacji mechanizmu HARQ w HSDPA. Analizę porównawczą różnych metod mechanizmu HARQ przeprowadzono na podstawie wyników symulacji modelu zrealizowanego zgodnie ze specyfikacją techniczną standardu.
-
Zbiorowe zaopatrzenie w wodę i odprowadzanie ścieków (2). Definicje niekompletne.
PublicationKomentarz do nowej ustawy. Formalne braki w regulacjach. Konieczne korekty.
-
Zasoby i eksperymenty w sieci PL-LABv6
PublicationW artykule przedstawiona została sieć PL-LABv6 wraz z zasobami sprzętowymi oraz usługami sieciowymi i aplikacjami. Celem artykułu jest zaznajomienie czytelnika ze specyfikacją sieci widzianą z perspektywy użytkownika-badacza, które nie będąc uczestnikiem projektu IIP, chciałby wykorzystać sieci PL-LABv6 do przeprowadzenia własnych badań i eksperymentów.
-
Dokumentacja Projektowa. Wymagania dla konstrukcji stalowych. Część 2
PublicationOmówione zostały wymagania odnośnie wykonania rysunków warsztatowych konstrukcji stalowych stosownie do przyjętej techniki i technologii wytwarzania. W tym kontekście przestawionio wymagania do specyfikacji technicznej precyzującej standard wykonania stalowych elementów konstrukcyjnych. Poruszona została kwestia właściewej kontroli procesu projektowania konstrukcji z uwzglenieniem wymagań wprowadzanej normy europejskiej PN-EN 1990.
-
ANALIZA WPŁYWU SZEROKOŚCI PASMA REFERENCYJNYCH SYGNAŁÓW LOKALIZACYJNYCH NA DOKŁADNOŚĆ ESTYMACJI ODLEGŁOŚCI TERMINALA RUCHOMEGO OD STACJI BAZOWEJ W SYSTEMIE LTE
PublicationW referacie przedstawiono wyniki przeprowadzonych analiz związanych z możliwościami interfejsu radiowego OFDM systemu LTE do określania położenia terminala ruchomego. Zostały zaprezentowane wyniki badań symulacyjnych dokładności określania odległości terminala od stacji bazowej na podstawie sygnałów referencyjnych o różnych szerokościach pasm częstotliwości, definiowanych w specyfikacji warstwy fizycznej systemu LTE.
-
LZWP, czyli jak zbudować CAVE
PublicationReferat prezentuje wyniki prac autorów dotyczących specyfikacji technicznej instalacji typu CAVE tworzonej na Wydziale ETI Politechniki Gdańskiej. Przedstawiona analiza została dokonana na pod-stawie wiedzy autorów, studiów literaturowych, wizytacji wybranych instalacji w kraju i zagranicą oraz konsultacji z firmami będącymi wiodącymi producentami lub integratorami systemów 3D.
-
Analiza możliwości rozszerzenia systemu zarządzającego nauczaniem, opartego na licencji Open Source o implementację SCORM
PublicationDokonano oceny możliwości rozszerzenia platformy zarządzającej nauczeniem, zrealizowanej w środowisku Open Source o obsługę standardowych formatów kursów zalecanych przez specyfikację SCORM. Opisano Model Agregacji Treści SCORM. Zaproponowano mechanizmy umożliwiające obsługę dodatkowych formatów kursów on-line, zgodnych ze SCORM. Przeanalizowano możliwości zastosowania tych mechanizmów w systemie zarządzania nauczaniem Moodle.
-
Sprawdzanie dokumentacji projektowej
PublicationAnaliza problemu sprawdzenia projektu budowlanego. Wymagania prawne. Zmiany formalne, zagrożenia, konflikty.
-
Warunki wprowadzania ścieków do wód lub ziemi.
PublicationOmówienie aktualnej regulacji prawnej w przedmiotowym zakresie. Rozporządzenie, wymagania formalne, preferencje.
-
Miało być pięknie a wyszło jak zwykle
PublicationPrzedstawiono kwestie barier funkcjonowania i rozwoju infrastruktury energetycznej w aspektach formalno-prawnych.
-
Wycena rozrachunków w prawie bilansowym i podatkowym
PublicationOmówiono czasowe i formalne instrumenty polityki bilansowej i podatkowej na przykładzie rozrachunków
-
Przede wszystkim rachunek ekonomiczny. Wnioski o dofinansowaniu ze środków unijnych
PublicationAnaliza dokumentacji związanych z inwestycjami. Spójność dokumentacji, formalna zgodność z programami, strona ekonomiczna. Wykazano dyskwalifikujące braki w zakresie dokumentacji projektowej oraz kosztorysowej. Brak liczenia się ze stroną ekonomiczną inwestycji komunalnych oraz eksploatacją.
-
Udział zespołu kontroli jakości w sukcesie zaawansowanego przedsięwzięcia informatycznego
PublicationPrzedstawiono rolę zespołu kontroli jakości we współcześnie realizowanych projektach informatycznych. Zaprezentowano najważniejsze wskaźniki sukcesu informatycznego, określone przez zespół zarządzania jakością. Podkreślono znaczenie specyfikacji wymagań systemowych oraz omówiono cykl życia typowego projektu informatycznego. Przedstawiono także projekty, w których zabrakło zdycyplinowanej polityki jakości, co doprowadziło do spektakularnych...
-
POMIAR PASMA KOHERENCJI KANAŁÓW RADIOWYCH W SYSTEMIE TETRA
PublicationReferat zawiera opis weryfikacji pasma koherencji kanałów radiowych dla systemu TETRA na bazie pomiarów zrealizowanych w warunkach rzeczywistych w województwie pomorskim. Opisana została metoda pomiarowa bazująca na wykorzystaniu sygnałów łącza w dół z systemu CDMA2000. Wyniki pomiarów zostały porównane z modelami kanałów radiowych zawartymi w specyfikacji systemu TETRA.
-
Sprawność egzaminowania. Uprawnienia budowlane - nowe reguły.
PublicationNowe zasady prowadzenia egzaminów na uprawnienia budowlane w 2004 roku. Zmiany formalne i rzeczywiste
-
Wykorzystanie mechanizmu HARQ w systemie UMTS
PublicationW artykule przedstawiono charakterystykę mechanizmu HARQ, stanowiącego jedną z kluczowych funkcjonalności szybkiego dostępu pakietowego HSDPA w systemie komórkowym trzeciej generacji. Przedstawiono ogólną klasyfikację rodzajów mechanizmu HARQ oraz opisano szczegóły implementacyjne dla systemu UMTS. Przeprowadzono także analizę porównawczą różnych rodzajów mechanizmu HARQ przy zastosowaniu modelu systemu zrealizowanego zgodnie ze...
-
Agnieszka Szymik mgr
PeopleAgnieszka Szymik is an e-resources librarian at Gdańsk University of Technology Library in Scientific Information Services. Agnieszka graduated from Jagiellonian University in Cracow with a major in Information and Library Science, specializing in Digital Resources and Electronic Publishing. Currently, she is responsible for managing online resources and databases and teaches an e-learning course on Information Literacy. Agnieszka...
-
Samodzielne funkcje w budownictwie wprowadzone w 2014 r; Rozdział w pracy zbiorowej
PublicationKonsekwencje zmian prawnych wprowadzonych w 2014 r. Samodzielne funkcje w budownictwie. Wymagania formalne. Zasady uzyskiwania.
-
Krzysztof Nowicki dr inż.
People -
Design Equation for Stirring Fluid by a Stream Pump in a Circulating Tank
PublicationA circulating tank is a very useful theoretical scheme for many fluid-flow objects in several branches of engineering. The motion of the fluid in such objects can be induced in different ways. A stream pump provides an especially interesting possibility; however, the quantitative description of such devices shows some shortcomings. Such a device is analogous to a jet pump, thus has similar advantages (simplicity of construction,...
-
Wody opadowe - aspekty prawne, ekonomiczne i techniczne
PublicationProblemy zagospodarowania wód opadowych. Zagadnienia formalne i techniczne, trudności, poszukiwanie dróg rozwiązania. Konflikty. Rezultaty branżowego spotkania włocławskiego.
-
Rura dobrze posadowiona
PublicationPosadowienie rurociągu. Znaczenie poznania warunków posadowienia. Podłoże rurociągu - formalne wymagania prawne, Eurokod 07. Konsekwencje rozporządzenia. Podstawowe błędy.
-
Edytor polityk negocjacyjnych mobilnego dokumentu elektronicznego
PublicationW artykule opisano edytor polityk negozjacyjnych umożliwiający generowanie ich specyfikacji w postaci bardzo rozległych drzew na podstawie elementów składowych ofert oraz reguł polityk i ich wartościowanie. Przedstawiono również zarys problemu negocjacji miedzy dokumentem a agentem, ktory ma ten dokument obsługiwać. Drzewa generowane przez edytor mają posłużyć za zbiory uczące dla sieci neuronowej przyspieszającej proces negocjacji.
-
Regionalne Centrum Zarządzania w Gdańsku - system zarządzania centralami EWSD
PublicationPrzedstawiono system zarządzania centralami EWSD stanowiący część Regionalnego Centrum Zarządzania w Gdańsku. Omówiono funkcje i strukturę systemu oraz aplikacje stanowiące jądro systemu NodeComander, jak również wymagania niezawodnościowe systemu. Zaprezentowano możliwości styków z innymi systemami, a zwłaszcza z systemami zarządzania wyższych warstw wg modelu TMN. Przedstawiono specyfikację zarządzania centralami EWSD i opisano...
-
Analysis and simulation of the reliable multicast protocol.
PublicationArtykuł przedstawia badania dotyczące protokołu grupowego porządkowania wiadomości-RMP. Opisana została podstawowa idea algorytmów działania protokołu oraz jego najważniejsze własności. Ponadto został on zimplementowany jako część symulatora protokołów komunikacji grupowej. Wyniki badań i dogłębna analiza mechanizmów działania protokołu pozwoliła na wprowadzenie szeregu modyfikacji w stosunku do oryginalnej specyfikacji,...
-
Rozproszone usługi obliczeniowe na klastrach TASK z dostępem przez WWW i Web Services.
PublicationArtykuł omawia architekturę i doświadczenia wstępnych faz specyfikacji wymagań i analizy projektu, który umożliwi zdalne wykorzystanie równoległych klastrów i/lub superkomputerów sieci TASK przez użytkowników z rozproszonych geograficznie lokalizacji. System zapewni dotychczasowym i nowym użytkownikom klastrów i superkomputerów TASK zdalne uruchamianie i zarządzanie aplikacjami, bibliotekami równoległymi i sekwencyjnymi poprzez...
-
Uprawnienia budowlane. Wykształcenie w cenie
PublicationWarunki spełniania samodzielnych funkcji w budownictwie po zmianie ustawy prawo budowlane. Warunki uzyskania uprawnień zawodowych - wymagania formalne, postępowanie kwalifikacyjne.
-
Uprawnienia budowlane.
Publicationprzedstawiono formalne wymagania stawiane osobom ubiegającym się o przyznanie uprawnień. Omówiono specjalności, specjalizacje oraz zasady kwalifikacji i prowadzenia egzaminu na uprawnienia
-
Rura w gruncie. Niekończąca się historia?
PublicationKonsekwencje błędów posadowienia rurociągu w podłożu gruntowym. Formalne wymagania w stosunku do posadowienia. Główne odstępstwa, ich konsekwencje. Problem zmian podłoża w czasie.
-
Wyznaczanie charakterystyk hydraulicznych dla trójwymiarowych obiektów przepływowych
PublicationZaproponowano systematyczną klasyfikację reaktorów, służących do oczyszczania wody i ścieków, uwzględniającą formalny charakter zmiennych przepływu. Opisano zasady wymiarowania obiektów dla poszczególnych kategorii.
-
Zmiany w procesie inwestycyjnym
PublicationKonsekwencje zmian w procesie inwestycyjnym, nowe regulacje w zakresie prawa budowlanego. Zmienione procedury. Problemy formalne. Sankcjonowanie odstępstw. Nowe technologie i nowe wyposażenie.
-
Procedura weryfikacji stanu technicznego urządzeń dźwignicowych na przykładzie żurawi portowych.
PublicationOmówiono wymogi formalne dopuszczenia dźwignic o przekroczonym resursie do dalszej eksploatacji. Podano algorytmy przeglądów specjalnych. Przedstawiono przykłady weryfikacji stanu technicznego żurawi portowych.
-
Ochrona zabudowy przed zalewaniem.
PublicationPrzedstawiono ogólne zasady ochrony budynku przed zalewanie. Wykazano potrzebę nowego podejścia do problemu. Określono braki formalne oraz ogólne zalecenia co do zabezpieczeń.
-
Dynamically configurable platform for service integration
PublicationW artykule opisano architekturę konfigurowalnego dynamicznie środowiska dla aplikacji zorientowanych na usługi, w szczególnosci na usługi webowe. Środowisko szkieletowe bazujace na specyfikacji OSGi dostarcza interfejsu, dzięki któremu zarzadzanie logika aplikacji nie wymaga jej ponownego uruchomienia. Opisano kluczowe problemy, które muszą być rozwiązane podczas wytwarzania tego typu rozwiązań. zaprezentowano sposób współpracy...