Search
Search results for: MOUNTAIN PASS THEOREM
-
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...
-
Optical theorem helps understand thresholds of lasing in open semiconductor microcavities
Publication -
Optical Theorem Helps Understand Thresholds of Lasing in Microcavities With Active Regions
Publication -
Monitoring of myocardium state during off-pump coronary artery by-pass grafting
PublicationW pracy przedstawiono technikę pomiarową do oceny procesów zachodzących podczas operacji przesłowania aortalno-wieńcowego wymagających zatrzymania przepływu krwi. Zaproponiwany system i metoda pomiarowa przewidziane są do wykorzystania podczas opercacji na tzw. bijącym sercu. Pokazano przykłady rejestrowanych sygnałów przydatnych do oceny stanu mieśnia serca oraz dokonano oceny właściwości pomiarowych zastosowanych technik.
-
Damping Amplification Caused by a Mechanism that Trans-pass Trough its singular Position
PublicationW artykule przedstawiono badania dotyczące drgania hybrydowego systemu składającego się z mechanizmu i układu ciągłego. Pomimo ich obecności w wielu codziennych doświadczeniach to w większości przypadków technicznych obecność drgań jest niepożądana. Jednym z podstawowych problemów jest tu długie utrzymywanie się i konieczność tłumienia drgań o niskiej częstotliwości. W artykule badana jest metoda tłumienia oparta na niewspółmierności...
-
Probabilistic Approach to Precipitation-Runoff Relation in a Mountain Catchment: A Case Study of the Kłodzka Valley in Poland
PublicationOn the basis of daily precipitation and discharges recorded in 1974–2013 relations between precipitation and runoff in the Kłodzka Valley (KV) in south-western Poland were analyzed. The degree of synchronicity between them was determined using the bivariate Archimedean copulas. This study aims at identifying and then describe in a probabilistic way the precipitation and runoff relations in the area playing an important role...
-
An improved high-speed residue-to-binary converter based on the chinese remainder theorem
Publicationw pracy zaprezentowano nowy szybki konwerter z systemu resztowego do systemu binarnego. Projekcje ortogonalne wyznaczane są przy użyciu funkcji logicznych pięciu zmiennych. Suma projekcji obliczana jest z zastosowaniem drzewa Wallace'a. Wektor sumy i wektor przeniesienia są dzielone na segmenty tak aby liczba reprezentowana łącznie przez obydwa segmenty o młodszych wagach nie przekraczała zakresu systemu resztowego,M. Bity segmentów...
-
Co-occurrence probability of water balance elements in a mountain catchment on the example of the upper Nysa Kłodzka River
Publication -
The Modifications of Haemoglobin, Erythropoietin Values and Running Performance While Training at Mountain vs. Hilltop vs. Seaside
Publication -
Nonlinear Distribution Pattern of Hibernating Bats in Caves along an Elevational Gradient in Mountain (Carpathians, Southern Poland)
Publication -
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS
Journals -
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...
-
FPGA realization of the high-speed residue-to-binary converter based on the Chinese Remainder Theorem
Publication...
-
Forced vibrations in a dynamic system that is damped by a mechanism that trans-pass through its singular position
PublicationIn the paper, vibrations of a hybrid multibody-continuous system are investigated. For all the mechanical devices, effective damping methods are crucial in the design process. To obtain it, installation of viscous dampers or elasto-viscous elements is dominant. In the paper, an alternative method is investigated. It is based on modal disparity. To describe the method briefly, when structural damping is present in continuous systems,...
-
The Influence of the Depth of Cut in Single-Pass Grinding on the Microstructure and Properties of the C45 Steel Surface Layer
PublicationThe paper contains the results of a metallographic examination and nanoindentation test conducted for the medium carbon structural steel with low content of Mn, Si, Cu, Cr, and Ni after its grinding to a depth ranging from 2 μm to 20 μm, at constant cutting speed (peripheral speed) of vs = 25 ms−1 and constant feed rate of vft = 1 m/min. Applied grinding parameters did not cause the surface layer hardening, which could generate...
-
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...
-
Design of mm-wave MIC frequency multiplayers and mixers using simple microstrip high-pass filters
PublicationPrzedyskutowano podstawowe wymagania dotyczące impedancji elementów półprzewodnikowych wykorzystywanych w mieszaczach i powielaczach częstotliwości projektowanych dla zakresu fal milimetrowych. Określono typy układów filtrujących niezbędnych w różnych częściach układów, podkreślając znaczenie filtrów górnoprzepustowych. Mikropaskowy filtr ze zwartym brzegiem został wykonany i zaimplementowany w mieszaczu pracującym w zakresie 20-40GHz.
-
Microstrip line with short-circuited edge as a high-pass filter operating up to millimeter-wave frequencies
PublicationPrzedstawiono prosty planarny filtr górnoprzepustowy wykorzystujący linię mikropaskową ze zwartym brzegiem. Układy zaprojektowano w taki sposób, aby pasmo przepustowe rozpoczynało się w zakresie K lub Ka. Wykonano dwa prototypy: na podłożu w postaci warstwy dielektrycznej wykonanej z ceramiki alundowej oraz na podłożu organicznym o niskiej przenikalności elektrycznej. Wykazano dużą zgodność teoretycznych i pomierzonych charakterystyk...
-
Fifth-order low-pass CMOS OTA-C continuous-time filter with on-chip automatic tuning
PublicationW pracy przedstawiono budowę operacyjnego wzmacniacza transkonduktancyjnego (OTA) zasilanego napięciem stałym 2.8-4.5V wykonanego w technologii CMOS0.8um n-well. Wzmacniacz ten wykorzystano do budowy dolnoprzepustowego filtru czasu ciągłego typu OTA-C piątego rzędu. W układzie scalonym umieszczono także blok automatycznego dostrajania częstotliwości odcięcia filtru. Przedstawiono wyniki symulacji komputerowych (modele MOS BSIM3v3)...
-
Forced Vibrations in a Dynamic System That Is Damped By a Mechanism Which Trans-Pass Through Its Singular Position
PublicationThe paper focuses on forced vibrations of a mechanical system. The system is composed of two structurally different parts: multibody modelled and finite elements modelled. To improve its numerical behaviour, author-proposed technique of tuning of modal properties is proposed. To combine the two sub-models, constraint equations are introduced and dynamics equations are extended with appropriate Lagrange multipliers. A slightly modified...
-
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...
-
Derivation of the scaling laws used in geotechnical centrifuge modelling-application of dimensional analysis and Buckingham Π theorem
PublicationGeotechnical centrifuge modelling has been a world-wide used technology in physical tests. In this paper a derivation of scaling laws by dimensional analysis for the centrifugal modelling is presented. Basic principles of centrifuge modelling are described. Scaling laws for slow events like consolidation and fast events like dynamic loads are shown. The differences in scale factors for both processes are noticed. The aim of this...
-
Bandwidth-Controllable Third-Order Band Pass Filter Using Substrate Integrated Full- and Semi-Circular Cavities
PublicationThe article presents a novel circular substrate integrated waveguide (SIW) bandpass filter (BPF) with controllable bandwidth. The proposed BPF is configured using two microstrip feedlines, semi- circular SIW cavities, capacitive slots, and inductive vias. The circular cavity is bisected into two halves, with the two copies thereof being cascaded. Two bisected and cascaded structures obtained this way are subsequently connected...
-
Marek Czachor prof. dr hab.
People -
CHILDRENS GEOLOGY. 6, 7 AND 8 YEAR-OLD CHILDRENS UNDERSTANDING OF THE PHENOMENA OF VOLCANIC EXPLOSION, MOUNTAINS FORMATION AND ACCUMULATION OF SNOW ON MOUNTAIN PEAKS
Publication -
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...
-
Eco mont-Journal on Protected Mountain Areas Research
Journals -
Journal of Mountain Science
Journals -
Jarosław Przewłócki prof. dr hab. inż.
PeopleJarosław Przewłócki jest profesorem na Wydziale Architektury Politechniki Gdańskiej, zastępca kierownika Katedry Technicznych Podstaw Projektowania Architektonicznego. Podstawowym kierunkiem jego działalności naukowej są badania zjawisk losowych i zastosowanie metod probabilistycznych oraz teorii niezawodności w budownictwie, a w szczególności w geotechnice. Autor i współautor około stu publikacji naukowych, w tym szeregu książek...
-
International Workshops on First-Order Theorem Proving
Conferences -
An investigation on residual stress and fatigue life assessment of T-shape welded joints
PublicationThis paper aims to quantitatively evaluate the residual stress and fatigue life of T-type welded joints with a multi-pass weld in different direction. The main research objectives of the experimental test were to test the residual stress by changing direction along with multiple wielding passes and determine the fatigue life of the welded joints. The result shows that compressive residual stress increases in the sample gradually...
-
Corrigendum to “An investigation on residual stress and fatigue life assessment of T-shape welded joints” [Eng. Fail. Anal. 141 (2022) 106685]
PublicationThis paper aims to quantitatively evaluate the residual stress and fatigue life of T-type welded joints with a multi-pass weld in different direction. The main research objectives of the experimental test were to test the residual stress by changing direction along with multiple wielding passes and determine the fatigue life of the welded joints. The result shows that compressive residual stress increases in the sample gradually...
-
International Conference on Theorem Proving with Analytic Tableaux and Related Methods
Conferences -
Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)
Conferences -
Janusz Smulko prof. dr hab. inż.
PeopleHe was born on April 25, 1964 in Kolno. He graduated in 1989 with honors from the Faculty of Electronics at Gdańsk University of Technology, specialising in measuring instruments. In 1989 he took second place in the Red Rose competition for the best student in the Pomerania Region. Since the beginning of his career ha has been associated with Gdańsk University of Technology: research assistant (1989-1996), Assistant Professor (1996-2012),...
-
Functional delay fractional equations
PublicationIn this paper, we discuss functional delay fractional equations. A Banach fixed point theorem is applied to obtain the existence (uniqueness) theorem. We also discuss such problems when a delay argument has a form α(t) = αt, 0 < α < 1, by Rusing the method of successive approximations. Some existence results are also formulated in this case. An example illustrates the main result.
-
A note on simple bifurcation of equilibrium forms of an elastic rod on a deformable foundation
PublicationWe study bifurcation of equilibrium states of an elastic rod on a two-parameter Winkler foundation. In the article "Bifurcation of equilibrium forms of an elastic rod on a two-parameter Winkler foundation" [Nonlinear Anal., Real World Appl. 39 (2018) 451-463] the existence of simple bifurcation points was proved by the use of the Crandall-Rabinowitz theorem. In this paper we want to present an alternative proof of this fact based...
-
Fundamental properties of solutions to fractional-order Maxwell's equations
PublicationIn this paper, fundamental properties of solutions to fractional-order (FO) Maxwell's equations are analysed. As a starting point, FO Maxwell's equations are introduced in both time and frequency domains. Then, we introduce and prove the fundamental properties of electromagnetic field in FO electromagnetics, i.e. energy conservation, uniqueness of solutions, and reciprocity. Furthermore, the algorithm of the plane wave simulation...
-
Justyna Zander dr inż.
People -
The Maslov index and the spectral flow—revisited
PublicationWe give an elementary proof of a celebrated theorem of Cappell, Lee and Miller which relates the Maslov index of a pair of paths of Lagrangian subspaces to the spectral flow of an associated path of self-adjoint first-order operators. We particularly pay attention to the continuity of the latter path of operators, where we consider the gap-metric on the set of all closed operators on a Hilbert space. Finally, we obtain from Cappell,...
-
Conditions of spatiotemporal variability of the thickness of the ice cover on lakes in the Tatra Mountains
Publication -
Limits Theorems for Random Walks on Homeo(S1)
PublicationThe central limit theorem and law of the iterated logarithm for Markov chains corresponding to random walks on the space Homeo(S1) of circle homeomorphisms for centered Lipschitz functions and every starting point are proved.
-
Planar Microwave Bragg Reflector Resonant Dielectric Sensor
PublicationIn this paper, a periodic structure is used to design a microwave Bragg reflector with the help of hexagonal lattice, which provides a 5 GHz wide stopband between the low-pass band with cut-off frequency 2.6 GHz and the bandpass response with start and stop frequency 7.8 GHz and 10.5 GHz, respectively. A defect in lattice allows passing a narrowband signal at 6 GHz which is found, from the dispersion relation, to be in the region...
-
ENERGY ANALYSIS OF THE PROPULSION SHAFT FATIGUE PROCESS IN A ROTATING MECHANICAL SYSTEM PART III DIMENSIONAL ANALYSIS
PublicationThis article presents the third and last part of the problem of diagnosing the fatigue of marine propulsion shafts in terms of energy with the use of the action function, undertaken by the authors. Even the most perfect physical models of real objects, observed under laboratory conditions and developed based on the results of their research, cannot be useful in diagnostics without properly transferring the obtained results to the...
-
Fractional equations of Volterra type involving a Riemann Liouville derivative
PublicationIn this paper, we discuss the existence of solutions of fractional equations of Volterra type with the Riemann Liouville derivative. Existence results are obtained by using a Banach fixed point theorem with weighted norms and by a monotone iterative method too. An example illustrates the results.
-
Morse cohomology in a Hilbert space via the Conley index
PublicationThe main theorem of this paper states that Morse cohomology groups in a Hilbert space are isomorphic to the cohomological Conley index. It is also shown that calculating the cohomological Conley index does not require finite-dimensional approximations of the vector field. Further directions are discussed.
-
Partial hyperbolicity and central shadowing
PublicationWe study shadowing property for a partially hyperbolic diffeomor- phism f. It is proved that if f is dynamically coherent then any pseudotrajec- tory can be shadowed by a pseudotrajectory with “jumps” along the central foliation. The proof is based on the Tikhonov-Shauder fixed point theorem.
-
Analysis of the radiation dose in UV-disinfection flow reactors.
PublicationTheoretical considerations devoted to the variation of UV radiation doses in flow disinfection reactors are presented. The minimal time required by the fluid to pass the reactor was determined and combined with the radiation intensity. The active zones of the reactor were determined.
-
Snow Cover Studies: a Review on the Intensity of Human Pressure
PublicationSnow cover should be treated as a highly dynamic medium. A variety of physical and chemical processes interact to alter its chemical composition and affect the metamorphism of its individual crystals and layers; this, in turn, has a direct influence on their mutual adhesion, and ultimately on the stability of the entire snow cover. The literature data here reported provide basic information on the forms of solid precipitation,...
-
Reminiscencje z 18. Międzynarodowego Seminarium Obróbki Drewna w Vancouver cz.III. Największy na świecie producent gontów
PublicationPrzedstawiono kolejną część sprawozdania z pobytu na 18. International Wood Machining Seminar w Vancouver w Kanadzie. Ogólnie scharakteryzowano dwa zakłady, Small Teal Jones, mały tartak jak na warunki kanadyjskie, przerabiający 90000 m3 surowca oraz fabrykę Mitsui Home Inc. wytwarzającą panele ścian domów drewnianych, głównie na potrzeby rynku japońskiego. Podczas wycieczki poseminaryjnej naocznie zapoznano się z klęską ekologiczną...