Staggered-mesh computation for aerodynamic sound

For the numerical solution of the linearized Euler equations, an optimized computational scheme is considered. It is based on fully staggered (in space and time) regular meshes and on a simple mirroring procedure at the stepwise solid walls. There is no need to define ghost points into the solid ohjects that reflect the sound waves. Test results demonstrate the accuracy of the method that may be used for aeroacoustic problems with complex geometries.

A coarse grid extraction of sound signals for computational aeroacoustics

Sound waves are propagating pressure fluctuations, which are typically several orders of magnitude smaller than the pressure variations in the flow field that account for flow acceleration. On the other hand, these fluctuations travel at the speed of sound in the medium, not as a transported fluid quantity. Due to the above two properties, the Reynolds averaged Navier–Stokes equations do not resolve the acoustic fluctuations. This paper discusses a defect correction method for this type of multi-scale problems in aeroacoustics. Numerical examples in one dimensional and two dimensional are used to illustrate the concept. Copyright (C) 2002 John Wiley & Sons, Ltd.

An acoustic correction method for extracting sound signals

Sound waves are propagating pressure fluctuations and are typically several orders of magnitude smaller than the pressure variations in the flow field that account for flow acceleration. On the other hand, these fluctuations travel at the speed of sound in the medium, not as a transported fluid quantity. Due to the above two properties, the Reynolds averaged Navier-Stokes (RANS) equations do not resolve the acoustic fluctuations. Direct numerical simulation of turbulent flow is still a prohibitively expensive tool to perform noise analysis. This paper proposes the acousticcorrectionmethod, an alternative and affordable tool based on a modified defect correction concept, which leads to an efficient algorithm for computational aeroacoustics and noise analysis.

A sound and complete reified temporal logic

There are mainly two known approaches to the representation of temporal information in Computer Science: modal logic approaches (including tense logics and hybrid temporal logics) and predicate logic approaches (including temporal argument methods and reified temporal logics). On one hand, while tense logics, hybrid temporal logics and temporal argument methods enjoy formal theoretical foundations, their expressiveness has been criticised as not power enough for representing general temporal knowledge; on the other hand, although current reified temporal logics provide greater expressive power, most of them lack of complete and sound axiomatic theories. In this paper, we propose a new reified temporal logic with a clear syntax and semantics in terms of a sound and complete axiomatic formalism which retains all the expressive power of the approach of temporal reification.

The completeness and soundness of temporal theories

Generally speaking, the term temporal logic refers to any system of rules and symbolism for representing and reasoning about propositions qualified in terms of time. In computer science, particularly in the domain of Artificial Intelligence, there are mainly two known approaches to the representation of temporal information: modal logic approaches including tense logic and hybrid temporal logic, and predicate logic approaches including temporal arguement method and reified temporal logic. On one hand, while tense logic, hybrid temporal logic and temporal argument method enjoy formal theoretical foundations, their expressiveness has been criticised as not power enough for representing general temporal knowledge; on the other hand, although reified temporal logic provides greater expressive power, most of the current systems following the temporal reification lack of complete and sound axiomatic theories. With there observations in mind, a new reified temporal logic with clear syntax and semantics in terms of a sound and complete axiomatic formalism is introduced in this paper, which retains all the expressive power of temporal reification.

Observations and analysis of a 63-year-old reinforced concrete promenade railing exposed to the North Sea

Despite being exposed to the harsh sea-spray environment of the North Sea at Arbroath, Scotland, for over 63 years, many of the reinforced concrete precast beam elements of the 1.5 km long promenade railing are still in very good condition and show little evidence of reinforcement corrosion. In contrast, railing replacements constructed in about 1968 and in 1993 are almost all badly cracked as a result of extensive corrosion of the longitudinal reinforcement. This is despite the newer concrete appearing to be of better quality than the 1943 concrete. Statistics for maximum crack width for each of the three populations, based on measurements made in 2004 and in 2006, are presented. In situ and laboratory measurements show that the 1943 concrete appears to have high permeability but it also shows high electrical resistivity. Chloride penetration measurements show the 1943 and 1993 concretes to have similar chloride profiles and similar chloride concentrations at the reinforcement bars. This is inconsistent with the 1943 beams showing much less reinforcement corrosion than their later replacements and casts doubt on the conventional practice for durability design focusing on reducing concrete permeability through denser concretes or greater cover.

The Fraud Act 2006: some early observations and comparisons with the former law

Provides a detailed analysis of the Fraud Act 2006 provisions on the offence of fraud by false representation (s.2) and the offence of obtaining services dishonestly (s.11) and assesses the extent to which they address problems arising in connection with the former deception offences under the Theft Acts 1968 and 1978. [From Legal Journals Index]

Shear bond strengths of glass-ionomer cements to sound and to prepared carious dentine

The aim of this study was determine whether bonding of glass-ionomer cements to non-carious dentine differed from that to carious dentine. Five commercial cements were used, namely Fuji IX GP, Fuji IX capsulated, Fuji IX Fast capsulated (all GC, Japan), Ketac-Molar and Ketac-Molar Aplicap (both 3M-ESPE, Germany). Following conditioning of the substrate with 10% poly (acrylic acid) for 10 s, sets of 10 samples of the cements were bonded to prepared teeth that had been removed for orthodontic reasons. The teeth used had either sound dentine or sclerotic dentine. Shear bond strengths were determined following 24 h storage. For the auto-mixed cements, shear bond strength to sound dentine was found not to differ statistically from shear bond strength to sclerotic dentine whereas for hand-mixed cements, shear bond to sound dentine was found to be higher than to carious dentine (to at least p < 0.05). This shows that the chemical effects arising from interactions of glass-ionomer cements with the mineral phase of the tooth are the most important in developing strong bonds, at least in the shorter term.