Search
Search results for: semi-definite programming
-
The semi-Markov model of energy state changes of the main marine internal combustion engine and method for evaluating its operation during ships voyage
PublicationPrzedstawiono metodę oceny działania tłokowych silników spalinowych napędu głównego statków morskich, nazywanych silnikami głównymi, działających w różnych warunkach ich eksploatacji. Metoda ta umożliwia obliczenie wartości działania w wyniku zastosowania teorii procesów semimarkowskich i statystyki matematycznej. Znamienne jest to, że działanie wspomnianych silników spalinowych zostało przyrównane do wielkości fizycznej, którą...
-
Assessing agri-environmental schemes for semi-natural grasslands during a 5-year period: can we see positive effects for vascular plants and pollinators?
Publication -
CNC Programming: W/L/P; DaPE; 6th semester, 1st grade, Summer 22/23 (M:320405W0)
e-Learning CoursesDesign and Production Engineering (Faculty of Mechanical Engineering and Ship Technology), 1st degree, 6th semester Lectures, laboratories and project exercises
-
CNC Programming: W/L/P; DaPE; 1st grade, 6th semester, summer 23/24 (M:320405W0)
e-Learning Courses -
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING
Journals -
Bulletin of the South Ural State University Series-Mathematical Modelling Programming & Computer Software
Journals -
PRO DIALOG COMPUTER PROGRAMMING AND APPLICATIONS
Journals -
Grzegorz Szwoch dr hab. inż.
PeopleGrzegorz Szwoch was born in 1972 in Gdansk. In 1991-1996 he studied at the Technical University of Gdansk. In 1996 he graduated as a student from the Sound Engineering Department. His thesis was related to physical modeling of musical instruments. Since that time he has been a member of the research staff at the Multimedia Systems Department as a PhD student (1996-2001), Assistant (2001-2004), Assistant professor (2004-2020) and...
-
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...
-
Robustness of quantum-randomness expansion protocols in the presence of noise
PublicationIn this paper we investigate properties of several randomness generation protocols in the device independent framework. Using Bell-type inequalities it is possible to certify that the numbers generated by an untrusted device are indeed random. We present a selection of certificates which guarantee two bits of randomness for each run of the experiment in the noiseless case and require the parties to share a maximally entangled state....
-
Topographic AFM imaging of the leaf surface with magnification of details of its morphological structure
Open Research DataTopographic imaging of the leaf surface with magnification of details of its morphological structure. Measurements in semi-contact mode. NTEGRA Prima (NT-MDT) device. NSG 01 probe.
-
Krzysztof Goczyła prof. dr hab. inż.
PeopleKrzysztof Goczyła, full professor of Gdańsk University of Technology, computer scientist, a specialist in software engineering, knowledge engineering and databases. He graduated from the Faculty of Electronics Technical University of Gdansk in 1976 with a degree in electronic engineering, specializing in automation. Since then he has been working at Gdańsk University of Technology. In 1982 he obtained a doctorate in computer science...
-
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...
-
Dawid Ryś dr hab. inż.
PeopleCourses PRINCE2® Foundation Certificate in Project Management Tire-Pavement Interaction course Micromechanical Analysis of Asphalt Concrete
-
Symposium on Programming Language Implementation and Logic Programming
Conferences -
Database Programming Languages (Databases and Programming Language)
Conferences -
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ń...
-
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...
-
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...
-
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.
-
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...
-
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....
-
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...
-
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...
-
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...
-
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...
-
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 -
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...
-
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.
-
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.
-
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...