displaying 1000 best results Help
Search results for: LOGIC DIFFERENTIAL CALCULUS
-
Positive solutions to fractional differential equations involving Stieltjes integral conditions
PublicationIn this paper, we investigate nonlocal boundary value problems for fractional differential equations with dependence on the first-order derivatives and deviating arguments. Sufficient conditions which guarantee the existence of at least three positive solutions are new and obtained by using the Avery–Peterson theorem. We discuss problems (1) and (2) when argument b can change the character on [0, 1], so in some subinterval I of...
-
Differential analysis of impedance data
Publication -
Differential equations with delayed arguments
PublicationPraca dotyczy problemów brzegowych dla równań różniczkowych z opóźnionymi argumentami. Podane zostały warunki dostateczne na istnienie jednego rozwiązania bądź rozwiązań ekstremalnych. Dyskusja dotyczy również nierówności różniczkowych. Przykłady ilustrują otrzymane wyniki.
-
Differential-algebraic systems with maxima
PublicationMetoda numeryczno-analityczna została zastosowana do układów równań różniczkowo-algebraicznych z operatorem maximum. Zakładając warunek Lipschitza na funkcje występujące w zagadnieniu pokazano, że ciąg iteracji prostych jest zbieżny do rozwiązania zagadnienia pomocniczego. Podano warunki dostateczne na istnienie rozwiązania problemu wyjściowego. Iteracje Seidla też były przedmiotem badań. W ostatniej części pracy był dyskutowany...
-
Fuzzy differential-algebraic systems
PublicationProblem istnienia i jednoznaczności rozwiązań oraz ciągła zależność jest dyskutowana. Powyższe rezultaty zostały otrzymane zakładając m.in. warunek Perrona oraz stosując metodę porównawczą. Przypadek liniowy warunku Perrona jest też badany.
-
Multiple Solutions to Third-Order Differential Equations with Derivative Dependence and Deviating Arguments
PublicationIn this paper, we give some new results for multiplicity of positive (nonnegative) solutions for third-order differential equations with derivative dependence, deviating arguments and Stieltjes integral boundary conditions. We discuss our problem with advanced argument α and arbitrary β ∈ C([0,1],[0,1]), see problem (2). It means that argument β can change the character on [0,1], so β can be delayed in some set J ⊂ [0,1] and advanced...
-
Studies in Logic, Grammar and Rhetoric
Journals -
Robust output prediction of differential – algebraic systems – application to drinking water distribution system
PublicationThe paper presents the recursive robust output variable prediction algorithm, applicable for systems described in the form of nonlinear algebraic-differential equations. The algorithm bases on the uncertainty interval description, the system model, and the measurements. To improve the algorithm efficiency, nonlinear system models are linearised along the nominal trajectory. The effectiveness of the algorithm is demonstrated on...
-
Modeling human thinking about similarities by neuromatrices in the perspective of fuzzy logic
Publication -
Modelling of soft fault propagation in sequential circuits by fuzzy-logic simulations
Publication -
Multiple output differential OTA with linearizing bulk-driven active-error feedback loop for continuous-time filter applications
PublicationA CMOS circuit realization of a highly linear multiple-output differential operational transconductance amplifier (OTA) has been proposed. The presented approach exploits a differential pair as an input stage with both the gate and the bulk terminals as signal ports. For the proposed OTA, improved linearity is obtained by means of the active-error feedback loop operating at the bulk terminals of the input stage. SPICE simulations...
-
Explicit and implicit difefrence methods for quasilinear first order partial functional differential equations.
PublicationInitial boundary value problems of the Dirichlet type for quasilinear functional differential equations are considered. Explicit difference schemes of the Euler type and implicit difference methods are investigated. Suffcient conditions for the convergence of approximate solutions are given and comparisons of the methods are presented. It is proved that assumptions on the regularity of given functions are the same for both classes...
-
Successive Iterative Method for Higher-Order Fractional Differential Equations Involving Stieltjes Integral Boundary Conditions
PublicationIn 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.
-
On delay differential equations with boundary conditions
PublicationPodano warunki na istnienie rozwiązania zagadnienia brzegowego typu opóźnionego, zakładając pewne warunki monotoniczności funkcji występującej po prawej stronie naszego zagadnienia. Pokazano, że dwa ciągi monotoniczne są zbieżne do rozwiązania dokładnego.
-
Dimension of the solution set for differential inclusions
Publication -
Recurrence and differential relations for sphericial spinors
PublicationPraca zawiera zestawienie kilkudziesięciu relacji rekurencyjnych i różniczkiowych, spełnianych przez spinory sferyczne (harmoniki sferyczne dla spinu 1/2).
-
Ordinary differential equations with deviated arguments
PublicationPraca dotyczy istnienia i przybliżonych rozwiązań dla problemów brzegowych z opóźnionymi oraz wyprzedzonymi argumentami. Dyskutowano też pewne nierówności różniczkowe powyższego typu.
-
Fractional differential equations with deviating arguments
PublicationDla równań różniczkowych typu ułamkowego, zostały podane warunki dostateczne na istnienie jednego rozwiązania lub rozwiazań ekstremalnych. Nierówności różniczkowe są też doskutowane.
-
Approximate methods for functional differential equations
PublicationW pracy przedstawione są dwie klasy przybliżonych metod rozwiązywania równań różniczkowo funkcyjnych ze szczególnym uwzględnieniem równań różniczkowych z opóźnieniem. Do pierwszej klasy należą metody bezpośrednie reprezentowane w przedkładanej rozprawie przez dwukrokowe metody Rungego-Kutty. Należą one do klasy ogólnych metod liniowych rozwiązywania równań różniczkowych. Druga klasę przybliżonych metod rozwiązywania równań różniczkowo...
-
On integro-differential equations with delayed arguments
PublicationPraca dotyczy problemów różniczkowo-całkowych z warunkami początkowymi oraz brzegowymi typu okresowego. Podano warunki na istnienie i jednoznaczność rozwiązania. Badania dotyczyły również nierówności różniczkowo-całkowych z argumentami typu opóżnionego. Podano przykłady, które mogą mieć zastosowanie w problemach inżynierskich.
-
Systems of differential equations with a singular matrix
PublicationPraca dotyczy układów równań różniczkowych z macierzą osobliwą. Szczególnymi przypadkami takich układów są równania różniczkowo-algebraiczne. Korzystając z odpowiedniej nierówności różniczkowej dla układów równań i metody quasi linearyzacji pokazano, iż odpowiednie monotoniczne ciągi są zbieżne do rozwiązania naszego problemu i jest to zbieżność kwadratowa. O funkcji f występującej po prawej stronie zagadnienia zakładano...
-
Differential inequalities with initial time difference.
PublicationUzyskano pewne wyniki porównawcze pomiędzy rozwiązaniami nierówności różniczkowych startujących z różnych punktów początkowych. O nieliniowej funkcji f (związanej z zagadnieniem) zakładano jednostronny warunek Lipschitza. Podano pewne zastosowanie otrzymanych wyników. Sformułowano też pewne warunki dotyczące stabilności.
-
Differential equations with integral boundary conditions
PublicationStosuje się metodę iteracji monotonicznych opartą na dolnym i górnym rozwiązaniu. Przy jednostronnym warunku Lipschitza uzyskano pewne wyniki dotyczące rozwiązań zwyczajnych równań różniczkowych z całkowym warunkiem brzegowym. Sformułowano warunki dostateczne na istnienie jedynego rozwiązania (lub rozwiązań ekstremalnych) w pewnym segmencie. Podano przykłady ilustrujące przyjęte założenia.
-
A comparison method for ordinary differential systems
PublicationPraca dotyczy problemów istnienia i jednoznaczności rozwiązań oraz ciągłej zależności dla układów równań różniczkowych w tym i z opóźnionymi argumentami z warunkami początkowymi oraz brzegowymi typu okresowego. Przy odpowiednich założeniach, stosując teorię nierówności różniczkowych, pokazano, że odpowiednia funkcja porównawcza może być ujemna, co ma istotne znaczenie w dalszych badaniach. Pokazano, że konstruowany ciąg iteracji...
-
Functional differential equations of second order.
PublicationPraca dotyczy problemu brzegowego dla równań różniczkowo-funkcyjnych 2-go rzędu. Stosując metodę kwasilinearyzacji pokazano, że odpowiednio skonstruowane ciągi monotoniczne są zbieżne do jedynego rozwiązania danego problemu i ustalono szybkość tej zbieżności. Pokazano również pewną relację pomiędzy rozwiązaniami odpowiednich liniowych równań różniczkowo-funkcyjnych z warunkami brzegowymi.
-
A method of self-testing of analog circuits based on fully differential op-amps with theTCBF classifier
PublicationA new approach of self-testing of analog circuits based on fully differential op-amps of mixed-signal systems controlled by microcontrollers is presented. It consists of a measurement procedure and a fault diagnosis procedure. We measure voltage samples of a time response of a tested circuit on a stimulation of a unit step function given at the common-mode reference voltage input of the op-amp. The fault detection and fault localization...
-
Assessment of the impact of a phosphatic fertilizer plant on the adjecent environment using fuzzy logic
PublicationZbadano wpływ zakładów nawozów fosforowych na otaczające środowisko. W próbkach trawy i gleby oraz produktów i produktu ubocznego oznaczono wybrane pierwiastki ziem rzadkich, metale ciężkie i metaloidy. Zbadano rozkład stężeń pierwiastków oznaczonych w próbkach gleby i trawy wzdłuż południowego i wschodniego kierunku, porównując ją ze stężeniami oznaczonymi w glebie i trawie z terenu zakładów oraz w substratach i produktach. Wyniki...
-
Forecasting of railway track tamping based on settlement of sleepers using fuzzy logic
PublicationThe sleepers in a railway track transfer vertical, transverse and longitudinal loads to the track ballast and subgrade. The sleepers allow for keeping the distance between the rails constant. The thickness of ballast should be between 16 and 35 cm depending on the design standard of the track, and it should be densified where the ballast supports the sleeper. The exploitation causes contamination of the ballast, crushing the material...
-
Performance of the Direct Sequence Spread Spectrum Underwater Acoustic Communication System with Differential Detection in Strong Multipath Propagation Conditions
PublicationThe underwater acoustic communication (UAC) operating in very shallow-water should ensure reliable transmission in conditions of strong multipath propagation, significantly disturbing the received signal. One of the techniques to achieve this goal is the direct sequence spread spectrum (DSSS) technique, which consists in binary phase shift keying (BPSK) according to a pseudo-random spreading sequence. This paper describes the DSSS...
-
Multi-criteria Differential Evolution for Optimization of Virtual Machine Resources in Smart City Cloud
PublicationIn a smart city, artificial intelligence tools support citizens and urban services. From the user point of view, smart applications should bring computing to the edge of the cloud, closer to citizens with short latency. However, from the cloud designer point of view, the trade-off between cost, energy and time criteria requires the Pareto solutions. Therefore, the proposed multi-criteria differential evolution can optimize virtual...
-
Smartphone-Assisted and Optical Quantification of Copper and Glucose Using Palm Wine-Tailored Carbon Dots and Their Multiple Logic Gate Application
PublicationIn this work, potassium, sulfur, nitrogen, and chlorine self-doped carbon dots (CDs) were hydrothermally synthesized using palm wine as a carbon source. The palm wine-derived CDs (PW-CDs) are amorphous in nature and displayed an average particle size of 4.19 ± 0.89 nm. The as-synthesized CDs are used to fabricate a photoluminescent sensing probe to simultaneously detect Cu2+ and glucose via the “Turn ON−OFF−ON” mechanism. The PL...
-
Using differential pressure sensor to measure nitrous oxide level in a tank
PublicationA method for measuring the level of liquid nitrous oxide oxidizer in a hybrid rocket motor oxidizer tank is proposed. Presented approach is more accurate than the most commonly used method of this measurement, which employs weighting of the whole sounding rocket or an oxidizer tank. In our solution we use a differential pressure sensor to measure the change of pressure at the bottom of an oxidizer tank in comparison to the pressure...
-
Journal of Logic, Language and Information
Journals -
DIFFERENTIAL GEOMETRY AND ITS APPLICATIONS
Journals -
COMMUNICATIONS IN PARTIAL DIFFERENTIAL EQUATIONS
Journals -
Computational Methods for Differential Equations
Journals -
Journal of Partial Differential Equations
Journals -
International Journal of Differential Equations
Journals -
Differential Equations and Dynamical Systems
Journals -
Dynamics of Partial Differential Equations
Journals -
ACM Transactions on Computational Logic
Journals -
Logic, Epistemology, and the Unity of Science
Journals -
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
Journals -
Partial Differential Equations and Applications
Journals -
Journal of Hyperbolic Differential Equations
Journals -
ANNALS OF PURE AND APPLIED LOGIC
Journals -
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Journals -
Multi-objective Tabu-based Differential Evolution for Teleportation of Smart Virtual Machines in Private Computing Clouds
PublicationWe propose a multi-objective approach for using differential evolution algorithm with tabu search algorithm as an additional mutation for live migration (teleportation) of virtual machines. This issue is crucial in private computing clouds. Teleportation of virtual machines is supposed to be planned to determine Pareto-optimal solutions for several criteria such as workload of the bottleneck host, communication capacity of the...
-
Robust flux observer system with sliding mode and fuzzy logic control of Induction Motors
PublicationW pracy przedstawiono implementację nowego obserwatora strumienia wirnika silnika indukcyjnego zastosowanego w układzie sterowania polowo zorientowanego ze sterowaniem ślizgowym. Proponowany system jest niewrażliwy na zmiany rezystancji stojana silnika w wyniku zastosowania korekcyjnego sprzężenia zwrotnego. Przedstawiono porównanie układów z oraz bez zastosowania sterowania ślizgowego. Zamieszczono wyniki badań symulacyjnych...
-
Accuracy of Trajectory Tracking Based on Nonlinear Guidance Logic for Hydrographic Unmanned Surface Vessels
PublicationA new trend in recent years for hydrographic measurement in water bodies is the use of unmanned surface vehicles (USVs). In the process of navigation by USVs, it is particularly important to control position precisely on the measuring profile. Precise navigation with respect to the measuring profile avoids registration of redundant data and thus saves time and survey costs. This article addresses the issue of precise navigation...