Wyszukiwarka
Wyniki wyszukiwania dla: Lefschetz numbers of iterations
-
Dynamics of Field Line Mappings in Magnetic Flux Tubes
PublikacjaWe study the topological constraints on the dynamics of magnetic field lines in flux tubes. Our approach is based on the application of the topological invariant: fixed point index. We consider periodic flux tubes and find various restrictions on the field lines that come from the sequence of fixed point indices of iterations. We also analyze the case of a tube with a cylindrical obstacle, deducing some special dynamical properties...
-
Implementation of Addition and Subtraction Operations in Multiple Precision Arithmetic
PublikacjaIn this paper, we present a digital circuit of arithmetic unit implementing addition and subtraction operations in multiple-precision arithmetic (MPA). This adder-subtractor unit is a part of MPA coprocessor supporting and offloading the central processing unit (CPU) in computations requiring precision higher than 32/64 bits. Although addition and subtraction operations of two n-digit numbers require O(n) operations, the efficient...
-
Investigation of Parallel Data Processing Using Hybrid High Performance CPU + GPU Systems and CUDA Streams
PublikacjaThe paper investigates parallel data processing in a hybrid CPU+GPU(s) system using multiple CUDA streams for overlapping communication and computations. This is crucial for efficient processing of data, in particular incoming data stream processing that would naturally be forwarded using multiple CUDA streams to GPUs. Performance is evaluated for various compute time to host-device communication time ratios, numbers of CUDA streams,...
-
EM-Driven Multi-Objective Design of Impedance Transformers By Pareto Ranking Bisection Algorithm
PublikacjaIn the paper, the problem of fast multi-objective optimization of compact impedance matching transformers is addressed by utilizing a novel Pareto ranking bisection algorithm. It approximates the Pareto front by dividing line segments connecting the designs found in the previous iterations, and refining the obtained candidate solutions by means of poll-type search involving Pareto ranking. The final Pareto set is obtained using...
-
FPGA implementation of the multiplication operation in multiple-precision arithmetic
PublikacjaAlthough standard 32/64-bit arithmetic is sufficient to solve most of the scientific-computing problems, there are still problems that require higher numerical precision. Multiple-precision arithmetic (MPA) libraries are software tools for emulation of computations in a user-defined precision. However, availability of a reconfigurable cards based on field-programmable gate arrays (FPGAs) in computing systems allows one to implement...
-
Investigation of Performance and Configuration of a Selected IoT System—Middleware Deployment Benchmarking and Recommendations
PublikacjaNowadays Internet of Things is gaining more and more focus all over the world. As a concept it gives many opportunities for applications for society and it is expected that the number of software services deployed in this area will still grow fast. Especially important in this context are properties connected with deployment such as portability, scalability and balance between software requirements and hardware capabilities. In...
-
The influence of microjet array area ratio on heat transfer in the compact heat exchanger
PublikacjaThe paper describes the comprehensive study on the effect of microjet array geometrical parameters on the heat transfer enhancement in the modular heat exchanger. The conducted experimental study provides an experimental database on single phase submerged microjet heat transfer. The Wilson plot method was applied to determine the heat transfer coefficients in the laminar and transition flow regimes of a liquid-to-liquid heat exchanger....
-
Discrete Green's function approach to disjoint domain simulations in 3D FDTD method
PublikacjaA discrete Green’s function (DGF) approach to couple 3D FDTD subdomains is developed. The total-field/scattered-field subdomains are simulated using the explicit FDTD method whilst interaction between them is computed as a convolution of the DGF with equivalent current sources measured over Huygens surfaces. In the developed method, the DGF waveforms are truncated using the Hann’s window. The error varies in the range -65 to -40...
-
Analysis of Interspike-Intervals for the General Class of Integrate-and-Fire Models with Periodic Drive
PublikacjaWe study one-dimensional integrate-and-fire models of the general type x˙=F (t, x) and analyze properties of the firing map which iterations recover consecutive spike timings. We impose very week constraints for the regularity of the function F (t, x), e.g. often it suffices to assume that F is continuous. If additionally F is periodic in t, using mathematical study of the displacement sequence of an orientation preserving circle...
-
Weak Stability of Centred Quadratic Stochastic Operators
PublikacjaWe consider the weak convergence of iterates of so-called centred quadratic stochastic operators. These iterations allow us to study the discrete time evolution of probability distributions of vector-valued traits in populations of inbreeding or hermaphroditic species, whenever the offspring’s trait is equal to an additively perturbed arithmetic mean of the parents’ traits. It is shown that for the existence of a weak limit, it...
-
A survey on known values and bounds on the Shannon capacity
PublikacjaIn this survey we present exact values and bounds on the Shannon capacity for different classes of graphs, for example for regular graphs and Kneser graphs. Additionally, we show a relation between Ramsey numbers and Shannon capacity.
-
Benchmarking overlapping communication and computations with multiple streams for modern GPUs
PublikacjaThe paper presents benchmarking a multi-stream application processing a set of input data arrays. Tests have been performed and execution times measured for various numbers of streams and various compute intensities measured as the ratio of kernel compute time and data transfer time. As such, the application and benchmarking is representative of frequently used operations such as vector weighted sum, matrix multiplication etc....
-
Edge subdivision and edge multisubdivision versus some domination related parameters in generalized corona graphs
PublikacjaGiven a graph G= (V, E), the subdivision of an edge e=uv∈E(G) means the substitution of the edge e by a vertex x and the new edges ux and xv. The domination subdivision number of a graph G is the minimum number of edges of G which must be subdivided (where each edge can be subdivided at most once) in order to increase the domination number. Also, the domination multisubdivision number of G is the minimum number of subdivisions...
-
Balancing agility and discipline in a research project
PublikacjaSuccessful software development requires both agility and discipline. Optimal selection of methods, however, is not an easy task. The problem becomes even more difficult for long lasting projects. Appropriate selection of methods involving skillful introduction and abandonment of certain practices in time makes the whole process dynamic. The paper presents in this context a research project which was realized in a few iterations....
-
Numerical simulation of natural convection of Glycol-Al2O3 nanofluids from a horizontal cylinder
PublikacjaThis paper deals with natural convection around a circular cylinder with constant heat flux in a cavity using computational fluid dynamics. As fluids ethylene glycol and a mixture of ethylene glycol with Al2O3 nanoparticles (mass concentrations of nanoparticles: 0.1% and 1%) are chosen. Rayleigh number ranges from 3104 to 3105. The nanofluids are modeled with single-phase approach. For the investigated range of nanoparticle concentration, the...
-
A novel genetic approach to provide differentiated levels of service resilience in IP-MPLS/WDM networks
PublikacjaThis paper introduces a novel class-based method of survivable routing for connection-oriented IP-MPLS/WDM networks, called MLS-GEN-H. The algorithm is designed to provide differentiated levels of service survivability in order to respond to varying requirements of end-users. It divides the complex problem of survivable routing in IP-MPLS/WDM networks into two subproblems, one for each network layer, which enables finding the...
-
Mersenne Number Finding and Collatz Hypothesis Verification in the Comcute Grid System
PublikacjaIn this chapter, some mathematic applications have been described to test scalability of the Comcute grid system. Especially, a verification of the Collatz hypothesis and finding Mersenne numbers were applied to prove the scalability and high performance of this grid system. Results were compared with outcomes obtained by the other grid systems.
-
On simplification of residue scaling process in pipelined Radix-4 MQRNS FFT processor
PublikacjaResidue scaling is needed in pipelined FFT radix-4 processors based on the Modified Quadratic Residue Number System (MQRNS) at the output of each butterfly. Such processor uses serial connection of radix-4 butterflies. Each butterfly comprises n subunits, one for each modulus of the RNS base and generates four complex residue numbers. In order to prevent arithmetic overflow intermediate results after each butterfly have to be...
-
On the interspike-intervals of periodically-driven integrate-and-fire models
PublikacjaWe 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
PublikacjaA 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
PublikacjaWe 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)...
-
Pareto Ranking Bisection Algorithm for Expedited Multi-Objective Optimization of Antenna Structures
PublikacjaThe 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...
-
VARIANT DESIGNING IN the PRELIMINARY SMALL SHIP DESIGN PROCESS
PublikacjaShip 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...
-
Stark effect of atomic helium singlet lines
PublikacjaWe 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
PublikacjaThe 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
PublikacjaThe 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
PublikacjaIn 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
PublikacjaProblems 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
PublikacjaIn 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.
PublikacjaThere 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
PublikacjaWe 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
PublikacjaQuaternions 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
PublikacjaThere 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
PublikacjaHybrid 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
PublikacjaTrawl-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...
-
Buckling and shape control of prestressable trusses using optimum number of actuators
PublikacjaThis 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...
-
A Selection of Starting Points for Iterative Position Estimation Algorithms Using Feedforward Neural Networks
PublikacjaThis 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...
-
Model Correction and Optimization Framework for Expedited EM-Driven Surrogate-Assisted Design of Compact Antennas
PublikacjaDesign 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,...
-
Selected elements of the payment cards system in Poland
PublikacjaThe 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
PublikacjaThe 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)
PublikacjaThis 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
PublikacjaThe 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
PublikacjaThe 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 proper (1,2)‐dominating sets in graphs
PublikacjaIn 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
Publikacjaequation 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...
-
On the independence number of some strong products of cycle-powers
PublikacjaIn 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...
-
Benchmarking Parallel Chess Search in Stockfish on Intel Xeon and Intel Xeon Phi Processors
PublikacjaThe 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...
-
Experimental certification of more than one bit of quantum randomness in the two inputs and two outputs scenario
PublikacjaOne 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...
-
Non-Diophantine Arithmetics in Mathematics, Physics and Psychology
PublikacjaFor 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...
-
Deep Learning Optimization for Edge Devices: Analysis of Training Quantization Parameters
PublikacjaThis 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...