Search results for: Lefschetz numbers of iterations
-
Implementation of Addition and Subtraction Operations in Multiple Precision Arithmetic
PublicationIn 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
PublicationThe 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
PublicationIn 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
PublicationAlthough 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
PublicationNowadays 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
PublicationThe 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
PublicationA 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
PublicationWe 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...
-
A survey on known values and bounds on the Shannon capacity
PublicationIn 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.
-
Weak Stability of Centred Quadratic Stochastic Operators
PublicationWe 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...
-
Benchmarking overlapping communication and computations with multiple streams for modern GPUs
PublicationThe 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
PublicationGiven 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
PublicationSuccessful 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
PublicationThis 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
PublicationThis 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
PublicationIn 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
PublicationResidue 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...
-
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)...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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,...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...