Search results for "proof"
showing 10 items of 187 documents
How does an In-containing underlayer prevent the propagation of defects in InGaN QW LEDs?: identification of SRH centers and modeling of trap profile
2021
Recent reports indicated that the use of an InAlN underlayer (UL) can significantly improve the efficiency of InGaN/GaN quantum well (QW) LEDs. Currently, this result is explained by considering that the UL reduces the density of nonradiative recombination centers in the QWs. However, an experimental proof of the reduction of defects in the QWs is not straightforward. In this paper, we use combined electrical (I-V), optical (L-I), capacitance (C-V), steady-state photocapacitance (SSPC) and light-assisted capacitance-voltage (LCV) measurements to explain why devices with UL have a much higher efficiency than identical LEDs without UL. Specifically, we demonstrated an improvement in both elec…
7.22 Health Monitoring of High Performance Composite Pressure Vessels
2018
The most important form of damage in carbon fiber reinforced composite pressure vessels is the failure of the fibers however the rate of fiber failure is controlled by the viscoelastic nature of the matrix, which determines overall in-service lifetimes. This type of damage is very different from that encountered with metal pressure vessels and requires a detailed understanding in order to ensure reliability. Innovative proof testing methods based on these processes are necessary. The damage processes and the means of quantifying them are discussed. Their reliability under pressure over periods of decades is analyzed. Intrinsic safety factors linked directly to the properties of the composit…
Transillumination imaging through biological tissue by single-pixel detection
2015
One challenge that has long held the attention of scientists is that of clearly seeing objects hidden by turbid media, as smoke, fog or biological tissue, which has major implications in fields such as remote sensing or early diagnosis of diseases. Here, we combine structured incoherent illumination and bucket detection for imaging an absorbing object completely embedded in a scattering medium. A sequence of low-intensity microstructured light patterns is launched onto the object, whose image is accurately reconstructed through the light fluctuations measured by a single-pixel detector. Our technique is noninvasive, does not require coherent sources, raster scanning nor time-gated detection…
Note: Simultaneous modulation transfer spectroscopy on transitions of multiple atomic species for compact laser frequency reference modules
2018
We present a technique for simultaneous laser frequency stabilization on transitions of multiple atomic species with a single optical setup. The method is based on modulation transfer spectroscopy, and the signals are separated by modulating at different frequencies and electronically filtered. As a proof of concept, we demonstrate simultaneous spectroscopy of the potassium D1, D2 and rubidium D2 transitions. The technique can be extended in principle to other atomic species given the availability of optics and cells and allows the development of versatile and compact frequency reference modules.
The design of absorbing Bayesian pursuit algorithms and the formal analyses of their ε-optimality
2016
The fundamental phenomenon that has been used to enhance the convergence speed of learning automata (LA) is that of incorporating the running maximum likelihood (ML) estimates of the action reward probabilities into the probability updating rules for selecting the actions. The frontiers of this field have been recently expanded by replacing the ML estimates with their corresponding Bayesian counterparts that incorporate the properties of the conjugate priors. These constitute the Bayesian pursuit algorithm (BPA), and the discretized Bayesian pursuit algorithm. Although these algorithms have been designed and efficiently implemented, and are, arguably, the fastest and most accurate LA report…
Solving the Discrete Multiple Criteria Problem using Convex Cones
1984
An interactive method employing pairwise comparisons of attainable solutions is developed for solving the discrete, deterministic multiple criteria problem assuming a single decision maker who has an implicit quasi-concave increasing utility (or value) function. The method chooses an arbitrary set of positive multipliers to generate a proxy composite linear objective function which is then maximized over the set of solutions. The maximizing solution is compared with several solutions using pairwise judgments asked of the decision maker. Responses are used to eliminate alternatives using convex cones based on expressed preferences, and then a new set of weights is found that satisfies the i…
Conformal equivalence of visual metrics in pseudoconvex domains
2017
We refine estimates introduced by Balogh and Bonk, to show that the boundary extensions of isometries between smooth strongly pseudoconvex domains in $\C^n$ are conformal with respect to the sub-Riemannian metric induced by the Levi form. As a corollary we obtain an alternative proof of a result of Fefferman on smooth extensions of biholomorphic mappings between pseudoconvex domains. The proofs are inspired by Mostow's proof of his rigidity theorem and are based on the asymptotic hyperbolic character of the Kobayashi or Bergman metrics and on the Bonk-Schramm hyperbolic fillings.
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
2021
One of the most popular state-space reduction techniques for model checking is partial-order reduction (POR). Of the many different POR implementations, stubborn sets are a very versatile variant and have thus seen many different applications over the past 32 years. One of the early stubborn sets works shows how the basic conditions for reduction can be augmented to preserve stutter-trace equivalence, making stubborn sets suitable for model checking of linear-time properties. In this paper, we identify a flaw in the reasoning and show with a counter-example that stutter-trace equivalence is not necessarily preserved. We propose a stronger reduction condition and provide extensive new correc…
Consistency Analysis of Genome-Scale Models of Bacterial Metabolism: A Metamodel Approach.
2015
Genome-scale metabolic models usually contain inconsistencies that manifest as blocked reactions and gap metabolites. With the purpose to detect recurrent inconsistencies in metabolic models, a large-scale analysis was performed using a previously published dataset of 130 genome-scale models. The results showed that a large number of reactions (~22%) are blocked in all the models where they are present. To unravel the nature of such inconsistencies a metamodel was construed by joining the 130 models in a single network. This metamodel was manually curated using the unconnected modules approach, and then, it was used as a reference network to perform a gap-filling on each individual genome-s…
Correlation between mutation rate and genome size in riboviruses: mutation rate of bacteriophage Qβ.
2013
Abstract Genome sizes and mutation rates covary across all domains of life. In unicellular organisms and DNA viruses, they show an inverse relationship known as Drake’s rule. However, it is still unclear whether a similar relationship exists between genome sizes and mutation rates in RNA genomes. Coronaviruses, the RNA viruses with the largest genomes (∼30 kb), encode a proofreading 3′ exonuclease that allows them to increase replication fidelity. However, it is unknown whether, conversely, the RNA viruses with the smallest genomes tend to show particularly high mutation rates. To test this, we measured the mutation rate of bacteriophage Qβ, a 4.2-kb levivirus. Amber reversion-based Luria–D…