Wyszukiwarka
Filtry
wszystkich: 180
Wyniki wyszukiwania dla: LINEAR PROGRAMMING
-
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...
-
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...
-
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...
-
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...
-
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...
-
Probabilistic assessment of SMRFs with infill masonry walls incorporating nonlinear soil-structure interaction
PublikacjaInfill Masonry Walls (IMWs) are used in the perimeter of a building to separate the inner and outer space. IMWs may affect the lateral behavior of buildings, while they are different from those partition walls that separate two inner spaces. This study focused on the seismic vulnerability assessment of Steel Moment-Resisting Frames (SMRFs) assuming different placement of IMWs incorporating nonlinear Soil-Structure Interaction (SSI)....
-
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...
-
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...
-
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...
-
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...
-
Bounding conditional entropy of bipartite states with Bell operators
PublikacjaQuantum information theory explores numerous properties that surpass classical paradigms, offering novel applications and benefits. Among these properties, negative conditional von Neumann entropy (CVNE) is particularly significant in entangled quantum systems, serving as an indicator of potential advantages in various information-theoretic tasks, despite its indirect observability. In this paper, we investigate the relationship...
-
Unbounded quantum advantage in communication complexity measured by distinguishability
PublikacjaCommunication complexity is a fundamental aspect of information science, concerned with the amount of communication required to solve a problem distributed among multiple parties. The standard quantification of one-way communication complexity relies on the minimal dimension of the communicated systems. In this paper, we measure the communication complexity of a task by the minimal distinguishability required to accomplish it,...
-
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...
-
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...
-
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...
-
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,...
-
Enhancing seismic performance of rigid and semi-rigid connections equipped with SMA bolts incorporating nonlinear soil-structure interaction
PublikacjaNowadays, using smart connections can improve the performance of buildings with some recentering features that are from the superelastic behavior of Shape Memory Alloys (SMAs). It seems that there is different rigidity between the designed connection and the real one in Steel Moment-Resisting Frames (SMRFs), which can be considered as a problematic issue due to the importance of connections in seismic performance assessment. This...
-
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...
-
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...
-
Integration of electric vehicle into smart grid: a meta heuristic algorithm for energy management between V2G and G2V
PublikacjaRecently, Electric Vehicles (EV) have been providing fast response and substantial progress in the power generation model. Further, EVs are exploited as adaptable Energy Storage Systems (ESSs) and show a promising performance in ancillary service markets to increase the demand of Smart Grid (SG) integration. The expansion of Vehicle-to-Grid concept has created an extra power source when renewable energy sources are not available....
-
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...
-
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...
-
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 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....
-
Application of MARKAL model to optimisation of electricity generation structure in Poland in the long-term time horizon Part I - concept of the model
PublikacjaIn this paper, which inaugurates a series of papers on this subject, a concept is proposed of a power system development model with regard to the technological structure of electricity generation in Poland, in the long-term time perspective – until 2060. The model is based on the mathematical structure of the MARKAL optimization package. The paper presents a brief description of the tool used in the model research. In addition,...
-
Comparison and Analysis of Service Selection Algorithms
PublikacjaIn Service Oriented Architecture, applications are developed by integration of existing services in order to reduce development cost and time. The approach, however, requires algorithms that select appropriate services out of available, alternative ones. The selection process may consider both optimalization requirements, such as maximalization of performance, and constraint requirements, such minimal security or maximum development...
-
Efficiency Evaluation of High Performance Computing Systems Using Data Envelopment Analysis
PublikacjaThe paper presents an evaluation method of high performance computing (HPC) systems using multicriteria efficiency analysis. The Data Envelopment Analysis approach was applied and adapted to the specifics of HPC, which enabled us to compare relative efficiency of systems considering simultaneously multiple parameters. The analysis is based on the TOP500 list of world largest supercomputers and their parameters such as: the number...
-
5G Millimeter Wave Network Optimization: Dual Connectivity and Power Allocation Strategy
PublikacjaThe fifth generation (5G) of mobile networks utilizing millimeter Wave (mmWave) bands can be considered the leading player in meeting the continuously increasing hunger of the end user demands in the near future. However, 5G networks are characterized by high power consumption, which poses a significant challenge to the efficient management of base stations (BSs) and user association. Implementing new power consumption and user...