Filters
total: 607
filtered: 319
Search results for: Lefschetz numbers of iterations
-
On the interspike-intervals of periodically-driven integrate-and-fire models
PublicationWe analyze properties of the firing map, which iterations give information about consecutive spikes, for periodically driven linear integrate-and-fire models. By considering locally integrable (thus in general not continuous) input functions, we generalize some results of other authors. In particular, we prove theorems concerning continuous dependence of the firing map on the input in suitable function spaces. Using mathematical...
-
Fast Full-Wave Multilevel Zero-Pole Optimization of Microwave Filters
PublicationA new concept is proposed for the full-wave computer-aided design of microwave filters. The method consists of two stages and operates on the zeros and poles of the transfer function and their derivatives. These quantities are evaluated from the response computed by a full-wave electromagnetic solver with two levels of accuracy. The two stages make use of different models that are optimized using a low-accuracy electromagnetic...
-
Weak forms of shadowing in topological dynamics
PublicationWe consider continuous maps of compact metric spaces. It is proved that every pseudotrajectory with sufficiently small errors contains a subsequence of positive density that is point-wise close to a subsequence of an exact trajectory with the same indices. Also, we study homeomor- phisms such that any pseudotrajectory can be shadowed by a finite number of exact orbits. In terms of numerical methods this property (we call it multishadowing)...
-
VARIANT DESIGNING IN the PRELIMINARY SMALL SHIP DESIGN PROCESS
PublicationShip designing is a complex process, as the ship itself is a complex, technical multi-level object which operates in the air/water boundary environment and is exposed to the action of many different external and internal factors resulting from the adopted technical solutions, type of operation, and environmental conditions. A traditional ship design process consists of a series of subsequent multistage iterations, which gradually...
-
Pareto Ranking Bisection Algorithm for Expedited Multi-Objective Optimization of Antenna Structures
PublicationThe purpose of this letter is introduction of a novel methodology for expedited multi-objective design of antenna structures. The key component of the presented approach is fast identification of the initial representation of the Pareto front (i.e., a set of design representing the best possible trade-offs between conflicting objectives) using a Pareto-ranking bisection algorithm. The algorithm finds a discrete set of Pareto-optimal...
-
Stark effect of atomic helium singlet lines
PublicationWe present experimental and theoretical investigations of the He spectral series 2S1−nQ1 (n=3÷9, Q=S,P,D,…,n−1) and 2P1−nQ1 (n=3÷9, Q=S,P,D,…,n−1) in electric fields up to 1635 kV/cm. Apart from the allowed transitions with |ΔL|=1, the transitions with |ΔL|=0,2,3,…-without field strictly forbidden-were observed. Several He patterns become similar to hydrogen patterns, which means they are nearly symmetric and show in higher fields...
-
Criteria for selection of working fluid in low-temperature ORC
PublicationThe economics of an ORC system is strictly linked to thermodynamic properties of the working fluid. A bad choice of working fluid could lead to a less efficient and expensive plant/generation unit. Some selection criteria have been put forward by various authors, incorporating thermodynamic properties, provided in literature but these do not have a general character. In the paper a simple analysis has been carried out which resulted...
-
Testing the Weibull distribution in road traffic losses analysis
PublicationThe paper presents an attempt of applying the Weibull distribution for the purpose of analysing road traffic losses (fatalities). The question it asks is whether reliability engineering methods can be applied for the analyses. If this is the case, what should be the interpretation of the numbers and terms? It was assumed that the losses generated by a malfunctioning road transport system are fatalities. Risk exposure to these losses...
-
Hybrid Technique Combining the FDTD Method and Its Convolution Formulation Based on the Discrete Green's Function
PublicationIn this letter, a technique combining the finite-difference time-domain (FDTD) method and its formulation based on the discrete Green's function (DGF) is presented. The hybrid method is applicable to inhomogeneous dielectric structures that are mutually coupled with wire antennas. The method employs the surface equivalence theorem in the discrete domain to separate the problem into a dielectric domain simulated using the FDTD method...
-
Problems of analytical determination of journal bearing bush fatigue strength estimates
PublicationProblems connected with determination of stress distribution in sliding layer of thinwalled bearing bushes, investigated in bearing fatigue test rigs, have been presented. Using an example of plain bearings tested in the fatigue machine SMOK (built at the Gdask University of Technology) problems with obtaining a convergence of iterative procedure for determining the fatigue strength estimators of bearing alloy surface layer are...
-
Application of the discrete Green's function-based antenna simulations for excitation of the total-field/scattered-field interface in the FDTD method
PublicationIn this article, the discrete Green's function formulation of the finite-difference time-domain (DGF-FDTD) method is proposed for simulation of wire antennas irradiating inhomogeneous dielectric scatterers. Surface equivalence theorem in the discrete domain is used to separate the problem into an inhomogeneous domain and a wire antenna that are simulated with the use of FDTD and DGF-FDTD, respectively. Then, the excitation of the...
-
Model of Volunteer Based Systems.
PublicationThere are two main approaches to processing tasks requiring high amounts of computational power. One approach is using clusters of mostly identical hardware, placed in dedicated locations. The other approach is outsourcing computing resources from large numbers of volunteers connected to the Internet. This chapter attempts to formulate a mathematical model of the volunteer based approach to distributed computations and apply it...
-
Curlicues generated by circle homeomorphisms
PublicationWe investigate the curves in the complex plane which are generated by sequences of real numbers being the lifts of the points on the orbit of an orientation preserving circle homeomorphism. Geometrical properties of these curves such as boundedness, superficiality, local discrete radius of curvature are linked with dynamical properties of the circle homeomorphism which generates them: rotation number and its continued fraction...
-
Quaternion Encryption Method for Image and Video Transmission
PublicationQuaternions are hyper-complex numbers of rank 4. They are often applied to mechanics in 3D space and are considered to be one of the best ways of representing rotations. In this paper a quaternion encryption method, based on algorithm by Nagase et al. (2004) has been proposed. According to a computer-based simulation the results of the performed research yield a high level of security, which is additionally strengthened by the...
-
Modeling Volunteer Based Systems
PublicationThere are two main approaches to processing tasks requiring high amounts of computational power. One approach is using clusters of mostly identical hardware, placed in dedicated locations [1, 2, 3]. The other approach is outsourcing computing resources from large numbers of volunteers connected to the Internet [7]. This chapter presents an application of a mathematical model of the volunteer computing presented in Volume 1 of this...
-
On the Structure of Time in Computational Semantics of a Variable-Step Solver for Hybrid Behavior Analysis
PublicationHybrid dynamic systems combine continuous and discrete behavior. Often, computational approaches are employed to derive behaviors that approximate the analytic solution. An important part of this is the approximation of differential equation behavior by numerical integration. The accuracy and computational efficiency of the integration usually depend on the complexity of the method and its implicated approximation errors, especially...
-
Optimal shape design of multi-element trawl-doors using local surrogate models
PublicationTrawl-doors have a large influence on the fuel consumption of fishing vessels. Design and optimiza-tion of trawl-doors using computational models are a key factor in minimizing the fuel consump-tion. This paper presents an optimization algorithm for the shape design of trawl-door shapes using computational fluid dynamic (CFD) models. Accurate CFD models are computationally expensive. Therefore, the direct use of traditional optimization...
-
Model Correction and Optimization Framework for Expedited EM-Driven Surrogate-Assisted Design of Compact Antennas
PublicationDesign of compact antennas is a numerically challenging process that heavily relies on electromagnetic (EM) simulations and numerical optimization algorithms. For reliability of simulation results, EM models of small radiators often include connectors which—despite being components with fixed dimensions—significantly contribute to evaluation cost. In this letter, a response correction method for antenna models without connector,...
-
A Selection of Starting Points for Iterative Position Estimation Algorithms Using Feedforward Neural Networks
PublicationThis article proposes the use of a feedforward neural network (FNN) to select the starting point for the first iteration in well-known iterative location estimation algorithms, with the research objective of finding the minimum size of a neural network that allows iterative position estimation algorithms to converge in an example positioning network. The selected algorithms for iterative position estimation, the structure of the...
-
Buckling and shape control of prestressable trusses using optimum number of actuators
PublicationThis paper describes a method to control the nodal displacement of prestressable truss structures within the desired domains. At the same time, the stress in all members is unleashed to take any value between the allowable tensile stress and critical buckling stress. The shape and stresses are controlled by actuating the most active members. The technique considers the members’ initial crookedness, residual stresses, and slenderness...
-
Selected elements of the payment cards system in Poland
PublicationThe following article describes the current situation of the selected elements of the payment cards system in Poland. The first part of the paper include the most common definition as well as the abbreviated history of payment cards implementation in Poland. Next, the author presents the key numbers related to the nowadays situation on the market together with benefits of using the payment cards in the whole economic system. At...
-
Hydration of urea and its derivatives - Volumetric and compressibility studies
PublicationThe densities and sound velocities at T = (288.15, 293.15, 298.15, 303.15 and 308.15) K have been measured for aqueous solutions of urea, N,N-dimethylurea, N,N-diethylurea, N-propylurea, N-butylurea. From these data the apparent molar volumes, V the apparent molar isentropic compressions, KS,, and the Passynski solvation numbers of solutes have been determined. The concentration dependencies of the calculated quantities, their...
-
Seagrass vegetation and meiofauna enhance the bacterial abundance in the Baltic Sea sediments (Puck Bay)
PublicationThis study presents the first report on bacterial communities in the sediments of eelgrass (Zostera marina) meadows in the shallow southern Baltic Sea (Puck Bay). Total bacterial cell numbers (TBNs) and bacteria biomass (BBM) assessed with the use of epifluorescence microscope and Norland’s formula were compared between bare and vegetated sediments at two localities and in two sampling summer months. Significantly higher TBNs and...
-
Arterial cannula shape optimization by means of the rotational firefly algorithm
PublicationThe article presents global optimization results of arterial cannula shapes by means of the newly modified firefly algorithm. The search for the optimal arterial cannula shape is necessary in order to minimize losses and prepare the flow that leaves the circulatory support system of a ventricle (i.e. blood pump) before it reaches the heart. A modification of the standard firefly algorithm, the so-called rotational firefly algorithm,...
-
Three levels of fail-safe mode in MPI I/O NVRAM distributed cache
PublicationThe paper presents architecture and design of three versions for fail-safe data storage in a distributed cache using NVRAM in cluster nodes. In the first one, cache consistency is assured through additional buffering write requests. The second one is based on additional write log managers running on different nodes. The third one benefits from synchronization with a Parallel File System (PFS) for saving data into a new file which...
-
On the independence number of some strong products of cycle-powers
PublicationIn the paper we give some theoretical and computational results on the third strong power of cycle-powers, for example, we have found the independence numbers alpha((C^2_10)^⊠3) = 30 and alpha((C^4 _14)^⊠3) = 14. A number of optimizations have been introduced to improve the running time of our exhaustive algorithm used to establish the independence number of the third strong power of cycle-powers. Moreover, our results establish...
-
On proper (1,2)‐dominating sets in graphs
PublicationIn 2008, Hedetniemi et al. introduced the concept of (1,)-domination and obtained some interesting results for (1,2) -domination. Obviously every (1,1) -dominating set of a graph (known as 2-dominating set) is (1,2) -dominating; to distinguish these concepts, we define a proper (1,2) -dominating set of a graph as follows: a subset is a proper (1,2) -dominating set of a graph if is (1,2) -dominating and it is not a (1,1) -dominating...
-
Considerations about the applicability of the Reynolds equation for analyzing high-speed near field levitation phenomena
Publicationequation for analyzing near field levitation (NFL) phenomena. Two separate approaches were developed, experimentally verified, and applied to meet the research objective. One was based on the Reynolds equation and the other was based on general conservation equations for fluid flow solved using computational fluid dynamic (CFD). Comparing the calculation results revealed that, for certain operating conditions, differences in the...
-
Benchmarking Parallel Chess Search in Stockfish on Intel Xeon and Intel Xeon Phi Processors
PublicationThe paper presents results from benchmarking the parallel multithreaded Stockfish chess engine on selected multi- and many-core processors. It is shown how the strength of play for an n-thread version compares to 1-thread version on both Intel Xeon and latest Intel Xeon Phi x200 processors. Results such as the number of wins, losses and draws are presented and how these change for growing numbers of threads. Impact of using particular...
-
Deep Learning Optimization for Edge Devices: Analysis of Training Quantization Parameters
PublicationThis paper focuses on convolution neural network quantization problem. The quantization has a distinct stage of data conversion from floating-point into integer-point numbers. In general, the process of quantization is associated with the reduction of the matrix dimension via limited precision of the numbers. However, the training and inference stages of deep learning neural network are limited by the space of the memory and a...
-
Non-Diophantine Arithmetics in Mathematics, Physics and Psychology
PublicationFor a long time, all thought there was only one geometry — Euclidean geometry. Nevertheless, in the 19th century, many non-Euclidean geometries were discovered. It took almost two millennia to do this. This was the major mathematical discovery and advancement of the 19th century, which changed understanding of mathematics and the work of mathematicians providing innovative insights and tools for mathematical research and applications...
-
Certified domination
PublicationImagine that we are given a set D of officials and a set W of civils. For each civil x ∈ W, there must be an official v ∈ D that can serve x, and whenever any such v is serving x, there must also be another civil w ∈ W that observes v, that is, w may act as a kind of witness, to avoid any abuse from v. What is the minimum number of officials to guarantee such a service, assuming a given social network? In this paper, we introduce...
-
Experimental certification of more than one bit of quantum randomness in the two inputs and two outputs scenario
PublicationOne of the striking properties of quantum mechanics is the occurrence of the Bell-type non-locality. They are a fundamental feature of the theory that allows two parties that share an entangled quantum system to observe correlations stronger than possible in classical physics. In addition to their theoretical significance, non-local correlations have practical applications, such as device-independent randomness generation, providing...
-
Bistability in a One-Dimensional Model of a Two-Predators-One-Prey Population Dynamics System
PublicationIn this paper, we study a classical two-predators-one-prey model. The classical model described by a system of three ordinary differential equations can be reduced to a one-dimensional bimodalmap. We prove that this map has at most two stable periodic orbits. Besides, we describe the bifurcation structure of the map. Finally, we describe a mechanism that leads to bistable regimes. Taking this mechanism into account, one can easily...
-
Modelling fatalities on regional road networks
PublicationDuring the last decade Poland’s road fatalities went down by 44%. The trend differs from region to region. Effective road safetymanagement in regions requires tools for forecasting road safety measures and identifying factors influencing road fatality numbers. Mathematical models can provide such tools. They take into account local characteristics such as: demography, economy, infrastructure and motorization. Such models could...
-
Invariant Measures for Uncountable Random Interval Homeomorphisms
PublicationA necessary and sufficient condition for the iterated function system { f (·, ω) | ω ∈ } with probability P to have exactly one invariant measure μ∗ with μ∗((0, 1)) = 1 is given. The main novelty lies in the fact that we only require the transformations f (·, ω) to be increasing homeomorphims, without any smoothness condition, nei- ther we impose conditions on the cardinality of . In particular, positive Lyapunov exponents conditions...
-
Multi-agent large-scale parallel crowd simulation
PublicationThis paper presents design, implementation and performance results of a new modular, parallel, agent-based and large scale crowd simulation environment. A parallel application, implemented with C and MPI, was implemented and run in this parallel environment for simulation and visualization of an evacuation scenario at Gdansk University of Technology, Poland and further in the area of districts of Gdansk. The application uses a...
-
Benchmarking Scalability and Security Configuration Impact for A Distributed Sensors-Server IOT Use Case
PublicationInternet of Things has been getting more and more attention and found numerous practical applications. Especially important in this context are performance, security and ability to cope with failures. Especially crucial is to find good trade-off between these. In this article we present results of practical tests with multiple clients representing sensors sending notifications to an IoT middleware – DeviceHive. We investigate performance...
-
On trees attaining an upper bound on the total domination number
PublicationA total dominating set of a graph G is a set D of vertices of G such that every vertex of G has a neighbor in D. The total domination number of a graph G, denoted by γ_t(G), is the minimum cardinality of a total dominating set of G. Chellali and Haynes [Total and paired-domination numbers of a tree, AKCE International Journal of Graphs and Combinatorics 1 (2004), 69-75] established the following upper bound on the total domination...
-
FPGA realization of an improved alpha max plus beta min algorithm
PublicationThe generalized improved version of the alpha max plus beta min square-rooting algorithm and its realization in the Field Programmable Gate Array (FPGA) are presented. The algorithm computes the square root to calculate the approximate magnitude of a complex sample. It is especially useful for pipelined calculations in the DSP. In case of four approximation regions it is possible to reduce the peak error form 3.95% to 0.33%. This...
-
On the differential effect of temperature on the Nusselt-Rayleigh relationship in free convection
PublicationThe 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,...
-
Robust four-node elements based on Hu–Washizu principle for nonlinear analysis of Cosserat shells
PublicationMixed 4-node shell elements with the drilling rotation and Cosserat-type strain measures based onthe three-field Hu–Washizu principle are proposed. In the formulation, apart from displacement and rotationfields, both strain and stress resultant fields are treated as independent. The elements are derived in the frame-work of a general nonlinear 6-parameter shell theory dedicated to the analysis of multifold irregular shells.The...
-
Multi-agent large-scale parallel crowd simulation with NVRAM-based distributed cache
PublicationThis paper presents the architecture, main components and performance results for a parallel and modu-lar agent-based environment aimed at crowd simulation. The environment allows to simulate thousandsor more agents on maps of square kilometers or more, features a modular design and incorporates non-volatile RAM (NVRAM) with a fail-safe mode that can be activated to allow to continue computationsfrom a recently analyzed state in...
-
Applications of the discrete green's function in the finite-difference time-domain method
PublicationIn this paper, applications of the discrete Green's function (DGF) in the three-dimensional (3-D) finite-difference time-domain (FDTD) method are presented. The FDTD method on disjoint domains was developed employing DGF to couple the subdomains as well as to compute the electromagnetic field outside these subdomains. Hence, source and scatterer are simulated in separate subdomains and updating of vacuum cells, being of little...
-
Data fusion of GPS sensors using Particle Kalman Filter for ship dynamic positioning system
PublicationDepending on standards and class, dynamically positioned ships make use of different numbers of redundant sensors to determine current ship position. The paper presents a multi-sensor data fusion algorithm for the dynamic positioning system which allows it to record the proper signal from a number of sensors (GPS receivers). In the research, the Particle Kalman Filter with data fusion was used to estimate the position of the vessel....
-
Short-range order structure and free volume distribution in liquid bismuth: X-ray diffraction and computer simulations studies
PublicationThe structure of liquid bismuth was studied by X-ray diffraction and computer simulation methods. The contraction of the atomic structure within the first coordination sphere in the temperature interval of 575- 1225 K is reported. The temperature dependencies of the coordination numbers and of the free volume are analysed. On the basis of the temperature dependencies of the free volume, the temperature dependencies of viscosity...
-
HEAT TRANSFER CHARACTERISTICS OF ENHANCED SHELL AND COIL HEAT EXCHANGER
PublicationIn the paper authors presented their own constructions of shell and tube heat exchangers with intensified heat transfer. The shell and coils heat exchangers are in common use in heat ventilations and air conditioning systems. Those types of recuperators are quite simple constructions, the low value of pressure drops and good conditions of heat transfer. The present study shows an experimental investigation of the heat transfer...
-
The hydration of selected biologically relevant molecules – the temperature effect on apparent molar volume and compression
PublicationThe densities and sound velocities at T = (288.15, 293.15, 298.15, 303.15 and 308.15) K were measured for aqueous solutions of glycine, trimethylamine-N-oxide, taurine and N-methylacetamide. From these data, the apparent molar volumes, V the apparent molar isentropic compressions, KS,, and the Passynski hydration numbers of solutes were determined. The concentration dependencies of the calculated quantities, their limiting values...
-
OIL-ASSISTED THERMO-MECHANICAL RECLAMATION OF GROUND TIRE RUBBER
PublicationNowadays, it is crucial to seek for the methods of by-products and waste utilization, considering both environmental and economic factors. The example of waste material generated in the massive amounts, which requires the attention is ground tire rubber generated during recycling of post-consumer car tires. It can be applied as a filler into different polymer matrices, but to enhance its effectivity proper modifications should...
-
Uncertainty of mass flow measurement using centric and eccentric orifice for Reynolds number in the range 10,000 ≤ Re ≤ 20,000
PublicationThe article analyses the impact of the Reynolds number on the estimated uncertainty of the mass flow rate measurement using an orifice plate. The objects of the research were two types of orifices: centric (ISA) and eccentric, with the diameter ratio β = 0.5. Studies were performed by Monte Carlo simulation and experiments for Reynolds numbers in the range 10,000 ≤ Re ≤ 20,000. The obtained results have shown that for both orifice...