Filtry
wszystkich: 2131
-
Katalog
- Publikacje 1701 wyników po odfiltrowaniu
- Czasopisma 7 wyników po odfiltrowaniu
- Konferencje 3 wyników po odfiltrowaniu
- Osoby 19 wyników po odfiltrowaniu
- Projekty 1 wyników po odfiltrowaniu
- Kursy Online 17 wyników po odfiltrowaniu
- Wydarzenia 1 wyników po odfiltrowaniu
- Dane Badawcze 382 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: FIXED POINT THEOREM
-
Critical Remarks on Landauer’s principle of erasure– dissipation: Including notes on Maxwell demons and Szilard engines
PublikacjaWe briefly address Landauer’s Principle and some related issues in thermal demons. We show that an error-free Turing computer works in the zero-entropy limit, which proves Landauer’s derivation incorrect. To have a physical logic gate, memory or information-engine, a few essential components necessary for the operation of these devices are often neglected, such as various aspects of control, damping and the fluctuation–dissipation...
-
Attractors of dissipative homeomorphisms of the infinite surface homeomorphic to a punctured sphere
PublikacjaA class of dissipative orientation preserving homeomorphisms of the infinite annulus,pairs of pants, or generally any infinite surface homeomorphic to a punctured sphere isconsidered. We prove that in some isotopy classes the local behavior of such homeomor-phisms at a fixed point, namely the existence of so-called inverse saddle, impacts thetopology of the attractor — it cannot be arcwise connected
-
The cohomological span of LS-Conley index
PublikacjaIn this paper we introduce a new homotopy invariant – the cohomological span of LS-Conley index. We prove the theorems on the existence of critical points for a class of strongly indefinite functionals with the gradient of the form Lx+K(x), where L is bounded linear and K is completely continuous. We give examples of Hamiltonian systems for which our methods give better results than the Morse inequalities. We also give a formula...
-
Speed Observer Structure of Induction Machine Based on Sliding Super-Twisting and Backstepping Techniques
PublikacjaThis paper presents an analysis of the two speed observer structures which are based on the backstepping and sliding super twisting approach. The observer stabilizing functions result from the Lyapunov theorem. To obtain the observer tuning gains the observer structure is linearized near the equilibrium point. The rotor angular speed is obtained from non-adaptive dependence. In the sensorless control system structure the classical...
-
The Global Boundary Stratotype Section and Point (GSSP) for the base of the Coniacian Stage (Salzgitter-Salder, Germany) and its auxiliary sections (Słupia Nadbrzeżna, central Poland; Střeleč, Czech Republic; and El Rosario, NE Mexico)
Publikacja -
International Conference on Theorem Proving with Analytic Tableaux and Related Methods
Konferencje -
Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)
Konferencje -
Existence and uniqueness of solutions for single-population McKendrick-von Foerster models with renewal
PublikacjaWe study a McKendrick-von Foerster type equation with renewal. This model is represented by a single equation which describes one species which produces young individuals. The renewal condition is linear but takes into account some history of the population. This model addresses nonlocal interactions between individuals structured by age. The vast majority of size-structured models are also treatable. Our model generalizes a number...
-
Rainscreen panels deformations mods
PublikacjaIn rainscreen panels designing simplified calculation models are used. For plate computation simply supported panels or panels with fixed edges are commonly used. Such approximations are subjected to large errors that lead to inefficient rainscreen panels design. In order to develop a method for determining the optimal geometry of the rainscreen panels, that would take into consideration the real stiffness of both continuous and...
-
Piotr Chrzan prof. dr hab. inż.
OsobyUrodził się w 1954 r. w Sopocie. Jest absolwentem Wydziału Elektroniki Politechniki Gdańskiej (1978). W 1980 r. podjął pracę na Wydziale Elektrycznym w zespole prof. Jerzego Jaczewskiego. W 1988 r. uzyskał stopień naukowy doktora nauk technicznych, habilitację w 1999 r., w zakresie elektrotechniki: energoelektroniki i automatyki napędu, a tytuł profesora w 2017 r. Był promotorem 6 obronionych prac doktorskich (w tym 3 z wyróżnieniem)....
-
A note on simple bifurcation of equilibrium forms of an elastic rod on a deformable foundation
PublikacjaWe 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...
-
Constructive Controllability for Incompressible Vector Fields
PublikacjaWe give a constructive proof of a global controllability result for an autonomous system of ODEs guided by bounded locally Lipschitz and divergence free (i.e. incompressible) vector field, when the phase space is the whole Euclidean space and the vector field satisfies so-called vanishing mean drift condition. For the case when the ODE is defined over some smooth compact connected Riemannian manifold, we significantly strengthen...
-
Minimal number of periodic points of smooth boundary-preserving self-maps of simply-connected manifolds
PublikacjaLet M be a smooth compact and simply-connected manifold with simply-connected boundary ∂M, r be a fixed odd natural number. We consider f, a C1 self-map of M, preserving ∂M . Under the assumption that the dimension of M is at least 4, we define an invariant Dr(f;M,∂M) that is equal to the minimal number of r-periodic points for all maps preserving ∂M and C1-homotopic to f. As an application, we give necessary and sufficient...
-
An algorithmic approach to estimating the minimal number of periodic points for smooth self-maps of simply-connected manifolds
PublikacjaFor a given self-map f of M, a closed smooth connected and simply-connected manifold of dimension m 4, we provide an algorithm for estimating the values of the topological invariant D^m_r [f], which equals the minimal number of r-periodic points in the smooth homotopy class of f. Our results are based on the combinatorial scheme for computing D^m_r [f] introduced by G. Graff and J. Jezierski [J. Fixed Point Theory Appl. 13 (2013),...
-
The saga of a fish: from a survival guide to closing lemmas
PublikacjaIn the paper by D. Burago, S. Ivanov and A. Novikov, “A survival guide for feeble fish”, it has been shown that a fish with limited velocity can reach any point in the (possibly unbounded) ocean provided that the fluid velocity field is incompressible, bounded and has vanishing mean drift. This result extends some known global controllability theorems though being substantially nonconstructive. We give a fish a different recipe...
-
Hossein Nejatbakhsh Esfahani Dr.
OsobyMy research interests lie primarily in the area of Learning-based Safety-Critical Control Systems, for which I leverage the following concepts and tools:-Robust/Optimal Control-Reinforcement Learning-Model Predictive Control-Data-Driven Control-Control Barrier Function-Risk-Averse Controland with applications to:-Aerial and Marine robotics (fixed-wing UAVs, autonomous ships and underwater vehicles)-Multi-Robot and Networked Control...
-
The development of an underwater telephone for digital communication purposes
PublikacjaThe underwater telephone HTL-10 has been designed to provide voice and data communication between helicopter and submarines using acoustic waves. It works in a half-duplex mode and uses analogue power-efficient modulation in the form of a single side-band, suppressed carrier, in a wide range of frequencies. It generates the transmitted signal, and processes the received signals. It is implemented with the use of digital signal...
-
Wybrane problemy plastyczności w płaskim ośrodku mikropolarnym
PublikacjaW pracy analizuje się sprężysto-plastyczny płaski ośrodek mikropolarny. Do rozwiązań równań plastyczności wykorzystuje się technikę Closest Point Projection Method. Przedstawiono przykład numeryczny w płaskim stanie naprężenia, zasygnalizowano problem lokalizacji w zadaniach z osłabieniem materiału.
-
Paweł Szymon Dąbrowski dr inż.
OsobyDr inż. Paweł Szymon Dąbrowski w latach 2004-2009 studiował na kierunku geodezja i kartografia na Uniwersytecie Warmińsko-Mazurskim w Olsztynie, gdzie uzyskał tytuł zawodowy magistra inżyniera. W latach 2009-2016 pracował w wykonawstwie geodezyjnym w Iławie i Gdańsku. Doświadczenie zawodowe zdobył on podczas realizacji inwestycji Pomorskiej Kolei Metropolitalnej, co pomogło mu w zdobyciu w 2015 r. geodezyjnych uprawnień zawodowych...
-
Technological substitution in Asia
PublikacjaThis book provides extensive evidence on information and communication technologies development diffusion patterns, unveils specific ‘network effects’ that enhance rapid spread of ICT, and detect major macroeconomic determinants of this process, across 36 Asian economies over the period 1980-2015. Moreover, this research traces country-specific patterns of the unique process. We consider two types of technological substitution,...
-
Modeling of entrained flow steam gasification of sewage sludge
PublikacjaProper management of sewage sludge becomes increasingly problematic due to legal requirements aiming at diminishing environmental impact, as well as rationalizing the utilization from the point of view of logistics. Steam gasification of sewage sludge can result in very good quality of the producer gas. So far, the works have been focused on the gasification in fixed bed gasifiers. However, this does not allow to take full advantage...
-
Kazimierz Kosmowski prof. dr hab. inż.
OsobyKazimierz Tadeusz Kosmowski (ur. 12 maja 1947 r. w Nakle nad Notecią) – specjalizacja z zakresu niezawodności i bezpieczeństwa systemów technicznych. Prowadzi badania dotyczące metod identyfikacji zagrożeń oraz analizy i oceny ryzyka ukierunkowanych na obiekty przemysłowe i systemy infrastruktury krytycznej w cyklu życia. Aktualne zainteresowania naukowe dotyczą współdziałania systemów OT i IT oraz bezpieczeństwa funkcjonalnego...
-
ENERGY ANALYSIS OF THE PROPULSION SHAFT FATIGUE PROCESS IN A ROTATING MECHANICAL SYSTEM PART III DIMENSIONAL ANALYSIS
PublikacjaThis 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...
-
Study on population dynamics for triple-linked food chain using a simulation-based approach
PublikacjaThe procedures based on simulation have become a feasible testing method that does not require investing valuable resources to create a concrete prototype, especially with the increasing computational power of computers. Thus, design changes can be adopted and design errors can be fixed before it is too late. Simulation turns to be a cheap, safe and often more acceptable from an ethical perspective. In our work we summarize the...
-
Evaluation of RTKLIB's Positioning Accuracy Using low-cost GNSS Receiver and ASG-EUPOS
PublikacjaThe paper focuses on a comparison of different positioning methods provided by free and open source software (FOSS) package called RTKLIB. The RTKLIB supports real‐time and post‐processed positioning. The most important modes of operation tested by the authors are Kinematic, Static, Fixed and Precise Point Positioning (PPP). The data for evaluation were obtained from low‐cost Global Navigation Satellite System (GNSS) receiver....
-
Influence of sheet/purlin fasteners spacing on shear flexibility of the diaphragm
PublikacjaThe paper presents the influence of sheet/purlin fasteners location (in reference to trapezoidal profile cross section) on shear flexibility of the cladding acting as a diaphragm. Analytical procedures were presented and their limitations were discussed. Next, selected schemes of fasteners location, known from engineering practice, but not included in European codes and recommendations, were analysed numerically in order to observe...
-
Comparative analysis of the theoretical models of ideal propulsor, ideal fluid brake, ideal screw propeller and ideal axial wind turbine
PublikacjaThe 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.
-
Simulation of unsteady flow over floodplain using the diffusive wave equation and the modified finite element method
PublikacjaWe consider solution of 2D nonlinear diffusive wave equation in a domain temporarily covered by a layer of water. A modified finite element method with triangular elements and linear shape functions is used for spatial discretization. The proposed modification refers to the procedure of spatial integration and leads to a more general algorithm involving a weighting parameter. The standard finite element method and the finite difference...
-
Periodic Solutions of Generalized Lagrangian Systems with Small Perturbations
PublikacjaIn this paper we study the generalized Lagrangian system with a small perturbation. We assume the main term in the system to have a maximum, but do not suppose any condition for perturbation term. Then we prove the existence of a periodic solution via Ekeland’s principle. Moreover, we prove a convergence theorem for periodic solutions of perturbed systems.
-
Research of hydrotronic variable displacement radial piston pump with electro -pneumatic control
PublikacjaThe paper presents the developed new electro-pneumatic control (pneumotronic) system for hydraulic fixed-displacement radial piston pump. Hydraulic fixed-displacement radial piston pump equipped with the proposed control system changes into hydrotronic variable-displacement radial piston pump. Pump flow rate control is realized by means of programmable logic controller, electro-pneumatic valves, pneumatic cylinders and a sensor.
-
Module structure in Conley theory with some applications
PublikacjaA multiplicative structure in the cohomological versjon of Conley index is described . In the case of equivariant flows we apply the normalization procedure known from equivariant degree theory and we propose a new continuation invariant. The theory is then applied to obtain a mountain pass type theorem. Another application is a result on multiple bifurcations for some elliptic PDE.
-
Mountain pass type periodic solutions for Euler–Lagrange equations in anisotropic Orlicz–Sobolev space
PublikacjaUsing the Mountain Pass Theorem, we establish the existence of periodic solution for Euler–Lagrange equation. Lagrangian consists of kinetic part (an anisotropic G-function), potential part and a forcing term. We consider two situations: G satisfying at infinity and globally. We give conditions on the growth of the potential near zero for both situations.
-
Patryk Ziółkowski dr inż.
OsobyAbsolwent Wydziału Inżynierii Lądowej i Środowiska Politechniki Gdańskiej, w specjalności Konstrukcje Budowlane i Inżynierskie. Pracuje na stanowisku adiunkta w Katedrze Konstrukcji Inżynierskich. Brał udział w projektach międzynarodowych, w tym projektach dla Ministerstwa Transportu stanu Alabama (2015), jest także laureatem grantu Fundacji Kościuszkowskiej na prowadzanie badań w USA, który zrealizował w 2018 roku. Współautor...
-
S7-DK7 Myślenice Zakopane 2017 - video data
Dane BadawczeThe video cameras installed on the Expressway S7: 6 cameras in both directions, location: main road registered vehicles along the entire length of the road section. Cameras were mounted on 5-7 meter high masts. Date 11-15.08.2017
-
Positive solutions to Sturm–Liouville problems with non-local boundary conditions
PublikacjaIn this paper, the existence of at least three non-negative solutions to non-local boundary-value problems for second-order differential equations with deviating arguments α and ζ is investigated. Sufficient conditions, which guarantee the existence of positive solutions, are obtained using the Avery–Peterson theorem. We discuss our problem for both advanced and delayed arguments. An example is added to illustrate the results.
-
Periodic Points for Sphere Maps Preserving MonopoleFoliations
PublikacjaLet S^2 be a two-dimensional sphere. We consider two types of its foliations with one singularity and maps f:S^2→S^2 preserving these foliations, more and less regular. We prove that in both cases f has at least |deg(f)| fixed points, where deg(f) is a topological degree of f. In particular, the lower growth rate of the number of fixed points of the iterations of f is at least log|deg(f)|. This confirms the Shub’s conjecture in...
-
Poprawa stanu dynamicznego hydrozespołu. W: [CD-ROM] Materiały konferencyj- ne. Turbiny Wodne - Niezawodność i Ekologia. Gdańdsk, 9 grudnia 2003. Gdańsk: TEW, KKiEM P. Gdań., A&O EXPERT**2003, wykład oraz prezentacja elektroniczna z wykorzyst. Programu Power Point + wydr. 17 s.
PublikacjaWspółczesna technika pomiarowa coraz częściej wykrywa pojawienie się drgań względnych czopa względem panwi o częstotliwości zbliżonej do 1/2X, wywołanych tak zwanym wirem olejowym. Drgania te w dłuższym okresie czasu prowadzą do zmęczeniowego uszkodzenia powierzchni ślizgowej łożyska a w konsekwencji do awarii łożyska. Jednym ze sposobów eliminacji tych drgań jest zastosowa-nie dociążenia geometrycznego w łożyskach prowadzących...
-
Method of determining the degree of liquid aeration in a variable capacity displacement pump
PublikacjaThe Author concludes, that there is a possibility of determining a concrete value of the liquid aeration coefficient during the pump operation by finding such value of coefficient with which the increase of torque of mechanical losses is proportional to the indicated torque determined with a fixed value of increase of pressure in the pump working chambers. The fixed value of increase of pressure assumed in searching the liquid...
-
Automatic detection of abandoned luggage employing a dual camera system
PublikacjaA system for automatic detection of events using a system of fixed and PTZ (pan-tilt-zoom) cameras is described. Images from the fixed camera are analyzed by means of object detection and tracking. Event detection system uses a set of rules to analyze data on the tracked moving objects and to detect defined events. A PTZ camera is used to obtain a detailed view of a selected object. A procedure for conversion between the pixel...
-
A1-S6 Rebielcz Raduńska 2016 - video data
Dane BadawczeThe video cameras installed on the Expressway S6 and motorway A1: 4 cameras in both directions, location: main road registered vehicles along the entire length of the road section. Cameras were mounted on 5-7 meter high masts. Date 29-31.07.2016
-
Historical Wreck Inventory
Dane BadawczeThe measurement solution results in a point cloud obtained from the Leica P30 laser scanner. Another element is the processing of photos into point clouds with the Zenmuse P1 camera of the unmanned Matrice 300 RTK aircraft. The measurement provides complete geometrical information about the wreck. The measurement took place as part of the Photogrammetry...
-
Steady magnetohydrodynamic flow in a diverging channel with suction or blowing
PublikacjaAn analysis is made of steady two-dimensional divergent flow of an electrically conducting incompressible viscous fluid in a channel formed by two non-parallel walls, the flow being caused by a source of fluid volume at the intersection of the walls. The fluid is permeated by a magnetic field produced by an electric current along the line of intersection of the channel walls. The walls are porous and subjected to either suction...
-
An Analysis of Elliptical-Rectangular Patch Structure on Multilayer Elliptic Cylinders
PublikacjaThe resonance frequency problem of an ellipticalrectangular patch mounted on multilayered dielectric coated elliptic conducting cylinder, is investigated in this paper. A fullwave analysis and a moment-method calculation are employed. The analysis is carried out considering the expansion of the field as a series of Mathieu functions. An additional theorem for Mathieu functions is utilized to investigate the non-confocal ellipse...
-
The Palais–Smale condition for the Hamiltonian action on a mixed regularity space of loops in cotangent bundles and applications
PublikacjaWe show that the Hamiltonian action satisfies the Palais-Smale condition over a “mixed regular- ity” space of loops in cotangent bundles, namely the space of loops with regularity H^s, s ∈ (1/2, 1), in the baseand H^{1−s} in the fiber direction. As an application, we give a simplified proof of a theorem of Hofer-Viterbo on the existence of closed characteristic leaves for certain contact type hypersufaces in cotangent bundles.
-
On solvability of initial boundary-value problems of micropolar elastic shells with rigid inclusions
PublikacjaThe problem of dynamics of a linear micropolar shell with a finite set of rigid inclusions is considered. The equations of motion consist of the system of partial differential equations (PDEs) describing small deformations of an elastic shell and ordinary differential equations (ODEs) describing the motions of inclusions. Few types of the contact of the shell with inclusions are considered. The weak setup of the problem is formulated...
-
Numerical and quantitative analysis of HIV/AIDS model with modified Atangana-Baleanu in Caputo sense derivative
PublikacjaFractional calculus plays an important role in the development of control strategies, the study of the dynamical transmission of diseases, and some other real-life problems nowadays. The time-fractional HIV/AIDS model is examined using a novel method in this paper. Based on the Atangana-concept Baleanu’s of a derivative in the Caputo sense, the current modified fractional derivative operator uses singular and non-local kernels....
-
Subadditivity of the minimum output entropy and superactivation of the classical capacity of quantum multiple access channels
PublikacjaWe study subadditivity of the minimum output entropy (Hmin) of quantum multiple access channels (MACs). We provide an example of violation of the additivity theorem for Hmin known in classical information theory. Our result is based on a fundamental property of MACs, i.e., independence of each sender. The channels used in the example can be constructed explicitly. On the basis of subadditivity of Hmin we also provide an example...
-
RNS/TCS CONVERTER DESIGN USING HIGH-LEVEL SYNTHESIS IN FPGA
PublikacjaAn experimental high-level synthesis (HLS) of the residue number system (RNS) to two’s-complement system (TCS) converter in the Vivado Xilinx FPGA environment is shown. The assumed approach makes use of the Chinese Remainder Theorem I (CRT I). The HLS simplifies and accelerates the design and implementation process, moreover the HLS synthesized architecture requires less hardware by about 20% but the operational frequency is smaller...
-
New Algorithms for Adaptive Notch Smoothing
PublikacjaThe problem of extraction/elimination of a nonstationary complex sinusoidal signal buried in noise is considered. This problem is usually solved using adaptive notch filtering (ANF)algorithms. It is shown that accuracy of signal estimation can be increased if the results obtained from ANF are further processed using a cascade of appropriately designed filters. The resulting adaptive notch smoothing (ANS) algorithms can be employed...
-
Control design for slow speed positioning
PublikacjaThe problem under study is a synthesis of position and heading control system for low frequency model of surface vessel described by 3 DOF mathematical model. The recursive vectorial backstepping control design was used to keep fixed position and heading in presence of wave disturbances. The controller has been simulated on computer model of scaled supply vessel. It has been assumed that the actuators produce generalized forces...