Qualitative Modelling of Linear Networks in Engineering Applications

Lee M.H., Qualitative Modelling of Linear Networks in Engineering Applications, in Proc. ECAI?2000, 14th European Conf. on Artificial Intelligence, Berlin, August 19th - 25th 2000, pp161-5.

Qualitative Modelling of Linear Networks in ECAD Applications

Lee M.H., Qualitative Modelling of Linear Networks in ECAD Applications, Expert Update, Vol. 3, Num. 2, pp23-32, BCS SGES, Summer 2000. Qualitative modeling of linear networks in ecad applications (1999) by M Lee Venue: Pages 146?152 of: Proceedings 13th international workshop on qualitative reasoning, QR ?99

Qualitative Modelling of Linear Networks in ECAD Applications

Lee M.H., Qualitative Modelling of Linear Networks in ECAD Applications, Proc. 13th Int. Workshop on Qualitative Reasoning, (QR'99), Loch Awe, Scotland, 1999, pp146-52.

Taking advantage of an old concept, "illegitimate transcription", for a proposed novel method of genetic diagnosis of McArdle disease

McArdle disease is a metabolic disorder caused by pathogenic mutations in the PYGM gene. Timely diagnosis can sometimes be difficult with direct genomic analysis, which requires additional studies of cDNA from muscle transcripts. Although the "nonsense-mediated mRNA decay" (NMD) eliminates tissue-specific aberrant transcripts, there is some residual transcription of tissue-specific genes in virtually all cells, such as peripheral blood mononuclear cells (PBMCs).We studied a subset of the main types of PYGM mutations (deletions, missense, nonsense, silent, or splicing mutations) in cDNA from easily accessible cells (PBMCs) in 12 McArdle patients.Analysis of cDNA from PBMCs allowed detection of all mutations. Importantly, the effects of mutations with unknown pathogenicity (silent and splicing mutations) were characterized in PBMCs. Because the NMD mechanism does not seem to operate in nonspecific cells, PBMCs were more suitable than muscle biopsies for detecting the pathogenicity of some PYGM mutations, notably the silent mutation c.645G>A (p.K215=), whose effect in the splicing of intron 6 was unnoticed in previous muscle transcriptomic studies.We propose considering the use of PBMCs for detecting mutations that are thought to cause McArdle disease, particularly for studying their actual pathogenicity.

EXPERIMENTAL INVESTIGATION OF LINEAR BUBBLE DYNAMICS IN A VISCOELASTIC XANTHAN GEL

Oceanic bubble plumes caused by ship wakes or breaking waves disrupt sonar communi- cation because of the dramatic change in sound speed and attenuation in the bubbly fluid. Experiments in bubbly fluids have suffered from the inability to quantitatively characterize the fluid because of continuous air bubble motion. Conversely, single bubble experiments, where the bubble is trapped by a pressure field or stabilizing object, are limited in usable frequency range, apparatus complexity, or the invasive nature of the stabilizing object (wire, plate, etc.). Suspension of a bubble in a viscoelastic Xanthan gel allows acoustically forced oscilla- tions with negligible translation over a broad frequency band. Assuming only linear, radial motion, laser scattering from a bubble oscillating below, through, and above its resonance is measured. As the bubble dissolves in the gel, different bubble sizes are measured in the range 240 – 470 μm radius, corresponding to the frequency range 6 – 14 kHz. Equalization of the cell response in the raw data isolates the frequency response of the bubble. Compari- son to theory for a bubble in water shows good agreement between the predicted resonance frequency and damping, such that the bubble behaves as if it were oscillating in water.

Statistical method of modeling and optimization for wireless sensor nodes with different interconnect technologies and substrates

A comparison study was carried out between a wireless sensor node with a bare die flip-chip mounted and its reference board with a BGA packaged transceiver chip. The main focus is the return loss (S parameter S11) at the antenna connector, which was highly depended on the impedance mismatch. Modeling including the different interconnect technologies, substrate properties and passive components, was performed to simulate the system in Ansoft Designer software. Statistical methods, such as the use of standard derivation and regression, were applied to the RF performance analysis, to see the impacts of the different parameters on the return loss. Extreme value search, following on the previous analysis, can provide the parameters' values for the minimum return loss. Measurements fit the analysis and simulation well and showed a great improvement of the return loss from -5dB to -25dB for the target wireless sensor node.

A method of assessing air toxics concentrations in urban areas using mobile platform measurements.

The objective of this paper is to demonstrate an approach to characterize the spatial variability in ambient air concentrations using mobile platform measurements. This approach may be useful for air toxics assessments in Environmental Justice applications, epidemiological studies, and environmental health risk assessments. In this study, we developed and applied a method to characterize air toxics concentrations in urban areas using results of the recently conducted field study in Wilmington, DE. Mobile measurements were collected over a 4- x 4-km area of downtown Wilmington for three components: formaldehyde (representative of volatile organic compounds and also photochemically reactive pollutants), aerosol size distribution (representing fine particulate matter), and water-soluble hexavalent chromium (representative of toxic metals). These measurements were,used to construct spatial and temporal distributions of air toxics in the area that show a very strong temporal variability, both diurnally and seasonally. An analysis of spatial variability indicates that all pollutants varied significantly by location, which suggests potential impact of local sources. From the comparison with measurements at the central monitoring site, we conclude that formaldehyde and fine particulates show a positive correlation with temperature, which could also be the reason that photochemically generated formaldehyde and fine particulates over the study area correlate well with the fine particulate matter measured at the central site.

Automatic verification of linear controller software

© 2015 IEEE.We consider the problem of verification of software implementations of linear time-invariant controllers. Commonly, different implementations use different representations of the controller's state, for example due to optimizations in a third-party code generator. To accommodate this variation, we exploit input-output controller specification captured by the controller's transfer function and show how to automatically verify correctness of C code controller implementations using a Frama-C/Why3/Z3 toolchain. Scalability of the approach is evaluated using randomly generated controller specifications of realistic size.

On the regularization of linear inverse problems in Fourier optics

info:eu-repo/semantics/published