Wyniki wyszukiwania dla: DYNAMIC PROGRAMMING
-
Evaluation of ChatGPT Applicability to Learning Quantum Physics
PublikacjaChatGPT is an application that uses a large language model. Its purpose is to generate answers to various questions as well as provide information, help solve problems and participate in conversations on a wide range of topics. This application is also widely used by students for the purposes of learning or cheating (e.g., writing essays or programming codes). Therefore, in this contribution, we evaluate the ability of ChatGPT...
-
Long Distance Geographically Distributed InfiniBand Based Computing
PublikacjaCollaboration between multiple computing centres, referred as federated computing is becom- ing important pillar of High Performance Computing (HPC) and will be one of its key components in the future. To test technical possibilities of future collaboration using 100 Gb optic fiber link (Connection was 900 km in length with 9 ms RTT time) we prepared two scenarios of operation. In the first one, Interdisciplinary Centre for Mathematical...
-
Optimum number of actuators to minimize the cross-sectional area of prestressable cable and truss structures
PublikacjaThis paper describes a new computational method for determining the optimum number of actuators to design the optimal and economic cross-sectional area of pin-jointed assemblies based on the conventional force method. The most active members are selected to be prestressed to redistribute stress in the whole structure, resulting in regulating the internal force of bars that face high stress. Reducing stress in critical members allows...
-
Experimental certification of more than one bit of quantum randomness in the two inputs and two outputs scenario
PublikacjaOne of the striking properties of quantum mechanics is the occurrence of the Bell-type non-locality. They are a fundamental feature of the theory that allows two parties that share an entangled quantum system to observe correlations stronger than possible in classical physics. In addition to their theoretical significance, non-local correlations have practical applications, such as device-independent randomness generation, providing...
-
thestats: An Open-Data R Package for Exploring Turkish Higher Education Statistics
PublikacjaThere are open datasets available for official statistics, finance, education, and a variety of other domains. The open datasets are published by third-party vendors as well as official authorities. For example, The Turkish Higher Education Council maintains a web portal dedicated to higher education in Türkiye. Detailed datasets about universities, faculties, and departments can be obtained from the portal. Using the data provided...
-
Hybrid no-signaling-quantum correlations
PublikacjaFundamental investigations in non-locality have shown that while the no-signaling principle alone is not sufficient to single out the set of quantum non-local correlations, local quantum mechanics and no-signaling together exactly reproduce the set of quantum correlations in the two-party Bell scenario. Here, we introduce and study an intermediate hybrid no-signaling quantum set of non-local correlations that we term HNSQ in the...
-
Theoretical modelling of efficient fire safety water networks by certified domination
PublikacjaThis paper explores a new way of designing water supply networks for fire safety using ideas from graph theory, focusing on a method called certified domination. Ensuring a good water supply is crucial for fire safety in communities, this study looks at the rules and problems in Poland for how much water is needed to fight fires in different areas and how this can be achieved at a lowest possible cost. We present a way to plan...
-
The Comparison of the Web GIS Applications Relevant for 4D Models Sharing
PublikacjaThe paper presents results of the project: Cultural Heritage Through Time (CHT 2, http://cht2-project.eu) realized accomplished within the framework of the “Joint Programming Initiative in Cultural Heritage” JPI-CH (http://www.jpi-culturalheritage.eu) by an international consortium: Politecnico di Milano (IT), Newcastle University (UK), Salamanca University (ES), and Stanislaw Staszic Scientific Association SSSA (a non-profit...
-
Automated Reasoning Based User Interface
PublikacjaMotivation: The ability to directly trace how requirements are implemented in a software system is crucial in domains that require a high level of trust (e.g. medicine, law, crisis management). This paper describes an approach that allows a high level of traceability to be achieved with model-driven engineering supported by automated reasoning. The paper gives an introduction to the novel, automated user interface synthesis in...
-
Compressive Sensing Approach to Harmonics Detection in the Ship Electrical Network
PublikacjaThe contribution of this paper is to show the opportunities for using the compressive sensing (CS) technique for detecting harmonics in a frequency sparse signal. The signal in a ship’s electrical network, polluted by harmonic distortions, can be modeled as a superposition of a small number of sinusoids and the discrete Fourier transform (DFT) basis forms its sparse domain. According to the theory of CS, a signal may be reconstructed...
-
Integrating Art into Places in Transition - Rose Kennedy Greenway in Boston as a Case Study
PublikacjaAmong the many projects realized in public spaces, some are truly unique – and these are the ones that build the identity of a place. The aim of this paper is to examine how integrating art and cultural strategies into public space can enhance and reinforce the sense of a place. Particular attention is devoted to urban spaces that we call “places in transition”, where public art improves the city’s imaginative capacity, enlivens...
-
Entanglement of genuinely entangled subspaces and states: Exact, approximate, and numerical results
PublikacjaGenuinely entangled subspaces (GESs) are those subspaces of multipartite Hilbert spaces that consist only of genuinely multiparty entangled pure states. They are natural generalizations of the well-known notion of completely entangled subspaces, which by definition are void of fully product vectors. Entangled subspaces are an important tool of quantum information theory as they directly lead to constructions of entangled states,...
-
Application of mechanistic and data-driven models for nitrogen removal in wastewater treatment systems
PublikacjaIn this dissertation, the application of mechanistic and data-driven models in nitrogen removal systems including nitrification and deammonification processes was evaluated. In particular, the influential parameters on the activity of the Nitrospira activity were assessed using response surface methodology (RSM). Various long-term biomass washout experiments were operated in two parallel sequencing batch reactor (SBR) with a different...
-
Two-phase optimizing approach to design assessments of long distance heat transportation for CHP systems
PublikacjaCogeneration or Combined Heat and Power (CHP) for power plants is a method of putting to use waste heat which would be otherwise released to the environment. This allows the increase in thermodynamic efficiency of the plant and can be a source of environmental friendly heat for District Heating (DH). In the paper CHP for Nuclear Power Plant (NPP) is analyzed with the focus on heat transportation. A method for effectivity and feasibility...
-
Yade-open DEM: an open-source software using a discrete element methodto simulate granular material
PublikacjaPurpose - YADE-OPEN DEM is an open source software based on the Discrete Element Method which uses object oriented programming techniques. The paper describes the softwarearchitecture.Design/methodology/approach - The DEM chosen uses position, orientation, velocity and angular velocity as independent variables of simulated particles which are subject to explicit leapfrog time-integration scheme (Lagrangian method). The three-dimensional...
-
Advancing electrochemical impedance analysis through innovations in the distribution of relaxation times method
PublikacjaElectrochemical impedance spectroscopy (EIS) is widely used in electrochemistry, energy sciences, biology, and beyond. Analyzing EIS data is crucial, but it often poses challenges because of the numerous possible equivalent circuit models, the need for accurate analytical models, the difficulties of nonlinear regression, and the necessity of managing large datasets within a unified framework. To overcome these challenges, non-parametric...
-
Radar with rotary head
PublikacjaNowadays usage of radars is no longer reserved only for the military purpose. It finds many applications in various areas of science and industry. It may be used in order to obtain extended information about the state of critical infrastructure, like shipyards or petrochemical plants. Furthermore, it may be applied in vision denied environments. The aim of this project...
-
Advancing the evidence base for public policies impacting on dietary behaviour, physical activity and sedentary behaviour in Europe: The Policy Evaluation Network promoting a multidisciplinary approach
PublikacjaNon-communicable diseases (NCDs) are the leading cause of global mortality. As the social and economic costs of NCDs have escalated, action is needed to tackle important causes of many NCD’s: low physical activity levels and unhealthy dietary behaviours. As these behaviours are driven by upstream factors, successful policy interventions are required that encourage healthy dietary behaviours, improve physical activity levels and...
-
A multithreaded CUDA and OpenMP based power‐aware programming framework for multi‐node GPU systems
PublikacjaIn the paper, we have proposed a framework that allows programming a parallel application for a multi-node system, with one or more GPUs per node, using an OpenMP+extended CUDA API. OpenMP is used for launching threads responsible for management of particular GPUs and extended CUDA calls allow to manage CUDA objects, data and launch kernels. The framework hides inter-node MPI communication from the programmer who can benefit from...
-
Scheduling of compatible jobs on parallel machines
PublikacjaThe dissertation discusses the problems of scheduling compatible jobs on parallel machines. Some jobs are incompatible, which is modeled as a binary relation on the set of jobs; the relation is often modeled by an incompatibility graph. We consider two models of machines. The first model, more emphasized in the thesis, is a classical model of scheduling, where each machine does one job at time. The second one is a model of p-batching...
-
A new open-source software developed for numerical simulations usingdiscrete modeling methods
PublikacjaThe purpose of this work is to present the development of an open-source software based on a discrete description of matter applied to study the behavior of geomaterials. This software uses Object Oriented Programming techniques, and its methodology design uses three different methods, which are the Discrete Element Method (DEM) [F. Donzé, S.A. Magnier, Formulation of a three-dimensional numerical model of brittle behavior, Geophys....
-
Generation of Optimal Process Plan Alternatives for ManufacturingMechanical Components
PublikacjaOmówiono aktualny stan wiedzy dotyczący wykorzystania systemów komputerowo wspomaganego projektowania procesów technologicznych - CAPP. Przedstawiono problemy związane z integracją systemów CAPP z systemami CAD. Omówiono założenia dla generowania optymalnych wariantów procesów wytwarzania z zastosowaniem modułów technologicznych tzw. features, wg metody gałęzi i ograniczceń (ang. branch-and-bound).
-
Efficient list cost coloring of vertices and/or edges of bounded cyclicity graphs
PublikacjaW artykule rozważamy listowo-kosztowe kolorowanie wierzchołków i krawędzi grafu w modelu wierzchołkowym, krawędziowym, totalnym i pseudototalnym. Stosujemy programowanie dynamiczne w celu otrzymania algorytmów wielomianowych dla drzew. Następnie uogólniamy to podejście na dowolne grafy z ograniczonymi liczbami cyklomatycznymi i na ich multikolorowania.
-
Computer controlled systems - 2022/2023
Kursy Onlinemateriały wspierające wykład na studiach II stopnia na kierunku ACR pod tytułem komputerowe systemy automatyki 1. Computer system – controlled plant interfacing technique; simple interfacing and with both side acknowledgement; ideas, algorithms, acknowledge passing. 2. Methods of acknowledgement passing: software checking and passing, using interrupt techniques, using readiness checking (ready – wait lines). The best solution...
-
CCS-lecture-2023-2024
Kursy Onlinemateriały wspierające wykład na studiach II stopnia na kierunku ACR pod tytułem komputerowe systemy automatyki 1. Computer system – controlled plant interfacing technique; simple interfacing and with both side acknowledgement; ideas, algorithms, acknowledge passing. 2. Methods of acknowledgement passing: software checking and passing, using interrupt techniques, using readiness checking (ready – wait lines). The best solution optimization...