Mutual information performance of differential MPSK detection over time-varying channels

This paper provides mutual information performance analysis of multiple-symbol differential WSK (M-phase shift keying) over time-correlated, time-varying flat-fading communication channels. A state space approach is used to model time correlation of time varying channel phase. This approach captures the dynamics of time correlated, time-varying channels and enables exploitation of the forward-backward algorithm for mutual information performance analysis. It is shown that the differential decoding implicitly uses a sequence of innovations of the channel process time correlation and this sequence is essentially uncorrelated. It enables utilization of multiple-symbol differential detection, as a form of block-by-block maximum likelihood sequence detection for capacity achieving mutual information performance. It is shown that multiple-symbol differential ML detection of BPSK and QPSK practically achieves the channel information capacity with observation times only on the order of a few symbol intervals

Reified temporal logics: an overview

There are three main approaches to the representation of temporal information in AI literature: the so-called method of temporal arguments that simply extends functions and predicates of first-order language to include time as the additional argument; modal temporal logics which are extensions ofthe propositional or predicate calculus with modal temporal operators; and reified temporal logics which reify standard propositions of some initial language (e.g., the classical first-order or modal logic) as objects denoting propositional terms. The objective of this paper is to provide an overview onthe temporal reified approach by looking closely atsome representative existing systems featuring reified propositions, including those of Allen, McDermott, Shoham, Reichgelt, Galton, and Ma and Knight. We shall demonstrate that, although reified logics might be more complicated in expressing assertions about some given objects with respect to different times, they accord a special status to time and therefore have several distinct advantages in talking about some important issues which would be difficult (if not impossible) to express in other approaches.

Dynamic solid mechanics using finite volume methods

A procedure for evaluating the dynamic structural response of elastic solid domains is presented. A prerequisite for the analysis of dynamic fluid–structure interaction is the use of a consistent set of finite volume (FV) methods on a single unstructured mesh. This paper describes a three-dimensional (3D) FV, vertex-based method for dynamic solid mechanics. A novel Newmark predictor–corrector implicit scheme was developed to provide time accurate solutions and the scheme was evaluated on a 3D cantilever problem. By employing a small amount of viscous damping, very accurate predictions of the fundamental natural frequency were obtained with respect to both the amplitude and period of oscillation. This scheme has been implemented into the multi-physics modelling software framework, PHYSICA, for later application to full dynamic fluid structure interaction.

Investigation into the performance of turbulence models for fluid flow and heat transfer phenomena in electronic applications

Computational Fluid Dynamics (CFD) is gradually becoming a powerful and almost essential tool for the design, development and optimization of engineering applications. However the mathematical modelling of the erratic turbulent motion remains the key issue when tackling such flow phenomena. The reliability of CFD analysis depends heavily on the turbulence model employed together with the wall functions implemented. In order to resolve the abrupt changes in the turbulent energy and other parameters situated at near wall regions a particularly fine mesh is necessary which inevitably increases the computer storage and run-time requirements. Turbulence modelling can be considered to be one of the three key elements in CFD. Precise mathematical theories have evolved for the other two key elements, grid generation and algorithm development. The principal objective of turbulence modelling is to enhance computational procedures of efficient accuracy to reproduce the main structures of three dimensional fluid flows. The flow within an electronic system can be characterized as being in a transitional state due to the low velocities and relatively small dimensions encountered. This paper presents simulated CFD results for an investigation into the predictive capability of turbulence models when considering both fluid flow and heat transfer phenomena. Also a new two-layer hybrid kε / kl turbulence model for electronic application areas will be presented which holds the advantages of being cheap in terms of the computational mesh required and is also economical with regards to run-time.

Predicting the behaviour of micro-electronic displays using computational mechanics

Micro-electronic displays are indispensible devices used in high performance applications such as aerospace, medical, marine and industrial sectors.These devices provide an interface to real time mission critical devices and therefore require good optical visual performance and high reliability, all this within varied and challenging environments.

Magnetic damping of levitated liquid droplets in AC and DC field

