Wyszukiwarka
Wyniki wyszukiwania dla: POLYNOMIAL RESIDUE NUMBER SYSTEM
-
Eqiuitable coloring of corona products of cubic graphs is harder than ordinary coloring
PublikacjaA graph is equitably k-colorable if its vertices can be partitioned into k independent sets in such a way that the number of vertices in any two sets differ by at most one. The smallest k for which such a coloring exists is known as the equitable chromatic number of G. In this paper the problem of determinig the equitable coloring number for coronas of cubic graphs is studied. Although the problem of ordinary coloring of coronas...
-
Restricted open shop scheduling
PublikacjaIn the real applications the open shop scheduling models often require some additional constraints and adequate models. We concern the restrictions in the open shop scheduling related to an instance of the problem and to a feasible solution. Precisely, we require that each jobs consists of the bounded number of operations and each machine has a bounded load (i.e., the total number of operations executed on this machine in a schedule)....
-
Computational aspects of greedy partitioning of graphs
PublikacjaIn this paper we consider a variant of graph partitioning consisting in partitioning the vertex set of a graph into the minimum number of sets such that each of them induces a graph in hereditary class of graphs P (the problem is also known as P-coloring). We focus on the computational complexity of several problems related to greedy partitioning. In particular, we show that given a graph G and an integer k deciding if the greedy...
-
Thermal visualization of Ostwald-de Waele liquid in wavy trapezoidal cavity: Effect of undulation and amplitude
PublikacjaThe present study is concerned with the numerical simulations of Ostwald-de Waele fluid flow in a wavy trapezoidal cavity in the presence of a heated cylinder situated at the center of the cavity. The work consists in characterizing the mixed convection as a function of the intensity of heat flow. The flow behaviour and temperature distribution in a cavity are the main focus of this study. The lower wall of the cavity is fixed...
-
On thermal stability of topological qubit in Kitaev's 4D model
PublikacjaWe analyse stability of the four-dimensional Kitaev model-a candidate for scalable quantum memory - in finite temperature within the weak coupling Markovian limit. It is shown that, below a critical temperature, certain topological qubit observables X and Z possess relaxation times exponentially long in the size of the system. Their construction involves polynomial in system size algorithm which uses as an input the results of...
-
High-Speed Binary-to-Residue Converter Design Using 2-Bit Segmentation of the Input Word
PublikacjaIn this paper a new approach to the design of the high-speed binary-to-residue converter is proposed that allows the attaining of high pipelining rates by eliminating memories used in modulo m generators. The converter algorithm uses segmentation of the input binary word into 2-bit segments. The use and effects of the input word segmentation for the synthesis of converters for five-bit moduli are presented. For the number represented...
-
Dynamic coloring of graphs
PublikacjaDynamics is an inherent feature of many real life systems so it is natural to define and investigate the properties of models that reflect their dynamic nature. Dynamic graph colorings can be naturally applied in system modeling, e.g. for scheduling threads of parallel programs, time sharing in wireless networks, session scheduling in high-speed LAN's, channel assignment in WDM optical networks as well as traffic scheduling. In...
-
The complexity of minimum-length path decompositions
PublikacjaWe consider a bi-criteria generalization of the pathwidth problem, where, for given integers k, l and a graph G, we ask whether there exists a path decomposition P of G such that the width of P is at most k and the number of bags in P, i.e., the length of P, is at most l. We provide a complete complexity classification of the problem in terms of k and l for general graphs. Contrary to the original pathwidth problem, which is fixed-parameter...
-
Scheduling of identical jobs with bipartite incompatibility graphs on uniform machines. Computational experiments
PublikacjaWe consider the problem of scheduling unit-length jobs on three or four uniform parallel machines to minimize the schedule length or total completion time. We assume that the jobs are subject to some types of mutual exclusion constraints, modeled by a bipartite graph of a bounded degree. The edges of the graph correspond to the pairs of jobs that cannot be processed on the same machine. Although the problem is generally NP-hard,...
-
Residue-Pole Methods for Variability Analysis of S-parameters of Microwave Devices with 3D FEM and Mesh Deformation
PublikacjaThis paper presents a new approach for variability analysis of microwave devices with a high dimension of uncertain parameters. The proposed technique is based on modeling an approximation of system by its poles and residues using several modeling methods, including ordinary kriging, Adaptive Polynomial Chaos (APCE), and Support Vector Machine Regression (SVM). The computational cost is compared with the traditional Monte-Carlo...
-
Modeling and analysis of the effectiveness of the guard systemswith dynamic graphs
PublikacjaIn the following paper it will be presented a new model for analysis (in polynomial time) of the effectiveness of the guard systems. Therewill be presented its practical applications in problems such as searching for the weakest points of the system, planning guards' paths or cameras deployment, switching image from multiple cameras on several monitors, or interception of the intruder. This model is based on describing the guarded...
-
Analytical method of modelling the geometric system of communication route
PublikacjaThe paper presents a new analytical approach to modelling the curvature of a communication route by making use of differential equations. The method makes it possible to identify both linear and nonlinear curvature. It enables us to join curves of the same or opposite signs of curvature. Solutions of problems for linear change of curvature and selected variants of nonlinear curvature in polynomial and trigonometric form were analyzed....
-
A 27/26-approximation algorithm for the chromatic sum coloring of bipartitegraphs
PublikacjaWe consider the CHROMATIC SUM PROBLEM on bipartite graphs which appears to be much harder than the classical CHROMATIC NUMBER PROBLEM. We prove that the CHROMATIC SUM PROBLEM is NP-complete on planar bipartite graphs with Delta less than or equal to 5, but polynomial on bipartite graphs with Delta less than or equal to 3, for which we construct an O(n(2))-time algorithm. Hence, we tighten the borderline of intractability for this...
-
Kazimierz Darowicki prof. dr hab. inż.
OsobyStudia wyższe ukończyłem w czerwcu 1981 roku po zdaniu egzaminu dyplomowego i obronie pracy magisterskiej. Opiekunem pracy magisterskiej był dr hab. inż. Tadeusz Szauer. W roku 1991, 27 listopada uzyskałem stopień naukowy broniąc pracę doktorską zatytułowaną „Symulacyjna i korelacyjna analiza widm immitancyjnych inhibitowanej reakcji elektrodowej”. Promotorem pracy był prof. dr hab. inż. Józef Kubicki (Wydział Chemiczny...
-
The complexity of bicriteria tree-depth
PublikacjaThe tree-depth problem can be seen as finding an elimination tree of minimum height for a given input graph G. We introduce a bicriteria generalization in which additionally the width of the elimination tree needs to be bounded by some input integer b. We are interested in the case when G is the line graph of a tree, proving that the problem is NP-hard and obtaining a polynomial-time additive 2b-approximation algorithm. This particular...
-
Development of a tropical disease diagnosis system using artificial neural network and GIS
PublikacjaExpert systems for diagnosis of tropical diseases have been developed and implemented for over a decade with varying degrees of success. While the recent introduction of artificial neural networks has helped to improve the diagnosis accuracy of such systems, this aspect is still negatively affected by the number of supported diseases. A large number of supported diseases usually corresponds to a high number of overlapping symptoms,...
-
Dynamic Analysis of the Turnout Diverging Track for HSR with Variable Curvature Sections
PublikacjaThe paper presents an analytical method of identifying the curvature of the turnout diverging track consisting of sections of varying curvature. Both linear and nonlinear (polynomial) curvatures of the turnout diverging track are identified and evaluated in the paper. The presented method is a universal one, it enables to assume curvature values at the beginning and end point of the geometrical layout of the turnout. The results...
-
Local response surface approximations and variable-fidelity electromagnetic simulations for computationally efficient microwave design optimisation
PublikacjaIn this study, the authors propose a robust and computationally efficient algorithm for simulation-driven design optimisation of microwave structures. Our technique exploits variable-fidelity electromagnetic models of the structure under consideration. The low-fidelity model is optimised using its local response surface approximation surrogates. The high-fidelity model is refined by space mapping with polynomial interpolation of...
-
Global sensitivity analysis of membrane model of abdominal wall with surgical mesh
PublikacjaThe paper addresses the issue of ventral hernia repair. Finite Element simulations can be helpful in the optimization of hernia parameters. A membrane abdominal wall model is proposed in two variants: a healthy one and including hernia defect repaired by implant. The models include many uncertainties, e.g. due to variability of abdominal wall, intraabdominal pressure value etc. Measuring mechanical properties with high accuracy...
-
Polynomial Chaos Expansion in Bio-and Structural Mechanics
PublikacjaThis monograph presents a probabilistic approach to modelling the mechanics of materials and structures where the modelled performance is influenced by uncertainty in the input parameters. The work is interdisciplinary and the methods described are applied to medical and civil engineering problems. The motivation for this work was the necessity of mechanics-based approaches in the modelling and simulation of implants used in the...
-
Polynomial Chaos Expansion in Bio- and Structural Mechanics
PublikacjaThis thesis presents a probabilistic approach to modelling the mechanics of materials and structures where the modelled performance is influenced by uncertainty in the input parameters. The work is interdisciplinary and the methods described are applied to medical and civil engineering problems. The motivation for this work was the necessity of mechanics-based approaches in the modelling and simulation of implants used in the repair...
-
Application of regularized Savitzky–Golay filters to identification of time-varying systems
PublikacjaSavitzky–Golay (SG) filtering is a classical signal smoothing technique based on the local least squares approximation of the analyzed signal by a linear combination of known functions of time (originally — powers of time, which corresponds to polynomial approximation). It is shown that the regularized version of the SG algorithm can be successfully applied to identification of time-varying finite impulse response (FIR) systems....
-
Measured and predicted freeze-thaw days frequencies in climate change conditions in central Poland
PublikacjaThe rate of progression of geomorphological phenomena is greatly influenced by freeze-thaw processes. In the face of air temperature increasing over the past few decades, a question of the future impact of these processes arises, notably in the temperate and cold climate zones. Using the mean, maximum and minimum daily air temperature data in the period 1951–2018 obtained from three weather stations located in the vicinity of Jeziorsko...
-
Regression points in non-intrusive polynomial chaos expansion method and D-optimal design
PublikacjaThe paper addresses selected issues of uncertainty quantification in the modelling of a system containing surgical mesh used in ventral hernia repair. Uncertainties in the models occur e.g. due to variability of abdominal wall properties among others. In order to include them, a non-intrusive regression-based polynomial chaos expansion method is employed. Its accuracy depends on the choice of regression points. In the study a relation...
-
An automatic system for identification of random telegraph signal (RTS) noise in noise signals
PublikacjaIn the paper the automatic and universal system for identification of Random Telegraph Signal (RTS) noise as a non-Gaussian component of the inherent noise signal of semiconductor devices is presented. The system for data acquisition and processing is described. Histograms of the instantaneous values of the noise signals are calculated as the basis for analysis of the noise signal to determine the number of local maxima of histograms...
-
On minimum cost edge searching
PublikacjaWe consider the problem of finding edge search strategies of minimum cost. The cost of a search strategy is the sum of searchers used in the clearing steps of the search. One of the natural questions is whether it is possible to find a search strategy that minimizes both the cost and the number of searchers used to clear a given graph G. We call such a strategy ideal. We prove, by an example, that ideal search strategies do not...
-
Airfoil Design Under Uncertainty Using Non-Intrusive Polynomial Chaos Theory and Utility Functions
PublikacjaFast and accurate airfoil design under uncertainty using non-intrusive polynomial chaos (NIPC) expansions and utility functions is proposed. The NIPC expansions provide a means to efficiently and accurately compute statistical information for a given set of input variables with associated probability distribution. Utility functions provide a way to rigorously formulate the design problem. In this work, these two methods are integrated...
-
Polynomial analysis as a new way of describing dynamic impedance spectra – Differential and relative impedance spectra
PublikacjaModel measurements of an equivalent electrical system were carried out using the technique of Dynamic Electrochemical Impedance Spectroscopy. The measurement took the form of potentiodynamic changes imposed on the tested system. Using the possibility of continuous impedance measurements, an attempt was made to develop an original and innovative method of analyzing impedance spectrograms, which is termed polynomial analysis. As...
-
Application of dispersive liquid - liquid microextraction for determination of pesticides from various chemical groups in water samples
PublikacjaPesticides are a global risk because they move with the wind, rain and sea currents from other regions, which makes getting to places which were never used before. Their presence was detected in all types of water circulating in the ecosystem, which is an easy source of exposure to life and health of all living organisms. Currently, it is considered one of the most dangerous and toxic pollutants, which fate and function is still...
-
1,3,4-Thiadiazole-based diamides: Synthesis and complexation properties
PublikacjaAromatic diamides, derivative of 2,6-pyridinedicarboxylic acid and isophthalic acid, bearing 1,3,4-thiadiazole residue were prepared with satisfactory yields in conventional procedures and microwave stimulated reactions. X-ray structure of N,N-bis (1,3,4-thiadiazol-2-yl)-2,6-pyridinedicarboxamide (2) DMSO solvate (2DMSO) was described. Selective zinc(II), lanthanum(III), terbium(III) and L-tyrosine recognition was found for N,N-bis(1,3,4-thiadiazol-2-yl)-2,6-pyridinedicarboxamide...
-
Testing Stability of Digital Filters Using Optimization Methods with Phase Analysis
PublikacjaIn this paper, novel methods for the evaluation of digital-filter stability are investigated. The methods are based on phase analysis of a complex function in the characteristic equation of a digital filter. It allows for evaluating stability when a characteristic equation is not based on a polynomial. The operation of these methods relies on sampling the unit circle on the complex plane and extracting the phase quadrant of a function...
-
The computational complexity of the backbone coloring problem for planar graphs with connected backbones
PublikacjaIn the paper we study the computational complexity of the backbone coloring problem for planar graphs with connected backbones. For every possible value of integer parameters λ≥2 and k≥1 we show that the following problem: Instance: A simple planar graph GG, its connected spanning subgraph (backbone) HH. Question: Is there a λ-backbone coloring c of G with backbone H such that maxc(V(G))≤k? is either NP-complete or polynomially...
-
Analysis of dynamics of a map-based neuron model via Lorenz maps
PublikacjaModeling nerve cells can facilitate formulating hypotheses about their real behavior and improve understanding of their functioning. In this paper, we study a discrete neuron model introduced by Courbage et al. [Chaos 17, 043109 (2007)], where the originally piecewise linear function defining voltage dynamics is replaced by a cubic polynomial, with an additional parameter responsible for varying the slope. Showing that on a large...
-
Stability analysis of interconnected discrete-time fractional-order LTI state-space systems
PublikacjaIn this paper, a stability analysis of interconnected discrete-time fractional-order (FO) linear time-invariant (LTI) state-space systems is presented. A new system is formed by interconnecting given FO systems using cascade, feedback, parallel interconnections. The stability requirement for such a system is that all zeros of a non-polynomial characteristic equation must be within the unit circle on the complex z-plane. The obtained...
-
The concept of stream and system reliability on the example of the bakery industry
PublikacjaThis article presents a new concept of technological system reliability based on the analysis of the relationship of associations of elements of energy streams, matter, information, time and finance. The method of stream specification and the method of determining the reliability values of significant and supporting relationships are given. Relevant relationships between elements of system streams were defined as having one-time...
-
Multi-Fidelity Local Surrogate Model for Computationally Efficient Microwave Component Design Optimization
PublikacjaIn order to minimize the number of evaluations of high-fidelity (“fine”) model in the optimization process, to increase the optimization speed, and to improve optimal solution accuracy, a robust and computational-efficient multi-fidelity local surrogate-model optimization method is proposed. Based on the principle of response surface approximation, the proposed method exploits the multi-fidelity coarse models and polynomial interpolation...
-
A random signal generation method for microcontrollers with DACs
PublikacjaA new method of noise generation based on software implementation of a 7-bit LFSR based on a common polynomial PRBS7 using microcontrollers equipped with internal ADCs and DACs and a microcontroller noise generator structure are proposed in the paper. Two software applications implementing the method: written in ANSI C and based on the LUT technique and written in AVR Assembler are also proposed. In the method the ADC results are...
-
Józef Kotus dr hab. inż.
Osoby -
Normal-form preemption sequences for an open problem in scheduling theory
PublikacjaStructural properties of optimal preemptive schedules have been studied in a number of recent papers with a primary focus on two structural parameters: the minimum number of preemptions necessary, and a tight lower bound on shifts, i.e., the sizes of intervals bounded by the times created by preemptions, job starts, or completions. These two parameters have been investigated for a large class of preemptive scheduling problems,...
-
Voiceless Stop Consonant Modelling and Synthesis Framework Based on MISO Dynamic System
PublikacjaA voiceless stop consonant phoneme modelling and synthesis framework based on a phoneme modelling in low-frequency range and high-frequency range separately is proposed. The phoneme signal is decomposed into the sums of simpler basic components and described as the output of a linear multiple-input and single-output (MISO) system. The impulse response of each channel is a third order quasi-polynomial. Using this framework, the...
-
An inverse algorithm for contact heat conduction problems with an interfacial heat source based on a first-order thermocouple model
PublikacjaInverse problems of contact heat conduction with an interfacial heat source are common in various fields of science, engineering and technology. In this study, an algorithm for their solution is developed based on an inverse parametric optimisation method with an impulse response function describing the heat partition and contact heat transfer. A first-order thermocouple model with a time constant parameter is embedded in the impulse...
-
Dynamic F-free Coloring of Graphs
PublikacjaA problem of graph F-free coloring consists in partitioning the vertex set of a graph such that none of the resulting sets induces a graph containing a fixed graph F as an induced subgraph. In this paper we consider dynamic F-free coloring in which, similarly as in online coloring, the graph to be colored is not known in advance; it is gradually revealed to the coloring algorithm that has to color each vertex upon request as well...
-
Cops, a fast robber and defensive domination on interval graphs
PublikacjaThe game of Cops and ∞-fast Robber is played by two players, one controlling c cops, the other one robber. The players alternate in turns: all the cops move at once to distance at most one each, the robber moves along any cop-free path. Cops win by sharing a vertex with the robber, the robber by avoiding capture indefinitely. The game was proposed with bounded robber speed by Fomin et al. in “Pursuing a fast robber on a graph”,...
-
Paired domination versus domination and packing number in graphs
PublikacjaGiven a graph G = (V(G), E(G)), the size of a minimum dominating set, minimum paired dominating set, and a minimum total dominating set of a graph G are denoted by γ (G), γpr(G), and γt(G), respectively. For a positive integer k, a k-packing in G is a set S ⊆ V(G) such that for every pair of distinct vertices u and v in S, the distance between u and v is at least k + 1. The k-packing number is the order of a largest kpacking and...
-
Entrained Flow Plasma Gasification of Sewage Sludge–Proof-of-Concept and Fate of Inorganics
PublikacjaSewage sludge is a residue of wastewater processing that is biologically active and consists of water, organic matter, including dead and living pathogens, polycyclic aromatic hydrocarbons, and heavy metals, as well as organic and inorganic pollutants. Landfilling is on the decline, giving way to more environmentally friendly utilisation routes. This paper presents the results of a two-stage gasification–vitrification system, using...
-
Determination of the theoretical and actual working volume of a hydraulic motor
PublikacjaA new methodology of determination of the theoretical and actual working volume of a hydraulic motor based on the characteristics of the delivered flow rate into hydraulic motor vs. the rotational speed at a constant pressure drop in the working chambers is described in this paper. A new method of describing the delivered flow rate into a motor per one shaft revolution as a nonlinear function of the pressure drop in the motor working...
-
Scalable Measurement System for Multiple Impedance Gas Sensors
PublikacjaAuthor proposes scalable architecture of the measurement system for gas sensor with impedance dependance of the gas concentration. The main part of the system is a single-board impedance analyser. The number of analysers working in parallel can be configured according to specific application. The system is controlled by a single computer which organises the measurement cycle and store the acquired measurement data. The system is...
-
The structure of the Polish banking sector in 2004-2018
Dane BadawczeDynamic changes in the banking system in the 1990s contributed to the relative stability of the number of banks in all sectors (state-owned, private, cooperative) after 2004. The total number of banks (including credit institutions) has decreased since 2004 from 653 to 612 in 2018 - it should therefore be noted that in the analyzed period the Polish...
-
No-Wait & No-Idle Open Shop Minimum Makespan Scheduling with Bioperational Jobs
PublikacjaIn the open shop scheduling with bioperational jobs each job consists of two unit operations with a delay between the end of the first operation and the beginning of the second one. No-wait requirement enforces that the delay between operations is equal to 0. No-idle means that there is no idle time on any machine. We model this problem by the interval incidentor (1, 1)-coloring (IIR(1, 1)-coloring) of a graph with the minimum...
-
Possible uses of crisis situation aiding system in virtual world simulation
PublikacjaMany of the real world crisis situations like spreading fire, hostile units attack, flood, and etc. are commonly used in computer games where a simulation of extensive virtual world is crucial. This paper presents some ideas for possible uses of existing crisis situation aiding system in such environments. Moreover it shows how this kind of system can be taught during subsequent games with a large number of players.