Results 21 to 30 of about 5,380,639 (293)
On Skolemization in constructive theories [PDF]
Journal of Symbolic Logic, 2008 AbstractIn this paper a method for the replacement, in formulas, of strong quantifiers by functions is introduced that can be considered as an alternative to Skolemization in the setting of constructive theories. A constructive extension of intuitionistic predicate logic that captures the notions of preorder and existence is introduced and the method ...
Matthias Baaz, Rosalie Iemhoff
openaire +6 more sources
On the Svelteness as an Engineering Tool in Constructal Design: A Critical Review
Applied Sciences, 2022 The application of Constructal theory to the flow design in engineering applications connects the channels’ architecture with their freedom to morph.
Miguel R. Clemente, Miguel R. O. Panão
doaj +1 more source
Constructive Theory of Ordinals
, 2023 In Chapter 3 of his Notes on constructive mathematics, Martin-L{ö}f describes recursively constructed ordinals. He gives a constructively acceptable version of Kleene's computable ordinals. In fact, the Turing definition of computable functions is not needed from a constructive point of view. We give in this paper a constructive theory of ordinals that
Coquand, Thierry +2 more
openaire +3 more sources
A constructive theory of shape
Chaos, Solitons & Fractals, 2021 19 pages, 10 figures. Discussion on a convexity property added. Accepted to Chaos.
openaire +3 more sources
Constructal design of tree-shaped microchannel disc heat sink with wavy walls
Zhongguo Jianchuan Yanjiu, 2023 ObjectiveTo meet the efficient thermal management needs of electronic devices such as ships and underwater vehicles, this study focuses on the constructal design of a tree-shaped microchannel disc heat sink with wavy walls.
Jingyao HUANG +4 more
doaj +1 more source
Case Studies in Thermal Engineering, 2023 The heat dissipation optimization of electronic devices with cooling channels is a hot research issue. A nanofluid cooling channel (CCL) model with sidewall ribs and cavities in a rectangular heat generation body is established.
Huijun Feng +3 more
doaj +1 more source
Computer Assisted Methods in Engineering and Science, 2022 This paper gives a review of the new Bejan's constructal theory and its various applications to design and optimization. According to Bejan, the objective and constraints principle used in engineering is the same mechanism from which the geometry in ...
Jean Luc Marcelin
doaj
Improving Thermal Performance of Rectangular Microchannel Heat Sinks using Porous Layer: CFD Simulation and Optimization [PDF]
Journal of Applied Fluid Mechanics, 2023 Microchannel heat sinks are very widely used due to their high heat transfer coefficients and low refrigerant requirements. Nevertheless, microchannel heat sinks still perform sub-optimally when it comes to thermal performance.
F. Montazeri +2 more
doaj +1 more source
Multi-Objective Constructal Optimization for Marine Condensers
Energies, 2021 A marine condenser with exhausted steam as the working fluid is researched in this paper. Constructal designs of the condenser are numerically conducted based on single and multi-objective optimizations, respectively. In the single objective optimization,
Huijun Feng +4 more
doaj +1 more source
Constructive theory of Banach algebras [PDF]
Journal of Logic and Analysis, 2010 We present a way to organize a constructive development of the theory of Banach algebras, inspired by works of Cohen, de Bruijn and Bishop. We illustrate this by giving elementary proofs of Wiener's result on the inverse of Fourier series and Wiener's Tauberian Theorem, in a sequel to this paper we show how this can be used in a localic, or point-free,
Coquand, T., Spitters, B.A.W.
openaire +4 more sources