none

On the toughening of bulk metallic glasses (BMGs), successful results in the phase-separated Zr63.8Ni16.2Cu15Al5 BMG have achieved compressive ductility over 15% through the computational-thermodynamic approach. In this study, the phase-separated Zr63.8Ni16.2Cu15Al5 BMG was compressed to nominal strains of 3%, 7%, and 10% at low strain rates (~10-4 s-1) and the results demonstrated that the BMG exhibited apparent uniform deformation initially, followed by visible local shear bands development. Afterwards, a single shear along the principal shear plane was soon developed and mainly dominated the whole deformation process. The principal shear contributed more than 2/3 of the overall plastic strain until failure. It was also found that the local shear strain varied along the principal shear plane and decreased monotonically from the shear band initiation site. Subsequently, in-situ compression experiments were conducted to monitor the change of sample shape during deformation in order to properly correlate with the stress-strain curve. The observed images showed that there was a one-to-one correspondence between the intermittent sample sliding and flow serration in the plastic region of stress-strain curve. Further investigations on flow serration were conducted on the Pd40Ni40P20 BMG through the compression experiments equipped with high-sensitivity strain gauges directly attached to two opposite sides of the test sample. There was an accompanied displacement burst when a shear band starts to propagate during deformation and this displacement burst would be accurately captured by the high-sensitivity strain gauges. Based on the displacement-time profile for one serration, shear-band propagating speed can be estimated and found to be insensitive to the applied strain rates (or the applied crosshead speeds). The disappearance of flow serration at high strain rates should be a result that the signal of displacement burst was overwhelmed by the applied strain rate. Using the shear strain rate data, the measured viscosity within a propagating shear band was found to be relatively low, which is in similar to the viscosity values reported in the supercooled liquid region during homogeneous deformation. In comparison with shear band propagation in the brittle Mg58Cu31Y6Nd5 and Au49Ag5.5Pd2.3Cu26.9Si16.3, moderately ductile Cu50Zr43Al7 and Pd40Ni40P20, and highly ductile phased-separated Zr63.8Ni16.2Cu15Al5 systems, the ductility of BMGs appears to be closely related to the dynamics during shear band propagation. The more ductile in nature the metallic glass is, the slower the shear band propagating speed would become. We also made attempts to investigate the shear band propagation in the porous Mo particles reinforced Mg58Cu28.5Gd11Ag2.5 bulk metallic glass composites (BMGCs) with up to 10% compressive failure strain. It was found that flow serration was absent in the stress-strain curve. Using high-sensitivity strain gauges, no distinct displacement burst was detected in the displacement-time profile. The diappearance of flow serration for the current porous Mo particles reinforced Mg58Cu28.5Gd11Ag2.5 BMGC is apparently associated with the lack of long-range shear band propagagtion. By employing the approach of separating the homogeneous amorphous matrix into many individual compartments, only short-range shear band propgagation is possible in the current Mg-based BMGC. An effective free spacing considering the spacing between two porous Mo particles and porous Mo particle size was applied to interpret the development of shear band propagation and is a useful indicator for the design of BMGC with high ductility.

<p>Databases nowadays used in all kinds of application areas often differ greatly in a number of properties. These varieties add complexity to the handling of databases, especially when two or more different databases are dependent.</p><p>The approach described here to propagate updates in an application scenario with heterogeneous, dependent databases is the use of a rule-based mediator. The system EruS (ECA rules updating SCOP) applies active database technologies in a bioinformatics scenario. Reactive behaviour based on rules is used for databases holding protein structures.</p><p>The inherent heterogeneities of the Structural Classification of Proteins (SCOP) database and the Protein Data Bank (PDB) cause inconsistencies in the SCOP data derived from PDB. This complicates research on protein structures.</p><p>EruS solves this problem by establishing rule-based interaction between the two databases. The system is built on the rule engine ruleCore with Event-Condition-Action rules to process PDB updates. It is complemented with wrappers accessing the databases to generate the events, which are executed as actions. The resulting system processes deletes and modifications of existing PDB entries and updates SCOP flatfiles with the relevant information. This is the first step in the development of EruS, which is to be extended in future work.</p><p>The project improves bioinformatics research by providing easy access to up-to-date information from PDB to SCOP users. The system can also be considered as a model for rule-based mediators in other application areas.</p>

