Filters
total: 725
-
Catalog
- Publications 585 available results
- Journals 7 available results
- Conferences 24 available results
- Publishing Houses 1 available results
- People 15 available results
- Laboratories 1 available results
- e-Learning Courses 65 available results
- Events 25 available results
- Open Research Data 2 available results
Search results for: SPECYFIKACJE FORMALNE
-
Uporządkowanie procesu budowlanego w fazie odbiorów
PublicationProces budowlany, konieczność dyscyplinowania procesu. Konsekwencje braku jednoznacznych regulacji prawnych oraz procedur. Problemy związane z dokumentacją projektową. Zasady prowadzenia odbioru, formalne wymagania, konieczność zastrzeżeń w kontraktach. Dwuznaczność roli inspektora nadzoru inwestorskiego. Konsekwencje braku właściwych odbiorów przejściowych oraz ostatecznego.
-
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.
-
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.
-
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 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.
-
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.
-
Krzysztof Nowicki dr inż.
People -
Opinia ekspercka w zakresie ustalenia przyczyn powstania ujawnionej wady kolektora zrealizowanego w ramach zadania inwestycyjnego „Budowa kanalizacji sanitarnej w miejscowości Rozwadza wraz z tranzytem do oczyszczalni ścieków w Zdzieszowicach, pompownie P1 i P2 Rozwadza”
PublicationAnaliza przyczyn i konsekwencji zaistniałej awarii nowo budowanego kolektora. Ocena przebiegu procesu inwestycyjnego. Braki formalne - zawodowe uczestników procesu, braki w dokumentacji. Problem niewłaściwej oceny warunków posadowienia kanału w dokumentacji projektowej. Błędy kierownika budowy. Negatywna ocena propozycji rozwiązania problemów. Wnioski dotyczące kierunku rozwiązania.
-
Łagodne wprowadzenie do analizy algorytmów
PublicationKsiążka jest 11. wydaniem podręcznika akademickiego poświęconego podstawom algorytmiki. Składa się z trzech rozdziałów. Rozdział 1 daje podstawy formalne niezbędne przy analizie algorytmów pod kątem złożoności obliczeniowej. Rozdział 2 wprowadza w zagadnienia analizy algorytmów z różnych punktów widzenia.Rozdział 3 przedstawia podstawowe struktury danych.
-
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...
-
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.
-
Quantum aspects of semantic analysis and symbolic artificial intelligence.
PublicationNowoczesne podejścia do analizy semantycznej, jeśli przeformułować je w język przestrzeni Hilberta, ujawniają formalne struktury znane z mechaniki kwantowej. Podobna sytuacja występuje w rozproszonych reprezentacjach struktur poznawczych rozwijanych na użytek sieci neuronowych. W pracy przyglądamy się różnicom i podobieństwom owych teorii do kwantowej teorii informacji.
-
Projekt posadowienia rurociągu jako element projektu budowlanego
PublicationWymagania formalne w stosunku do dokumentacji projektowej fazy projektu budowlanego. Dokumentacja geotechniczna (w tym projekt posadowienia) jako część projektu budowlanego. Konsekwencje przyjęcia Eurokodów. Zaostrzenie wymagań formalnych w stosunku do projektu budowlanego. Aktualne wymagania prawne. Możliwe konsekwencje pomijania w dokumentacji projektowej dokumentacji posadowienia obiektu budowlanego.
-
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.
-
Statistical analysis of pressuremeter tests for the north transversal tunnel in Grenoble
PublicationInterpretacja wyników badań presjometrycznych metodą statystyczną. Wartości charakterystyczne. Zastosowano rozkłady normalny, log-normalny, wykładniczy, Weybulla, Gamma, Chiz, Studenta i Pareto. Określono zmienność parametrów geotechnicznych zastosowanych do projektu tunelu i współczynnika bezpieczeństwa w czasie drążenia tunelu.
-
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...
-
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...
-
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...
-
Nierówności pionowe toru kolejowego
PublicationOcena jakości geometrycznej toru kolejowego wymaga od zarządców infrastruktury stosowania jednolitych metod pomiarów, obliczania i interpretacji wyników. W tym zakresie należy stosować się do norm europejskich i technicznych specyfikacje interoperacyjności. W artykule przedstawiono podstawowe zagadnienia związane z pomiarem i oceną nierówności pionowych toru kolejowego. Zapisano odchyłki dopuszczalne nierówności pionowych według...
-
Nowe oblicze melioracji i retencji w Polsce
PublicationProblemy związane z formalnie nieistniejącymi "melioracjami miejskimi". Nowe zadania, obowiązki i możliwości wprowadzone nowym prawem wodnym. Zadania gmin, potencjalne nowe możliwości przedsiębiorstwa "wodociągów i kanalizacji". Zagadnienia organizacyjne i ekonomiczne.
-
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...
-
Rozszerzenia modułu wymiarowania zasobów w Systemie IIP
PublicationArtykuł 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...
-
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.
PublicationPrzedmiotem 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
PublicationKsiąż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...
-
Modelowanie systemów samoreprodukujacych się
PublicationAbstrakt opisuje system samoreprodukujący się zrealizowany w środowisku DigiHive. Środowiskiem jest dwuwymiarowa przestrzeń, w której poruszają się, zderzają się i tworzą wiązania stosy sześciokatnych płytek. Na wyższym poziomie organizacji struktura płytek specyfikuje funkcje których realizacja zmienia struktury innych płytek w otoczeniu.
-
Buckling of frame braced by linear elastic springs
PublicationIn the design codes and specifications, simplifed formulae or diagrams are given for determining the buckling lengths of frame columns based on the ruling criterion of considering frames as sway or non sway. Due to the fact that, the code formulae utilize onlylocal stifness distributions, these formulae may yield in certain cases rather erroneous results. In most code formulas a case of weakly braced frames is usually not considered.In...
-
An integrated framework for security protocol analysis
PublicationAssurance of security protocols needs particular attention. Flaws in a protocol can devastate security of the applications that rely on it. Analysis of the protocols is difficult and it is recommended that formal methods are employed to provide for higher levels of assurance. However, the formal methods can cover only a part of the scope of the problem. It is important that the formal models are valid representations of the protocol...
-
Państwowy zasób geodezyjny i kartograficzny
PublicationRozdział poświęcony państwowemu zasobowi geodezyjnemu i kartograficznemu. Przedstawia zasady formalno-prawne jego funkcjonowania we współczesnym świecie. Rozdział w kontekście monografii podaje zasady na poziomie masowego użytkownika zasobu geodezyjnego i kartograficznego.
-
Państwowy zasób geodezyjny i kartograficzny
PublicationRozdział poświęcony państwowemu zasobowi geodezyjnemu i kartograficznemu. Przedstawia zasady formalno-prawne jego funkcjonowania we współczesnym świecie. Rozdział w kontekście monografii podaje zasady na poziomie masowego użytkownika zasobu geodezyjnego i kartograficznego.
-
Problemy gospodarki przestrzennej w Parku Narodowym ''Bory Tucholskie'' i w jego otoczeniu.
PublicationW artykule omówiono problemy gospodarki przestrzennej w następujących ujęciach formalno-terytorialnych: Park Narodowy ''Bory Tucholskie''; otulina parku narodowego; Zaborski Park Krajobrazowy; jednostki samorządu terytorialnego (gminy i powiat); rezerwat biosfery ''Bory Tucholskie''.
-
Posadowienie obiektu liniowego
PublicationProblemy posadowienia obiektu liniowego w warunkach zmiennych (na długości i głębokości) stosunków gruntowo -wodnych, konsekwencje błędnych decyzji. Posadowienie praktycznie dominuje jako przyczyna awarii. Wymagania formalne w zakresie opracowania warunków posadowienia. Konieczność zwiększenia wymagań formalnych na skutek powszechnego lekceważenia prawa. Warunki gruntowe oraz kategorie geotechniczne obiektów. Zasady kwalifikacji...
-
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ą.
-
Alternative shaper: a model for automatic design generation
Publication -
Nowy mechanizm dynamicznego sterowania mocą w systemie UMTS.
PublicationW referacie zaprezentowano nowy mechanizm dynamicznego sterowania mocą, pracujący z częstotliwością 3000 rozk/sek, możliwy do zastosowania w interfejsie radiowym WCDMA/FDD systemu UMTS. Na podstawie badań, przeprowadzonych w oparciu o własne oprogramowanie symulujące pracę systemu i kanał, dokonano porównana nowego mechanizmu z mechanizmem zaproponowany w specyfikacji systemu UMTS, pracującym z częstotliwością 1500 rozk/sek. Ponadto...
-
Adaptacja francuskich kryteriów zmęczeniowych do projektowania nawierzchni podatnych w warunkach polskich
PublicationNiniejszy artykuł przedstawia francuską metodę projektowania konstrukcji nawierzchni podatnych oraz próbę przystosowania jej do polskich specyfikacji dotyczących mieszanek mineralno-asfaltowych. Opisano sposób dobierania parametrów materiałowych oraz obliczania współczynników modyfikujących trwałość zmęczeniową warstw asfaltowych konstrukcji nawierzchni. Dodatkowo opisano sposób obliczania trwałości nawierzchni ze względu na kryterium...
-
Grimm Grass 1 (Słówka Grimmów)
PublicationKrzysztof Wróblewski | Eksperyment: Ekslibris - ekslibris do powieści „Słówka Grimmów” Güntera Grassa LINK DO PREZENTACJI EKSLIBRISU → https://youtu.be/823ryLQzxas W swoim ekslibrisie Krzysztof Wróblewski sięgnął po technikę graficzną linorytu. Dzięki niej artysta osiągnął efekt powtarzalnego, dynamicznego znaku-plamy, który stanowi kwintesencję wypowiedzi z pogranicza sztuk wizualnych i literatury. Zainspirowany poezją konkretną,...
-
Grimm Grass 2 (Słówka Grimmów)
PublicationKrzysztof Wróblewski | Eksperyment: Ekslibris - ekslibris do powieści „Słówka Grimmów” Güntera Grassa LINK DO PREZENTACJI EKSLIBRISU → https://youtu.be/823ryLQzxas W swoim ekslibrisie Krzysztof Wróblewski sięgnął po technikę graficzną linorytu. Dzięki niej artysta osiągnął efekt powtarzalnego, dynamicznego znaku-plamy, który stanowi kwintesencję wypowiedzi z pogranicza sztuk wizualnych i literatury. Zainspirowany poezją konkretną,...
-
Trzy historyczne miejsca kultu - włączone-wyłączone a przestrzeń miasta Gdańska = Three historic sities for religious cult - included-excluded in the space of the city of Gdansk.
Publicationpublikacja przedstwia historię 3 wybranych świątyń w gdańsku, które zmieniały obrządek oraz ich deklaratywną rolę we współczesnym mieście wynikajacą z potrzeb i możliwości obrządku oraz lokalizacji.trzy obiekty to: cerkiew prawosławna ul. traugutta w gdańsku-wrzeszczu,synagoga w gdańsku-wrzeszczu, kośiół-cerkiew unicka w gdańsku głównym. autor zwraca uwagę na wartości zarówno formalne jak i duchowe oraz związki nieformalne.
-
Współczesne cykle wytwarzania oprogramowania
PublicationPraca omawia inne stosowane współcześnie cykle wytwórcze. Do dyskusji wybra-ne zostały modele, których wykorzystanie przynosi satysfakcjonujące rezulta-ty (wytwarzanie obiektowe, ponowne użycie oprogramowania z wykorzystaniemkomponentów i wzorców, ponowna inżynieria systemów), podejścia, których sto-sowanie nie jest oceniane jednoznacznie (jak to ma miejsce w wypadku metody-ki SSM Checklanda) oraz modele uważane, obok wymienionych,...
-
Formal and Computational Cryptography
Conferences -
Integrated Formal Methods
Conferences -
Formal Methods Pacific
Conferences -
Uwagi do metodyki projektowania układów geometrycznych toru
PublicationW pracy podjęto kwestię zmian, jakie w zakresie projektowania układów geometrycznych toru wprowadziły nowe akty prawne - Techniczne Specyfikacje Interoperacyjności oraz Standardy Techniczne przyjęte przez PKP PLK S.A. Rozpatrzono w sposób szczegółowy dopuszczalne wartości parametrów kinematycznych, skupiając się w głównym stopniu na analizie wartości normatywnych. Następnie omówiono ogólne zasady określania podstawowych parametrów...
-
International Symposium on Formal Methods (Formal Methods Europe [FME])
Conferences -
Metody realizacji pomiarów składowych natężenia promieniowania słonecznego dla monitoringu naukowego w różnych zakresach widmowych na potrzeby zastosowań fotowoltaicznych
PublicationW niniejszej pracy dokonano specyfikacji i analizy trybów monitorowania radiometrycznego systemów fotowoltaicznych. Przeprowadzono teoretyczne wprowadzenie do teorii detektorów termicznych i fotonowych. Zaprezentowano równania promieniowania krótkofalowego, długofalowego oraz bilansowego. Opisano profesjonalne komercyjne radiometry do specjalistycznych pomiarów meteorologicznych. Stwierdzono, że dla uzyskania szczegółowych danych...
-
Implementacja elementów SCORM w systemie zarządzającym nauczaniem Moodle.
PublicationW referacie dokonano analizy możliwoci takiej rozbudowy systemu Moodle, aby uzyskać zgodnoć z modelami danych okrelonymi w specyfikacji SCORM. Zaprezentowano idee podstawowych mechanizmów zdolnych do obsługi dodatkowych formatów kursów on-line, w tym metody dostarczania odpowiednich zasobów wiedzy do użytkownika. Przedstawiono problemy zwišzane z rozszerzeniem systemu Moodle o obsługę API zgodnego z SCORM oraz opis zaimplementowanych...