Search results for: mountain pass theorem
-
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...
-
Nonlinear Distribution Pattern of Hibernating Bats in Caves along an Elevational Gradient in Mountain (Carpathians, Southern Poland)
Publication -
The Modifications of Haemoglobin, Erythropoietin Values and Running Performance While Training at Mountain vs. Hilltop vs. Seaside
Publication -
Co-occurrence probability of water balance elements in a mountain catchment on the example of the upper Nysa Kłodzka River
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...
-
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...
-
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,...
-
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...
-
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...
-
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.
-
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)...
-
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...
-
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 -
Marek Czachor prof. dr hab.
People -
International Workshops on First-Order Theorem Proving
Conferences -
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...
-
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...
-
International Conference on Theorem Proving with Analytic Tableaux and Related Methods
Conferences -
Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)
Conferences -
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...
-
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),...
-
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,...
-
Justyna Zander dr inż.
People -
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.
-
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ą...
-
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,...
-
Magdalena Chmara dr inż.
People -
Comparative analysis of the theoretical models of ideal propulsor, ideal fluid brake, ideal screw propeller and ideal axial wind turbine
PublicationThe article presents a detailed discussion of four different fluid dynamics devices.These devices are presented with all relevant mathematical formulae regarding the forces, the power and the efficiency. It is demonstrated that application of the Betz theorem to axial wind turbines is not correct and it underestimates the maximujm achievable efficiency. This conclusion is supported by numerical calculations.
-
Synthesis of coupled lossy resonator filters.
PublicationA technique for fast synthesis of coupling matrix low-pass prototypes of generalized. Chebyshev bandpass filters with lossy resonators is presented in this letter. The coupling matrix is found by solving a nonlinear least squares problem based on zeros and poles of filter's transfer functions.
-
Positive solutions to boundary value problems for impulsive second-order differential equations
PublicationIn this paper, we discuss four-point boundary value problems for impulsive second-order differential equations. We apply the Krasnoselskii's fixed point theorem to obtain sufficient conditions under which the impulsive second-order differential equations have positive solutions. An example is added to illustrate theoretical results.
-
Sławomir Milewski prof. dr hab. inż.
PeopleSławomir Milewski, born in 1955 in Puck, Poland, graduated in 1979 in Chemistry from the Faculty of Chemistry, Gdańsk University of Technology (GUT). In 1984 was employed at the Department of Pharmaceutical Technology and Biochemistry. In 1985 he got his PhD, in 1994 became a DSc (habilitation) and in 2002 got the professorship in chemical sciences. Currently he is a full professor and Head of the Department of Pharmaceutical Technology...
-
The generalized quasilinearization for integro-differential equations of Volterra type on time scales
PublicationBadano 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ą.