B[1].Tech Sylabus 5

8/3/2019 B[1].Tech Sylabus 5

1/7

SRM University

B.Tech (PART TIME) - Computer Engineering

Syllabus 2011 V SEM

Arul . DArul . DArul . DArul . D

1. PCS0302 ARTIFICIAL INTELLIGENCE & EXPERT SYSTEMS

2. PCS0308 LOGIC FOR COMPUTER SCIENCE

3. PCS0405 VLSI DESIGN & EMBEDDED SYSTEMS

4. PCS0323 ELECTIVE1-DIGITAL IMAGE PROCESSING

5. PCS0312 ARTIFICIAL INTELLIGENCE & EXPERT SYSTEMS - LAB

6. PCS0413 VLSI DESIGN & EMBEDDED SYSTEMS - LAB


2/7

PCS0302 ARTIFICIAL INTELLIGENCE & EXPERT SYSTEMS L-3 T-0 P-0 C-3

Staff Name Mr. JEBAKUMAR

PURPOSE

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 f irst, 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


3/7

PCS0308 LOGIC FOR COMPUTER SCIENCE L-3 T-0 P-0 C-3

Staff Name Mr. ARUL PRAKASH

PURPOSE

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


4/7

PCS0405 VLSI DESIGN & EMBEDDED SYSTEMS L-3 T-0 P-0 C-3

Staff Name Mr. SELVAKUMAR

PURPOSE

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) -. Time-

area 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


5/7

PCS0323 ELECTIVE1-DIGITAL IMAGE PROCESSING L-3 T-0 P-0 C-3

Staff Name Mr. SABHANAYAGAM

PURPOSE

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


6/7

PCS0312 ARTIFICIAL INTELLIGENCE & EXPERT SYSTEMS LAB L-0 T-0 P-3 C-2

Staff Name Mr. JEBAKUMAR

PURPOSE

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

REFERENCELaboratory Manual


7/7

PCS0413 VLSI DESIGN & EMBEDDED SYSTEMS - LAB L-0 T-0 P-3 C-2

Staff Name Mr. SELVAKUMAR

PURPOSE

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

Documents

B[1].Tech Sylabus 5