<p>This thesis explores three new techniques for increasing the efficiency of constraint propagation: support for incremental propagation, improved representation of constraints, and abstractions to simplify propagation.  Support for incremental propagation is added to a propagator centered propagation system by adding a new intermediate layer of abstraction, advisors, that capture the essential aspects of a variable centered system. Advisors are used to give propagators a detailed view of the dynamic changes between propagator runs. Advisors enable the implementation of optimal algorithms for important constraints such as extensional constraints and Boolean linear in-equations, which is not possible in a propagator centered system lacking advisors.  Using Multivalued Decision Diagrams (MDD) as the representation for extensional constraints is shown to be useful for several reasons. Classical operations on MDDs can be used to optimize the representation, and thus speeding up the propagation. In particular, the reduction operation is stronger than the use of DFA minimization for the regular constraint. The use of MDDs is contrasted and compared to a recent proposal where tables are compressed.  Abstractions for constraint programs try to capture small and essential features of a model. These features may be much cheaper to propagate than the unabstracted program. The potential for abstraction is explored using several examples. These three techniques work on different levels. Support for incremental propagation is essential for the efficient implementation of some constraints, so that the algorithms have the right complexity. On a higher level, the question of representation looks at what a propagator should use for propagation. Finally, the question of abstraction can potentially look at several propagators, to find cases where abstractions might be fruitful. An essential feature of this thesis is a novel model for general placement constraints that uses regular expressions. The model is very versatile and can be used for several different kinds of placement problems. The model applied to the classic pentominoes puzzle will be used through-out the thesis as an example and for experiments.</p><p> </p> / <p>Den här avhandlingen utforskar tre nya tekniker för att öka effektiviteten av villkorspropagering: stöd för inkrementell propagering, val av representation för villkor, samt abstraktion för att förenkla propagering. Ett propageringssystem organiserat efter propagerare utökas med stöd för inkrementell propagering genom att lägga till ett nytt abstraktionslager: rådgivare. Detta lager fångar de essentiella aspekterna hos system organiserade efter variabler. Rådgivare används för att ge propagerare detaljerad information om de dynamiska ändringarna i variabler mellan körningar av propageraren. Utökningen innebär att det går att implementera optimala algoritmer för vissa viktiga villkor såsom tabellvillkor och Boolska linjära olikheter, något som inte är möjligt i ett rent propagator-organiserat system. Användandet av så kallade <em>Multivalued Decision Diagram</em> (MDD) som representation för tabellvillkor visas vara användbart i flera avseenden. Klassiska MDD-operationer kan användas för att optimera representationen, vilket leder till snabbare propagering. Specifikt så är reduktionsoperationen kraftfullare än användandet av DFA-minimering för reguljära villkor. MDD-representationen jämförs också med ett nyligen framlagt förslag för komprimerade tabeller. Abstraktioner för villkorsprogram försöker fånga små men viktiga egenskaper i modeller. Sådana egenskaper kan vara mycket enklare att propagera än den konkreta modellen. Potentialen för abstraktioner undersöks för några exempel. Dessa tre tekniker fungerar på olika nivåer. Stöd för inkrementell propagering är nödvändigt för att kunna implementera vissa villkor effektivt med rätt komplexitet. Valet av representation för villkor är på en högre nivå, då det gäller att se vilka algoritmer som skall användas för ett villkor. Slutligen så måste flera villkor i en modell studeras för att finna rätt typ av abstraktioner. Ett utmärkande drag för den här avhandlingen är en ny modell för generella placeringsvillkor som använder reguljära uttryck. Modellen är mångsidig och kan användas för flera olika typer av placeringsproblem. Modellen specialiserad för pentominopussel används genomgående som exempel för experiment.</p><p> </p> / Coordinating Constraint Propagation

Thesis (Ph. D.)--Brigham Young University. Dept. of Electrical and Computer Engineering, 2004. / Includes bibliographical references (p. 129-145).

