Mode-matching analysis of a shielded rectangular dielectric-rod waveguide

Rectangular cross-section dielectric waveguides are widely used at millimeter wavelengths. In addition, shielded dielectric resonators having a square cross-section are often used as filter elements, however there is almost no information available on the effect of the shield. Rectangular or square dielectric waveguide is notoriously difficult to analyze, because of the singular behaviour of the fields at the corners. Most published analyses are for materials with a low dielectric constant, and do not include the effects of a shield. This paper describes a numerically efficient mode matching method for the analysis of shielded dielectric rod waveguide, which is applicable to both low and high dielectric constant materials. The effect of the shield on the propagation behaviour is studied. The shield dimensions may be selected such that the shield has a negligible effect, so that results can be compared with free space data. The results are verified by comparison with several sets of published data, and have been confirmed by measurement for a nominal 'e' r of 37.4

A Comparative Study of the Decays B→(K,K∗)ℓ+ℓ−B \to (K,K^*) \ell^+ \ell^- in Standard Model and Supersymmetric Theories

Using improved theoretical calculations of the decay form factors in the Light Cone-QCD sum rule approach, we investigate the decay rates, dilepton invariant mass spectra and the forward-backward (FB) asymmetry in the decays $B \to (K,K^*) \ell^+ \ell^-$ ($\ell^\pm =e^\pm,\mu^\pm,\tau^\pm$) in the standard model (SM) and a number of popular variants of the supersymmetric (SUSY) models. Theoretical precision on the differential decay rates and FB-asymmetry is estimated in these theories taking into account various parametric uncertainties. We show that existing data on $B \to X_s \gamma$ and the experimental upper limit on the branching ratio ${\cal B}(B \to K^* \mu^+ \mu^-)$ provide interesting bounds on the coefficients of the underlying effective theory. We argue that the FB-asymmetry in $B \to K^* \ell^+ \ell^-$ constitutes a precision test of the SM and its measurement in forthcoming experiments may reveal new physics. In particular, the presently allowed large-$\tan \beta$ solutions in SUGRA models, as well as more general flavor-violating SUSY models, yield FB-asymmetries which are characteristically different from the corresponding ones in the SM.Comment: 36 pages, 12 figures (require epsfig.sty), 8 Tables, LaTeX2e; subsection 6.4 corrected, minor changes in numerical results, Figures 3 and 9 to 12 modified; submitted to Physical Review

Preliminary Test of Prescribed Burning for Control of Maple Leaf Cutter (Lepidoptera: Incurvariidae)

Leaf litter burning in the spring resulted in 87.5% mortality of maple leaf cutter pupae, Paraclemensia acerifoliella (Fitch). No apparent damage was observed on sugar maple or beech trees within the burn area

Leasing Versus Owning Agricultural Inputs

Land appears to be the most common resoruce leased for agricultural production, according to this survey by an ISU economist. Here\u27s a look at the amount of leasing of agricultural inputs and how this is affected by size of farm and gross farm sales

Land, Labor and Capital Availability for Agriculture

Farmers interviewed in this study felt the availability of land and labor are limiting farm expansion. But most felt they could obtain adequate credit for farm business growth

Equivalence of robust stabilization and robust performance via feedback

One approach to robust control for linear plants with structured uncertainty as well as for linear parameter-varying (LPV) plants (where the controller has on-line access to the varying plant parameters) is through linear-fractional-transformation (LFT) models. Control issues to be addressed by controller design in this formalism include robust stability and robust performance. Here robust performance is defined as the achievement of a uniform specified $L^{2}$-gain tolerance for a disturbance-to-error map combined with robust stability. By setting the disturbance and error channels equal to zero, it is clear that any criterion for robust performance also produces a criterion for robust stability. Counter-intuitively, as a consequence of the so-called Main Loop Theorem, application of a result on robust stability to a feedback configuration with an artificial full-block uncertainty operator added in feedback connection between the error and disturbance signals produces a result on robust performance. The main result here is that this performance-to-stabilization reduction principle must be handled with care for the case of dynamic feedback compensation: casual application of this principle leads to the solution of a physically uninteresting problem, where the controller is assumed to have access to the states in the artificially-added feedback loop. Application of the principle using a known more refined dynamic-control robust stability criterion, where the user is allowed to specify controller partial-state dimensions, leads to correct robust-performance results. These latter results involve rank conditions in addition to Linear Matrix Inequality (LMI) conditions.Comment: 20 page

A Simulator for LLVM Bitcode

In this paper, we introduce an interactive simulator for programs in the form of LLVM bitcode. The main features of the simulator include precise control over thread scheduling, automatic checkpoints and reverse stepping, support for source-level information about functions and variables in C and C++ programs and structured heap visualisation. Additionally, the simulator is compatible with DiVM (DIVINE VM) hypercalls, which makes it possible to load, simulate and analyse counterexamples from an existing model checker

Incompatible sets of gradients and metastability

We give a mathematical analysis of a concept of metastability induced by incompatibility. The physical setting is a single parent phase, just about to undergo transformation to a product phase of lower energy density. Under certain conditions of incompatibility of the energy wells of this energy density, we show that the parent phase is metastable in a strong sense, namely it is a local minimizer of the free energy in an $L^1$ neighbourhood of its deformation. The reason behind this result is that, due to the incompatibility of the energy wells, a small nucleus of the product phase is necessarily accompanied by a stressed transition layer whose energetic cost exceeds the energy lowering capacity of the nucleus. We define and characterize incompatible sets of matrices, in terms of which the transition layer estimate at the heart of the proof of metastability is expressed. Finally we discuss connections with experiment and place this concept of metastability in the wider context of recent theoretical and experimental research on metastability and hysteresis.Comment: Archive for Rational Mechanics and Analysis, to appea