-
Detecting lifetime errors of std::string_view objects in C++
Authors:
Reka Kovacs,
Gabor Horvath,
Zoltan Porkolab
Abstract:
std::string view is a reference-like data structure in the C++ Standard Template Library (STL) that enables fast and cheap processing of read-only strings. Due to its wide applicability and performance enhancing power, std::string view has been very popular since its introduction in the C++17 standard. However, its careless use can lead to serious memory management bugs. As the lifetime of a std::…
▽ More
std::string view is a reference-like data structure in the C++ Standard Template Library (STL) that enables fast and cheap processing of read-only strings. Due to its wide applicability and performance enhancing power, std::string view has been very popular since its introduction in the C++17 standard. However, its careless use can lead to serious memory management bugs. As the lifetime of a std::string view is not tied to the lifetime of the referenced string in any way, it is the user's responsibility to ensure that the view is only used while the viewed string is live and its buffer is not reallocated.
This paper describes a static analysis tool that finds programming errors caused by the incorrect use of std::string view. Our work included modeling std::string view operations in the analysis, defining steps to detect lifetime errors, constructing user-friendly diagnostic messages, and performing an evaluation of the checker.
△ Less
Submitted 17 August, 2024;
originally announced August 2024.
-
Implementing and Executing Static Analysis Using LLVM and CodeChecker
Authors:
Gabor Horvath,
Reka Kovacs,
Richard Szalay,
Zoltan Porkolab
Abstract:
Static analysis is a method of analyzing source code without executing it. It is widely used to find bugs and code smells in industrial software. Besides other methods, the most important techniques are those based on the abstract syntax tree and those performing symbolic execution. Both of these methods found their role in modern software development as they have different advantages and limitati…
▽ More
Static analysis is a method of analyzing source code without executing it. It is widely used to find bugs and code smells in industrial software. Besides other methods, the most important techniques are those based on the abstract syntax tree and those performing symbolic execution. Both of these methods found their role in modern software development as they have different advantages and limitations. In this tutorial, we present two problems from the C++ programming language: the elimination of redundant pointers, and the reporting of dangling pointers originating from incorrect use of the std::string class. These two issues have different theoretical backgrounds and finding them requires different implementation techniques. We will provide a step-by-step guide to implement the checkers (software to identify the aforementioned problems) - one based on the abstract syntax analysis method, the other exploring the possibilities of symbolic execution. The methods are explained in great detail and supported by code examples. The intended audience for this tutorial are both architects of static analysis tools and developers who want to understand the advantages and constraints of the different methods.
△ Less
Submitted 10 August, 2024;
originally announced August 2024.
-
Static Code Analysis with CodeChecker
Authors:
Gabor Horvath,
Reka Kovacs,
Richard Szalay,
Zoltan Porkolab,
Gyorgy Orban,
Daniel Krupp
Abstract:
CodeChecker is an open source project that integrates different static analysis tools such as the Clang Static Analyzer and Clang-Tidy into the build systems, continuous integration loops, and development workflows of C++ programmers. It has a powerful issue management system to make it easier to evaluate the reports of the static analysis tools.
This document was handed out as supportive materi…
▽ More
CodeChecker is an open source project that integrates different static analysis tools such as the Clang Static Analyzer and Clang-Tidy into the build systems, continuous integration loops, and development workflows of C++ programmers. It has a powerful issue management system to make it easier to evaluate the reports of the static analysis tools.
This document was handed out as supportive material for a code analysis lecture at the 2018 3COWS conference in Kosice, Slovakia.
△ Less
Submitted 4 August, 2024;
originally announced August 2024.
-
Scaling Symbolic Execution to Large Software Systems
Authors:
Gabor Horvath,
Reka Kovacs,
Zoltan Porkolab
Abstract:
Static analysis is the analysis of a program without executing it, usually carried out by an automated tool. Symbolic execution is a popular static analysis technique used both in program verification and in bug detection software. It works by interpreting the code, introducing a symbol for each value unknown at compile time (e.g. user-given inputs), and carrying out calculations symbolically. The…
▽ More
Static analysis is the analysis of a program without executing it, usually carried out by an automated tool. Symbolic execution is a popular static analysis technique used both in program verification and in bug detection software. It works by interpreting the code, introducing a symbol for each value unknown at compile time (e.g. user-given inputs), and carrying out calculations symbolically. The analysis engine strives to explore multiple execution paths simultaneously, although checking all paths is an intractable problem, due to the vast number of possibilities.
We focus on an error finding framework called the Clang Static Analyzer, and the infrastructure built around it named CodeChecker. The emphasis is on achieving end-to-end scalability. This includes the run time and memory consumption of the analysis, bug presentation to the users, automatic false positive suppression, incremental analysis, pattern discovery in the results, and usage in continuous integration loops. We also outline future directions and open problems concerning these tools.
While a rich literature exists on program verification software, error finding tools normally need to settle for survey papers on individual techniques. In this paper, we not only discuss individual methods, but also how these decisions interact and reinforce each other, creating a system that is greater than the sum of its parts. Although the Clang Static Analyzer can only handle C-family languages, the techniques introduced in this paper are mostly language-independent and applicable to other similar static analysis tools.
△ Less
Submitted 3 August, 2024;
originally announced August 2024.
-
Investigating the whirling heat current density in the Guyer--Krumhansl equation
Authors:
Mátyás Szücs,
Carmelo Filippo Munafo,
Róbert Kovács
Abstract:
Among the numerous heat conduction models, the Guyer--Krumhansl equation has a special role. Besides its various application possibilities in nanotechnology, cryotechnology, and even in case of modeling heterogeneous materials, it poses additional mathematical challenges compared to the Fourier or Cattaneo {(a.k.a. Maxwell--Cattaneo--Vernotte)} equations. Furthermore, the Guyer--Krumhansl equation…
▽ More
Among the numerous heat conduction models, the Guyer--Krumhansl equation has a special role. Besides its various application possibilities in nanotechnology, cryotechnology, and even in case of modeling heterogeneous materials, it poses additional mathematical challenges compared to the Fourier or Cattaneo {(a.k.a. Maxwell--Cattaneo--Vernotte)} equations. Furthermore, the Guyer--Krumhansl equation is the first heat conduction model, which includes the curl of the heat flux density in the evolution equation. In the present paper, we place our focus on the consequences of the existence of such whirling heat current density by solving the two-dimensional Guyer--Krumhansl equation with a space and time-dependent heat pulse boundary condition. The discretization poses further challenges in regard to the boundary condition for which we propose a particular extrapolation method. Furthermore, with the help of the Helmholtz decomposition, we show the analogy with the linearized acoustics of Newtonian fluids, which reveals how the heat flux density plays the role of the velocity field. Our solutions also reveal an unexpected temperature evolution caused by the whirling heat flux density, namely, the temperature can locally be decreased for a short time in a case when the curl of the heat flux density dominates the heat conduction process.
△ Less
Submitted 15 May, 2024;
originally announced May 2024.
-
Numerical analysis of the Maxwell-Cattaneo-Vernotte nonlinear model
Authors:
A. J. A. Ramos,
A. D. S. Campelo,
M. M. Freitas,
R. Kovács
Abstract:
In the literature, one can find numerous modifications of Fourier's law from which the first one is called Maxwell-Cattaneo-Vernotte heat equation. Although this model has been known for decades and successfully used to model low-temperature damped heat wave propagation, its nonlinear properties are rarely investigated. In this paper, we aim to present the functional relationship between the trans…
▽ More
In the literature, one can find numerous modifications of Fourier's law from which the first one is called Maxwell-Cattaneo-Vernotte heat equation. Although this model has been known for decades and successfully used to model low-temperature damped heat wave propagation, its nonlinear properties are rarely investigated. In this paper, we aim to present the functional relationship between the transport coefficients and the consequences of their temperature dependence. Furthermore, we introduce a particular implicit numerical scheme in order to solve such nonlinear heat equations reliably. We investigate the scheme's stability, dissipation, and dispersion attributes as well. We demonstrate the effect of temperature-dependent thermal conductivity on two different initial-boundary value problems, including time-dependent boundaries and heterogeneous initial conditions.
△ Less
Submitted 18 August, 2023;
originally announced August 2023.
-
Transient non-Fourier behavior of large surface bodies
Authors:
Robert Kovacs
Abstract:
The variety and complexity of heterogeneous materials in the engineering practice are continuously increasing, open-cell metal foams filled with phase change materials are typical examples. These are also having an impact on the recent developments in the energy industry. Earlier room temperature heat pulse experiments on macroscale foam samples showed non-Fourier over-diffusive behavior on a part…
▽ More
The variety and complexity of heterogeneous materials in the engineering practice are continuously increasing, open-cell metal foams filled with phase change materials are typical examples. These are also having an impact on the recent developments in the energy industry. Earlier room temperature heat pulse experiments on macroscale foam samples showed non-Fourier over-diffusive behavior on a particular time scale. Since there is a need to investigate such complex structures on larger spatial scales and extend the one-dimensional analysis on two-, and three-dimensional settings, here we develop a two-dimensional analytical solution for the Guyer-Krumhansl and Jeffreys-type heat equations in cylindrical coordinates to investigate the transient thermal behavior of large bodies. We provide the steady-state and transient temperature and heat flux distributions for a space-dependent heat source. The solutions presented here will be helpful for the thermal characterization of complex materials and for the validation of numerical methods.
△ Less
Submitted 30 June, 2023;
originally announced June 2023.
-
The James Webb Space Telescope Mission
Authors:
Jonathan P. Gardner,
John C. Mather,
Randy Abbott,
James S. Abell,
Mark Abernathy,
Faith E. Abney,
John G. Abraham,
Roberto Abraham,
Yasin M. Abul-Huda,
Scott Acton,
Cynthia K. Adams,
Evan Adams,
David S. Adler,
Maarten Adriaensen,
Jonathan Albert Aguilar,
Mansoor Ahmed,
Nasif S. Ahmed,
Tanjira Ahmed,
Rüdeger Albat,
Loïc Albert,
Stacey Alberts,
David Aldridge,
Mary Marsha Allen,
Shaune S. Allen,
Martin Altenburg
, et al. (983 additional authors not shown)
Abstract:
Twenty-six years ago a small committee report, building on earlier studies, expounded a compelling and poetic vision for the future of astronomy, calling for an infrared-optimized space telescope with an aperture of at least $4m$. With the support of their governments in the US, Europe, and Canada, 20,000 people realized that vision as the $6.5m$ James Webb Space Telescope. A generation of astrono…
▽ More
Twenty-six years ago a small committee report, building on earlier studies, expounded a compelling and poetic vision for the future of astronomy, calling for an infrared-optimized space telescope with an aperture of at least $4m$. With the support of their governments in the US, Europe, and Canada, 20,000 people realized that vision as the $6.5m$ James Webb Space Telescope. A generation of astronomers will celebrate their accomplishments for the life of the mission, potentially as long as 20 years, and beyond. This report and the scientific discoveries that follow are extended thank-you notes to the 20,000 team members. The telescope is working perfectly, with much better image quality than expected. In this and accompanying papers, we give a brief history, describe the observatory, outline its objectives and current observing program, and discuss the inventions and people who made it possible. We cite detailed reports on the design and the measured performance on orbit.
△ Less
Submitted 10 April, 2023;
originally announced April 2023.
-
Heat equations beyond Fourier: from heat waves to thermal metamaterials
Authors:
Róbert Kovács
Abstract:
In the past decades, numerous heat conduction models beyond Fourier have been developed to account for the large gradients, fast phenomena, wave propagation, or heterogeneous material structure, such as being typical for biological systems, superlattices, or thermal metamaterials. It became a challenge to orient among the models, mainly due to their various thermodynamic backgrounds and possible c…
▽ More
In the past decades, numerous heat conduction models beyond Fourier have been developed to account for the large gradients, fast phenomena, wave propagation, or heterogeneous material structure, such as being typical for biological systems, superlattices, or thermal metamaterials. It became a challenge to orient among the models, mainly due to their various thermodynamic backgrounds and possible compatibility issues. Additionally, in light of the recent findings on the field of non-Fourier heat conduction, it is not even straightforward how to interpret and utilize a non-Fourier heat equation, primarily when one aims to thermally design the material structure to construct the new generation of thermal metamaterials. Adding that numerous modeling strategies can be found in the literature accompanying different interpretations even for the same heat equation makes it even more difficult to orient ourselves and find a comprehensive picture of this field of research. Therefore, this review aims to ease the orientation among advanced heat equations beyond Fourier by discussing properties concerning their possible practical applications in light of experiments. We start from the simplest model with basic principles and notions, then proceed toward the more complex models related to coupled phenomena such as ballistic heat conduction. We do not enter the often complicated technical details of each thermodynamic framework but do not aim to compare each approach. However, we still briefly present their background to highlight their origin and the limitations acting on the models. Additionally, the field of non-Fourier heat conduction has become quite segmented, and that paper also aims to provide a common ground, a comprehensive mutual understanding of the basics of each model, together with what phenomenon they can be applied to.
△ Less
Submitted 25 July, 2023; v1 submitted 27 February, 2023;
originally announced February 2023.
-
Challenges in the thermal modeling of highly porous carbon foams
Authors:
Anna Fehér,
Róbert Kovács,
Ákos Sudár,
Gergely Gábor Barnaföldi
Abstract:
The heat pulse experiment is a well-known method for determining thermal diffusivity. However, neither the measurement nor the evaluation methodologies are straightforward for heterogeneous, highly porous materials. In the present paper, we focus on two open-cell carbon foam types, differing in their porosity but having the same size. Recent experiments showed that a non-Fourier behaviour, called…
▽ More
The heat pulse experiment is a well-known method for determining thermal diffusivity. However, neither the measurement nor the evaluation methodologies are straightforward for heterogeneous, highly porous materials. In the present paper, we focus on two open-cell carbon foam types, differing in their porosity but having the same size. Recent experiments showed that a non-Fourier behaviour, called 'over-diffusive' propagation, is probably present for such a complex structure. The (continuum) Guyer-Krumhansl equation stands as a promising candidate to model such transient thermal behaviour. In order to obtain a reliable evaluation and thus reliable thermal parameters, we utilize a novel, state-of-the-art evaluation procedure developed recently using an analytical solution of the Guyer-Krumhansl equation. Based on our observations, it turned out that the presence of high porosity alone is necessary but not satisfactory for non-Fourier behaviour. Additionally, the mentioned non-Fourier effects are porosity-dependent. However, porous samples can also follow the Fourier law. These data serve as a basis to correctly identify the characteristic heat transfer mechanisms and their corresponding time scales, which altogether result in the present non-Fourier behaviour. Keywords: flash experiments, non-Fourier heat conduction, highly porous carbon foams.
△ Less
Submitted 17 August, 2023; v1 submitted 20 September, 2022;
originally announced September 2022.
-
Two-field mixed hp-finite elements for time-dependent problems in the refined theories of thermodynamics
Authors:
Balázs Tóth,
Zsombor Molnár,
Róbert Kovács
Abstract:
Thanks to modern manufacturing technologies, heterogeneous materials with complex inner structures (e.g., foams) can be easily produced. However, their utilization is not straightforward, as the classical constitutive laws are not necessarily valid. According to various experimental observations, the Guyer--Krumhansl equation stands as a promising candidate to model such complex structures. Howeve…
▽ More
Thanks to modern manufacturing technologies, heterogeneous materials with complex inner structures (e.g., foams) can be easily produced. However, their utilization is not straightforward, as the classical constitutive laws are not necessarily valid. According to various experimental observations, the Guyer--Krumhansl equation stands as a promising candidate to model such complex structures. However, the practical applications need a reliable and efficient algorithm that is capable of handling both complex geometries and advanced heat equations. In the present paper, we present the development of a $hp$-type finite element technique, which can be reliably applied. We investigate its convergence properties for various situations, being challenging in relation to stability and the treatment of fast propagation speeds. That algorithm is also proved to be outstandingly efficient, providing solutions four magnitudes faster than commercial algorithms.
△ Less
Submitted 18 December, 2022; v1 submitted 18 September, 2022;
originally announced September 2022.
-
Mathematical analysis and numerical simulation of the Guyer-Krumhansl heat equation
Authors:
Anderson Ramos,
Róbert Kovács,
Mirelson Freitas,
Almeida Júnior
Abstract:
The Guyer-Krumhansl heat equation has numerous important practical applications in both low-temperature and room temperature heat conduction problems. In recent years, it turned out that the Guyer-Krumhansl model can effectively describe the thermal behaviour of macroscale heterogeneous materials. Thus, the Guyer-Krumhansl equation is a promising candidate to be the next standard model in engineer…
▽ More
The Guyer-Krumhansl heat equation has numerous important practical applications in both low-temperature and room temperature heat conduction problems. In recent years, it turned out that the Guyer-Krumhansl model can effectively describe the thermal behaviour of macroscale heterogeneous materials. Thus, the Guyer-Krumhansl equation is a promising candidate to be the next standard model in engineering. However, to support the Guyer-Krumhansl equation's introduction into the engineering practice, its mathematical properties must be thoroughly investigated and understood. In the present paper, we show the basic structure of this particular heat equation, focusing on the differences in comparison to the Fourier heat equation {obtained when $(τ_{q}, μ^{2})\rightarrow (0,0)$}. Additionally, we prove the well-posedness of a particular, practically significant initial and boundary value problem. The stability of the solution is also investigated in the discrete space using a finite difference approach.
△ Less
Submitted 13 July, 2022; v1 submitted 12 July, 2022;
originally announced July 2022.
-
On Minimally Non-Firm Binary Matrices
Authors:
Reka Agnes Kovacs
Abstract:
For a binary matrix X, the Boolean rank br(X) is the smallest integer k for which X equals the Boolean sum of k rank-1 binary matrices, and the isolation number i(X) is the maximum number of 1s no two of which are in a same row, column and a 2x2 submatrix of all 1s. In this paper, we continue Lubiw's study of firm matrices. X is said to be firm if i(X)=br(X) and this equality holds for all its sub…
▽ More
For a binary matrix X, the Boolean rank br(X) is the smallest integer k for which X equals the Boolean sum of k rank-1 binary matrices, and the isolation number i(X) is the maximum number of 1s no two of which are in a same row, column and a 2x2 submatrix of all 1s. In this paper, we continue Lubiw's study of firm matrices. X is said to be firm if i(X)=br(X) and this equality holds for all its submatrices. We show that the stronger concept of superfirmness of X is equivalent to having no odd holes in the rectangle cover graph of X, the graph in which br(X) and i(X) translate to the clique cover and the independence number, respectively. A binary matrix is minimally non-firm if it is not firm but all of its proper submatrices are. We introduce two matrix operations that lead to generalised binary matrices and use these operations to derive four infinite classes of minimally non-firm matrices. We hope that our work may pave the way towards a complete characterisation of firm matrices via forbidden submatrices.
△ Less
Submitted 8 June, 2022;
originally announced June 2022.
-
The role of the initial states for non-Fourier heat equations
Authors:
Róbert Kovács
Abstract:
There are several models for heat conduction - non-Fourier equations - in the literature that are important for various practical problems. These models manifest themselves in partial differential equations, and the application of which requires developing efficient and reliable solution methods. In the present paper, we focus on the analytical solutions of two non-Fourier models, specifically on…
▽ More
There are several models for heat conduction - non-Fourier equations - in the literature that are important for various practical problems. These models manifest themselves in partial differential equations, and the application of which requires developing efficient and reliable solution methods. In the present paper, we focus on the analytical solutions of two non-Fourier models, specifically on the Maxwell-Cattaneo-Vernotte and Guyer-Krumhansl equations, as they share an established thermodynamic background, and find numerous applications. Although initial conditions are usually homogeneous in space in many situations, real applications can easily point beyond such a simple initial state. Therefore, we aim to investigate the consequences of nonhomogeneous initial conditions, emphasising the physical requirements to keep the solution physically admissible. We conclude the calculations with a method for determining the initial time derivatives in consistence with thermodynamics, avoiding contradictions.
△ Less
Submitted 16 January, 2022;
originally announced January 2022.
-
Binary Matrix Factorisation and Completion via Integer Programming
Authors:
Reka A. Kovacs,
Oktay Gunluk,
Raphael A. Hauser
Abstract:
Binary matrix factorisation is an essential tool for identifying discrete patterns in binary data. In this paper we consider the rank-k binary matrix factorisation problem (k-BMF) under Boolean arithmetic: we are given an n x m binary matrix X with possibly missing entries and need to find two binary matrices A and B of dimension n x k and k x m respectively, which minimise the distance between X…
▽ More
Binary matrix factorisation is an essential tool for identifying discrete patterns in binary data. In this paper we consider the rank-k binary matrix factorisation problem (k-BMF) under Boolean arithmetic: we are given an n x m binary matrix X with possibly missing entries and need to find two binary matrices A and B of dimension n x k and k x m respectively, which minimise the distance between X and the Boolean product of A and B in the squared Frobenius distance. We present a compact and two exponential size integer programs (IPs) for k-BMF and show that the compact IP has a weak LP relaxation, while the exponential size IPs have a stronger equivalent LP relaxation. We introduce a new objective function, which differs from the traditional squared Frobenius objective in attributing a weight to zero entries of the input matrix that is proportional to the number of times the zero is erroneously covered in a rank-k factorisation. For one of the exponential size IPs we describe a computational approach based on column generation. Experimental results on synthetic and real word datasets suggest that our integer programming approach is competitive against available methods for k-BMF and provides accurate low-error factorisations.
△ Less
Submitted 3 August, 2021; v1 submitted 25 June, 2021;
originally announced June 2021.
-
Spectral properties of dissipation
Authors:
Peter Ván,
Robert Kovács,
Federico Vázquez
Abstract:
The novel concept of spectral diffusivity is introduced to analyse the dissipative properties of continua. The dissipative components of a linear system of evolution equations are separated into noninteracting parts. This separation is similar to mode analysis in wave propagation. The new modal quantities characterise dissipation and best interpreted as effective diffusivities, or, in case of heat…
▽ More
The novel concept of spectral diffusivity is introduced to analyse the dissipative properties of continua. The dissipative components of a linear system of evolution equations are separated into noninteracting parts. This separation is similar to mode analysis in wave propagation. The new modal quantities characterise dissipation and best interpreted as effective diffusivities, or, in case of heat conduction, as effective heat conductivities of the material.
△ Less
Submitted 6 March, 2021;
originally announced March 2021.
-
A case study of non-Fourier heat conduction using Internal Variables and GENERIC
Authors:
Mátyás Szücs,
Michal Pavelka,
Róbert Kovács,
Tamás Fülöp,
Péter Ván,
Miroslav Grmela
Abstract:
Applying simultaneously the methodology of Non-Equilibrium Thermodynamics with Internal Variables (NET-IV) and the framework of General Equation for the Non-Equilibrium Reversible-Irreversible Coupling (GENERIC), we demonstrate that, in heat conduction theories, entropy current multipliers can be interpreted as relaxed state variables. Fourier's law and its various extensions -- the Maxwell-Cattan…
▽ More
Applying simultaneously the methodology of Non-Equilibrium Thermodynamics with Internal Variables (NET-IV) and the framework of General Equation for the Non-Equilibrium Reversible-Irreversible Coupling (GENERIC), we demonstrate that, in heat conduction theories, entropy current multipliers can be interpreted as relaxed state variables. Fourier's law and its various extensions -- the Maxwell-Cattaneo-Vernotte, Guyer-Krumhansl, Jeffreys type, Ginzburg-Landau (Allen-Cahn) type and ballistic-diffusive -- heat conduction equations are derived in both formulations. Along these lines, a comparison of NET-IV and GENERIC is also performed. Our results may pave the way for microscopic/multiscale understanding of beyond-Fourier heat conduction, and open new ways for numerical simulations of heat-conduction problems.
△ Less
Submitted 19 July, 2021; v1 submitted 4 March, 2021;
originally announced March 2021.
-
Lagging Heat Models in Thermodynamics and Bioheat Transfer: a Critical Review
Authors:
Zahra Shomali,
Robert Kovács,
Peter Ván,
Igor Vasilievich Kudinov,
Jafar Ghazanfarian
Abstract:
The accuracy of the classical heat conduction model, known as Fourier's law, is highly questioned, dealing with the micro and nanosystems and biological tissues. In other words, the results obtained from the classical equations deviate from the available experimental data. It means that the continuum heat diffusion equation is insufficient and inappropriate for modeling heat transport in these cas…
▽ More
The accuracy of the classical heat conduction model, known as Fourier's law, is highly questioned, dealing with the micro and nanosystems and biological tissues. In other words, the results obtained from the classical equations deviate from the available experimental data. It means that the continuum heat diffusion equation is insufficient and inappropriate for modeling heat transport in these cases. There are several techniques for modeling non-Fourier heat conduction. In the present paper, we place our focus on the dual-phase-lag (DPL) approach. The DPL model, as a popular modification of Fourier's law, has already been utilized in numerous situations, such as simulating ultrafast laser heating and heat conduction in carbon nanotubes. There has been a sharp increase in research on non-Fourier heat conduction in recent years. Several studies have been performed in the fields of thermoelasticity, thermodynamics, transistor modeling, and bioheat transport. This review presents the most recent non-Fourier bioheat conduction works and the related thermodynamics background. The various mathematical tools, modeling different thermal therapies, and relevant criticisms and disputes are discussed. Finally, the novel and other possible studies are also presented to provide a better overview, and the roadmap to the future research and challenges ahead is drawn up.
△ Less
Submitted 27 March, 2022; v1 submitted 27 February, 2021;
originally announced March 2021.
-
Estimating the damage of railway carriage wheels equipped with disc brakes
Authors:
Márton Krénusz,
Róbert Sándor Kovács,
Miklós Krémer
Abstract:
The aim of this paper is to estimate the damage of railway carriage wheels caused by lock-up braking. First, we investigate the typical characteristics of wheel-rail contact including the parameters of contact patch, longitudinal creep and coefficient of adhesion. Then we show the current requirements concerning the wheel-slide protection systems and determine the points which should be reviewed.…
▽ More
The aim of this paper is to estimate the damage of railway carriage wheels caused by lock-up braking. First, we investigate the typical characteristics of wheel-rail contact including the parameters of contact patch, longitudinal creep and coefficient of adhesion. Then we show the current requirements concerning the wheel-slide protection systems and determine the points which should be reviewed. To predict the effect of the sliding phenomenon, material properties are needed, as well. Afterwards, a simplified thermal simulation is built to estimate where martensite formation may occur.
△ Less
Submitted 8 April, 2021; v1 submitted 24 February, 2021;
originally announced February 2021.
-
Size effects and beyond-Fourier heat conduction in room-temperature experiments
Authors:
Anna Fehér,
Norbert Lukács,
László Somlai,
Tamás Fodor,
Mátyás Szücs,
Tamás Fülöp,
Péter Ván,
Róbert Kovács
Abstract:
It is a long-lasting task to understand heat conduction phenomena beyond Fourier. Besides the low-temperature experiments on extremely pure crystals, it has turned out recently that heterogeneous materials with macro-scale size can also show thermal effects that cannot be modelled by the Fourier equation. This is called over-diffusive propagation, different from low-temperature observations, and i…
▽ More
It is a long-lasting task to understand heat conduction phenomena beyond Fourier. Besides the low-temperature experiments on extremely pure crystals, it has turned out recently that heterogeneous materials with macro-scale size can also show thermal effects that cannot be modelled by the Fourier equation. This is called over-diffusive propagation, different from low-temperature observations, and is found in numerous samples made from metal foam, rocks, and composites. The measured temperature history is indeed similar to what Fourier's law predicts but the usual evaluation cannot provide reliable thermal parameters. This paper is a report on our experiments on several rock types, each type having multiple samples with different thicknesses. We show that size-dependent thermal behaviour can occur for both Fourier and non-Fourier situations. Moreover, based on the present experimental data, we find an empirical relation between the Fourier and non-Fourier parameters, which may be helpful in later experiments to develop a more robust and reliable evaluation procedure.
△ Less
Submitted 23 February, 2021;
originally announced February 2021.
-
Continuum modeling perspectives of non-Fourier heat conduction in biological systems
Authors:
Ákos Sudár,
Gergely Futaki,
Róbert Kovács
Abstract:
The thermal modeling of biological systems has increasing importance in developing more advanced, more precise techniques such as ultrasound surgery. One of the primary barriers is the complexity of biological materials: the geometrical, structural, and material properties vary in a wide range, and they depend on many factors. Despite these difficulties, there is a tremendous effort to develop a r…
▽ More
The thermal modeling of biological systems has increasing importance in developing more advanced, more precise techniques such as ultrasound surgery. One of the primary barriers is the complexity of biological materials: the geometrical, structural, and material properties vary in a wide range, and they depend on many factors. Despite these difficulties, there is a tremendous effort to develop a reliable and implementable thermal model. In the present paper, we focus on the continuum modeling of heterogeneous materials with biological origin. There are numerous examples in the literature for non-Fourier thermal models. However, as we realized, they are associated with a few common misconceptions. Therefore, we first aim to clarify the basic concepts of non-Fourier thermal models. These concepts are demonstrated by revisiting two experiments from the literature in which the Cattaneo-Vernotte and the dual phase lag models are utilized. Our investigation revealed that using these non-Fourier models is based on misinterpretations of the measured data, and the seeming deviation from Fourier's law originates in the source terms and boundary conditions.
△ Less
Submitted 25 January, 2021;
originally announced January 2021.
-
Novel evaluation method for non-Fourier effects in heat pulse experiments
Authors:
Anna Fehér,
Róbert Kovács
Abstract:
The heat pulse (flash) experiment is a well-known and widely accepted method to measure the thermal diffusivity of a material. In recent years, it is observed that the thermal behavior of heterogeneous materials can show deviation from the classical Fourier equation, resulting in a different thermal diffusivity and requiring further thermal parameters to identify. Such heterogeneity can be inclusi…
▽ More
The heat pulse (flash) experiment is a well-known and widely accepted method to measure the thermal diffusivity of a material. In recent years, it is observed that the thermal behavior of heterogeneous materials can show deviation from the classical Fourier equation, resulting in a different thermal diffusivity and requiring further thermal parameters to identify. Such heterogeneity can be inclusions in metal foams, layered structure in composites, or even cracks and porous parts in rocks. Furthermore, the next candidate, the so-called Guyer-Krumhansl equation, is tested on these experiments with success. However, these recent evaluations required a computationally intensive fitting procedure using countless numerical solutions, even when a good initial guess for the parameters is found by hand. This paper presents a Galerkin-type discretization for the Guyer-Krumhansl equation, which helped us find a reasonably simple analytical solution for time-dependent boundary conditions. Utilizing this analytical solution, we developed a new evaluation technique to immediately estimate all the necessary thermal parameters using the measured temperature history.
△ Less
Submitted 4 January, 2021;
originally announced January 2021.
-
Four spacetime dimensional simulation of rheological waves in solids and the merits of thermodynamics
Authors:
Áron Pozsár,
Mátyás Szücs,
Róbert Kovács,
Tamás Fülöp
Abstract:
The recent results attained from a thermodynamically conceived numerical scheme applied on wave propagation in viscoelastic/rheological solids are generalized here, both in the sense that the scheme is extended to four spacetime dimensions and in the aspect of the virtues of a thermodynamical approach. Regarding the scheme, the arrangement of which quantity is represented where in discretized spac…
▽ More
The recent results attained from a thermodynamically conceived numerical scheme applied on wave propagation in viscoelastic/rheological solids are generalized here, both in the sense that the scheme is extended to four spacetime dimensions and in the aspect of the virtues of a thermodynamical approach. Regarding the scheme, the arrangement of which quantity is represented where in discretized spacetime, including the question of appropriately realizing the boundary conditions, is nontrivial. In parallel, placing the problem in the thermodynamical framework proves to be beneficial in regards to monitoring and controlling numerical artefacts - instability, dissipation error, and dispersion error. This, in addition to the observed preciseness, speed, and resource-friendliness, makes the thermodynamically extended symplectic approach that is presented here advantageous above commercial finite element software solutions.
△ Less
Submitted 7 March, 2024; v1 submitted 1 November, 2020;
originally announced December 2020.
-
Binary Matrix Factorisation via Column Generation
Authors:
Reka A. Kovacs,
Oktay Gunluk,
Raphael A. Hauser
Abstract:
Identifying discrete patterns in binary data is an important dimensionality reduction tool in machine learning and data mining. In this paper, we consider the problem of low-rank binary matrix factorisation (BMF) under Boolean arithmetic. Due to the hardness of this problem, most previous attempts rely on heuristic techniques. We formulate the problem as a mixed integer linear program and use a la…
▽ More
Identifying discrete patterns in binary data is an important dimensionality reduction tool in machine learning and data mining. In this paper, we consider the problem of low-rank binary matrix factorisation (BMF) under Boolean arithmetic. Due to the hardness of this problem, most previous attempts rely on heuristic techniques. We formulate the problem as a mixed integer linear program and use a large scale optimisation technique of column generation to solve it without the need of heuristic pattern mining. Our approach focuses on accuracy and on the provision of optimality guarantees. Experimental results on real world datasets demonstrate that our proposed method is effective at producing highly accurate factorisations and improves on the previously available best known results for 15 out of 24 problem instances.
△ Less
Submitted 3 August, 2021; v1 submitted 9 November, 2020;
originally announced November 2020.
-
Open mathematical aspects of continuum thermodynamics: hyperbolicity, boundaries and nonlinearities
Authors:
Mátyás Szücs,
Róbert Kovács,
Srboljub Simić
Abstract:
Thermodynamics is continuously spreading in the engineering practice, which is especially true for non-equilibrium models in continuum problems. Although there are concepts and approaches beyond the classical knowledge, which are known for decades, their mathematical properties and consequences of the generalizations are less-known and are still of high interest in current researches. Therefore, w…
▽ More
Thermodynamics is continuously spreading in the engineering practice, which is especially true for non-equilibrium models in continuum problems. Although there are concepts and approaches beyond the classical knowledge, which are known for decades, their mathematical properties and consequences of the generalizations are less-known and are still of high interest in current researches. Therefore, we found it essential to collect the most important and still open mathematical questions related to different continuum thermodynamic approaches. First, we start with the example of Classical Irreversible Thermodynamics (CIT) in order to provide the basis for the more general and complex frameworks, such as the Non-Equilibrium Thermodynamics with Internal Variables (NET-IV) and Rational Extended Thermodynamics (RET). Here, we aim to present that each approach has its specific problems, such as how the initial and boundary conditions can be formulated, how the coefficients in the partial differential equations are connected to each other, and how it affects the appearance of nonlinearities. We present these properties and comparing the approach of NET-IV and RET to each other from these points of view.
△ Less
Submitted 30 July, 2020;
originally announced July 2020.
-
Analytical and numerical modelling of ballistic heat conduction observed in heat pulse experiments
Authors:
Gábor Balassa,
Patrizia Rogolino,
Ágnes Rieth,
Róbert Kovács
Abstract:
Among the three heat conduction modes, the ballistic propagation is the most difficult to model. In the present paper, we discuss its physical interpretations and showing different alternatives to its modeling. We highlight two of them: a thermo-mechanical model in which the generalized heat equation - the so-called Maxwell-Cattaneo-Vernotte equation - is coupled to thermal expansion. At the same…
▽ More
Among the three heat conduction modes, the ballistic propagation is the most difficult to model. In the present paper, we discuss its physical interpretations and showing different alternatives to its modeling. We highlight two of them: a thermo-mechanical model in which the generalized heat equation - the so-called Maxwell-Cattaneo-Vernotte equation - is coupled to thermal expansion. At the same time, the other one uses internal variables. For the first one, we developed a numerical solution and tested on the heat pulse experiment performed by McNelly et al.~on NaF samples. For the second one, we found an analytical solution that emphasizes the role of boundary conditions. This analytical method is used to validate the earlier developed numerical code.
△ Less
Submitted 12 April, 2020;
originally announced April 2020.
-
When theories and experiments meet: rarefied gases as a benchmark of non-equilibrium thermodynamic models
Authors:
Róbert Kovács,
Patrizia Rogolino,
David Jou
Abstract:
The role of thermodynamics in deriving constitutive equations is unique, and various approaches have been developed in the last decades. In the present paper, the frameworks of Extended Irreversible Thermodynamics (EIT) and Non-Equilibrium Thermodynamics with Internal Variables (NET-IV) are discussed and compared to each other on the basis of a particular problem of rarefied gases. In this compari…
▽ More
The role of thermodynamics in deriving constitutive equations is unique, and various approaches have been developed in the last decades. In the present paper, the frameworks of Extended Irreversible Thermodynamics (EIT) and Non-Equilibrium Thermodynamics with Internal Variables (NET-IV) are discussed and compared to each other on the basis of a particular problem of rarefied gases. In this comparison, both theoretical and experimental aspects are taken into account. Eventually, an experiment by Meyer and Sessler covering a wide range of pressures and frequencies is investigated. Here, concentrating on the scaling properties and the density dependence of parameters, the change of speed of sound in terms of frequency and pressure is recovered using NET-IV, and this fitting is compared to the results of Lebon and Cloot using EIT.
△ Less
Submitted 4 December, 2019;
originally announced December 2019.
-
Ballistic-diffusive model for heat transport in superlattices and the minimum effective heat conductivity
Authors:
Federico Vázquez,
Péter Ván,
Róbert Kovács
Abstract:
There has been much interest in semiconductor superlattices because of showing very low thermal conductivities. This makes them especially suitable for applications in a variety of devices for thermoelectric generation of energy, heat control at the nanometric length scale, etc. Recent experiments have confirmed that the effective thermal conductivity of superlattices at room temperature have a mi…
▽ More
There has been much interest in semiconductor superlattices because of showing very low thermal conductivities. This makes them especially suitable for applications in a variety of devices for thermoelectric generation of energy, heat control at the nanometric length scale, etc. Recent experiments have confirmed that the effective thermal conductivity of superlattices at room temperature have a minimum for very short periods (in the order of nanometers) as some kinetic calculations had anticipated previously. This work will show advances on a thermodynamic theory of heat transport in nanometric 1D multilayer systems by considering the separation of ballistic and diffusive heat fluxes, which are both described by Guyer-Krumhansl constitutive equations. The dispersion relations, as derived from the ballistic and diffusive heat transport equations, are used to derive an effective heat conductivity of the superlattice and to explain the minimum of the effective thermal conductivity.
△ Less
Submitted 19 November, 2019;
originally announced November 2019.
-
Numerical treatment of nonlinear Fourier and Maxwell-Cattaneo-Vernotte heat transport equations
Authors:
Róbert Kovács,
Patrizia Rogolino
Abstract:
The second law of thermodynamics is a useful and universal tool to derive the generalizations of the Fourier's law. In many cases, only linear relations are considered between the thermodynamic fluxes and forces, i.e., the conduction coefficients are independent of the temperature. In the present paper, we investigate a particular nonlinearity in which the thermal conductivity depends on the tempe…
▽ More
The second law of thermodynamics is a useful and universal tool to derive the generalizations of the Fourier's law. In many cases, only linear relations are considered between the thermodynamic fluxes and forces, i.e., the conduction coefficients are independent of the temperature. In the present paper, we investigate a particular nonlinearity in which the thermal conductivity depends on the temperature linearly. Also, that assumption is extended to the relaxation time, which appears in the hyperbolic generalization of Fourier's law, namely the Maxwell-Cattaneo-Vernotte (MCV) equation. Although such nonlinearity in the Fourier heat equation is well-known in the literature, its extension onto the MCV equation is rarely applied. Since these nonlinearities have significance from an experimental point of view, an efficient way is needed to solve the system of partial differential equations. In the following, we present a numerical method that is first developed for linear generalized heat equations. The related stability conditions are also discussed.
△ Less
Submitted 24 December, 2019; v1 submitted 21 October, 2019;
originally announced October 2019.
-
Thermodynamical extension of a symplectic numerical scheme with half space and time shift demonstrated on rheological waves in solids
Authors:
Tamás Fülöp,
Róbert Kovács,
Mátyás Szücs,
Mohammad Fawaier
Abstract:
On the example of the Poynting-Thomson-Zener rheological model for solids, which exhibits both dissipation and wave propagation - with nonlinear dispersion relation -, we introduce and investigate a finite difference numerical scheme. Our goal is to demonstrate its properties and to ease the computations in later applications for continuum thermodynamical problems. The key element is the positioni…
▽ More
On the example of the Poynting-Thomson-Zener rheological model for solids, which exhibits both dissipation and wave propagation - with nonlinear dispersion relation -, we introduce and investigate a finite difference numerical scheme. Our goal is to demonstrate its properties and to ease the computations in later applications for continuum thermodynamical problems. The key element is the positioning of the discretized quantities with shifts by half space and time steps with respect to each other. The arrangement is chosen according to the spacetime properties of the quantities and of the equations governing them. Numerical stability, dissipative error and dispersive error are analysed in detail. With the best settings found, the scheme is capable of making precise and fast predictions. Finally, the proposed scheme is compared to a commercial finite element software, COMSOL, which demonstrates essential differences even on the simplest - elastic - level of modelling.
△ Less
Submitted 7 January, 2020; v1 submitted 21 August, 2019;
originally announced August 2019.
-
Variational principles and thermodynamics
Authors:
Péter Ván,
Róbert Kovács
Abstract:
Variational principles play a fundamental role in deriving evolution equations of physics. They are working well in case of nondissipative evolution but for dissipative systems they are not unique, not predictive and not constructive. With methods of modern nonequilibrium thermodynamics, one can derive evolution equations for dissipative phenomena and, surprisingly, can also reproduce the Euler-La…
▽ More
Variational principles play a fundamental role in deriving evolution equations of physics. They are working well in case of nondissipative evolution but for dissipative systems they are not unique, not predictive and not constructive. With methods of modern nonequilibrium thermodynamics, one can derive evolution equations for dissipative phenomena and, surprisingly, can also reproduce the Euler-Lagrange form of the evolution equations for ideal processes. In this work, we examine some demonstrative examples and compare thermodynamic and variational techniques. Then, we argue that instead of searching for variational principles for dissipative systems, a different program can be more fruitful: the second law alone can be an effective tool to construct both dissipative and nondissipative evolution equations.
△ Less
Submitted 7 August, 2019;
originally announced August 2019.
-
Non-equilibrium theories of rarefied gases: internal variables and extended thermodynamics
Authors:
Róbert Kovács,
Damir Madjarević,
Srboljub Simić,
Péter Ván
Abstract:
Limits of classical constitutive laws such as Fourier and Navier-Stokes equations are discovered since decades. However, the proper extensions -- generalizations of these are not unique. They differ in the underlying physical principles and in modeling capabilities. In this paper, two different theories are discussed and compared to each other, namely the kinetic theory-based Rational Extended The…
▽ More
Limits of classical constitutive laws such as Fourier and Navier-Stokes equations are discovered since decades. However, the proper extensions -- generalizations of these are not unique. They differ in the underlying physical principles and in modeling capabilities. In this paper, two different theories are discussed and compared to each other, namely the kinetic theory-based Rational Extended Thermodynamics (RET) and non-equilibrium thermodynamics with internal variables (NET-IV).
First, the paper starts with the case of rigid heat conductors summarizing the result achieved so far. Then a typical example of compressible bodies is shown by presenting the first generalization for rarefied gases, called Meixner's theory. It is further extended using generalized entropy current in the framework of NET-IV. It is shown how its structure is related to RET and how the compatibility between them can be acquired.
△ Less
Submitted 14 April, 2020; v1 submitted 26 December, 2018;
originally announced December 2018.
-
Long term measurements from the Mátra Gravitational and Geophysical Laboratory
Authors:
P. Ván,
G. G. Barnaföldi,
T. Bulik,
T. Biró,
S. Czellár,
M. Cieślar,
Cs. Czanik,
E. Dávid,
E. Debreceni,
M. Denys,
M. Dobróka,
E. Fenyvesi,
D. Gondek-Rosińska,
Z. Gráczer,
G. Hamar,
G. Huba,
B. Kacskovics,
Á. Kis,
I. Kovács,
R. Kovács,
I. Lemperger,
P. Lévai,
S. Lökös,
J. Mlynarczyk,
J. Molnár
, et al. (15 additional authors not shown)
Abstract:
Summary of the long term data taking, related to one of the proposed next generation ground-based gravitational detector's location is presented here. Results of seismic and infrasound noise, electromagnetic attenuation and cosmic muon radiation measurements are reported in the underground Matra Gravitational and Geophysical Laboratory near Gyöngyösoroszi, Hungary. The collected seismic data of mo…
▽ More
Summary of the long term data taking, related to one of the proposed next generation ground-based gravitational detector's location is presented here. Results of seismic and infrasound noise, electromagnetic attenuation and cosmic muon radiation measurements are reported in the underground Matra Gravitational and Geophysical Laboratory near Gyöngyösoroszi, Hungary. The collected seismic data of more than two years is evaluated from the point of view of the Einstein Telescope, a proposed third generation underground gravitational wave observatory. Applying our results for the site selection will significantly improve the signal to nose ratio of the multi-messenger astrophysics era, especially at the low frequency regime.
△ Less
Submitted 13 November, 2018;
originally announced November 2018.
-
On the rarefied gas experiments
Authors:
Róbert Kovács
Abstract:
There are limits of validity of classical constitutive laws such as Fourier and Navier-Stokes equations, phenomena beyond those limits have been experimentally found many decades ago. However, it is still not clear what theory would be appropriate to model different non-classical phenomena under different conditions considering either the low-temperature or composite material structure. In this pa…
▽ More
There are limits of validity of classical constitutive laws such as Fourier and Navier-Stokes equations, phenomena beyond those limits have been experimentally found many decades ago. However, it is still not clear what theory would be appropriate to model different non-classical phenomena under different conditions considering either the low-temperature or composite material structure. In this paper, a modeling problem of rarefied gases is addressed. It covers the mass density dependence of material parameters, the scaling properties of different theories and aspects of how to model an experiment. In the following, two frameworks and their properties are discussed. One of them is the kinetic theory based Rational Extended Thermodynamics; the other one is the non-equilibrium thermodynamics with internal variables and current multipliers. In order to compare these theories, an experiment performed by Rhodes is analyzed in detail. It is shown that the density dependence of material parameters has a severe impact on modeling capabilities and can lead to very different results.
△ Less
Submitted 8 June, 2019; v1 submitted 21 August, 2018;
originally announced August 2018.
-
Emergence of non-Fourier hierarchies
Authors:
Tamás Fülöp,
Róbert Kovács,
Ádám Lovas,
Ágnes Rieth,
Tamás Fodor,
Mátyás Szücs,
Péter Ván,
Gyula Gróf
Abstract:
The non-Fourier heat conduction phenomenon on room temperature is analyzed from various aspects. The first one shows its experimental side, in what form it occurs and how we treated it. It is demonstrated that the Guyer-Krumhansl equation can be the next appropriate extension of Fourier's law for room temperature phenomena in modeling of heterogeneous materials. The second approach provides an int…
▽ More
The non-Fourier heat conduction phenomenon on room temperature is analyzed from various aspects. The first one shows its experimental side, in what form it occurs and how we treated it. It is demonstrated that the Guyer-Krumhansl equation can be the next appropriate extension of Fourier's law for room temperature phenomena in modeling of heterogeneous materials. The second approach provides an interpretation of generalized heat conduction equations using a simple thermomechanical background. Here, Fourier heat conduction is coupled to elasticity via thermal expansion, resulting in a particular generalized heat equation for the temperature field. Both of the aforementioned approaches show the size dependency of non-Fourier heat conduction. Finally, a third approach is presented, called pseudo-temperature modeling. It is shown that non-Fourier temperature history can be produced by mixing different solutions of Fourier's law. That kind of explanation indicates the interpretation of underlying heat conduction mechanics behind non-Fourier phenomena.
△ Less
Submitted 21 August, 2018;
originally announced August 2018.
-
High Performance Computing in Medical Image Analysis HuSSaR
Authors:
Laszlo Kovacs,
Roland Kovacs,
Andras Hajdu
Abstract:
In our former works we have made serious efforts to improve the performance of medical image analysis methods with using ensemble-based systems. In this paper, we present a novel hardware-based solution for the efficient adoption of our complex, fusion-based approaches for real-time applications. Even though most of the image processing problems and the increasing amount of data have high-performa…
▽ More
In our former works we have made serious efforts to improve the performance of medical image analysis methods with using ensemble-based systems. In this paper, we present a novel hardware-based solution for the efficient adoption of our complex, fusion-based approaches for real-time applications. Even though most of the image processing problems and the increasing amount of data have high-performance computing(HPC) demand, there is still a lack of corresponding dedicated HPC solutions for several medical tasks. To widen this bottleneck we have developed a Hybrid Small Size high performance computing Resource (abbreviated by HuSSaR) which efficiently alloys CPU and GPU technologies, mobile and has an own cooling system to support easy mobility and wide applicability. Besides a proper technical description, we include several practical examples from the clinical data processing domain in this work. For more details see also: https://arato.inf.unideb.hu/kovacs.laszlo/research_hybridmicrohpc.html
△ Less
Submitted 15 June, 2018;
originally announced June 2018.
-
Implicit numerical schemes for generalized heat conduction equations
Authors:
A. Rieth,
R. Kovács,
T. Fülöp
Abstract:
There are various situations where the classical Fourier's law for heat conduction is not applicable, such as heat conduction in heterogeneous materials or for modeling low-temperature phenomena. In such cases, heat flux is not directly proportional to temperature gradient, hence, the role -- and both the analytical and numerical treatment -- of boundary conditions becomes nontrivial. Here, we add…
▽ More
There are various situations where the classical Fourier's law for heat conduction is not applicable, such as heat conduction in heterogeneous materials or for modeling low-temperature phenomena. In such cases, heat flux is not directly proportional to temperature gradient, hence, the role -- and both the analytical and numerical treatment -- of boundary conditions becomes nontrivial. Here, we address this question for finite difference numerics via a shifted field approach. Based on this ground,implicit schemes are presented and compared to each other for the Guyer--Krumhansl generalized heat conduction equation, which successfully describes numerous beyond-Fourier experimental findings. The results are validated by an analytical solution, and are contrasted to finite element method outcomes obtained by COMSOL.
△ Less
Submitted 3 May, 2018;
originally announced May 2018.
-
Analytic solution of Guyer-Krumhansl equation for laser flash experiments
Authors:
Róbert Kovács
Abstract:
The existence of non-Fourier heat conduction is known for a long time in small and low temperature systems. The deviation from Fourier's law has been found at room temperature in heterogeneous materials like rocks and metal foams \cite{Botetal16, Vanetal17}. These experiments emphasized that the so-called Guyer-Krumhansl equation is adequate for modeling complex materials. In this paper an analyti…
▽ More
The existence of non-Fourier heat conduction is known for a long time in small and low temperature systems. The deviation from Fourier's law has been found at room temperature in heterogeneous materials like rocks and metal foams \cite{Botetal16, Vanetal17}. These experiments emphasized that the so-called Guyer-Krumhansl equation is adequate for modeling complex materials. In this paper an analytic solution of Guyer-Krumhansl equation is presented considering boundary conditions from laser flash experiment. The solutions are validated with the help of a numerical code \cite{KovVan15} developed for generalized heat equations.
△ Less
Submitted 14 April, 2018;
originally announced April 2018.
-
Low-Rank Boolean Matrix Approximation by Integer Programming
Authors:
Reka Kovacs,
Oktay Gunluk,
Raphael Hauser
Abstract:
Low-rank approximations of data matrices are an important dimensionality reduction tool in machine learning and regression analysis. We consider the case of categorical variables, where it can be formulated as the problem of finding low-rank approximations to Boolean matrices. In this paper we give what is to the best of our knowledge the first integer programming formulation that relies on only p…
▽ More
Low-rank approximations of data matrices are an important dimensionality reduction tool in machine learning and regression analysis. We consider the case of categorical variables, where it can be formulated as the problem of finding low-rank approximations to Boolean matrices. In this paper we give what is to the best of our knowledge the first integer programming formulation that relies on only polynomially many variables and constraints, we discuss how to solve it computationally and report numerical tests on synthetic and real-world data.
△ Less
Submitted 13 March, 2018;
originally announced March 2018.
-
Thermodynamical consistency of the Dual Phase Lag heat conduction equation
Authors:
Róbert Kovács,
Péter Ván
Abstract:
Dual phase lag equation for heat conduction is analyzed from the point of view of non-equilibrium thermodynamics. Its first order Taylor series expansion is consistent with the second law as long as the two relaxation times are not negative.
Dual phase lag equation for heat conduction is analyzed from the point of view of non-equilibrium thermodynamics. Its first order Taylor series expansion is consistent with the second law as long as the two relaxation times are not negative.
△ Less
Submitted 20 September, 2017;
originally announced September 2017.
-
Generalized heat-transport equations: Parabolic and hyperbolic models
Authors:
Patrizia Rogolino,
Róbert Kovács,
Péter Ván,
Vito Antonio Cimmelli
Abstract:
We derive two different generalized heat-transport equations: The most general one, of the first order in time and second order in space, encompasses some well known heat equations and describes the hyperbolic regime in the absence of nonlocal effects. Another, less general, of the second order in time and fourth order in space, is able to describe hyperbolic heat conduction also in the presence o…
▽ More
We derive two different generalized heat-transport equations: The most general one, of the first order in time and second order in space, encompasses some well known heat equations and describes the hyperbolic regime in the absence of nonlocal effects. Another, less general, of the second order in time and fourth order in space, is able to describe hyperbolic heat conduction also in the presence of nonlocal effects.
We investigate the thermodynamic compatibility of both models by applying some generalizations of the classical Liu and Coleman-Noll procedures. In both cases, constitutive equations for the entropy and for the entropy flux are obtained.
For the second model, we consider a heat-transport equation which includes nonlocal terms and study the resulting set of balance laws, proving that the corresponding thermal perturbations propagate with finite speed.
△ Less
Submitted 12 March, 2018; v1 submitted 16 September, 2017;
originally announced September 2017.
-
Second sound and ballistic heat conduction: NaF experiments revisited
Authors:
Róbert Kovács,
Péter Ván
Abstract:
Second sound phenomenon and ballistic heat conduction, the two wave like propagation modes of heat, are the two most prominent, experimentally observed non-Fourier effects of heat conduction. In this paper we compare three related theories by quantitatively analyzing the crucial NaF experiments of Jackson, Walker and McNelly, where these effects were observed together. We conclude that with the av…
▽ More
Second sound phenomenon and ballistic heat conduction, the two wave like propagation modes of heat, are the two most prominent, experimentally observed non-Fourier effects of heat conduction. In this paper we compare three related theories by quantitatively analyzing the crucial NaF experiments of Jackson, Walker and McNelly, where these effects were observed together. We conclude that with the available information the best comparison and insight is provided by non-equilibrium thermodynamics with internal variables. However, the available data and information is not the best, and further, new experiments are necessary.
△ Less
Submitted 31 August, 2017;
originally announced August 2017.
-
Guyer-Krumhansl-type heat conduction at room temperature
Authors:
P. Ván,
A. Berezovski,
T. Fülöp,
Gy. Gróf,
R. Kovács,
Á. Lovas,
J. Verhás
Abstract:
Results of heat pulse experiments in various artificial and natural materials are reported in the paper. The experiments are performed at room temperature with macroscopic samples. It is shown that temperature evolution does not follow the Fourier's law but well explained by the Guyer-Krumhansl equation. The observations confirm the ability of non-equilibrium thermodynamics to formulate universal…
▽ More
Results of heat pulse experiments in various artificial and natural materials are reported in the paper. The experiments are performed at room temperature with macroscopic samples. It is shown that temperature evolution does not follow the Fourier's law but well explained by the Guyer-Krumhansl equation. The observations confirm the ability of non-equilibrium thermodynamics to formulate universal constitutive relations for thermomechanical processes.
△ Less
Submitted 2 April, 2017;
originally announced April 2017.
-
First report of long term measurements of the {MGGL} laboratory in the {M}átra mountain range
Authors:
G. G. Barnaföldi,
T. Bulik,
M. Cieslar,
E. Dávid,
M. Dobróka,
E. Fenyvesi,
D. Gondek-Rosinska,
Z. Gráczer,
G. Hamar,
G. Huba,
Á. Kis,
R. Kovács,
I. Lemperger,
P. Lévai,
J. Molnár,
D. Nagy,
A. Novák,
L. Oláh,
P. Pázmándi,
D. Piri,
L. Somlai,
T. Starecki,
M. Suchenek,
G. Surányi,
S. Szalai
, et al. (6 additional authors not shown)
Abstract:
Matra Gravitational and Geophysical Laboratory (MGGL) has been established near Gyöngyösoroszi, Hungary in 2015, in the cavern system of an unused ore mine. The Laboratory is located at 88~m below the surface, with the aim to measure and analyse the advantages of the underground installation of third generation gravitational wave detectors. Specialized instruments have been installed to measure se…
▽ More
Matra Gravitational and Geophysical Laboratory (MGGL) has been established near Gyöngyösoroszi, Hungary in 2015, in the cavern system of an unused ore mine. The Laboratory is located at 88~m below the surface, with the aim to measure and analyse the advantages of the underground installation of third generation gravitational wave detectors. Specialized instruments have been installed to measure seismic, infrasound, electromagnetic noise, and the variation of the cosmic muon flux. In the preliminary (RUN-0) test period, March-August 2016, data collection has been accomplished. In this paper we describe the research potential of the MGGL, list the installed equipments and summarize the experimental results of RUN-0. Here we report RUN-0 data, that prepares systematic and synchronized data collection of the next run period.
△ Less
Submitted 3 May, 2017; v1 submitted 24 October, 2016;
originally announced October 2016.
-
Deviation from the Fourier law in room-temperature heat pulse experiments
Authors:
S. Both,
B. Czél,
T. Fülöp,
Gy. Gróf,
Á. Gyenis,
R. Kovács,
P. Ván,
J. Verhás
Abstract:
We report heat pulse experiments at room temperature that cannot be described by Fourier's law. The experimental data is modelled properly by the Guyer--Krumhansl equation, in its over-diffusion regime. The phenomenon is due to conduction channels with differing conductivities, and parallel to the direction of the heat flux.
We report heat pulse experiments at room temperature that cannot be described by Fourier's law. The experimental data is modelled properly by the Guyer--Krumhansl equation, in its over-diffusion regime. The phenomenon is due to conduction channels with differing conductivities, and parallel to the direction of the heat flux.
△ Less
Submitted 17 June, 2015;
originally announced June 2015.
-
Models of ballistic propagation of heat at low temperatures
Authors:
R. Kovács,
P. Ván
Abstract:
Heat conduction at low temperatures show various effects that cannot be described by the Fourier law, like the second sound and ballistic propagation. In this paper the performance of various theories is compared in case of ballistic and wave like propagation of heat pulses in NaF.
Heat conduction at low temperatures show various effects that cannot be described by the Fourier law, like the second sound and ballistic propagation. In this paper the performance of various theories is compared in case of ballistic and wave like propagation of heat pulses in NaF.
△ Less
Submitted 15 June, 2016; v1 submitted 18 June, 2015;
originally announced June 2015.
-
Thermodynamic hierarchies of evolution equations
Authors:
P. Ván,
R. Kovács,
T. Fülöp
Abstract:
Non-equilibrium thermodynamics with internal variables introduces a natural hierarchical arrangement of evolution equations. Three examples are shown: a hierarchy of linear constitutive equations in thermodynamic rhelogy with a single internal variable, a hierarchy of wave equations in the theory of generalized continua with dual internal variables and a hierarchical arrangement of the Fourier equ…
▽ More
Non-equilibrium thermodynamics with internal variables introduces a natural hierarchical arrangement of evolution equations. Three examples are shown: a hierarchy of linear constitutive equations in thermodynamic rhelogy with a single internal variable, a hierarchy of wave equations in the theory of generalized continua with dual internal variables and a hierarchical arrangement of the Fourier equation in the theory of heat conduction with current multipliers.
△ Less
Submitted 15 December, 2014;
originally announced December 2014.
-
Generalized heat conduction in heat pulse experiments
Authors:
R. Kovács,
P. Ván
Abstract:
A novel equation of heat conduction is derived with the help of a generalized entropy current and internal variables. The obtained system of constitutive relations is compatible with the momentum series expansion of the kinetic theory. The well known Fourier, Maxwell-Cattaneo-Vernotte, Guyer-Krumhansl, Jeffreys-type, and Cahn-Hilliard type equations are derived as special cases.
Some remarkable…
▽ More
A novel equation of heat conduction is derived with the help of a generalized entropy current and internal variables. The obtained system of constitutive relations is compatible with the momentum series expansion of the kinetic theory. The well known Fourier, Maxwell-Cattaneo-Vernotte, Guyer-Krumhansl, Jeffreys-type, and Cahn-Hilliard type equations are derived as special cases.
Some remarkable properties of solutions of the general equation are demonstrated with heat pulse initial and boundary conditions. A simple numerical method is developed and its stability is proved. Apparent faster than Fourier pulse propagation is calculated in the over-diffusion regime.
△ Less
Submitted 7 November, 2014; v1 submitted 1 September, 2014;
originally announced September 2014.
-
Monte Carlo simulation of the electrical properties of electrolytes adsorbed in charged slit-systems
Authors:
R. Kovács,
M. Valiskó,
D. Boda
Abstract:
We study the adsorption of primitive model electrolytes into a layered slit system using grand canonical Monte Carlo simulations. The slit system contains a series of charged membranes. The ions are forbidden from the membranes, while they are allowed to be adsorbed into the slits between the membranes. We focus on the electrical properties of the slit system. We show concentration, charge, electr…
▽ More
We study the adsorption of primitive model electrolytes into a layered slit system using grand canonical Monte Carlo simulations. The slit system contains a series of charged membranes. The ions are forbidden from the membranes, while they are allowed to be adsorbed into the slits between the membranes. We focus on the electrical properties of the slit system. We show concentration, charge, electric field, and electrical potential profiles. We show that the potential difference between the slit system and the bulk phase is mainly due to the double layers formed at the boundaries of the slit system, but polarization of external slits also contributes to the potential drop. We demonstrate that the electrical work necessary to bring an ion into the slit system can be studied only if we simulate the slit together with the bulk phases in one single simulation cell.
△ Less
Submitted 13 July, 2012;
originally announced July 2012.