MECHANICAL ENGINEERING / 107 Algorithms, Turing machines, undecidability and independence. Examples and applications in algebra, analysis, geometry, and topology. MHF 6306-Mathematical Logic I (3) Languages, models, and 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, Tychonoff theorem. MTG 5317-Introduction to Topology II (3) Prereq: MTG 5316. MTG 6256-Differential Geometry 1 (3) Prereq: MAS 5156 or equivalent. First part of a two-term sequence. Classical differen- tial 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 Algebraic Geometry I (3) MTG 6267-Introduction to Commutative Algebra and Algebraic Geometry II (3) Prereq: MTG 6266. MTG 6276-Theory of Convexity I (3) Affine sets, convex sets and cones, convex functions, closures of convex functions, con- tinuity of convex functions, separation theorems, directional derivatives and subgradients, ordinary convex programs and Lagrange multipliers. Fenchel's duality theorem, saddle- functions. MTG 6277-Theory of Convexity II (3) Prereq: MTG 6276. MTG 6346-Topology 1 (3) Prereq: MTG 5317. A basic introduc- tion to advanced topology. Topics covered include general topology, algebraic topology, homotopy theory and topology of manifolds. MTG 6347-Topology II (3) Prereq: MTG 6346. 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 1982-83 Chairman: R. B. Gaither. Graduate Coordinator: R. K. Irey. Distinguished Service Professor: E. A. Farber. Pro- fessors: J. Duffy; R. B. Gaither; R. K. Irey; C. K. Hsieh; I. Mahig; C.C. Oliver; V. P. Roan; G. N. Sandor; D. Tesar; G. L. Zachariah. Associate Professors: R. A. Gater; H. A. Ingley, III; G. K. Matthew; G. Piotrowski. Assistant Professors: E. C. Hansen; G. J. Miller; C. L. Proctor. Programs are available leading to the degrees of Master of Science, Master of Engineering, Engineer, and Doc- tor of Philosophy. General areas within which students may specialize are biomechanical systems, energy con- version systems, mechanical systems, and thermal systems. Within the specializations noted above are unique opportunities to complete theoretical and experimental research investigations in a wide variety of subspecialities including acoustics, automatic controls, biomechanics, combustion, cryogenics, energy conversion, environ- mental control, fluid dynamics, gas dynamics, heat transfer, kinematic synthesis, machine dynamics, propul- sion, solar energy, thermodynamics, and vibrations. EML 5104-Classical Thermodynamics (2) Review of the first, second, and third laws. Applications to open and closed systems. Property evalitation using equations of state. EML 5105-Statistical Thermodynamics (2) Equilibrium distribu- tions in Bose, Fermi, and Boltzmann systems. Property evalua- tion from microscopic molecular models. Transport properties. EML 5131-Combustion 1 (3) Prereq: EML 5105 or consent of instructor. Fundamentals of combustion, reaction kinetics, com- bustion and detonation phenomena. EML 5152-Intermediate Heat Transfer (3) Analytical solution of conduction, convection and radiation problems. Both exact and approximate solution techniques are stressed. Mass transfer in multicomponent fluids is also covered. EML 5223-Design Synthesis in Vibrations (3) Vibration analysis of continuous and multidegree of freedom lumped parameter systems. Computer design projects are developed to allow stu- dent to acquire some design experience. EML 5224-Engineering Acoustics and Noise Control (3) Fundamentals of acoustics; instrumentation for acoustic and vibration measurements; field and laboratory practice; applica- tions to noise control. EML 5273-Advanced Dynamics of Machinery (3) Prereq: EML 3260 or consent of instructor. Analytic and numeric formula- tions of geometrically complex machines. Single and multiple degree of freedom systems. Robotic applications. EML 5311-Control System Theory (3) Analysis of mechanical system stability and control. Use of Laplace transform. Factor theorems, Routhe and Hurwitz criteria, Niquist, Bode and Root Locus methods are used in design. Introduction to state. variables,.controllability, and abbreviability. 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. In-depth studies of the design of machine systems, including gearing and transmission, and other mechanical, electronic, hydraulic, pneumatic and thermal components and subsystems; automatic sequencing of machine functions; machine-compo- nent manufacture; design documentation for machine produc- tion quality control. 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) Intermediate course in theory and analysis of gas turbine engines and major components. EML 5525-Mechanics of the Human Locomotor System (2) Prereq: EGM 3420, 3520. Study of the human musculoskeletal 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 5526-Biomechanics of Surgical Implants (3) Prereq: EML 3010 and EGM 3520. Engineering analyses of surgical devices and practices used for the treatment of disorders of the musculoskeletal system. Mechanical properties of biomaterials, forces and motions in the body, and principles of treatment of bone fractures. EML 5527-Similitude in Mechanical Engineering Design (3) Principles of similitude for model sign, analysis, and design analogies. Similitude as a basis for design optimization. EML 5605-Advanced Refrigeration,(3) Prereq: EML 4522. EML 5714-Gas Dynamics of Internal Flow Systems (3) Inter- mediate level course emphasizing one-dimensional compressi- ble flow. EML 6103-Advanced Thermodynamics (3) Thermodynamics of nonsimple systems. Multicomponent and multiphase thermo- dynamic analysis. EML 6108-Advanced Statistical Mechanics and Kinetic Theory (3) Prereq: EML 5105. Highly degenerate Bose and Fermi systems. Statistical mechanics of dependent particles. The :Boltzmann transport equation. EML 6132-Combustion II (3) Prereq: EML 5131. Advanced analysis of combustion systems; diagnostic techniques, and numerical procedures for modeling experimental and practical systems. EML 6154-Conduction Heat Transfer (2) Prereq: MAP 3302, EML 4140. Studies of heat conduction in homogeneous, heterogeneous, isotropic, anisotropic, stationary, moving bodies in Cartesian, cylindrical and spherical systems. EML 6155-Convective Heat Transfer I (3) Prereq: EML 6716 or equivalent. Application of the equations of motion to forced and free convection with laminar flow. Solution techniques to include simplification to ordinary differential equations, boundary layer approximations, similarity transformations, and