Model-Based Troubleshooting of Digital Systems

This thesis describes a methodology, a representation, and an implemented program for troubleshooting digital circuit boards at roughly the level of expertise one might expect in a human novice. Existing methods for model-based troubleshooting have not scaled up to deal with complex circuits, in part because traditional circuit models do not explicitly represent aspects of the device that troubleshooters would consider important. For complex devices the model of the target device should be constructed with the goal of troubleshooting explicitly in mind. Given that methodology, the principal contributions of the thesis are ways of representing complex circuits to help make troubleshooting feasible. Temporally coarse behavior descriptions are a particularly powerful simplification. Instantiating this idea for the circuit domain produces a vocabulary for describing digital signals. The vocabulary has a level of temporal detail sufficient to make useful predictions abut the response of the circuit while it remains coarse enough to make those predictions computationally tractable. Other contributions are principles for using these representations. Although not embodied in a program, these principles are sufficiently concrete that models can be constructed manually from existing circuit descriptions such as schematics, part specifications, and state diagrams. One such principle is that if there are components with particularly likely failure modes or failure modes in which their behavior is drastically simplified, this knowledge should be incorporated into the model. Further contributions include the solution of technical problems resulting from the use of explicit temporal representations and design descriptions with tangled hierarchies.

Phase transitions of frozen camu-camu (Myrciaria dubia (HBK) McVaugh) pulp: Effect of cryostabilizer addition

