Filters
total: 1832
filtered: 1423
displaying 1000 best results Help
Search results for: INTEGER LINEAR PROGRAMMING
-
Implementation of the FOPID Algorithm in the PLC Controller - PWR Thermal Power Control Case Study
PublicationIn the paper authors describe proposition of design and verification procedures of the discrete Fractional Order PID (FOPID) algorithm for control of the Pressurized Water Reactor (PWR) thermal power near its nominal operating point. The FOPID algorithm synthesis consists of: off-line optimal tunning of its parameters in continuous time-domain with LQ (Linear Quadratic) performance index and simplified models of nuclear reactor...
-
The Backbone Coloring Problem for Bipartite Backbones
PublicationLet G be a simple graph, H be its spanning subgraph and λ≥2 be an integer. By a λ -backbone coloring of G with backbone H we mean any function c that assigns positive integers to vertices of G in such a way that |c(u)−c(v)|≥1 for each edge uv∈E(G) and |c(u)−c(v)|≥λ for each edge uv∈E(H) . The λ -backbone chromatic number BBCλ(G,H) is the smallest integer k such that there exists a λ -backbone coloring c of G with backbone H satisfying...
-
Buckling of thin-walled columns accounting for initial geometrical imperfections
PublicationThe paper is devoted to the effect of some geometrical imperfections on the critical buckling load of axially compressed thin-walled I-columns. The analytical formulas for the critical torsional and flexural buckling loads accounting for the initial curvature of the column axis or the twist angle respectively are derived. The classical assumptions of theory of thin-walled beams with non-deformable cross-sections are adopted. The...
-
Współczesne metody zapewniania jakości oprogramowania. Od klasyki do zwinności
PublicationKsiążka opisuje problematykę jakości w kontekście metod wytwarzania oprogramowania. Składa się z 22 rozdziałów podzielonych na 6 części: Znaczenie jakości oprogramowania, Podstawowe pojęcia i problemy jakości, Jakość w ujęciu klasycznym, Pomiary jakości, Dokumentacja i normy jakości procesu, Jakość w podejściu zwinnym. Zebrany materiał pokazuje ewolucję podejścia do jakości w klasycznych metodykach wytwarzania (od modelu kaskadowego...
-
Fractional Order Dynamic Positioning Controller
PublicationImproving the performance of Dynamic Positioning System in such applications as station keeping, position mooring and slow speed references tracking requires improving the position and heading control precision. These goals can be achieved through the improvement of the ship control system. Fractional-order calculus is a very useful tool which extends classical, integer-order calculus and is used in contemporary modeling and control...
-
Global Optimization for Recovery of Clipped Signals Corrupted With Poisson-Gaussian Noise
PublicationWe study a variational formulation for reconstructing nonlinearly distorted signals corrupted with a Poisson-Gaussian noise. In this situation, the data fidelity term consists of a sum of a weighted least squares term and a logarithmic one. Both of them are precomposed by a nonlinearity, modelling a clipping effect, which is assumed to be rational. A regularization term, being a piecewise rational approximation of the ℓ0 function...
-
Planning a Cost-Effective Delay-Constrained Passive Optical Network for 5G Fronthaul
PublicationWith the rapid growth in the telecommunications industry moving towards 5G and beyond (5GB) and the emergence of data-hungry and time-sensitive applications, Mobile Network Operators (MNOs) are faced with a considerable challenge to keep up with these new demands. Cloud radio access network (CRAN) has emerged as a cost-effective architecture that improves 5GB performance. The fronthaul segment of the CRAN necessitates a high-capacity...
-
The computational complexity of the backbone coloring problem for planar graphs with connected backbones
PublicationIn 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...
-
Types of Markov Fields and Tilings
PublicationThe method of types is one of the most popular techniques in information theory and combinatorics. However, thus far the method has been mostly applied to one-dimensional Markov processes, and it has not been thoroughly studied for general Markov fields. Markov fields over a finite alphabet of size m ≥ 2 can be viewed as models for multi-dimensional systems with local interactions. The locality of these interactions is represented...
-
FPGA computation of magnitude of complex numbers using modified CORDIC algorithm
PublicationIn this work we present computation of the magnitude of complex numbers using a modified version of the CORDIC algorithm that uses only five iterations. The relationship between the computation error and the number of CORDIC iterations are presented for floating-point and integer arithmetics. The proposed modification of CORDIC for integer arithmetic relies upon the introduction of correction once basic computations are performed...
-
Evolutionary Algorithms in MPLS network designing
PublicationMPLS technology become more and more popular especially in core networks giving great flexibility and compatibility with existing Internet protocols. There is a need to optimal design such networks and optimal bandwidth allocation. Linear Programming is not time efficient and does not solve nonlinear problems. Heuristic algorithms are believed to deal with these disadvantages and the most promising of them are Evolutionary Algorithms....
-
Multiprocessor Implementation of Parallel Multiobjective Genetic Algorithm for Optimized Allocation of Chlorination Stations in Drinking Water Distribution System a New Water Quality Model Approach
PublicationThe Critical Infrastructure Systems (CISs) have received in recent years a considerable attention due to their heavy impact on sustainable development of modern societies. Most CISs may be classied as large scale complex systems of network structure, in uenced by strong interactions form the surrounding environment, internal and external interconnections. The later is a result of inter-CIS dependencies. The control, monitoring...
-
Expedite EM-driven generation of Pareto-optimal trade-off curves for variable-turn on-chip inductors
PublicationThis work presents a novel approach to computationally efficient Pareto front identification for variable-turn on-chip inductors. The final outcome is a set of solutions that correspond to the best trade-offs between conflicting design objectives. Here, we consider minimising inductor area and, simultaneously, maximising its quality factor, while maintaining a specified inductance value at a given operating frequency. As opposed...
-
High-Power Jamming Attack Mitigation Techniques in Spectrally-Spatially Flexible Optical Networks
PublicationThis work presents efficient connection provisioning techniques mitigating high-power jamming attacks in spectrally-spatially flexible optical networks (SS-FONs) utilizing multicore fibers. High-power jamming attacks are modeled based on their impact on the lightpaths’ quality of transmission (QoT) through inter-core crosstalk. Based on a desired threshold on a lightpath’s QoT, the modulation format used, the length of the path,...
-
On the relationship between the structural and volumetric properties of solvated metal ions in O-donor solvents using new structural data in amide solvents
PublicationThe structures of the N,N-dimethylformamide (dmf), N,N-dimethylacetamide (dma), and N,N-dimethylpropionamide (dmp) solvated strontium and barium ions have been determined in solution using large angle X-ray scattering and EXAFS spectroscopy. The strontium ion has a mean coordination number (CN) between 6.2 and 6.8, and the barium ion has a mean CN between 7.1 and 7.8 in these amide solvents. The non-integer numbers indicates that...
-
Interpolation properties of domination parameters of a graph
PublicationAn integer-valued graph function π is an interpolating function if a set π(T(G))={π(T): T∈TT(G)} consists of consecutive integers, where TT(G) is the set of all spanning trees of a connected graph G. We consider the interpolation properties of domination related parameters.
-
Benchmarking Performance of a Hybrid Intel Xeon/Xeon Phi System for Parallel Computation of Similarity Measures Between Large Vectors
PublicationThe paper deals with parallelization of computing similarity measures between large vectors. Such computations are important components within many applications and consequently are of high importance. Rather than focusing on optimization of the algorithm itself, assuming specific measures, the paper assumes a general scheme for finding similarity measures for all pairs of vectors and investigates optimizations for scalability...
-
Block graphs with large paired domination multisubdivision number
PublicationThe paired domination multisubdivision number of a nonempty graph G, denoted by msdpr(G), is the smallest positive integer k such that there exists an edge which must be subdivided k times to increase the paired domination number of G. It is known that msdpr(G) ≤ 4 for all graphs G. We characterize block graphs with msdpr(G) = 4.
-
Modern Platform for Parallel Algorithms Testing: Java on Intel Xeon Phi
PublicationParallel algorithms are popular method of increasing system performance. Apart from showing their properties using asymptotic analysis, proof-of-concept implementation and practical experiments are often required. In order to speed up the development and provide simple and easily accessible testing environment that enables execution of reliable experiments, the paper proposes a platform with multi-core computational accelerator:...
-
Quasi-controlled Experimentations on the Impact of AOP on Software Comprehensibility
PublicationAspect-oriented programming (AOP) emerged as a paradigm to modularize the concerns that lead to interwoven code if implemented using traditional programming techniques. Unfortunately, the new constructs introduced by aspect-oriented (AO) languages result in both: (1) obstacles in modular reasoning, and (2) high coupling between aspects and the augmented modules. There have been numerous attempts to tackle these issues, but none...
-
Zastosowanie programowania parametrycznego w planowaniu operacji obróbki elementów o powtarzalnej geometrii
PublicationPorównywano zastosowania dostępnych technik programowania obróbki numerycznej przedmiotów o powtarzających się elementach konstrukcji. Analizowano możliwości stosowania programowania parametrycznego w trybie programowania zorientowanego warsztatowo oraz pracy w środowisku systemu klasy CAM. Zwrócono uwagę na przejrzystość tworzonego programu w aspekcie możliwości jego edycji i korekty składni, formy zapisu programu w pamięci obrabiarki...
-
Fast implementation of FDTD-compatible green's function on multicore processor
PublicationIn this letter, numerically efficient implementation of the finite-difference time domain (FDTD)-compatible Green's function on a multicore processor is presented. Recently, closed-form expression of this discrete Green's function (DGF) was derived, which simplifies its application in the FDTD simulations of radiation and scattering problems. Unfortunately, the new DGF expression involves binomial coefficients, whose computations...
-
Using similar classification tasks in feature extractor learning
PublicationThe article presents and experimentally verify the idea of automatic construction of feature extractors in classification problems. The extractors are created by genetic programming techniques using classification examples taken from other problems then the problem under consideration.
-
On the mixing property and the ergodic principle for nonhomogeneous Markov chains
PublicationW pracy rozważane są różne typy zachowania granicznego nieskończenie wymiarowych niejednorodnych łańcuchów Markowa z czasem dyskretnym. Badana jest struktura geometryczna zbioru łańcuchów Markowa w normowej i mocnej topologii operatorowej.
-
Investigating an Optimal Computational Strategy to Retrofit Buildings with Implementing Viscous Dampers
PublicationCivil engineering structures may seriously suffer from different damage states re-sult of earthquakes. Nowadays, retrofitting the existing buildings is a serious need among designers. Two important factors of required performance level and cost of retrofitting play a crucial role in the retrofitting approach. In this study, a new optimal computational strategy to retrofit structures by implementing linear Viscous Dampers (VDs)...
-
Polish Experience of Implementing Vision Zero
PublicationPurpose of Review The aim of this study is to present an outline and the principles of Poland’s road safety strategic programming as it has developed over the last 25 years since the first Integrated Road Safety System with a strong focus on Sweden’s “Vision Zero”. Recent Findings Countries that have successfully improved road safety have done so by following strategies centred around the idea that people are not infallible and...
-
Computational aspects of greedy partitioning of graphs
PublicationIn 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...
-
Cost-Efficient Optical Fronthaul Architectures for 5G and Future 6G Networks
PublicationFifth-generation and Beyond (5GB) wireless networks have introduced new centralized architectures such as cloud radio access network (CRAN), which necessitate extremely high-capacity low latency Fronthaul (FH). CRAN has many advantageous features in terms of cost reduction, performance enhancement, ease of deployment, and centralization of network management. Nevertheless, designing and deploying a cost-efficient FH is still a...
-
Dynamic Positioning Capability Assessment for Ship Design Purposes
PublicationThe article focuses on solving a problem of optimal thrust distribution over the actuators in a ship Dynamic Positioning, according to DNV-ST-0111 standard, Level 1. The classic Quadratic Programming approach is combined with the numerical solusion used to handle the propeller with the rudder constraints in the optimization task and the influence between thrusters and skeg. It is presented as an efficient method of minimizing the...
-
Scheduling with Complete Multipartite Incompatibility Graph on Parallel Machines
PublicationIn this paper we consider a problem of job scheduling on parallel machines with a presence of incompatibilities between jobs. The incompatibility relation can be modeled as a complete multipartite graph in which each edge denotes a pair of jobs that cannot be scheduled on the same machine. Our research stems from the works of Bodlaender, Jansen, and Woeginger (1994) and Bodlaender and Jansen (1993). In particular, we pursue the...
-
Optimization of hybrid parallel application execution in heterogeneous high performance computing systems considering execution time and power consumption
PublicationMany important computational problems require utilization of high performance computing (HPC) systems that consist of multi-level structures combining higher and higher numbers of devices with various characteristics. Utilizing full power of such systems requires programming parallel applications that are hybrid in two meanings: they can utilize parallelism on multiple levels at the same time and combine together programming interfaces...
-
Sprzętowa implementacja transformacji Hougha w czasie rzeczywistym
PublicationW artykule przedstawiono implementację sprzętową w FPGA algorytmu do wykrywania kształtów aproksymowanych zbiorem linii prostych podczas przetwarzania obrazu cyfrowego w czasie rzeczywistym. W opracowanej strukturze sprzętowej podniesiono efektywność przetwarzania poprzez zastosowanie przetwarzania przepływowego, lookup table, wykorzystanie wyłącznie arytmetyki liczb całkowitych oraz rozproszenie pamięci głosowania. Eksperymentalnie...
-
A New Approach to Stability Evaluation of Digital Filters
PublicationIn this paper, a new numerical method of evaluating digital filter stability is presented. This approach is based on novel root-finding algorithms at the complex plane using the Delaunay triangulation and Cauchy's Argument Principle. The presented algorithm locates unstable zeros of the characteristic equation with their multiplicities. The proposed method is generic and can be applied to a vast range of systems. Verification of...
-
Thermal Self-Action of Acoustic Beams Containing Several Shock Fronts
PublicationThermal self-action of an acoustic beam with one discontinuity or several shock fronts is studied in a Newtonian fluid. The stationary self-action of a single sawtooth wave with discontinuity (or some integer number of these waves), symmetric or asymmetric, is considered in the cases of self-focusing and self- defocusing media. The results are compared with the non-stationary thermal self-action of the periodic sound. Thermal self-action...
-
T-colorings, divisibility and circular chromatic number
PublicationLet T be a T-set, i.e., a finite set of nonnegative integers satisfying 0 ∈ T, and G be a graph. In the paper we study relations between the T-edge spans espT (G) and espd⊙T (G), where d is a positive integer and d ⊙ T = {0 ≤ t ≤ d (max T + 1): d |t ⇒ t/d ∈ T} . We show that espd⊙T (G) = d espT (G) − r, where r, 0 ≤ r ≤ d − 1, is an integer that depends on T and G. Next we focus on the case T = {0} and show that espd⊙{0} (G) =...
-
Scheduling with Complete Multipartite Incompatibility Graph on Parallel Machines: Complexity and Algorithms
PublicationIn this paper, the problem of scheduling on parallel machines with a presence of incompatibilities between jobs is considered. The incompatibility relation can be modeled as a complete multipartite graph in which each edge denotes a pair of jobs that cannot be scheduled on the same machine. The paper provides several results concerning schedules, optimal or approximate with respect to the two most popular criteria of optimality:...
-
Non linear identification of underwater vehicles. W: [CD-ROM] Conference Proceedings. The 29th Israel Conference on Mechanical Engineering. May 12-13, 2003 Haifa, Israel. Haifa: Technion - Israel Inst. Technol.**2003[B8] s. 1-8, 5 rys. bibliogr. 7 poz. Nieliniowa identyfikacja pojazdów podwodnych.
PublicationArtykuł dotyczy identyfikacji nieliniowych modeli pojazdów podwodnych o wie-lu zmiennych. Zaproponowana metoda działa w obszarze czasu rzeczywistego imoże być stosowana do nieliniowych modeli, które są liniowe w części doty-czącej nieznanego wektora parametrów. W celu poradzenia sobie z parametramizmieniającymi się w czasie, zastosowano rekursyjną wersję algorytmu identy-fikacji. Po krótkim opisie matematycznych podstaw...
-
Metoda chromatyczna i jej zastosowania techniczne
PublicationArtykuł ma charakter przeglądowy. Przedstawiono w nim najważniejsze modele koloryzowania grafów i ich zastosowania w wybranych problemach technicznych. Ponieważ jest to wiodąca tematyka badawcza Katedry Podstaw Informatyki Wydziału ETI Politechniki Gdańskiej, praca służy również upowszechnianiu dorobku naukowego pracowników Katedry oraz osób z nią współpracujących w opisywanej dziedzinie.
-
The equivariant spectral flow and bifurcation of periodic solutions of Hamiltonian systems
PublicationWe define a spectral flow for paths of selfadjoint Fredholm operators that are equivariant under the orthogonal action of a compact Lie group as an element of the representation ring of the latter. This G-equivariant spectral flow shares all common properties of the integer valued classical spectral flow, and it can be non-trivial even if the classical spectral flow vanishes. Our main theorem uses the G-equivariant spectral flow...
-
High performance filtering for big datasets from Airborne Laser Scanning with CUDA technology
PublicationThere are many studies on the problems of processing big datasets provided by Airborne Laser Scanning (ALS). The processing of point clouds is often executed in stages or on the fragments of the measurement set. Therefore, solutions that enable the processing of the entire cloud at the same time in a simple, fast, efficient way are the subject of many researches. In this paper, authors propose to use General-Purpose computation...
-
FPGA Based Real Time Simulations of the Face Milling Process
PublicationThe article presents a successful implementation of the milling process simulation at the Field-Programmable Gate Array (FPGA). By using FPGA, very rigorous Real-Time (RT) simulation requirements can be met. The response time of the FPGA simulations is significantly reduced, and the time synchronization is better than in a typical RT system implemented in software. The FPGA-based approach is characterized by enormous flexibility...
-
PROGRAMMABLE YANG - BASED INTERFACE IN CONTROL OF OPTICAL TRANSPORT NETWORK
PublicationSince over a decade we observe intensive effort of research institutions and industrial consortia on extending flexibility and automation of the transport network control also known under the term network programmability. Key aspect of each programming interface is ability to evolve but also sensitivity to future modifications. As indicated in the past work in the specific context of optical transport networks an important criterion...
-
5G/6G optical fronthaul modeling: cost and energy consumption assessment
PublicationIn fifth generation (5G) and the future beyond 5G (6G) radio access networks (RANs), the cost of fronthaul deployment is a main challenge for mobile network operators. Depending on different constraints, there are various solutions to deploy an efficient fronthaul. Fiber-optic-based fronthaul offers long-term support with regard to a rapid increase in capacity demands. When fiber connections, either point-to-point (P2P) or point-to-multipoint...
-
Design of Cost-Efficient Optical Fronthaul for 5G/6G Networks: An Optimization Perspective
PublicationCurrently, 5G and the forthcoming 6G mobile communication systems are the most promising cellular generations expected to beat the growing hunger for bandwidth and enable the fully connected world presented by the Internet of Everything (IoE). The cloud radio access network (CRAN) has been proposed as a promising architecture for meeting the needs and goals of 5G/6G (5G and beyond) networks. Nevertheless, the provisioning of cost-efficient...
-
Acceleration of the discrete Green's function computations
PublicationResults of the acceleration of the 3-D discrete Green's function (DGF) computations on the multicore processor are presented. The code was developed in the multiple precision arithmetic with use of the OpenMP parallel programming interface. As a result, the speedup factor of three orders of magnitude compared to the previous implementation was obtained thus applicability of the DGF in FDTD simulations was significantly improved.
-
ON THE NON-LOCALITY OF TRIPARTITE NON-SINGALING BOXES EMERGING FROM WIRINGS
PublicationIt has been recently shown, that some of the tripartite boxes admittin g bilocal decom- position, lead to non-locality under wiring operation applied to t wo of the subsystems [R. Gallego et al. Physical Review Letters 109 , 070401 (2012)]. In the following, we study this phenomenon quantitatively. Basing on the known classes of bo xes closed un- der wirings, we introduce multipartite monotones which are count erparts of bipartite ones...
-
Generalized Dold sequences on partially-ordered sets
PublicationDold sequences constitute an important class of integer sequences that play an important role in combinatorics, number theory, topology and dynamical systems. We generalize the notion of Dold sequence for the case of partially ordered sets and describe their properties. In particular we give two alternative descriptions of generalized Dold sequences: by some class of elementary sequences as well as by different...
-
Polyhedral Ramsey Numbers
PublicationGiven two polygons or polyhedrons P1 and P2, we can transform these figures to graphs G1 and G2, respectively. The polyhedral Ramsey number Rp(G1,G2) is the smallest integer n such that every graph, which represents polyhedron on n vertices either contains a copy of G1 or its complement contains a copy of G2. Using a computer search together with some theoretical results we have established some polyhedral Ramsey numbers, for example...
-
Optimal backbone coloring of split graphs with matching backbones
PublicationFor a graph G with a given subgraph H, the backbone coloring is defined as the mapping c: V(G) -> N+ such that |c(u)-c(v)| >= 2 for each edge uv \in E(H) and |c(u)-c(v)| >= 1 for each edge uv \in E(G). The backbone chromatic number BBC(G;H) is the smallest integer k such that there exists a backbone coloring with max c(V(G)) = k. In this paper, we present the algorithm for the backbone coloring of split graphs with matching backbone.
-
Applicability of Emotion Recognition and Induction Methods to Study the Behavior of Programmers
PublicationRecent studies in the field of software engineering have shown that positive emotions can increase and negative emotions decrease the productivity of programmers. In the field of affective computing, many methods and tools to recognize the emotions of computer users were proposed. However, it has not been verified yet which of them can be used to monitor the emotional states of software developers. The paper describes a study carried...