5 resultados para Fully automated
em Digital Commons - Michigan Tech
Resumo:
This doctoral thesis presents the experimental results along with a suitable synthesis with computational/theoretical results towards development of a reliable heat transfer correlation for a specific annular condensation flow regime inside a vertical tube. For fully condensing flows of pure vapor (FC-72) inside a vertical cylindrical tube of 6.6 mm diameter and 0.7 m length, the experimental measurements are shown to yield values of average heat transfer co-efficient, and approximate length of full condensation. The experimental conditions cover: mass flux G over a range of 2.9 kg/m2-s ≤ G ≤ 87.7 kg/m2-s, temperature difference ∆T (saturation temperature at the inlet pressure minus the mean condensing surface temperature) of 5 ºC to 45 ºC, and cases for which the length of full condensation xFC is in the range of 0 < xFC < 0.7 m. The range of flow conditions over which there is good agreement (within 15%) with the theory and its modeling assumptions has been identified. Additionally, the ranges of flow conditions for which there are significant discrepancies (between 15 -30% and greater than 30%) with theory have also been identified. The paper also refers to a brief set of key experimental results with regard to sensitivity of the flow to time-varying or quasi-steady (i.e. steady in the mean) impositions of pressure at both the inlet and the outlet. The experimental results support the updated theoretical/computational results that gravity dominated condensing flows do not allow such elliptic impositions.
Resumo:
ab-initio Hartree Fock (HF), density functional theory (DFT) and hybrid potentials were employed to compute the optimized lattice parameters and elastic properties of perovskite 3-d transition metal oxides. The optimized lattice parameters and elastic properties are interdependent in these materials. An interaction is observed between the electronic charge, spin and lattice degrees of freedom in 3-d transition metal oxides. The coupling between the electronic charge, spin and lattice structures originates due to localization of d-atomic orbitals. The coupling between the electronic charge, spin and crystalline lattice also contributes in the ferroelectric and ferromagnetic properties in perovskites. The cubic and tetragonal crystalline structures of perovskite transition metal oxides of ABO3 are studied. The electronic structure and the physics of 3-d perovskite materials is complex and less well considered. Moreover, the novelty of the electronic structure and properties of these perovskites transition metal oxides exceeds the challenge offered by their complex crystalline structures. To achieve the objective of understanding the structure and property relationship of these materials the first-principle computational method is employed. CRYSTAL09 code is employed for computing crystalline structure, elastic, ferromagnetic and other electronic properties. Second-order elastic constants (SOEC) and bulk moduli (B) are computed in an automated process by employing ELASTCON (elastic constants) and EOS (equation of state) programs in CRYSTAL09 code. ELASTCON, EOS and other computational algorithms are utilized to determine the elastic properties of tetragonal BaTiO3, rutile TiO2, cubic and tetragonal BaFeO3 and the ferromagentic properties of 3-d transition metal oxides. Multiple methods are employed to crosscheck the consistency of our computational results. Computational results have motivated us to explore the ferromagnetic properties of 3-d transition metal oxides. Billyscript and CRYSTAL09 code are employed to compute the optimized geometry of the cubic and tetragonal crystalline structure of transition metal oxides of Sc to Cu. Cubic crystalline structure is initially chosen to determine the effect of lattice strains on ferromagnetism due to the spin angular momentum of an electron. The 3-d transition metals and their oxides are challenging as the basis functions and potentials are not fully developed to address the complex physics of the transition metals. Moreover, perovskite crystalline structures are extremely challenging with respect to the quality of computations as the latter requires the well established methods. Ferroelectric and ferromagnetic properties of bulk, surfaces and interfaces are explored by employing CRYSTAL09 code. In our computations done on cubic TMOs of Sc-Fe it is observed that there is a coupling between the crystalline structure and FM/AFM spin polarization. Strained crystalline structures of 3-d transition metal oxides are subjected to changes in the electromagnetic and electronic properties. The electronic structure and properties of bulk, composites, surfaces of 3-d transition metal oxides are computed successfully.
Resumo:
An extrusion die is used to continuously produce parts with a constant cross section; such as sheets, pipes, tire components and more complex shapes such as window seals. The die is fed by a screw extruder when polymers are used. The extruder melts, mixes and pressures the material by the rotation of either a single or double screw. The polymer can then be continuously forced through the die producing a long part in the shape of the die outlet. The extruded section is then cut to the desired length. Generally, the primary target of a well designed die is to produce a uniform outlet velocity without excessively raising the pressure required to extrude the polymer through the die. Other properties such as temperature uniformity and residence time are also important but are not directly considered in this work. Designing dies for optimal outlet velocity variation using simple analytical equations are feasible for basic die geometries or simple channels. Due to the complexity of die geometry and of polymer material properties design of complex dies by analytical methods is difficult. For complex dies iterative methods must be used to optimize dies. An automated iterative method is desired for die optimization. To automate the design and optimization of an extrusion die two issues must be dealt with. The first is how to generate a new mesh for each iteration. In this work, this is approached by modifying a Parasolid file that describes a CAD part. This file is then used in a commercial meshing software. Skewing the initial mesh to produce a new geometry was also employed as a second option. The second issue is an optimization problem with the presence of noise stemming from variations in the mesh and cumulative truncation errors. In this work a simplex method and a modified trust region method were employed for automated optimization of die geometries. For the trust region a discreet derivative and a BFGS Hessian approximation were used. To deal with the noise in the function the trust region method was modified to automatically adjust the discreet derivative step size and the trust region based on changes in noise and function contour. Generally uniformity of velocity at exit of the extrusion die can be improved by increasing resistance across the die but this is limited by the pressure capabilities of the extruder. In optimization, a penalty factor that increases exponentially from the pressure limit is applied. This penalty can be applied in two different ways; the first only to the designs which exceed the pressure limit, the second to both designs above and below the pressure limit. Both of these methods were tested and compared in this work.
Resumo:
Self-stabilization is a property of a distributed system such that, regardless of the legitimacy of its current state, the system behavior shall eventually reach a legitimate state and shall remain legitimate thereafter. The elegance of self-stabilization stems from the fact that it distinguishes distributed systems by a strong fault tolerance property against arbitrary state perturbations. The difficulty of designing and reasoning about self-stabilization has been witnessed by many researchers; most of the existing techniques for the verification and design of self-stabilization are either brute-force, or adopt manual approaches non-amenable to automation. In this dissertation, we first investigate the possibility of automatically designing self-stabilization through global state space exploration. In particular, we develop a set of heuristics for automating the addition of recovery actions to distributed protocols on various network topologies. Our heuristics equally exploit the computational power of a single workstation and the available parallelism on computer clusters. We obtain existing and new stabilizing solutions for classical protocols like maximal matching, ring coloring, mutual exclusion, leader election and agreement. Second, we consider a foundation for local reasoning about self-stabilization; i.e., study the global behavior of the distributed system by exploring the state space of just one of its components. It turns out that local reasoning about deadlocks and livelocks is possible for an interesting class of protocols whose proof of stabilization is otherwise complex. In particular, we provide necessary and sufficient conditions – verifiable in the local state space of every process – for global deadlock- and livelock-freedom of protocols on ring topologies. Local reasoning potentially circumvents two fundamental problems that complicate the automated design and verification of distributed protocols: (1) state explosion and (2) partial state information. Moreover, local proofs of convergence are independent of the number of processes in the network, thereby enabling our assertions about deadlocks and livelocks to apply on rings of arbitrary sizes without worrying about state explosion.
Resumo:
The writing and defense of the dissertation serve both as demonstration one is able to do the work of a scholar and as a rite of initiation. In contrast to much academic writing, dissertations generally adhere to narrowly conceived notions of academic discourse. I explore this within the context of an academic community in which under-representation remains a serious issue. This dissertation is about women writing dissertations. I draw from conversations with fifteen women, in or beyond, the process; friends’ anecdotes; published accounts; and, autobiographically, my experience. I suggest the dissertation’s initiatory role is at least as important as its scholarly role; during the process one establishes a sense of self as scholar, writer, and researcher. Students come to the dissertation with some notion of self as writer and scholar – a culturally negotiated sense that is more, or less, congruent with the culturally established self required for successful completion of the dissertation. The degree of congruence (or alternatively, harmony and dissonance) shapes the process of doing a dissertation. I argue that both the community and the language in which dissertations must generally be written are gendered masculine. Negotiating a voice that is acceptable in a dissertation while maintain fidelity to a sense of who one is seems more problematic as one’s distance from the center of dominant culture increases. Believing that agency lies in altering the reiteration of such processes, I worked with my committee to find ways to alter the process yet still do a dissertation I write in a variety of voices – essay and poetry as well as analytical – play with visual qualities of text, and experiment with non-verbal interpretations. These don’t exhaust possibilities, but do give a sense of how the rich variety of expression found in academe cam be brought into the dissertation. I thus demonstrate that one need not reconstitute herself through characteristic academic discourse in order to be initiated into the community of scholars. I suggest both the desirability of encouraging flexibility in the language, form, and process, of dissertations, and the theoretical necessity for such flexibility if the academic community is to become diverse. The writing and defense of the dissertation serve both as demonstration one is able to do the work of a scholar and as a rite of initiation. In contrast to much academic writing, dissertations generally adhere to narrowly conceived notions of academic discourse. I explore this within the context of an academic community in which under-representation remains a serious issue. This dissertation is about women writing dissertations. I draw from conversations with fifteen women, in or beyond, the process; friends’ anecdotes; published accounts; and, autobiographically, my experience. I suggest the dissertation’s initiatory role is at least as important as its scholarly role; during the process one establishes a sense of self as scholar, writer, and researcher Students come to the dissertation with some notion of self as writer and scholar – a culturally negotiated sense that is more, or less, congruent with the culturally established self required for successful completion of the dissertation. The degree of congruence (or alternatively, harmony and dissonance) shapes the process of doing a dissertation. I argue that both the community and the language in which dissertations must generally be written are gendered masculine. Negotiating a voice that is acceptable in a dissertation while maintain fidelity to a sense of who one is seems more problematic as one’s distance from the center of dominant culture increases. Believing that agency lies in altering the reiteration of such processes, I worked with my committee to find ways to alter the process yet still do a dissertation I write in a variety of voices – essay and poetry as well as analytical – play with visual qualities of text, and experiment with non-verbal interpretations. These don’t exhaust possibilities, but do give a sense of how the rich variety of expression found in academe cam be brought into the dissertation. I thus demonstrate that one need not reconstitute herself through characteristic academic discourse in order to be initiated into the community of scholars. I suggest both the desirability of encouraging flexibility in the language, form, and process, of dissertations, and the theoretical necessity for such flexibility if the academic community is to become diverse. The writing and defense of the dissertation serve both as demonstration one is able to do the work of a scholar and as a rite of initiation. In contrast to much academic writing, dissertations generally adhere to narrowly conceived notions of academic discourse. I explore this within the context of an academic community in which under-representation remains a serious issue. This dissertation is about women writing dissertations. I draw from conversations with fifteen women, in or beyond, the process; friends’ anecdotes; published accounts; and, autobiographically, my experience. I suggest the dissertation’s initiatory role is at least as important as its scholarly role; during the process one establishes a sense of self as scholar, writer, and researcher Students come to the dissertation with some notion of self as writer and scholar – a culturally negotiated sense that is more, or less, congruent with the culturally established self required for successful completion of the dissertation. The degree of congruence (or alternatively, harmony and dissonance) shapes the process of doing a dissertation. I argue that both the community and the language in which dissertations must generally be written are gendered masculine. Negotiating a voice that is acceptable in a dissertation while maintain fidelity to a sense of who one is seems more problematic as one’s distance from the center of dominant culture increases. Believing that agency lies in altering the reiteration of such processes, I worked with my committee to find ways to alter the process yet still do a dissertation I write in a variety of voices – essay and poetry as well as analytical – play with visual qualities of text, and experiment with non-verbal interpretations. These don’t exhaust possibilities, but do give a sense of how the rich variety of expression found in academe cam be brought into the dissertation. I thus demonstrate that one need not reconstitute herself through characteristic academic discourse in order to be initiated into the community of scholars. I suggest both the desirability of encouraging flexibility in the language, form, and process, of dissertations, and the theoretical necessity for such flexibility if the academic community is to become diverse. The writing and defense of the dissertation serve both as demonstration one is able to do the work of a scholar and as a rite of initiation. In contrast to much academic writing, dissertations generally adhere to narrowly conceived notions of academic discourse. I explore this within the context of an academic community in which under-representation remains a serious issue. This dissertation is about women writing dissertations. I draw from conversations with fifteen women, in or beyond, the process; friends’ anecdotes; published accounts; and, autobiographically, my experience. I suggest the dissertation’s initiatory role is at least as important as its scholarly role; during the process one establishes a sense of self as scholar, writer, and researcher Students come to the dissertation with some notion of self as writer and scholar – a culturally negotiated sense that is more, or less, congruent with the culturally established self required for successful completion of the dissertation. The degree of congruence (or alternatively, harmony and dissonance) shapes the process of doing a dissertation. I argue that both the community and the language in which dissertations must generally be written are gendered masculine. Negotiating a voice that is acceptable in a dissertation while maintain fidelity to a sense of who one is seems more problematic as one’s distance from the center of dominant culture increases. Believing that agency lies in altering the reiteration of such processes, I worked with my committee to find ways to alter the process yet still do a dissertation I write in a variety of voices – essay and poetry as well as analytical – play with visual qualities of text, and experiment with non-verbal interpretations. These don’t exhaust possibilities, but do give a sense of how the rich variety of expression found in academe cam be brought into the dissertation. I thus demonstrate that one need not reconstitute herself through characteristic academic discourse in order to be initiated into the community of scholars. I suggest both the desirability of encouraging flexibility in the language, form, and process, of dissertations, and the theoretical necessity for such flexibility if the academic community is to become diverse.