MECHANICAL ENGINEERING /137 theories; Godel's completeness and incompleteness theorems; formal number theory and axiomatic set theory; applications to other areas of mathematics. MHF 6307-Mathematical Logic II (3) Prereq: MHF 6306. MTG 5316-Introduction to Topology I (3) Basic axioms and concepts of point-set topology, compactness, connectedness, separation axioms, metric spaces, metrization. Tietze extension theorem. Urysohn lemma, Tychonofftheorem, fundamental group. MTG 5317-Introduction to Topology II (3) Prereq: MTG 5316. MTG 6256-Differential Geometry 1 (3) Prereq: MAS 5157 or equivalent. First partof a two-term sequence. Classical differential geometry of curves and surfaces, differentiable manifolds, tensor analysis, affine connection, Riemannian geometry. Lie groups, Lie algebras, applications to physics. MTG 6257-Differential Geometry II (3) Prereq: MTG 6256. MTG 6266-Introduction to Commutative Algebra and Alge- braic Geometry I (3) MTG 6267-Introduction to Commutative Algebra and Alge- braic Geometry II (3) Prereq: MTG 6266. MTG 6346-Topology I (3) Prereq:MTG 5317. A basic introduc- tion to advanced topology. Topics covered include general topol- ogy, algebraic topology, homotopy theory and topology of mani- folds. MTG 6347-Topology II (3) Prereq: MTG 6346. MTG 6401-Ergodic Theory and Dynamical Systems I (3) Prereq: MTG 5317, MAA 6617, or consent of instructor. Periodic points, recurrence, nonwandering and chain recurrent sets, topological conjugacy, minimal sets. Topological entropy, metric entropy. Measure preserving transformations, ergodicity, mixing. Birkhoff's ergodictheorem. Bernouil I i shifts. Anosov diffeomorphisms, struc- tural stability, hyperbolic sets. Basic sets, symbolic dynamics, Markov partitions. Lyapunov exponents, KAM (Kolmogorov, Arnold, Moser) theory. MTG 6402-Ergodic Theory and Dynamical Systems II (3) Prereq: MTG 6401. Continuation of MTG 6401. MTG 7396-Advanced Topics in Topology 1 (3; max: 6) Prereq: MTG 6347. Topics change yearly. MTG 7397-Advanced Topics in Topology II (3; max: 6) MECHANICAL ENGINEERING College of Engineering GRADUATE FACULTY 1992-93 Chairman: W. G. Tiederman. Graduate Coordinator: C. K. Hsieh. Graduate Research Professors:J. Duffy; A.E.S. Green; J. Tlusty. Ebaugh Professor: A. A. Seireg. Professors: R. B. Gaither; D. Y. Goswami; C. K. Hsieh; C. C. Oliver; V. P. Roan. Associate Professors:C. D. Crane; R. A. Gater; H. A. Ingley, III; G. K. Matthew; C. L. Proctor; J. K. Schueller; K. S. Smith. Assistant Professors: E. C. Hansen; J. F. Klausner; W. E. Lear; G. J. Micklow; G. J. Miller; J. E. Peterson; C. J. Saltiel; J. C. Ziegert. Programs are available leading to the degrees of Master of Science, Master of Engineering, Engineer, and Doctor of Philosophy. General areas within which students may specialize are biomechanical systems, energy conversion systems, mechanical systems, thermal systems, manufac- turing, and robotics. Within the specializations noted above are unique op- portunities to complete theoretical and experimental re- search investigations in a wide variety of subspecialities including acoustics, automatic controls, biomechanics, combustion, cryogenics, energy conversion, environmental control, fluid dynamics, gas dynamics, heat transfer, kine- matic synthesis, machine dynamics, propulsion, solar en- ergy, thermodynamics, and vibrations. EML 5104-Classical Thermodynamics (3) Review of the first, second, and third laws. Applications to open and closed systems. Property evaluation using equations of state. EML 5105-Statistical Thermodynamics (3) Equilibrium distribu- tions in Bose, Fermi, and Boltzmann systems; Property evaluation from microscopic molecular models. Transport properties. EML 5124-Two-Phase Flow and Boiling Heat Transfer (3) EML 5131-Combustion I (3) Prereq: EML 5105 and consent of instructor. Fundamentals of combustion, reaction kinetics, com- bustion and detonation phenomena. EML 5152-Intermediate Heat Transfer (3) Analytical solution of conduction, convention, and radiation problems; exact and ap- proximate solution techniques. Mass transfer in multicomponent fluids. EML 5223-Design Synthesis in Vibrations (3) Vibration analysis of continuous and multidegree of freedom lumped parameter systems. Computer design projects allow student to acquire some design experience. EML 5224-Engineering Acoustics and Noise Control (2) Funda- mentals of acoustics; instrumentation for acoustic and vibration measurements;field and laboratory practice; applicationsto noise control. EML 5244-Lubrication of Bearings (3) Prereq: EML 4500 and 4701. Hydrodynamic, hydrostatic, and squeeze film lubrication fundamentals developed from basic fluid mechanics and applied to typical machine bearings. Design considerations such as load capacity, friction, losses, heat transfer, and bearing materials. EML 5273-Advanced Dynamics of Machinery (3) Prereq: EML 3262 or consent of instructor. Analytic and numeric formulations of geometrically complex machines. Single and multiple degree of freedom systems. Robotic applications. EML 5311-Control System Theory (3) Analysis of dynamic mechanical engineering control systems. Introduction to classi- cal, digital, and state space techniques. Modeling, stability, tran- sient response, frequency response. Implementation considera- tion. EML 5316-Computer Control of Machine Processes (3) Prereq: CGS 3463 or permission of instructor. Basic concepts, including hardware and software. Modeling of machines, processes, and their controllers. EML 5455-Clean Combustion Technology (2) Latest develop- ments on combustion of pulverized coal, coal water mixtures, natural gas-coal blends, and fluidized bed combustion. EML 5465-Energy Management for Mechanical Engineers (3) Prereq: permission of instructor. Energy use analysis in building envelopes, mechanical systems, and industrial processes. Energy conservation strategies and design techniques. Alternative energy applications. EML 5504-Mechanical Design I (3) Prereq: EML 4500, 4522. Problem formulation for design, design criteria, and structuring of appropriate methodologies for developing and comparing prob- lem solutions. Applications covering a broad specturm of me- chanical systems. EML 5505-Mechanical Design II (3) Prereq: EML 5504. Case studies and design projects involving the complete design and prototype construction of automatic machinery components and subsystems. EML 5515-Gas Turbines and Jet Engines (3) Prereq: EML 4460 orconsentof instructor. Theory and analysis of gas turbine engines and major components. EML5516-Design of Thermal Systems (3) Prereq:EML 4140 and 4701 or equivalent. Modeling of thermal equipment; system simulation; optimization, search methods, thermal system design and optimization using dynamic, geometric, and linear program- ming; simulation of large systems, vector and reduced gradient searches. EML 5595-Mechanics of the Human Locomotor System (2) Prereq: EGM 3420, 3520. Study of the human muscolskeletal system from the engineer's perspective. Sensors and actuators in the neuromuscular system; structural elements and bearings in the skeletal system analysis of human activities. EML 5605-Advanced Refrigeration (3) Prereq: EML 4522. EML 5710-Fundamentals of Computational Fluid Dynamics (3) Prereq: EML 4141 and 4702. Fundamentals of finite-difference