The intense AC magnetic field required to produce levitation in terrestrial conditions, along with the buoyancy and thermo-capillary forces, results in turbulent convective flow within the droplet. The use of a homogenous DC magnetic field allows the convective flow to be damped. However the turbulence properties are affected at the same time, leading to a possibility that the effective turbulent damping is considerably reduced. The MHD modified K-Omega turbulence model allows the investigation of the effect of magnetic field on the turbulence. The model incorporates free surface deformation, the temperature dependent surface tension, turbulent momentum transport, electromagnetic and gravity forces. The model is adapted to incorporate a periodic laser heating at the top of the droplet, which have been used to measure the thermal conductivity of the material by calculating the phase lag between the frequency of the laser heating and the temperature response at the bottom. The numerical simulations show that with the gradual increase of the DC field the fluid flow within the droplet is initially increasing in intensity. Only after a certain threshold magnitude of the field the flow intensity starts to decrease. In order to achieve the flow conditions close to the ‘laminar’ a D.C. magnetic field >4 Tesla is required to measure the thermal conductivity accurately. The reduction in the AC field driven flow in the main body of the drop leads to a noticeable thermo-capillary convection at the edge of the droplet. The uniform vertical DC magnetic field does not stop a translational oscillation of the droplet along the field, which is caused by the variation in total levitation force due to the time-dependent surface deformation.

Systematic review of worldwide variations of the prevalence of wheezing symptoms in children

Background: Considerable variation in the prevalence of childhood asthma and its symptoms (wheezing) has been observed in previous studies and there is evidence that the prevalence has been increasing over time. Methods: We have systematically reviewed the reported prevalence and time trends of wheezing symptoms among children, worldwide and within the same country over time. All studies comprising more than 1000 persons and meeting certain other quality criteria published over a 16-year period, between January 1990 and December 2005, are reported and a comparison of ISAAC (International Study of Asthma and Allergies in Childhood) and non-ISAAC studies is made, in part as a way of expanding the power to examine time trends (the older studies tend to be non-ISAAC), but also to examine possible methodological differences between ISAAC and non-ISAAC questions. Results: A wide range of current prevalence of wheeze was observed between and within countries over time. The UK had the highest recorded prevalence of 32.2% in children aged 13–14 in 1994–5 and Ethiopia had the lowest prevalence, 1.7% in children aged 10–19 in 1996. All studies in Australia and the UK were compared using multiple logistic regression. ISAAC phase I and III studies reported significantly higher prevalence of current wheeze (OR = 1.638) compared with non-ISAAC studies, after adjusting for various other factors (country, survey year, age of child, parental vs child response to the survey). Australia showed a significantly higher prevalence of current wheezing (OR = 1.343) compared with the UK, there was a significant increase in the prevalence odds ratio per survey year (2.5% per year), a significant decrease per age of child (0.7% per year), and a significantly higher response in current wheezing if the response was self-completed by the child (OR = 1.290). These factors, when explored separately for ISAAC and non-ISAAC studies, showed very different results. In ISAAC studies, or non-ISAAC studies using ISAAC questions, there was a significant decrease in current wheezing prevalence over time (2.5% per year). In non-ISAAC studies, which tend to cover an earlier period, there was a significant increase (2.6% per year) in current wheezing prevalence over time. This is very likely to be a result of prevalence of wheezing increasing from the 1970s up to the early 1990s, but decreasing since then. Conclusion: The UK has the highest recorded prevalence of wheezing and Ethiopia the lowest. Prevalence of wheezing in Australia and the UK has increased from the 1970s up to the early 1990s, but decreased since then and ISAAC studies report significantly higher prevalences than non-ISAAC studies.

Assessment of existing soakaways for reuse

This paper describes a practical approach for the investigation, assessment and design of existing soakaways. This method can be utilised for measuring the performance and capacity of the systems and examining whether the systems are suitable for reuse when information about the design and installation of the systems is not available. The requirements for field observations and the procedure for a soil infiltration test for the installed system are suggested for successful assessment. The soil infiltration rate of the system is estimated from the field test data without requiring information on the design and construction details of the system. The system's working condition is measured by a performance indicator related to the time taken to empty the soakaway. This is then employed to evaluate the potential reuse of the system. The system's drain capacity is determined by the design principles of current practice and the effect of climate change on its drain capacity is considered. Contamination of soils around the systems after long-term use of discharge service and the water present in soakaway chambers are also investigated. A detailed case study for the reuse of four installed soakaways for a new housing development demonstrates how the proposed approach provides a straightforward process for the infiltration performance and drain capacity assessment of the existing systems. The effectiveness and applicability of the proposed approach are further demonstrated from the assessments for a number of installed systems over various sites