Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Keyword
Articles 1 - 7 of 7
Full-Text Articles in Engineering
Convergence Classes And Spaces Of Partial Functions, Anthony K. Seda, Roland Heinze, Pascal Hitzler
Convergence Classes And Spaces Of Partial Functions, Anthony K. Seda, Roland Heinze, Pascal Hitzler
Computer Science and Engineering Faculty Publications
We study the relationship between convergence spaces and convergence classes given by means of both nets and filters, we consider the duality between them and we identify in convergence terms when a convergence space coincides with a convergence class. We examine the basic operators in the Vienna Development Method of formal systems development, namely, extension, glueing, restriction, removal and override, from the perspective of the Logic for Computable Functions. Thus, we examine in detail the Scott continuity, or otherwise, of these operators when viewed as operators on the domain (X → Y) of partial functions mapping X into …
High Temperature Fatigue Crack Growth Behavior Of Ti-6al-4v, N. K. Arakere, Tarun Goswami, J. Krohn, N. Ramachandran
High Temperature Fatigue Crack Growth Behavior Of Ti-6al-4v, N. K. Arakere, Tarun Goswami, J. Krohn, N. Ramachandran
Biomedical, Industrial & Human Factors Engineering Faculty Publications
Experimental evaluation of high temperature, Fatigue Crack Growth Rate (FCGR) data for Ti-6A1-4V, a titanium alloy, is presented. The FCGR data were measured at room temperature, 175, 230, 290 and 345°C using the Direct Current Potential Difference (DCPD) technique. Compact Tension (CT) specimens were used in the program and crack growth rates (da/dN) vs. Mode I stress intensity factor ranges (ΔΚ) were plotted as a function of temperature. A temperature rise from 175 to 345°C did not cause a substantial increase in crack growth rates within the Stage II region where a linear relationship describes the behavior. Fonnation of secondary …
Disclination Loop Behavior Near The Nematic-Isotropic Transition, Nikolai V. Priezjev, Robert A. Pelcovits
Disclination Loop Behavior Near The Nematic-Isotropic Transition, Nikolai V. Priezjev, Robert A. Pelcovits
Mechanical and Materials Engineering Faculty Publications
We investigate the behavior of disclination loops in the vicinity of the first-order nematic-isotropic transition in the Lebwohl-Lasher and related models. We find that two independent measures of the transition temperature, the free energy, and the distribution of disclination line segments, give essentially identical values. We also calculate the distribution function D(p) of disclination loops of perimeter p and fit it to a quasiexponential form. Below the transition, D(p) falls off exponentially, while in the neighborhood of the transition, it decays with a power-law exponent approximately equal to 2.5, consistent with a “blowout” of loops at the transition. In a …
Cluster Monte Carlo Simulations Of The Nematic--Isotropic Transition, Nikolai V. Priezjev, Robert A. Pelcovits
Cluster Monte Carlo Simulations Of The Nematic--Isotropic Transition, Nikolai V. Priezjev, Robert A. Pelcovits
Mechanical and Materials Engineering Faculty Publications
We report the results of simulations of the three-dimensional Lebwohl-Lasher model of the nematic-isotropic transition using a single cluster Monte Carlo algorithm. The algorithm, first introduced by Kunz and Zumbach to study two-dimensional nematics, is a modification of the Wolff algorithm for spin systems, and greatly reduces critical slowing down. We calculate the free energy in the neighborhood of the transition for systems up to linear size 70. We find a double well structure with a barrier that grows with increasing system size. We thus obtain an upper estimate of the value of the transition temperature in the thermodynamic limit.
Generalized Metrics And Topology In Logic Programming Semantics, Pascal Hitzler
Generalized Metrics And Topology In Logic Programming Semantics, Pascal Hitzler
Computer Science and Engineering Faculty Publications
Many fixed-point theorems are essentially topological in nature. Among them are the Banach contraction mapping theorem on metric spaces and the fixed-point theorem for Scott-continuous mappings on complete partial orders. The latter theorem is fundamental in denotational semantics since semantic operators in most programming language paradigms satisfy its requirements. The use of negation in logic programming and non-monotonic reasoning, however, renders some semantic operators to be non-monotonic, hence discontinuous with respect to the Scott topology, and therefore invalidates the standard approach, so that alternative methods have to be sought. In this thesis, we investigate topological methods, including generalized metric fixed-point …
Evolution Of Topology In Axi-Symmetric And 3-D Viscous Flows, Gerik Scheuermann, W. Kollmann, Xavier Tricoche, Thomas Wischgoll
Evolution Of Topology In Axi-Symmetric And 3-D Viscous Flows, Gerik Scheuermann, W. Kollmann, Xavier Tricoche, Thomas Wischgoll
Computer Science and Engineering Faculty Publications
No abstract provided.
Parallel Detection Of Closed Streamlines In Planar Flows, Thomas Wischgoll, Gerik Scheuermann, Hans Hagen
Parallel Detection Of Closed Streamlines In Planar Flows, Thomas Wischgoll, Gerik Scheuermann, Hans Hagen
Computer Science and Engineering Faculty Publications
No abstract provided.