Search
Search results for: DYNAMIC PROGRAMMING
-
Acoustic imaging of selected areas of Gdansk Bay with the aid of parametric echosounder and side-scan sonar
PublicationThe article presents and analyses the data recorded during sounding of the Gdansk Bay seabed with the aid of a parametric echosounder and a side-scan sonar. The accuracy of seabed structure examination, as a condition for obtaining valuable results, requires correct configuration of echolocation devices and proper calibration of peripheral devices, such as the survey unit geographical position sensor – GPS, the navigation unit,...
-
Evolutionary Algorithms in MPLS network designing
PublicationMPLS technology become more and more popular especially in core networks giving great flexibility and compatibility with existing Internet protocols. There is a need to optimal design such networks and optimal bandwidth allocation. Linear Programming is not time efficient and does not solve nonlinear problems. Heuristic algorithms are believed to deal with these disadvantages and the most promising of them are Evolutionary Algorithms....
-
Question Answering System to Answer Questions About Technical Documentation
PublicationThis article ventures into the realm of specialized AI systems for question answering, with a specific focus on programming languages, using Rust as the case study. Our research harnesses the capabilities of BERT, a leading model in natural language processing, to explore its effectiveness in interpreting and responding to complex, domain-specific queries. We have developed a novel dataset, derived from Rust's detailed documentation,...
-
Buckling and shape control of prestressable trusses using optimum number of actuators
PublicationThis paper describes a method to control the nodal displacement of prestressable truss structures within the desired domains. At the same time, the stress in all members is unleashed to take any value between the allowable tensile stress and critical buckling stress. The shape and stresses are controlled by actuating the most active members. The technique considers the members’ initial crookedness, residual stresses, and slenderness...
-
Interoperability Constraints in Service Selection Algorithms
PublicationIn Service Oriented Architecture, composite applications are developed by integration of existing, atomic services that may be available in alternative versions realizing the same functionality but having different Quality of Service (QoS) attributes. The development process requires effective service selection algorithms that balance profits and constraints of QoS attributes. Additionally, services operate in a heterogeneous environment,...
-
Evaluati on of long-term start up costs impact on short-term price based operational optimization of a CCGT using MILP
PublicationAn increasing share of the weather-dependent RES generation in the power system leads to the growing importance of flexibility of conventional power plants. They were usually designed for base load operation and it is a challenge to determine the actual long-term cycling costs, which account for an increase in maintenance and overhaul expenditures, increased forced outage rates and shortened life expectancy of the plant and components....
-
Viability of decisional DNA in robotics
PublicationThe Decisional DNA is an artificial intelligence system that uses prior experiences to shape future decisions. Decisional DNA is written in the Set Of Experience Knowledge Structure (SOEKS) and is capable of capturing and reusing a broad range of data. Decisional DNA has been implemented in several fields including Alzheimer’s diagnosis, geothermal energy and smart TV. Decisional DNA is well suited to use in robotics due to the...
-
Comparison of selected algorithms for scheduling workflow applications with dynamically changing service availability
PublicationThis paper compares the quality and execution times of several algorithms for scheduling service based workflow applications with changeable service availability and parameters. A workflow is defined as an acyclic directed graph with nodes corresponding to tasks and edges to dependencies between tasks. For each task, one out of several available services needs to be chosen and scheduled to minimize the workflow execution time and...
-
Scheduling for Industrial Control Traffic Using Massive MIMO and Large Intelligent Surfaces
PublicationIndustry 4.0, with its focus on flexibility and customizability, is pushing in the direction of wireless communication in future smart factories, in particular massive multiple-input multiple-output (MIMO), and its future evolution Large Intelligent Surfaces (LIS), which provide more reliable channel quality than previous technologies. As such, there arises the need to perform efficient scheduling of industrial control traffic...
-
Using FreeFEM open software for modelling the vibrations of piezoelectric devices
PublicationModelling vibrations of piezoelectric transducers has been a topic discussed in the literature for many decades. The first models - so-called one-dimensional - describe the vibrations only near operating frequency and near its harmonics. Attempts to introduce two-dimensional models were related to the possibility of one transducer working at several frequencies, including both thickness vibrations and those resulting from the transducer...
-
The new investing effectiveness evaluation multi-criteria method in modern supply systems
PublicationThe important problem in the processes of modelling and programming the development of sustainable energy sector is the multi-criteria manner of assessing the effectiveness of investments. The goal of this paper is to show how to take into account the impact of investments in multidimensional modelling decision-making processes. This goal can be achieved through the development, presentation, and use of a new multi-criteria method...
-
Integrated development plans of the functional urban areas in Pomeranian region in Poland
PublicationThe European Commission put a growing emphasis on the territorial and integrated app roach to policy support addressed in the frame of regional policy. In a special way this process refers to cities along with their functional environment. In Poland the National Spatial Development Concept 2030 has introduced the concept of functional areas, among others – Functional Urban Areas (FUAs). There is...
-
Evolutionary Sets of Cooperating Ship Trajectories: COLREGS Compliance
PublicationThe paper presents a newly designed improvement to the method of solving multi-ship encounter situations. In general, the method combines some of the assumptions of game theory with evolutionary programming and aims to find optimal set of cooperating trajectories of all ships involved in an encounter situation. The improvement presented here is a new way of modelling some of the COLREGS rules. Due to this change, the method is...
-
COMPUTER-AIDED CONSTRUCTION AT DESIGNING REINFORCED CONCRETE COLUMNS AS PER EC
PublicationThe article presents the author’s computer program for designing and dimensioning columns in reinforced concrete structures taking into account phenomena affecting their behaviour and information referring to design as per EC. The computer program was developed with the use of C++ programming language. The program guides the user through particular dimensioning stages: from introducing basic data such as dimensions, concrete...
-
Deformation mitigation and twisting moment control in space frames
PublicationOver the last five decades, space frames have centered on the modernization of touristic zones in view of architectural attractions. Although attempts to control joint movement and minimize axial force and bending moment in such structures were made sufficiently, twisting moments in space frames have been underestimated so far. In space frames, external load or restoring the misshapen shape may cause twisting in members. We herein...
-
A Probabilistic Optimisation Approach to the Equitable Controller Location Problem
PublicationThe ability of the Software-Defined Network (SDN) to transport traffic flows depends, in particular, on the SDN switches being able to communicate with SDN controllers, which are responsible for the setup of network connections and the configuration of switches. Since in principle the number of SDN controllers is limited they must be installed in a set of carefully selected node locations. Whereas the problem of controller placement...
-
Energy-Aware High-Performance Computing: Survey of State-of-the-Art Tools, Techniques, and Environments
PublicationThe paper presents state of the art of energy-aware high-performance computing (HPC), in particular identification and classification of approaches by system and device types, optimization metrics, and energy/power control methods. System types include single device, clusters, grids, and clouds while considered device types include CPUs, GPUs, multiprocessor, and hybrid systems. Optimization goals include various combinations of...
-
Laboratory investigation with subbottom parametric echosounder SES-2000 standard with an emphasis on reflected pure signals analysis
PublicationThe main goal of the paper is to describe correlations between measurements results of trials taken on Gulf of Gdańsk bottom sounded with parametric echosounder SES-2000 Standard and laboratory research where collected during survey sediments were measured. Stationary tests took place at Gdansk University of Technology where 30 meters long 1.8 meter deep and 3 meters wide water tank is located. Main lobe of antenna was directed...
-
MICROCOMPASS FOR SAFE SEA NAVIGATION
PublicationThis paper presents the results of design microcompass for safe sea navigation where navigation, electronic, programming knowledge was joined to make more safe sea navigation. In first part of article presents navigation tools which using in practise. Article underlines that mostly satellite system is used to make navigation, but recommends traditional navigation method like alternative to determinate position in case of breakdown...
-
Structural properties of foil bearings: a closed-form solution validated with finite element analysis
PublicationFluid film thickness in a compliant foil bearing is greatly influenced by the deflection of the bearing structure. Therefore, in order to properly model performance of a foil bearing, it is mandatory that the deflection of the compliant bearing structure due to the generated hydrodynamic pressure is determined accurately. This article proposes an easy-to-use two-dimensional model, which takes into account detailed geometry of the...
-
Implementation of FDTD-compatible Green's function on heterogeneous CPU-GPU parallel processing system
PublicationThis paper presents an implementation of the FDTD-compatible Green's function on a heterogeneous parallel processing system. The developed implementation simultaneously utilizes computational power of the central processing unit (CPU) and the graphics processing unit (GPU) to the computational tasks best suited to each architecture. Recently, closed-form expression for this discrete Green's function (DGF) was derived, which facilitates...
-
Performance Analysis of the OpenCL Environment on Mobile Platforms
PublicationToday’s smartphones have more and more features that so far were only assigned to personal computers. Every year these devices are composed of better and more efficient components. Everything indicates that modern smartphones are replacing ordinary computers in various activities. High computing power is required for tasks such as image processing, speech recognition and object detection. This paper analyses the performance of...
-
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...
-
Monte-Carlo Modeling of Optical Sensors for Postoperative Free Flap Monitoring
PublicationThis work aims to develop a numerical tissue model and implement software to simulate photon propagation using the Monte Carlo method to determine design guidelines for a physical measurement system. C++ was used for the simulation program, and Python as a programming environment to create an interface that allows the user to customize individual simulation elements, allowing for increased accuracy and flexibility when simulating...
-
Selected problems of decision making modelling in power engineering
PublicationThe paper presents the selected problems of decision making modelling in power engineering specially investment risk evaluation methods. The proposed model can be used in the range programming the development and investing process in power engineering. Decision making problems in power engineering and the evaluation of investment effectiveness in particular are closely related to modelling which relatively accurately reflects...
-
Cost-Effective and Sufficiently Precise Integration Method Adapted to the FEM Calculations of Bone Tissue
PublicationThe technique of Young’s modulus variation in the finite element is not spread in biomechanics. Our future goal is to adapt this technique to bone tissue strength calculations. The aim of this paper is to present the necessary studies of the element’s integration method that takes into account changes in material properties. For research purposes, a virtual sample with the size and distribution of mechanical properties similar...
-
Teaching management skills to software develop- ment teams through the lean start-up methodology
PublicationIn order for development teams to understand the impact of software development on value delivery it is important that all team members, including software engineers, possess adequate management skills which not always have been acquired during university education. The lean start-up methodology techniques enable new ventures to test hypothesis, gather customer feed- back and create a minimum viable product. The obtained information...
-
Code development of a DSP-FPGA based control platform for power electronics applications
PublicationThis paper focuses on the implementation of power electronics algorithms in control platforms based on DSP-FPGA. Today’s power electronics technology demands high power computation with high speed interfacing at the same time. The most popular configuration is a DSP for the former and a FPGA for the latter. The main goal of this work was to develop a generic control system for power electronics application, but it is explained...
-
The investment process in the power supply industry
PublicationThe basis for power supply industry programming in a market economy should be the principle of sustainable development, which must take into account maintaining an adequate level of energy security on the one hand, and the aim to preserve the maximum degree of non-renewable resources on the other hand. Therefore, the overriding aim should be a strive to meet the current and prospective demand for energy and fuel, in conjugation...
-
Using Minimum Actuators to Control Shape and Stress of a Double Layer Spherical Model Under Gravity and Lateral Loadings
PublicationSpherical domes are picturesque structures built in developed countries to attract tourists. Due to horizontal and vertical overloading, the structures’ attractive shapes may be disturbed, and some members' stress may exceed the elastic level. In this paper, the shape and stress of a deformed double-layer spherical numerical model due to simultaneous lateral and vertical loadings are controlled, meanwhile, the number of actuators...
-
Monte-Carlo Modeling of Optical Sensors for Postoperative Free Flap Monitoring
PublicationThis work aims to develop a numerical tissue model and implement software to simulate photon propagation using the Monte Carlo method to determine design guidelines for a physical measurement system. C++ was used for the simulation program, and Python as a programming environment to create an interface that allows the user to customize individual simulation elements, allowing for increased accuracy and flexibility when simulating...
-
Neural network agents trained by declarative programming tutors
PublicationThis paper presents an experimental study on the development of a neural network-based agent, trained using data generated using declarative programming. The focus of the study is the application of various agents to solve the classic logic task – The Wumpus World. The paper evaluates the effectiveness of neural-based agents across different map configurations, offering a comparative analysis to underline the strengths and limitations...
-
Dependable Integration of Medical Image Recognition Components
PublicationComputer driven medical image recognition may support medical doctors in the diagnosis process, but requires high dependability considering potential consequences of incorrect results. The paper presentsa system that improves dependability of medical image recognition by integration of results from redundant components. The components implement alternative recognition algorithms of diseases in thefield of gastrointestinal endoscopy....
-
Process layout planning and optimised product range selection in manufacture of wooden construction sets
PublicationThis paper introduces a systematic deterministic framework for planning and the analysis of facility layouts aimed at manufacturing a variety of parts, as components of specific end products. The essence of the proposed approach lies in the decomposition of a traditional job-shop into layout modules of generic material flow patterns, that inherently yields improved efficiency of the entire system. It entails the use of a relevant...
-
The mechanisms of technological innovation in SMEs: a Bayesian Network Analysis of EU regional policy impact on Polish firms.
PublicationWe study the underlying mechanisms of technological innovation in SMEs in the context of ex-post evaluation of European Union’s regional policy. Our aim is to explain the observed change in firms’ innovativeness after receiving EU support for technological investment. To do so, we take an approach that is novel in innovation studies: a Bayesian Network Analysis to assess the effectiveness of EU policy instrument for technological...
-
Scheduling with Complete Multipartite Incompatibility Graph on Parallel Machines
PublicationIn this paper we consider a problem of job scheduling on parallel machines with a presence of incompatibilities between jobs. The incompatibility relation can be modeled as a complete multipartite graph in which each edge denotes a pair of jobs that cannot be scheduled on the same machine. Our research stems from the works of Bodlaender, Jansen, and Woeginger (1994) and Bodlaender and Jansen (1993). In particular, we pursue the...
-
Statistics with R A Handbook for Statistical Analysis with R and R-Studio
PublicationIf you are to perform any kind of data (statistical) analysis and use tools in the data science ecosystem, you may have seen a variety of tutorials, handbooks online (I’m not mentioning traditional bibles of statistics). Unfortunately most of them is written intentionally for specific purposes and/or target group of people and does not include many aspects, data types, difficult aspects, usually hiding them trying to solve theoretical...
-
Properties of dimension witnesses and their semidefinite programming relaxations
PublicationIn this paper we develop a method for investigating semi-device-independent randomness expansion protocols that was introduced in Li et al. [H.-W. Li, P. Mironowicz, M. Pawłowski, Z.-Q. Yin, Y.-C. Wu, S. Wang, W. Chen, H.-G. Hu, G.-C. Guo, and Z.-F. Han, Phys. Rev. A 87, 020302(R) (2013)]. This method allows us to lower bound, with semi-definite programming, the randomness obtained from random number generators based on dimension...
-
Usage of parametric echosounder with emphasis on buried object searching.
PublicationThe purpose of this article is to present the results of investigation to search for buried objects. The paper will contain echograms and other means of visualization from buried pipe placed between area of W?adys?awowo and gas platform and interesting in terms of the number of small and medium-sized unidentified objects found in the muddy bottom at different depths localized in the Gulf of Puck - results will be presented also...
-
The shallow sea experiment with usage of linear hydrophone array
PublicationPurpose of this article is to present designed and made linear hydrophone array and the results obtained during in situ trails on Gulf of Gdańsk. The measuring system allowed to localize hydrophones in the selected points and perform measurements in both the horizontal antenna positioning and vertical. Made in this way recordings allow creating accurate 3D imaging of sound intensity/propagation. During research three floating objects...
-
EASY ACCESS TOOL FOR SMALL INTERFERING RNA (siRNA) DATA
PublicationFor many decades it was an accepted dogma of molecular genetics that the expression of genes is a “one-way-road” leading only in one direction from DNA to RNA to proteins. Recent discoveries in modern molecular genetics have challenged this dogma showing that specific RNA molecules play a central role in controlling the activity of genes by changing the structure of DNA sequences, targeting other RNAs for degradation or blocking...
-
Studies of the separation performance of silanized silica gel for simulated distillation
PublicationWe present the results of investigations of the chromatographic (sorptive) properties of silanized silica gel as a stationary phase for gas chromatography used for simulated distillation. Commercially available silanized sorbent (particle diameter range 63–200 m, average pore size 60 Å) was sieved to obtain the 80–100 mesh fraction (180–150 m). The obtained results revealed that silanized silica gel allows the complete separation...
-
Applications of semi-definite optimization in quantum information protocols
PublicationThis work is concerned with the issue of applications of the semi-definite programming (SDP) in the field of quantum information sci- ence. Our results of the analysis of certain quantum information protocols using this optimization technique are presented, and an implementation of a relevant numerical tool is introduced. The key method used is NPA discovered by Navascues et al. [Phys. Rev. Lett. 98, 010401 (2007)]. In chapter...
-
Device-independent quantum key distribution based on measurement inputs
PublicationWe provide an analysis of a family of device-independent quantum key distribution (QKD) protocols that has the following features. (a) The bits used for the secret key do not come from the results of the measurements on an entangled state but from the choices of settings. (b) Instead of a single security parameter (a violation of some Bell inequality) a set of them is used to estimate the level of trust in the secrecy of the key....
-
Prediction of fracture toughness in fibre-reinforced concrete, mortar, and rocks using various Machine learning techniques
PublicationMachine Learning (ML) method is widely used in engineering applications such as fracture mechanics. In this study, twenty different ML algorithms were employed and compared for the prediction of the fracture toughness and fracture load in modes I, II, and mixed-mode (I-II) of various materials, including fibre-reinforced concrete, cement mortar, sandstone, white travertine, marble, and granite. A set of 401 specimens of “Brazilian...
-
Scheduling with Complete Multipartite Incompatibility Graph on Parallel Machines: Complexity and Algorithms
PublicationIn this paper, the problem of scheduling on parallel machines with a presence of incompatibilities between jobs is considered. The incompatibility relation can be modeled as a complete multipartite graph in which each edge denotes a pair of jobs that cannot be scheduled on the same machine. The paper provides several results concerning schedules, optimal or approximate with respect to the two most popular criteria of optimality:...
-
The Multiplatform Environment for Simulation and Features Estimation of Mixed-Signal Devices
PublicationThe use of simulation laboratories is gaining popularity in thedomains of engineering programs. However, the experience in teaching showsthat the simulation itself is not very effective in didactic processes. Teachingprocesses in thefield of specialist subjects, designed for students of technicaluniversities, should be based on direct operations performed by the student onreal devices. At the same time, at the later stages of didactic...
-
Fault detection in electronic circuits using test buses
PublicationA survey of test buses designed for diagnostics of digital and analog electronic circuits is presented: the IEEE 1149.1 bus for digital circuits, the IEEE 1149.4 bus for mixed-signal and the IEEE 1149.6 bus for AC coupled complex digital circuits. Each bus is presented with its structure, solution of key elements, particularly boundary registers and a set of test instructions. Diagnosis with the use of the described buses is...
-
Social media for e-learning of citizens in smart city
PublicationThe rapid development of social media can be applied for citizens’ e-learning in a smart city. Big cities have to cope with several open issues like a growing population or a traffic congestion. Especially, a home and public space is supposed to be used in more efficient way. Sustainable homes and buildings can be planned with using some modern techniques. Even currently, there is a huge problem with a lack of key resources like...
-
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...