Filtry
wszystkich: 1052
-
Katalog
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: LOGIC DIFFERENTIAL CALCULUS
-
On delay differential equations with nonlinear boundary conditions
PublikacjaStosując metodę iteracji monotonicznych podano warunki dostateczne na istnienie kwazirozwiązań lub ekstremalnych rozwiązań rozpatrywanego zagadnienia. Problem jednoznaczności rozwiązania był również przedmiotem badań. Zajmowano się również nierównościami różniczkowymi z opóżnionymi argumentami.
-
Relaxation methods for first order differential equations
PublikacjaPodano warunki dostateczne przy których iteracje otrzymane za pomocą metody relaksacyjnej są zbieżne do jedynego rozwiązania układu równań różniczkowych z warunkiem okresowym. Przykłady ilustrują otrzymane wyniki.
-
Minimal and maximal solutions of differential equations with a singularmatrix.
PublikacjaPraca dotyczy zagadnień początkowych dla układów równań różniczkowych z macierzą osobliwą. Równania różniczkowo-algebraiczne są szczególnym przypadkiem takich zagadnień.Stosując metodę iteracji monotonicznych pokazano, że przy pewnych założeniach problem wyjściowy ma ekstremalne rozwiązania w pewnym sektorze.Teoretyczne rozważania zilustrowano przykładem.
-
Monotone and numerical analytic- methods for differential equations.
PublikacjaPraca dotyczy problemu różniczkowo-całkowego (typu Fredholma) z ogólnym warunkiem początkowo-brzegowo-całkowym. W pierwszej części pracy, stosując metodę iteracji monotonicznych, sformułowano warunki dostateczne które gwarantują, że dyskutowany problem ma rozwiązanie ekstremalne w zbiorze generowanym przez dolne i górne rozwiązania. Rozważania teoretyczne poparto przykładem i dyskusją. W drugiej części pracy zastosowano metodę...
-
Systems of differential inequalities with initial time difference.
PublikacjaPewne twierdzenia porównawcze są formułowane dla takich zagadnień.O funkcji F występującej po prawej stronie nierówności różniczkowej zakłada się, że spełnia własności kwasimonotoniczności. Sformułowanorównież twierdzenia o istnieniu ekstremalnych rozwiązań dla odpowiednich równań różniczkowych pierwszego rzędu z odchylonymi argumentami.
-
Approximation of extremal solutions for functional differential equations
PublikacjaDyskutowane są równania różniczkowe funkcyjne z liniowym warunkiem brzegowym. Podano warunki dostateczne dla istnienia ciągów monotonicznych, aproksymujących rozwiązania ekstremalne badanych zagadnień.
-
Ordinar differential equations with nonlinear boundary conditions
PublikacjaPraca dotyczy zwyczajnych równań różniczkowych z nieliniowymi warunkami brzegowymi. Sformułowano warunki dostateczne na istnienie rozwiązania (jedynego lub ekstremalnych) zakładając pewną regularność na prawe strony równania i warunek brzegowy. Warunki brzegowe typu okresowego lub antyokresowego są szczególnymi przypadkami ogólnego warunku dyskutowanego w tej pracy.
-
Numerical-analytic methods for differential-algebraic systems
PublikacjaMetodę numeryczno-analityczną połączoną z metodą porównawczą zastosowano do układów równań różniczkowo-algebraicznych z linowymi warunkami brzegowymi otrzymując warunki dostateczne na istnienie rozwiązania. O prawych stronach zagadnienia zakładano warunek Lipschitza. Otrzymano oszacowania błędów. Problem z odchylonymi argumentami był również przedmiotem rozważań tej pracy.
-
Differential-algebraic systems with initial time difference
PublikacjaO funkcjach występujących w zagadnieniu zakładano m.in. warunek typu Perrona uzyskując pewne wyniki porównawcze dla zagadnień różniczkowo-algebraicznych startujących z różnych punktów początkowych. Wyniki porównawcze uzyskano również wykorzystując odpowiednią funkcję typu Lapunova. Sformułowane zostały warunki dostateczne na to aby rozwiązanie było stabilne.
-
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...
-
Notre Dame Journal of Formal Logic
Czasopisma -
Journal of Algorithms-Cognition Informatics and Logic
Czasopisma -
Journal of Dynamics and Differential Equations
Czasopisma -
LOGIC LAB Molecular logic lab-on-a-vesicle for intracellular diagnostics
ProjektyProjekt realizowany w Katedra Fizyki Teoretycznej i Informatyki Kwantowej zgodnie z porozumieniem 813920-LogicLab z dnia 2018-08-23
-
LOGIC LAB Molecular logic lab-on-a-vesicle for intracellular diagnostics
ProjektyProjekt realizowany w Katedra Fizyki Teoretycznej i Informatyki Kwantowej zgodnie z porozumieniem 441260/PnH 2/2019 z dnia 2019-10-02
-
Advances in Differential Equations and Control Processes
Czasopisma -
Journal of Pseudo-Differential Operators and Applications
Czasopisma -
Memoirs on Differential Equations and Mathematical Physics
Czasopisma -
NUMERICAL METHODS FOR PARTIAL DIFFERENTIAL EQUATIONS
Czasopisma -
lnternational Journal of Differential Equations and Applications
Czasopisma -
Journal of Optimization, Differential Equations and their Applications
Czasopisma -
Partial Differential Equations in Applied Mathematics
Czasopisma -
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