Filters
total: 598
filtered: 311
Search results for: Lefchetz numbers of iterations
-
Trees with equal restrained domination and total restrained domination numbers
PublicationW publikacji scharakteryzowano wszystkie drzewa, w których liczby dominowania powściągniętego oraz podwójnie totalnego są sobie równe.
-
Pipelined division of signed numbers with the use of residue arithmetic in FPGA
PublicationAn architecture of a pipelined signed residue divider for small number ranges is presented. The divider makes use of the multiplicative division algorithm where initially the reciprocal of the divisor is calculated and subsequently multiplied by the dividend. The divisor represented in the signed binary form is used to compute the approximated reciprocal in the residue form by the table look-up. In order to reduce the needed length...
-
Fast rns scaling of signed numbers based on the chinese remainder theorem
PublicationPrzedstawiono architekturę szybkiego skalera resztowego dla liczb ze znakiem dla modułów 5-bitowych opartego na chińskim twierdzeniu o resztach. W architekturze zastosowano wyznaczanie projekcji ortogonalnych przy użyciu funkcji logicznych 5 zmiennych, sumator kodulo m/k oraz wejściowy konwerter do systemu resztowego. Operacja modulo m/k jest wykonywana przy zastosowaniu drzewa 4-operandowych sumatorów modulo 2m/k i końcowego...
-
Numbers, Please: Power- and Voltage-Related Indices in Control of a Turbine-Generator Set
PublicationThis paper discusses the proper selection and interpretation of aggregated control performance indices values mirroring the quality of electrical energy generation by a turbine-generator set cooperating with a power system. Typically, a set of basic/classical and individual indices is used in energy engineering to ensure the mirroring feature and is related to voltage, frequency and active or reactive power deviations from their...
-
Increased Certification of Semi-device Independent Random Numbers using Many Inputs and More Postprocessing
PublicationQuantum communication with systems of dimension larger than two provides advantages in information processing tasks. Examples include higher rates of key distribution and random number generation. The main disadvantage of using such multi-dimensional quantum systems is the increased complexity of the experimental setup. Here, we analyze a not-so-obvious problem: the relation between randomness certification and computational requirements...
-
Solvation numbers of manganese(II) and zinc(II) perchlorates in methanol obtained from volumetric and compressibility properties
PublicationZmierzono gęstości roztworów nadchloranów manganu(II) i cynku(II) w metanolu w temperaturach: 283.15, 288.15, 293.15, 298.15, 303.15, 308.15, 313.15 K. Ponadto wyznaczono szybkości rozchodzenia się dźwięku w badanych roztworach w 298.15 K. Uzyskane wielkości pozwoliły na obliczenie pozornych objętości molowych oraz pozornych molowych ściśliwości adiabatycznych elektrolitów w metanolu. Oszacowane wielkości graniczne wykorzystane...
-
Pipelined division of signed numbers with the use of residue arithmetic for small number range with the programmable gate array
PublicationIn this work an architecture of the pipelined signed residue divider for the small number range is presented. Its operation is based on reciprocal calculation and multiplication by the dividend. The divisor in the signed binary form is used to compute the approximated reciprocal in the residue form by the table look-up. In order to limit the look-up table address an algorithm based on segmentation of the divisor into two segments...
-
NUMERICAL ANALYSIS OF SPECIES DIFFUSION AND METHANOL DECOMPOSITION IN THERMOCATALYTIC REACTOR BASED ON THE INTERMETALLIC PHASE OF Ni3Al FOR LOW REYNOLDS NUMBERS
PublicationNumerical modelling of hydrogen production by means of methanol decomposition in a thermocatalytic reactor using corrugated foil made of the Ni3Al intermetallic phase is shown in the paper. Experimental results of the flow analysis of mixtures containing helium and methanol in a thermocatalytic reactor with microchannels were used for the initial calibration of the CFD calculations (calculations based on the Computational Fluid...
-
Dendron to Central Core S1–S1 and S2–Sn (n>1) Energy Transfers in Artificial Special Pairs Containing Dendrimers with Limited Numbers of Conformations
PublicationTwo dendrimers consisting of a cofacial free-base bisporphyrin held by a biphenylene spacer and functionalized with 4-benzeneoxomethane (5-(4-benzene)tri-10,15,20-(4-n-octylbenzene)zinc(II)porphyrin) using either five or six of the six available meso-positions, have been synthesized and characterized as models for the antenna effect in Photosystems I and II. The presence of the short linkers, -CH2O-, and long C8H17 soluble side...
-
Executing Multiple Simulations in the MERPSYS Environment
PublicationThe chapter investigates the steps necessary to perform a simulation instance in the MERPSYS environment and discusses potential limitations in case when vast numbers of simulations are required. An extended architecture is proposed which includes a JMS-based simulation queue and multiple distributed simulators, overcoming the potential bottlenecks. The chapter introduces also methods for preparing suites of multiple simulations...
-
Adaptive Hyperparameter Tuning within Neural Network-based Efficient Global Optimization
PublicationIn this paper, adaptive hyperparameter optimization (HPO) strategies within the efficient global optimization (EGO) with neural network (NN)-based prediction and uncertainty (EGONN) algorithm are proposed. These strategies utilize Bayesian optimization and multiarmed bandit optimization to tune HPs during the sequential sampling process either every iteration (HPO-1itr) or every five iterations (HPO-5itr). Through experiments using...
-
Liczby Ramseya on-line dla różnych klas grafów
PublicationRozpatrujemy grę rozgrywaną na nieskończonej liczbie wierzchołków, w której każda runda polega na wskazaniu krawędzi przez jednego gracza - Budowniczego oraz pokolorowaniu jej przez drugiego gracza - Malarkę na jeden z dwóch kolorów, czerwony lub niebieski. Celem Budowniczego jest zmuszenie Malarki do stworzenia monochromatycznej kopii wcześniej ustalonego grafu H w jak najmniejszej możliwej liczbie ruchów. Zakładamy, że gracze...
-
Experimental investigations on heat transfer enhancement in shell coil heat exchanger with VARIABLE Baffles GEOMETRY
PublicationThe paper presents the possibility of using passive intensification of heat transfer in the form of baffles to increase the energy efficiency of the shell and coil heat exchanger. The experiment was carried out by using a modular coil heat exchanger in the form of an electric heater. Water was used as a working fluid with constant thermal-flow parameters at the inlet of the module. It should be noted that experiments were made...
-
Increasing accuracy of frequency estimation by decimation. W: [CD-ROM]EUSIPCO 2002. XI European Signal Processing Conference. Toulouse, France, September 3-6, 2002. [B.m.]: New Medias**2002 [4 s. 3 rys. bibliogr. 6 poz.] Page numbers in the proceedings: Volume 3, s. 135-138. Zwiększanie dokładności estymacji częstotliwości poprzez decymację.
PublicationArtykuł rozważa problem estymacji częstotliwości zaszumionego, sinusoidalne-go sygnału zespolonego. Częstotliwość wyznaczana jest w oparciu o autoregre-syjny model sygnału. W pracy wykazano, że wprowadzenie decymacji sygnału po-zwala na redukcję rzędu modelu autoregresyjnego, a tym samym powoduje znacz=ne zmniejszenie złożoności obliczeniowej metody.
-
Wavelet filtering of signals without using model functions
PublicationThe effective wavelet filtering of real signals is impossible without determining their shape. The shape of a real signal is related to its wavelet spectrum. For shape analysis, a continuous color wavelet spectrogram of signal level is often used. The disadvantage of continuous wavelet spectrogram is the complexity of analyzing a blurry color image. A real signal with additive noise strongly distorts the spectrogram based on continuous...
-
Total chromatic sum for trees
PublicationThe total chromatic sum of a graph is the minimum sum of colors (natural numbers) taken over all proper colorings of vertices and edges of a graph. We provide infinite families of trees for which the minimum number of colors to achieve the total chromatic sum is equal to the total chromatic number. We construct infinite families of trees for which these numbers are not equal, disproving the conjecture from 2012.
-
Complexity Issues on of Secondary Domination Number
PublicationIn this paper we study the computational complexity issues of the problem of secondary domination (known also as (1, 2)-domination) in several graph classes. We also study the computational complexity of the problem of determining whether the domination and secondary domination numbers are equal. In particular, we study the influence of triangles and vertices of degree 1 on these numbers. Also, an optimal algorithm for finding...
-
Non-Linear Analysis of Structures Utilizing Load-Discretization of Stiffness Matrix Method with Coordinate Update
PublicationThis paper proposes a stiffness method based structural analysis algorithm for geometrically non-linear structures. In this study, the applied load on the joints has been discretized to a sequence of a few loadings applied. Each loading step produces incremental external nodal displacements, which are added to the corresponding coordinates to get a new geometrical shape of the structure. This process is iteratively repeated until...
-
Product Graph Invariants with Applications in the Theory of Information
PublicationThere are a large number of graph invariants. In the paper, we consider some of them, e.g. the independence and chromatic numbers. It is well know that we cannot efficiently calculate these numbers for arbitrary graphs. In the paper we present relations between these invariants and concepts from the theory of information. Concepts such as source coding and transmission over a noisy channel with zero probability of error are modeled...
-
Fixed point indices of iterated smooth maps in arbitrary dimension
PublicationWe give a complete description of possible sequences ofindices of iterations of f at an isolated fixed point, answering inaffirmative the Chow, Mallet-Paret and Yorke conjecture posed in[S.N. Chow, J. Mallet-Parret, J.A. Yorke, A periodic point index whichis a bifurcation invariant, in: Geometric Dynamics, Rio de Janeiro,1981, in: Lecture Notes in Math., vol. 1007, Springer, Berlin, 1983,pp. 109-131].
-
Performance of data transmission in UMTS with turbo code about decreased number of states
PublicationIn the paper a structure of turbo encoder and decoder about decreased number of states has been described. The simulation results of transmission performance based on turbo coding without the reduction of the number of iterations for the uplink and downlink of WCDMA/FDD interface have been presented. The SOVA algorithm for turbo decoding has been used. The investigations have been carried out for Outdoor to Indoor & Pedestrian...
-
Problems of modelling toxic compounds emitted by a marine internal combustion engine for the evaluation of its structure parameters
PublicationThe paper presents the possibility of using an analytical study of the engine exhaust ignition to evaluate the technical condition of the selected components. Software tools available for the analysis of experimental data commonly use multiple regression model that allows the study of the effects and iterations between model input quantities and one output variable. The use of multi-equation models gives a lot of freedom in the...
-
New Proofs of Some Fibonacci Identities
PublicationLucas proved in 1876 several identities for Fibonacci numbers. We give elementary and short proofs of them.
-
Firing map for periodically and almost-periodically driven integrate-and-fire models: a dynamical systems approach
PublicationWe consider the Leaky Integrate-and-Fire and Perfect Integrator models of neuron’s dynamics with the input function being periodic and almost-periodic (in the sense of Stepanov). In particular we analyze properties and dynamics of the so-called firing map, which iterations give timings of consecutive spikes of a neuron. In case of a periodic input function we provide a detailed description of the sequence of interspike-intervals,...
-
Dynamics of Field Line Mappings in Magnetic Flux Tubes
PublicationWe 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...
-
Periodic Points for Sphere Maps Preserving MonopoleFoliations
PublicationLet 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...
-
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...
-
Periodic expansion in determining minimal sets of Lefschetz periods for Morse–Smale diffeomorphisms
PublicationWe apply the representation of Lefschetz numbers of iterates in the form of periodic expansion to determine the minimal sets of Lefschetz periods of Morse–Smale diffeomorphisms. Applying this approach we present an algorithmic method of finding the family of minimal sets of Lefschetz periods for Ng, a non-orientable compact surfaces without boundary of genus g. We also partially confirm the conjecture of Llibre and Sirvent (J Diff...
-
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...
-
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....
-
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...
-
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...
-
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...
-
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...
-
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.
-
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....
-
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....
-
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...
-
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.
-
Minimization of the number of periodic points for smooth self-maps of closed simply-connected 4-manifolds
PublicationLet M be a smooth closed simply-connected 4-dimensional manifold, f be a smooth self-map of M with fast grow of Lefschetz numbers and r be a product of different primes. The authors calculate the invariant equal to the minimal number of r-periodic points in the smooth homotopy class of f.
-
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)...
-
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...
-
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...