Integrated Educational Project of Theoretical, Experimental, and Computational Analyses

This research demonstrates how to design an integrated capstone project by including theoretical, experimental and computational analyses of a truss bridge. The project mainly focused on leading students to approach engineering problems with various methods and to understand the advantages and disadvantages of each method. The students applied three methods to acquire the values of stresses and deflections of members in the given truss bridge. First, they calculated the stresses and deformations theoretically. Second, they actually conducted an experiment of the truss bridge with electronic measuring equipment. Lastly, they built two simulation models with Autodesk Inventor and Dassault Systèmes SolidWorks. From the comparisons of above three methods, students were guided to the validation of assumptions of theories.Cockrell School of Engineerin

Signaling, Learning and Screening Prior to Trial: Informational Implications of Preliminary Injunctions

The decision to request a preliminary injunction—a court order that bans a party from certain actions until their lawfulness are ascertained in a final court ruling at trial—is an important litigation instrument in many areas of the law including antitrust, copyright, patents, trademarks, employment and labor relations as well as contracts. The process of filing for a preliminary injunction and the court's ruling on such a request generates information that can affect possible settlement decisions. We consider these implications when there is uncertainty about both the plaintiff's damages as well as the merits of case in the eyes of the court. Both plaintiff and defendant revise their beliefs about the case strength in dispute once they observe the court's ruling on preliminary injunctive relief. We study how such learning affects the likelihood of settlement. A precursor to this analysis is the study of the strategic role of preliminary injunctions as a means to signal the plaintiff's willingness to settle.preliminary injunction, learning, signaling, screening, litigation, pre-trial motion, settlement

Learning Markov Decision Processes for Model Checking

Constructing an accurate system model for formal model verification can be both resource demanding and time-consuming. To alleviate this shortcoming, algorithms have been proposed for automatically learning system models based on observed system behaviors. In this paper we extend the algorithm on learning probabilistic automata to reactive systems, where the observed system behavior is in the form of alternating sequences of inputs and outputs. We propose an algorithm for automatically learning a deterministic labeled Markov decision process model from the observed behavior of a reactive system. The proposed learning algorithm is adapted from algorithms for learning deterministic probabilistic finite automata, and extended to include both probabilistic and nondeterministic transitions. The algorithm is empirically analyzed and evaluated by learning system models of slot machines. The evaluation is performed by analyzing the probabilistic linear temporal logic properties of the system as well as by analyzing the schedulers, in particular the optimal schedulers, induced by the learned models.Comment: In Proceedings QFM 2012, arXiv:1212.345

Baryon vector and axial content up to the 7Q component

We have used the light-cone formulation of Chiral-Quark Soliton Model to investigate the vector and axial content of octet, decuplet and the hypothetical antidecuplet in the flavor SU(3) symmetry limit. We have extended previous works by computing the 7Q contribution to vector and axial charges for the octet and antidecuplet but stayed at the 5Q sector for the decuplet where the full computation needs much more time. As expected the 7Q component has a weaker impact on the quantities but still changes them by a few percent. We give also a detailed decomposition of those charges into flavor, valence quark, sea quark and antiquark contributions. Many of them are of course not (yet) measured or estimated and constitute then a theoretical estimation. Among the different interesting observations made in this work are the explicit quadrupole deformation of decuplet baryons due to the pion field and the sum of quark spins larger than the pentaquark one.Comment: 34 pages, 7 figures and 17 tables, revised and more explicit versio

Gating mechanism of elongating β-ketoacyl-ACP synthases.

Carbon-carbon bond forming reactions are essential transformations in natural product biosynthesis. During de novo fatty acid and polyketide biosynthesis, β-ketoacyl-acyl carrier protein (ACP) synthases (KS), catalyze this process via a decarboxylative Claisen-like condensation reaction. KSs must recognize multiple chemically distinct ACPs and choreograph a ping-pong mechanism, often in an iterative fashion. Here, we report crystal structures of substrate mimetic bearing ACPs in complex with the elongating KSs from Escherichia coli, FabF and FabB, in order to better understand the stereochemical features governing substrate discrimination by KSs. Complemented by molecular dynamics (MD) simulations and mutagenesis studies, these structures reveal conformational states accessed during KS catalysis. These data taken together support a gating mechanism that regulates acyl-ACP binding and substrate delivery to the KS active site. Two active site loops undergo large conformational excursions during this dynamic gating mechanism and are likely evolutionarily conserved features in elongating KSs

Metallicity Effect on LMXB Formation in Globular Clusters

We present comprehensive observational results of the metallicity effect on the fraction of globular clusters (GC) that contain low-mass X-ray binaries (LMXB), by utilizing all available data obtained with Chandra for LMXBs and HST ACS for GCs. Our primary sample consists of old elliptical galaxies selected from the ACS Virgo and Fornax surveys. To improve statistics at both the lowest and highest X-ray luminosity, we also use previously reported results from other galaxies. It is well known that the LMXB fraction is considerably higher in red, metal-rich, than in blue, metal-poor GCs. In this paper, we test whether this metallicity effect is X-ray luminosity-dependent, and find that the effect holds uniformly in a wide luminosity range. This result is statistically significant (at >= 3 sigma) in LMXBs with luminosities in the range LX = 2 x 10^37 - 5 x 10^38 erg s-1, where the ratio of LMXB fractions in metal-rich to metal-poor GCs is R = 3.4 +- 0.5. A similar ratio is also found at lower (down to 10^36 erg s-1) and higher luminosities (up to the ULX regime), but with less significance (~2 sigma confidence). Because different types of LMXBs dominate in different luminosities, our finding requires a new explanation for the metallicity effect in dynamically formed LMXBs. We confirm that the metallicity effect is not affected by other factors such as stellar age, GC mass, stellar encounter rate, and galacto-centric distance.Comment: 21 pages, 5 figures, accepted in Ap