Search results for "COMPUTATION"
showing 10 items of 7362 documents
Influence of bed roughness on flow and turbulence structure around a partially-buried, isolated freshwater mussel
2023
The present study uses eddy-resolving numerical simulations to investigate how bed roughness affects flow and turbulence structure around an isolated, partially-buried mussel (Unio elongatulus) aligned with the incoming flow. The rough-bed simulations resolve the flow past the exposed part of a gravel bed, whose surface is obtained from a laboratory experiment that also provides some additional data for validation of the numerical model. Results are also discussed for the limiting case of a horizontal smooth bed. Additionally, the effects of varying the level of burial of the mussel inside the substrate and the discharge through the two mussel siphons are investigated via a set of simulatio…
Varieties Generated by Certain Models of Reversible Finite Automata
2006
Reversible finite automata with halting states (RFA) were first considered by Ambainis and Freivalds to facilitate the research of Kondacs-Watrous quantum finite automata. In this paper we consider some of the algebraic properties of RFA, namely the varieties these automata generate. Consequently, we obtain a characterization of the boolean closure of the classes of languages recognized by these models.
A fast Fourier transform based direct solver for the Helmholtz problem
2018
This article is devoted to the efficient numerical solution of the Helmholtz equation in a two‐ or three‐dimensional (2D or 3D) rectangular domain with an absorbing boundary condition (ABC). The Helmholtz problem is discretized by standard bilinear and trilinear finite elements on an orthogonal mesh yielding a separable system of linear equations. The main key to high performance is to employ the fast Fourier transform (FFT) within a fast direct solver to solve the large separable systems. The computational complexity of the proposed FFT‐based direct solver is O(N log N) operations. Numerical results for both 2D and 3D problems are presented confirming the efficiency of the method discussed…
Adding Transitivity and Counting to the Fluted Fragment
2023
We study the impact of adding both counting quantifiers and a single transitive relation to the fluted fragment - a fragment of first-order logic originating in the work of W.V.O. Quine. The resulting formalism can be viewed as a multi-variable, non-guarded extension of certain systems of description logic featuring number restrictions and transitive roles, but lacking role-inverses. We establish the finite model property for our logic, and show that the satisfiability problem for its k-variable sub-fragment is in (k+1)-NExpTime. We also derive ExpSpace-hardness of the satisfiability problem for the two-variable, fluted fragment with one transitive relation (but without counting quantifiers…
Session III - PARAMETRIC MODELLING AND VIDEO MAPPING_INTRODUCTION
2022
Virtual representation, free-form surface modelling techniques and numerical control manufacturing, with their intrinsic dynamic and interactive capabilities, have profoundly expanded and enriched the repertoire of geometric shapes, generating innovative design skills and creative languages. There is no doubt about the opportunities for exploration, contamination, relationships and overlapping of ideas, measurements and information, which the continuous evolution of expeditious, parametric and automatic procedures brings to the use of the many products of the information age. Adopting computation as a form of design is profoundly different from simply using tools geared toward increasing th…
An optimization-based approach for solving a time-harmonic multiphysical wave problem with higher-order schemes
2013
This study considers developing numerical solution techniques for the computer simulations of time-harmonic fluid-structure interaction between acoustic and elastic waves. The focus is on the efficiency of an iterative solution method based on a controllability approach and spectral elements. We concentrate on the model, in which the acoustic waves in the fluid domain are modeled by using the velocity potential and the elastic waves in the structure domain are modeled by using displacement.Traditionally, the complex-valued time-harmonic equations are used for solving the time-harmonic problems. Instead of that, we focus on finding periodic solutions without solving the time-harmonic problem…
Characterizing Cavities in Model Inclusion Fullerenes: A Comparative Study
2001
Abstract: The fullerene-82 cavity is selected as a model system in order to test several methods for characterizing inclusion molecules. The methods are based on different technical foundations such as a square and triangular tessellation of the molecular surface, spherical tessellation of the molecular surface, numerical integration of the atomic volumes and surfaces, triangular tessellation of the molecular surface, and cubic lattice approach to the molecular volume. Accurate measures of the molecular volume and surface area have been performed with the pseudorandom Monte Carlo (MCVS) and uniform Monte Carlo (UMCVS) methods. These calculations serve as a reference for the rest of the meth…
Membrane Protein Complexes: Structure and Function
2018
This edited book contains a compilation of 14 advanced academic chapters dealing with the structure and function of membrane protein complexes. This rapidly advancing important field of study closely parallels those on soluble protein complexes, and viral protein and nucleoprotein complexes.Diverse topics are included in this book, ranging from membrane–bound enzymes to ion channels, proton pumps and photosystems. Data from X-ray crystallography, cryo-electron microscopy and other biophysical and biochemical techniques are presented throughout the book. There is extensive use of colour figures of protein structures. Throughout the book structure and function are closely correlated.The two e…
Observation of the rare B(s)(0) + decay from the combined analysis of CMS and LHCb data.
2015
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported licence.-- et al.
Validation and application of a PCR primer set to quantify fungal communities in the soil environment by real-time quantitative PCR
2011
Fungi constitute an important group in soil biological diversity and functioning. However, characterization and knowledge of fungal communities is hampered because few primer sets are available to quantify fungal abundance by real-time quantitative PCR (real-time Q-PCR). The aim in this study was to quantify fungal abundance in soils by incorporating, into a real-time Q-PCR using the SYBRGreen (R) method, a primer set already used to study the genetic structure of soil fungal communities. To satisfy the real-time Q-PCR requirements to enhance the accuracy and reproducibility of the detection technique, this study focused on the 18S rRNA gene conserved regions. These regions are little affec…