SRM University

B.Tech (PART TIME) - Computer Engineering

Syllabus 2011 V SEM

Arul . D
1. 2. 3. 4. 5. 6. PCS0302 PCS0308 PCS0405 PCS0323 PCS0312 PCS0413 ARTIFICIAL INTELLIGENCE & EXPERT SYSTEMS LOGIC FOR COMPUTER SCIENCE VLSI DESIGN & EMBEDDED SYSTEMS ELECTIVE1-DIGITAL IMAGE PROCESSING ARTIFICIAL INTELLIGENCE & EXPERT SYSTEMS - LAB VLSI DESIGN & EMBEDDED SYSTEMS - LAB

PCS0302 Staff Name

PURPOSE

ARTIFICIAL INTELLIGENCE & EXPERT SYSTEMS Mr. JEBAKUMAR

L-3

T-0

P-0

C-3

The purpose of this course is to impart concepts of Artificial Intelligence and Expert System. INSTRUCTIONAL OBJECTIVES

To study the concepts of Artificial Intelligence Methods of solving problems using Artificial Intelligence Introduce the concepts of Expert Systems and machine learning

INTRODUCTION TO Al AND PRODUCTION SYSTEMS Introduction to Al - Problem formulation, Problem Definition - Production systems, Control strategies, Search strategies. Problem characteristics, Production system characteristics - Specialized production systems - Problem solving methods Problem graphs, Matching, Indexing and Heuristic functions - Hill Climbing, Depth first and Breath first, Constraints satisfaction - Related algorithms, Measure of performance and analysis of search algorithms. REPRESENTATION OF KNOWLEDGE Game playing - Knowledge representation, Knowledge representation using Predicate logic, Introduction to predicate calculus, Resolution, Use of predicate calculus, Knowledge representation using other logic - Structured representation of knowledge. FUNDAMENTALS OF EXPERT SYSTEMS Basic plan generation systems - Strips - Advanced plan generation systems - K strips - D Comp. Expert systems - Architecture of expert systems, Roles of expert systems - Knowledge Acquisition - Meta knowledge, Heuristics. KNOWLEDGE INFERENCE Knowledge representation - Production based system, Frame based system. Inference - Backward chaining, Forward chaining, Rule value approach, Fuzzy reasoning - Certainty factors, Bayesian probability. MACHINE LEARNING Strategic explanations - Why, Why not and how explanations. Learning - Machine learning, adaptive learning. - Typical expert systems - MYCIN, PIP, INTERNIST, DART, XOON, Expert systems shells. TEXT BOOKS

Elaine Rich, "Artificial Intelligence", 2nd Edition, McGraw Hill, 2005 Dan W.Patterson, "Introduction to AI and ES", Pearson Education, 2007

REFERENCE BOOKS

Peter Jackson, "Introduction to Expert Systems", 3rd Edition, Pearson Education, 2007 Stuart Russel, Peter Norvig "AI - A Modern Approach", 2nd Edition, Pearson Education 2007

PCS0308 Staff Name

PURPOSE

LOGIC FOR COMPUTER SCIENCE Mr. ARUL PRAKASH

L-3

T-0

P-0

C-3

To study important concepts in Logic. INSTRUCTIONAL OBJECTIVES

To provide main notions of Mathematical Logic To learn Formal framework to construct logic arguments To student deductive systems along with completeness

