Filtry
wszystkich: 1052
wybranych: 855
-
Katalog
Filtry wybranego katalogu
Wyniki wyszukiwania dla: LOGIC DIFFERENTIAL CALCULUS
-
Differential Scanning Calorimetry for Determining the Thermodynamic Properties of Selected Honeys
Publikacja -
Application of method of differential magnetometric system for detection of sunken objects
PublikacjaThis 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.
-
Accuracy and coverage of the modernized Polish Maritime differential GPS system
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...
-
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,...
-
General quasilinearization method for systems of differential equations with a singular matrix
PublikacjaStosują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.
-
Differential Quadrature Method for Dynamic Buckling of Graphene Sheet Coupled by a Viscoelastic Medium Using Neperian Frequency Based on Nonlocal Elasticity Theory
PublikacjaIn 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...
-
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
PublikacjaThe 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...
-
Crystallization kinetics of poly(ethylene adipate) investigated by differential scanning calorimetry
Publikacja -
The generalized quasilinearization for integro-differential equations of Volterra type on time scales
PublikacjaBadano 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ą.
-
Generalized Euler method for first order partial differential functional equations
PublikacjaW 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
PublikacjaPraca 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.
-
Quasilinearization methods for nonlinear differential-functional parabolic equations: unbounded case
PublikacjaRozważ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.
-
Generalized Euler method for nonlinear first order partial differential equations.
PublikacjaKlasyczne rozwiązania nieliniowych równań różniczkowych cząstkowych pierwszego rzędu są aproksymowane w tej pracy za pomocą rozwiązań quasiliniowych układów równań różnicowych. Podstawowa idea pracy jest oparta na teorii charakterystyk. Podane są warunki wystarczające dla zbieżności metody. Dowód stabilności schematu różnicowego wykorzystuje metodę porównawczą z nieliniowymi oszacowaniami typu Perrona dla danych funkcji.Podane...
-
Quadratic convergence of monotone iterations for differential equations with initial time difference
PublikacjaPodano 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
PublikacjaW 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...
-
Caratheodory solutions to hyperbolic functional differential systems with state dependent delays
PublikacjaMetodą bicharakterystyk i metodą nierówności całkowych dowodzi się istnienia uogólnionych rozwiązań układów równań różniczkowo-funkcyjnych cząstkowych z odchylonym argumentem zależnym od funkcji niewiadomej.
-
Implicit difference methods for nonlinear first order partial differential equations
PublikacjaW 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...
-
Numerical method of lines for first order partial differential functional equations
PublikacjaUdowodniono zbieżność numerycznej metody prostych dla równań różniczkowofunkcyjnych o pochodnych cząstkowych pierwszego rzędu i ich rozwiązań klasycznych określonych na piramidzie Haara. Zastosowano metodę nierówności różniczkowych.
-
Samoilenko`s method to differential algebraic systems with integral boundary conditions.
PublikacjaProblemy różniczkowo-algebraiczne z warunkami brzegowymi (typu całkowego) są przedmiotem badań. Zastosowano metodę Samoilenki w powiązaniu z metodą porównawczą. O prawych stronach zagadnienia zakładano, że spełniają warunek Lipschitza oraz promień spektralny odpowiedniej macierzy jest mniejszy od 1.Podane zostały warunki dostateczne na istnienie rozwiązania omawianego zagadnienia.
-
Existence of solutions of boundary value problems for differential equations with delayed arguments.
PublikacjaPodane zostały warunki dostateczne na istnienie i jednoznaczność rozwiązań problemów brzegowych dla równań różniczkowych z odchylonymi argumentami.Problem istnienia ekstremalnych rozwiązań również był przedmiotem badań. Podano konstrukcję monotonicznych iteracji i pokazano, że iteracje te są zbieżne do szukanego rozwiązania. Praca zawiera przykłady które ilustrują ogólną teorię.
-
Differential antitumor effects of vitamin D analogues on colorectal carcinoma in culture
Publikacja -
Large dynamic range high frequency fully differential CMOS transconductanceamplifier.
PublikacjaW pracy zaproponowano nową koncepcję układową w pełni różnicowego wzmacniacza transkonduktancyjnego CMOS o dużym zakresie dynamiki i szerokim pasmie częstotliwości. Przeprowadzone badania teoretyczne i symulacyjne potwierdziły małe zniekształcenia harmoniczne (THD), szerokie pasmo przenoszonych częstotliwości oraz duży zakres dynamiki dla sygnałów różnicowych.
-
Numerical approximation of first order partial differential equations withdeviated variables.
PublikacjaKlasyczne rozwiązania nieliniowego zagadnienia Cauchy´ego określone na piramidzie Haara są aproksymowane za pomocą rozwiązań układów quasiliniowych równań różnicowych. Stabilność schematu różnicowego jest wykazana metodą porównawczą z zastosowaniem nieliniowych oszacowań typu Perrona dla danych funkcji. Podano przykłady numeryczne.
-
Finite difference approximations for nonlinear first order partial differential equations
PublikacjaKlasyczne rozwiązania nieliniowych równań różniczkowych o pochodnych cząst-kowych pierwszego rzędu są aproksymowane za pomocą równań quasiliniowych uk-ładów równań różniczkowych. Dowód zbieżności wykorzystuje metody porównawcze
-
Implicit difference methods for quasilinear differential functional equations on the Haar pyramid
PublikacjaW 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.
-
Nonlinear multipoint boundary value problems for second order differential equtions
PublikacjaPraca 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.
-
Existence results to delay fractional differential equations with nonlinear boundary conditions
PublikacjaPraca dotyczy problemów brzegowych dla ułamkowych równań różniczkowych z opóźnionym argumentem. Podano warunki dostateczne na istnienie rozwiązań ekstremalnych takich zagadnień.
-
Generalized method of lines for nonlinear first order partial differential equations
PublikacjaKlasyczne 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...
-
Simulation and Experiment of a Compact Wideband 90^{circ} Differential Phase Shifter
PublikacjaArtykuł 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...
-
Implicit difference methods for infinite systems of hyperbolic functional differential equations
PublikacjaPraca 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...
-
Boundary value problems for first order differential equations of mixed type
PublikacjaPraca dotyczy równań różniczkowo-całkowych z nieliniowymi warunkami brzegowymi. Podano warunki dostateczne na istnienie jedynego rozwiązania oraz rozwiązań ekstremalnych takich problemów. Dyskutowane są nierówności różniczkowo-całkowe. Podano przykłady ilustrujące otrzymane wyniki teoretyczne.
-
Scenarios as a tool supporting decisions in urban energy policy: The analysis using fuzzy logic, multi-criteria analysis and GIS tools
Publikacja -
Self-testing of fully differential multistage circuits using common-mode excitation
PublikacjaPrzedmiotem artykułu jest, zorientowane na uszkodzenia, testowanie wielostopniowych układów w pełni różnicowych. Zaproponowano metodę testowania z zastosowaniem pobudzenia układu testowanego sygnałem wspólnym. Rozważane są dwa warianty metody. Pierwszy wariant wykorzystuje do pobudzenia wejście każdego różnicowego stopnia. Drugi wariant wykorzystuje dodatkowe wejście wzmacniacza operacyjnego i testuje wielostopniowy układ bez jego...
-
Programmable linearized CMOS OTA for fully differential continuous-time filter design
PublikacjaW artykule przedstawiono metodę linearyzacji wzmacniacza wykorzystującą sprzężenie w przód. Wzmacniacz składa się z par różnicowych i referencyjnego rezystora. W wyniku uzyskano skuteczną metodę linearyzacji charakterystyk przejściowych wzmacniacza. Programowalność wartości transkonduktancji wzmacniacza realizowana jest poprzez lustro prądowe. Wykonane symulacje komputerowe SPICE z użyciem modeli dla technologii 0.35um AMS CMOS...
-
Application of differential scanning calorimetry to study porous structure of hydrothermally modified silicas
Publikacja -
Nonlinear boundary value problems for second order differential equations with causal operators
PublikacjaW pracy rozważane są równania różniczkowe rzędu drugiego z nielinowymi warunkami brzegowymi. Prawa strona takich zagadnień zawiera operatory typu ''causal''. Podane zostały warunki dostateczne na istnienie rozwiązań tego typu problemów. Badano też nierówności różniczkowe związane z w/w równaniami różniczkowymi. Podano przykład ilustrujący otrzymane wyniki teoretyczne.
-
Generalized solutions of mixed problems for first-order partial functional differential equations
PublikacjaW pracy udowodniono twierdzenie o istnieniu rozwiązań i ich ciągłej zależności od warunków początkowo brzegowych. Do przekształcenia zagadnienia oryginalnego w układ równań całkowo funkcyjnych typu Volterry użyto metody bicharakterystyk. Istnienie rozwiązań udowodnione jest metodą kolejnych przybliżeń, przy użyciu twierdzeń o nierównościach całkowych. Rozwiązania klasyczne układów równań całkowo funkcyjnych prowadzą do rozwiązań...
-
Stability of difference problems generated by hyperbolic first order partial differential systems.
PublikacjaPraca dotyczy numerycznej aproksymacji rozwiązań zagadnień początkowych dla nieliniowych układów równań różniczkowych cząstkowych pierwszego rzędu. Podano konstrukcję układu quasiliniowego równań różnicowych typu Eulera. Wykazano, że przy naturalnych założeniach jest on stabilny. Dowód zbieżności wykorzystuje metody porównawcze.
-
Numerical method of lines for first order partial differential equations with deviated variables
PublikacjaPraca traktuje o przybliżaniu rozwiązań klasycznych równańróżniczkowo-funkcyjnych cząstkowych pierwszego rzędu rozwiązaniamiukładów quasiliniowych równań różnicowych. Nowe podejście dorozwiązywania równań nieliniowych zawdzięczamy metodziequasilinearyzacji dla zagadnień początkowo - brzegowych z odchylonymargumentem. Dla przyrostów pochodnych funkcji danej zakładamy nieliniowe oszacowanie typu Perrona. Załączone są wyniki eksperymentów...
-
Delay dependent estimates for waveform relaxation methods for neutral differential-functional systems
PublikacjaW pracy dyskutowane są oszacowania błędów z uwzględnieniem ich zależności od opóźnienia dla metod typu ''waveform relaxations'' stosowanych do rozwiązywania układów równań różniczkowo-funkcyjnych typu Volterry i równań różniczkowo-algebraicznych. Oszacowania te służą do oceny szybkości zbieżności tych metod a w niektórych przypadkach do wykazania, że rozwiązanie dokładne otrzymuje się po skończonej liczbie iteracji.
-
Stability analysis of two-step Runge-Kutta methods for delay differential equations
PublikacjaW pracy badana jest własność stabilności dwukrokowej metody Rungego-Kutty względem liniowego równania testowego o zespolonych współczynnikach. Udowodniono, że jeśli pewne warunki są spełnione to każda A-stabilna dwukrokowa metoda Rungego-Kutty zastosowana do równania różniczkowego z opóźnieniem jest P-stabilna.
-
Monotone method for second-order delayed differential equations with boundary value conditions.
PublikacjaIstnienie rozwiązań problemów brzegowych dla równań różniczkowych drugiego rzędu z opóźnionymi argumentami jest dyskutowane w tej pracy. Nierówności różniczkowe rzędu drugiego z odchylonymi argumentami są również przedmiotem badań. Uzyskane wyniki otrzymano stosując technikę iteracji monotonicznych przy założeniu, że prawa strona zagadnienia spełnia jednostronny warunek Lipschitza. Sformułowano też twierdzenia o istnieniu rozwiązań...
-
Differential Expression of HIF1A, EPAS1, and VEGF Genes in Benign and Malignant Ovarian Neoplasia
Publikacja -
Differential response of antioxidative enzymes in embryonic axes and cotyledons of germinating lupine seeds
Publikacja -
Numerical methods for nonlinear first-order partial differential equations with deviated variables
PublikacjaKlasyczne rozwiązania zagadnień początkowych dla nieliniowych równań cząstkowych z odchylonym argumentem aproksymowano za pomocą rozwiązań układów quasiliniowych równań różnicowych określonych na piramidzie Haara. Podano warunek dostateczny zbieżności metody. Stabilność schematu różnicowego wykazano metodą porównawczą. Przedstawiono metodę rozwiązywania nieliniowych równań różniczkowych cząstkowych z odchylonym argumentem bazującą...
-
Solving boundary value problems for delay differential equations by a fixed-point method
PublikacjaOgólne liniowe zagadnienie brzegowe dla nieliniowego układu równań różniczkowych z opóźnieniem jest redukowane do zagadnienia o punkcie stałym odpowiedniego operatora a następnie poszukiwany punkt stały tego operatora jest przybliżany funkcją kawałkami liniową zdefiniowaną poprzez jej wartości w węzłach. Przy odpowiednich założeniach istnienie tego punktu stałego jest równoważne istnieniu tzw. epsilon przybliżonych punktów stałych...
-
Diagnosis of fully differential circuits based on a fault dictionary implemented in the microcontroller systems
PublikacjaPrzedstawiono nową koncepcję testera wbudowanego bist przeznaczonego do diagnostyki w pełni różnicowych układów analogowych implementowanych w mikrosystemach mieszanych sygnałowo. w trakcie testowania mierzona jest amplituda i faza wyjściowego napięcia różnicowego. procedura detekcji i lokalizacji uszkodzeń bazuje na słowniku uszkodzeń przechowywanym w pamięci programu mikrokontrolera. korzystną cechą przestrzeni pomiarowej wyznaczonej...
-
Almost homoclinic solutions for a certain class of mixed type functional differential equations
PublikacjaW pracy opisano pewną metodę aproksymacyjną szukania rozwiązań prawie homoklinicznych dla równań różniczkowo funkcyjnych z opóźnionym i przyśpieszonym argumentem. Podano również przykłady zastosowań tej metody.
-
B26 Differential mitochondrial DNA levels in HD patients depending on the cell type
Publikacja