Search results for: SEMI–DEFINITE PROGRAMMING
-
Determination of probabilities defining safety of a sea-going ship during performance of a transportation task in stormy weather conditions
PublicationThe paper presents the possibility of applying the theory of semi-Markov processes to determine the limiting distribution for the process of changes of technical states being reliability states of the systems of sea-going ships significantly affecting safety of such ships, which include main engine, propeller and steering gear. The distribution concerns the probabilities of occurrence of the said states defined for a long time...
-
Symposium on Programming Language Implementation and Logic Programming
Conferences -
Database Programming Languages (Databases and Programming Language)
Conferences -
Dawid Ryś dr hab. inż.
PeopleCourses PRINCE2® Foundation Certificate in Project Management Tire-Pavement Interaction course Micromechanical Analysis of Asphalt Concrete
-
PROBLEMY RACJONALNEGO ZASTOSOWANIA SYSTEMÓW DIAGNOZUJĄCYCH DO PODEJMOWANIA DECYZJI W FAZIE EKSPLOATACJI URZĄDZEŃ ENERGETYCZNYCH Z UWZGLĘDNIENIEM ZAGADNIEŃ KWANTOWYCH
PublicationW rozdziale przedstawiono najistotniejsze problemy pojawiające się w fazie projektowania, wytwarzania i eksploatacji systemów diagnozujących (SDG) urządzeń energetycznych (będących systemami diagnozowanymi – SDN), w przypadku przysposabiania ich do opracowania finalnej diagnozy eksploatacyjnej. Przestawiono opisową i formalną interpretację pojęcia systemu diagnozującego (SDG). Zaproponowano modele procesu diagnozowania urządzeń...
-
European Symposium on Programming
Conferences -
Inductive Logic Programming
Conferences -
Constraint Programming Day
Conferences -
Easy formation of acyl-Meldrum's acid anhydride
PublicationAcyl Meldrum's acid are usually a good source of ketenes upon definite thermal composition. However we treated acyl-Meldrum's acid with the Lewis acid and we observed formation of 5[[(2,2-dimethyl-4,6-dioxo-1,3-dioxan 5 ylidene)(acyl/arylamino)mathoxy](acyl/arylamino)methylene]-2,2dimethyl-1,3-dioxane-4,6 dione which means acyl-Meldrum's acid anhydride. The chemical properities of acyl-Meldrum's acid anhydride were explored.
-
Joanna Żukowska dr hab. inż.
PeopleJoanna Żukowska (born in Kwidzyn) – road engineering and transport safety expert. She is a researcher in the field of transport. Her main fields of research are: transport policy, active transport and transport safety. She has experience in programming and implementation of traffic safety management systems. She is an author and co-author of many publications on transport safety, provided expertise for the Polish Infrastructure...
-
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...
-
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...
-
The AFM micrographs of gold nanoparticles on silicon substrate
Open Research DataThe dataset contains the first approach towards AFM topographic imaging of gold nanoparticles synthesized and immobilized on the silicon surface. Measurements were made in the semi-contact mode on the NTEGRA Prima device, manufactured by NT-MDT. Scans were performed with amplitude detection at an operating value of 60% of the free oscillation amplitude....
-
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...
-
Introducing a Computational Method to Retrofit Damaged Buildings under Seismic Mainshock-Aftershock Sequence
PublicationRetrofitting damaged buildings is a challenge for engineers, since commercial software does not have the ability to consider the local damages and deformed shape of a building resulting from the mainshock record of an earthquake before applying the aftershock record. In this research, a computational method for retrofitting of damaged buildings under seismic mainshock-aftershock sequences is proposed, and proposed computational...
-
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...
-
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:...
-
Platform Supporting the Esophageal Impedance Analysis
PublicationThe esophageal pH-impedance examination is one of the most popular diagnostic methods for identifying the upper gastrointestinal tract’s diseases. Inconclusive test evaluation criteria makes it difficult to state the definite diagnosis. In this paper, the computer platform supporting the research and teaching process in the area of pH-impedance analysis is presented. Users, having a variety of mathematical and statistical methods...
-
Microscopic examination of the texture of paper products
Open Research DataAtomic force microscopy (AFM) can be used to study the state of the paper fibers with the aim of providing qualitative and semi-quantitative information on degradation and aging. The work [1] reports the results of tests of various paper products subjected to deliberate aging processes under the influence of various factors. Chemical and biological...
-
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 -
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...
-
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....
-
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...
-
DNA Computing and Molecular Programming (International Meeting on DNA Computing and Molecular Programming)
Conferences -
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.
-
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...
-
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...
-
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...
-
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...
-
Identification of intermetallic phases in the structure of austenitic steel with use of Scanning Kelvin Probe Microscopy
Open Research DataDelta ferrite is formed in austenitic steels during the solidification of the alloy and its welds. It can also occur as a stable phase in any temperature range in high-alloy austenitic-ferritic steels. Depending on the amount, it can change into gamma and sigma phases and into ferrite with variable chromium content. The main role of delta ferrite in...
-
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...
-
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....
-
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
-
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.
-
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...
-
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...