Physical modeling of localized scour for the Yangtze Estuary Waterway Improvement Project, Phase I

In order to examine the effectiveness of engineering protection against localized scour in front of the south groin-group of the Yangtze Estuary Waterway Improvement Project, Phase I, an undistorted physical model on a geometric scale of 1:250 is built in this study, covering two groins and their adacent estuarine areas. By use of rinsing fix-bed model as well as localized mobile-bed model the experiment is undertaken under bi-directional steady flow. According to the experimental results, waterway dredging leads to the increase in steram velocity, the increase being larger during the ebb than during the flood. Construction of the upstream groin has some influence on the flow patterns near the downstream groin. Localized scour in front of the groin-heads is controlled mainly by ebb flow. In the case of a riverbed composed entirely of silt, the depths of localized scour in front of the two groin-heads are 27 m and 29 m, respectively. In reality, the underneath sediment of the prototype riverbed is clay whose threshold velocity is much higher than the stream velocity in the Yangtze Estuary; therefore, the depths of localized scour will not be much larger than the thickness of the silt layer, i. e. 7.4 m and 4.7 m, respectively. The designed aprons covering the riverbed in fron of the groin-heads are very effective in scour control. Aprons of slightly smaller size can also fulfill the task of protection, but the area of localized scour increases significantly.

Numerical modeling of water wave interaction with a soft mud bed

A vertical 2-D numerical model is presented for simulating the interaction between water waves and a soft mud bed. Taking into account nonlinear rheology, a semi-empirical rheological model is applied to this water-mud model, reflecting the combined visco-elasto-plastic properties of soft mud under such oscillatory external forces as water waves. In order to increase the resolution of the flow in the neighborhood of both sides of the inter-surface, a logarithmic grid in the vertical direction is employed for numerical treatment. Model verifications are given through comparisons between the calculated and the measured mud mass transport velocities as well as wave height changes.

Automatic Qualitative Modeling of Dynamic Physical Systems

This report describes MM, a computer program that can model a variety of mechanical and fluid systems. Given a system's structure and qualitative behavior, MM searches for models using an energy-based modeling framework. MM uses general facts about physical systems to relate behavioral and model properties. These facts enable a more focussed search for models than would be obtained by mere comparison of desired and predicted behaviors. When these facts do not apply, MM uses behavior-constrained qualitative simulation to verify candidate models efficiently. MM can also design experiments to distinguish among multiple candidate models.

Modeling of protein adsorption in membrane affinity chromatography

For the design of affinity membranes, protein adsorption in membrane affinity chromatography (MAC) was studied by frontal analysis. According to fast mass transfer, small thickness of affinity membranes and high affinity between the protein and the ligand, an ideal adsorption (IA) model was proposed for MAC and was used together with equilibrium-dispersive (E-D) model to describe the adsorption of bovine serum albumin (BSA) onto cellulose diacetate/polyethyleneimine (CA/PEI) blend membranes with and without Cu2+ chelating. E-D model was found to better describe the initial region of experimental breakthrough curves. The influence of axial dispersion was revealed and it showed the importance of design of the module to homogenously distribute feed solution. IA model was found to be better for the whole experimental breakthrough curve. According to it, the capacity of affinity membranes and the specificity of the interaction are of equal importance for the design of affinity membranes. An optimum feed concentration was also found in the operation of MAC. The discrepancy between experimental optimum feed concentrations and predicted ones from IA model may be due to the ignorance of some experimental effects such as axial dispersion.

Modeling of a compact plate-fin reformer for methanol steam reforming in fuel cell systems

The characteristics of a compact plate-fin reformer (PFR) which integrates endothermic and exothermic reactions into one unit have been investigated by experiment as well as by numerical simulation. One reforming chamber was integrated with two vaporization chambers and two combustion chambers to constitute a single unit of PFR. In the PFR, which is based on a plate-fin beat exchanger, catalytic combustion of the reforming gas is used to simulate the fuel cell anode off gas (AOG) which supplies the necessary heat for the methanol steam reforming. Temperature distributions in all chambers and composition distribution in reforming chamber have been studied, and the effect of the ratio of H2O/CH3OH on the performance of the PFR has also been investigated. A model of the PFR was derived using a three-dimensional numerical model for a cross-current flow arrangement. Theoretical predictions of the temperature distributions in the PFR were in good agreement with experimental values. In addition, the numerical model was able to accurately predict the methanol conversion and the reformate composition in reforming chamber. © 2005 Elsevier B.V. All rights reserved.

