Wyszukiwarka
Filtry
wszystkich: 301
wybranych: 271
Wyniki wyszukiwania dla: ARGUMENTY OPÓŹNIONE
-
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...
-
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...
-
Kogeneracja gazowa w nowych uwarunkowaniach po implementacji dyrektywy europejskiej
PublikacjaW artykule omówiono krajowe uregulowania dotyczące obowiązku zakupu energii elektrycznej wytwarzanej w skojarzeniu z wytwarzaniem ciepła. Opóźniona implementacja do ustawodawstwa krajowego Dyrektywy europejskiej o wspieraniu kogeneracji zmieniła uwarunkowania funkcjonowania źródeł skojarzonych na rynkach energii. Wprowadzono mechanizm obrotu świadectwami pochodzenia energii. Szczególne preferencje przyjęto dla wsparcia małych układów...
-
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
-
Thermally stimulated currents in amorphous solids due to complex heating regimes
PublikacjaPodano opis teoretyczny prądów termicznie stymulowanych w ciałach amorficznych. Dokonano rozszerzenia istniejących wzorów przybliżonych na przypadki opóźnionego i krokowego ogrzewania próbki. Otrzymane wyrażenia zweryfikowano za pomocą obliczeń numerycznych dla przypadku wykładniczego rozkładu pułapek.
-
A complex variable fractional-delay FIR filter structure
PublikacjaW artykule wprowadzamy strukturę zespolonego filtru o skończonej odpowiedzi impulsowej (ang. finite impulse response - FIR) ze zmiennym opóźnieniem ułamkowym (ang. fractional delay - FD). Strukturę tę otrzymujemy na podstawie przestrajanego filtru FD FIR o współczynnikach rzeczywistych. Stanowi ona połączenie zbioru liniowo-fazowych filtrów FIR o współczynnikach stałych rzeczywistych i dwóch łańcuchów mnożąco-akumulujących, zawierających...
-
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.
-
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.
-
First-order impulsive functional differential equations
PublikacjaPraca dotyczy problemów istnienia rozwiązań i kwazi-rozwiązań dla równań różniczkowych rzędu pierwszego z impulsami i nieliniowymi warunkami brzegowymi. Operator występujący w zagadnieniu jest typu opóźnionego. Badano również nierówności różniczkowe z impulsami związane z zagadnieniem wyjściowym. Otrzymane wyniki zilustrowano na przykładach.
-
Wykorzystanie składowych ortogonalnych w wirtualnych cyfrowych przetwornikach mocy.
PublikacjaW referacie omówiony jest cyfrowy przetwornik mocy, który został zrealizowany jako przyrząd wirtualny w środowisku LabVIEW. W przetworniku tym mnożone sygnały cyfrowe są przedstawione w postaci składowych ortogonalnych prądu i napięcia. Składowe ortogonalne tworzą dwa sygnały o jednakowej amplitudzie i częstotliwości, przesunięte względem siebie o kąt pi/2. Przesunięcie to uzyskuje się na kilka sposobów, np. przez opóźnienie dostępnego...
-
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.
-
Delay integro-differential equations of mixed type in Banach spaces
PublikacjaPraca zawiera warunki dostateczne na istnienie ekstremalnych rozwiązań problemów różniczkowo-całkowych typu opóźnionego z warunkami początkowymi. Powyższe zagadnienia rozważa się w przestrzeniach Banacha. Stosując metodę iteracji monotonicznych dowodzi się istnienie rozwiązania. Pewne nierówności różniczkowo-całkowe są też badane. Praca zawiera przykłady ilustrujące otrzymane wyniki.
-
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''.
-
Oczyszczanie strumieni poprodukcyjnych z procesów przetwórczych mleka
PublikacjaZaproponowano zastosowanie substancji powierzchniowo czynnych w celu poprawy efektywności usuwania białek z serwatki metodą separacji pianowej. Stwierdzono, że zastosowanie surfaktantów anionowych powoduje podwyższenie końcowego stopnia wyflotowania w porównaniu do flotacji z roztworów białek oraz opóźnienie początku flotacji białka w stosunku do początku flotacji substancji powierzchniowo czynnej.
-
Miary jakości transmisji głosu w technologii VoIP.
PublikacjaPrzedstawiono i omówiono czynniki decydujące o jakości mowy takie jak: opóźnienie tak charakterystyczne dla sieci IP a głównie jego fluktuacja, utraty pakietów podczas transmisji, rozmiar pakietu oraz zjawisko echa zbliżonego jadalnego. Jakość transmisji uzależniono od elementów występujących w łącznej sieci telekomunikacyjnej typu PSTN, bram oraz sieci IP.
-
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
-
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.
-
Przyczyny zarysowania zbiornika oczyszczalni ścieków
PublikacjaW artykule przedstawiono analizę przyczyn przecieku żelbetowych pionowych ścian zbiornika oczyszczalni ścieków. Zarysowania, które wystąpiły w zbiorniku o rzucie kołowym średnicy około 40m i wysokości ścian 6m, spowodowały opóźnienie w włączeniu do eksploatacji. Analiza wykazała, że główną przyczyną powstałych zarysowań była długa przerwa między betonowaniem fundamentu i ściany zbiornika.
-
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...
-
Evaluation of Hilbert transform filter performance
PublikacjaW pracy rozpatrzono zagadnienie adaptacyjnej estymacji ułamkowego opóźnienia pomiędzy dwoma sygnałami sinusoidalnymi. Zastosowano tu nowy, zagregowany, zespolony filtr Hilberta, który łączy w sobie funkcje filtracji Hilberta i kompensacji ułamkowego opóźnienia. W eksperymentach wykorzystano efektywną implementację tego filtru w strukturze Farrowa, której jedynym parametrem o zmiennej wartości jest bieżące opóźnienie ułamkowe.
-
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...
-
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...
-
Fast RNS combinational multipliers for small moduli
Publikacjazaprezentowano nowe struktury mnożników modulo m oraz mnożników modulom przez stałą dla modułów 5-bitowych. w zaproponowanym algorytmie projektowania zastosowano kolejno redukcję modulo m potęg liczby 2, sumowanie binarne otrzymanych reszt, redukcję modulo do zakresu 2m oraz dwuoperandowe dodawanie modulo m. mnożnik resztowy w proponowanej strukturze posiada mniejsze opóźnienie niż inne znane mnożniki modulo i porównywalny iloczyn...
-
Delay induced oscillations in gene expression of Hes1 protein model
PublikacjaW pracy został omówiony model produkcji białka Hes1. Stężenie Hes1 jest kontrolowane przez ujemne sprzężenie zwrotne wbudowane w białko i jego mRNA. Przeprowadzona analiza potwierdziła znane wyniki numeryczne, że oscylacje wywołane są przez opóźnienie. Pokazaliśmy również, że jeśli współczynnik Hilla jest większy niż 1, to istnieje krytyczna wartość opóźnienia, dla której ma miejsce bifurkacja Hopfa i pojawiają się rozwiązania...
-
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...
-
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.
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
Quasilinearization methods for nonlinear parabolic equations with functional dependence
PublikacjaRozważamy problem Cauchy`ego dla nieliniowych równań parabolicznych z zależnością funkcyjną. Dowodzimy twierdzeń o szybkiej zbieżności ciągów kolejnych przybliżeń określonych w metodzie quasilinearyzacji w dwóch przypadkach: (i) argumentem funkcyjnym jest funkcja niewiadoma, (ii) zależność funkcyjna dotyczy również pochodnej funkcji niewiadomej.
-
Wpływ odkształcenia napięcia na dokładność pomiaru impedancji pętli zwarciowej metodami klasycznymi
PublikacjaPrzedstawiono zagadnienia pomiaru impedancji pętli zwarciowej przy odkształconej krzywej napięcia przy zastosowaniu metod klasycznych, opartych o pomiar wartości maksymalnych, skutecznych i średnich napięcia. Założono, iż w napięciu występują harmoniczne o numerach 3, 5, 7, 11, 13. Z przeprowadzonych badań wynika, że błędy pomiaru związane z odkształceniem w miejscu badania można zmniejszyć przez zwiększenie liczby stopni nastawy...