Filters
total: 712
filtered: 536
Search results for: SEMI-DEFINITE PROGRAMMING
-
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...
-
On-line ranking of split graphs
PublicationA vertex ranking of a graph G is an assignment of positive integers (colors) to the vertices of G such that each path connecting two vertices of the same color contains a vertex of a higher color. Our main goal is to find a vertex ranking using as few colors as possible. Considering on-line algorithms for vertex ranking of split graphs, we prove that the worst case ratio of the number of colors used by any on-line ranking algorithm...
-
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...
-
DYNAMIC POSITIONING CAPABILITY ASSESSMENT BASED ON OPTIMAL THRUST ALLOCATION
PublicationThe article presents an efficient method of optimal thrust allocation over the actuators in a dynamically positioned ship, according to the DNV-ST-0111 standard, Level 1. The optimisation task is approximated to a convex problem with linear constraints and mathematically formulated as quadratic programming. The case study is being used to illustrate the use of the proposed approach in assessing the DP capability of a rescue ship....
-
Rozdział mocy w układzie napędowym robota podwodnego - porównanie algorytmów alokacji naporów
PublicationPraca dotyczy syntezy systemu automatycznego sterowania robotem podwodnym w zakresie problemu rozdziału mocy w wielopędnikowym układzie napędowym. Do alokacji naporów zastosowano metody optymalizacji z ograniczeniami, pozwalające na wyznaczanie wektora naporów na podstawie wektora sił uogólnionych. Rozważono i porównano dwie metody rozdziału mocy dla robota realizującego ruch poziomy płaski o trzech stopniach swobody, rozpatrując...
-
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.
-
Sprawiedliwe i półsprawiedliwe pokolorowania grafów kubicznych
PublicationW pracy rozpatrywane są sprawiedliwe i półsprawiedliwe pokolorowania grafów kubicznych. Pokazano, że w odróżnieniu od tego pierwszego, który jest łatwy, problem istnienia pokolorowań półsprawiedliwych jest NP-zupełny w szerokim zakresie parametrów grafów.
-
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...
-
Przydział narzędzi obróbkowych a efektywność szeregowania zadań produkcyjnych
PublicationThe paper addresses issues concerning the analysis of tool flow within a multi-machine machining cell, designated to small batch manufacturing a definite spectrum of prismatic parts. The approach utilises a method for job and tool allocation to work centres with limited number of machines and capacity of tool resources, based on the analysis of formalised relations: job - tool sets required. Selected allocation strategies are considered...
-
Modeling and simulation of tool cycle in manufacturing cell
PublicationThe paper addresses issues concerning modeling and analysis of tool flow within a three-machine manufacturing cell used for small batch manufacturing of a definite spectrum of prismatic parts. The approach utilizes a method for job and tool allocation to work centers with limited number of machines and capacity of tool resources, based on the analysis of formalized relations: job - tool sets required. Selected tool flow control...
-
Application of Pierson-Moskowitz wave spectrum to solution differential equations of multihull vessel
PublicationMotion of a dynamic system can be generated by different external or internal factors. At mathematical modelling external excitation factors of the most significant effect on the system, are selected. Such external factors are usually called excitations. Response of the system to given excitations is mathematically characterized by a definite transformation called operator of a system. For a broad class of dynamic systems the...
-
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...
-
Experimental investigation of Steel–Concrete–Polymer composite barrier for the ship internal tank construction
PublicationTransportation of dangerous cargo by ships demands ensuring an appropriate protection level in case of an accident. Two of the most dangerous accident types resulting in an oil spill are grounding and ship to ship collision. The article presents results of research on a new composite construction for a ship hull that increases structural safety during collision. The concept of semi-elastic Steel–Concrete–Polymer structure is presented....
-
Modelling of dark fermentation of glucose and sour cabbage
PublicationIn the article, modified Anaerobic Digestion Models 1 (ADM-1) was tested for modelling dark fermentation for hydrogen production. The model refitting was done with the Euler method. The new model was based on sets of differential equations. The model was checked for hydrogen production from sour cabbage in batch and semi-batch in 5 g VSS (volatile solid suspension)/L and at the semi-batch process from glucose at 5 and 10 g VSS/L....
-
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...
-
On the regularity of the displacement sequence of an orientation preserving circle homeomorphism
PublicationWe investigate the regularity properties of the displacemnet sequence of an orientation preserving circle homeomorphism. is rational, then ηn(z) is asymptotically periodic with semi-period q. This
-
Comparative Study of Machining Technology Selection to Manufacture Large-Size Components of Offshore Constructions
PublicationThe focus of this paper is on process planning for large parts manufacture in systems of definite process capabilities, involving the use of multi-axis machining centres. The analysis of machining heavy mechanical components used in off-shore constructions has been carried out. Setup concepts applied and operation sequences determined in related process plans underwent studies. The paper presents in particular a reasoning approach...
-
AngioScore: An artificial intelligence tool to assess coronary artery lesions
PublicationThe functionality scope of the AngioScore tool in semi-automatic assessment of stenoses according to the SYNTAX scale was presented. An evaluation of the preliminary accuracy of AngioScore in lesion assessment was performed.
-
Equivalent 4-node enhanced assumed strain and hybrid stress shell elements in 6-parameter theory
PublicationWe discuss the equivalence of semi-enhanced assumed strain (EAS) and semi-hybrid stress (SEM) shell finite elements. We use the general nonlinear 6-field shell theory with kinematics composed of generalized displacements composed of the translation field and the rotation field. Due to the presence of rotation tensor the elements have naturally six nodal engineering degrees of freedom. We propose interpolation for a strain field...
-
Reactions on the surface of the implant under the influence of biofilm
PublicationThe contact of a biomaterial with the biological environment in in vitro and in vivo tests leads to the production of a particular ecosystem in which the active roles perform both, the material surface and the extracellular matrix protein forming a biofilm. Proteins affect cell and bacteria adhesion processes, biological activity of cells and activation of inflammatory response.The knowledge of the reaction mechanisms active on...
-
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.
-
Quantum randomness protected against detection loophole attacks
PublicationDevice and semi-device-independent private quantum randomness generators are crucial for applications requiring private randomness. However, they are vulnerable to detection inefficiency attacks and this limits severely their usage for practical purposes. Here, we present a method for protecting semi-device-independent private quantum randomness generators in prepare-and-measure scenarios against detection inefficiency attacks....
-
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...
-
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...
-
Bio‑derived polyurethanes obtained by non‑isocyanate route using polyol‑based bis(cyclic carbonate)s—studies on thermal decomposition behavior
PublicationNon-isocyanate polyurethanes (NIPUs) constitute one of the most prospective groups of eco-friendly materials based on their phosgene-free synthesis pathway. Moreover, one of the steps of their obtaining includes the use of carbon dioxide (CO 2 ), which allows for the promotion of the development of carbon dioxide capture and storage technologies. In this work, non- isocyanate polyurethanes were obtained via three-step synthesis...
-
Computational Approaches to Modeling Artificial Emotion – An Overview of the Proposed Solutions
PublicationCybernetic approach to modeling artificial emotion through the use of different theories of psychology is considered in this paper, presenting a review of twelve proposed solutions: ActAffAct, FLAME, EMA, ParleE, FearNot!, FAtiMA, WASABI, Cathexis, KARO, MAMID, FCM, and xEmotion. The main motivation for this study is founded on the hypothesis that emotions can play a definite utility role of scheduling variables in the construction...
-
Linear Pantographic Sheets: Existence and Uniqueness of Weak Solutions
Publicationwe address the well-posedness of the planar linearized equilibrium problem for homogenized pantographic lattices. To do so: (i) we introduce a class of subsets of anisotropic Sobolev’s space as the most suitable energy space E relative to assigned boundary conditions; (ii) we prove that the considered strain energy density is coercive and positive definite in E ; (iii) we prove that the set of placements for which the strain...
-
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.
-
Numerical analysis of elastic wave propagation in unbounded structures
PublicationThe main objective of this paper is to show the effectiveness and usefulness of the concept of an absorbing layer with increasing damping (ALID) in numerical investigations of elastic wave propagation in unbounded engineering structures. This has been achieved by the authors by a careful investigation of three different types of structures characterised by gradually increasing geometrical and mathematical description complexities....
-
Model energetyczny łożysk ślizgowych silników spalinowych o zapłonie samoczynnym w aspekcie diagnostyki. XXIV Międzynarodowe Sympozjum Siłowni Okrętowych.
PublicationPrzedstawiono zagadnienie tworzenia modelu energetycznego łożysk ślizgowych silników o zapłonie samoczynnym z uwzględnieniem diagnostyki. Wykazano przydatność procesu semi-markowskiego jako modelu zmian stanów technicznych łożysk ślizgowych.
-
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...
-
Energetyczny aspekt diagnostyki maszyn
PublicationW artykule przedstawiono interpretację wartościującą działania, które jest tu rozpatrywane jako wielkość fizyczna o jednostce miary, nazwanej dżulosekundą. Przedstawiono oryginalną metodę analizy i oceny działania maszyn w ujęciu energetycznym dla potrzeb diagnostycznych. Do uzasadnienia przydatności tak rozumianego działania zastosowano jednorodny proces Poissona i proces semi-Markowa. Procesy te umożliwiły skonstruowanie modelu...
-
Very accurate time propagation of coupled Schrödinger equations for femto- and attosecond physics and chemistry, with C++ source code
PublicationIn this article, I present a very fast and high-precision (up to 33 decimal places) C++ implementation of the semi-global time propagation algorithm for a system of coupled Schrödinger equations with a time-dependent Hamiltonian. It can be used to describe time-dependent processes in molecular systems after excitation by femto- and attosecond laser pulses. It also works with an arbitrary user supplied Hamiltonian and can be used...
-
Smoothed transition curve for railways
PublicationThe work draws attention to the existing situation in the area of transition curves used in the geometric layouts of the railway track. Difficulties in the practical implementation and maintenance of very small horizontal ordinates of the transition curve and the ordinates of the gradient due to cant in the initial section, appearing on smooth transition curves, were indicated. The main reason for this situation was the excessive...
-
Features of load and wear of main propulsion devices on sea-going ships with piston combustion engines and their impact on changes in technical states of the systems
PublicationThe paper presents the specificity of operation of propulsion systems of seagoing ships which causes the need to control the load on them, especially on their engines called main engines. The characteristics of the load on the propulsion systems, especially on the main engines as well as on the shaft lines and propellers driven by the engines, along with the process of wear in tribological joints (sliding tribological systems)...
-
DevEmo—Software Developers’ Facial Expression Dataset
PublicationThe COVID-19 pandemic has increased the relevance of remote activities and digital tools for education, work, and other aspects of daily life. This reality has highlighted the need for emotion recognition technology to better understand the emotions of computer users and provide support in remote environments. Emotion recognition can play a critical role in improving the remote experience and ensuring that individuals are able...
-
Analysis of the impact of AOP on source code quality: Paradox of aspect-oriented separation of concerns
PublicationAlmost four decades ago, Parnas advocated modularity for the sake of changeability, independent development, and comprehensibility. The recipe for modularization is to define a clean interface, hide an implementation detail, keep low coupling and high cohesion. Although modules have taken many forms over the years from functions and procedures to classes, no form has been capable of expressing so-called crosscutting concerns in...
-
Application development for Android, iOS and BlackBerry mobile platforms
PublicationMobile devices, along with dedicated operating systems, have become a substantial and rising trend in software development. Computer industry has significantly changed in order to fulfil the needs of this new segment of the market. Authors have participated in projects, which involved programming on Android, iOS and BlackBerry operating systems. In this paper the most popular mobile platforms (and multiplatform Unity3D environment)...
-
Implementing Integrated Territorial Investments
PublicationThe chapter presents the first experiences related to the implementation of the Integrated Territorial Investment (ITI). In the case of the Pomeranian region in Poland, this process was associated with the creation of a broad partnership and bottom-up approach to the development strategy programming for Urban Functional Areas. In this paper, we try to assess the effectiveness of this process, by defining its strong points and bottlenecks,...
-
An Analysis of Scattering from Ferrite Post of Arbitrary Convex Cross Section with the Use of Field Matching Method
PublicationA problem of electromagnetic wave scattering from ferrite post is presented. The post is assumed to be located in closed areas as waveguide junction, or in open area illuminated by a plane wave. The object is of arbitrary convex cross section and the method of analysis is semi-analytical, based on the direct field matching technique.
-
Urban regeneration in urban functional areas in Poland as an instrument of implementation of the EU Cohesion Policy
PublicationThis study examines the role of urban regeneration policies in planning and governance within urban functional areas (UFAs) in Poland, in the context of the EU Cohesion Policy (CP). The empirical part of this study is based on comparing the approaches adopted in two Polish regions: Pomerania and Silesia. We describe the first successes but also the bottlenecks of the process, from negotiations and programming up to the implementation...
-
Generative Process Planning with Reasoning based on Geometrical Product Specification
PublicationThe focus of this paper is on computer aided process planning for parts manufacture in systems of definite process capabilities, involving the use of multi-axis machining centers for parts shaping and grinding machines for finishing. It presents in particular a decision making scheme for setup determination as a part of generative process planning. The planning procedurę consists of two stages. The first stage is associated with...
-
New transition curve adapted to railway operational requirements
PublicationThe paper points to the limited possibilities of improving the existing situation in the area of transition curves used in geometrical layouts of the railway track. Difficulties in the practical implementation and maintenance of very small horizontal ordinates of the transition curve and the ordinates of the gradient due to cant in the initial section, appearing on smooth transition curves, were indicated. The main reason for this...
-
A CONCEPT OF DETERMINING THE RELATION BETWEEN LOAD AND WEAR OF TRIBOLOGICAL SYSTEMS OF SHIP MAIN SELF-IGNITION ENGINES BY USING PROBABILISTIC APPROACH PROBABILISTIC APPROACH
PublicationThis paper presents a proposal of simultaneous consideration of load and wear associated with it , of tribological systems of ship main engines (intended for ship propulsion) . Based on results of investigations it was assumed that both the load Q (i.e. a cause of wear ) and the wear Z (i.e. an effect of load occurrence) considered in a given time t(0 ≤ t ≤ t) are random variables Qt and Zt, respectively. There was characterized...
-
Stereoscopy in Graphics APIs for CAVE Applications
PublicationThe paper compares the advantages and disadvantages of a variety of Graphics Application Programming Interfaces (APIs) from the perspective of obtaining stereoscopy in applications written for a CAVE virtual reality environment. A number of problems have been diagnosed and an attempt has been made to solve them using OpenGL, DirectX 11 and 12, Vulkan, as well as the Unity Engine which can internally use DirectX, OpenGL and Vulkan,...
-
Multi-level Virtualization and Its Impact on System Performance in Cloud Computing
PublicationThe results of benchmarking tests of multi-level virtualized environments are presented. There is analysed the performance impact of hardware virtualization, container-type isolation and programming level abstraction. The comparison is made on the basis of a proposed score metric that allows you to compare different aspects of performance. There is general performance (CPU and memory), networking, disk operations and application-like...
-
Developing a methodology for model tests of floating platforms in a towing tank of low depth
PublicationThe paper presents two ways to mooring model of semi-submersible platform for research in the small depth towing pool. The tested model was made in the likeness of 1:100 Thunder Horse platform moored in the Gulf of Mexico at a depth of 1,920 m. Its mooring system consisted of 16 semi-taut mooring lines (chain-wire-chain) spaced Star-shape and attached at the bottom to the suction piles. The tests were performed in the towing pool...