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
-
Microcontroller driven miniaturized digital depth sounder.
PublikacjaPrzedstawiono schemat blokowy, specyfikację techniczną oraz zasadę działania miniaturowej echosondy cyfrowej, sterowanej mikrokontrolerem PIC16F873.Specjalistyczne oprogramowanie echosondy umożliwia prezentację echogramów w czasie rzeczywistym oraz udostępnianie ich w sieci Internet w typowych przeglądarkach WWW.
-
Ontologie OWL i ich wykorzystanie.
PublikacjaPrzedstawiono 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....
-
Opis zasobów za pomocą RDF.
PublikacjaPrzedstawiono 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ż.
OsobyI 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:...
-
Sposoby definiowana zadań i zlecania wykonywania obliczeń w systemie Comcute
PublikacjaZaprezentowano 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.
-
A model-based approach to analysis of authentication protocols.
PublikacjaW 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ń...
-
Evaluation of change in planning and control process
PublikacjaSpecyfikacja 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
PublikacjaW 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
PublikacjaReferat zawiera formalny opis procesu eksploatacji urządzeń.
-
Problem jakości usług w sieci opartej na platformie IP.
PublikacjaW 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.
-
Agnieszka Szymik mgr
OsobyAgnieszka Szymik pracuje w Bibliotece Politechniki Gdańskiej w Sekcji Informacji Naukowo-Technicznej. Jest absolwentką informacji naukowej i bibliotekoznawstwa oraz filologii polskiej na Uniwersytecie Jagiellońskim, ukończyła także kulturoznawstwo na Uniwersytecie Gdańskim. Na studiach realizowała specjalizację zasoby cyfrowe i elektroniczne publikowanie. Na obecnym stanowisku odpowiada za zarządzanie bazami danych i zasobami elektronicznymi,...
-
Cytotoxicity of anthraquinone derivatives (Compound 1-9) towards H226 cancer cell
Dane BadawczeThis 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
Dane BadawczeThis 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
Dane BadawczeThis 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
Dane BadawczeThis 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.
-
Ocena poziomu jakości geometrii toru kolejowego
PublikacjaW 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
PublikacjaW 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.
-
WebGL - Sieć w końcu 3D
PublikacjaWebGL 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.
-
Efektywność mechanizmu HARQ w systemie UMTS
PublikacjaW 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.
-
Piotr Waszczur dr inż.
Osoby -
Zbiorowe zaopatrzenie w wodę i odprowadzanie ścieków (2). Definicje niekompletne.
PublikacjaKomentarz do nowej ustawy. Formalne braki w regulacjach. Konieczne korekty.
-
LZWP, czyli jak zbudować CAVE
PublikacjaReferat 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 WPŁYWU SZEROKOŚCI PASMA REFERENCYJNYCH SYGNAŁÓW LOKALIZACYJNYCH NA DOKŁADNOŚĆ ESTYMACJI ODLEGŁOŚCI TERMINALA RUCHOMEGO OD STACJI BAZOWEJ W SYSTEMIE LTE
PublikacjaW 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.
-
Zasoby i eksperymenty w sieci PL-LABv6
PublikacjaW 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
PublikacjaOmó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 możliwości rozszerzenia systemu zarządzającego nauczaniem, opartego na licencji Open Source o implementację SCORM
PublikacjaDokonano 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
PublikacjaAnaliza problemu sprawdzenia projektu budowlanego. Wymagania prawne. Zmiany formalne, zagrożenia, konflikty.
-
Warunki wprowadzania ścieków do wód lub ziemi.
PublikacjaOmówienie aktualnej regulacji prawnej w przedmiotowym zakresie. Rozporządzenie, wymagania formalne, preferencje.
-
Udział zespołu kontroli jakości w sukcesie zaawansowanego przedsięwzięcia informatycznego
PublikacjaPrzedstawiono 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
PublikacjaReferat 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.
-
Wycena rozrachunków w prawie bilansowym i podatkowym
PublikacjaOmówiono czasowe i formalne instrumenty polityki bilansowej i podatkowej na przykładzie rozrachunków
-
Miało być pięknie a wyszło jak zwykle
PublikacjaPrzedstawiono kwestie barier funkcjonowania i rozwoju infrastruktury energetycznej w aspektach formalno-prawnych.
-
Przede wszystkim rachunek ekonomiczny. Wnioski o dofinansowaniu ze środków unijnych
PublikacjaAnaliza 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ą.
-
Wykorzystanie mechanizmu HARQ w systemie UMTS
PublikacjaW 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...
-
Sprawność egzaminowania. Uprawnienia budowlane - nowe reguły.
PublikacjaNowe zasady prowadzenia egzaminów na uprawnienia budowlane w 2004 roku. Zmiany formalne i rzeczywiste
-
Krzysztof Nowicki dr inż.
Osoby -
Samodzielne funkcje w budownictwie wprowadzone w 2014 r; Rozdział w pracy zbiorowej
PublikacjaKonsekwencje zmian prawnych wprowadzonych w 2014 r. Samodzielne funkcje w budownictwie. Wymagania formalne. Zasady uzyskiwania.
-
Design Equation for Stirring Fluid by a Stream Pump in a Circulating Tank
PublikacjaA 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,...
-
Edytor polityk negocjacyjnych mobilnego dokumentu elektronicznego
PublikacjaW 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.
-
Wody opadowe - aspekty prawne, ekonomiczne i techniczne
PublikacjaProblemy 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
PublikacjaPosadowienie rurociągu. Znaczenie poznania warunków posadowienia. Podłoże rurociągu - formalne wymagania prawne, Eurokod 07. Konsekwencje rozporządzenia. Podstawowe błędy.
-
Regionalne Centrum Zarządzania w Gdańsku - system zarządzania centralami EWSD
PublikacjaPrzedstawiono 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.
PublikacjaArtykuł 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.
PublikacjaArtykuł 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
PublikacjaWarunki spełniania samodzielnych funkcji w budownictwie po zmianie ustawy prawo budowlane. Warunki uzyskania uprawnień zawodowych - wymagania formalne, postępowanie kwalifikacyjne.
-
Uprawnienia budowlane.
Publikacjaprzedstawiono formalne wymagania stawiane osobom ubiegającym się o przyznanie uprawnień. Omówiono specjalności, specjalizacje oraz zasady kwalifikacji i prowadzenia egzaminu na uprawnienia
-
Rozszerzenia modułu wymiarowania zasobów w Systemie IIP
PublikacjaArtykuł zawiera opis końcowej specyfikacji oraz implementacji modułu wymiarowania zasobów działającego w warstwach L1 i L2 architektury Systemu IIP. Przedstawiono zadania modułu wymiarowania, określono warunki współpracy z systemem zarządzania oraz Równoległymi Internetami (RI). Opisano przygotowane algorytmy wymiarowania w postaci algorytmów optymalizacyjnych LP. Dodatkowo określono warunki działania modułu wymiarowania przy inicjowaniu...
-
Dynamically configurable platform for service integration
PublikacjaW 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...
-
Weryfikacja badań i ocena przeprowadzonych przez laboratorium KB POMORZE badan ultradźwiękowych spoin ram konstrukcji naprawczej platformy PG-1 (poziom 25m), względem wad stwierdzonych przez Laboratorium Lotos Serwis w dodatkowych badaniach.
PublikacjaPrzedmiotem pracy było badania ultradźwiękowe KB POMORZE w miesiącu marcu 2013. Konstrukcje będą zamontowane jako wzmocnienia dla podwodnych elementów konstrukcji na 3 poziomach. Dla badań NDT projekt przewidywał badania na podstawie specyfikacji: Quality Plan for Fabrication. 2.1. Badaniom ultradźwiękowym w obu przypadkach podlegały połączenia spawane - spoiny czołowe, obwodowe stalowych rur o średnicach Dz=609,6x25,4mm...
-
Język UML 2.0 w modelowaniu systemów informatycznych
PublikacjaKsiążka ''Język UML 2.0 w modelowaniu systemów informatycznych'' to szczegółowy opis najnowszej specyfikacji tego języka w kontekście zastosowania go w procesie wytwarzania oprogramowania. Zawiera omówienie elementów języka UML oraz zasad projektowania obiektowego. Przedstawia zastosowanie diagramów UML 2.0 oraz różnice pomiędzy modelowaniem analitycznym i biznesowym. Ponadto wyjaśnia podstawy metodyki RUP oraz prezentuje wybrane...