displaying 1000 best results Help
Search results for: LOGIC DIFFERENTIAL CALCULUS
-
Notre Dame Journal of Formal Logic
Journals -
Journal of Algorithms-Cognition Informatics and Logic
Journals -
Joint experimental and theoretical study on low-energy elastic electron scattering by gaseous alkynes: Differential cross sections, shape resonances, and methylation effects
PublicationA detailed comparison of experimental and theoretical elastic cross sections for low-energy electron scattering by ethyne, taken earlier in our group by Gauf et al. [Phys. Rev. A 87, 012710 (2013)], and some of its methylated derivatives, propyne, and the isomers 1-butyne and 2-butyne, taken here, are presented. The present differential cross sections were measured at incident electron energies ranging from 1 eV to 30 eV and...
-
Symmetry-controlled negative differential resistance effect in a triangular molecule
Publication -
Point to point control of fractional differential linear control systems
Publication -
Implicit difference methods for Hamilton-Jacobi differential functional equations
PublicationKlasyczne rozwiązania problemów początkowych przybliżane są rozwiązaniami odpowiedniego układu quasiliniowego równań różniczkowo funkcyjnych. Rozpatrywana metoda numeryczna jest uwikłana względem zmiennej przestrzennej. Wykazana została zbieżność i stabilność uwikłanych schematów. Dowód stabilności opiera się na technice porównawczej z nieliniowym oszacowaniem typu Perrona dla funkcji danych.
-
Numerical approximations of parabolic functional differential equations on unbounded domains
PublicationSkonstruowano schematy różnicowe zagadnień początkowych dla nieliniowych parabolicznych równań różniczkowo funkcyjnych. Przedstawiono twierdzenie o oszacowaniu błędu rozwiązań przybliżonych dla równań różnicowo funkcyjnych typu Volterry z niewiadomą funkcją kilku zmiennych. Udowodniono twierdzenie o zbieżności jawnych schematów różnicowych. Podano przykłady numeryczne.
-
Errors analysis of differential single-frequency geo-positioning algorithm
Publication -
Detection of butter adulteration with water using differential scanning calorimetry
Publication -
Differential Scanning Calorimetry for Determining the Thermodynamic Properties of Selected Honeys
Publication -
Four-point boundary-value problems for differential-algebraic systems
PublicationBadane są czteropunktowe problemy brzegowe dla układów równań różniczkowo-algebraicznych. Stosując metodę iteracji monotonicznych, podano warunki dostateczne na istnienie rozwiązań (jednego lub ekstremalnych) takich problemów. Podano przykład ilustrujacy otrzymane wyniki teoretyczne.
-
Accuracy of Differential Phase Delay Estimation for GPS Spoofing Detection
PublicationGPS spoofing is an attack based on transmission of false signals to target receivers, in order to force the computation of incorrect time, position or velocity information. It is a threat which is recently considered with continuously growing awareness. There is a need for effective way of GPS spoofing detection. Many groups of methods are proposed in the literature. Spatial processing methods are considered to be robust in a wide...
-
Generalized solutions of first order partial differential functional inequalities
PublicationW pracy rozważa się zagadnienia początkowo brzegowe dla nieliniowych równań różniczkowo funkcyjnych cząstkowych pierwszego rzędu. Podano dowód jednoznaczności rozwiązań uogólnionych. Oparty jest on na twierdzeniu porównawczym dla nierówności różniczkowo funkcyjnych w sensie Caratheodory'ego. Prezentowane jest twierdzenie o uogólnionych rozwiązaniach nierówności różniczkowo funkcyjnych.
-
First-order impulsive ordinary differential equations with advanced arguments
PublicationPraca dotyczy problemów istnienia rozwiązań dla równań różniczkowych z impulsami i nieliniowymi warunkami brzegowymi. Są to równania z argumentami wyprzedzonymi. Podano warunki dostateczne na istnienie rozwiązań. W pracy są również dyskutowane nierówności różniczkowe z impulsami. Podano też przykłady ilustrujące otrzymane wyniki.
-
Boundary value problems for ordinary differential equations with deviated arguments
PublicationDyskutowane są równania różniczkowe z dwupunktowym nieliniowym warunkiem brzegowym z argumentami typu odchylonego. Podano warunki dostateczne które gwarantują iż problem wyjściowy ma kwazi-rozwiązania. Podano też warunki przy których problem ten ma rozwiązanie. Wyniki uzyskano stosując metodę iteracji monotonicznych.Badano też pewne nierówności różniczkowe z odchylonymi argumentami.
-
Linear boundary problems for ordinary differential equations with deviated arguments
PublicationPraca dotyczy istnienia i jednoznaczności rozwiązań dla problemów brzegowych w tym również i problemów z wielopunktowymi warunkami brzegowymi.
-
Numerical method of bicharacteristics for quasilinear hyperbolic functional differential systems
PublicationPraca dotyczy numerycznej aproksymacji rozwiązań zagadnień początkowo brzegowych dla układów quasiliniowych równań różniczkowo funkcyjnych pierwszego rzędu. Stosuje się metodę różnicową typu Eulera. Siatka otrzymywana jest za pomocą numerycznego rozwiązywania równań różniczkowo funkcyjnych bicharakterystyk.Stabilność schematu różnicowego jest dowodzona metodą porównawczą. O danych funkcjach zakłada się, że spełniają nieliniowe...
-
On the Chaplyghin method for generalized solutions of partial differential functional equations
PublicationW pracy tej rozważa się zagadnienia początkowo-brzegowe dla semiliniowych równań różniczkowo-funkcyjnych cząstkowych pierwszego rzędu. Przy naturalnych założeniach o funkcjach danych, istnieje ciąg Czapłygina i jest on zbieżny do rozwiązania w sensie Caratheodory'ego wyjściowego zagadnienia. Podane jest oszacowanie błędu rozwiązania przybliżonego. Wykazuje się, iż metoda Czapłygina dla powyższego zagadnienia jest równoważna metodzie...
-
General quasilinearization method for systems of differential equations with a singular matrix
PublicationStosując metodę kwazilinearyzacji badano problem rozwiązań przybliżonych dla układów równań różniczkowych z macierzą osobliwą. Pokazano zbieżność kwadratową odpowiednich ciągów monotonicznych.
-
3.3V CMOS differential pair transconductor with active error feedback.
PublicationW pracy opisano nową koncepcję układową różnicowego wzmacniacza transkonduktancyjnego CMOS z aktywnym ujemnym sprzężeniem zwrotnym błędu przeznaczonego do pracy z napięciem zasilania 3.3V. Przeprowadzono badania symulacyjne z wykorzystaniem pakietu SPICE oraz pokazano przykładową implementację układu dolnoprzepustowego filtru Gm-C rzędu czwartego w aproksymacji Butterwortha.
-
Initial problems for neutral functional differential equations with unbounded delay.
PublicationSformułowano układ aksjomatów dla przestrzeni fazowej . Wykazano istnienie jednoznaczności rozwiązań zagadnienia Cauchy´ego. Dowód wykorzystuje metody porównawcze z nieliniowymi oszacowaniami dla danej funkcji.
-
Quadratic approximation of solutions for differential equations with nonlinear boundary conditions.
PublicationZastosowano metodę kwazilinearyzacji i sformułowano warunki dostateczne przy których iteracje monotoniczne są kwadratowo zbieżne do jedynego rozwiązania wymienionego w tytule zagadnienia różniczkowego. Uzyskane wyniki uogólniają niektóre wcześniej publikowane rezultaty gdy warunek brzegowy był liniowy.
-
Ordinary differential equations with nonlinear boundary conditions of antiperiodic type.
PublicationZastosowano metodę kwazilinearyzacji do równań różniczkowych zwyczajnych z nieliniowymi warunkami brzegowymi typu antyokresowego. Podano warunki dostateczne przy których iteracje monotoniczne są zbieżne do jedynego rozwiązania naszego problemu i jest to zbieżność kwadratowa. Iteracje te są rozwiązaniami odpowiednich równań liniowych z liniowymi warunkami brzegowymi.
-
Delay integro-differential inequalities with initial time difference and applications.
PublicationPraca dotyczy nierówności różniczko-całkowych z opóźnionymi argumentami przy różnych warunkach początkowych. Przy pewnych założeniach (m.in. monotoniczność, jednostronny warunek Lipschitza) sformułowano twierdzenia porównawcze dla rozwiązań w.w nierówności. Pokazano zastosowania w technice iteracji monotonicznych i sformułowano warunki dostateczne na istnienie rozwiązań ekstremalnych dla równań różniczkowo-całkowych z odchylonymi...
-
Comparision principles for parabolic differential - functional initial - value problems.
PublicationBadamy paraboliczne równania z zależnością funkcyjną i podajemy kryteria jednoznaczności przy warunkach porównawczych typu Perrona i Lipschitza dla nieliniowej prawej strony. W przypadku gdy zależność funkcyjna dotyczy również pochodnej funkcji niewiadomej, to stosujemy nierówności typu Henry'ego.
-
Delay integro-differential equations of mixed type in Banach spaces
PublicationPraca 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.
-
Quadratic convergence of monotone iterations to systems of differential-algebraic equations
PublicationZastosowano tu metodę dolnych i górnych rozwiązań do skonstruowania monotonicznych ciągów, które są zbieżne kwadratowo do jedynego rozwiązania układu równań różniczkowo-algebraicznych z warunkiem początkowym.
-
Extensions of Quasilinearization Method for Differential Equations with Integral Boundary Conditions
PublicationPraca dotyczy równań różniczkowych z warunkami brzegowymi typu całkowego. Podano warunki dostateczne na istnienie jedynego rozwiązania takiego zagadnienia i pokazano, że odpowiednio konstruowane ciągi monotoniczne są zbieżne do tego rozwiązania i jest to zbieżność kwadratowa. Te monotoniczne ciągi są przybliżonymi rozwiązaniami problemu wyjściowego i obustronnie szacują szukane rozwiązanie.
-
Differential cross section minima in elastic scattering of electrons fromzinc
PublicationZostały obliczone położenia minimów różniczkowych przekrojów czynnych na sprężyste rozpraszanie elektronów na atomach cynku. Metoda obliczeniowa oparta jest na równaniach relatywistycznej mechaniki kwantowej. Wyniki obliczeń zostały porównane z ostatnimi danymi doświadczalnymi grupy z Uniwersytetu Belgradzkiego.
-
Application of method of differential magnetometric system for detection of sunken objects
PublicationThis paper presents a magnetometric system with scalar sensors mounted on two independent platforms, which is used to detect sunken shipwrecks. Increasing the distance between the sensors allows for more precise measurement of the difference in the magnetic induction module than in the case of sensors mounted e.g. on the aeroplane’s wings. This type of system makes it possible to enlarge detection range of the sunken wrecks.
-
On the differential effect of temperature on the Nusselt-Rayleigh relationship in free convection
PublicationThe aim of and inspiration behind this paper was to explain the reasons, also observed by other researchers, of the discrepancy in the results of experimental free convection, which for small Rayleigh and Nusselt numbers in the initial phase of research can sometimes reach several hundred percent. These discrepancies decrease with increasing heating power and plate surface temperature, in proportion to the increase in Ra and Nu,...
-
Accuracy and coverage of the modernized Polish Maritime differential GPS system
Publication -
Functional Differential Equations
Journals -
Differential Quadrature Method for Dynamic Buckling of Graphene Sheet Coupled by a Viscoelastic Medium Using Neperian Frequency Based on Nonlocal Elasticity Theory
PublicationIn the present study, the dynamic buckling of the graphene sheet coupled by a viscoelastic matrix was studied. In light of the simplicity of Eringen's non-local continuum theory to considering the nanoscale influences, this theory was employed. Equations of motion and boundary conditions were obtained using Mindlin plate theory by taking nonlinear strains of von Kármán and Hamilton's principle into account. On the other hand, a...
-
Marzena Starnawska dr
People -
An integral-differential method for impedance determination of the hydrogen oxidation process in the presence of carbon monoxide in the proton exchange membrane fuel cell
PublicationThe impedance of a proton exchange membrane fuel cell powered by hydrogen contaminated with carbon monoxide, ranging from 150 to 300 ppb, is measured and discussed. The tested range of CO concentration complied with the fuel standard specified in the ISO standards. Studies of influence of CO contamination on operation of PEMFC are crucial for further development and commercialization of fuel cells for automotive applications. Based...
-
Differential antitumor effects of vitamin D analogues on colorectal carcinoma in culture
Publication -
Implicit difference methods for quasilinear differential functional equations on the Haar pyramid
PublicationW pracy prezentowana jest klasa metod numerycznych dla quasiliniowych równań różniczkowo funkcyjnych pierwszego rzędu. Metody numeryczne są uwikłane względem zmiennej czasowej. Istnienie rozwiązania przybliżonego wykazane zostało przy użyciu nierówności różnicowych. Dowód stabilności bazuje na technice porównawczej z nieliniowym oszacowaniem typu Perona dla funkcji danych. Przedstawione zostały również przykłady numeryczne.
-
Generalized method of lines for nonlinear first order partial differential equations
PublicationKlasyczne rozwiązania zagadnień początkowych oraz początkowo brzegowych są przybliżane za pomocą rozwiązań równań różniczkowo różnicowych. Skonstruowana jest metoda prostych polegająca na dyskretyzacji wyjściowego równania względem zmiennych przestrzennych. Przedstawiony w pracy schemat bazuje na metodzie linearyzacji dla zagadnień nieliniowych. W pracy zastosowano metodę quasilinearyzacji polegającą na zamianie nieliniowego równania...
-
Nonlinear multipoint boundary value problems for second order differential equtions
PublicationPraca dotyczy problemow brzegowych dla rownan rozniczkowych rzedu drugiego z odchylonymi argumentami zaleznymi od rozwiazania. Podano warunki dostateczne na istnienie ekstremalnych rozwiazan. Poroblem istnienia jedynego rozwiazania tez byl przedmiotem badan. Podano dwa przyklady ilustrujace otrzymane wyniki.
-
Implicit difference methods for infinite systems of hyperbolic functional differential equations
PublicationPraca dotyczy klasycznych rozwiązań problemów początkowo brzegowych dla nieskończonych układów nieliniowych równań rózniczkowo funkcyjnych. Skonstruowane są dwa typy schematów różnicowych. Pokazujemy, ze rozwiązania rozważanego zagadnienia różniczkowego można przybliżyć przy pomocy rozwiązań nieskończonych układów równań różnicowych. W drugiej części pracy udowadniamy, że również rozwiązania skończonych układów równań różnicowych...
-
Crystallization kinetics of poly(ethylene adipate) investigated by differential scanning calorimetry
Publication -
Simulation and Experiment of a Compact Wideband 90^{circ} Differential Phase Shifter
PublicationArtykuł przedstawia projekt i analizę kompaktowego różnicowego przesuwnika fazy, który jest rozwinięciem konfiguracji zaproponowanej Abbosha poprzez modyfikację obciążenia wrót. Zaproponowana konfiguracja zawiera 3dB sprzęgacz kierunkowy z wrotami transmisyjnymi i sprzężonymi zakończonymi obciążeniami reaktancyjnymi. W artykule przedstawiono model teoretyczny prezentujący zasadę działania układu i jego projekt. Uzyskane wyniki...
-
Generalized Euler method for first order partial differential functional equations
PublicationW pracy prezentowana jest nowa klasa metod numerycznych dla nieliniowych równań różniczkowo funkcyjnych pierwszego rzędu.Rozwiązania klasyczne zagadnień początkowo brzegowych przybliżane są w tej pracy przez rozwiązania odpowiedniego układu quasilininowego równań różnicowych. Podajemy kompletną analizę zbieżności metod i pokazujemy na przykładach, iż nowa metoda jest zauważalnie lepsza niż klasyczne schematy różnicowe. Dowód stabilności...
-
Existence of solutions for second order impulsive differential equations with deviating arguments
PublicationPraca dotyczy równań różniczkowych z impulsami i odchylonymi argumentami. Badano problem istnienia rozwiązań stosując metodę iteracji monotonicznych opartą na dolnych i górnych rozwiązaniach. Praca uogólnia szereg znanych wyników.
-
The generalized quasilinearization for integro-differential equations of Volterra type on time scales
PublicationBadano równania całkowo-różniczkowe on ''time scales'' i podano warunkidostateczne na zbieżność metody kwazilinearyzacji do jego rozwiązania. Podano warunki na to, aby zbieżność ta była kwadratową.
-
Quasilinearization methods for nonlinear differential-functional parabolic equations: unbounded case
PublicationRozważamy zagadnienie Cauchy'ego dla nieliniowych równań parabolicznych z zależnością funkcyjną. Przedstawiamy rezultaty dotyczące zbieżności metody quasilinearyzacji dla rozwiązań nieograniczonych.
-
Quadratic convergence of monotone iterations for differential equations with initial time difference
PublicationPodano warunki dostateczne na to, aby iteracje monotoniczne były zbieżne do jedynego rozwiązania równania różniczkowego przy różnych warunkach początkowych. Pokazano, że jest to zbieżność kwadratowa.
-
Implicit difference methods for first order partial differential functional equations
PublicationW pracy prezentowana jest nowa klasa metod numerycznych dla quasiliniowych równań różniczkowo funkcyjnych pierwszego rzędu. Są to schematy różnicowe uwikłane względem zmiennej czasowej. Podana jest pełna analiza zbieżności rozważanych metod uwikłanych oraz przykład numeryczny pokazujący, że klasa tych metod jest szersza niż klasa schematów jawnych. Dowód stabilności opiera się na technice porównawczej z nieliniowym oszacowaniem...
-
Implicit difference methods for nonlinear first order partial differential equations
PublicationW pracy klasyczne rozwiązania początkowo brzegowych problemów dla nieliniowych równań różniczkowych, szacowane są przez rozwiązania quasiliniowych układów uwikłanych równań różnicowych. Dowód zbieżności rozważanych metod opiera się na technice porównawczej z nieliniowym oszacowaniem typu Perrona dla funkcji danych. To nowe podejście do uwikłanych metod różnicowych dla równań nieliniowych opiera się na quasilinearyzacji tych metod...