Filtry
wszystkich: 712
-
Katalog
Wyniki wyszukiwania dla: semi-definite programming
-
International Conference on Principles and Practice of Declarative Programming
Konferencje -
IEEE Conference on Open Architecture and Network Programming
Konferencje -
ACM-SIGACT Symposium on Principles of Programming Languages
Konferencje -
An facile Fortran-95 algorithm to simulate complex instabilities in three-dimensional hyperbolic systems
Dane BadawczeIt 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...
-
New transition curve adapted to railway operational requirements
PublikacjaThe 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
PublikacjaThis 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
PublikacjaThe 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...
-
Fundamentals of thermodynamics and heat transfer, W/C, GTM (WCh), sem.04, zimowy 23/24 (PG_00048767)
Kursy OnlineTable of contents presented on the course: Basic terms.The first law of thermodynamics for closed and open systems.The properties of perfect, semi-perfect and real gases.Gas rights. Thermal and caloric state equation.Thermodynamic transformations of a perfect gas.Gaseous thermodynamic cycles. The second law of thermodynamics.Steam and steam cycles.Basics of heat exchange.
-
Silicon microcantilever with impedance sensor
Dane BadawczeThe 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...
-
Stereoscopy in Graphics APIs for CAVE Applications
PublikacjaThe 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
PublikacjaThe 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
Dane BadawczeThe 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
PublikacjaThe 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...
-
Towards an efficient multi-stage Riemann solver for nuclear physics simulations
PublikacjaRelativistic 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....
-
Equitable coloring of hypergraphs
PublikacjaA 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...
-
Employing Blended E-Learning to Improve Rate of Assignments Handing-In
PublikacjaIt 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...
-
Jerzy Proficz dr hab. inż.
OsobyJerzy Proficz – dyrektor Centrum Informatycznego Trójmiejskiej Akademickiej Sieci Komputerowej (CI TASK) na Politechnice Gdańskiej. Uzyskał stopień naukowy doktora habilitowanego (2022) w dyscyplinie: Informatyka techniczna i telekomunikacja. Autor i współautor ponad 50 artykułów w czasopismach i na konferencjach naukowych związanych głównie z równoległym przetwarzaniem danych na komputerach dużej mocy (HPC, chmura obliczeniowa). Udział...
-
Robotic manipulators, Lab, MiBM, st. I, sem.6 (PG_00053663) 03.2022 Fri
Kursy OnlineThe 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
Kursy OnlineThe 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
Kursy OnlineThe 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
Kursy OnlineThe 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.
-
Uczenie maszynowe do samoorganizacji systemów rozproszonych w zastosowaniach gospodarczych
PublikacjaW 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
PublikacjaIn 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.
-
Rehabilitation device supporting active and passive upper limb exercises
PublikacjaThis 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
PublikacjaThe 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...
-
Compensation of supply current harmonics, reactive power, and unbalanced load current balance in the closed-loop control of a shunt active power filter
PublikacjaThis 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...
-
Robotics, Lab, MiBM, st. II, sem.1 (PG_00057380) 03.2022 Thu
Kursy OnlineThe 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.
-
A Simplistic Downlink Channel Estimation Method for NB-IoT
PublikacjaThis 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.
Osobydr inż. arch. Jarosław Bąkowski, adiunkt w Studio Architektury Ochrony Zdrowia Katedry Architektury Miejskiej i Przestrzeni Nadwodnych Wydziału Architektury Politechniki Gdańskiej.Przedmiotem jego zainteresowań jest metodologia i problematyka programowania oraz projektowania budynków złożonych funkcjonalnie (zwłaszcza obiektów architektury służby zdrowia, w tym głównie szpitali). Prowadzi badania dotyczące optymalizacji procesu...
-
Review of Diameter protocol implementations for realization of communication in NGN networks
PublikacjaIn 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
PublikacjaW 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....
-
Engineering Au nanoparticle arrays on SiO2 glass by pulsed UV laser irradiation
PublikacjaWe 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...
-
Developing Methodology for Model Tests of Floating Platforms in Low -Depth Towing Tank
PublikacjaThe 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...
-
Customizing nano-chitosan for sustainable drug delivery
PublikacjaChitosan 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
PublikacjaIn 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
Konferencje -
Joint Conference on Declarative Programming APPIA-GULP-PRODE
Konferencje -
International Conference on Logic Programming and Non-monotonic Reasoning
Konferencje -
ACM-SIGPLAN Conference on Programming Language Design and Implementation
Konferencje -
International workshop on High-Level Parallel Programming and Applications
Konferencje -
System pozycjonowania dynamicznego morskich jednostek pływających jako system mechatroniczny
PublikacjaW 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
PublikacjaAccording 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...
-
Images of topography and mechanical properties (phase imaging) of cast iron samples from water installations
Dane BadawczeMeasurements in contact and semi-contact mode. NTEGRA Prima (NT-MDT) device. CSG 10.
-
Imaging of graphene surface by means of tapping mode AFM
Dane BadawczeGraphene [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...
-
Improving flexibility and performance of PVM applications by distributed partial evaluation
PublikacjaA 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...
-
MaliciousIDE – software development environment that evokes emotions
PublikacjaEmotions 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...
-
Isolation of xanthone and benzophenone derivatives from Cyclopia genistoides (L.) Vent. (honeybush) and their pro-apoptotic activity on synoviocytes from patients with rheumatoid arthritis
PublikacjaA 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
PublikacjaDuring 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
PublikacjaThe 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
PublikacjaW 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...