(4 credits) Prerequisite: EEC 521, Software Engineering, or permission of instructor.
Software system formal mechanisms, including specification, validation, and verification. Formal specification of concurrent systems using temporal logics. Evolution of formalism to model a certain system. Use of model checking and program verification tools for verification of concurrent software.
(4 credits) Prerequisite: EEC 521. Software errors, bug reports, test case design, white box testing, black box testing, unit testing, integration testing, system testing, regression testing, test planning and management.
(4 credits) Prerequisite: EEC 521. An in-depth look at software design. Study of design patterns, frameworks, and architectures. Survey of current middleware architectures. Design of distributed systems using middleware. Component based design. Measurement theory and appropriate use of metrics in design. Designing for qualities such as performance, safety, security, reusability, reliability, etc. Measuring internal qualities and complexity of software. Evaluation and evolution of designs. Basics of software evolution, reengineering, and reverse engineering.
(4 credits) Prerequisite: MSSE core courses (EEC 521, EEC 623, CIS 634, CIS 635). Students will apply software enginnering principles, methods and tools learned in their course work in building realistic software systems. Students work as small teams in solving real world problems. Students will meet regularly in class and teams meet separately.
(4 credits) Prerequisite: EEC 510. Systematic approach of applying modern control design methods, such as digital control, adaptive control, and heuristic methods to practical design problems. Practical approaches to typical industrial problems, such as nonlinearity, control saturation, parasitic effects, chattering, etc. Useful stability analysis techniques, such as the Circle Criterion and Popov’s Criterion. Polynomial matrix interpolation and its applications in control and system identification. Design examples and assignments.
(4 credits) Prerequisite: EEC 510. Development of dynamic system models from basic laws of physics and identification of model parameters from system input-output measurements. Frequency and time domain models. Design of persistently exciting input signals.
(4 credits) Prerequisite: EEC 510. State-space and frequency domain analysis and design of nonlinear feedback systems. Methods include Liapunov’s stability analysis, singular perturbations, describing functions, Popov’s and circle criteria. Feedback linearization, variable structure, and sliding mode control.
(4 credits) Prerequisite: EEC 510. Introduction to the principles and methods of the optimal control approach: performance measures; dynamic programming; calculus of variations; Pontryagin’s Principle; optimal linear regulators; minimum time and minimum fuel problems; steepest descent; and quasilinearization methods for determining optimal trajectories.
(4 credits) Prerequisite: EEC 510. Artificial intelligence techniques applied to control system design. Topics include fuzzy sets, artificial neural networks, methods for designing fuzzy-logic controllers and neural network controllers; application of computer-aided design techniques for designing fuzzy-logic and neural-network controllers.
(4 credits) Prerequisites: EEC 510 and graduate standing. This course provides a comprehensive overview of MEMS technique and MEMS control. Topics include MEMS fabrication processes, MEMS sensors and actuators, Dynamic modeling of MEMS devices, control, signal processing, and electronics for MEMS, and case studies of MEMS.
(4 credits) Prerequisites: MCE 441/541 or EEC 510 or exposure to undergraduate controls, with instructor consent. Study of robotic manipulator systems, with strong emphasis on dynamics and control. Energy-based nonlinear models. Motion control using PD, inverse dynamics and passivity. Geometric nonlinear control applied to robotic manipulators.
(4 credits) Prerequisite: EEC 512. The classical theory of detection and estimation of signals in noise. Bayesian hypothesis testing, minimax hypothesis testing, Neyman-Pearson hypothesis testing, composite hypothesis testing, signal detection in discrete time, sequential detection. Nonparametric and robust detection parameter estimation, Bayesian estimation, maximum likelihood estimation, Kalman-Bucy filtering, linear estimation, Wiener-Kolmogorov filtering, applications to communications.
(4 credits) Prerequisite: EEC 512. Basic digital communication techniques, including formatting and baseband transmission, bandpass modulation and demodulation, and synchronization. Advanced modulation techniques, such as power-efficient modulation, spectrally efficient modulation, coded modulation, and spread-spectrum modulation. Introduction to communication link analysis and block codes.
(4 credits) Prerequisite: EEC 651. This course introduces the theory of error control coding for digital transmission in communications. Topics include groups, fields, GF(2), linear block codes, cyclic codes, BCH codes, Reed-Solomon codes, convolutional codes, maximum likelihood decoding of convolutional codes, Viterbi algorithm, sequential decoding of convolutional codes, continuous phase modulation codes, trellis coded modulation, and turbo codes.
(4 credits) Prerequisite: EEC 512. This course presents a coherent and unifying view of the concept of information, conveying a unique understanding of how it can be quantified and measured. Within this context, concepts and principles of information theory as they relate to applications in communication theory, statistics, probability theory, and the theory of investment are introduced.
(4 credits) Prerequisite: EEC 651. Cellular mobile communication concepts and system design fundamentals, mobile radio propagation models, large-scale path loss, small-scale fading, multipath, modulation techniques for mobile radio, equalization, diversity, channel coding, speech coding, multiple access, wireless networking, wireless systems, and standards.
(4 credits) Prerequisite:EEC 514 or undergraduate course in solid state electronics.
The objective of this course is to provide the students with an in-depth understanding of the principles of modern solid state electronic devices. Emphasis is on nanoscale devices and devices made of nanoscale materials. The course begins with a brief review of quantum theory of solids, properties of solid nanostructures, and fundamental principles of conventional electronic devices. In-depth discussion on specific nanoscale devices allows students to gain knowledge in the operational principles of state-of-the-art technology in electronic devices, including hot electron transistors, high electron mobility transistors, resonant tunneling diodes, single electron transistors, and molecular devices.
(4 credits) Prerequisite: EEC 571. Steady-state control of power flow. Optimal generating unit commitment. Frequency/active-power control, voltage/reactive power control. Automation generation of interconnected power systems.
(4 credits) Prerequisite: EEC 571. Nonlinear dynamic modeling and control of interconnected power systems in a deregulated environment. Voltage collapse, transient phenomena. Power system stability enhancements, flexible FACTS devices.
(4 credits) Prerequisite: EEC 474 or EEC 572. Power electronic converters in combination with electric machines. Field-oriented induction machine control; stability of induction machines under sine-wave supply; voltage source inverter drives and current source inverter drives.
(4 credits) Prerequisite: EEC 581. Architecture analysis and design from a systems perspective. Topics include memory system design, pipeline design techniques, vector computers, multiple processor systems, and multiprocessor algorithms.
(4 credits) Prerequisite: EEC 581. Overview of distributed computing systems. Topics include networking, interprocess communication, remote procedure calling, name services, distributed time management, and file services. Some new technologies, including ATM networking, internetworks, multicast protocols, microkernel-based distributed operating systems, and distributed-shared memory, are discussed.
(4 credits) Prerequisite: EEC 581. Overview of parallel system organizations and parallel algorithms. Topics include memory structures for parallel systems, interconnection networks, SIMD/MlMD processing, parallel programming languages, mapping and scheduling, parallel algorithms, and case studies.
(4 credits) Prerequisite: EEC 581. This course provides a comprehensive overview of mobile computing, which is likely to become a pervasive part of future computing infrastructures with technical advancements in wireless communication, mobility, and portability. Topics include mobile TCP/IP protocols, mobile ad hoc networks, mobile application architectures, system issues for mobile devices, and some pervasive and ubiquitous computing examples.
(4 credits) Prerequisite: EEC 584. This course provides an extensive overview of secure and dependable distributed computing systems. Topics include computer and network security, faults models, process and data replication, reliable group communication, message logging, checkpointing and restoration, Byzantine fault tolerance and intrusion tolerance.
EEC 696 - Individual Problems In Electrical Engineering
(4 credits) Prerequisite: Permission of instructor. Directed study on an individual problem under the supervision of a faculty member. Total credits for this course are limited to eight credit hours. Graded S/F.
(4 credits) Prerequisite: EEC 521, Software Engineering, or permission of instructor.
Software system formal mechanisms, including specification, validation, and verification. Formal specification of concurrent systems using temporal logics. Evolution of formalism to model a certain system. Use of model checking and program verification tools for verification of concurrent software.
(4 credits) Prerequisites: EEC 440 and EEC 510. Systematic approach of applying modern control design methods, such as digital control, adaptive control, and heuristic methods, to practical design problems. Students learn how to deal with typical industrial problems, such as nonlinearity, control saturation, parasitic effects, chattering, etc. Useful stability analysis techniques, such as the Circle Criterion and the Popov’s Criterion. Polynomial matrix interpolation and its applications in control and system identification. Design examples and assignments.
(4 credits) Prerequisite: EEC 510. Development of dynamical system models from the basic laws of physics and identification of model parameters from system input-output measurements. Frequency and time domain models.
(4 credits) Prerequisite: EEC 510. State-space and frequency domain analysis and design of nonlinear feedback systems. Methods include Liapunov’s stability analysis, singular perturbations, and describing functions. Feedback linearization, variable structure, and sliding mode control.
(4 credits) Prerequisite: EEC 510. Introduction to the principles and methods of the optimal control approach; performance measures; dynamic programming; calculus of variations; Pontryagin’s Principle; optimal linear regulators; minimum time and minimum fuel problems, steepest descent, and quasilinearization methods for determining optimal trajectories.
(4 credits) Prerequisite: EEC 510. Artificial intelligence techniques applied to control system design. Topics include fuzzy sets, artificial neural networks, methods for designing fuzzy-logic controllers and neural network controllers; application of computer-aided design techniques for designing fuzzy-logic and neural-network controllers.
(4 credits) Prerequisites: EEC 510 and graduate standing. This course provides a comprehensive overview of MEMS technique and MEMS control. Topics include MEMS fabrication processes, MEMS sensors and actuators, Dynamic modeling of MEMS devices, control, signal processing, and electronics for MEMS, and case studies of MEMS.
(4 credits) Prerequisites: MCE 441/541 or EEC 510 or exposure to undergraduate controls, with instructor consent. Study of robotic manipulator systems, with strong emphasis on dynamics and control. Energy-based nonlinear models. Motion control using PD, inverse dynamics and passivity. Geometric nonlinear control applied to robotic manipulators.
(4 credits) Prerequisite: EEC 512. The classical theory of detection and estimation of signals in noise. Bayesian hypothesis testing, minimax hypothesis testing, Neyman-Pearson hypothesis testing, composite hypothesis testing, signal detection in discrete time, sequential detection. Nonparametric and robust detection, parameter estimation, Bayesian estimation, maximum likelihood estimation Kalman-Bucy filtering, linear estimation, Wiener-Kolmogorov filtering, applications to communications.
(4 credits) Prerequisite: EEC 512. Basic digital communication techniques, including formatting and baseband transmission, band pass modulation and demodulation, and synchronization. Advanced modulation techniques, such as power efficient modulation, spectrally efficient modulation, coded modulation, and spread-spectrum modulation. Introduction to communication link analysis and block codes.
(4 credits) Prerequisite: EEC 512 or equivalent. Presents a coherent and unifying view of the concept of information, conveying a unique understanding as to how it can be quantified and measured. Within this context, concepts and principles of information theory as they relate to applications in communication theory, statistics, probability theory, and the theory of investment are introduced.
(4 credits) Prerequisite: EEC 751. Cellular mobile communication concept and system design fundamentals, mobile radio propagation models, large-scale path loss, small-scale fading and multipath, modulation techniques for mobile radio, equalization, diversity, channel coding, speech coding, multiple access, wireless networking, wireless systems and standards.
(4 credits) Prerequisite:EEC 514 or undergraduate course in solid state electronics.
The objective of this course is to provide the students with an in-depth understanding of the principles of modern solid state electronic devices. Emphasis is on nanoscale devices and devices made of nanoscale materials. The course begins with a brief review of quantum theory of solids, properties of solid nanostructures, and fundamental principles of conventional electronic devices. In-depth discussion on specific nanoscale devices allows students to gain knowledge in the operational principles of state-of-the-art technology in electronic devices, including hot electron transistors, high electron mobility transistors, resonant tunneling diodes, single electron transistors, and molecular devices.
(4 credits) Prerequisite: EEC 571. Steady-state control of power flow. Optimal generating unit commitment. Frequency/active-power control, voltage/reactive power control. Automation generation of interconnected power systems.
(4 credits) Prerequisite: EEC 571. Nonlinear dynamic modeling and control of interconnected power systems in a deregulated environment. Voltage collapse, transient phenomena. Power system stability enhancements, flexible FACTS devices.
(4 credits) Prerequisite: EEC 474 or EEC 574. Power electronics converters in combination with electric machines. Field-oriented induction machine control; stability of induction machines under sine-wave supply; voltage source inverter drives and current source inverter drives.
(4 credits) Prerequisite: EEC 581. Architecture analysis and design from a systems perspective is described in this course. Topics include memory system design, pipeline design techniques, vector computers, multiprocessor systems, and multiprocessor algorithms.
(4 credits) Prerequisite: EEC 581. Overview of distributed computing systems. Topics include networking, interprocess communication, remote procedure calling, name services, distributed time management, and file services. Some new technologies, including ATM networking, internetworks, multicast protocols, microkernel-based distributed operating systems, and distributed shared memory, are discussed.
(4 credits) Prerequisite: EEC 581. Overview of parallel system organizations and parallel algorithms. Topics include memory structures for parallel systems, interconnection networks, SIMD/MIMD processing, parallel programming languages, mapping and scheduling, parallel algorithms, and case studies.
(4 credits) Prerequisite: EEC 581. Covers advanced topics in digital systems, including verification and simulation, test vector generation, logic synthesis, behavioral synthesis, and design and development of data path and control path.
(4 credits) Prerequisite: EEC 484. This course provides a comprehensive overview of the mobile computing that is likely to become a pervasive part of future computing infrastructures with technical advancement in wireless communication, embeded processors and portability technologies. Topics include mobile TCP/IP protocols, mobile ad hoc networks, mobile application architectures, system issues for mobile devices and some pervasive and sensor computing examples.
(4 credits) Prerequisite: EEC 584. This course provides an extensive overview of secure and dependable distributed computing systems. Topics include computer and network security, faults models, process and data replication, reliable group communication, message logging, checkpointing and restoration, Byzantine fault tolerance and intrusion tolerance.
EEC 796 - Independent Study in Electrical Engineering
(4 credits) Prerequisite: Chair approval. Detailed individual study on a special topic under the guidance of a faculty member. Total credits for this course are limited to eight. Graded S/F.
(1 credits) Prerequisites: Graduate standing, completion of at least one full time academic year in MSEE, MSSE or Doctor of Engineering program, and permission of advisor. Provides students with practical experience in electrical, computer or software engineering. Students will write progress reports on a regular basis in addition to writing a project report at the end of the course. May be taken up to two times for credit.
(16 credits) Prerequisite: Successful completion of candidacy examination and Dissertation Proposal Approval Form on file with the College of Graduate Studies.
MME 500 - Mathematical Methods In Engineering Mechanics
(4 credits) Partial differential equations, integral equations, complex variables, integral transforms, and variational calculus as applied to the areas of elasticity, plasticity, fracture mechanics, materials science, and structural engineering. Cross-listed with CVE 500.
(4 credits) General discussion of cartesian tensors. Application to the mechanics of linear and nonlinear continua. Unified analysis of stress and deformations in solids and fluids. Cross-listed with MCE 504.
(4 credits) Basic principles which determine the atomic, and crystal structures of materials are studied. Topics include instrumental and structural analysis techniques, evolution of microstructures (phases/phase diagram), processing (diffusive, solidification, and mechanical working) techniques, and the influence of processing on microstructure. Cross-listed with CHE 510.
(3 credits) Energy methods approach to matrix structural analysis, including the development of element material stiffness, geometric stiffness, and mass matrices of basic structural elements; emphasis on the displacement method with computer program solutions of truss and frame problems. Cross-listed with CVE 511.
(4 credits) Techniques in the formulation and application of the Finite Element method. Calculus of variation, potential energy and Galerkin formulations of element stiffness equations. Uniaxial, biaxial element, Isoparametric element formulations. Applications to plane stress, plane strain, and axisymmetric problems; solutions of engineering problems using computer software.
(4 credits) Prerequisite: ESC 211. This course fosters an understanding of a number of advanced concepts in the field of engineering mechanics. Topics include three-dimensional stress-strain relationships: failure theories; bending of non-symmetrical members; curved beam theory; beams on elastic foundations torsion of non-circular shafts using the thin membrane analogy, and plate theory. Cross-listed with CVE 513.
(4 credits) Methods of nondestructive evaluation are studied. Topics include ultrasonics, acoustic emissions, penetrants, eddy current, X-ray and neutron radiography, digital radiography, computed tomography, and thermography. Cross-listed with CVE 524.
(4 credits) Prerequisite: MCE 362 or MME 513. Finite Element analysis of stresses and deflections in complex mechanical systems under static and dynamic loading. Integrating modeling techniques with 2D and 3D CAD systems for inputting geometric data. Comparison of finite element results with theoretical and empirical results.
(4 credits) Prerequisite: MME 513. Elasticity topics include tensor algebra, fundamentals of stress analysis, fundamentals of deformation theory, thermo-elastic constitutive relationships, uniqueness of solution, Airy’s stress function, and various solution techniques for two-dimensional problems. Cross-listed with CVE 604.
(4 credits) Prerequisite: MME 512 or MCE 580.
Advanced techniques in the formulation of the Finite Element with applications. Development of three dimensional elements, tetrahedrals and hexahedrals. Formulation of thin and moderately thick plate bending elements and shell elements. 3D isoparametric beam, plate and shell elements; solutions of engineering problems using computer software.
(3 credits) Prerequisites: MME 511 and MME 604. Isoparametric finite element discretization, incremental equations of motion. Total and updated Lagrangian formulations. Nonlinear geometry, nonlinear material problems in two and three dimensions. Computer solution of problems. Cross-listed with CVE 613.
(3 credits) Prerequisite: MME 620. Solution techniques of plasticity problems that are amenable to computer solutions. Numerical treatment includes slab method, upper and lower bound on power, and finite element methods.
MME 620 - Fracture Mechanics and Plasticity Theory
(4 credits) The stress and deformation field in the region of a crack are derived using linear elastic analysis. Topics include analyzing the change in potential energy due to crack propagation (Griffith’s analysis), understanding the origin of critical fracture toughness parameters, and developing fundamental fracture criteria. In addition the course focuses on time-dependent plastic deformation analysis. Relationships between stress and strain that agree with experimental observations beyond the yield stress are constructed . Application of these inelastic constitutive relationships in predicting plastic deformations in simple components are presented. Drucker’s stability postulates are discussed, and the principles of slip-line theory are given. General theorems of limit analysis and their application in structural analysis are highlighted. The J-integral and fundamentals of elastic-plastic fracture analysis are presented. Cross-listed with CVE 620.
(2 credits) Prerequisite: MME 620. The fundamental concepts of crack growth in the presence of cyclic stress are considered. The fracture mechanics approach is adopted. Similitude concepts, common empirical and semi-empirical equations, variable amplitude loading, and rain fall analysis are discussed. Cross-listed with CVE 622.
(2 credits) Prerequisite: MME 604. Modeling of continua as a viscoelastic material in which stress and strain fields in deformable bodies are time and spatially dependent. Viscoelastic models include Maxwell fluids and Kelvin solids. Creep phenomena, stress relaxation, hereditary integrals, viscoelastic beams, beams on continuous supports, vibration, and wave propagation in viscoelastic materials are studied. Cross-listed with CVE 625.
MME 698 - Master’s Project In Engineering Mechanics
(3 credits) Preparation of a paper involving design and analysis or theoretical investigation of a topic in structural mechanics/materials selected by mutual agreement between student and department. A written report and an oral presentation are required.
(3 credits) Advanced study in expository writing: writing processes, reading and writing, rhetoric, evaluation, and pedagogy. Offered fall semester. Required of beginning teaching assistants, except for those who took ENG 308 Composition Theory as undergraduates.
(1 credits) Relation of composition theory to the practice of tutoring and teaching. Required for teaching assistants, except for those who took ENG 309 Writing Center Practicum as undergraduates. Meets once a week during fall and spring semesters. If credits are taken in fall semester, they will be graded T, with the grade assigned at the end of spring semester. Students may, if they wish, begin participating in ENG 507 in fall semester and register for ENG 507 credits in spring semester rather than in fall. May be taken S/F.
(3 credits) Preparation of reports, scientific papers, and other genres of technical writing, with emphasis on audience, voice, the proper formatting of data, and the integration of text with graphic and visual material. When offered for three credits, the course includes a major writing project as well as shorter assignments.
(4 credits) Essentials of practical criticism with emphasis on close reading of selected masterworks that represent various genres and historical contexts. Core course required of all M.A. candidates. Offered fall semester.
(4 credits) Critical approaches to literature and the theories that underlie them, including formalist, reader response, deconstructionist, new historicist, feminist, and other post-structuralist approaches. Core course required for M.A. candidates in the literature concentration. Offered spring semester.
(4 credits) Genres of fiction, poetry, and drama studied with an emphasis on the craft of the practitioner. Literary texts are used to demonstrate the formal range of the genres studied. Craft exercises are used to explicate the operations and assumptions underlying literary techniques. Core course required for M.A. candidates in the creative writing concentration. Offered spring semester.
(3 credits) Topics include historical linguistics, history of the English language, grammar, sociolinguistics, or analysis of an uncommonly taught language such as Sanskrit or Armenian. May be repeated with change of topic. Courses count as TESOL endorsement electives. Note: when the topic is Modern English Grammar, ENG 514 counts as an introductory linguistics course in the TESOL endorsement program.
(3 credits) Topics include Arthurian tradition, women and writing in the Middle Ages, Chaucer, Malory, or courses in medieval genres or themes. May be repeated with change of topic.
(3 credits) Sixteenth- and 17th-century authors, genres, themes, or movements including humanism, the Reformation, metaphysical and cavalier poetry, scientific empiricism, and neo-classicism. May be repeated with change of topic.
(3 credits) Authors, genres, themes, or movements in 18th-century poetry and fiction. Topics include the Enlightenment, satire, rise of the novel, and neo-classical and pre-Romantic poetry. May be repeated with change of topic.
(3 credits) Authors, genres, themes, or movements in 19th-century poetry, fiction, and drama. Possible topics include Romantic-era women writers, the literature of British imperialism, and the fiction of Jane Austen. May be taken up to three times with change of topic.