Parametric verification of one-way lithographic wicks
نویسندگان
چکیده
An asymmetric gap was fabricated into a dense array of medium-high carbon nanotubes to achieve a one-way fluid transport device through capillary action.
منابع مشابه
Morphological and physical study of Cu-Ni sintered porous wicks used in heat pipes and fuel cells
Recently, the use of renewable energies has increased to environmental pollution, limitation of fossil energy resources and energy security One of the means that enable us to use such energies is fuel cells (FC). However, there are many problems in the commercialization of FC from an economically and operation perspective. One of the most important problems is heat management. New heat pipes...
متن کاملComparing two testing procedures in unbalanced two-way ANOVA models under heteroscedasticity: Approximate degree of freedom and parametric bootstrap approach
The classic F-test is usually used for testing the effects of factors in homoscedastic two-way ANOVA models. However, the assumption of equal cell variances is usually violated in practice. In recent years, several test procedures have been proposed for testing the effects of factors. In this paper, the two methods that are approximate degree of freedom (ADF) and parametric bootstr...
متن کاملThe Benefits of Duality in Verifying Concurrent Programs under TSO
We address the problem of verifying safety properties of concurrent programs running over the TSO memory model. Known decision procedures for this model are based on complex encodings of store buffers as lossy channels. These procedures assume that the number of processes is fixed. However, it is important in general to prove correctness of a system/algorithm in a parametric way with an arbitra...
متن کاملSome properties of the parametric relative operator entropy
The notion of entropy was introduced by Clausius in 1850, and some of the main steps towards the consolidation of the concept were taken by Boltzmann and Gibbs. Since then several extensions and reformulations have been developed in various disciplines with motivations and applications in different subjects, such as statistical mechanics, information theory, and dynamical systems. Fujii and Kam...
متن کاملA Contribution to Multi-Modal Identity Verification Using Decision Fusion
The contribution of this paper is to compare paradigms coming from the classes of parametric, and non-parametric techniques to solve the decision fusion problem encountered in the design of a multi-modal biometrical identity verification system. The multi-modal identity verification system under consideration is built of d modalities in parallel, each one delivering as output a scalar number, c...
متن کامل