displaying 1000 best results Help
Search results for: INTEGER LINEAR PROGRAMMING
-
Karolina Lademann Mgr
People -
Marcin Kujawa dr hab. inż.
PeopleI have graduated from the Faculty of Civil Engineering, Gdańsk University of Technology (https://pg.edu.pl/en) in 1999. I received my M.Sc. degree in civil engineering structures with specialization in bridge structures. Next, in 2007, I received my doctoral degree in technical sciences under the supervision of professor Czesław Szymczak (Scopus Author ID: 6603993146) at the Faculty of Civil Engineering, Gdańsk University of Technology....
-
Dawid Zieliński dr inż.
PeopleDawid Zieliński uzyskał tytuł magistra inżyniera w 2017 roku na Wydziale Mechanicznych Politechniki Gdańskiej, kończąc kierunek: Mechanika i Budowa Maszyn, specjalność: Technologia Maszyn i Komputerowe Wspomaganie Produkcji. W okresie 2016-17 studiował na Uniwersytecie Technicznym w Berlinie (Technische Universität Berlin – TU Berlin) oraz pracował w instytucie naukowym – Institut für Werkzeugmaschinen und Fabrikbetrieb (IWF) Technische...
-
Rafał Leszczyna dr hab. inż.
PeopleDr hab. Rafal Leszczyna is an associate professor at Gdansk University of Technology, Faculty of Management and Economics. He holds the M.Sc. degrees of Computer Science and Business Management. In December, 2006 he earned a Ph.D. in Computer Science, specialisation - Computer Security at the Faculty of Electronics, Telecommunications and Informatics of Gdansk University of Technology. Between 2004 and 2008 he worked in the European...
-
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.
-
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...
-
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...
-
Functional and Declarative Programming in Education
Conferences -
International Conference on Logic Programming
Conferences -
International Logic Programming Symposium
Conferences -
International Conference on Functional Programming
Conferences -
Logic Programming and Automated Reasoning
Conferences -
Programming Language Techniques for XML
Conferences -
Principles and Practice of Parallel Programming
Conferences -
Annual Conference on Evolutionary Programming
Conferences -
European Conference on Genetic Programming
Conferences -
Workshop on Component-Oriented Programming
Conferences -
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.
-
DNA Computing and Molecular Programming (International Meeting on DNA Computing and Molecular Programming)
Conferences -
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.
-
Justyna Signerska-Rynkowska dr inż.
PeopleI am currently an assistant professor (adjunct) at Gdansk University of Technology (Department of Differential Equations and Mathematics Applications). My scientific interests include dynamical systems theory, chaos theory and their applications to modeling of biological phenomena, especially to neurosciences. In June 2013 I completed PhD in Mathematics at the Institute of Mathematics of Polish Academy of Sciences (IMPAN) (thesis...
-
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...
-
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...
-
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...
-
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...
-
Karolina Zielińska-Dąbkowska dr inż. arch.
PeopleKarolina M. Zielinska-Dabkowska, Ph.D., Eng. Arch., M. Arch., is an Assistant Professor at the Faculty of Architecture of Gdańsk University of Technology (GUT). In 2002, she completed her studies of Architecture and Urban Planning at Gdańsk University of Technology (Gdańsk Tech) and in 2004, Architectural Engineering at the University of Applied Sciences and Arts (HAWK) in Hildesheim, Germany. After graduation, she worked for several...
-
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...
-
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:...
-
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) =...
-
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.
-
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...
-
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...
-
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...
-
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...
-
International Conference on Algebraic and Logic Programming
Conferences -
International Symposium on Functional and Logic Programming
Conferences -
Workshop on Programming Languages and Operating Systems
Conferences -
European Conference on Object-Oriented Programming
Conferences -
Workshop on Multiparadigm Programming with OO Languages
Conferences -
International Colloquium on Automata Languages and Programming
Conferences -
ASIAN Symposium on Programming Languages and Systems
Conferences -
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...