Abstract: Concrete cover cracking due to reinforcement corrosion is widely accepted as a limit-state indicator in defining the end of functional service life for existing reinforced concrete (RC) structures undergoing corrosion. Many of the currently available durability prediction models are incapable of providing realistic estimates of remaining service lives of RC structures beyond the corrosion initiation point. Therefore, the need to incorporate the length of the corrosion propagation stage in a comprehensive durability prediction approach has recently received much research attention. Previous research focus however was mostly limited to the case of uniformly corroding reinforcement with only few studies addressing the commonly encountered case of localized rebar corrosion. It was empirically shown in a previous study that localized corrosion can have a mitigating effect on time to concrete cover cracking due to the larger required depth of rebar corrosion penetration (Critical penetration or Xcrit). The present research was focused on developing a model for predicting Xcrit for various degrees of corrosion localization including new cases of highly localized corrosion. Accelerated corrosion testing of controlled anodic regions along axial rebars in sound concrete cylinders suggested that localized corrosion can increase Xcrit by up to about a factor of 10. The effect of corrosion localization on the orientation of corrosion-induced surface cracks was also addressed. Testing of freely corroding pre-cracked RC pipe specimens in a chloride-containing environment indicated that steel corrosion can be localized at intersection regions with the pre-existing cracks and uniformly distributed around the reinforcing steel perimeter. Numerical modeling was undertaken to substantiate the experimentally observed trends on a theoretical basis for various degrees of corrosion localization. A mechanical model was developed to improve understanding of the underlying mechanism responsible for corrosion-induced stresses. A thick-walled multiple-cylinder approach was employed to simulate crack initiation and propagation to account for the residual strength property of concrete after cracking by applying the principles of applied elasticity. For a given concrete cover depth, the amount of Xcrit was shown by modeling to be largely determined by the length of corroding region and the capacity of the induced cracks to accommodate produced rusts. The properties of both concrete-rebar interface and corrosion products were also found to have a significant impact on Xcrit. Based on the model and experimental trends and comparisons with literature data, an improved relationship for the estimation of Xcrit was proposed. An electrochemical model was also formulated to address the possible role of corrosion aggravation due to macrocell coupling in counteracting the mitigating effect of increased Xcrit on time to concrete cover cracking. Findings confirmed that corrosion localization can reasonably be considered a mitigating factor for extending the corrosion propagation stage, and provided more precise quantification to that effect.

Security in automotive industry is a thought of concern these days. As more smart electronic devices are getting connected to each other, the dependency on these devices are urging us to connect them with moving objects such as cars, buses, trucks etc. As such, safety and security issues related to automotive objects are becoming more relevant in the realm of internet connected devices and objects. In this thesis, we emphasize on certain factors that introduces security vulnerabilities in the implementation phase of Software Development Life Cycle (SDLC). Input invalidation is one of them that we address in our work. We implement a security evaluation framework that allows us to improve security in automotive software by identifying and removing software security vulnerabilities that arise due to input invalidation reasons during SDLC. We propose to use this framework in the implementation and testing phase so that the critical deficiencies of software in security by design issues could be easily addressed and mitigated.

Many problems in shallow water acoustics require accurate predictions of the acoustic field in space and time. The accuracy of the predicted acoustic field depends heavily on the accuracy of the inputs to the propagation model. Oceanographic internal waves are known to introduce considerable temporo-spatial variability to the water column, subsequently affecting the propagation of acoustic waves. As a result, when internal waves are present, errors in model inputs can significantly degrade the accuracy of the predicted acoustic field. Accurate temporo-spatial predictions of the acoustic field in the presence of internal waves therefore depend largely on one's ability to accurately prescribe the water column properties for the acoustic model. This work introduces a data-driven oceanographic model, named the evolutionary propagated thermistor string (EPTS) model, that captures the temporo-spatial evolution of the internal wave field along a fixed track, thereby permitting prediction of temporal fluctuations in the acoustic field. Simultaneously-measured oceanographic and acoustic data from the Office of Naval Research Shallow Water 2006 experiment are utilized in this work. Thermistor measurements, recorded on four oceanographic moorings spaced along the continental shelf, provide the data from which the EPTS model constructs the internal wave field over a 30 km track. The acoustic data were acquired from propagation measurements over a co-located path between a moored source and a vertical line array. Acoustic quantities computed in the model space, such as received level, depth-integrated intensity, and scintillation index are directly compared to measured acoustic quantities to evaluate the fidelity of the oceanographic model. In addition, a strong correlation is observed between the amplitude of the internal wave field and acoustic intensity statistics at a distant receiving array. It is found that the EPTS model possessed sufficient fidelity to permit the prediction of acoustic intensity distributions in the presence of nonlinear internal waves. / text