Camu-camu is a tropical fruit with very high vitamin C content and commercialized as frozen pulp. Enthalpies of freezing, temperatures of the onset of ice melting, and glass transition temperatures of the maximally freeze-concentrated phase (T`(g)) of camu-camu pulp and of samples containing maltodextrin (DE20) and sucrose were measured by differential scanning calorimetry. Maltodextrin exhibited the largest freeze stabilization potential, increasing T`(g) from -58.2 degrees C (natural pulp) to -39.6 degrees C when 30% (w/w) maltodextrin DE 20 was added. Sucrose showed negligible effect on T`(g) but enhanced considerably the freezing point depression and less amount of ice was formed.

Phase transitions of cassava starch dispersions prepared with glycerol solutions

The aim of this work was to study the glass transition, the glass transition of the maximally freeze-concentrated fractions, the ice melting and the gelatinization phenomenon in dispersions of starch prepared using glycerol- water solutions. The starch concentration was maintained constant at 50 g cassava starch/100 g starch dispersions, but the concentration of the glycerol solutions was variable (C-g= 20, 40, 60, 80 and 100 mass/mass%). The phase transitions of these dispersions were studied by calorimetric methods, using a conventional differential scanning calorimeter (DSC) and a more sensitive equipment (micro-DSC). Apparently, in the glycerol diluted solutions (20 and 40%), the glycerol molecules interacted strongly with the glucose molecules of starch. While in the more concentrated glycerol domains (C-g> 40%), the behaviour was controlled by migration of water molecules from the starch granules, due to a hypertonic character of glycerol, which affected all phase transitions.

Stickiness measurement techniques for food powders: a review

The importance of sticky behaviour of amorphous food powders has been recognized over many decades in the food industry due to its influence on process and handling abilities and quality of the powders. This paper emphasizes the role of stickiness in the food powder industry as well as reviews the stickiness characterization techniques developed to date. This paper also attempts to correlate the stickiness behaviour of food powders to the instrumental analysis such as glass transition temperature. (C) 2004 Elsevier B.V All rights reserved.

Yang-Lee zeros of the two- and three-state Potts model defined on π3 Feynman diagrams

We present both analytical and numerical results on the position of partition function zeros on the complex magnetic field plane of the q=2 state (Ising) and the q=3 state Potts model defined on phi(3) Feynman diagrams (thin random graphs). Our analytic results are based on the ideas of destructive interference of coexisting phases and low temperature expansions. For the case of the Ising model, an argument based on a symmetry of the saddle point equations leads us to a nonperturbative proof that the Yang-Lee zeros are located on the unit circle, although no circle theorem is known in this case of random graphs. For the q=3 state Potts model, our perturbative results indicate that the Yang-Lee zeros lie outside the unit circle. Both analytic results are confirmed by finite lattice numerical calculations.

Defining Nutrient and Biochemical Oxygen Demand Baselines for Tropical Rivers and Streams in So Paulo State (Brazil): A Comparison Between Reference and Impacted Sites

Determining reference concentrations in rivers and streams is an important tool for environmental management. Reference conditions for eutrophication-related water variables are unavailable for Brazilian freshwaters. We aimed to establish reference baselines for So Paulo State tropical rivers and streams for total phosphorus (TP) and nitrogen (TN), nitrogen-ammonia (NH(4) (+)) and Biochemical Oxygen Demand (BOD) through the best professional judgment and the trisection methods. Data from 319 sites monitored by the So Paulo State Environmental Company (2005 to 2009) and from the 22 Water Resources Management Units in So Paulo State were assessed (N = 27,131). We verified that data from different management units dominated by similar land cover could be analyzed together (Analysis of Variance, P = 0.504). Cumulative frequency diagrams showed that industrialized management units were characterized by the worst water quality (e.g. average TP of 0.51 mg/L), followed by agricultural watersheds. TN and NH(4) (+) were associated with urban percentages and population density (Spearman Rank Correlation Test, P < 0.05). Best professional judgment and trisection (median of lower third of all sites) methods for determining reference concentrations showed agreement: 0.03 & 0.04 mg/L (TP), 0.31 & 0.34 mg/L (TN), 0.06 & 0.10 mg-N/L (NH(4) (+)) and 2 & 2 mg/L (BOD), respectively. Our reference concentrations were similar to TP and TN reference values proposed for temperate water bodies. These baselines can help with water management in So Paulo State, as well as providing some of the first such information for tropical ecosystems.

Noise-induced scenario for inverted phase diagrams

We introduce a class of exactly solvable models exhibiting an ordering noise-induced phase transition in which order arises as a result of a balance between the relaxing deterministic dynamics and the randomizing character of the fluctuations. A finite-size scaling analysis of the phase transition reveals that it belongs to the universality class of the equilibrium Ising model. All these results are analyzed in the light of the nonequilibrium probability distribution of the system, which can be obtained analytically. Our results could constitute a possible scenario of inverted phase diagrams in the so-called lower critical solution temperature transitions.

Farm scale alcohol production : the Iowa State University ethanol distillery, 1981.

This publication was prepared to describe how the Iowa State University distillery has been operating, including information on distillery size, equipment, tanks, condenser, heat exchanger, pumps and the process. Photos and diagrams are also included.

On the equation of state and atomic mean square displacement of crystals

We have presented a Green's function method for the calculation of the atomic mean square displacement (MSD) for an anharmonic Hamil toni an . This method effectively sums a whole class of anharmonic contributions to MSD in the perturbation expansion in the high temperature limit. Using this formalism we have calculated the MSD for a nearest neighbour fcc Lennard Jones solid. The results show an improvement over the lowest order perturbation theory results, the difference with Monte Carlo calculations at temperatures close to melting is reduced from 11% to 3%. We also calculated the MSD for the Alkali metals Nat K/ Cs where a sixth neighbour interaction potential derived from the pseudopotential theory was employed in the calculations. The MSD by this method increases by 2.5% to 3.5% over the respective perturbation theory results. The MSD was calculated for Aluminum where different pseudopotential functions and a phenomenological Morse potential were used. The results show that the pseudopotentials provide better agreement with experimental data than the Morse potential. An excellent agreement with experiment over the whole temperature range is achieved with the Harrison modified point-ion pseudopotential with Hubbard-Sham screening function. We have calculated the thermodynamic properties of solid Kr by minimizing the total energy consisting of static and vibrational components, employing different schemes: The quasiharmonic theory (QH), ).2 and).4 perturbation theory, all terms up to 0 ().4) of the improved self consistent phonon theory (ISC), the ring diagrams up to o ().4) (RING), the iteration scheme (ITER) derived from the Greens's function method and a scheme consisting of ITER plus the remaining contributions of 0 ().4) which are not included in ITER which we call E(FULL). We have calculated the lattice constant, the volume expansion, the isothermal and adiabatic bulk modulus, the specific heat at constant volume and at constant pressure, and the Gruneisen parameter from two different potential functions: Lennard-Jones and Aziz. The Aziz potential gives generally a better agreement with experimental data than the LJ potential for the QH, ).2, ).4 and E(FULL) schemes. When only a partial sum of the).4 diagrams is used in the calculations (e.g. RING and ISC) the LJ results are in better agreement with experiment. The iteration scheme brings a definitive improvement over the).2 PT for both potentials.

A finite state model for on-line analytical processing in triadic contexts

About ten years ago, triadic contexts were presented by Lehmann and Wille as an extension of Formal Concept Analysis. However, they have rarely been used up to now, which may be due to the rather complex structure of the resulting diagrams. In this paper, we go one step back and discuss how traditional line diagrams of standard (dyadic) concept lattices can be used for exploring and navigating triadic data. Our approach is inspired by the slice & dice paradigm of On-Line-Analytical Processing (OLAP). We recall the basic ideas of OLAP, and show how they may be transferred to triadic contexts. For modeling the navigation patterns a user might follow, we use the formalisms of finite state machines. In order to present the benefits of our model, we show how it can be used for navigating the IT Baseline Protection Manual of the German Federal Office for Information Security.

Lepton transverse polarization in the B -> Dl nu(l) decay due to the electromagnetic final state interaction

The effect of lepton transverse polarization in B-0-->D(-)l(+)nu(l), B+-->(D) over bar (0)l(+)nu(l) decays (l=tau,mu) is analyzed within the framework of the standard model in the leading order of heavy quark effective theory. It is shown that a nonzero transverse polarization appears due to the electromagnetic final state interaction. The diagrams with intermediate D,D* mesons contributing to the nonvanishing P-T are considered. Regarding only the contribution of these mesons, the values of the tau-lepton transverse polarization averaged over the physical region in the B-0-->D(-)tau(+)nu(l) and B+-->(D) over bar (0)tau(+)nu(l) decays are equal to 2.60x10(-3) and -1.59x10(-3), respectively. In the case of muon decay modes the values of [P-T] are equal to 2.97x10(-4) and -6.79x10(-4).

Hydrochemical relationships in groundwater from central São Paulo State, Brazil

Groundwater samples from different aquifers occurring at center/northeast portion of São Paulo State, Brazil, were collected and chemically analyzed. The waters leaching Mesozoic sediments are generally more acid (pH(average) = 5.9) and have lower values for total dissolved solids (TDSaverage = 105 mg/L) than those obtained for waters leaching Paleozoic sediments of Tubarao Group. First-degree trend surfaces revealed that the deeper tubular wells occur towards east/southeast and exploit Paleozoic sediments as well fractured/fissured diabases/basalts, whereas the tubular wells in the west/northwest region are shallower. Piper diagrams indicated that the majority of the waters are a blend of waters from different lithologies. Significant correlations were found among nitrate, chloride and bicarbonate, suggesting the occurrence of some anthropogenic inputs, whereas elevated alpha activity of geogenic Ra-226 indicated the need of a broad radiometric survey in the area.

Chemistry of Biotites and Whole Rocks from the Rapakivi Itu Complex (Late Precambrian), State of São Paulo, SE Brazil

Chemical analyses for biotites and their host rocks from the Cabreúva (three facies) and Salto (five facies) intrusions from the multiple-centered rapakivi Itu Complex, State of São Paulo, Brazil, are presented and compared. The Cabreúva intrusion comprises different kinds of mainly even-grained biotite and hornblende-bearing syenogranites, monzogranites and quartz syenites and the Salto intrusion several types of mainly porphyritic biotite syenogranites, some of them hornblende-bearing. The biotites from the Salto intrusion (S-micas) show a more restricted composition than those from the Cabreúva intrusion (C-micas). This reflects the chemical variability of the two bodies which is smaller in the Salto intrusion and larger in the Cabreúva pluton. In the AlIV x Fet/(Fet+Mg) diagram the S- and C-micas show similar AlIV contents, around 2.2-2.3, but C-micas have higher Fet/(Fet+Mg) ratios (0.7-0.9) compared to those of S-micas (0.5-0.6). In the Mg:(Al+Fe+3+Ti):(Fe+2+Mn) diagram the S-micas are defined as Fe+2-biotites and the C-micas occupy the area between the Fe+2-biotites and the siderophyllite/lepidomelane fields, slightly overlapping the latter. In the Al2O3 × FeOt, MgO × FeOt, Al2O3 x MgO and Alt x Mg diagrams, the S-micas always lie on the calc-alkaline/alkaline boundary (or in the subalkaline field) whereas the C-micas systematically plot in the alkaline field, reflecting the higher alkalis content of the Cabreúva intrusion. In the Fet/(Fet+Mg) x SiO2 diagram, the S-micas lie on a smooth line whereas the C-micas from the different facies are separated by distinct chemical gaps reflecting the major or minor chemical overlapping of the facies from the Salto and Cabreúva intrusions.

Supersymmetry searches in the single lepton final state with the ATLAS detector

This thesis presents an analysis for the search of Supersymmetry with the ATLAS detector at the LHC. The final state with one lepton, several coloured particles and large missing transverse energy was chosen. Particular emphasis was placed on the optimization of the requirements for lepton identification. This optimization showed to be particularly useful when combining with multi-lepton selections. The systematic error associated with the higher order QCD diagrams in Monte Carlo production is given particular focus. Methods to verify and correct the energy measurement of hadronic showers are developed. Methods for the identification and removal of mismeasurements caused by the detector are found in the single muon and four jet environment are applied. A new detector simulation system is shown to provide good prospects for future fast Monte Carlo production. The analysis was performed for $35pb^{-1}$ and no significant deviation from the Standard Model is seen. Exclusion limits subchannel for minimal Supergravity. Previous limits set by Tevatron and LEP are extended.

(Figures S2a-c) Phase diagrams of the upper crust, the lower crust and the upper mantle based on averaged compositions of the oceanic crust and mantle

The age of the subducting Nazca Plate off Chile increases northwards from 0 Ma at the Chile Triple Junction (46°S) to 37 Ma at the latitude of Valparaíso (32°S). Age-related variations in the thermal state of the subducting plate impact on (a) the water influx to the subduction zone, as well as on (b) the volumes of water that are released under the continental forearc or, alternatively, carried beyond the arc. Southern Central Chile is an ideal setting to study this effect, because other factors for the subduction zone water budget appear constant. We determine the water influx by calculating the crustal water uptake and by modeling the upper mantle serpentinization at the outer rise of the Chile Trench. The water release under forearc and arc is determined by coupling FEM thermal models of the subducting plate with stability fields of water-releasing mineral reactions for upper and lower crust and hydrated mantle. Results show that both the influx of water stored in, and the outflux of water released from upper crust, lower crust and mantle vary drastically over segment boundaries. In particular, the oldest and coldest segments carry roughly twice as much water into the subduction zone as the youngest and hottest segments, but their release flux to the forearc is only about one fourth of the latter. This high variability over a subduction zone of < 1500 km length shows that it is insufficient to consider subduction zones as uniform entities in global estimates of subduction zone fluxes. This article is protected by copyright. All rights reserved.