Wyszukiwarka
Wyniki wyszukiwania dla: WYPRZEDZONY ARGUMENT
-
Positive solutions to Sturm–Liouville problems with non-local boundary conditions
PublikacjaIn this paper, the existence of at least three non-negative solutions to non-local boundary-value problems for second-order differential equations with deviating arguments α and ζ is investigated. Sufficient conditions, which guarantee the existence of positive solutions, are obtained using the Avery–Peterson theorem. We discuss our problem for both advanced and delayed arguments. An example is added to illustrate the results.
-
On neutral differential equations and the monotone iterative method
PublikacjaThe application of the monotone iterative method to neutral differential equations with deviating arguments is considered in this paper. We formulate existence results giving sufficient conditions which guarantee that such problems have solutions. This approach is new and to the Authors' knowledge, this is the first paper when the monotone iterative method is applied to neutral first-order differential equations with deviating...
-
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...
-
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''.
-
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...
-
Efekt dopplera w systemach hydrolokacyjnych
PublikacjaReferat zawiera przegląd problematyki zjawiska Dopplera w systemach hydrolokacyjnych. Przegląd poprzedzony jest omówieniem efektu Dopplera w kategorii kompresji czasu. Następnie przedstawiono metody wykorzystania zjawiska Dopplera do pomiaru prędkości ruchu i położeniaobserwowanych obiektów oraz wykorzystanie tego zjawiska w sonarach z syntetyczną aperturą. W drugiej części referatu omówiono negatywne skutki zjawiska Dopplera i...
-
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...
-
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,...
-
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...
-
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...
-
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.
-
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.
-
Major ions and their relationship in rime and hoarfrost samples from highly urbanized regions
PublikacjaW ramach zaplanowanego programu badawczego przeprowadzono analizę próbek szronu i sadzi zebranych w wybranych punktach pomiarowych (Gdańsk i Działdowo) podczas zimy 2003/2004. Stężenie składników nieorganicznych w próbkach szronu jest średnio dwukrotnie wyższe niż w próbkach sadzi zebranych z tego samego terenu. Wyższe poziomy stężeń oznaczanych zanieczyszczeń w próbek szronu mogą wynikać z faktu, iż proces powstawania sadzi najczęściej...
-
Moralny aspekt niewidzialnej ręki w interpretacji Petera Koslowskiego
PublikacjaArtykuł zawiera analizę mechanizmów niewidzialnej ręki we współczesnej gospodarczej. Przytoczone i przeanalizowane są argumenty niemieckiego teoretyka P. Koslowskiego na rzecz konieczności reinterpretacji tradycyjnej teorii równowagi rynkowej w duchu powiązania jej ze wspólnym dobrem.
-
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...
-
Nauki o jakości - ich miejsce i znaczenie w klasyfikacji dziedzin i dyscyplin naukowych oraz praktyce gospodarczej
PublikacjaW artykule przedstawiono ważne w kontekście trwającej obecnie dyskusji dotyczącej nowego wykazu dziedzin i dyscyplin naukowych, akcentowane w środowisku polskich badaczy zajmujących się problematyką jakości, argumenty i uwarunkowania uzasadniające potrzebę wyodrębnienia nauk o jakości.
-
L'Italie. Gagner à tout prix. L'industrie de l'armenent italien pendant la Grande Guerre
PublikacjaThe chapter outlines the economic and technological transformations of the Italian armament industry during the First World War
-
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...
-
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...
-
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...
-
Is database a necessary tool in research? Some historical facts
PublikacjaAutorzy rozważają argumenty za i przeciw używaniu baz danych w badaniach naukowych, a w szczególności w inżynierii. Wnioski z rozważań są jednoznaczne - bazy danych są dziś koniecznością, autorzy podają przykłady zastosowań i pomysły na nowe wdrożenia systemów bazodanowych
-
Initial value problems for neutral fractional differential equations involving a Riemann-Liouville derivative
PublikacjaBadano równania neutralne typu ułamkowego z odchylonym argumentem. Podano warunki dostateczne na istnienie jednego rozwiązania.
-
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.
-
Assessment of risks introduced to safety critical software by agile practices - a software engineer's perspective
PublikacjaIn this article we investigate the problem of applying agile practices into safety-critical projects.The goal of our research is to investigate potential benefits from introducing agile practicesinto safety-critical environment and to present a solution providing for balancing agileapproach with more disciplined assurance techniques, bringing the best of the two worlds together.In the article we present the supporting ideas such...
-
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...
-
Validation of Services Supporting Healthcare Standards Conformance
PublikacjaThe paper presents the results of experimental validation of a set of innovative software services supporting processes of achieving, assessing and maintaining conformance with standards and regulations. The study involved several hospitals implementing the Accreditation Standard promoted by the Polish Ministry of Health. First we introduce NOR-STA services that implement the TRUST-IT methodology of argument management. Then we...
-
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.
-
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ń.
-
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
-
ZAGOSPODAROWANIE CIEPŁA ODPADOWEGO I WPŁYW TEJ OPERACJI NA EFEKTYWNOŚCI ENERGETYCZNĄ UKŁADÓW CHŁODNICZYCH
PublikacjaW artykule zaprezentowano podstawowe metody odzysku ciepła ze sprężarkowych układów chłodniczych. Pokazano tu możliwości jakie daje taki odzysk w kontekście ograniczenia zapotrzebowania gospodarki kraju na energię pierwotną jak również w kontekście ograniczenia negatywnego wpływu człowieka na środowisko naturalne. Autorzy zwracają uwagę, ze odzysk ciepła z układów chłodniczych powinien być poprzedzony wnikliwą analizą konstrukcji,...
-
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.
-
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...
-
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
-
Caratheodory solutions to hyperbolic functional differential systems with state dependent delays
PublikacjaMetodą 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.
-
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.
-
Magnetic-field-induced electric quadrupole moments for relativistic hydrogenlike atoms: Application of the Sturmian expansion of the generalized Dirac-Coulomb Green function
PublikacjaWe consider a Dirac one-electron atom placed in a weak, static, uniform magnetic field. We show that, to the first order in the strength of the external field, the only electric multipole moments, which are induced by the perturbation in the atom, are those of an even order. Using the Sturmian expansion of the generalized Dirac-Coulomb Green function we derive a closed-form expression for the electric quadrupole moment induced...
-
Numerical Test for Stability Evaluation of Discrete-Time Systems
PublikacjaIn this paper, a new numerical test for stability evaluation of discrete-time systems is presented. It is based on modern root-finding techniques at the complex plane employing the Delaunay triangulation and Cauchy's Argument Principle. The method evaluates if a system is stable and returns possible values and multiplicities of unstable zeros of the characteristic equation. For state-space discrete-time models, the developed test...
-
Global Complex Roots and Poles Finding Algorithm Based on Phase Analysis for Propagation and Radiation Problems
PublikacjaA flexible and effective algorithm for complex roots and poles finding is presented. A wide class of analytic functions can be analyzed, and any arbitrarily shaped search region can be considered. The method is very simple and intuitive. It is based on sampling a function at the nodes of a regular mesh, and on the analysis of the function phase. As a result, a set of candidate regions is created and then the roots/poles are verified...
-
Analiza i badanie wpływu wybranych wyższych harmonicznych na działanie wyłączników różnicowoprądowych typu AC i A
PublikacjaPrądy przy zwarciach doziemnych w obwodach z pośrednimi przemiennikami częstotliwości lub innymi przekształtnikami mogą być silnie odkształcone. Wyższe harmoniczne w prądzie różnicowym znacząco wpływają na działanie wyłączników różnicowoprądowych. W artykule przedstawiono analizę teoretyczną i wyniki badań wpływu wybranych wyższych harmonicznych prądu różnicowego na rzeczywisty prąd różnicowy zadziałania wyłączników różnicowoprądowych...
-
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...
-
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...
-
Second-order Stark effect and polarizability of a relativistic two-dimensional hydrogenlike atom in the ground state
PublikacjaThe second-order Stark effect for a planar Dirac one-electron atom in the ground state is analyzed within the framework of the Rayleigh-Schrödinger perturbation theory, with the use of the Sturmian series expansion of the generalized Dirac-Coulomb Green's function. A closed-form analytical expression for the static dipole polarizability of that system is found. The formula involves the generalized hypergeometric function ${}_{3}F_{2}$...
-
An Approach to Trust Case Development
PublikacjaIn the paper we present an approach to the architectural trust case development for DRIVE, the IT infrastructure supporting the processes of drugs distribution and application. The objectives of DRIVE included safer and cheaper drugs distribution and application. A trust case represents an argument supporting the trustworthiness of the system. It is decomposed into claims that postulate some trust related properties. Claims differ...
-
Multimodal Genetic Algorithm with Phase Analysis to Solve Complex Equations of Electromagnetic Analysis
PublikacjaIn this contribution, a new genetic-algorithm-based method of finding roots and poles of a complex function of a complex variable is presented. The algorithm employs the phase analysis of the function to explore the complex plane with the use of the genetic algorithm. Hence, the candidate regions of root and pole occurrences are selected and verified with the use of discrete Cauchy's argument principle. The algorithm is evaluated...
-
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...
-
Kierunki rozwoju technologii oczyszczania ścieków pod kątem spełnienia zaostrzonych wymagań w zakresie usuwania azotu
PublikacjaPriorytetowym zadaniem w dziedzinie ochrony wód powierzchniowych przed zanieczyszczeniem powodowanym przez ścieki komunalne z dużych i średnich aglomeracji miejskich jest zapewnienie ich pełnego biologicznego oczyszczania z podwyższoną efektywnością usuwania związków biogennych. W ujęciu klasycznym spełnienie obecnych obowiązujących warunków w zakresie usuwania azotu jest możliwe w przypadku osiągnięcia wysokiej efektywności procesu...
-
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.