Universal Model for Predicting the Thermal Boundary Conductance of a Multilayered-Metal–Dielectric Interface

2021 ◽  
Vol 15 (6) ◽  
Author(s):  
Henry T. Aller ◽  
Jonathan A. Malen ◽  
Alan J.H. McGaughey
Author(s):  
Markus Krötzsch

To reason with existential rules (a.k.a. tuple-generating dependencies), one often computes universal models. Among the many such models of different structure and cardinality, the core is arguably the “best”. Especially for finitely satisfiable theories, where the core is the unique smallest universal model, it has advantages in query answering, non-monotonic reasoning, and data exchange. Unfortunately, computing cores is difficult and not supported by most reasoners. We therefore propose ways of computing cores using practically implemented methods from rule reasoning and answer set programming. Our focus is on cases where the standard chase algorithm produces a core. We characterise this desirable situation in general terms that apply to a large class of cores, derive concrete approaches for decidable special cases, and generalise these approaches to non-monotonic extensions of existential rules.


Membranes ◽  
2021 ◽  
Vol 11 (2) ◽  
pp. 129
Author(s):  
Guilherme Volpe Bossa ◽  
Sylvio May

Poisson–Boltzmann theory provides an established framework to calculate properties and free energies of an electric double layer, especially for simple geometries and interfaces that carry continuous charge densities. At sufficiently small length scales, however, the discreteness of the surface charges cannot be neglected. We consider a planar dielectric interface that separates a salt-containing aqueous phase from a medium of low dielectric constant and carries discrete surface charges of fixed density. Within the linear Debye-Hückel limit of Poisson–Boltzmann theory, we calculate the surface potential inside a Wigner–Seitz cell that is produced by all surface charges outside the cell using a Fourier-Bessel series and a Hankel transformation. From the surface potential, we obtain the Debye-Hückel free energy of the electric double layer, which we compare with the corresponding expression in the continuum limit. Differences arise for sufficiently small charge densities, where we show that the dominating interaction is dipolar, arising from the dipoles formed by the surface charges and associated counterions. This interaction propagates through the medium of a low dielectric constant and alters the continuum power of two dependence of the free energy on the surface charge density to a power of 2.5 law.


Author(s):  
Yu Fang ◽  
Wen-Jay Lee ◽  
An-Chen Yang ◽  
Guan-Peng Chen ◽  
Nan-Yow Chen ◽  
...  

2013 ◽  
Vol 55 (11) ◽  
pp. 2324-2330 ◽  
Author(s):  
D. G. Sannikov ◽  
D. I. Sementsov

Sign in / Sign up

Export Citation Format

Share Document