An investigation of a frequency diverse array

This thesis presents a novel concept for focusing an antenna beam pattern as a function of range, time, and angle. In conventional phased arrays, beam steering is achieved by applying a linear phase progression across the aperture. This thesis shows that by applying an additional linear frequency shift across the elements, a new term is generated which results in a scan angle that varies with range in the far-field. Moreover, the antenna pattern is shown to scan in range and angle as a function of time. These properties result in more flexible beam scan options for phased array antennas than traditional phase shifter implementations. The thesis subsequently goes on to investigate this phenomenon via full scale experimentation, and explores a number of aspects of applying frequency diversity spatially across array antennas. This new form of frequency diverse array may have applications to multipath mitigation, where a radio signal takes two or more routes between the transmitter and receiver due to scattering from natural and man-made objects. Since the interfering signals arrive from more than one direction, the range-dependent and auto-scanning properties of the frequency diverse array beam may be useful to isolate and suppress the interference. The frequency diverse array may also have applications to wideband array steering, in lieu of true time delay solutions which are often used to compensate for linear phase progression with frequency across an array, and to sonar, where the speed of propagation results in large percentage bandwidth, creating similar wideband array effects. The frequency diverse array is also a stepping stone to more sophisticated joint antenna and waveform design for the creation of new radar modes, such as simultaneous multi-mode operation, for example, enabling joint synthetic aperture radar and ground moving target indication

Silicon resonant microcantilevers for absolute pressure measurement

This work is focused on the developing of silicon resonant microcantilevers for the measurement of the absolute pressure. The microcantilevers have been fabricated with a two-mask bulk micromachining process. The variation in resonance response of microcantilevers was investigated as a function of pressure 10−1-105 Pa, both in terms of resonance frequency and quality factor. A theoretical description of the resonating microstructure is given according to different molecular and viscous regimes. Also a brief discussion on the different quality factors contributions is presented. Theoretical and experimental data show a very satisfying agreement. The microstructure behavior demonstrates a certain sensitivity over a six decade range and the potential evolution of an absolute pressure sensor working in the same rang

On Refinements of Boolean and Parametric Modal Transition Systems

We consider the extensions of modal transition systems (MTS), namely Boolean MTS and parametric MTS and we investigate the refinement problems over both classes. Firstly, we reduce the problem of modal refinement over both classes to a problem solvable by a QBF solver and provide experimental results showing our technique scales well. Secondly, we extend the algorithm for thorough refinement of MTS providing better complexity then via reductions to previously studied problems. Finally, we investigate the relationship between modal and thorough refinement on the two classes and show how the thorough refinement can be approximated by the modal refinement

Single-molecule multiparameter fluorescence spectroscopy reveals directional MutS binding to mismatched bases in DNA

Mismatch repair (MMR) corrects replication errors such as mismatched bases and loops in DNA. The evolutionarily conserved dimeric MMR protein MutS recognizes mismatches by stacking a phenylalanine of one subunit against one base of the mismatched pair. In all crystal structures of G:T mismatch-bound MutS, phenylalanine is stacked against thymine. To explore whether these structures reflect directional mismatch recognition by MutS, we monitored the orientation of Escherichia coli MutS binding to mismatches by FRET and anisotropy with steady state, pre-steady state and single-molecule multiparameter fluorescence measurements in a solution. The results confirm that specifically bound MutS bends DNA at the mismatch. We found additional MutS–mismatch complexes with distinct conformations that may have functional relevance in MMR. The analysis of individual binding events reveal significant bias in MutS orientation on asymmetric mismatches (G:T versus T:G, A:C versus C:A), but not on symmetric mismatches (G:G). When MutS is blocked from binding a mismatch in the preferred orientation by positioning asymmetric mismatches near the ends of linear DNA substrates, its ability to authorize subsequent steps of MMR, such as MutH endonuclease activation, is almost abolished. These findings shed light on prerequisites for MutS interactions with other MMR proteins for repairing the appropriate DNA strand

Quantitative Modal Transition Systems

International audienceThis extended abstract offers a brief survey presentation of the specification formalism of modal transition systems and its recent extensions to the quantitative setting of timed as well as stochastic systems. Some applications will also be briefly mentioned

Bayesian inference of accurate population sizes and FRET efficiencies from single diffusing biomolecules.

It is of significant biophysical interest to obtain accurate intramolecular distance information and population sizes from single-molecule Förster resonance energy transfer (smFRET) data obtained from biomolecules in solution. Experimental methods of increasing cost and complexity are being developed to improve the accuracy and precision of data collection. However, the analysis of smFRET data sets currently relies on simplistic, and often arbitrary methods, for the selection and denoising of fluorescent bursts. Although these methods are satisfactory for the analysis of simple, low-noise systems with intermediate FRET efficiencies, they display systematic inaccuracies when applied to more complex systems. We have developed an inference method for the analysis of smFRET data from solution studies based on rigorous model-based Bayesian techniques. We implement a Monte Carlo Markov chain (MCMC) based algorithm that simultaneously estimates population sizes and intramolecular distance information directly from a raw smFRET data set, with no intermediate event selection and denoising steps. Here, we present both our parametric model of the smFRET process and the algorithm developed for data analysis. We test the algorithm using a combination of simulated data sets and data from dual-labeled DNA molecules. We demonstrate that our model-based method systematically outperforms threshold-based techniques in accurately inferring both population sizes and intramolecular distances.This is the final published version. It's also available from ACS in Analytical Chemistry: http://pubs.acs.org/doi/pdf/10.1021/ac501188r

A Common CNR1 (Cannabinoid Receptor 1) Haplotype Attenuates the Decrease in HDL Cholesterol That Typically Accompanies Weight Gain

We have previously shown that genetic variability in CNR1 is associated with low HDL dyslipidemia in a multigenerational obesity study cohort of Northern European descent (209 families, median  = 10 individuals per pedigree). In order to assess the impact of CNR1 variability on the development of dyslipidemia in the community, we genotyped this locus in all subjects with class III obesity (body mass index >40 kg/m2) participating in a population-based biobank of similar ancestry. Twenty-two haplotype tagging SNPs, capturing the entire CNR1 gene locus plus 15 kb upstream and 5 kb downstream, were genotyped and tested for association with clinical lipid data. This biobank contains data from 645 morbidly obese study subjects. In these subjects, a common CNR1 haplotype (H3, frequency 21.1%) is associated with fasting TG and HDL cholesterol levels (p = 0.031 for logTG; p = 0.038 for HDL-C; p = 0.00376 for log[TG/HDL-C]). The strength of this relationship increases when the data are adjusted for age, gender, body mass index, diet and physical activity. Mean TG levels were 160±70, 155±70, and 120±60 mg/dL for subjects with 0, 1, and 2 copies of the H3 haplotype. Mean HDL-C levels were 45±10, 47±10, and 48±9 mg/dL, respectively. The H3 CNR1 haplotype appears to exert a protective effect against development of obesity-related dyslipidemia