Wyszukiwarka
Wyniki wyszukiwania dla: ODCHYLONE ARGUMENTY
-
Przenośny analizator impedancji z detektorem fazoczułym
PublikacjaW artykule przedstawiono prototyp analizatora impedancji, w którym zastosowano dwa mikrosystemy AD5933 do wydzielania składowych ortogonalnych sygnałów pomiarowych w zakresie częstotliwości od 0,01 Hz do 1 kHz i detektory fazoczułe dla częstotliwości z przedziału 1 kHz ÷ 100 kHz. Przyjęte rozwiązanie pozwoliło wyeliminować błędy pomiaru argumentu impedancji wprowadzane przez AD5933 w górnym zakresie częstotliwości. Uzyskany błąd...
-
Joanna Raczek dr inż.
OsobyWykształcenie 1997 -- 2001 Studia inżynierskie, Wydział Fizyki Technicznej i Matematyki Stosowanej, Politechnika Gdańska. Kierunek: Matematyka, specjalność: Matematyka Stosowana. 2001 -- 2003 Studia magisterskie, Wydział Fizyki Technicznej i Matematyki Stosowanej, Politechnika Gdańska. Kierunek: Matematyka, specjalność: Matematyka Stosowana. 2000 -- 2004 Studia inżynierskie, Wydział Elektroniki, Informatyki i Telekomunikacji,...
-
Uniform Model Interface for Assurance Case Integration with System Models
PublikacjaAssurance 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
PublikacjaW 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
PublikacjaSafety 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
PublikacjaBorsuk-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
PublikacjaThe 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
PublikacjaIn 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
Kursy OnlineObliczenia potencjału elipsoidy ekwipotencjalnej, odchylenie linii pionu, pływu skorupy ziemskiej. Uwzględnianie poprawki terenowej dla obserwacji przyspieszenia siły ciężkości.
-
Motion of a sphere in vicinity of the wall
PublikacjaW 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
PublikacjaAssurance 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
PublikacjaWe 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
Dane BadawczeIt 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
PublikacjaPraca 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ń.
-
Uszkodzenia komina portkowego w obszarze poddasza budynku mieszkalnego
PublikacjaW 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...
-
Homoclinic solutions for a class of autonomous second order Hamiltonian systems with a superquadratic potential
PublikacjaW 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''.
-
Problems of reinforcement designing for plates
PublikacjaPrzedstawiono 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
PublikacjaKlasyczne 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
PublikacjaW 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
PublikacjaW 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
PublikacjaWe 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
PublikacjaIn 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
PublikacjaAn 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
PublikacjaW 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
PublikacjaWe 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...
-
Zastosowanie metody PEM do oceny osiadania warstwy gruntu obciążonej cyklicznie
PublikacjaRozpatrzono 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...
-
Efficient Complex Root Tracing Algorithm for Propagation and Radiation Problems
PublikacjaAn 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...
-
Dziwaczne i osobliwe. Zjawiska wokół książki Marka Fishera
PublikacjaIn 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
PublikacjaW 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.
PublikacjaBadano 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
PublikacjaW 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
PublikacjaIn 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
PublikacjaW 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
PublikacjaA 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...
-
Analysis of a micro electro-mechanical platform for laparoscopic surgery
PublikacjaNiniejsza 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...
-
An extension of the method of quasilinearization
PublikacjaMetodę 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.
-
Determination of acetaldehyde and acrolein in raw spirits by capillary isotachophoresis after derivatization
PublikacjaW 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....
-
The influence of parameters of input probe on the error of high impedance measurement
PublikacjaW 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...
-
On delay differential equations with almost periodic boundary conditions started from different points
PublikacjaDyskutowany 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.
-
Problemy gospodarczego wykorzystania dolnej Wisły
PublikacjaW 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
PublikacjaStandards 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
PublikacjaBell’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...
-
ANALIZA UWARUNKOWAŃ PROPAGACYJNYCH W RADIOWYCH SIECIACH BAN Z PRZESTRZENNYM ODBIOREM ZBIORCZYM
PublikacjaW 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...
-
Zastosowanie sondy wejściowej w komputerowym systemie pomiarowymdo spektroskopii wysokoimpedancyjnej.
PublikacjaW 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
PublikacjaPrzewidywany 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
PublikacjaWe 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...
-
On Nonlinear Volterra Integral Equations With State Dependent Delays in Several Variables
PublikacjaW 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
PublikacjaStandard 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
PublikacjaA 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.
PublikacjaProtokoł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...