Filtry
wszystkich: 604
-
Katalog
- Publikacje 553 wyników po odfiltrowaniu
- Osoby 24 wyników po odfiltrowaniu
- Projekty 6 wyników po odfiltrowaniu
- Laboratoria 1 wyników po odfiltrowaniu
- Zespoły Badawcze 1 wyników po odfiltrowaniu
- Kursy Online 9 wyników po odfiltrowaniu
- Wydarzenia 5 wyników po odfiltrowaniu
- Dane Badawcze 5 wyników po odfiltrowaniu
Wyniki wyszukiwania dla: DOWÓD ZGODNOŚCI
-
On sequences of the white noises
PublikacjaPodano dowód mocnego prawa wielkich liczb dla funkcjonałów gaussowskich.
-
Praca z normą Common Criteria wspomagana szablonami Trust Case
PublikacjaTrust Case stanowi strukturę danych zawierającą argumentację oraz związany z nią materiał dowodowy uzasadniający, że interesujący nas obiekt (system, infrastruktura, organizacja) posiada wskazane własności. Metoda jest przedmiotem intensywnych badań. Jeden z kierunków rozwoju dotyczy tworzenia szablonów oceny zgodności ze standardami. Szablon Trust Case jest odwzorowaniem wymagań zawartych w normie w strukturę drzewa dowodowego....
-
Andrzej Augusiak dr inż.
Osoby -
Comment on the orthogonality of the Macdonald functions of imaginary order
PublikacjaPrzeprowadzono dowód ortogonalności funkcji Macdonalda z urojonym indeksem. Zastosowana metoda jest znacznie prostsza od innych prezentowanych do tej pory w literaturze.
-
Initial problems for neutral functional differential equations with unbounded delay.
PublikacjaSformułowano układ aksjomatów dla przestrzeni fazowej . Wykazano istnienie jednoznaczności rozwiązań zagadnienia Cauchy´ego. Dowód wykorzystuje metody porównawcze z nieliniowymi oszacowaniami dla danej funkcji.
-
Finite difference approximations for nonlinear first order partial differential equations
PublikacjaKlasyczne rozwiązania nieliniowych równań różniczkowych o pochodnych cząst-kowych pierwszego rzędu są aproksymowane za pomocą równań quasiliniowych uk-ładów równań różniczkowych. Dowód zbieżności wykorzystuje metody porównawcze
-
Representation of the Poisson kernel for Jacobi and Hahn polynomials
PublikacjaW pracy przedstawiono dowód twierdzenia o reprezentacji jąder Poissona dla wielomianów Jacobiego wypukłą kombinacją nieujemnych jąder typu Durrmeyera. Podobne rezultaty uzyskano dla jąder Poissona dla dyskretnych wielomianów Hahna.
-
On efficient coloring of chordless graphs
PublikacjaArtykuł omawia zagadnienie optymalnego, wielomianowego rozpoznawania i kolorowania grafów bezcięciwowych. Zawiera dowód tego, że takie grafy są zawsze 4-kolorowalne oraz opis wielomianowego algorytmu, który koloruje je minimalną możliwą liczbą kolorów.
-
Conley type index applied to Hamiltonian inclusions
PublikacjaPodano dowód istnienia nietrywialnych rozwiązań okresowych dla inkluzji Hamiltonowskich, z potencjałem lokalnie Lipschitzowskim, okresowym, uogólniając klasyczne twierdzenie Ammana- Zehndera. Użyto techniki z teorii indeksu Conley'a dla wielowartościowych potoków w przestrzeni Hilberta.
-
Implicit difference methods for first order partial differential functional equations
PublikacjaKlasyczne rozwiązania problemów początkowo brzegowych przybliżane są rozwiązaniami uwikłanych metod różnicowych. Wykazana została zbieżność i stabilność uwikłanych schematów. Dowód stabilności opiera się na technice porównawczej z nieliniowym oszacowaniem typu Perrona dla funkcji danych.
-
An orthogonality relation for the Whittaker functions of the second kind of imaginary order
PublikacjaPrzeprowadzono dowód ortogonalności funkcji Whittakera drugiego rodzaju rzędu urojonego. Użyto metody analogicznej do tej, którą zaprezentowano we wcześniejszej pracy tych samych autorów [J. Math. Anal. Appl. 365 (2010) 195-197], poświęconej funkcjom Macdonalda rzędu urojonego.
-
Stability of difference problems generated by hyperbolic first order partial differential systems.
PublikacjaPraca dotyczy numerycznej aproksymacji rozwiązań zagadnień początkowych dla nieliniowych układów równań różniczkowych cząstkowych pierwszego rzędu. Podano konstrukcję układu quasiliniowego równań różnicowych typu Eulera. Wykazano, że przy naturalnych założeniach jest on stabilny. Dowód zbieżności wykorzystuje metody porównawcze.
-
O problemie przydziału częstotliwości, kontrastowym kolorowaniu grafów i częściowych k-drzewach
PublikacjaNiniejszy artykuł poświęcony jest złożoności obliczeniowej problemu przydziału częstotliwości. Zawiera dowód tego, że jest on NP-trudny nawet dla grafów interferencji, będących grafami dwudzielnymi, oraz wielomianowy algorytm rozwiązujący ten problem dla grafów interferencji, będących częściowymi k-drzewami.
-
Generation of conformance test suites for parallel and distributed languages and APIS.
PublikacjaArtykuł zarysowuje nową metodologię systematycznego tworzenia Zestawów Testów Zgodności. Testowanie zgodności ma na celu sprawdzenie, czy implementacja jest zgodna ze swoją specyfikacją, co jest szczególnie ważne w środowiskach równoległych i rozproszonych, gdzie musi ze sobą współpracować wiele różnych pakietów. Autor rozpoczął swoje badania w dziedzinie testowania zgodności dla języka równoległego sterowanego danymi Athapascan,...
-
Sum coloring of bipartite graphs with bounded degree.
PublikacjaArtykuł poświęcony jest złożoności obliczeniowej zagadnienia sumacyjnego kolorowania grafów dwudzielnych o ograniczonym stopniu. Zawiera dowód tego, że sumacyjne kolorowanie grafów dwudzielnych stopnia mniejszego równego 5 jest NP-zupełne oraz opis wielomianowego algorytmu, który optymalnie sumacyjnie koloruje grafy dwudzielne podkubiczne.
-
Conformance testing of parallel languages
PublikacjaPrzedstawiono propozycję formalizacji opisu procesu generacji, wykonania ioceny testów zgodności dla języków i bibliotek programowania równoległego, wzakresie zgodności funkcjonalnej i wydajnościowej. Przykłady ilustrujące proponowany formalizm wykorzystują platformę programowania Athapascan.
-
Generalized solutions of first order partial differential functional inequalities
PublikacjaW pracy rozważa się zagadnienia początkowo brzegowe dla nieliniowych równań różniczkowo funkcyjnych cząstkowych pierwszego rzędu. Podano dowód jednoznaczności rozwiązań uogólnionych. Oparty jest on na twierdzeniu porównawczym dla nierówności różniczkowo funkcyjnych w sensie Caratheodory'ego. Prezentowane jest twierdzenie o uogólnionych rozwiązaniach nierówności różniczkowo funkcyjnych.
-
Analiza techniczna funkcjonalności pilarki PZS-350. Ekspertyza techniczna opracowana na zlecenie REMA S.A.
PublikacjaWykonana ekspertyza techniczna dotyczyła prototypowej pilarki tarczowej PZS-350 przeznaczonej do cięcia surowej sklejki drzewnej na arkusze o żądanym wymiarze. Celem była analiza funkcjonalności wykonanego prototypu oraz jego zgodności z przyjętymi założeniami technicznymi. Główne funkcje realizowane przez pilarkę obejmują: a) transport sklejki ze stołu podawczego do cięcia wzdłużnego; b) cięcie wzdłużne i usuwanie odpadu po tym...
-
Some aspects of physical and numerical modeling of water hammer in pipelines
PublikacjaCharakterystyki ciśnieniowe otrzymywane w wyniku symulacji numerycznych uderzenia hydraulicznego różnią się zasadniczo od charakterystyk obserwowanych na drodze doświadczalnej. Stosowane zabiegi matematyczne i numeryczne pozwalające na poprawę zgodności między obliczeniami a pomiarami okazują się skuteczne tylko w przypadku prostych rurociągów o stałej średnicy. Dla bardziej skomplikowanych przypadków prawidłowe odwzorowanie zjawiska...
-
Rational design, synthesis and biological evaluation of thiadiazinoacridines: a new class of antitumor agents.
PublikacjaZsyntetyzowano serię związków o potencjalnej zdolności do wiązania się z DNA z grupy tiadiazinoakrydyn poprzez cyklizację odpowiednich pochodnych 9-imino-4-nitro-9,10-dihydroakrydyny. Zbadano ich zdolność do wiązania się z DNA oraz cytotoksyczność względem kilku linii komórek nowotworwych. Badania aktywności przeciwnowotworowej wobec białaczki P388 wskazały na zgodność tych wyników z wynikami cytotoksyczności in vitro. Wykazano,...
-
Marek Olesz dr hab. inż.
OsobyWydział Elektrotechniki i Automatyki, Prodziekan ds. rozwoju dr hab. inż. Marek Olesz, prof. PG data urodzenia 1966 wykształcenie Politechnika Gdańska, Wydział Elektryczny (1990) stopień / tytuł naukowy doktor habilitowany – Politechnika Gdańska, Wydział Elektrotechniki i Automatyki (2017), doktor – Politechnika Gdańska, Wydział Elektrotechniki i Automatyki (1998) zatrudnienie Politechnika Gdańska: asystent stażysta (1989 –...
-
Implicit difference methods for Hamilton-Jacobi differential functional equations
PublikacjaKlasyczne rozwiązania problemów początkowych przybliżane są rozwiązaniami odpowiedniego układu quasiliniowego równań różniczkowo funkcyjnych. Rozpatrywana metoda numeryczna jest uwikłana względem zmiennej przestrzennej. Wykazana została zbieżność i stabilność uwikłanych schematów. Dowód stabilności opiera się na technice porównawczej z nieliniowym oszacowaniem typu Perrona dla funkcji danych.
-
Numerical methods for systems of nonlinear differential functional equations
PublikacjaPraca dotyczy zagadnień początkowo brzegowych dla nieliniowych układów różniczkowo funkcyjnych. Rozważana jest aproksymacja rozwiązań rozważanego problemu różniczkowo funkcyjnego przez rozwiązania odpowiedniego problemu różnicowego. W pracy analizowana jest zbieżność prezentowanych metod. Dowód zbieżności opiera się na technice porównawczej z nieliniowym oszacowaniem typu Perron'a dla danych operatorów.
-
Zastosowanie szablonów Trust Case w pracy z normą BS 7799
PublikacjaTrust Case stanowi strukturę danych zawierającą argumentację oraz związany z nią materiał dowodowy uzasadniający, że interesujący nas obiekt (system, infrastruktura, organizacja) posiada wskazane własności. Wykorzystanie Trust Case do analizy i uzasadniania zaufania do systemów IT jest przedmiotem aktywnych badań. Podejście to znalazło zastosowanie w stosunku do systemów związanych z bezpieczeństwem (ang. safety critical), a ostatnio...
-
Badania pojazdów zabytkowych - wymagane dokumenty
PublikacjaBadanie, jakiemu poddawany jest pojazd w stacji kontroli pojazdów, kwalifikujące go do pojazdów zabytkowych nazywane jest "Badaniem co do zgodności z warunkami technicznymi pojazdów zabytkowych". Rozporządzenie określa zakres i sposób prowadzenia badań zgodności z warunkami technicznymi pojazdów zabytkowych.
-
Testing for conformance of parallel programming pattern languages
PublikacjaThis paper reports on the project being run by TUG and IMAG, aimed at reducing the volume of tests required to exercise parallel programming language compilers and libraries. The idea is to use the ISO STEP standard scheme for conformance testing of software products. A detailed example illustrating the ongoing work is presented.
-
Naprowadzanie i pozycjonowanie obiektów oceanotechnicznych
Kursy OnlineAnaliza zdolności dynamicznego pozycjonowania wybranego statku
-
Quantum states representing perfectly secure bits are always distillable
PublikacjaW pracy pokazano, że ostatnio wprowadzone stany kwantowe reprezentujące perfekcyjnie bezpieczny bit klucza kryptograficznegooraz ich wielocząstkowe i wielowymiarowe uogólnienia zawsze reprezentują destylowalne splątanie. Podano ograniczenia dolne na wielkość destylowalnego splątania. Ponadto podano alternatywny dowód faktu, że koszt splątania jest ograniczeniem górnym na wielkość destylowalnego klucza kryptograficznego w dwucząstkowym...
-
Implicit difference methods for quasilinear differential functional equations on the Haar pyramid
PublikacjaW pracy prezentowana jest klasa metod numerycznych dla quasiliniowych równań różniczkowo funkcyjnych pierwszego rzędu. Metody numeryczne są uwikłane względem zmiennej czasowej. Istnienie rozwiązania przybliżonego wykazane zostało przy użyciu nierówności różnicowych. Dowód stabilności bazuje na technice porównawczej z nieliniowym oszacowaniem typu Perona dla funkcji danych. Przedstawione zostały również przykłady numeryczne.
-
Generalized Euler method for nonlinear first order partial differential equations.
PublikacjaKlasyczne rozwiązania nieliniowych równań różniczkowych cząstkowych pierwszego rzędu są aproksymowane w tej pracy za pomocą rozwiązań quasiliniowych układów równań różnicowych. Podstawowa idea pracy jest oparta na teorii charakterystyk. Podane są warunki wystarczające dla zbieżności metody. Dowód stabilności schematu różnicowego wykorzystuje metodę porównawczą z nieliniowymi oszacowaniami typu Perrona dla danych funkcji.Podane...
-
Ocena stanu technicznego obiektów budowlanych Pomorskiej Kolei Metropolitarnej po ekstremalnym opadzie atmosferycznym w dniach 14 - 15 lipca 2016 r
PublikacjaOpinię wykonano w związku z powołaniem przez Marszałka Województwa Pomorskiego, Zespołu Ekspertów ds. analizy inwestycji Pomorskiej Kolei Metropolitarnej w kontekście stanu infrastruktury PKM po deszczu nawalnym w dniu 14/15.07.2016 r. Celem przeprowadzonych prac studialnych (uzupełnionych o wizje lokalne) była analiza udostępnionych dokumentacji pod kątem poprawności rozwiązań technicznych. Zakres prac: • Ocena zgodności dokumentacji...
-
Opinia dotycząca systemu nawierzchni torowej proponowanej przez wykonawcę odcinka centralnego II linii metra w Warszawie
PublikacjaOpinia dotyczy zgodności zaproponowanej konstrukcji nawierzchni z zapisami zawartymi w Programie Funkcjonalno-Użytkowym
-
Badania składu chemicznego materiału rury 323,90x12,70 mm
PublikacjaWykonano badania składu chemicznego materiału rury i dokonano oceny zgodności z atestem i normą.
-
Wdrażanie prawa unijnego
PublikacjaAutorka opisuje system oceny zgodności, któremu podlegają wszystkie wyroby znajdujące się na rynkach krajów unijnych.
-
Generalized Euler method for first order partial differential functional equations
PublikacjaW pracy prezentowana jest nowa klasa metod numerycznych dla nieliniowych równań różniczkowo funkcyjnych pierwszego rzędu.Rozwiązania klasyczne zagadnień początkowo brzegowych przybliżane są w tej pracy przez rozwiązania odpowiedniego układu quasilininowego równań różnicowych. Podajemy kompletną analizę zbieżności metod i pokazujemy na przykładach, iż nowa metoda jest zauważalnie lepsza niż klasyczne schematy różnicowe. Dowód stabilności...
-
Easy and hard instances of arc ranking in directed graphs
PublikacjaArtykuł dotyczy uporządkowanego kolorowania łuków grafów skierowanych. Problem polega na takim przyporządkowaniu liczb łukom digrafu, aby każda skierowana ścieżka łącząca dwa łuki o tej samej liczbie (kolorze) zawierała łuk o kolorze wyższym. Praca podaje liniowy optymalny algorytm dla pewnego szczególnego przypadku, oraz zawiera dowód, iż problem ten jest obliczeniowo trudny dla 3-dzielnych acyklicznych digrafów i stałej liczby...
-
Implicit difference methods for first order partial differential functional equations
PublikacjaW pracy prezentowana jest nowa klasa metod numerycznych dla quasiliniowych równań różniczkowo funkcyjnych pierwszego rzędu. Są to schematy różnicowe uwikłane względem zmiennej czasowej. Podana jest pełna analiza zbieżności rozważanych metod uwikłanych oraz przykład numeryczny pokazujący, że klasa tych metod jest szersza niż klasa schematów jawnych. Dowód stabilności opiera się na technice porównawczej z nieliniowym oszacowaniem...
-
Jacek Namieśnik prof. dr hab. inż.
OsobyUrodził się 10 grudnia 1949 r. w Mogilnie, zmarł 14 kwietnia 2019 r. w Gdańsku – polski chemik, profesor nauk chemicznych, specjalizujący się w chemii analitycznej i środowiskowej. Rektor Politechniki Gdańskiej w latach 2016–2019. Studia wyższe ukończył w 1972 r. na Wydziale Chemicznym Politechniki Gdańskiej, uzyskując tytuł magistra inżyniera chemika. W 1972 r. rozpoczął pracę na Politechnice Gdańskiej, gdzie w 1978 r. obronił...
-
Showing compliance of probabilistic assessments with safety goals
PublikacjaW niektórych standardach formułuje się wymagania, że wyniki modelowania probabilistycznego i oszacowań ryzyka powinny zawierać ocenę niepewności. Modelowanie złożonych systemów bazuje w praktyce na kategoriach zdarzeń, które są mniej lub więcej rozmyte. Artykuł dotyczy kwestii wykazywania zgodności wyników modelowania probabilistycznego z ilościowymi kryteriami bezpieczeństwa. Proponuje się metodę definiowania takich kryteriów...
-
Sztywność obwodowa rurociągi - studzienki
PublikacjaZagadnienia sztywności obwodowej rur, złączy, rurociągów, studzienek rewizyjnych. Charakterystyczne problemy klasyfikacyjne, zagrożenia. Problem braku zgodności o rozwiązaniu systemowym.
-
EKSPERTYZA W ZAKRESIE POPRAWY DOSTĘPNOŚCI ZGODNIE Z ZARZĄDZENIEM PREZYDENTA MIASTA GDYNI Z DN. 17 MAJA 2013 W SPRAWIE PRZYJĘCIA STANDARDÓW DOSTĘPNOŚCI DLA MIASTA GDYNI dot.: inwestycji pn. Panorama Office – budynek usługowo-biurowy z garażem podziemnym wraz z projektem zagospodarowania terenu i infrastrukturą techniczną w Gdyni.
PublikacjaOcena dostępności do potrzeb osób z niepełnosprawnościami otoczenia budynku usługowo-biurowego Panorama Office i zgodności ze Standardami Dostępności
-
Badania pojazdów zabytkowych - sprawdzanie działania zespołów
PublikacjaBadanie co do zgodności z warunkami technicznymi pojazdów zabytkowych diagnosta podsumowuje przez przygotowanie dla wnioskodawcy dwóch zaświadczeń po przeprowadzonym badaniu. Zaświadczenia oraz część badania technicznego zostały opisane w nr. 9 i 10/2018 SM. W tym artykule przyjrzyjmy się ostatniemu etapowi badania co do zgodności z warunkami technicznymi pojazdu zabytkowego, a mianowicie: sprawdzeniu prawidłowości działania poszczególnych...
-
EKSPERTYZA W ZAKRESIE POPRAWY DOSTĘPNOŚCI ZGODNIE Z ZARZĄDZENIEM PREZYDENTA MIASTA GDYNI NR 10740/13/VI/U Z DN. 17 MAJA 2013 W SPRAWIE PRZYJĘCIA STANDARDÓW DOSTĘPNOŚCI DLA MIASTA GDYNI. Dotyczy: projektu węzła integracyjnego i publicznego parkingu związanego z obsługą drogową w Gdyni Chyloni.
PublikacjaOcena dostępności do potrzeb osób z niepełnosprawnościami projektu integracyjnego węzła komunikacyjnego w Gdyni Chyloni. Sprawdzenie zgodności z wytycznymi Standardów Dostępności.
-
EKSPERTYZA W ZAKRESIE POPRAWY DOSTĘPNOŚCI ZGODNIE Z ZARZĄDZENIEM PREZYDENTA MIASTA GDYNI Z DN. 17 MAJA 2013 W SPRAWIE PRZYJĘCIA STANDARDÓW DOSTĘPNOŚCI DLA MIASTA GDYNI. Dotyczy: Przebudowy ul. Zaruskiego i ul. Staniszewskiego w Gdyni
PublikacjaAudyt dostępności przebudowy ul. Zaruskiego i Staniszewskiego w Gdyni pod kątem zgodności z koncepcją projektowania uniwersalnego I Standardami Dostępności Miasta Gdyni
-
Emisyjność i odporność na promieniowanie EM w aparaturze biomedycznej 2023
Kursy OnlineZastosowanie w biomedycynie zaleceń dotyczących zasad kompatybilności elektromagnetycznej. Omówienie wymagań konstrukcyjnych jaki obowiązujących zagadnień prawnych obowiązujących dla urządzeń stosowanych w medycynie. Przedstawienie opisów stosowanych obecnie metod oceny zgodności oraz stosowanych elementów i układów ochronnych wraz z metodami ich symulacji.
-
Cooperative mobile guards in grids
PublikacjaPraca dotyczy problemu strzeżenia dwuwymiarowych krat ortogonalnych, przy założeniu, że obszar widoczności strażnika obejmuje jedną ulicę oraz wszystkie ulice ją przecinające. Rozważano wariant straży słabo współpracujących, w którym dodatkowo każdy strażnik musi widzieć przynajmniej jednego innego strażnika. Podano dowód NP-trudności problemu optymalizacyjnego w przypadku ogólnym, algorytm dokładny o złożoności O(n log n) dla...
-
Implicit difference methods for parabolic functional differential equations.
PublikacjaPraca dotyczy przybliżania rozwiązań quasiliniowych parabolicznych równań różniczkowo-funkcyjnych za pomocą schematów różnicowych, uwikłanych ze względu na zmienną czasową. Wykonano pełną analizę zbieżności metod i pokazano na przykładzie, że nowe metody są istotnie lepsze od schematów jawnych. Dowód stabilności oparty jest na metodzie porównawczej z nieliniowymi oszacowaniami typu Perrona. Otrzymane wyniki można zastosować do...
-
Analityczne Modelowanie Procesów Przepływu: Analiza Obliczalności Modelu Stanowego
PublikacjaW pracy przedstawiono równania opisujące zjawisko przepływu cieczy oraz gazów w długich rurociągach. Oparłszy się na podziale rurociągu na małe segmenty, opisuje się dyskretne dynamiczne równanie tego procesu. Przedstawia się dowód, że macierz rekombinacji stanu (A), która potencjalnie może być przyczyną osobliwości równania stanu przepływu, jest nieosobliwa dla skończonych i niezerowych przedziałów kwantyzacji w czasie i przestrzeni....
-
Kanalizacyjne studzienki rewizyjne z tworzyw zgodne z normą PN-EN13598
PublikacjaSzczególne cechy konstrukcyjno - wytrzymałościowe kanalizacyjnej studzienki z tworzyw. Klasyfikacja normowa. Charakterystyka gwarantowana przez producenta. Zasady znakowania wyrobów. Konsekwencje deklaracji zgodności z normą.
-
Implicit difference methods for infinite systems of hyperbolic functional differential equations
PublikacjaPraca dotyczy klasycznych rozwiązań problemów początkowo brzegowych dla nieskończonych układów nieliniowych równań rózniczkowo funkcyjnych. Skonstruowane są dwa typy schematów różnicowych. Pokazujemy, ze rozwiązania rozważanego zagadnienia różniczkowego można przybliżyć przy pomocy rozwiązań nieskończonych układów równań różnicowych. W drugiej części pracy udowadniamy, że również rozwiązania skończonych układów równań różnicowych...