Confirmation of Data Mining Based Predictions of Protein Function

King, R. D. and Wise, P. H. and Clare, A. (2004) Confirmation of Data Mining Based Predictions of Protein Function. Bioinformatics 20(7), 1110-1118

Lightweight Modeling of Java Virtual Machine Security Constraints using Alloy

The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly in the component known as the Bytecode Verifier. This paper describes a method for representing Java security constraints using the Alloy modeling language. It further describes a system for performing a security analysis on any block of Java bytecodes by converting the bytes into relation initializers in Alloy. Any counterexamples found by the Alloy analyzer correspond directly to insecure code. Analysis of a real-world malicious applet is given to demonstrate the efficacy of the approach.

Accommodating curvature in a highly ordered functionalized metal oxide nanofiber: synthesis, characterization and multi-scale modeling of layered nanosheets

A key element in the rational design of hybrid organic-inorganic nanostructures, is control of surfactant packing and adsorption onto the inorganic phase in crystal growth and assembly. In layered single crystal nanofibers and bilayered 2D nanosheets of vanadium oxide, we show how the chemisorption of preferred densities of surfactant molecules can direct formation of ordered, curved layers. The atom-scale features of the structures are described using molecular dynamics simulations that quantify surfactant packing effects and confirm the preference for a density of 5 dodecanethiol molecules per 8 vanadium attachment sites in the synthesised structures. This assembly maintains a remarkably well ordered interlayer spacing, even when curved. The assemblies of interdigitated organic bilayers on V2O5 are shown to be sufficiently flexible to tolerate curvature while maintaining a constant interlayer distance without rupture, delamination or cleavage. The accommodation of curvature and invariant structural integrity points to a beneficial role for oxide-directed organic film packing effects in layered architectures such as stacked nanofibers and hybrid 2D nanosheet systems.

Computational modeling of defects in nanoscale device materials

This PhD thesis concerns the computational modeling of the electronic and atomic structure of point defects in technologically relevant materials. Identifying the atomistic origin of defects observed in the electrical characteristics of electronic devices has been a long-term goal of first-principles methods. First principles simulations are performed in this thesis, consisting of density functional theory (DFT) supplemented with many body perturbation theory (MBPT) methods, of native defects in bulk and slab models of In0.53Ga0.47As. The latter consist of (100) - oriented surfaces passivated with A12O3. Our results indicate that the experimentally extracted midgap interface state density (Dit) peaks are not the result of defects directly at the semiconductor/oxide interface, but originate from defects in a more bulk-like chemical environment. This conclusion is reached by considering the energy of charge transition levels for defects at the interface as a function of distance from the oxide. Our work provides insight into the types of defects responsible for the observed departure from ideal electrical behaviour in III-V metal-oxidesemiconductor (MOS) capacitors. In addition, the formation energetics and electron scattering properties of point defects in carbon nanotubes (CNTs) are studied using DFT in conjunction with Green’s function based techniques. The latter are applied to evaluate the low-temperature, low-bias Landauer conductance spectrum from which mesoscopic transport properties such as the elastic mean free path and localization length of technologically relevant CNT sizes can be estimated from computationally tractable CNT models. Our calculations show that at CNT diameters pertinent to interconnect applications, the 555777 divacancy defect results in increased scattering and hence higher electrical resistance for electron transport near the Fermi level.

Geochemistry, mineralogy, and chemical modeling of the acid crater lake of Kawah Ijen volcano, Indonesia

