Search results for: SEMI-DEFINITE PROGRAMMING
-
IEEE Conference on Open Architecture and Network Programming
Conferences -
ACM-SIGACT Symposium on Principles of Programming Languages
Conferences -
An facile Fortran-95 algorithm to simulate complex instabilities in three-dimensional hyperbolic systems
Open Research DataIt is well know that the simulation of fractional systems is a difficult task from all points of view. In particular, the computer implementation of numerical algorithms to simulate fractional systems of partial differential equations in three dimensions is a hard task which has no been solved satisfactorily. Here, we provide a Fortran-95 code to solve...
-
Silicon microcantilever with impedance sensor
Open Research DataThe issue of microelectromechanical systems (MEMS) [1] has been enjoying popularity and interest since the 90s of the 20th century. Microcells are one of the simplest devices of this type, but they can be widely used in sensors. There are reports on the possibility of using this type of sensors in the context of such important issues as diagnostics...
-
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...
-
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...
-
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...
-
The Suzuki model of the multipath fading channel
Open Research DataThe dataset contains the results of simulations that are part of the research on modelling the multipath fading in the communication channel. The Suzuki fading envelope is generated using the Monte-Carlo simulation (MCS) in the LabVIEW programming environment.
-
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...
-
Robotic manipulators, Lab, MiBM, st. I, sem.6 (PG_00053663) 03.2022 Fri
e-Learning CoursesThe course Manipulators and Industrial Robots (laboratory) is for students of the 6th semester of a full-time bachelor's degree studies of Mechatronics. The course includes laboratory classes in the field of industrial manipulators - their construction, features, components, control, and modular robots - their programming and models.
-
Robotic manipulators, Lab, MiBM, st. I, sem.6 (PG_00053663) 03.2023
e-Learning CoursesThe course Manipulators and Industrial Robots (laboratory) is for students of the 6th semester of a full-time bachelor's degree studies of Mechatronics. The course includes laboratory classes in the field of industrial manipulators - their construction, features, components, control, and modular robots - their programming and models.
-
Robotic manipulators, Lab, MiBM, st. I, sem.6 (PG_00053663) 03.2024 kopia 1
e-Learning CoursesThe course Manipulators and Industrial Robots (laboratory) is for students of the 6th semester of a full-time bachelor's degree studies of Mechatronics. The course includes laboratory classes in the field of industrial manipulators - their construction, features, components, control, and modular robots - their programming and models.
-
Robotic manipulators, Lab, MiBM, st. I, sem.6 (PG_00053663) 03.2024
e-Learning CoursesThe course Manipulators and Industrial Robots (laboratory) is for students of the 6th semester of a full-time bachelor's degree studies of Mechatronics. The course includes laboratory classes in the field of industrial manipulators - their construction, features, components, control, and modular robots - their programming and models.
-
Jerzy Proficz dr hab. inż.
PeopleJerzy Proficz, Ph.D. is the director of the Centre of Informatics – Tricity Academic Supercomputer & networK (CI TASK) at Gdansk University of Technology, Poland. He earned his Ph.D. (2012) in HPC (High Performance Computing) in the subject of supercomputer resource provisioning and management for on-line data processing D.Sc. (2022) in the discipline: Information and Communication Technology. Author and co-author of over 50...
-
Towards an efficient multi-stage Riemann solver for nuclear physics simulations
PublicationRelativistic numerical hydrodynamics is an important tool in high energy nuclear science. However, such simulations are extremely demanding in terms of computing power. This paper focuses on improving the speed of solving the Riemann problem with the MUSTA-FORCE algorithm by employing the CUDA parallel programming model. We also propose a new approach to 3D finite difference algorithms, which employ a GPU that uses surface memory....
-
Employing Blended E-Learning to Improve Rate of Assignments Handing-In
PublicationIt has been observed that students hand in homework assignments at a notably low rate in introductory C programming course. A survey has revealed that the real issue was not student learning but instructor work organization. Based on survey results, the physical course has been complemented with an e-learning component to guide the homework process. Assignment handing-in rate significantly improved, as e-learning allowed the homework...
-
Equitable coloring of hypergraphs
PublicationA hypergraph is equitablyk-colorable if its vertices can be partitioned into k sets/colorclasses in such a way that monochromatic edges are avoided and the number of verticesin any two color classes differs by at most one. We prove that the problem of equitable 2-coloring of hypergraphs is NP-complete even for 3-uniform hyperstars. Finally, we apply the method of dynamic programming for designing a polynomial-time algorithm to...
-
Uczenie maszynowe do samoorganizacji systemów rozproszonych w zastosowaniach gospodarczych
PublicationW pracy omówiono uczenie maszynowe do samoorganizacji systemów rozproszonych w zastosowaniach gospodarczych ze szczególnym uwzględnieniem sieci neuronowych do predykcji finansowych oraz szacowania ratingu przedsiębiorstw. Oprócz sieci neuronowych, istotną rolę w przygotowaniu i testowaniu informatycznych systemów finansowych może pełnić programowanie genetyczne. Z tego powodu omówiono uczenie maszynowe w aplikacjach konstruowanych...
-
Usage of Memi-Markov Process in Operation Evaluation of Diesel Engine
PublicationIn paper, the proposition of quantitative evaluation of operation using semi-Markov processes theories has been presented. Basic assumptions, essential for creating mathematical model on example of diesel engine were shown. Special attention was given to practical aspects of using established mathematical model. Example of characteristic of analysed process - temporary distribution of probability was assigned.
-
Robotics, Lab, MiBM, st. II, sem.1 (PG_00057380) 03.2022 Thu
e-Learning CoursesThe course Robotics (laboratory) is for students of the 1st semester of a full-time Master degree studies of Machine Design. The course includes laboratory classes in the field of industrial manipulators - their construction, features, components, control, and modular robots - their programming and models.
-
Compensation of supply current harmonics, reactive power, and unbalanced load current balance in the closed-loop control of a shunt active power filter
PublicationThis paper presents the compensation tasks performed by a shunt active power filter, including compensation of harmonic currents, reactive power, and an unbalanced load current. The paper demonstrates novel control of the shunt active power filter in a closed-loop system. The control algorithm was verified by performing simulations and compared the simulated results with those obtained in an open-loop control system. All simulations...
-
Rehabilitation device supporting active and passive upper limb exercises
PublicationThis article presents a mechatronic solution for rehabilitation devices supporting active and passive exercises in persons with motor dysfunctions of the upper limbs in the area of the elbow and shoulder joints. A planar positioner integrated with original software and a control system, served as the basis for creating the present solution. Bellman’s programming method was applied to optimize the motion trajectory of the planar...
-
Towards detecting programmers’ stress on the basis of keystroke dynamics
PublicationThe article describes the idea of detecting stress among programmers on the basis of keystroke dynamics. An experiment with a group of students of artificial intelligence classes was performed. Two samples of keystroke data were recorded for each case, the first while programming without stress, the second under time pressure. A number of timing and frequency parameters were calculated for each sample. Then statistical analysis...
-
A Simplistic Downlink Channel Estimation Method for NB-IoT
PublicationThis paper presents a downlink channel estimation method intended for a Narrowband Internet of Things (NB-IoT) access link. Due to its low computational complexity, this method is well suited for energy-efficient IoT devices, still providing acceptable reception quality in terms of signal-to-noise (SNR) performance. This paper describes the physical layer of NB-IoT within the scope of channel estimation, and also reviews existing...
-
Jarosław Bąkowski dr inż. arch.
Peopledr inż. Jarosław Bąkowski, assistant professor in the Department of Marine and Industrial Architecture, Faculty of Architecture, Gdansk University of Technology.The subject of his interest is the programming and designing methodology of functionally complex buildings (especially the healthcare architecture buildings, mainly hospitals). He conducts research on optimization of the design process for functional and utility analysis....
-
Review of Diameter protocol implementations for realization of communication in NGN networks
PublicationIn the paper Diameter protocol as well as its applications in the context of Next Generation Network (NGN) are described. Diameter message content and Attribute-Value Pairs (AVPs) concept are presented. Critical review of open source Diameter implementations is carried out. The performed analysis takes into consideration programming language, availability, support and documentation aspects. Basing on the review project fulfilling...
-
Energetuc aspect of diesel engine operotion
PublicationW artykule zaproponowano interpretację wartościującą działania, które (podobnie jak przedstawione mechanice klasycznej działania Hamiltona i Maupertiusa oraz działanie wynikające ze zmiany pędu ciała) jest rozpatrywane jako wielkość fizyczna o jednostce miary zwanej dżulosekundą [dżulsekunda]. Przedstawiono oryginalną metodę analizy i oceny działania silników o zapłonie samoczynnym w ujęciu energetycznym dla potrzeb eksploatacyjnych....
-
Developing Methodology for Model Tests of Floating Platforms in Low -Depth Towing Tank
PublicationThe paper presents two different methods of physical modeling of semi-submersible platform mooring system for research in low depth towing tank. The tested model was made in the scale of 1:100 resembling the "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 starshape and attached at the bottom to suction piles. The tests...
-
Engineering Au nanoparticle arrays on SiO2 glass by pulsed UV laser irradiation
PublicationWe study semi-regular arrays of Au nanoparticles (NP) obtained via UV laser irradiation of thin Au films on glass substrate. The NP structures are prepared from films of a thickness up to 60 nm produced by discharge sputtering or pulsed laser deposition, and annealed by nanosecond laser pulses at 266 or 308 nm, respectively, at fluencies in the range of 60-410 mJ/cm2. For the rare- and close-packed NP structures, consistent description...
-
Customizing nano-chitosan for sustainable drug delivery
PublicationChitosan is a natural polymer with acceptable biocompatibility, biodegradability, and mechanical stability; hence, it has been widely appraised for drug and gene delivery applications. However, there has been no comprehensive assessment to tailor-make chitosan cross-linkers of various types and functionalities as well as complex chitosan-based semi- and full-interpenetrating networks for drug delivery systems (DDSs). Herein, various...
-
The evaluation of eGlasses eye tracking module as an extension for Scratch
PublicationIn this paper we present the possibility of using eGlasses eye tracking module as an extension for Scratch programming tool which is a visual programming language supporting computer skills learning. The main concept behind this project is to setup the interface for rapid interaction design. Eye tracking is a powerful tool for hands free communication but for that requires a dedicated software. This software is rarely tailored...
-
International French Speaking Conference on Logic and Constraint Programming
Conferences -
Joint Conference on Declarative Programming APPIA-GULP-PRODE
Conferences -
International Conference on Logic Programming and Non-monotonic Reasoning
Conferences -
ACM-SIGPLAN Conference on Programming Language Design and Implementation
Conferences -
International workshop on High-Level Parallel Programming and Applications
Conferences -
Images of topography and mechanical properties (phase imaging) of cast iron samples from water installations
Open Research DataMeasurements in contact and semi-contact mode. NTEGRA Prima (NT-MDT) device. CSG 10.
-
Imaging of graphene surface by means of tapping mode AFM
Open Research DataGraphene [1] is a material consisting of carbon planes with a hexagonal structure. One of the facts of interest from a purely scientific point of view is the very high mobility of electrons in the described material, allowing the study of relativistic effects inside a solid sample. Other features, such as bactericidal activity, make graphene an interesting...
-
System pozycjonowania dynamicznego morskich jednostek pływających jako system mechatroniczny
PublicationW artykule przedstawiano system pozycjonowania dynamicznego półzanurzeniowej platformy wiertniczej, który jest rozpatrywany jako system mechatroniczny. W szczególności zaś zaprezentowano systemy referencyjne utrzymania stanowiska pozycyjnego na morzu, urządzenia nawigacyjne, czujniki ruchów własnych jednostki pływającej i anemometry rozważane jako czujniki systemu mechatronicznego oraz pędniki azymutalne rozważane jako nastawniki...
-
Corporate social responsibility in reference to environmental statements within EMAS system in small and medium enterprises
PublicationAccording to the corporate social responsibility concept, organisations should apply any mechanisms available supporting their business actions contributing i.e. to the improvement of natural environment. Among them is EMAS eco-management and audit scheme. The prove of its implementation is environmental statement and entering the organisation into a national EMAS register. The aim of the statement is informing the society and...
-
MaliciousIDE – software development environment that evokes emotions
PublicationEmotions affect every aspect of human live, including work. Numerous studies in software engineering have shown that negative emotions can lower the productivity of programmers. Unlike traditional approaches to managing software development, modern methods, such as Agile and Lean, take into account human aspects of programming. To thoroughly investigate the impact of negative emotions on the work of programmers, a malicious integrated...
-
Improving flexibility and performance of PVM applications by distributed partial evaluation
PublicationA new framework for developing both flexible and efficient PVM applications is described. We propose Architecture Templates Interface (ATI) that allows to control application granularity and parallelism. To ensure high application efficiency we extend partial evaluation strategy into domain of distributed applications obtaining Distributed Partial Evaluation (DPE). Both ATI and DPE were implemented using a new distributed programming...
-
Isolation of xanthone and benzophenone derivatives from Cyclopia genistoides (L.) Vent. (honeybush) and their pro-apoptotic activity on synoviocytes from patients with rheumatoid arthritis
PublicationA fast and efficient method for the isolation of the C-glucosidated xanthones mangiferin and isomangiferin from the South-African plant Cyclopia genistoides was developed for the first time. Two benzophenone derivatives: 3-C-β-glucosides of maclurin and iriflophenone, were isolated from C. genistoides extracts using semi-preparative. The structures of the compounds were determined by 1D and 2D NMR experiments and/or LC-DAD-ESI–MS.
-
CFD and FEM model of an underwater vehicle propeller
PublicationDuring the project execution of design and optimization the Remotely Operated Vehicle (ROV) research on its propulsion has been carried out. The entire project was supported by CFD and FEM calculations, which taking into account the characteristics of underwater vehicle. One of the tasks was to optimize the semi-open duct for horizontal propellers, which provided propulsion and controllability in horizontal plane. In order to...
-
A SHORT REVIEW OF BLOOD FLOW MODELLING METHODS: FROM MACRO- TO MICROSCALES
PublicationThe aim of this paper it to review various scale approaches to the blood flow modelling. Blood motion may be described by three types of mathematical models according to the observed scales or resolutions, namely microscopic, mesoscopic and macroscopic descriptions. The above approaches are discussed together with their advantages and disadvantages. Several results of mesoscopic simulations are presented with particular attention...
-
Szybka identyfikacja harmonicznych na podstawie oszczędnego próbkowania
PublicationW pracy przedstawiono implementację szybkiego algorytmu rekonstrukcji sygnału, opartego na teorii oszczędnego próbkowania, który może wykrywać harmoniczne w sygnale wejściowym. Zagadnienie rekonstrukcji sygnału jest problemem optymalizacyjnym rozwiązywanym za pomocą algorytmu programowania liniowego. Dodatkowo, aby przyspieszyć zbieżność rozwiązania zastosowano w rzadkiej dziedzinie sygnału filtr typu K-rank-order. Przeprowadzona...
-
Optymalizacja strategii sieci inteligentnych agentów za pomocą programowania genetycznego w systemie rozproszonym realizującym paradygmat volunteer computing
PublicationDynamicznie rosnąca złożoność i wymagania w odniesieniu do rozproszonych systemów informatycznych utrudnia zarządzanie dostępnymi zasobami sprzętowymi i programistycznymi. Z tego powodu celem rozprawy jest opracowanie wielokryterialnej metody programowania genetycznego, która pozwala na optymalizację strategii zespołu inteligentnych agentów programistycznych w zakresie zarządzania systemem realizującym paradygmat volunteer computing....
-
Neurocontrolled Car Speed System
PublicationThe features of the synthesis of neural controllers for the car speed control system are considered in this article. The task of synthesis is to determine the weight coefficients of neural networks that provide the implementation of proportional and proportional-integralderivative control laws. The synthesis of controllers is based on an approach that uses a reversed model of the standard. A model of the car speed control system with...