PROPOSITIONAL LOGIC Declarative sentences - Natural deduction - Popositional logic as a Formal Language - Semantics of Propositional Logic Normal Forms - SAT Solvers. PREDICATE LOGIC Predicate Logic as a formal Language - Proof Theory of Prediacte Logic - Semantics of Prediacte Logic - Undecidability of Predicate Logic - Expressiveness of Predicate Logic Models - Micromodels of Software. VERIFICATION BY MODEL CHECKING Motivation for Verification - Linear Time Temporal Logic - Model Checking : systems, Tools and Properties - Branching Time temporal Logic - Model Checking algorithms - CTL+ and the expressive power of LTL and CTL - Fixed point characterization of CTL PROGRAM VERIFICATION AND MODAL LOGIC A Framework for software verification - Proof calculus for partial correctness - Proof calculus for total correctness - Basic Modal logic - Logic Engineering - Natural Deduction - Reasoning about knowledge in a multi-agent system. BINARY DECISION DIAGRAMS Representing Boolean functions - Algoritms for reduced OBBDs - Geometric Templates from Spatial Relations - Application Image Based Rendering - Symbolic Model Checking - A relational Mu - calculus - Coding CTL models and specifications. TEXT BOOK

Huth M and Ryan M, "Logic in Computer Science : Modeling and Reasoning about systems", Cambridge University Press 2005

REFERENCE BOOKS

Enderton H B, "A Mathematical Introduction to Logic", Academic Press, 2001 "Mathematical Logic for Computer Science", Springer, 2001 Herbert B. Enderton, "A Mathematical Introduction to Logic", Elsevier,2005 I.M.Copi, D.Cohen, P.Jetli, M.Prabakar, "Introduction to Logic", Pearson Education,2006

PCS0405 Staff Name

PURPOSE

VLSI DESIGN & EMBEDDED SYSTEMS Mr. SELVAKUMAR

L-3

T-0

P-0

C-3

To introduce the concepts, terminologies and technologies used in modern days data communication and computer networking. INSTRUCTIONAL OBJECTIVES

To understand the concepts of data communications To study the functions of different layers To introduce IEEE standards employed in computer networking To make the students to get familiarized with different protocols and network components

COMPONENTS OF VLSI Components of VLSI circuits- Fundamental features (Switching delay, power consumption, scaling, yield estimation) -. Timearea complexity (Lower bounds, communication complexity and crossing sequence). VLSI SYSTEM DESIGN Overview of VLSI system design (Y-chart and optimizations, hierarchical design) Physical design-Logic synthesis-- High-level synthesis-System On a Chip (SOC)Design methodology. INTRODUCTION TO EMBEDDED SYSTEM Introduction-Processor and Memory Organization-Devices and Buses for Device Networks-Device Drivers and Interrupt Servicing Mechanisms. EMBEDDED PROGRAMMING Programming concepts-Embedded Programming in C and C++-Embedded Programming in JAVA-Real Time Operating System Programming Tools.-Micro C/OS-II and VxWorks. CASE STUDIES OF PROGRAMMING WITH RTOS Coding for an Automatic Chocolate Vending Machine-Coding for Sending an Application Layer Byte on a TCP/IP Network Embedded System for an Adaptive Cruise Control System in a Car-Embedded System for a Smart Card. TEXT BOOKS

W.Wolf, "Modern VLSI Design: Systems on Silicon" Second Edition, Prentice Hall 1998, ISBN:0-011076-0 Raj Kamal "Embedded Systems-Architecture", Programming and Design: Tata McGraw-Hill, Eleventh Reprint, 2007

REFERENCE BOOKS

Douglas A. Pucknell and Kamran Eshraghian, "Basic VLSI Design" Prentice Hall,1995 Eugene D. Fabricius, . "Introduction to VLSI Design" Tata- Mcgraw- Hill . ,1990 "Frank Vahid and Tony Givargis" Embedded System Design: A Unified "Hardware/Software Introduction" John Wiley & Sons, ISBN:0471386782, 2001

PCS0323 Staff Name

PURPOSE

ELECTIVE1-DIGITAL IMAGE PROCESSING Mr. SABHANAYAGAM

L-3

T-0

P-0

C-3

This course provides a complete understanding of the various image processing techniques. INSTRUCTIONAL OBJECTIVES

Image fundamentals and techniques To learn various Image enhancement, restoration and compression techniques To learn various Image segmentation, representation and description methods

