Wyniki wyszukiwania dla: DYNAMIC PROGRAMMING
-
Matching Exception Class Hierarchies between .NET, Java Environments
PublikacjaThe paper presents a methodology of exception classification and matching exception messages between .NET andJava environments. The methodology operates on existing exception class hierarchies and proposes two complementingapproaches: automated and manual matching. The automated matching uses the similarity measure to find associationsbetween exception messages from the two sets of classes for the considered programming languages....
-
Comparison of selected algorithms for scheduling workflow applications with dynamically changing service availability
PublikacjaThis 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...
-
Using FreeFEM open software for modelling the vibrations of piezoelectric devices
PublikacjaModelling 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...
-
Evaluati on of long-term start up costs impact on short-term price based operational optimization of a CCGT using MILP
PublikacjaAn 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....
-
The new investing effectiveness evaluation multi-criteria method in modern supply systems
PublikacjaThe 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...
-
Scheduling for Industrial Control Traffic Using Massive MIMO and Large Intelligent Surfaces
PublikacjaIndustry 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...
-
Interoperability Constraints in Service Selection Algorithms
PublikacjaIn 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,...
-
Viability of decisional DNA in robotics
PublikacjaThe 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...
-
MICROCOMPASS FOR SAFE SEA NAVIGATION
PublikacjaThis 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
PublikacjaFluid 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...
-
Evolutionary Sets of Cooperating Ship Trajectories: COLREGS Compliance
PublikacjaThe 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...
-
Energy-Aware High-Performance Computing: Survey of State-of-the-Art Tools, Techniques, and Environments
PublikacjaThe 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...
-
Integrated development plans of the functional urban areas in Pomeranian region in Poland
PublikacjaThe 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...
-
Performance Analysis of the OpenCL Environment on Mobile Platforms
PublikacjaToday’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...
-
Laboratory investigation with subbottom parametric echosounder SES-2000 standard with an emphasis on reflected pure signals analysis
PublikacjaThe 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...
-
Implementation of FDTD-compatible Green's function on heterogeneous CPU-GPU parallel processing system
PublikacjaThis 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...
-
COMPUTER-AIDED CONSTRUCTION AT DESIGNING REINFORCED CONCRETE COLUMNS AS PER EC
PublikacjaThe 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
PublikacjaOver 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...
-
Monte-Carlo Modeling of Optical Sensors for Postoperative Free Flap Monitoring
PublikacjaThis 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...
-
Cost-Effective and Sufficiently Precise Integration Method Adapted to the FEM Calculations of Bone Tissue
PublikacjaThe 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
PublikacjaIn 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...
-
Monte-Carlo Modeling of Optical Sensors for Postoperative Free Flap Monitoring
PublikacjaThis 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
PublikacjaThe 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...
-
Using Minimum Actuators to Control Shape and Stress of a Double Layer Spherical Model Under Gravity and Lateral Loadings
PublikacjaSpherical 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...
-
The investment process in the power supply industry
PublikacjaThe 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...
-
Code development of a DSP-FPGA based control platform for power electronics applications
PublikacjaThis 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...
-
Neural network agents trained by declarative programming tutors
PublikacjaThis 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...
-
Benchmarking Performance of a Hybrid Intel Xeon/Xeon Phi System for Parallel Computation of Similarity Measures Between Large Vectors
PublikacjaThe 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...
-
Usage of parametric echosounder with emphasis on buried object searching.
PublikacjaThe 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...
-
Device-independent quantum key distribution based on measurement inputs
PublikacjaWe 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....
-
Dependable Integration of Medical Image Recognition Components
PublikacjaComputer 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....
-
EASY ACCESS TOOL FOR SMALL INTERFERING RNA (siRNA) DATA
PublikacjaFor 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...
-
The mechanisms of technological innovation in SMEs: a Bayesian Network Analysis of EU regional policy impact on Polish firms.
PublikacjaWe 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...
-
Process layout planning and optimised product range selection in manufacture of wooden construction sets
PublikacjaThis 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...
-
Scheduling with Complete Multipartite Incompatibility Graph on Parallel Machines
PublikacjaIn 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...
-
Prediction of fracture toughness in fibre-reinforced concrete, mortar, and rocks using various Machine learning techniques
PublikacjaMachine 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...
-
The shallow sea experiment with usage of linear hydrophone array
PublikacjaPurpose 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...
-
Statistics with R A Handbook for Statistical Analysis with R and R-Studio
PublikacjaIf 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
PublikacjaIn 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...
-
Studies of the separation performance of silanized silica gel for simulated distillation
PublikacjaWe 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
PublikacjaThis 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...
-
Fault detection in electronic circuits using test buses
PublikacjaA 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...
-
Scheduling with Complete Multipartite Incompatibility Graph on Parallel Machines: Complexity and Algorithms
PublikacjaIn 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
PublikacjaThe 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...
-
Metaheuristic algorithms for optimization of resilient overlay computing systems
PublikacjaThe idea of distributed computing systems has been gaining much interest in recent years owing to the growing amount of data to be processed for both industrial and academic purposes. However, similar to other systems, also distributed computing systems are vulnerable to failures. Due to strict QoS requirements, survivability guarantees are necessary for provisioning of uninterrupted service. In this article, we focus on reliability...
-
ON THE NON-LOCALITY OF TRIPARTITE NON-SINGALING BOXES EMERGING FROM WIRINGS
PublikacjaIt has been recently shown, that some of the tripartite boxes admittin g bilocal decom- position, lead to non-locality under wiring operation applied to t wo of the subsystems [R. Gallego et al. Physical Review Letters 109 , 070401 (2012)]. In the following, we study this phenomenon quantitatively. Basing on the known classes of bo xes closed un- der wirings, we introduce multipartite monotones which are count erparts of bipartite ones...
-
Deep Learning Optimization for Edge Devices: Analysis of Training Quantization Parameters
PublikacjaThis paper focuses on convolution neural network quantization problem. The quantization has a distinct stage of data conversion from floating-point into integer-point numbers. In general, the process of quantization is associated with the reduction of the matrix dimension via limited precision of the numbers. However, the training and inference stages of deep learning neural network are limited by the space of the memory and a...
-
Fundamentals of Data-Driven Surrogate Modeling
PublikacjaThe primary topic of the book is surrogate modeling and surrogate-based design of high-frequency structures. The purpose of the first two chapters is to provide the reader with an overview of the two most important classes of modeling methods, data-driven (or approx-imation), as well as physics-based ones. These are covered in Chap-ters 1 and 2, respectively. The remaining parts of the book give an exposition of the specific aspects...
-
Social media for e-learning of citizens in smart city
PublikacjaThe 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
PublikacjaKsiąż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...