Matching Items (183)
Description
With the increasing focus on developing environmentally benign electronic packages, lead-free solder alloys have received a great deal of attention. Mishandling of packages, during manufacture, assembly, or by the user may cause failure of solder joint. A fundamental understanding of the behavior of lead-free solders under mechanical shock conditions is lacking. Reliable experimental and numerical analysis of lead-free solder joints in the intermediate strain rate regime need to be investigated. This dissertation mainly focuses on exploring the mechanical shock behavior of lead-free tin-rich solder alloys via multiscale modeling and numerical simulations. First, the macroscopic stress/strain behaviors of three bulk lead-free tin-rich solders were tested over a range of strain rates from 0.001/s to 30/s. Finite element analysis was conducted to determine appropriate specimen geometry that could reach a homogeneous stress/strain field and a relatively high strain rate. A novel self-consistent true stress correction method is developed to compensate the inaccuracy caused by the triaxial stress state at the post-necking stage. Then the material property of micron-scale intermetallic was examined by micro-compression test. The accuracy of this measure is systematically validated by finite element analysis, and empirical adjustments are provided. Moreover, the interfacial property of the solder/intermetallic interface is investigated, and a continuum traction-separation law of this interface is developed from an atomistic-based cohesive element method. The macroscopic stress/strain relation and microstructural properties are combined together to form a multiscale material behavior via a stochastic approach for both solder and intermetallic. As a result, solder is modeled by porous plasticity with random voids, and intermetallic is characterized as brittle material with random vulnerable region. Thereafter, the porous plasticity fracture of the solders and the brittle fracture of the intermetallics are coupled together in one finite element model. Finally, this study yields a multiscale model to understand and predict the mechanical shock behavior of lead-free tin-rich solder joints. Different fracture patterns are observed for various strain rates and/or intermetallic thicknesses. The predictions have a good agreement with the theory and experiments.
ContributorsFei, Huiyang (Author) / Jiang, Hanqing (Thesis advisor) / Chawla, Nikhilesh (Thesis advisor) / Tasooji, Amaneh (Committee member) / Mobasher, Barzin (Committee member) / Rajan, Subramaniam D. (Committee member) / Arizona State University (Publisher)
Created2011
Description
S-Taliro is a fully functional Matlab toolbox that searches for trajectories of minimal robustness in hybrid systems that are implemented as either m-functions or Simulink/State flow models. Trajectories with minimal robustness are found using automatic testing of hybrid systems against user specifications. In this work we use Metric Temporal Logic (MTL) to describe the user specifications for the hybrid systems. We then try to falsify the MTL specification using global minimization of robustness metric. Global minimization is carried out using stochastic optimization algorithms like Monte-Carlo (MC) and Extended Ant Colony Optimization (EACO) algorithms. Irrespective of the type of the model we provide as an input to S-Taliro, the user needs to specify the MTL specification, the initial conditions and the bounds on the inputs. S-Taliro then uses this information to generate test inputs which are used to simulate the system. The simulation trace is then provided as an input to Taliro which computes the robustness estimate of the MTL formula. Global minimization of this robustness metric is performed to generate new test inputs which again generate simulation traces which are closer to falsifying the MTL formula. Traces with negative robustness values indicate that the simulation trace falsified the MTL formula. Traces with positive robustness values are also of great importance because they indicate how robust the system is against the given specification. S-Taliro has been seamlessly integrated into the Matlab environment, which is extensively used for model-based development of control software. Moreover the toolbox has been developed in a modular fashion and therefore adding new optimization algorithms is easy and straightforward. In this work I present the architecture of S-Taliro and its working on a few benchmark problems.
ContributorsAnnapureddy, Yashwanth Singh Rahul (Author) / Fainekos, Georgios (Thesis advisor) / Lee, Yann-Hang (Committee member) / Gupta, Sandeep (Committee member) / Arizona State University (Publisher)
Created2011
Description
System and software verification is a vital component in the development and reliability of cyber-physical systems - especially in critical domains where the margin of error is minimal. In the case of autonomous driving systems (ADS), the vision perception subsystem is a necessity to ensure correct maneuvering of the environment and identification of objects. The challenge posed in perception systems involves verifying the accuracy and rigidity of detections. The use of Spatio-Temporal Perception Logic (STPL) enables the user to express requirements for the perception system to verify, validate, and ensure its behavior; however, a drawback to STPL involves its accessibility. It is limited to individuals with an expert or higher-level knowledge of temporal and spatial logics, and the formal-written requirements become quite verbose with more restrictions imposed. In this thesis, I propose a domain-specific language (DSL) catered to Spatio-Temporal Perception Logic to enable non-expert users the ability to capture requirements for perception subsystems while reducing the necessity to have an experienced background in said logic. The domain-specific language for the Spatio-Temporal Perception Logic is built upon the formal language with two abstractions. The main abstraction captures simple programming statements that are translated to a lower-level STPL expression accepted by the testing monitor. The STPL DSL provides a seamless interface to writing formal expressions while maintaining the power and expressiveness of STPL. These translated equivalent expressions are capable of directing a standard for perception systems to ensure the safety and reduce the risks involved in ill-formed detections.
ContributorsAnderson, Jacob (Author) / Fainekos, Georgios (Thesis director) / Yezhou, Yang (Committee member) / Computer Science and Engineering Program (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
Description
Early-age cracks in fresh concrete occur mainly due to high rate of surface evaporation and restraint offered by the contracting solid phase. Available test methods that simulate severe drying conditions, however, were not originally designed to focus on evaporation and transport characteristics of the liquid-gas phases in a hydrating cementitious microstructure. Therefore, these tests lack accurate measurement of the drying rate and data interpretation based on the principles of transport properties is limited. A vacuum-based test method capable of simulating early-age cracks in 2-D cement paste is developed which continuously monitors the weight loss and changes to the surface characteristics. 2-D crack evolution is documented using time-lapse photography. Effects of sample size, w/c ratio, initial curing and fiber content are studied. In the subsequent analysis, the cement paste phase is considered as a porous medium and moisture transport is described based on surface mass transfer and internal moisture transport characteristics. Results indicate that drying occurs in two stages: constant drying rate period (stage I), followed by a falling drying rate period (stage II). Vapor diffusion in stage I and unsaturated flow within porous medium in stage II determine the overall rate of evaporation. The mass loss results are analyzed using diffusion-based models. Results show that moisture diffusivity in stage I is higher than its value in stage II by more than one order of magnitude. The drying model is used in conjunction with a shrinkage model to predict the development of capillary pressures. Similar approach is implemented in drying restrained ring specimens to predict 1-D crack width development. An analytical approach relates diffusion, shrinkage, creep, tensile and fracture properties to interpret the experimental data. Evaporation potential is introduced based on the boundary layer concept, mass transfer, and a driving force consisting of the concentration gradient. Effect of wind velocity is reflected on Reynolds number which affects the boundary layer on sample surface. This parameter along with Schmidt and Sherwood numbers are used for prediction of mass transfer coefficient. Concentration gradient is shown to be a strong function of temperature and relative humidity and used to predict the evaporation potential. Results of modeling efforts are compared with a variety of test results reported in the literature. Diffusivity data and results of 1-D and 2-D image analyses indicate significant effects of fibers on controlling early-age cracks. Presented models are capable of predicting evaporation rates and moisture flow through hydrating cement-based materials during early-age drying and shrinkage conditions.
ContributorsBakhshi, Mehdi (Author) / Mobasher, Barzin (Thesis advisor) / Rajan, Subramaniam D. (Committee member) / Zapata, Claudia E. (Committee member) / Arizona State University (Publisher)
Created2011
Description
Natural photosynthesis features a complex biophysical/chemical process that requires sunlight to produce energy rich products. It is one of the most important processes responsible for the appearance and sustainability of life on earth. The first part of the thesis focuses on understanding the mechanisms involved in regulation of light harvesting, which is necessary to balance the absorption and utilization of light energy and in that way reduce the effect caused by photooxidative damage. In photosynthesis, carotenoids are responsible not only for collection of light, but also play a major role in protecting the photosynthetic system. To investigate the role of carotenoids in the quenching of the excited state of cyclic tetrapyrroles, two sets of dyads were studied. Both sets of dyads contain zinc phthalocyanine (Pc) covalently attached to carotenoids of varying conjugation lengths. In the first set of dyads, carotenoids were attached to the phthalocyanine via amide linkage. This set of dyads serves as a good model for understanding the molecular "gear-shift" mechanism, where the addition of one double bond can turn the carotenoid from a nonquencher to a very strong quencher of the excited state of a tetrapyrrole. In the second set of dyads, carotenoids were attached to phthalocyanine via a phenyl amino group. Two independent studies were performed on these dyads: femtosecond transient absorption and steady state fluorescence induced by two-photon excitation. In the transient absorption study it was observed that there is an instantaneous population of the carotenoid S1 state after Pc excitation, while two-photon excitation of the optically forbidden carotenoid S1 state shows 1Pc population. Both observations provide a strong indication of the existence of a shared excitonic state between carotenoid and Pc. Similar results were observed in LHC II complexes in plants, supporting the role of such interactions in photosynthetic down regulation. In the second chapter we describe the synthesis of porphyrin dyes functionalized with carboxylate and phosphonate anchoring groups to be used in the construction of photoelectrochemical cells containing a porphyrin-IrO2·nH2O complex immobilized on a TiO2 electrode. The research presented here is a step in the development of high potential porphyrin-metal oxide complexes to be used in the photooxidation of water. The last chapter focuses on developing synthetic strategies for the construction of an artificial antenna system consisting of porphyrin-silver nanoparticle conjugates, linked by DNA of varied length to study the distance dependence of the interaction between nanoparticles and the porphyrin chromophore. Preliminary studies indicate that at the distance of about 7-10 nm between porphyrin and silver nanoparticle is where the porphyrin absorption leading to fluorescence shows maximum enhancement. These new hybrid constructs will be helpful for designing efficient light harvesting systems.
ContributorsPillai, Smitha (Author) / Moore, Ana (Thesis advisor) / Moore, Thomas (Committee member) / Gould, Ian (Committee member) / Arizona State University (Publisher)
Created2011
Description
A potential new class of cancer chemotherapeutic agents has been synthesized by varying the 2 position of a benzimidazole based extended amidine. Compounds 6-amino-2-chloromethyl-4-imino-1-(2-methansulfonoxyethyl)-5-methyl-1H-benzimidazole-7-one (1A) and 6-amino-2-hydroxypropyl-4-imino-1-(2-methansulfonoxyethyl)-5-methyl-1H-benzimidazole-7-one (1B) were assayed at the National Cancer Institute's (NCI) Developmental Therapeutic Program (DTP) and found to be cytotoxic at sub-micromolar concentrations, and have shown between a 100 and a 1000-fold increase in specificity towards lung, colon, CNS, and melanoma cell lines. These ATP mimics have been found to correlate with sequestosome 1 (SQSTM1), a protein implicated in drug resistance and cell survival in various cancer cell lines. Using the DTP COMPARE algorithm, compounds 1A and 1B were shown to correlate to each other at 77%, but failed to correlate with other benzimidazole based extended amidines previously synthesized in this laboratory suggesting they operate through a different biological mechanism.
ContributorsDarzi, Evan (Author) / Skibo, Edward (Thesis advisor) / Gould, Ian (Committee member) / Francisco, Wilson (Committee member) / Arizona State University (Publisher)
Created2011
Description
Natural photosynthesis dedicates specific proteins to achieve the modular division of the essential roles of solar energy harvesting, charge separation and carrier transport within natural photosynthesis. The modern understanding of the fundamental photochemistry by which natural photosynthesis operates is well advanced and solution state mimics of the key photochemical processes have been reported previously. All of the early events in natural photosynthesis responsible for the conversion of solar energy to electric potential energy occur within proteins and phospholipid membranes that act as scaffolds for arranging the active chromophores. Accordingly, for creating artificial photovoltaic (PV) systems, scaffolds are required to imbue structure to the systems. An approach to incorporating modular design into solid-state organic mimics of the natural system is presented together with how conductive scaffolds can be utilized in organic PV systems. To support the chromophore arrays present within this design and to extract separated charges from within the structure, linear pyrazine-containing molecular ribbons were chosen as candidates for forming conductive linear scaffolds that could be functionalized orthogonally to the linear axis. A series of donor-wire-acceptor (D-W-A) compounds employing porphyrins as the donors and a C60 fullerene adduct as the acceptors have been synthesized for studying the ability of the pyrazine-containing hetero-aromatic wires to mediate photoinduced electron transfer between the porphyrin donor and fullerene acceptor. Appropriate substitutions were made and the necessary model compounds useful for dissecting the complex photochemistry that the series is expected to display were also synthesized. A dye was synthesized using a pyrazine-containing heteroaromatic spacer that features two porphyrin chromophores. The dye dramatically outperforms the control dye featuring the same porphyrin and a simple benzoic acid linker. A novel, highly soluble 6+kDa extended phthalocyanine was also synthesized and exhibits absorption out to 900nm. The extensive functionalization of the extended phthalocyanine core with dodecyl groups enabled purification and characterization of an otherwise insoluble entity. Finally, in the interest of incorporating modular design into plastic solar cells, a series of porphyrin-containing monomers have been synthesized that are intended to form dyadic and triadic molecular-heterojunction polymers with dedicated hole and electron transport pathways during electrochemical polymerization.
ContributorsWatson, Brian Lyndon (Author) / Gust, Devens (Thesis advisor) / Gould, Ian (Committee member) / Moore, Ana L (Committee member) / Arizona State University (Publisher)
Created2013
Description
The bleomycins are a family of glycopeptide-derived antibiotics isolated from various Streptomyces species and have been the subject of much attention from the scientific community as a consequence of their antitumor activity. Bleomycin clinically and is an integral part of a number of combination chemotherapy regimens. It has previously been shown that bleomycin has the ability to selectively target tumor cells over their non-malignant counterparts. Pyrimidoblamic acid, the N-terminal metal ion binding domain of bleomycin is known to be the moiety that is responsible for O2 activation and the subsequent chemistry leading to DNA strand scission and overall antitumor activity. Chapter 1 describes bleomycin and related DNA targeting antitumor agents as well as the specific structural domains of bleomycin. Various structural analogues of pyrimidoblamic acid were synthesized and subsequently incorporated into their corresponding full deglycoBLM A6 derivatives by utilizing a solid support. Their activity was measured using a pSP64 DNA plasmid relaxation assay and is summarized in Chapter 2. The specifics of bleomycin—DNA interaction and kinetics were studied via surface plasmon resonance and are presented in Chapter 3. By utilizing carefully selected 64-nucleotide DNA hairpins with variable 16-mer regions whose sequences showed strong binding in past selection studies, a kinetic profile was obtained for several BLMs for the first time since bleomycin was discovered in 1966. The disaccharide moiety of bleomycin has been previously shown to be a specific tumor cell targeting element comprised of L-gulose-D-mannose, especially between MCF-7 (breast cancer cells) and MCF-10A ("normal" breast cells). This phenomenon was further investigated via fluorescence microscopy using multiple cancerous cell lines with matched "normal" counterparts and is fully described in Chapter 4.
ContributorsBozeman, Trevor C (Author) / Hecht, Sidney M. (Thesis advisor) / Chaput, John (Committee member) / Gould, Ian (Committee member) / Arizona State University (Publisher)
Created2013
Description
With robots being used extensively in various areas, a certain degree of robot autonomy has always been found desirable. In applications like planetary exploration, autonomous path planning and navigation are considered essential. But every now and then, a need to modify the robot's operation arises, a need for a human to provide it some supervisory parameters that modify the degree of autonomy or allocate extra tasks to the robot. In this regard, this thesis presents an approach to include a provision to accept and incorporate such human inputs and modify the navigation functions of the robot accordingly. Concepts such as applying kinematical constraints while planning paths, traversing of unknown areas with an intent of maximizing field of view, performing complex tasks on command etc. have been examined and implemented. The approaches have been tested in Robot Operating System (ROS), using robots such as the iRobot Create, Personal Robotics (PR2) etc. Simulations and experimental demonstrations have proved that this approach is feasible for solving some of the existing problems and that it certainly can pave way to further research for enhancing functionality.
ContributorsVemprala, Sai Hemachandra (Author) / Saripalli, Srikanth (Thesis advisor) / Fainekos, Georgios (Committee member) / Turaga, Pavan (Committee member) / Arizona State University (Publisher)
Created2013
Description
A semiconductor supply chain modeling and simulation platform using Linear Program (LP) optimization and parallel Discrete Event System Specification (DEVS) process models has been developed in a joint effort by ASU and Intel Corporation. A Knowledge Interchange Broker (KIBDEVS/LP) was developed to broker information synchronously between the DEVS and LP models. Recently a single-echelon heuristic Inventory Strategy Module (ISM) was added to correct for forecast bias in customer demand data using different smoothing techniques. The optimization model could then use information provided by the forecast model to make better decisions for the process model. The composition of ISM with LP and DEVS models resulted in the first realization of what is now called the Optimization Simulation Forecast (OSF) platform. It could handle a single echelon supply chain system consisting of single hubs and single products In this thesis, this single-echelon simulation platform is extended to handle multiple echelons with multiple inventory elements handling multiple products. The main aspect for the multi-echelon OSF platform was to extend the KIBDEVS/LP such that ISM interactions with the LP and DEVS models could also be supported. To achieve this, a new, scalable XML schema for the KIB has been developed. The XML schema has also resulted in strengthening the KIB execution engine design. A sequential scheme controls the executions of the DEVS-Suite simulator, CPLEX optimizer, and ISM engine. To use the ISM for multiple echelons, it is extended to compute forecast customer demands and safety stocks over multiple hubs and products. Basic examples for semiconductor manufacturing spanning single and two echelon supply chain systems have been developed and analyzed. Experiments using perfect data were conducted to show the correctness of the OSF platform design and implementation. Simple, but realistic experiments have also been conducted. They highlight the kinds of supply chain dynamics that can be evaluated using discrete event process simulation, linear programming optimization, and heuristics forecasting models.
ContributorsSmith, James Melkon (Author) / Sarjoughian, Hessam S. (Thesis advisor) / Davulcu, Hasan (Committee member) / Fainekos, Georgios (Committee member) / Arizona State University (Publisher)
Created2012