Filtry
wszystkich: 1052
-
Katalog
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: LOGIC DIFFERENTIAL CALCULUS
-
Modelling of soft fault propagation in sequential circuits by fuzzy-logic simulations
Publikacja -
Modeling human thinking about similarities by neuromatrices in the perspective of fuzzy logic
Publikacja -
Multiple Solutions to Third-Order Differential Equations with Derivative Dependence and Deviating Arguments
PublikacjaIn 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...
-
Robust output prediction of differential – algebraic systems – application to drinking water distribution system
PublikacjaThe 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...
-
Multiple output differential OTA with linearizing bulk-driven active-error feedback loop for continuous-time filter applications
PublikacjaA 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.
PublikacjaInitial 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...
-
Assessment of the impact of a phosphatic fertilizer plant on the adjecent environment using fuzzy logic
PublikacjaZbadano 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
PublikacjaThe 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...
-
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.
-
Fractional differential equations with deviating arguments
PublikacjaDla 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.
-
Dimension of the solution set for differential inclusions
Publikacja -
Recurrence and differential relations for sphericial spinors
PublikacjaPraca zawiera zestawienie kilkudziesięciu relacji rekurencyjnych i różniczkiowych, spełnianych przez spinory sferyczne (harmoniki sferyczne dla spinu 1/2).
-
On delay differential equations with boundary conditions
PublikacjaPodano 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.
-
Ordinary differential equations with deviated arguments
PublikacjaPraca 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.
-
Systems of differential equations with a singular matrix
PublikacjaPraca 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 equations with integral boundary conditions
PublikacjaStosuje 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.
-
Differential inequalities with initial time difference.
PublikacjaUzyskano 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.
-
A comparison method for ordinary differential systems
PublikacjaPraca 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.
PublikacjaPraca 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.
-
Approximate methods for functional differential equations
PublikacjaW 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
PublikacjaPraca 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.
-
A method of self-testing of analog circuits based on fully differential op-amps with theTCBF classifier
PublikacjaA 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...
-
Performance of the Direct Sequence Spread Spectrum Underwater Acoustic Communication System with Differential Detection in Strong Multipath Propagation Conditions
PublikacjaThe 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
PublikacjaIn 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...
-
Using differential pressure sensor to measure nitrous oxide level in a tank
PublikacjaA 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
Czasopisma -
ACM Transactions on Computational Logic
Czasopisma -
Logic, Epistemology, and the Unity of Science
Czasopisma -
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
Czasopisma -
ANNALS OF PURE AND APPLIED LOGIC
Czasopisma -
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Czasopisma -
DIFFERENTIAL GEOMETRY AND ITS APPLICATIONS
Czasopisma -
COMMUNICATIONS IN PARTIAL DIFFERENTIAL EQUATIONS
Czasopisma -
Computational Methods for Differential Equations
Czasopisma -
Journal of Partial Differential Equations
Czasopisma -
International Journal of Differential Equations
Czasopisma -
Differential Equations and Dynamical Systems
Czasopisma -
Dynamics of Partial Differential Equations
Czasopisma -
Partial Differential Equations and Applications
Czasopisma -
Journal of Hyperbolic Differential Equations
Czasopisma -
Robust flux observer system with sliding mode and fuzzy logic control of Induction Motors
PublikacjaW 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
PublikacjaA 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...
-
Multi-objective Tabu-based Differential Evolution for Teleportation of Smart Virtual Machines in Private Computing Clouds
PublikacjaWe 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...
-
Monotone iterative method to second order differential equations with deviating arguments involving Stieltjes integral boundary conditions
PublikacjaWe use a monotone iterative method for second order differential equations with deviating arguments and boundary conditions involving Stieltjes integrals. We establish sufficient conditions which guarantee that such problems have extremal solutions in the corresponding region bounded by lower and upper solutions. We also discuss the situation when problems have coupled quasi-solutions. We illustrate our results by three examples.
-
Boundary problems for differential equations with advanced arguments
PublikacjaDyskutowane są zagadnienia brzegowe dla równań różniczkowych z wyprzedzonymi argumentami. Przedstawione są warunki dostateczne istnienia quasirozwiązań i rozwiązań rozważanych zagadnień.
-
Measurements of differential cross sections in the backscattering region
PublikacjaW pracy przedstawiono przegląd technik eksperymentalnych umożliwiających detekcję elektronów rozproszonych w przedziale dużych kątów rozproszenia, ze szczególnym uwzględnieniem techniki lokalnego pola magnetycznego. Przedstawione zostały wyniki pomiarów i obliczeń teoretycznych różniczkowych przekrojów czynnych dla dużych kątów rozproszenia elektronów na atomach gazów szlachetnych i małych molekuł.
-
Second-order differential equations with deviating arguments
PublikacjaPodane zostały warunki dostateczne na istnienie kwazi-rozwiązań oraz na istnienie jedynego rozwiązania dla równań różniczkowych rzędu drugiego z warunkami brzegowymi i odchylonymi argumentami. Otrzymane wyniki zilustrowano przykładami i wykresami.
-
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.
-
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.
-
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.