Filtry
wszystkich: 1052
wybranych: 855
-
Katalog
Filtry wybranego katalogu
Wyniki wyszukiwania dla: LOGIC DIFFERENTIAL CALCULUS
-
Existence of solutions of differential equations with boundary conditions
PublikacjaPraca dotyczy równań różniczkowych z liniowym warunkiem brzegowym zależnym od parametru. Podane zostały warunki dostateczne na istnienie rozwiązania powyższego zagadnienia. Przy dowodzie i konstrukcji iteracji monotonicznych zastosowano metodę górnych i dolnych rozwiązań. O prawej stronie zagadnienia zakładano jednostronny warunek Lipschitza.
-
Delay differential inequalities with initial time difference
PublikacjaPraca dotyczy nierówności różniczkowych z argumentami opóźnionymi przy różnych warunkach początkowych. Podano twierdzenia porównawcze dla takich nierówności. Podano też warunki dostateczne na istnienie ekstremalnych rozwiązań odpowiednich równań różniczkowych z argumentami opóźnionymi.
-
Pseudopotentials via Moutard Transformations and Differential Geometry
Publikacja..
-
Discrimination of hospital isolates of Acinetobacter baumannii using repeated sequences and whole genome alignment differential analysis
PublikacjaAn optimized method for bacterial strain differentiation, based on combination of Repeated Sequences and Whole Genome Alignment Differential Analysis (RS&WGADA), is presented in this report. In this analysis, 51 Acinetobacter baumannii multidrug-resistance strains from one hospital environment and patients from 14 hospital wards were classified on the basis of polymorphisms of repeated sequences located in CRISPR region, variation...
-
Positive solutions to second-order differential equations with dependence on the first-order derivative and nonlocal boundary conditions
PublikacjaIn this paper, we consider the existence of positive solutions for second-order differential equations with deviating arguments and nonlocal boundary conditions. By the fixed point theorem due to Avery and Peterson, we provide sufficient conditions under which such boundary value problems have at least three positive solutions. We discuss our problem both for delayed and advanced arguments α and also in the case when α(t)=t, t∈[0,1]....
-
Solving Boundary Value Problems for Second Order Singularly Perturbed Delay Differential Equations by ε-Approximate Fixed-Point Method
PublikacjaIn this paper, the boundary value problem for second order singularly perturbed delay differential equation is reduced to a fixed-point problem v = Av with a properly chosen (generally nonlinear) operator A. The unknown fixed-point v is approximated by cubic spline vh defined by its values vi = vh(ti) at grid points ti, i = 0, 1, ... ,N. The necessary for construction the cubic spline and missing the first derivatives at the boundary...
-
Crystallization kinetics study of dynamically vulcanized PA6/NBR/HNTs nanocomposites by nonisothermal differential scanning calorimetry
PublikacjaInvestigation of crystallization behavior and kinetics of thermoplastic elastomer nanocomposites was the subject of limited works because of complexities associated with semiexperimental modeling of such phenomenon in a system containing components having completely different behavior in the molten state. Nonisothermal crystallization kinetics of dynamically vulcanized PA6/NBR/HNTs thermoplastic elastomer nanocomposites was mathematically...
-
Adaptive selection of control parameters in differential evolution algorithms
PublikacjaW pracy przedstawiono metodę adaptacyjnej selekcji parametrów kontrolnych w różnicowych algorytmach ewolucyjnych. Wartości parametrów takich jak: stopień krzyżowania i współczynnik różnicowej mutacji są odpowiednio zmieniane. Funkcje testowe użyte do testowania proponowanej metody były zaczerpnięte z literatury. Rezultaty uzyskane przy użyciu opisanej metody zostały porównane z innymi metodami selekcji różnicowej. Wyniki te, uzyskane...
-
Probabilistic evaluation of test architectures for fully differential circuits
PublikacjaArtykuł prezentuje model probabilistyczny przeznaczony do oceny, porównania i optymalizacji architektur testujących układy w pełni różnicowe. Model ma postać funkcji rozkładów gęstości prawdopodobieństwa amplitudy i fazy sygnału mierzonego w trakcie testowania. Parametry modelu są wyznaczane za pomocą rozwinięcia funkcji układowej w szereg Taylora. Poprawność modelu sprawdzono poprzez porównanie z wynikami symulacji, uzyskanymi...
-
Numerical methods for systems of nonlinear differential functional equations
PublikacjaPraca dotyczy zagadnień początkowo brzegowych dla nieliniowych układów różniczkowo funkcyjnych. Rozważana jest aproksymacja rozwiązań rozważanego problemu różniczkowo funkcyjnego przez rozwiązania odpowiedniego problemu różnicowego. W pracy analizowana jest zbieżność prezentowanych metod. Dowód zbieżności opiera się na technice porównawczej z nieliniowym oszacowaniem typu Perron'a dla danych operatorów.
-
Second order differential equations with Dirichlet boundary conditions
PublikacjaZastosowano metodę kwazilinearyzacji aby wyznaczyć rozwiązanie przybliżone zagadnienia brzegowego dla równań różniczkowych rzędu drugiego. Pokazano kwadratową (lub prawie kwadratową) zbieżność tego rozwiązania do rozwiazania dokładnego.
-
Implicit difference methods for parabolic functional differential equations.
PublikacjaPraca dotyczy przybliżania rozwiązań quasiliniowych parabolicznych równań różniczkowo-funkcyjnych za pomocą schematów różnicowych, uwikłanych ze względu na zmienną czasową. Wykonano pełną analizę zbieżności metod i pokazano na przykładzie, że nowe metody są istotnie lepsze od schematów jawnych. Dowód stabilności oparty jest na metodzie porównawczej z nieliniowymi oszacowaniami typu Perrona. Otrzymane wyniki można zastosować do...
-
Waveform relaxation methods for periodic differential-functional systems.
PublikacjaPrzedmiotem badań były układy różniczkowo-funkcyjne z warunkiem okresowym.Prawą stronę układu z argumentem funkcyjnym przedstawiono w nowej formie wygodnej do stosowania metody relaksacyjnej ''waveform''. Podano warunki dostateczne (dyskutowano dwa typy takich warunków) przy których wyjściowy problem ma rozwiązanie i odpowiednie ciągi relaksacyjne są do niego zbieżne. Dyskutowano w szczegółach przedstawiony problem numeryczny...
-
CMOS differential pair transconductor with active error feedback.
PublikacjaW pracy przedstawiono metodę linearyzacji charakterystyki przejściowej typu
-
On the convergence of iterative methods for general differential-algebraic systems.
PublikacjaW pracy badane jest istnienie i jednoznacznoSC rozwiązań dla ogólnej klasy układów równań całkowo-algebraicznych i różniczkowo-algebraicznych oraz zbieżność różnych metod iteracyjnych włączając metody typu ''waveform relaxation''. Podane są warunki, spełnienie których gwarantuje istnienie rozwiązań w/w równań oraz zbieżność badanych procesów iteracyjnych.
-
Existence of solutions of differential equations with nonlinearmultipoint boundary conditions.
PublikacjaSformułowano warunki dostateczne na istnienie rozwiązań (jedynego lubekstremalnych) dla równań różniczkowych z warunkami jak wyżej przyzastosowaniu metody iteracji monotonicznych. O prawej stronie zagadnienia i nieliniowym warunku brzegowym zakładano między innymi, że spełniają jednostronny warunek Lipschitza.
-
Antiperiodic boundary value problems for functional differential equations
PublikacjaRównania różniczkowo funkcyjne z antyokresowymi warunkami brzegowymi są przedmiotem rozważań tej pracy. Podane zostały warunki dostateczne na istnienie jedynego rozwiązania, które jest granicą dwóch monotonicznych ciągów. Szybkość tej zbieżności jest również określona. Metoda dowodzenia oparta jest na metodzie kwasilinearyzacji. Otrzymano również pewne wyniki dotyczące problemów liniowych.
-
Boundary value problems for systems of functional differential equations
PublikacjaPraca dotyczy przybliżonych rozwiązań zagadnienia brzegowego dla funkcyjnych równań różniczkowych 2-go rzędu. Podano numeryczne algorytmy na wyznaczenie tego rozwiązania i warunki dostateczne, przy których metoda jest zgodna i zbieżna. Podano też konstrukcję metody dowolnego rzędu.
-
Nonlocal problems for functional partial differential equations of firstorder
PublikacjaRozważa się istnienie uogólnionych rozwiązań nielokalnych problemów dla quasiliniowych i nieliniowych równań różniczkowo-funkcyjnych cząstkowych pierwszego rzędu. Dowody twierdzeń bazują na metodzie bicharakterystyk i metodzie kolejnych przybliżeń.
-
Elementary, binary and schlesinger transformations in differential ring geometry
PublikacjaPrzedstawiono elementarne przekształcenia Darboux dla rozwiązania równań różniczkowych w pierścieniu. Przedstawiono nowe rozwiązania za pomocą przekształcenia Shlesingera jako granicy elementarnego pD.
-
Periodic boundary value problems for functional differential equations
PublikacjaPrzedmiotem badań były równania różniczkowo-funkcyjne dość ogólnej postaci z warunkami brzegowymi typu okresowego. Podano warunki dostateczne na istnienie jedynego rozwiązania (zerowego) odpowiedniego zagadnienia liniowego z okresowymi warunkami brzegowymi. Te wyniki zostały wykorzystane aby pokazać, że odpowiednio skonstruowane ciągi monotoniczne są jednostajnie zbieżne do jedynego, w pewnym segmencie, rozwiązania zagadnienia...
-
Quadrtic convergence of monotone iterations of differential-algebraic equations
PublikacjaZastosowano tu metodę quazilinearyzacji do równań różniczkowo-algebraicznych z warunkiem początkowym. Pokazano, że odpowiednie iteracje monotoniczne są zbieżne do jedynego rozwiązania.
-
Differential equations with a singular matrix and convergence of approximate solutions
PublikacjaZastosowano metodę kwazilinearyzacji dla równań różniczkowych z macierzą osobliwą aby pokazać, że odpowiednie ciągi rozwiązań przybliżonych są kwadratowo zbieżne do rozwiązania naszego problemu.Metodę tę zastosowano do układów takich równań różniczkowych.
-
First-order differential equations with nonlocal boundary conditions
PublikacjaWe study a first-order boundary value problem subject to some boundary conditions given by Riemann-Stieltjes integrals. Using a monotone iterative method, we formulate sufficient conditions which guarantee the existence of extremal or quasi-solutions in the corresponding region bounded by upper and lower solutions of our problems. The case when a unique solution exists is also investigated. Some examples are given to illustrate...
-
Optimization of Self-Organized TiO2 Nanotube Geometry on Ti and Ti Alloys Using Fuzzy Logic Reasoning
PublikacjaThe geometry of self-organized TiO2 nanotubes, obtained by electrochemicalanodization, has been determined by using fuzzy reasoning approach. The efficiency of TiO2nanotubular layer in biomedical applications depends on geometry and available surface area ofnanotubes, which can be determined by their diameter and length. The structure of nanotubesdepends on processing parameters of electrochemical anodization, like applied potential,anodization...
-
Classification of Covid-19 using Differential Evolution Chaotic Whale Optimization based Convolutional Neural Network
PublikacjaCOVID-19, also known as the Coronavirus disease-2019, is an transferrable disease that spreads rapidly, affecting countless individuals and leading to fatalities in this worldwide pandemic. The precise and swift detection of COVID-19 plays a crucial role in managing the pandemic's dissemination. Additionally, it is necessary to recognize COVID-19 quickly and accurately by investigating chest x-ray images. This paper proposed a...
-
Joint experimental and theoretical study on low-energy elastic electron scattering by gaseous alkynes: Differential cross sections, shape resonances, and methylation effects
PublikacjaA 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...
-
Accuracy and coverage of the modernized Polish Maritime differential GPS system
Publikacja -
Errors analysis of differential single-frequency geo-positioning algorithm
Publikacja -
Detection of butter adulteration with water using differential scanning calorimetry
Publikacja -
Differential Scanning Calorimetry for Determining the Thermodynamic Properties of Selected Honeys
Publikacja -
Implicit difference methods for Hamilton-Jacobi differential functional equations
PublikacjaKlasyczne 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
PublikacjaSkonstruowano 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.
-
Point to point control of fractional differential linear control systems
Publikacja -
Generalized solutions of first order partial differential functional inequalities
PublikacjaW 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.
-
Symmetry-controlled negative differential resistance effect in a triangular molecule
Publikacja -
Accuracy of Differential Phase Delay Estimation for GPS Spoofing Detection
PublikacjaGPS 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...
-
Four-point boundary-value problems for differential-algebraic systems
PublikacjaBadane 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.
-
Comparision principles for parabolic differential - functional initial - value problems.
PublikacjaBadamy 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.
-
Linear boundary problems for ordinary differential equations with deviated arguments
PublikacjaPraca dotyczy istnienia i jednoznaczności rozwiązań dla problemów brzegowych w tym również i problemów z wielopunktowymi warunkami brzegowymi.
-
3.3V CMOS differential pair transconductor with active error feedback.
PublikacjaW 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.
PublikacjaSformuł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.
PublikacjaZastosowano 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.
PublikacjaZastosowano 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.
PublikacjaPraca 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...
-
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.
-
Quadratic convergence of monotone iterations to systems of differential-algebraic equations
PublikacjaZastosowano 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
PublikacjaPraca 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
PublikacjaZostał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.
-
On the differential effect of temperature on the Nusselt-Rayleigh relationship in free convection
PublikacjaThe 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,...