Search results for: ARGUMENTY WYPRZEDZONE
-
Dokładność metod obliczeniowych a skuteczność ochrony przeciwpowodziowej
PublicationPrzedstawiono wyniki porównawczej analizy dokładności prognoz meteorologicz-nych i hydrologicznych. Wykazano, że dokładność i wyprzedzenie czasowe tych pierwszych jest na tyle niska, że nie mogą one odgrywać istotnej roli w och-ronie przed powodzią, która powinna bazować na prognozach hydrologicznych.
-
Towards Safety Case Integration with Hazard Analysis for Medical Devices
PublicationSafety case is one of system safety lifecycle products and should be consistent with other lifecycle products like hazard analysis results. In this paper we present a method of safety case integration with hazard tables based on the use of parametrized argument patterns. We describe a hazard table metamodel, a safety argument pattern and a mechanism of pattern instantiation using a linking table which represents references to system...
-
Bounded solutions of odd nonautonomous ODE
PublicationBorsuk-Ulam type argument is used in order to prove exstence of nontrivial bounded solutions to some nonautonomous differential euations which are odd with respect to the spatial variable. A Poincare compactification trick is also applied.
-
Application of the numerical-analytic method for systems of differential equations with parameter
PublicationThe numerical-analytic method is applied to systems of differential equations with parameter under the assumption that the corresponding functions satisfy the Lipschitz conditions in matrix notation. We also obtain several existence results for problems with deviations of an argument
-
Successive Iterative Method for Higher-Order Fractional Differential Equations Involving Stieltjes Integral Boundary Conditions
PublicationIn this paper, the existence of positive solutions to fractional differential equations with delayed arguments and Stieltjes integral boundary conditions is discussed. The convergence of successive iterative method of solving such problems is investigated. This allows us to improve some recent works. Some numerical examples illustrate the results.
-
Prognozowanie upadłości przedsiębiorstw - fakty i mity
PublicationW rozdziale ukazano mity oraz fakty, jakie związane są z wykorzystywaniem modeli prognozowania zagrożenia przedsiębiorstw upadłością. Ponadto na tej podstawie zaprezentowano ich zalety, wady oraz ograniczenia im towarzyszące. Dywagacje na ten temat zostały poprzedzone rysem historycznym, który pełni rolę wprowadzenia do dyskusji. Natomiast końcowe wnioski dotyczą przyszłości i pożądanych kierunków zmian w tym obszarze badawczym.
-
Initial value problems for neutral fractional differential equations involving a Riemann-Liouville derivative
PublicationBadano równania neutralne typu ułamkowego z odchylonym argumentem. Podano warunki dostateczne na istnienie jednego rozwiązania.
-
Joanna Raczek dr inż.
PeopleEmployment 2003 -- 2019: Faculty of Applied Physics and Mathematics, Gdańsk University of Technology. 2019 - present: Faculty of Electronic, Informatics and Telecominications, Gdańsk University of Technology. Education May 2007: Doctor of Philosophy in Mathematics, University of Gdańsk. Doctoral dissertation: "Paired domination and doubly domination in graphs". Supervisor: dr hab. Jerzy Topp. 2000 -- 2004 Bachelor of Science...
-
Assurance Case Patterns On-line Catalogue
PublicationAssurance case is an evidence-based argument demonstrating that a given property of a system (e.g. safety, security) is assured. Assurance cases are developed for high integrity systems, as in many industry domains such argu-ment is explicitly required by regulations. Despite the fact that each assurance case is unique, several reusable argument patterns have been identified and pub-lished. This paper reports work on development...
-
Positive solutions to advanced fractional differential equations with nonlocal boundary conditions
PublicationWe study the existence of positive solutions for a class of higher order fractional differential equations with advanced arguments and boundary value problems involving Stieltjes integral conditions. The fixed point theorem due to Avery-Peterson is used to obtain sufficient conditions for the existence of multiple positive solutions. Certain of our results improve on recent work in the literature.
-
Database of the estimations of the numbers of simplices of triangulation of some classical Lie groups
Open Research DataIt is know that any smooth manifold can be triangulated. The number of simplices of triangulation of a given manifold depends on its topological and combinatorial structure. The data consists of the lower bounds for the numbers of simplices of each dimension of any triangulation of classical Lie groups U(n), SU(n), Sp(n), and SO(n) for n up to 25. Each...
-
Existence results to delay fractional differential equations with nonlinear boundary conditions
PublicationPraca dotyczy problemów brzegowych dla ułamkowych równań różniczkowych z opóźnionym argumentem. Podano warunki dostateczne na istnienie rozwiązań ekstremalnych takich zagadnień.
-
Homoclinic solutions for a class of autonomous second order Hamiltonian systems with a superquadratic potential
PublicationW niniejszej pracy udowodniliśmy istnienie nietrywialnego rozwiązania homoklinicznego dla autonomicznych układów Hamiltona drugiego rzędu z nadkwadratowym potencjałem. Orbitę homokliniczną otrzymaliśmy jako słabą granicę ciągu punktów prawie krytycznych, stosując zasadę minimaks do odpowiedniego funkcjonału akcji oraz prosty argument typu ''concentration-compactness''.
-
UPROSZCZONA METODA OCENY POTENCJAŁU REKUPERACJI ENERGIIW TRAKCJI MIEJSKIEJ
PublicationZasobniki energii elektrycznej umożliwiające zwiększeniewykorzystania energii hamowania odzyskowego w trakcjielektrycznej są coraz częściej stosowane. Skuteczność ich działaniazależy od struktury układu zasilania komunikacji miejskiej i charakterystykiruchu, dlatego wprowadzenie ich do użytku powinnobyć poprzedzone analizą techniczną. Analiza taka może być wykonanaw oparciu o symulację układu zasilania. Jednak taka procedurajest...
-
Degradation of organic coatings subjected to alternating mechanical stress impact.
PublicationW pracy przedstawiono wyniki badań nad wpływem cyklicznych naprężeń mechanicznych na dwa rodzaje systemów powłokowych stosowanych do ochrony konstrukcji mostowych. Powłoki epoksydowe i winylowe poddano cyklom zginanie/odpuszczenie w granicach odkształceń elastycznych materiału podłoża. Stan powłok oceniano przy użyciu techniki elektrochemicznej spektroskopii impedancyjnej. Otrzymane wyniki porównano z zachowaniem analogicznych...
-
Implicit difference functional inequalities and applications
PublicationKlasyczne rozwiązania problemów początkowych przybliżane są rozwiązaniami uwikłanych metod różnicowych. Wykazana została zbieżność i stabilność uwikłanych schematów. Przy założeniu, że funkcje dane spełniają nieliniowe oszacowanie typu Perrona względem argumentu funkcyjnego, udowodniono stabilność metody uwikłanej, wykorzystując twierdzenie porównawcze dla funkcji spełniających uwikłane nierówności różnicowe typu Volterry.
-
Caratheodory solutions to hyperbolic functional differential systems with state dependent delays
PublicationMetodą bicharakterystyk i metodą nierówności całkowych dowodzi się istnienia uogólnionych rozwiązań układów równań różniczkowo-funkcyjnych cząstkowych z odchylonym argumentem zależnym od funkcji niewiadomej.
-
Udział gmin w rozwoju przedsiębiorczości
PublicationW artykule podjęto próbę scharakteryzowania oraz usestematyzowania najistotniejszych zagadnień i argumentów pojawiaj acych ssssie w dyskusji wokół modelu wssspierania rozwoju przedsiębiorczości w Polsce
-
Interface circuit for impedance sensors using two specialized single-chip microsystems
PublicationW artykule przedstawiono obwód interfejsu przeznaczony do pomiaru parametrów impedancyjnych czujników lub celek pomiarowych instalowanych na obiektach technicznych. Umożliwia on pomiar modułu i argumentu impedancji w zakresie 10ohm
-
Homoclinic orbits for a class of singular second order Hamiltonian systems in ℝ3
PublicationWe consider a conservative second order Hamiltonian system \ddot{q}+ ∇V(q)=0 in R3 with a potential V having a global maximum at the origin and a line l ∩ {0} = ∅ as a set of singular points. Under a certain compactness condition on V at infinity and a strong force condition at singular points we study, by the use of variational methods and geometrical arguments, the existence of homoclinic solutions of the system.
-
Almost homoclinic solutions for a certain class of mixed type functional differential equations
PublicationW pracy opisano pewną metodę aproksymacyjną szukania rozwiązań prawie homoklinicznych dla równań różniczkowo funkcyjnych z opóźnionym i przyśpieszonym argumentem. Podano również przykłady zastosowań tej metody.
-
Functional delay fractional equations
PublicationIn this paper, we discuss functional delay fractional equations. A Banach fixed point theorem is applied to obtain the existence (uniqueness) theorem. We also discuss such problems when a delay argument has a form α(t) = αt, 0 < α < 1, by Rusing the method of successive approximations. Some existence results are also formulated in this case. An example illustrates the main result.
-
A Self-Adaptive Complex Root Tracing Algorithm for the Analysis of Propagation and Radiation Problem
PublicationAn improved complex root tracing algorithm for radiation and propagation issues is proposed. The approach is based on a self-adaptive discretization of Cauchy’s argument principle for a C × R space and requires a reduced number of function calls in comparison to other procedures presented in the literature. A few different examples concerning propagation and radiation problems have been considered to verify the validity and efficiency...
-
Two families of infinitely many homoclinics for singular strong force Hamiltonian systems
PublicationWe are concerned with a planar autonomous Hamiltonian system with a potential possessing a single well of infinite depth at a point X and a unique strict global maximum 0 at a point A. Under a strong force condition around the singularity X, via minimization of an action integral and using a shadowing chain lemma together with simple geometrical arguments, we prove the existence of infinitely many geometrically distinct homoclinic...
-
Efficient Complex Root Tracing Algorithm for Propagation and Radiation Problems
PublicationAn efficient complex root tracing algorithm for propagation and radiation problems is presented. The proposed approach is based on a discretization of Cauchy’s Argument Principle and its generalization to the C × R space. Moreover, an engagement of the tracing process with a global root finding algorithm recently presented in the literature is performed. In order to confirm a validity and efficiency of the proposed technique, a...
-
The shadowing chain lemma for singular Hamiltonian systems involving strong forces
PublicationW niniejszym artykule rozważamy autonomiczny układ Hamiltonowski na płaszczyźnie z potencjałem, który ma punkt osobliwy (studnię nieskończonej głębokości) i maksimum globalne właściwe równe zero przyjmowane w dwóch różnych punktach płaszczyzny. Przy założeniu, że w otoczeniu punktu osobliwego potencjał spełnia warunek Gordona(gradient tego potencjału w otoczeniu punktu osobliwego jest tzw. silną siłą, ang. a strong force) dowodzimy...
-
Przestrzeń publiczna a przestrzeń prywatna w strukturze gdyńskiej kamienicy okresu międzywojennego
PublicationKamienica jest jednym z najbardziej charakterystycznych typów zabudowy miejskiej. Stanowi ona ten rodzaj domu mieszkalnego, który -będąc w sensie własnościowym elementem przestrzeni prywatnej - jest jednocześnie w sensie wizualnym i funkcjonalnym elementem przestrzeni publicznej. Dzieje się tak przede wszystkim z uwagi na jej rolę w strukturze miasta - rolę elementu pozostającego na styku obu tych stref. Przedstawienie interakcji...
-
Błędy wyznaczania charakterystyk częstotliwościowych impedancji uzwojeń magnesów nadprzewodzących
PublicationW artykule przedstawiono zagadnienia związane z opracowaniem systemu do wyznaczania impedancji uzwojeń magnesów nadprzewodzących w funkcji częstotliwości. Omówiono strukturę sprzętową systemu i oprogramowanie, a także dokonano podstawowej analizy metrologicznej określając na podstawie badań symulacyjnych błędy wyznaczania modułu i argumentu poszukiwanej impedancji. Pokazano również przykładowe wyniki uzyskane przy użyciu omawianego...
-
A New Approach to Stability Evaluation of Digital Filters
PublicationIn this paper, a new numerical method of evaluating digital filter stability is presented. This approach is based on novel root-finding algorithms at the complex plane using the Delaunay triangulation and Cauchy's Argument Principle. The presented algorithm locates unstable zeros of the characteristic equation with their multiplicities. The proposed method is generic and can be applied to a vast range of systems. Verification of...
-
Connecting orbits for a periodically forced singular planar Newtonian system
PublicationW niniejszym artykule badamy problem istnienia i krotności rozwiązań homoklinicznych i heteroklinicznych dla nieautonomicznych układów Newtonowskich na płaszczyźnie z potencjałem okresowym ze względu na zmienną czasową, mającym maksimum globalne właściwe przyjmowane w dwóch punktach płaszczyzny i punkt osobliwy (studnię nieskończonej głębokości), w otoczeniu którego potencjał spełnia warunek Gordona (gradient potencjału ze względu...
-
The influence of compensate coils on own ship magnetic field
PublicationA ferromagnetic object placed in the earth magnetic field causes a local disturbance in this field distribution. The field distribution disturbance is a function of many arguments like the dimensoins and shape of the object, its ferromagnetic properties ande its positon in relation to the earth magnetic field. in order to minimize the influence of this disturbance one places compensate coils on the ship. Some chosen results of...
-
Eksperymentalne porównanie inspekcji UML-HAZOP z przeglądem niestrukturalnym.
PublicationArtykuł opisuje eksperyment przeprowadzony w warunkach akademickich, z udziałem studentów Politechniki Gdańskiej. Celem eksperymentu było porównanie dwóch technik przeglądowych: inspekcji opartej na metodzie UML-HAZOP oraz zwykłego przeglądu niestrukturalnego. W ramach porównania obu technik dokonano oceny ich skuteczności i wydajności. Metodę UML-HAZOP poddano ponadto dodatkowej ocenie uczestników za pomocą anonimowych ankiet....
-
An extension of the method of quasilinearization
PublicationMetodę kwazilinearyzacji zastosowano do problemów początkowych gdy prawą stronę zagadnienia można przedstawić za pomocą nieliniowej funkcji "rozszerzenia", zakładając o niej pewną regularność. Pokazano, że odpowiednio skonstruowane ciągi monotoniczne są zbieżne kwadratowo do rozwiązania problemu. Praca uogólnia odpowiednie wyniki, gdy prawa strona jest sumą funkcji wklęsłych i wypukłych ze względu na ostatni argument.
-
On delay differential equations with almost periodic boundary conditions started from different points
PublicationDyskutowany jest problem istnienia ekstremalnych rozwiązań dla równań różniczkowych typu opóźnionego przy odpowiednich warunkach brzegowych. Sformułowano odpowiednie twierdzenia porównawcze. W pracy zawarte są również wyniki dotyczące takich równań przy większej ilości argumentów opóźnionych.
-
The influence of parameters of input probe on the error of high impedance measurement
PublicationW artykule przedstawiono sondę do pomiaru wysokich impedancji w zakresie 1kohm<|Zx|<100Gohm przeznaczoną do dołączenia do analizatorów typu gain-phase. Przeanalizowano wpływ parametrów sondy (pojemności pasożytnicze, toleranca rezystorów określających wzmocnienie wzmacniacza) na dokładność wyznaczenia modułu i argumentu zespolonego stosunku sygnałów wydzielonych w sondzie. Zamieszczono wyniki symulacji i pomiarów, pozwalające na...
-
Problemy gospodarczego wykorzystania dolnej Wisły
PublicationW pracy omówiono historię i aktualny stan zagospodarowania dolnej Wisły oraz najistotniejsze argumenty na rzecz gospodarczego wykorzystania jej potencjału. Wskazano, że najlepszym sposobem kompleksowego i integralnego rozwiązania problemów związanych z zagrożeniem niesionym przez dolną Wisłę i wykorzystaniem istniejących możliwości jest powrót do idei budowy kaskady stopni wodnych. Takie podejście umożliwi kompleksowe rozwiązanie...
-
Zastosowanie metod analizy wielowymiarowej w rozpoznawaniu komórek nowotworowych
PublicationArtykuł przedstawia sposób zastosowania metody k-średnich (k-means) do analizy danych o komórkach nowotworu piersi pochodzących z Breast Cancer Wisconsin Data Set, pobranych podczas biopsji cienkoigłowej. Celem analizy jest sprawdzenie, czy na podstawie parametrów geometrycznych pobranych komórek istnieje możliwość automatycznego podziału pacjentek na grupy o podobnym ryzyku wystąpienia nowotworu złośliwego. Zastosowanie metody...
-
SKANING LASEROWY JAKO TECHNOLOGIA WIELU ZASTOSOWAŃ - POMIARY GEODEZYJNE NA POTRZEBY ARCHITEKTÓW
PublicationSkaning laserowy umożliwia pozyskanie chmury punktów, która może być opracowana i wykorzystana w różnych etapach inwestycji, od wykonywania prostych pomiarów na uzyskanym dzięki chmurze modelu lub na samej chmurze, po opracowywanie modeli cyfrowych zeskanowanych obiektów, ich wizualizacje i aranżacje wnętrz. W pracy przedstawiono możliwości zastosowania wyników naziemnego skanowania laserowego do opracowania projektu aranżacji...
-
A Loophole of All ‘Loophole-Free’ Bell-Type Theorems
PublicationBell’s theorem cannot be proved if complementary measurements have to be represented by random variables which cannot be added or multiplied. One such case occurs if their domains are not identical. The case more directly related to the Einstein–Rosen–Podolsky argument occurs if there exists an ‘element of reality’ but nevertheless addition of complementary results is impossible because they are represented by elements from different...
-
SCF - a Framework Supporting Achieving and Assessing Conformity with Standards
PublicationStandards Conformity Framework (SCF) presented in this paper encompasses methods and tools whichprovide support for application of standards and other normative documents. The approach taken focuses ondevelopment, assessment and maintenance of an electronic document which demonstrates conformity. Sucha document contains an argument structure developed in accordance with the Trust-IT methodology. Thepaper discusses details of the...
-
Zastosowanie sondy wejściowej w komputerowym systemie pomiarowymdo spektroskopii wysokoimpedancyjnej.
PublicationW pracy przedstawiono komputerowy system pomiarowy do spektroskopii wysokoimpedancyjnej, w którym zastosowano sondę wejściową umożliwiającą pomiary impedancji do |Zx|<100Gohm w szerokim zakresie częstotliwości od 10uHz do 100kHz. Przeanalizowano wpływ głównych źródeł niepewności na dokładność wyznaczenia modułu i argumentu zespolonego stosunku sygnałów wydzielanych w sondzie. Podano wyniki symulacji komputerowych, które pozwoliły...
-
Analiza celowości i możliwości budowy "suchego portu" w pobliżu Trójmiasta
PublicationPrzewidywany w ciągu najbliższych kilku lat wzrost ilości przeładowanych kontenerów w portach Gdyni i Gdańska do 4 mln TEU wymaga zastosowania zupełnie nowych koncepcji i technologii logi-stycznych. Przyjęcie tak dużej ilości ładunków jest znacznie utrudnione przez ograniczone możliwości rozbudowy infrastruktury w portach, jak też w samych miastach portowych. W takiej sytuacji należy dążyć do maksymalnego ograniczenia czynności...
-
Edukacja kulturalna inżynierów - doświadczenia gdańskie = Cultural education of engineers - Gdańsk experiences
PublicationWe wstępie przywołano konsyliencję, rozwój zrównoważony, krajobraz kulturowy, memetykę, technikę informacyjną i komunikacyjną, komunikację lekcyjną i kreatywność jako argumenty dalszych rozważań o wizji kulturalnej edukacji inżynierów oraz misji temu służącej, podjętej przez autora na Politechnice Gdańskiej w 1993 r. Jako przesłanki metodyczne omówiono slogany lekcyjne: ''otwieracz do oczu'', ''zwierciadło wartości'', ''skarbnica...
-
Zastosowanie Google Trends w prognozowaniu zmian na rynku nieruchomości
PublicationDecyzje inwestycyjne poprzedzone są szeregiem działań związanych z uzyskiwaniem i weryfikacją informacji. Poniższe badanie ma na celu zbadanie użyteczności danych pochodzących z wyszukiwarek internetowych pod względem ich przydatności w prognozowaniu zmian na rynku nieruchomości. Dane te mogą być dodatkowym źródłem informacji dla inwestorów, jeśli okaże się, że zawierają ślady poszukiwania informacji w okresie przed podjęciem danej...
-
Ausgewahlten Warme und Feuchtigkeits probleme von Industriefussboden.
PublicationWiele obiektów budowlanych, jak hale przemysłowe, magazyny, warsztaty, hangary, sklepy, supermarkety itp. wyposażonych jest w posadzkę ułożoną bezpośrednio na gruncie. Rola, jaką pełni najniżej położona w tych obiektach posadzka podlega takim samym prawom fizyki budowli jak i mechaniki, tak jak każdy inny znaczący element konstrukcyjny obiektu. Oczywiście nie można jej rozpatrywać w aspekcie elementu wydzielonego z pewnej całości,...
-
Termografia w diagnostyce oparzeń.
PublicationW artykule przedstawiono możliwości i ograniczenia zastosowania aktywnej termografii dynamicznej w diagnostyce oparzeń. Prezentowane badania in-vivo poprzedzone były analizami matematycznych modeli skóry zdrowej i oparzonej, w celu optymalizacji procedury diagnostycznej. Szczególną uwagę poświęcono na zgodność wyników otrzymywanych w symulacjach numerycznych i badań doświadczalnych. Otrzymane wyniki wskazują, iż dysponując bezpiecznymi...
-
On Nonlinear Volterra Integral Equations With State Dependent Delays in Several Variables
PublicationW pracy badane jest istnienie i jednoznaczność rozwiązań nieliniowego równania całkowego typu Volterry z opóźnionym argumentem zależnym od funkcji niewiadomej wielu zmiennych. Poszukiwane są ciągłe rozwiązania lipschitzowskie. Rozwiązania są poszukiwane metodą porównawczą z zastosowaniem twierdzenia Banacha o punkcie stałym.
-
Standard Compliance Framework for effective requirements communication
PublicationStandard Compliance Framework (SCF) is a framework, which supports application of standards at the stages of achieving, assessing and maintaining the compliance. It uses Trust Case language to develop argument structures demonstrating compliance with standards. The paper presents how SCF is applied to increase effectiveness of requirements communication. Relevant mechanisms of the framework are thoroughly described referring to...
-
Road safety analysis in Poland using time-series modelling techniques
PublicationA number of international studies argue that there is a correlation between the number of traffic fatalities and the degree of public activity. The studies use the unemployment rate to support that argument. As unemployment grows miles travelled fall, a factor known to affect road safety. This relationship seems to be true for Poland, as well. The model presented in the paper is intended to prove it. It is a structural time-series local...
-
Application of a hash function to discourage MAC-layer misbehaviour in wireless LANs.
PublicationProtokoły przypadkowego wielodostępu w warstwie MAC bezprzewodowych sieci lokalnych wykorzystują algorytm odkładania transmisji o losowo wybrany odcinek czasu. Odstępstwo od losowego wyboru czasu odłożenia może zapewnić stacji niesprawiedliwie duży udział w paśmie sieci. W pracy przedstawiono protokół dostępu przeciwdziałający tego rodzaju zachowaniom, oparty na zastosowaniu funkcji mieszającej. Jako argument funkcji przyjmuje...