The Kawah Ijen volcano-with a record of phreatic eruptions-has its 1000 m wide crater filled with a lake that has existed for at least one century. At present, the lake waters are hot (T ≈ 37°C), strongly mineralized (TDS = 105 g/L) and extremely acidic (pH ≈ 0.4). By its volume, the Javanese lake is probably the largest accumulation in the world of such acidic waters. Mineralogy of the suspended solids within the lake waters suggests that concentrations of Si, Ca, Ti, and Ba are controlled by precipitation of silica, gypsum, anatase, and barite. Lake sediment is composed of chemical precipitates with composition similar to the suspended solids. Thermodynamic calculations predict that the lake waters have reached equilibrium with respect to α-cristobalite, barite, gypsum, anglesite, celestite, and amorphous silica, in agreement with the analytical observations. Significant concentrations of ferric iron suggest that the current lake waters are fairly oxidized. Sulfides are absent in the water column but are always present in the native S spherules that form porous aggregates which float on the lake. The presence of native S provides direct evidence of more reduced conditions at the lake floor where H2S is probably being injected into the lake. With progressive addition of H2S to the acid waters, native S, pyrite, and enargite are theoretically predicted to be saturated. Reactions between upward streaming H2S-bearing gases discharged by subaqueous fumaroles, and metals dissolved in the acidic waters could initiate precipitation of these sulfides. A model of direct absorption of hot magmatic gases into cool water accounts for the extreme acidity of the crater lake. Results show that strongly acidic, sulfate-rich solutions are formed under oxidizing conditions at high gas/water ratios. Reactions between the acidic fluids and the Ijen andesite were modeled to account for elevated cation concentrations in lake water. Current concentrations of conservative rockforming elements are produced by dissolution of approximately 60 g of andesite per kg of acid solution. Complete neutralization of the acid lake waters by reaction with the wallrock produces a theoretical alteration assemblage equivalent to that observed in volcano-hosted, acid-sulfate epithermal ore deposits. © 1994.

So different, yet so similar: meta-analysis and policy modeling of willingness to participate in clinical trials among Brazilians and Indians.

BACKGROUND: With the global expansion of clinical trials and the expectations of the rise of the emerging economies known as BRICs (Brazil, Russia, India and China), the understanding of factors that affect the willingness to participate in clinical trials of patients from those countries assumes a central role in the future of health research. METHODS: We conducted a systematic review and meta-analysis (SRMA) of willingness to participate in clinical trials among Brazilian patients and then we compared it with Indian patients (with results of another SRMA previously conducted by our group) through a system dynamics model. RESULTS: Five studies were included in the SRMA of Brazilian patients. Our main findings are 1) the major motivation for Brazilian patients to participate in clinical trials is altruism, 2) monetary reimbursement is the least important factor motivating Brazilian patients, 3) the major barrier for Brazilian patients to not participate in clinical trials is the fear of side effects, and 4) Brazilian patients are more likely willing to participate in clinical trials than Indians. CONCLUSION: Our study provides important insights for investigators and sponsors for planning trials in Brazil (and India) in the future. Ignoring these results may lead to unnecessary fund/time spending. More studies are needed to validate our results and for better understanding of this poorly studied theme.

Predictive Modeling of Loss-of-Heterozygosity Events in Yeast

During mitotic cell cycles, DNA experiences many types of endogenous and exogenous damaging agents that could potentially cause double strand breaks (DSB). In S. cerevisiae, DSBs are primarily repaired by mitotic recombination and as a result, could lead to loss-of-heterozygosity (LOH). Genetic recombination can happen in both meiosis and mitosis. While genome-wide distribution of meiotic recombination events has been intensively studied, mitotic recombination events have not been mapped unbiasedly throughout the genome until recently. Methods for selecting mitotic crossovers and mapping the positions of crossovers have recently been developed in our lab. Our current approach uses a diploid yeast strain that is heterozygous for about 55,000 SNPs, and employs SNP-Microarrays to map LOH events throughout the genome. These methods allow us to examine selected crossovers and unselected mitotic recombination events (crossover, noncrossover and BIR) at about 1 kb resolution across the genome. Using this method, we generated maps of spontaneous and UV-induced LOH events. In this study, we explore machine learning and variable selection techniques to build a predictive model for where the LOH events occur in the genome.

Randomly from the yeast genome, we simulated control tracts resembling the LOH tracts in terms of tract lengths and locations with respect to single-nucleotide-polymorphism positions. We then extracted roughly 1,100 features such as base compositions, histone modifications, presence of tandem repeats etc. and train classifiers to distinguish control tracts and LOH tracts. We found interesting features of good predictive values. We also found that with the current repertoire of features, the prediction is generally better for spontaneous LOH events than UV-induced LOH events.