The use of hydraulic fracturing has increased rapidly and is now a necessary technique for the development of shale oil and gas resources. However, production rates from these plays typically exhibit high levels of decline. After one year, rates often decrease by over fifty percent. Refracturing – the process of hydraulically fracturing a well that has previously been fractured – is a proposed technique designed to offset these high decline rates and provide a sustainable increase in production. Benefits from refracturing can occur due to a variety of reasons, including the extension of fracture length, the increase in fracture conductivity or the reorientation of the fracture into new areas of the reservoir. In this thesis, the simulation of refracturing treatments on horizontal wells with the use of a diverting agent is described. Diverting agents are used to distribute flow more evenly along the wellbore and to replace the use of costly downhole equipment employed to isolate sections of the wellbore. When diverting agent is deposited, a cake forms with an associated permeability. Flow is diverted from the fractures with high amounts of diverting agent because the larger cake results in a greater resistance to flow. The diverting agent cake breaks down with time at reservoir temperature so that production is uninhibited. Two different models are used to account for the application of diverting agent. One assumes the diverting agent cake forms in the perforation tunnel and the other assumes it forms in the fracture. The propagation of competing fractures is calculated using a computer code developed at the University of Texas called UTWID. In both models, the simulations showed successful diversion of flow. Previously understimulated fractures – that is, shorter fractures or fractures that would grow less preferentially under normal fracturing treatments – grew at a faster pace after pumping of the diverting agent. A sensitivity analysis was conducted on several of the key refracturing design parameters, and the interdependence of the parameters was demonstrated. The simulations support the concept that diverting agents can be used to more evenly stimulate the entire length of the lateral. / text

Artificial metamaterials composed of specifically designed subwavelength unit cells can support an exotic material response and present a promising future for various microwave, terahertz and optical applications. Metamaterials essentially provide the concept to microscopically manipulate light through their subwavelength inclusions, and the overall structure can be macroscopically treated as homogeneous bulk material characterized by a simple set of constitutive parameters, such as permittivity and permeability. In this dissertation, we present a complete homogenization theory applicable to one-, two- and three-dimensional metamaterials composed of nonconnected subwavelength elements. The homogenization theory provides not only deep insights to electromagnetic wave propagation among metamaterials, but also allows developing a useful and efficient analysis method for engineering metamaterials. We begin the work by proposing a general retrieval procedure to characterize arbitrary subwavelength elements in terms of a polarizability tensor. Based on this system, we may start the macroscopic analysis of metamaterials by analyzing the scattering properties of their microscopic building blocks. For one-dimensional linear arrays, we present the dispersion relations for single and parallel linear chains and study their potential use as sub-diffractive waveguides and leaky-wave antennas. For two-dimensional arrays, we interpret the metasurfaces as homogeneous surfaces and characterize their properties by a complete six-by-six tensorial effective surface susceptibility. This model also offers the possibility to derive analytical transmission and reflection coefficients for metasurfaces composed of arbitrary nonconnected inclusions with TE and TM mutual coupling. For three-dimensional metamaterials, we present a generalized theory to homogenize arrays by effective tensorial permittivity, permeability and magneto-electric coupling coefficients. This model captures comprehensive anisotropic and bianisotropic properties of metamaterials. Based on this theory, we also modify the conventional retrieval method to extract physically meaningful effective parameters of given metamaterials and fundamentally explain the common non-causality issues associated with parameter retrieval. Finally, we conceptually propose an inverse design procedure for three-dimensional metamaterials that can efficiently determine the geometry of the inclusions required to achieve the anomalous properties, such as double-negative response, in the desired frequency regime. / text