Search
Search results for: ODCHYLONE ARGUMENTY
-
Uniform Model Interface for Assurance Case Integration with System Models
PublicationAssurance cases are developed and maintained in parallel with corresponding system models and therefore need to reference each other. Managing the correctness and consistency of interrelated safety argument and system models is essential for system dependability and is a nontrivial task. The model interface presented in this paper enables a uniform process of establishing and managing assurance case references to various types...
-
Określanie zapotrzebowania energii przez grupy odbiorników pomocniczych na pogłębiarkach wieloczerpakowych
PublicationW pracy przedstawiono metodę określania zapotrzebowania energii przez odbiorniki pomocnicze na pogłębiarkach wieloczerpakowych. Metoda pozwala określić średnie zapotrzebowanie na energię i odchylenie standardowe tego zapotrzebowania w podstawowych stanach eksploatacji pogłębiarki wieloczerpakowej.
-
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.
-
Geomatyka B - Ćwiczenia 2021
e-Learning CoursesObliczenia potencjału elipsoidy ekwipotencjalnej, odchylenie linii pionu, pływu skorupy ziemskiej. Uwzględnianie poprawki terenowej dla obserwacji przyspieszenia siły ciężkości.
-
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...
-
Motion of a sphere in vicinity of the wall
PublicationW referacie rozważane jest odchylenie toru cząstki płynącej w pobliżu ścianki. Cząstka modelowana jest sztywną kulą podwieszoną na strunie. Systematyczne badania przeprowadzono dla trzech średnic kuli. Zaproponowano korelację opisującą oddziaływanie ścianki na ruch cząstki. Korelację wykorzystano do modelowania przepływu dwufazowego w wrstwie przyściennej
-
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''.
-
Uszkodzenia komina portkowego w obszarze poddasza budynku mieszkalnego
PublicationW artykule przedstawiono opis uszkodzeń komina portkowego, skoncentrowanych w miejscu oparcia żelbetowej, monolitycznej belki nadprożowej na trzonie pionowym oraz ukosowanym, stanowiącej przesklepienie w miejscu połączenia trzonów. Niewłaściwy dobór kształtu i proporcji trzonu odchylonego od pionu w połączeniu z długoletnią eksploatacją prowadzoną bez wykonania remontów okresowych doprowadził do wystąpienia stanu przedawaryjnego...
-
Problems of reinforcement designing for plates
PublicationPrzedstawiono problem projektowania zbrojenia nietrajektorialnego płyt w aspekcie ich odkształcalności. Na podstawie niektórych wyników badań doświadczalnych, przeprowadzonych na żelbetowych płytach skręcanych, zweryfikowano procedury wymiarowania. Analiza wykazuje, że pomimo formalnego zapewnienia nośności przekroju płyt nietrajektorialnie zbrojonych, ich odkształcalność znacznie wzrasta. Aby zapewnić im sztywność na poziomie...
-
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.
-
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.
-
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...
-
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.
-
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...
-
Zastosowanie metody PEM do oceny osiadania warstwy gruntu obciążonej cyklicznie
PublicationRozpatrzono warstwę niespoistego gruntu poddaną obciążeniu cyklicznemu. Osiadania warstwy wyznaczono modelem zagęszczania Sawickiego, który został uzupełniony opisem probabilistycznym uwzględniającym losowe parametry materiałowe oraz losowy charakter cyklicznego obciążenia. Efektywne rozwiązanie uzyskano wykorzystując metodę estymacji rozkładem dyskretnym (PEM). Rozpatrując różne kombinacje zmiennych losowych, w każdym z analizowanych...
-
Dziwaczne i osobliwe. Zjawiska wokół książki Marka Fishera
PublicationIn my review, I discuss the Polish translation of Mark Fisher’s The weird and the eerie, published by Słowo/obraz terytoria. Originally released in December 2016, Fisher’s collection of thirteen essays explores cul-tural texts by figures like Howard P. Lovecraft, David Lynch and Joy Division. Fisher employs a theoretical framework heavily influenced by post-Lacanian, post-Derridean and Deleuzean concepts. The translation, of...
-
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...
-
Advanced differential equations with nonlinear boundary conditions.
PublicationBadano problemy istnienia rozwiązań dla równań różniczkowych z nielinowymi warunkami brzegowymi. Podano też warunki dostateczne na istnienie rozwiązań ekstremalnych. Przedmiotem badań były również nierówności różniczkowe z wyprzedzonym argumentem.
-
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...
-
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.
-
Analysis of a micro electro-mechanical platform for laparoscopic surgery
PublicationNiniejsza praca ma na celu określenie możliwości zastosowania odkształcalnych urządzeń o kinematyce równoległej w mikro robotycznych przegubach dla igło-laparoskopii. Operacje chirurgiczne przeprowadzane z użyciem narzędzi laparoskopowych o zmniejszonej średnicy nazywane są igłoskopią (z ang. needlescopy). Narzędzia te pozwalają na przeprowadzanie precyzyjnych operacji na stosunkowo niewielkim obszarze i z zaletami mało inwazyjnych...
-
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...
-
Determination of acetaldehyde and acrolein in raw spirits by capillary isotachophoresis after derivatization
PublicationW publikacji opisano optymalizację i przygotowanie nowej procedury oznaczania acetaldehydu i akroleiny w spirytusach surowych z wykorzystaniem techniki izotachoforezy kapilarnej (ITP). Aldehydy - związki niejonowe poddawane są derywatyzacji wodorosiarczynem sodu. Zaprezentowana metoda analityczna charakteryzuje się granicą oznaczalności na poziomie 0,03 ul/cm3 100% EtOH dla akroleiny oraz 0,54 ul/cm3 100% EtOH dla acetaldehydu....
-
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...
-
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...
-
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...
-
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...
-
ANALIZA UWARUNKOWAŃ PROPAGACYJNYCH W RADIOWYCH SIECIACH BAN Z PRZESTRZENNYM ODBIOREM ZBIORCZYM
PublicationW referacie przedstawiono analizę uwarunkowań propagacyjnych w radiowych sieciach BAN typu off-body z odbiorem zbiorczym przestrzennym. Średnia wartość tłumienia znajduje się w przedziale [54.42 dB; 64.28 dB], różnica wartości tłumienia dla anten nasobnych wynosi [0.69 dB; 8.76 dB], odchylenie standardowe tłumienia średniego zawarta jest w przedziale [6.46 dB; 7.39 dB], natomiast współczynnik korelacji pomiędzy zanikami szybkozmiennymi...
-
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.
-
Geomatyka B_2022
e-Learning CoursesPodstawy teorii potencjału; Wyrażenie na potencjał elipsoidy ekwipotencjalnej; Powierzchniowe harmoniki sferyczne; System wysokości; Altymetria; Grawimetria; Przyrządy do pomiarów grawimetrycznych; Redukcja szumu sygnału grawimetrycznego; Anomalie grawimetryczne. Redukcje i poprawki; Odchylenie pionu; Pływy skorupy ziemskiej.
-
Geomatyka B Ćwiczenia_2023
e-Learning CoursesPodstawy teorii potencjału; Wyrażenie na potencjał elipsoidy ekwipotencjalnej; Powierzchniowe harmoniki sferyczne; System wysokości; Altymetria; Grawimetria; Przyrządy do pomiarów grawimetrycznych; Redukcja szumu sygnału grawimetrycznego; Anomalie grawimetryczne. Redukcje i poprawki; Odchylenie pionu; Pływy skorupy ziemskiej.
-
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...