Search
Search results for: chinskie twierdzenie o resztach
-
High-speed residue-to-binary converter based on the Chinese RemainderTheorem.
PublicationPrzedstawiono szybki konwerter z systemu resztowego do systemu binarnego dla modułów 5-bitowych oparty o chińskie twierdzenie o resztach. Projekcje ortogonalne są generowane przy użyciu odwzorowania realizowanego przy zastosowaniu funkcji logicznych pięciu zmiennych. Wartość wyjściowa jest obliczana przy użyciu drzewaWallace'a z segmentacją wektorów wyjściowych i redukcją do 2M, M zakres liczbowy systemu oraz efektywny finalny...
-
Effective residue-to-binary converter with the Chinese Remainder Theorem
PublicationKonwersja liczb z systemu resztowego do systemu binarnego jest podstawową operacją we wszystkich układach cyfrowego przetwarzania sygnałów, które wykorzystują system resztowy. W niniejszej pracy zaproponowano nową metodę konwersji opartą o chińskie twierdzenie o resztach dla modułów 5- i 6-bitowych. Specyficzną cechą nowej metody jest sposób obliczania tzw. współczynnika nadmiaru w formule chińskiego twierdzenia o resztach, co...
-
Twierdzenie - rysunek
Publication -
Grafo-mania, czyli rzecz o grafach i algorytmach. Twierdzenie o czterech barwach
PublicationPrzedstawiono istotę i historię twierdzenia o 4 barwach.
-
Fast rns scaling of signed numbers based on the chinese remainder theorem
PublicationPrzedstawiono architekturę szybkiego skalera resztowego dla liczb ze znakiem dla modułów 5-bitowych opartego na chińskim twierdzeniu o resztach. W architekturze zastosowano wyznaczanie projekcji ortogonalnych przy użyciu funkcji logicznych 5 zmiennych, sumator kodulo m/k oraz wejściowy konwerter do systemu resztowego. Operacja modulo m/k jest wykonywana przy zastosowaniu drzewa 4-operandowych sumatorów modulo 2m/k i końcowego...
-
No-local-broadcasting theorem for multipartite quantum correlations
PublicationWe prove that the correlations present in a multipartite quantum state have an operational quantum character even if the state is unentangled, as long as it does not simply encode a multipartite classical probability distribution. Said quantumness is revealed by the new task of local broadcasting, i.e., of locally sharing preestablished correlations, which is feasible if and only if correlations are stricly classical. Our operational...
-
RNS reverse converter based on the new chinese remainder theorem.
PublicationPrzeanalizowano złożoność układu cyfrowego opartego na nowej odmianie chińskiego twierdzenia o resztach.
-
FPGA implementation of reverse residue conversion based on the new Chinese Remainder Theorem II- Part I
PublicationW pracy opisano implementację algorytmu konwersji z systemu resztowego do systemu binarnego opartą na nowej formie chińskiego twierdzenia o resztach określanego jako CRT II.Nowa forma CRT nie wymaga operacji modulo M , gdzie M jest zakresem liczbowym systemu resztowego, jednak wymagana jest pewna liczba mnożników. W środowisku FPGA jest zwykle dostępne są mnożniki, stąd mogą być one wykorzystane do realizacji konwertera. Głównym...
-
FPGA implementation of reverse residue conversion based on the new Chinese Remainder Theorem II- Part II,- Experimantal results
PublicationW pracy opisano realizację sprzętową konwertera z systemu resztowego do systemu binarnego. Konwerter jest oparty na nowej formie chińskiego twierdzenia o resztach CRT II. Teoretyczne aspekty takiej konwersji przedstawiono w części I. Implementację konwertera wykonano w środowisku Xilinx FPGA. Zaprezentowano ogólną architekturę konwertera, a także opisano realizację wybranych bloków. Podano ilość koniecznych zasobów sprzętowych...
-
FPGA realization of the high-speed residue-to-binary converter based on chinese remainder theorem
PublicationW pracy przedstawiono architekturę, realizację FPGA oraz symulację numeryczną na poziomie bitowym szybkiego konwertera z systemu resztowego do systemu binarnego dla modułów 5-bitowych opartego na chińskim twierdzeniu o resztach. Algorytm konwertera obejmuje obliczanie projekcji ortogonalnych poprzez odczyt pamięci oraz sumowanie modulo M realizowane dwustopniowo, pierwszy stopień oparty o sumatory CSA umożliwia redukcję do zakresu...
-
Wojciech Jędruch dr hab. inż.
People -
Numerical approximations of parabolic functional differential equations on unbounded domains
PublicationSkonstruowano 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.
-
Caratheodory solutions to quasi-linear hyperbolic systems of partial differential equations with state dependent delays
PublicationW pracy udowodniono twierdzenie o istnieniu i jednoznaczności rozwiązań oraz o ich ciągłej zależności od warunków początkowych dla układów równań różniczkowych cząstkowych z opóźnionym argumentem, zależnym od funkcji niewiadomej. Posłużono się metodą bicharakterystyk a istnienia dowiedziono stosując twierdzenie Banacha o punkcie stałym.
-
Box-splines orthogonal projections.
PublicationUogólniono twierdzenie Sweldensa i Piessensa na pudełkowe funkcje gięte. Podano formułę asymptotyczną dla funkcji o ograniczonej wariacji.
-
Ergodic type theorems for Gaussian systemstwierdzenia typu ergodycznego dla układów gaussowskich
PublicationUdowodniono twierdzenie typu ergodycznego dla zmiennych losowych będących złożeniem zmiennych losowych gaussowskich z funkcjami z odpowiedniej klasy.
-
Periodicity of a sequence of local fixed point indices of iterations
PublicationPraca uogólnia klasyczne twierdzenie Shuba i Sullivana o periodyczności ciągu indeksów punktu stałego iteracji odwzorowań gładkich na szerszą klasę przekształeń.
-
A new approach to numerical solution of fixed-point problems and its application to delay differential equations
PublicationW pracy rozpatruje się pewne aproksymacje punktu stałego ciągłego operatora A odwzorowującego przestrzeń metryczną w siebie. Wspomniany punkt stały przybliża się tzw. epsilon przybliżonym punktem stałym z przestrzeni skończenie wymiarowej. Udowodnione zostało twierdzenie dające warunki konieczne i dostateczne istnienia punktu stałego w ogólnej przestrzeni metrycznej. Warunki te wyrażone są w terminach epsilon przybliżonego punktu...
-
States of light via reducible quantization.
PublicationRelatywistyczne sformułowanie kwantowania pola opartego o redukowalne reprezentacje kanonicznych związków komutacyjnych. Konstrukcja stanów fokowskich i koherentnych. Analiza automatycznej regularyzacji rozbieżności w podczerwieni. Twierdzenie o granicy termodynamicznej.
-
Chromogenic Azocrown Ethers with Peripheral Alkyl, Alkoxy, Hydroxyl or Di-methylamino Group.
PublicationOtrzymano nowe pochodne azobenzenowych eterów koronowych. Są to związki z grupą alkilową, alkoksylową, hydroksylową lub dimetyloaminową w reszcie (resztach) aromatycznej jako boczny podstawnik. Badano ich właściwości jako jonoforów w membranowych elektrodach jonoselektywnych oraz właściwości chromo-jonoforowe w roztworach. Badano kompleksowanie jonów metali, w acetonitrylu,przez te korony, metodą spektrofotometryczną. Badano...
-
Positive solutions of one-dimensional p-Laplacian boundary value problems for fourth-order differential equations with deviating arguments
PublicationPraca dotyczy istnienia dodatnich rozwiązań dla równań różniczkowych rzędu czwartego z warunkami brzegowymi z odchylonymi argumentami. Stosując twierdzenie o punkcie stałym dla stożków podano warunki dostateczne na istnienia takich rozwiązań.
-
Conley type index applied to Hamiltonian inclusions
PublicationPodano dowód istnienia nietrywialnych rozwiązań okresowych dla inkluzji Hamiltonowskich, z potencjałem lokalnie Lipschitzowskim, okresowym, uogólniając klasyczne twierdzenie Ammana- Zehndera. Użyto techniki z teorii indeksu Conley'a dla wielowartościowych potoków w przestrzeni Hilberta.
-
Positive solutions for three-point one-dimensional p-Laplacian boundary value problems with advanced arguments [online]
PublicationPraca dotyczy problemów istnienia dodatnich rozwiązań dla trzy-punktowych zagadnień brzegowych z wyprzedzonymi argumentami. Zastosowano twierdzenie Avery-Petersona o punkcie stałym aby uzyskać warunki dostateczne na istnienie conajmniej trzech dodatnich rozwiązań.
-
Synthesis and properties of azobenzocrown ethers with pi-electron donor, or pi-electron donor and pi-electron acceptor group(s) on benzene rings
PublicationZsyntezowano nowe etery azobenzokoronowe o różnej wielkości makropierścienia i z różnymi podstawnikami w resztach benzenowych. Korony te posiadają w pierścieniach benzenowych, w pozycji para do grupy azo grupy funkcyjne o charakterze π-elektronodonorowym lub π-elektronoakceptorowym. Zbadano zdolność kompleksowania jonów metali przez te korony, w roztworze, metodą spektrofotometrii UV-vis. Ustalono strukturę 19-członowego eteru...
-
Istnienie i regularność heteroklinicznych rozwiązań równania Allena-Cahna z anizotropowym operatorem eliptycznym
PublicationCelem rozprawy jest udowodnienie dwóch twierdzeń dotyczących równań różniczkowych cząstkowych typu eliptycznego. Pierwsze mówi o regularności słabych rozwiązań pewnej klasy równań z operatorem eliptycznym, który pochodzi od wypukłej i anizotropowej G-funkcji spełniającej odpowiednie warunki wzrostu. To twierdzenie jest pewnym uogólnieniem znanych wyników z izotropowymi warunkami wzrostu na przypadek operatorów anizotropowych. Drugie...
-
On quasi-compact Markov nets
PublicationAnalizuje się strukturę ergodyczną netów Markowa. W szczególności podano charakteryzację ściśle ergodycznych minimalnych (L-R) netów markowskich na zwartej przestrzeni fazowej. Uzyskano warunki równoważne quasi-zwartości (L-R) netów Markowa, rozszerzając tzw. ergodyczne twierdzenie Lotz'a.
-
RNS reverse high-speed converter with quasi-regular structure based on the Chinese Remainder Theorem
PublicationPrzedstawiono dwie nowe architektury szybkiego konwertera z systemuresztowego do systemu binarnego oparte o chińskie tw. o resztach. Zastosowano nowe struktury 4-operandowych sumatorów modulo 2M. Pierwsza ze struktur oparta jest o wstępne sumowanie najstarszych bitów wektorów sumy i przeniesienia na wyjściu sumatora CSA, natomiast druga o bezpośrednie wykrywanie przekroczenia 2M. Konwerter wykorzystujący drugą ze struktur charakteryzuje...
-
Generalized solution of mixed problems for first order partial differential equations with state dependent delays
PublicationW pracy zostało udowodnione twierdzenie o istnieniu i jednoznaczności rozwiązań dla zagadnień początkowo-brzegowych z cząstkowym równaniem różniczkowo-funkcyjnym z opóźnionym argumentem zależnym od funkcji niewiadomej. Użyto metody bicharakterystyk. Jednoznaczność rozwiązań wykazano metodą porównawczą, istnienie - metodą ciągów przybliżeń.
-
Existence of positive solutions to second order four-point impulsive differential problems with deviating arguments [online]
PublicationW pracy dyskutowane są problemy brzegowe dla równań różniczkowych rzędu drugiego z impulsami i z odchylonymi argumentami. Badano przypadki dla argumentów opóźnionych i wyprzedzonych. Podano warunki które gwarantują, że omawiane problemy mają rozwiązania dodatnie. Zastosowano odpowiednie twierdzenie o punkcie stałym.
-
Generalized solutions of first order partial differential functional inequalities
PublicationW 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.
-
Bifurkacje z łamaniem symetrii w zagadnieniu różniczkowo-funkcyjnym opisującym nieliniowe deformacje biologicznego klastra: metody wariacyjne
PublicationW pracy doktorskiej badane są matematyczne własności obiektu o elastycznym, wolnym brzegu, który został nazwany biologicznym klastrem. Brzeg klastra umocniony jest przy pomocy elastycznych połączeń z jądrem i jest wypełniony sprężonym gazem. Praca składa się z trzech rozdziałów. Pierwszy z nich ma charakter wprowadzający. Przypomniane są w nim pojęcia i fakty z zakresu analizy funkcjonalnej. Wprowadzone są definicje, twierdzenia...
-
Degree of T-equivariant maps in R^n
PublicationW pracy przedstawiona jest konstrukcja niezmienniczego stopnia topologicznego dla odwzorowań z symetriami działających na przestrzeni euklidesowej z inwolucją. Udowodnione jest twierdzenie, że dwa dopuszczalne i gradientowe odwzorowania niezmiennicze są niezmienniczo homotopijne wtedy i tylko wtedy, gdy są one homotopijne niezmienniczo i gradientowo.
-
Positive solutions for fourth-order differential equations with deviating arguments and integral boundary conditions
PublicationBadane są problemy brzegowe dla równań różniczkowych rzędu czwartego z odchylonymi argumentami i z warunkami brzegowymi typu całkowego. Sformułowano twierdzenie dotyczące istnienia dodatnich rozwiązań takich problemów. W dowodzie korzystano z tw. Avery-Petersona o punktach stałych dla stożków. Podano przykład ilustrujący otrzymane wyniki.
-
Implicit difference functional inequalities and applications
PublicationKlasyczne rozwiązania problemów początkowych przybliżane są rozwiązaniami uwikłanych metod różnicowych. Wykazana została zbieżność i stabilność uwikłanych schematów. Przy założeniu, że funkcje dane spełniają nieliniowe oszacowanie typu Perrona względem argumentu funkcyjnego, udowodniono stabilność metody uwikłanej, wykorzystując twierdzenie porównawcze dla funkcji spełniających uwikłane nierówności różnicowe typu Volterry.
-
Some remarks on the Euler ring U(G)
PublicationNiech G będzie zwartą grupą Liego i niech U(G) oznacza pierściń Eulera G skonstruoawany przez tom Diecka w [5,6]. Główny wynikpracy (Twierdzenie 4.1) opisuje homomorfizm pierścienia U(SO(3)) w pierścień U(SO(2))indukowany przez włożenie grupy SO(2) w grupę SO(3).
-
Dynamic inequalities and equations of Volterra type on time scales
PublicationPraca dotyczy całkowo-różniczkowych równań dynamicznych typu Volterry z warunkami początkowymi. Stosując twierdzenie Banacha o punkcie stałym pokazano istnienie jedynego rozwiązania liniowego równania dynamicznego. Stosując metodę iteracji monotonicznych pokazano istnienie rozwiązań ekstremalnych dla problemów nieliniowych. Badano też nierówności dynamiczne. Praca zawiera również uwagi dotyczące zagadnień różniczkowych i różnicowych.
-
Multiple solutions of boundary-value problems for fourth-order differential equations with deviating arguments
PublicationPraca dotyczy równań różniczkowych rzędu czwartego z warunkami brzegowymi i odchylonymi argumentami. Podano wystarczające warunki, dla których problemy dotyczące takich równań mają dodatnie rozwiązania. W pracy rozważa się przypadki kiedy argumenty odchylone są typu opóźnionego lub wyprzedzonego. W celu zapewnienia istnienia przynajmniej trzech dodatnich rozwiązań wykorzystano twierdzenie Avery-Petersona.
-
Generalized solutions of mixed problems for first-order partial functional differential equations
PublicationW 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ń...
-
Jak gładkość generuje punkty periodyczne
PublicationJednym z ważnych problemów teorii układów dynamicznych i topologii jest pytanie, jaka jest najmniejsza liczba punktów stałych lub periodycznych w danej klasie odwzorowań. Na przykład klasyczne twierdzenie Brouwera stwierdza, że każde ciągłe odwzorowanie kuli domkniętej w siebie ma przynajmniej jeden punkt stały. Szczególnie interesujące staje się powyższe pytanie w odniesieniu do klasy homotopii danego odwzorowania f. Artykuł poświęcony...
-
Some methods of diagnosis of analog circuit using mixed signal test bus IEEE 1149.4
PublicationW artykule przedstawiono wybrane metody testowania i diagnostyki analogowych układów elektronicznych zamontowanych na pakiecie pomiędzy układami scalonymi wyposażonymi w magistralę IEEE 1149.4. Prezentowane metody dobrano pod kątem stopnia skomplikowania układów testowanych oraz specyficznych właściwości metrologicznych magistrali, które ograniczają możliwości pomiarowe i aplikacyjność metod. Rozważono trzy typy układów testowanych:...
-
Two almost homoclinic solutions for second-order perturbed Hamiltonian systems
PublicationW niniejszym artykule badamy problem istnienia rozwiązań prawie homoklinicznych (rozwiązań znikających w nieskończonościach) dla układów Hamiltonowskich drugiego rzędu (układów Newtonowskich) z zaburzeniem. Nasz wynik jest uogólnieniem twierdzenia Rabinowitza-Tanaki o istnieniu rozwiązania homoklinicznego dla układów bez zaburzenia [Math. Z. 206 (1991) 473-499]. O zaburzeniu zakładamy, że jest dostatecznie małe w przestrzeni funkcji...
-
Conditions for measurement, analog-to-digital conversion and frequency analysis of irregularities of profile surface
PublicationPrzedstawiono uwarunkowania pomiaru, przetwarzania analogowo-cyfrowego i analizy częstotliwościowej nierówności powierzchni toczonych dla celów rozpoznawania ich głównych składowych. Przedstawiono ograniczenia w pomiarze igłą, która odwzorowuje nierówności poprzeczne. Podano zależności parametrów pomiaru cyfrowego nierówności warunkujące zakresy ich rozpatrywania. Dla wartości przedziału próbkowania, dla którego nie jest spełnione...
-
Numerical conditioning of delta-domain Lyapunov and Riccati equations
PublicationW pracy rozważono problem uwarunkowania dyskretno czasowych równań Lapunowa oraz równań Riccatiego - to znaczy problem wrażliwości rozwiązań takich równań na odchyłki ich parametrów od nominalnych wartości. Zdefiniowano odpowiedni "różniczkowy" wskaźnik uwarunkowania oraz podano efektywną metodę szacowania jego wartości. Udowodniono teoretycznie - a także przekonująco zilustrowano na drodze numerycznej - twierdzenie głoszące, iż...
-
Problem niezależności rankingu dobrobytu od rozkładu odniesienia
PublicationW pracy analizowano problem niezależności porównań dobrobytu heterogenicznych gospodarstw domowych od typu gospodarstwa odniesienia. W takich porównaniach korzysta się ze skal ekwiwalentności, w których jednoosobowe, bezdzietne gospodarstwo domowe jest zwykle przyjmowane jako gospodarstwo odniesienia. W pracy udowodniono twierdzenie, które ustala wpływ wyboru gospodarstwa odniesienia na ranking rozkładów dochodów ekwiwalentnych,...
-
Kierunki rozwoju inteligentnych systemów produkcyjnych
PublicationNiniejszy rozdział jest konsekwentnym rozwinieciem wybranych wniosków pracy [8]. W szczególności nadal aktualne pozostaje twierdzenie, że projektowanie Elastycznych Systemów Sterowania Produkcją nalezy do kręgu podstawowych kierunków prac badawczych o istotnym znaczeniu w nauce o inzynierii i zarządzania produkcją. Zatem po charakteryzowaniu trendów interpretacji elastyczności systemów produkcyjnych przystąpiono do analizy jej...
-
Selektywne chłodzenie mózgu noworodka po Niedotlenieniu okołoporodowym. Część 1. Medyczne fakty oraz przegląd dostępnych rozwiązań systemów selektywnego chłodzenia mózgu
PublicationMózg ludzki jest organem delikatnym, dlatego tak ważne jest zadbanie o to, aby już w momencie przyjścia na świat noworodek miał zapewnioną, w razie konieczności możliwość minimalizacji uszkodzeń neurologicznych, spowodowanych niedotlenieniem okołoporodowym. Niedotlenienie to w dramatyczny sposób zaburza homeostazę mózgu, który jako organ najbardziej energochłonny potrzebuje najwięcej tlenu. Zapoczątkowane brakiem tlenu procesy...
-
Technika cyfrowego przetwarzania sygnałów
PublicationPodręcznik jest przeznaczony dla studentów kierunków Elektronika i telekomunikacja, Inżynieria biomedyczna oraz Automatyka i robotyka. Obejmuje on zagadnienia z zakresu cyfrowego przetwarzania sygnałów, przerabiane na takich przedmiotach jak Przetwarzanie sygnałów, Filtry cyfrowe, Zastosowania procesorów sygnałowych. Ma stanowić pomoc przy prowadzeniu zajęć z ćwiczeń tablicowych, zajęć laboratoryjnych czy projektu z zastosowań...
-
Multiple bifurcation in the solution set of the von Karman equations with S^{1}-symmetries
PublicationRozważmy cienką, sprężystą, kołową płytę, położoną na sprężystym podłożu, poddawaną działaniu sił ściskających koncentrycznie wzdłuż jej brzegu. Formy równowagi takiej płyty są rozwiązaniami równań von Karmana z dwoma parametrami określonych na dysku w R^{2}. Są to równania różniczkowe cząstkowe rzędu czwartego. Można je zapisać jako równanie operatorowe F(x,p)=0 w przestrzeniach Höldera, gdzie zmienna x odpowiada formom równowagi...
-
Podstawy pól i fal elektromagnetycznych
PublicationW pracy przedstawiono w sposób systematyczny podstawowe zagadnienia elektromagnetyzmu. Materiał zawarto w dwunastu rozdziałach, w których zagadnienia teoretyczne, o ile to było możliwe, ilustrowano przykładami przybliżającymi Czytelnikowi ich sens fizyczny. Początkowe rozdziały poświęcono narzędziom matematycznym stosowanym w analizie zagadnień polowych oraz przedstawieniu koncepcji pól: elektrycznego i magnetycznego. Następnie...
-
Możliwości formalizacji procesów zarządzania przedsięwzięciami z wykorzystaniem teorii zbiorów rozmytych.
PublicationCzęsto w literaturze pojawia się twierdzenie, że zarządzanie przedsięwzięciami jest bardziej sztuką niż planowaną metodą postępowania. Takie stwierdzenie wynika z faktu, że w trakcie prac projektowych podejmowane przez kierownika zespołu decyzje są wynikiem trudnych do planowania procesów, jak np. zmiana składu zespołu (nasz najlepszy programista może zostać ''podkupiony'' przez konkurencyjną firmę). Z tego też powodu wielu...
-
Cassirer E. Język i mit. Przyczynek do zagadnienia imion bogów.Przekład, wstęp i opracowanie: Przemysław Parszutowicz.. Wydaw. Marek Drzewiecki,2021
PublicationRozprawa Cassirera pochodzi z najważniejszego bodaj okresu jego twórczości – okresu współpracy z Biblioteką Warburga – i mimo niewielkich rozmiarów jest w dużej mierze reprezentatywna, tak gdy idzie o wykorzystywaną przez niego metodę, jak i o główny obszar jego zainteresowań badawczych. Stanowi bezpośrednie nawiązanie do rozprawy Hermanna Usenera Götternamen. Versuch einer Lehre von der religiösen Begriffsbildung. Pod względem...