INTRODUCTION Origin of Digital Image processing - fundamental steps - Components of Image processing system - Visual perception - Light and EM spectrum - Image sensing and acquisition - Image sampling and Quantization - relationship between pixels. IMAGE ENHANCEMENT Spatial Domain: Gray level transformation - Histogram processing - Arithmetic / Logic operations- Spatial filtering - smoothing filters - sharpening filters Frequency Domain: Fourier transform - smoothing frequency domain filters - sharpening filters Homographic filtering. IMAGE RESTORATION Model of Image degradation/ restoration process - Noise models - mean filters - order statistics - adaptive filters - band reject bandpass - notch - optimum notch filters - Linear, position invariant degradations - establishing degradation functions - Inverse filtering - Weiner - least square - Geometric mean filters. IMAGE COMPRESSION Fundamentals - Image compression models - Information theory - error free compression: variable length - LZW - Bitplane Lossless predictive coding; Lossy compression : Lossy predictive - transform - wavelet coding; Image compression standards. IMAGE SEGMENTATION, REPRESENTATION & DESCRIPTION Segmentation: Detection of discontinuities - Edge linking & Boundary detection - Thresholding - region based segmentation Representation & Description: Chain codes - Polygonal approximations - signatures - Boundary segments - Skeletons; Boundary Descriptors - Regional descriptors TEXT BOOK

Rafael C. Gonzalez, Richard E. Woods, "Digital Image Processing" , 2nd edition , Pearson Education, 2007

REFERENCE BOOKS

S.Annadurai, R.Shanmugalakshmi, "fundamentals of Digital Image Processing", Pearson Education, 2007 Rafael C. Gonzalez, Richard E. Woods, Eddins, "Digital Image Processing using MATLAB", Pearson Education, 2005 Anil Jain K. "Fundamentals of Digital Image Processing", PHI, 1999 William Pratt, "Digital Image Processing", Wiley Interscience, 2nd edition 1991

PCS0312 Staff Name

PURPOSE

ARTIFICIAL INTELLIGENCE & EXPERT SYSTEMS LAB Mr. JEBAKUMAR

L-0

T-0

P-3

C-2

To learn & implement the various concepts & algorithms of AI & Expert Systems. INSTRUCTIONAL OBJECTIVES

To implement Heuristic functions & Prepositional Logic To implement A* & AO* algorithms To implement an Expert system for medical diagnosis

LIST OF EXPERIMENTS

Water Jug Problem (Using DFS And BFS) Single Player Game(Using Heuristic Function) Two Player Game(Using Heuristic Function) A* Algorithm AO* Algorithm Predicate To Prepositional Logic Syntax Checking of English sentences-English Grammar Develop an Expert system for Medical diagnosis Develop any Rule based system for an application of your choice Develop an algorithm for morphological derivation / verb derivation and implement it

REFERENCE Laboratory Manual

PCS0413

VLSI DESIGN & EMBEDDED SYSTEMS - LAB

L-0

T-0

P-3

C-2

Staff Name
PURPOSE

Mr. SELVAKUMAR

VLSI provides improved solutions for high speed networking, high performance computers, and special applications of integrated circuits, requiring the use of multiple disciplines There is urgent need to absorb and assimilate the latest development in the VLSI and embedded system design field VLSI industry needs VLSI design engineers and Embedded system design engineers

INSTRUCTIONAL OBJECTIVES

To teach basics of Digital Electronics To teach Digital Signal Processing To have some idea about Microprocessor assembly language programming To know Linear and Digital Integrated Circuits

CMOS VLSI Design

VLSI Technology Embedded Systems Design Testing & Verification of VLSI Circuits Digital System Design Using VHDL Design of Analog & Mixed mode VLSI circuits Real Time Embedded Systems Low Power VLSI Design CAD - Tools for VLSI Design Algorithms for VLSI Design Automation Design of VLSI Systems Advanced Embedded System Design VLSI Sub - system Design

REFERENCE Laboratory Manual