Computer Engineering Depa t - eat.edu.lyeat.edu.ly/images/downloads/CES-2010.pdfENGINEERING ACADEMY...

Commpute

CES C

r Engin

Cour

neering

rse s

g Depa

syllab

artmen

bus

nt

ENGINEERING ACADEMY TAJOURA November 6, 2010

c o m p u t e r E n g i n e e r i n g D e p a r t m e n t Page (CES ‐ 1)

COMPUTER ENGINEERING DEPARTMENT

I. Core Courses:

Year Semester Course code

Course Name Weekly Hours

No. of Credits

Total Credits

1st 1st

GSD‐121 Mathematics – I 4+0 4.0

16+6

19.0

GSD‐122 English Language – I 2+2 3.0

GSD‐123 Physics 3+1 3.5

GSD‐124 Chemistry 3+1 3.5

MED‐121 Engineering Mechanics – I (Static’s) 3+0 3.0

MED‐122 Engineering Drawing 1+2 2.0

2nd

2nd

GSD‐211 Mathematics – II 4+0 4.0

14+8

18.0

GSD‐212 English Language – II 2+2 3.0

MED‐211 Engineering Mechanics‐II (Dynamics) 3+0 3.0

MED‐212 Descriptive Geometry 1+2 2.0

MED‐213 Workshop Technology 2+2 3.0

CES‐211 Introduction to Computer Programming 2+2 3.0

3rd

GSD‐221 Mathematics – III 3+0 3.0

18+4

20.0

EED‐221 Fundamental of Electrical Engineering 3+1 3.5

EED‐222 Electronics – I 3+1 3.5

EED‐223 Electrical Properties of Material 3+0 3.0

CES‐221 Digital Fundamentals 3+1 3.5

MED‐221 Introduction to Mechanical Engineering 3+1 3.5

3rd

4th

GSD‐311 Mathematics – IV 3+0 3.0

18+4

20.0

GSD‐312 Probability & Statistics 3+0 3.0

EED‐312 Electronics ‐ II 3+1 3.5

EED‐314 Signals & Systems 3+0 3.0

CES‐311 Data Structure and Algorithms 3+2 4.0

CES‐312 Digital System Design 3+1 3.5

5th

CES‐325 Numerical Analysis 2+2 3.0

17+6

20.0

EED‐323 Digital Electronics 3+1 3.5

CES‐321 Object Oriented Programming 3+2 4.0

CES‐322 Operating Systems 3+0 3.0

CES‐323 Computer Arch. and Organization 3+0 3.0

CES‐324 Microprocessor‐I 3+1 3.5





No. of Credits

Total Credits

4th

6th

EED‐412 Digital Signal Processing 3+1 3.5

18+6 21.0

EED‐414 Control Systems ‐ I 3+1 3.5

EED‐415 Principle of Digital Communication 3+1 3.5

CES‐411 Data Acquisition System 3+1 3.5

CES‐412 Microprocessors Based Systems 3+1 3.5

CES‐413 Integrated Circuit Design 3+1 3.5

7th

EED‐421 Control Systems ‐ II 3+1 3.5

15+4 17.0

EED‐423 Communication Systems 3+1 3.5

CES‐421 Data & Computer Networks 3+0 3.0

CES‐422 Modeling and Simulations 3+1 3.5

CES‐423 Digital Image Processing 3+1 3.5

5th

8th

GSD‐511 Technical Report Writing 2+0 2.0 10+8

14.0

CES‐511 Advanced HDL Des. & VLSI Systems 3+2 4.0

CES‐512 Intelligent Control & Expert Systems 3+2 4.0

CES‐599 Final project Part ‐ I 2+4 4.0

9th

CES‐521 Elective ‐ I 3+1 3.5 8+6 11.0

CES‐522 Elective ‐ II 3+1 3.5

CES‐599 Final Project – II 2+4 4.0

Total 134+52 160

II. Elective Courses:

1. CES‐521 Operation Research 2. CES‐522 Computer Architecture and Parallel Processing 3. CES‐523 Digital Systems Testing and Simulation 4. CES‐524 Database Management Systems 5. CES‐525 Fault Tolerant Computing 6. CES‐526 Program Specification and Verification 7. CES‐527 Radar data processing

Note: The inclusion of the elective courses is subjected to the academy needs and staff members’

availability.

The old program has been modified with respect to some local and few international universities.



1ST YEAR / 1ST SEMESTER



No. of Credits

Total Credits

1st 1st

GSD‐121 Mathematics – I 4+0 4.0

16+6

19.0

GSD‐122 English Language – I 2+2 3.0

GSD‐123 Physics 3+1 3.5

GSD‐124 Chemistry 3+1 3.5

MED‐121 Engineering Mechanics – I (Static’s) 3+0 3.0

MED‐122 Engineering Drawing 1+2 2.0

GSD‐121 Mathematics – I (4+0) 1st Semester

Sets: Definitions: subsets, operations on sets, set of real numbers.

Inequalities: Definitions of inequalities, properties of inequalities, solution of inequalities, definitions of intervals.

Function: Definitions of function, its domain and range, types of function; Linear, second, degree, polynomial, rational, root function, explicit and functions, parametric function, implicite function and its domain even and odd function, one‐ function inverse function, trig functions.

Limit of functions: The concept of limit of function, some basic theorems on limits, algebra of limits, one sided limits, limits of trig functions, limits at infinity, continuity of function at a point, continuity on intervals.

Derivative: Definition of derivative of function in general and at a point, rules of differentiation of sum, products and rational functions, derivative of composite function, parametric functions (chain rule), derivative of trig, function and its inverses, implicite differentiations, second and higher ordered derivatives, exponential and logarithmic functions their definitions, its derivative, hyperbolic function and its derivatives their inverses.

Applications: mean value theorem roll's theory, critical values of functions, increasing and decreasing functions, maxima and minima second derivative test for extremum, concavity and inflection points of curves, graphing of curves of function.

Integration: indefinite integral: Anti‐derivative, basic rules of integration, method of integrations, substitution method, integration by parts, trigonometric substitution, including completing the square, integration of trigonometric function reduction formulas, partial fractions.

Definite integral: Definition of definite integral, properties of definite integral, basic theorems on definite integral, application of definite integral: area of region in a plane, volumes, length of a curve.

References:

1. Swokowski, Calculus, 6th ed., 1994.



GSD‐122 English Language – I (2+2) 1st Semester

The syllabus consisting of two components is as follows: Linguistic Structures Handled Throughout:

Essential items of English Grammar, eg. Articles, Nouns, Pronouns, Adjectives, Adverbs. Prepositions,

Verbs, Tenses. The Passive Voice and Reported Speech.

Component 'A" ‐ Reading and Writing Skills:

For reading comprehension, following strategies are recommended: sound spelling exercises,

loud reading exercises, dictation exercises, reading assignments (Prepared by the Instructors).

For writing skills following performance strategies are recommended: copying exercises,

reproduction exercises, guided composition, story writing, group assignments (prepared by the

Instructors)

Component 'B' ‐ Listening and Speaking Skills:

Language Lab:

Drills and Exercises from Linguaphone English Course Units 3, 4, 5.

News and Discussions recorded from BBC.

References:

1. Paul Davis, Jane Sturtevant, Flying High (starter), 2008.

GSD‐123 Physics (3+1) 1st Semester

Mechanics:

The SI system of units, dimensions of physical quantities, asses of dimensional quantities.

Velocity, average velocity, instantaneous velocity, acceleration, average acceleration,

instantaneous acceleration.

Study of motion in one dimension; variable velocity, variable acceleration.

Equations of motion with constant acceleration, applications of the motion in one dimensions,

freely falling bodies, motion in two dimensions (plane); displacement, velocity and acceleration,

equations of the motion in a plane with constant acceleration Projectile motion.

Electricity:

Atomic structure, electric charge, conductors and insulators, Colomb's law (force law).

Electric field (E), liens of force, calculating of E, a point charge in an electric field.

Electric flux, Gauss'a law, applications of Gauss'a law. Electric potential.

References:

1. John W. Jewett and Raymond A. Serway, Physics for Science and Engineering.



GSD‐124 Chemistry (3+1) 1st Semester

Introduction: Units of measurement, elements, compounds and mixtures, symbols, formulas and

equations.

Stoichiometry: Chemical Arithmetic: The mole, molecular weights and formula weights, percentage

composition, chemical formulas, empirical formulas, molecular formulas, balancing chemical

equations, calculations based on chemical equations, limiting‐reactant calculations, molar

concentration.

Atomic structure and the periodic table: The electron configurations of the elements, the periodic

table and electron configurations.

Chemical bonding: General concepts: Lewis symbols, the ionic bond, the Covalent bond.

Gases: Volume and pressure, Boyle’s law, Charle’s law, Gay‐Lussac’s Law, the combined gas law, the

ideal gas law.

References:

1. Raymond Chang, Chemistry, 9th ed. , 2008 2. General Chemistry, Principles and Structure, James E. Brady & Gerard E. Humiston.

MED‐121 Engineering Mechanics – I (Static’s) (3+0) 1st Semester

General principle of statics, force vectors, equilibrium, force system resultants, analysis of trusses,

internal forces and moments, friction, centroids and moments of inertia and virtual work.

References:

1. Vector Mechanics for Engineering, Static’s by Beer and Johnson.

MED ‐122 Engineering Drawing (1+2) 1st Semester

Introduction to engineering drawing: principles of engineering graphics and their significance,

drawing instruments and their use, conventions in drawing, lettering, BIS conventions. Scales used in

engineering practice and representative fraction, construction of plain, diagonal and Vernier scales.

Plane geometric drawing: construction of polygons, inscription and superscription of polygon given

the diameter of the circles. Curves used in engineering practice & their constructions: (a) conic

sections including the rectangular hyperbola, general method only. (b) Cycloid, epicycloid and

hypocycloid (c) Involute.

Drawing of projections or views orthographic projection in first angle projection only: principles of

orthographic projections, conventions, first and third angle projections, projections of points and



lines inclined to both planes, true lengths, traces, projections of planes regular auxiliary planes and

auxiliary projection inclined to both planes.

Projections of solids: projections of regular solids inclined to both planes, auxiliary views, sections

and sectional views of right regular solids, prism, cylinder, pyramid, cone, auxiliary views.

Development and interpenetration of solids: development of surfaces of right regular solids –

prisms, cylinder, pyramid cone and their parts, interpenetration of right regular solids, intersection of

cylinder vs. cylinder, cylinder vs. prism, cylinder vs. cone.

Isometric projections: principles of isometric projection, isometric scale, isometric views,

conventions, isometric views of lines, plane figures, simple and compound solids, isometric projection

of objects having non‐ isometric lines, isometric projection of spherical parts.

Transformation of projections: conversion of isometric views to orthographic views, conventions.

Perspective projections: perspective view; points, lines, plane figures and simple solids, vanishing

point methods (general method only).

References:

1. Engineering Drawing and Graphics Technology by T.E. French.



2ND YEAR / 2ND SEMESTER



No. of Credits

Total Credits

2nd 2nd

GSD‐211 Mathematics – II 4+0 4.0

14+8

18.0

GSD‐212 English Language – II 2+2 3.0

MED‐211 Engineering Mechanics‐II (Dynamics) 3+0 3.0

MED‐212 Descriptive Geometry 1+2 2.0

MED‐213 Workshop Technology 2+2 3.0

CES‐211 Introduction to Computer Programming 2+2 3.0

GSD‐211 Mathematics – II (4+0) 2nd Semester

Function of several variables: Definition of function, its domain, drawing regions of domains values of functions, level curves of functions, limit of function, continuity of function.

Partial derivatives: Definition of partial derivatives using limits, rules of partial differentiations, total differential, chain rule, higher‐ order derivatives directional derivatives.

Multiple integrals: Definition of double integral, basic rules and theorems of double integrals, iterated integrals, reversing the order of integration, double integral in polar coordinates.

Applications: Area of region in plane, surface area, volume, triple integrals and application.

Matrices and determinants: Addition of matrices, multiplication by numbers, transpose of a matrix,

special matrices, matrix multiplication determinates rank of a matrix, linear dependence and its

relation with the rank, singular and nonsingular matrix eigen values and eigen vectors, bilinear,

quadratic, hermit ian, and skew‐ hermit ian, forms unitary matrices, system of linear equation, gauss

elimination.

Complex numbers and complex variables: Operation on complex numbers, function of complex

variables, trigonometric, exponential, logarithmic and hyperbolic functions.

References:

1. Stroud K. A. Further Engineering Mathematics, 2nd ed. , 1990.

GSD‐212 English Language – II (2+2) 2nd Semester

Linguistic Structures Handled throughout these topics: Dimensions and properties, comparisons and

modals, impersonal scientific statements, relative clauses, definitions, experimental and explanatory

descriptions, tables and graphs.



Technical Engineering Test: Engineering profession, lubrication of bearings, the jet engine,

conductors and conductivity, suspension bridge.

Lab. Material: General topics selected from BBC news as well as everyday situation.

References: 1. Paul Davis, Jane Sturtevant, Flying High (1B), 2008.

MED‐211 Engineering Mechanics – II (Dynamics) (3+0) 2nd Semester

Kinematics of particles, kinetic of particles: Newton’s laws, equation of motions, work and energy

methods, impulsive and momentum, mechanical vibrations.

References:

1. Vector Mechanics for Engineering, Dynamics by Beer and Johnson.

MED ‐212 Descriptive Geometry (1+2) 2nd Semester

Constructional Geometry: Lines, Angles, Curves, Geometry of straight line figure, Geometry of curved lines. Construction of equilateral triangle, a square, a regular (Pengagon, hexagon, octagon), any regular polygon division of straight line into a given number of equal parts, Tangent Circles and Arcs Construction of Ellipse (Foci, Trammel, and concentric circle methods), construction of parabola (Tangent and offset methods).

Basic Description Geometry: Projection of (a point, a straight line, a plane in space). True length of (a line an oblique), edge view of plane, true shape of an oblique plan. Angle between (a line and a given plane, two non‐intersecting (lines, two intersecting oblique lines).

Revolution – Coordinate Plane: True length of line by revolution, revolution of an object, simple revolution, revolution about (horizontal axis – vertical axis), clock‐wise and counter clock‐wise revolution.

References:

1. Engineering drawing and graphic technology by T.E. French.

MED ‐213 Workshop Technology (2+2) 2nd Semester

Introduction: to industrial safety and practices.



Fitting: Bench, vices, hammers, chisels, files, hacksaw, centre punch, tri‐square, calipers, surface

plate, surface gauge, v‐block, combination set, vernier calipers, micrometers, dial gauges, twist drills,

reamers, taps and dies.

Smithy: Forge, anvil, swage block, hand tools, hammers, tongs, flatters, fullers, swaves, punches,

drifts, hand forging operations, use of forge parts, safety precautions.

Casting processes: Pattern and pattern allowances, Types of patterns, Types of moulds, Casting

processes, sand casting, permanent mould, shell and investment casting, Melting furnaces, Gases in

metals, Design of gates and risers, Cooling and solidification of castings, Casting defects.

Plastic deformation processes: Classification, Hot and cold working, Furnaces, Study of rolling,

forging, wire drawing and extrusion processes and equipment.

Sheet metal working processes: Shearing, bending, deep drawing and stretch forming processes,

Types of presses, Drive mechanisms of presses, Press tools and dies, High energy rate forming.

References:

1. Workshop Technology Part I, II, & III by W. A. J. Chapman.

CES‐211 Introduction to Computer Programming (2+2) 2nd Semester

Computer: Definition, abilities, limitations and types, computer organization, historical background,

uses.

Hardware: Input devices, central processing unit, output devices, main memory unit.

Software Programs: Program definition, programming languages, application programs definitions,

operating systems (types and their uses, introduction to IBM DOS, introduction to WINDOWS).

Problem solving using computers: Steps of approaching the problem, algorithm design.

Numbering Systems: Introduction about decimal, Octel, hex, binary systems and their representation,

changing from one system to others.

References:

1. C How to program By Deitel Deitel. 2. Programming and Problem Solving with C++ By Dale, Weems, and Headington.



2ND YEAR / 3RD SEMESTER



No. of Credits

Total Credits

2nd 3rd

GSD‐221 Mathematics – III 3+0 3.0

18+4

20.0

EED‐221 Fundamental of Electrical Engineering 3+1 3.5

EED‐222 Electronics – I 3+1 3.5

EED‐223 Electrical properties of Material 3+0 3.0

CES‐221 Digital Fundamentals 3+1 3.5

MED‐221 Introduction to Mechanical Engineering 3+1 3.5

GSD ‐221 Mathematics – III (3+0) 3rd Semester

Conforming mapping: Definitions, mapping, conformal mapping linear fractional transformation,

Riemann surfaces analytic functions, harmonic functions complex line integrals, zeros and poles,

residue theorem, evolution of real integrals.

Ordinary differential equation: Differential equation of first order, separation of variables,

homogeneous equation, exact equation, linear equation, Bernoulli’s equations with linear

coefficients. Differential equation of higher order, homogeneous equation with constant coefficients,

characteristic equation, non‐homogeneous equation, particular solution by undetermined

coefficients, reduction of order and variation of parameters, Cauchy‐ Euler equation.

Laplace transform: Properties and evaluation of Laplace transforms, inverse Laplace transforms,

solving initial value problems using Laplace transform.

Vector analysis: vectors and scalars vector algebra, unit vector, dot and cross product of vectors,

vector function, derivatives of vector functions, gradient of a scalar function, divergence and curl of

vector second order differential operators.

Computer applications (Math Cad).

References:


EED‐221 Fundamental of Electrical Engineering (3+1) 3rd Semester

Basic circuit elements: resistors, capacitors, inductors, sources, mutual inductance and transformers;

their I‐V relationships. Kirchhoff’s Laws. DC steady state analysis, node and mesh analysis, superposition,



Thevenin, and Norton theorems. Max Power transfer. Wye and Delta transformation. Capacitors,

Transient analysis of capacitive networks in charging and discharging phase. Magnetic circuits, Magnetic

field, Flux density, permeability, Reluctance, Ohms law for magnetic circuits, Ampere’s Law.

References:

1. Robert L. Boylestad, Introductory Circuit Analysis.

EED ‐222 Electronics – I (3+1) 3rd Semester

Diodes: introduction to semiconductor materials, device structure, basic operation , diode

characteristics, diodes applications: rectifiers diodes, half‐wave rectifier, full‐wave rectifiers, clipper and

clamper circuits, voltage multipliers; special diodes applications, Zener diodes, photodiodes, light

emitting diodes (LED) solar cells. Bipolar junction transistor (BJT): Device structure, basic transistor

operation, graphical representation of BJT characteristics, analysis of BJT circuits at DC. Filed effect

transistors FET: Device structure, basic transistor operation, graphical representation of BJT

characteristics, and analysis of BJT circuits at DC. BJT small signal amplifiers (single stage). FET's small

signal amplifiers (single stage).

References:

1. Robert L. Boylestad, Introductory Circuit Analysis. 2. A. S. Sedra & K. C. Smith, Microelectronics Circuits.

EED‐223 Electrical Properties of Material (3+0) 3rd Semester

Materials for engineering, atomic bondings, crystalline structures, properties of metals, glasses,

semiconductors, insulators and magnetic materials. Electronic conduction in solids and simple devices.

Materials in engineering design and environmental effects.

References:

1. C. Kittel, Introduction to Solid State Physics, 5th Edition, John Wiley & Sons.

CES‐221 Digital Fundamentals (3+1) 3rd Semester

Introduction to digital computers, Numbering systems, Binary systems and Boolean algebra, Boolean

function methods of simplification and expressions, Combinational logic, Sequential synchronous logic,

Registers and counters (design and applications).

References:



1. Moris Mano, Digital Design, 3rd ed., Prentice Hall.Understanding Aircraft Structures, by Cutler, J.

MED‐221 Introduction to Mechanical Engineering (3+1) 3rd Semester

Introduction, Thermodynamic definitions, Systems, First law of thermodynamics, Evaluating properties,

Tables of thermodynamics properties, Vapor power Cycle (Rankin), Second law of thermodynamics,

Types of heat transfer (conduction, convection, and radiation), Reciprocating engines, Air power cycle

(otto, diesel and dual).

References:

1. Yunus A. Cengel, Introduction to Thermodynamics and Heat Transfer, McGraw‐Hill. 2. Richard Stone, Introduction to Internal Combustion Energies, 3rd ed., Mac Millan Press. 3. S. P. Holman, Heat Transfer, 8th ed., McGraw‐Hill.



3RD YEAR / 4TH SEMESTER



No. of Credits

Total Credits

3rd 4th

GSD‐311 Mathematics – IV 3+0 3.0

18+4

20.0

GSD‐312 Probability & Statistics 3+0 3.0

EED‐312 Electronics ‐ II 3+1 3.5

EED‐314 Signals & Systems 3+0 3.0

CES‐311 Data Structure and Algorithms 3+2 4.0

CES‐312 Digital System Design 3+1 3.5

GSD‐311 Mathematics – IV (3+0) 4th Semester

Orthogonal function and Fourier transform: Orthogonal function and Fourier completeness,

representation of function in series based on orthogonal function, trigonometric and exponential

representation half range series convergence, line spectrum, Fourier integrals and transform,

properties of Fourier transform and its application.

Special functions: Gamma, Beta and Bessel functions and their properties. Modified Bessel function

Legendre function.

Partial differential equation: Definition of second order homogeneous linear partial differential

equation boundary value problems, solution by the method of separation of variables applied, to one

dimensional wave equation, heat equation and to Laplace equation.

Mathematical computer application. References:


GSD‐312 Probability & Statistics (3+0) 4th Semester

1. Introduction: - The nature of statistics and probability. - Kinds of statistics. - Sample, Population & simple Random Sampling.

2. Data Reduction: - Variables and Data - Grouping Data - Graphs, charts and Diagrams. - Stem and Leaf Plots.



- Box and Whiskers Plots. 3. Descriptive Measures:

- Measures of Central Tendency. - Measures of Dispersion. - Measures of Asymmetry. - The five – number Summary.

4. Elements of Probability Theory: - A Review of Set Rotations. - Random Events and Sample Space. - Rules of Probability. - Joint and Marginal Probabilities. - Conditional Probability. - Multiplication and Additional Rules. - Total Probability and Baye's Rule. - Counting Rules. - Tchebysheff's Theorem. - Moments and Expection.

5. Common Probabilities Distriction: - Common Discrete Probabilistic Models - Bernoulli Distribution, Binomial Distribution & Geometric Distribution. - Common Continuous Probabilistic Models. - Uniform Distribution, Exponential Distribution and Normal Distribution - Source Related Important Distributions. - Student t‐Distribution, Chi‐square (2), Distribution & F‐Distribution

6. Tests of Hypothesis and Confidence Intervals: - Statistical Hypothesis. - Type‐I and Type II Errors. - One sided and Two sided Hypothesis. - Tests of Hypothesis on the Mean. - Tests of Hypothesis on the Variance. - The Chi‐square Goodness of Fit test.

7. Simple Linear Progression and Correlation: - Simple Linear Regression Model - Least Square Estimates. - Hypothesis Testing & Confidence Limits. - Prediction of New Observations. - Measuring the Adequacy of the Regression Model.

EED‐312 Electronics – II (3+1) 4th Semester

Review of single stage amplifier circuits and bias stability, Multistage amplifiers, Feedback amplifiers,

Oscillators circuits. FET's and BJT's amplifiers frequency response, High frequency models for transistors.

Operational amplifier, Differential Amplifiers: BJT, MOS, BiCMOS, GaAs. Multistage Amplifiers: Frequency

Response: s‐Domain analysis, amplifiers transfer function, frequency response of CS, CE, CB, cascade, CC



and cascaded amplifiers. Feedback: general feedback structure and basic feedback topologies. Negative

feedback.

References:

1. Robert L. Boylestad, Introductory Circuit Analysis. 2. A. S. Sedra & K. C. Smith, Microelectronics Circuits.

EED‐314 Signals & Systems (3+0) 5th Semester

Continuous‐time and discrete‐time signals. Concepts of continuous and discrete‐time linear systems,

Time and frequency domain analysis of signals and linear systems. Fourier series, Fourier transforms,

Laplace transforms. Introduction to state‐space system representation. Application of theory to

problems in electrical engineering.

References:

1. S. Solomon, Continuous and Discrete Signals and Systems, 1st ed. Prentice‐Hall. 2. B. Lathi, Signal Processing & Linear Systems, 1st ed., Berkeley Cambridge Press.

CES‐311 Data Structures And Algorithms (3+2) 4th Semester

Packed data structures: arrays and files. Creation and retrieval of stable spares matrices. Internal sorts algorithms. Basic operations on sequential and random files. External sorts algorithms. Strings.

Dynamic data structures: linear and nonlinear. Basic operations on stacks. Arithmetic expressions translation using stacks. Linked list, double linked lists, queues, circular lists. Basic operation and application to simulation problems. Trees. Creation and parsing (traveling) algorithms.

References:

1. C How to Program (5th Edition) Paul J. Deitel

CES‐312 Digital System Design (3+1) 4th Semester

Analysis and design of sequential logic circuits: latches, master‐slave, and edge‐triggered flip‐flop i.e. SR‐flip flop, D flip flop, JK flip flop, and T flip flop.

Design analysis and description with different flip flops, State diagrams, state tables, state equations and characteristic equations. State reductions. Design of synchronous and



asynchronous sequential circuits: binary ripple counters, up counters, up‐down counters, shift registers: shift right, shift left and universal shift registers.

Memory concept, Random Access memory (RAM), read only memory (ROMS, PROMS), and programmable array logic (PALs). RAM and ROM address space.

References:

1. Computer System Architecture (3rd Edition) M. Morris Mano. 2. Digital System Design 2nd edition By Barry Wilkinson and Rafic Makki



3RD YEAR / 5TH SEMESTER



No. of Credits

Total Credits

3rd 5th

CES‐325 Numerical Analysis 2+2 3.0

17+6

20.0

EED‐323 Digital Electronics 3+1 3.5

CES‐321 Object Oriented Programming 3+2 4.0

CES‐322 Operating Systems 3+0 3.0

CES‐323 Computer Arch. and Organization 3+0 3.0

CES‐324 Microprocessor‐I 3+1 3.5

CES‐325 Numerical Analysis (2+2) 5th Semester

1. Introduction:

Analytical and numerical solutions to engineering problems.

Errors in computations; types and sources.

Roundoff, Truncation and Propagation of error in computer calculations.

Power series (Taylor & Maclawrin) Representation of functions.

2‐ Numerical solution of non‐linear equations:

‐ Open Method

Newton‐Raphson Method+ Programming.

Secant Method.

‐ Bracketing Methods:

Bisection method. + Programming.

False position method. + Programming.

3. Numerical Solution of Linear Systems of Equations:

Gauss elimination method.

Gauss Jordan method. + Programming.

Pivoting

4. Numerical Integration:

Trapezoidal Method + Programming.

Simpson's Method + Programming.

Newton Cotes.

Gauss Quadrature.

5. Numerical Solution of Ordinary Differential Equations:

Euler's Method.

Modified Euler's Method.



Extended Euler's Method.

4th Order Runge‐Kutta Method.

Programming of Euler's & Runge‐Kutta Method.

6. Interpolation and Curve Fitting:

‐ Interpolation:

Linear Interpolation

Non‐linear Interpolation

Lagrange Interpolating Polynomial

Difference Calculus.

‐ Curve fitting:

Linear model Regression.

Polynomial Regression.

Fitting with a specified function.

Cubic spline.

References:

1. Numerical methods for engineers by Bilal M. Ayyub and Richard H. McCuen

EED‐323 Digital Electronics (3+1) 5th Semester

Diodes and transistors as switching elements. Multi‐vibrators: bistables, monostables, astables, Schmitt

trigger (using discrete components); sweeping circuits, voltage and current sweep circuits. Negative

devices switching circuits. DTL, TTL, MOS and CMOS logic gates: Noise margins, fanin, fanout, power

dissipation and propagation speed, ECL, BiCMOS digital circuits, GaAs digital circuits. Inverters, input and

output circuits, NAND and NOR gates; static and dynamic analyses. Introduction to VLSI. Static and

dynamic memories: RAM, ROM, EPROM, EEPROM, etc. A/D and D/A converters.

References:

1. S. Sedra, and K. C. Smith, Microelectronic Circuits, 5th Edition, Oxford University Press.

CES‐321 Object Oriented Programming (3+2) 5th Semester

History of Java, Java class libraries, Basics of a typical Java Environment, introduction to Java applications

and Applets, control statements (if, if……else, switch, while, for, do…..while), Program modules in Java,

Math class methods, Method declaration, Argument promotion and casting, Java API packages, Scope of

declaration, Method overloading, Fundamental of characters and string, Class String, String methods,

Class String Buffer, Introduction to Arrays, Declaring and creating arrays, Passing arrays to methods,

Multidimensional arrays, Object based programming, Class declaration, Object creation, Inheritance,



Super classes and Subclasses, Protected members, Relationship between Super classes and Subclasses,

Constructors in subclasses, Inheritance hierarchy, Polymorphism, Abstract classes and methods,

Interfaces, Exception‐Handling, Files and Streams, Class file, Sequential‐Access files, Random‐Access files,

GUIs and event‐driven programming, Basic swing details, Buttons and action listener, Container class,

Text I/O for GUIs.

References:

1. Deitel, Deitel. 2008 Java How To Program (7th Ed.). Upper Saddle River, New Jersey: Prentice Hall

CES‐322 Operating Systems I (3+0) 5th Semester

Background, Computer‐system structures, Functions and Characteristics of a General Purpose OS, The Virtual Machine, Operating system structures, The Kernel of the Operating System, Process Management, Processes and threads, Process synchronization, Deadlocks, CPU scheduling, Storage Management, Memory management, Virtual memory, Paged Systems, Segmentation Systems, Memory Allocation Policies, File‐system interface, File‐system implementation, I/O Systems, I/O Devices, Buffering & Spooling, Secondary‐storage structure, protection and security in operating systems, Distributed Systems, Network and distributed system structures, Distributed file systems, Distributed coordination.

References:

1. Abraham Silberschatz and Peter Baer Galvin: Operating System Concepts, Addison‐Wesley, 1998 (5th ed.)

2. Modern Operating Systems (2nd Edition) by Andrew S. Tanenbaum 3. Operating Systems: Internals and Design Principles (4th Edition) by William Stallings

CES‐323 Computer Architecture and Organization (3+0) 5th Semester

Instruction Set Architecture and Design: Memory Locations and Operations , Addressing

Modes , Instruction Types , Programming Examples

Computer Arithmetic: Number Systems , Integer Arithmetic , Floating‐Point Arithmetic

Processing Unit Design: CPU Basics , Register Set , Datapath , CPU Instruction Cycle , Control Unit

Memory System Design I: Basic Concepts , Cache Memory

Memory System Design II: Main Memory , Virtual Memory , Read‐Only Memory



Basic computer organization and design: Instruction code , Computer registers, Computer

instructions , Timing and control ,Instruction cycle , Memory reference instructions , Input‐

output and interrupt

Input–Output Design and Organization: Basic Concepts , Programmed I/O , Interrupt‐Driven

I/O , Direct Memory Access (DMA) , Buses Input–Output Interfaces

Pipelining Techniques: General Concepts , Instruction Pipeline Introduction to Multiprocessors: Introduction , Classification of Computer Architectures ,

SIMD Schemes , MIMD Schemes

References:

1. FUNDAMENTALS OF COMPUTER ORGANIZATION AND ARCHITECTURE, Mostafa Abd‐El‐Barr, Hesham El‐Rewini, A JOHN WILEY & SONS, INC PUBLICATION

2. Computer system architecture, M Moris Mano, 3rd edition.

CES‐324 Microprocessor – I (3+1) 5th Semester

Introduction to the architecture and programming of microprocessors. Computer organization, Bus structures, addressing modes, Instruction fetch and execution, read/write cycles, assembly language programming techniques and microprocessor interfacing. memory, I/O interfacing interrupt processing, I/O processing, general microprocessor design. References:

1. Microprocessors and Interfacing: Programming and Hardware by Douglas V Hall 2. 8086/8088 Microprocessor: Architecture, Programming, and Interfacing by Barry B.

Brey



4TH YEAR / 6TH SEMESTER



No. of Credits

Total Credits

4th 6th

EED‐412 Digital Signal Processing 3+1 3.5

18+6 21.0

EED‐414 Control Systems ‐ I 3+1 3.5

EED‐415 Principle of Digital Communication 3+1 3.5

CES‐411 Data Acquisition System 3+1 3.5

CES‐413 Microprocessors Based Systems 3+1 3.5

CES‐416 Integrated Circuit Design 3+1 3.5

EED‐412 Digital Signal Processing (3+1) 6th Semester

Introduction to the principles of signal processing, including discrete‐time signals and systems, sampling

of continuous‐time signals, transform analysis of linear time‐invariant systems, structures for discrete‐

time systems, the z‐transform, the discrete‐time Fourier transforms, the discrete Fourier transform,

computation of the discrete Fourier transform using the FFT, and selected digital filters design

techniques.

References:

1. A. V. Oppenheim, R. W. Schafer and J. R Buck, Discrete‐Time Signal Processing, Prentice‐Hall. 2. S. K. Mitra, Digital Signal Processing, A Computer Based Approach, McGraw Hill.

EED‐414 Control Systems – I (3+1) 6th Semester

Introduction and linearized dynamic model. Transfer function models of physical system. Modeling of

feedback systems and controllers. Transient and steady state response analysis. Root locus analysis.

Bode diagrams and Nyquist plots. Design specifications in the time and frequency domains.

Compensation design in the time and frequency domain. Introduction to sampled data systems.

References:

1. John V. De Vegte, Feedback Control Systems, Third Edition. 2. Katsuhiko Ogata, Modern Control Engineering, Fourth Edition.



EED‐415 Principle of Digital Communication (3+1) 6th Semester

Fourier series, Fourier transforms and linear system analysis; random signals, autocorrelation functions and power spectral densities; analog communication systems: amplitude modulation, single‐sideband modulation, frequency and phase modulation, sampling theorem and pulse amplitude modulation; digital communication systems pulse‐code modulation, phase‐shift keying, differential phase shift keying, frequency shift keying; performance of analog and digital communication systems in the presence of noise.

References:

1. Principle of Communication System By Taub Schilliry 2. Digital Communication By Simon Hykin.

CES‐411 Digital Signal Processing (3+1) 6th Semester

Introduction to the principles of signal processing, including discrete‐time signals and systems, sampling of continuous‐time signals, transform analysis of linear time‐invariant systems, structures for discrete‐time systems, the z‐transform, the discrete‐time Fourier transforms, the discrete Fourier transform, computation of the discrete Fourier transform using the FFT, and selected digital filters design techniques.

References:

1. A. V. Oppenheim, R. W. Schafer and J. R Buck, Discrete‐Time Signal Processing, Prentice‐Hall. 2. S. K. Mitra, Digital Signal Processing, A Computer Based Approach, McGraw Hill.

CES‐412 Microprocessor Based Systems (3+1) 6th Semester

Interfacing Concept: Interfacing, Interfacing Types, Address Decoding, I/O Mapping, Memory

Mapping, I/O Memory Mapping, Registers and Input/output Registers, PC Interfacing

Techniques.

Digital Interfacing: Input/output and Microcomputer, Simple input, Simple output,

Programmable Parallel Ports, Handshaking, Single handshaking IO, Double handshaking IO,

Introduction to Programmable Peripheral Interface 8255 A, Functional Block Diagram,

Different Modes of Operations, Introduction to Programmable Interval Timer 8253 and

Difference between 8253 and 8254, Functional Block Diagram, Different Modes of Operation,



Keyboard Interfacing, Alphanumeric Display Interfacing, Microcomputer ports Interfacing to

high‐power devices.

Interrupts & Interrupt Controller: Interrupt Vector Tables, Types of Interrupts, Assembly

Language program and Interrupt Procedure Hardware interrupts and Applications, Examples

of Various ISR, Introduction to Programmable Interrupt Controller 8259, Functional Block

Diagram, Operations of Interrupt, Programming of 8259.

Analog Interfacing: Operational Amplifier Basics, Sensors and Transducers, Digital to Analog

Conversion and Analog to Digital Conversion – Basics, Operations, Specification, Applications

and Interfacing, A Microcomputer Based Industry‐Process Control System.

Serial and Parallel Data Communication: Synchronous and Asynchronous Data

Communication, Parity and other error control, Baud rates, Serial Interface Device,

Serialization, RS 232 Interface Pin Description, Simplex Connection, Duplex Connection, Full

Duplex Connection, Connection Between DTE to DTE, Connection to Printers and Zero

Modem. Microcontroller & Interfacing: General Microcontroller Concept, Pin Configuration, I/O Port

Structure, Memory Organization, Special Function Registers, External Memory, Reset

Operations, Instruction Set, Timer Operation, Serial Port Operation, Interrupt Design and

Processing, Assembly Instructions and Programming..

References:

1. The 8086 & 80286 Microprocessor Hardware, Software & Interfacing By Englewood Cliffs N. J., Prentice Hall 1990.

2. D. V. Hall, Microprocessors and Interfacing ‐ Programming and Hardware, McGraw Hill. 3. K. J. Ayala, The 8051 Microcontroller: Architecture, Programming and Applications, West

Publishing. 4. K.R. Fowler, "Electronic Instrument Design", New York Oxford, Oxford University Press. 5. E.O. Duebelin, "Measurement System Application and Design" Tata McGraw Hill, New

Delhi.

CES‐413 Integrated Circuit Design (3+2) 6th Semester

Integrated circuits trends, Digital integrated circuits implementation methodologies, MOS devices theory, SPICE simulation, CMOS fabrication, Inverters and combinational circuits, Sequential circuits, Clocking and timing issues, Interconnect issues, Arithmetic and data path circuits, Memories and array circuits, Low power design, Packaging, power and I/O issues, Testing and design for testability, Design methodologies and tools, Full‐custom IC design project



References:

1. N. H. E. Weste and D. Harris, “CMOS VLSI Design: A Circuits and Systems Perspective”, 3rd Edition , Addison‐Wesley, ISBN 0‐321‐14901‐7, May 2004.

2. J. Rabaey , A. Chandrakasan , B. Nikolic , “Digital Integrated Circuits: A Design Perspective” 2nd Edition, Prentice Hall, ISBN 0131207644, January 2003.

3. W. Wolf, “Modern VLSI Design: System‐on‐Chip Design”, 3rd Edition, Prentice Hall, ISBN 0‐13‐061970‐1, 2002.

4. M.J.S. Smith, “Application‐Specific Integrated Circuits” , Addison‐Wesley, ISBN 0‐201‐50022‐1, 1997.

5. L. A. Glasser and D. W. Dobberpuhl , “The Design and Analysis of VLSI Circuits” . Addison‐Wesley, ISBN 0‐201‐12580‐3, 1985. Detailed analysis of circuits, but largely nMOS .

6. C. A. Mead and L. A. Conway, “Introduction to VLSI Systems” . Addison‐Wesley, ISBN 0‐201‐04358‐0, 1980.






No. of Credits

Total Credits

4th 7th

EED‐421 Control Systems ‐ II 3+1 3.5

15+4 17.0

EED‐423 Communication Systems 3+1 3.5

CES‐421 Data & Computer Networks 3+0 3.0

CES‐422 Modeling and Simulations 3+1 3.5

CES‐423 Digital Image Processing 3+1 3.5

EED‐421 Control Systems – II (3+1) 7th Semester

Introduction to techniques for the analysis and design of linear control systems and implementation of control systems using digital technology. Digital control system analysis and design. State space analysis and design. Non linear control systems, the phase plane method, describing function, stability, direct method of Liapunov.

References:

1. John V. De Vegte, Feedback Control Systems, Third Edition. 2. Katsuhiko Ogata, Modern Control Engineering, Fourth Edition.

EED‐423 Communication Systems (3+1) 7th Semester

Review of random signals and system concepts, and modulation and detection. Basic antenna equations. SNR link calculations. Analysis of linear modulation in the presence of noise. Analysis of angle modulation in the presence of noise. The threshold effect, threshold extension, and pre‐emphasis and de‐emphasis in angle modulation. Digital modulation techniques. Detection principles for digital communication signals in noise: matched filter receivers, signal space concepts, maximum a posteriori receivers, maximum likelihood receivers. Partial response signaling. Channel coding. Coherent and non‐coherent detection. Maximum likelihood sequence estimation receivers for modulation with memory and the Viterbi algorithm. Channel capacity. References:

1. Simon Haykin, Communication Systems, John Wiley & Sons, Inc. 2. B. P. Lathi, Communication Systems, John Wiley & Sons, Inc.



CES‐421 Data and Computer Networks (3+0) 7th Semester

An introduction to computer and data communications and to types of networks. Strong emphasis in wired and wireless network design with mathematical modeling, simulation and trade‐offs in protocols and hardware. Examination of commonly used protocols and standards. An introduction to the topic of security in the context of computer systems and networks. Identify, analyze, and solve network‐related security problems in computer systems. Fundamentals of number theory, authentication, and encryption technologies, as well as the practical problems that have to be solved in order to make those technologies workable in a networked environment, particularly in the wide‐area Internet environment.

References:

1. Data communication and Networking 4th edition by Forouzan 2. Data Communication , Computer Network and Open System.

CES‐422 Modeling and Simulation (3+1) 7th Semester

Introduction and basic simulation procedures, Model classification: Monte Carlo simulation, Discrete‐event simulation, continuous system simulation, mixed continuous/discrete‐event simulation, Quantitative modelling paradigms: Queuing networks, stochastic process algebras and stochastic Petri nets, Input and output analysis: Random numbers, generating and analysing random numbers, sample generation, trace‐ and execution‐driven simulation, point and interval estimation. Process‐oriented and parallel and component simulation and modelling.

References:

1. SIMULATION MODELING H A N D B O O K, A Practical Approach By Christopher A. Chung 2. Theory of Modeling and Simulation, Second Edition By Tag Gon Kim 3. Principles of Modeling and Simulation: A Multidisciplinary Approach By John A. Sokolowski 4. Introduction To Operations Research By Frederick S. Hillier and Gerald J. Lieberman

CES‐423 Digital Image Processing (3+1) 7th Semester

An introduction to basic techniques of analysis and manipulation of pictorial data by computer. Brief review of image processing. Binary images, thresholding, morphological operations; edge detection and segmentation; contours: digital curves and curve fitting; statistical texture analysis, shape from texture; depth cues, stereo matching, depth from stereo; color perception and segmentation; and shading and image radiance, surface orientation, and shape from



shading Image input/output devices, image processing software, enhancement, segmentation, property measurement, Fourier analysis. Computer encoding, processing and analysis of curves.

References:

1. Image processing 2nd edition by Rafael Ghonzalez and Richard Woods. 2. Digital Image Processing by Schalkoff.






No. of Credits

Total Credits

5th 8th

GSD‐511 Technical Report Writing 2+0 2.0 10+8 14.0

CES‐511 Advanced HDL Des. & VLSI Systems 3+2 4.0

CES‐512 Intelligent Control & Expert Systems 3+2 4.0

CES‐599 Final project Part ‐ I 2+4 4.0

GSD‐511 Technical Report Writing (2+0) 8th Semester

Definition of technical writing, basic principle of technical writing, style of technical writing, technical writing techniques, informal and formal reports, types of technical reports, letters, report layout.

CES‐511 Advanced HDL Des. And VLSI Systems (3+2) 8th Semester

SEQUENTIAL CIRCUIT DESIGN: Analysis of Clocked Synchronous Sequential Networks (CSSN) Modeling of CSSN –State Stable Assignment and Reduction – Design of CSSN – Design of Iterative Circuits – ASM Chart – ASM Realization.

ASYNCHRONOUS SEQUENTIAL CIRCUIT DESIGN: Analysis of Asynchronous Sequential Circuit (ASC) – Flow Table Reduction – Races in ASC – State Assignment – Problem and the Transition Table – Design of ASC –Static and Dynamic Hazards – Essential Hazards – Data Synchronizers – Designing Vending Machine Controller – Mixed Operating Mode Asynchronous Circuits.

FAULT DIAGNOSIS AND TESTABILITY ALGORITHMS: Fault Table Method – Path Sensitization Method – Boolean Difference Method –Kohavi Algorithm – Tolerance Techniques – The Compact Algorithm – Practical PLA’s – Fault in PLA – Test Generation – Masking Cycle – DFT Schemes – Built‐in Self‐Test.

SYNCHRONOUS DESIGN USING PROGRAMMABLE DEVICES: EPROM to Realize a Sequential Circuit – Programmable Logic Devices Designing a Synchronous Sequential Circuit using a GAL – EPROM – Realization State machine using PLD – FPGA – Xilinx FPGA.

SYSTEM DESIGN USING VERILOG: VERILOG Description of Combinational Circuits – Arrays – VERILOG Operators –Compilation and Simulation of VERILOG Code – Modeling using VERILOG – Flip Flops – Registers – Counters – Sequential Machine – Combinational Logic Circuits – VERILOG Code for – Serial Adder, Binary Multiplier – Binary Divider – complete Sequential Systems – Design of a Simple Microprocessor.

References:



1. Donald G. Givone “Digital principles and Design” Tata McGraw Hill 2002. 2. John M Yarbrough “Digital Logic appns. and Design” Thomson Learning, 2001. 3. Nripendra N Biswas “Logic Design Theory” Prentice Hall of India, 2001.

CES‐512 Intelligent Control and Expert Systems (3+2) 8th Semester

Unit 1 : syntax and the control structures of the Prolog language. Unit 2 : operations on lists, operator notation and arithmetic, and data abstraction.

Unit 3 : the “cut” facility used for preventing backtracking and introduces the concept of “negation as failure”.

Unit 4 : more built‐in procedures and control facilities.

Unit 5 : algorithms for operations in lists, trees and graphs.

Unit 6 presents different techniques for problem solving and for representing decomposable problems.

Unit 7 : the fundamental concepts of knowledge representation and expert systems.

Unit 8 : the concepts related to processing natural language using grammar rules.

Unit 9 : the concept of machine learning.

References:

1. Ivan Bratko. 2001 PROLOG Programming For Artificial Intelligence (3rd ed. Printed 2001). England. Addison Wesley ‐ ISBN 0‐201‐40375‐7

2. Artificial Intelligence 3rd edition, by Patrick Henry Winston. 3. George F. Luger, 2005. Artificial Intelligence: Structures and Strategies for Complex Problem

Solving (5th Edition). Addison‐Wesley, ISBN‐10: 0321263189. 4. Michael Negnevitsky, 2005. Artificial Intelligence: A Guide to Intelligent Systems (2nd Edition).

Addison‐Wesley, ISBN‐10: 0321204662.

CES‐599 Final Project ‐ I (2+4) 8th Semester

Selection of the project subject, initial proposal, the plan and the time table of the project, data collection and the necessary arrangement for the lab experiments or field studies if there are any, end‐term project report submission.






No. of Credits

Total Credits

5th 9th

CES‐521 Elective ‐ I 3+1 3.5 8+6 11.0

CES‐522 Elective ‐ II 3+1 3.5

CES‐599 Final Project – II 2+4 4.0

CES‐599 Final Project ‐ II (2+4) 9th Semester

Conducting the lab experiments or field studies if there are any, organizing the data, analyze and discussion of the result, writing the initial report, project presentation, final project submission.

CES‐521 Operation Research (3+1) 9th Semester

Linear programming:

Formulation: A simple linear programming model and its graphical solution examples of application, Resource allocation.

Algebraic Solution: standards of the linear programming model, simplex method, special cases in simple method application. Interpreting the simplex tableau – Sensitivity Analysis.

Duality and Sensitivity Analysis: Definition of the dual problem, primed dual relationship. Economic interpretation of duality, dual simplex method Sensitivity of postoptimal analysis.

Linear programming Networks: Network minimization, shortest route, and maximal flow problems. Linear programming representation of networks.

Dynamic Programming: Elements of dynamic programming model, definition of the state, computation examples, problem of dimensionality in dynamic programming. Solution of linear programming with dynamic programming.

Inventory Model: General model, types of models (Deterministic and Probabilistic)

Queuing Theory: Basic elements of queuing model, Role of probability distributions', Arrival process, Departure process, Queues with priorities for service. Series queues analysis of queues by Imbedded Markov Chains.

CES‐522 Computer Archit. & Parallel Processing (3+1) 9th Semester

Unit‐1: Memory System Design: Program characteristic cache memory cache structure, cache

Design, replacement policies, writing to the cache, virtual memory, program locality, Buffering.



Unit‐II: Pipeline Design Techniques, Pipeline Design, memory structure in Pipeline computers,

performance of Pipelined computers, control of Pipeline stage, multifunction Pipeline, the collision

vector conditional branches.

Unit‐III: Vector computers, Vector processors , Multiple memory Modules, Intermediate memories,

Data structuring Techniques for vector machines, Attached Vector processors sparse matrix

Techniques, systolic arrays.

Unit‐IV: multi‐processors: performance Modeling interconnection, Bus, Ring, Crossbar meshes, the

shuffle exchange, The butterfly, Hypercube, cache coherence.

Unit‐V: multi‐processors: Algorithm: parallelism, the do par and do seq construction, performance

granularity, synchronization Techniques, parallel search, transforming serial Algorithms into

parallel dependency scheduling.

References:

1. High Performance computer Architecture By : Harold Stone.

CES‐523 Digital System Testing & Simulation (3+1) 9th Semester

Unit‐1: Modeling functional modeling logic level, register level, fault modeling, fault detection and

redundancy, fault equivalence and dominance. Logic simulation: Compiled simulation. Event driven

simulation, Delay models delay types, rise and fall delays, inertial delays, ambiguous delays.

Unit‐II: Fault simulation Serial parallel, deductive, concurrent Fault simulation.

Unit‐III: Testing Algorithm; path sensitization, D‐ Algorithm, PODEM, FAN , random testing

generation, testing of sequential circuits, function testing, exhaustive and pseudo exhaustive

testing, Fault models for microprocessor

Functional testing of microprocessor.

Unit‐IV: Logic level diagnosis: Fault dictionary, guided‐probe testing, and diagnosis by UUT

reduction, and expert system for diagnosis.

Unit‐V: Design for testability; controllability, Test points, partitioning, scan based designs, built in

self‐test.

References:

1. Digital systems testing and testable design.By : Miron Abramovici, Melvin A Brueuer, and Arthur.

CES‐524 Database Management System (3+1) 9th Semester

Unit‐1: Basic concepts, Definition and motivation , data models, operational data and data

independence , an architecture of data base system, query formulation, distributed and relational

database, first order logic.



Unit‐II Storage structure Representation of data , indexing techniques.

Unit‐III: data structure and corresponding operation data structure to minimize access time, the

relation approach, the hierarchical approach, the network approach higher level operators.

Unit‐IV: The Relation Model : Objective of the model data structure of the Model minimize integrity

rules, Relation algebra and its extensions, non procedural language .

Relation data base design: design process Analysis, user requirements Analysis.

Unit‐V: Constriction of database management system: survey of some exiting Database systems,

conceptual and logic design of data base

References:

1. An Introduction to Database Systems, By C.J. Data Addison Wesley.

CES‐525 Fault Tolerant Computing (3+1) 9th Semester

Unit‐1: Coding Techniques : Error detecting Codes, Self checking circuit, Checkers parity check

matrix, fault masking, majority decoding, Fall safe circuits.

Unit‐II: Architecture of fault‐Tolerant Computers: General purpose commercial system (VAX, IBM)

High availability system (intel ) , long life system & space scraft systems.

Critical compilation (C.omp).

Unit‐III: fault Tolerant Multiprocessor: Reliable shared bus design ,shared memory , loop and tree

networks, dynamically reconfigurable fault Tolerant networks.

Unit‐IV: system Diagnosis and Reliability : faults, tests and fault ; test relationship , diagraph

representation Diagnosability Analysis , Diagnosis algorithm , Distributed Diagnosis Probabilistic

treatments the Reliability model , the coverage model.

Unit‐V: fault tolerant software : software failures faulty programs, design of fault tolerant software ,

Reliability models, acceptance test, software validation.

References:

1. Fault Tolerant computing, Vo.II by D.K Pradham. Prentice –Hall Inc.

CES‐526 Program Specification and Verification (3+1) 9th Semester

Unit‐I: Introduction : Formal methods, the verification problem, The specification problem program

verification.

Unit‐II: Modes of computation : nature of a Formal model , Abstraction , program semantics and

abstract, Machine, abstract Machines Approaches defining program semantics, The operational

Approach, The denotation Approach , the axiomatic Approach.



Unit‐III: verification methods : Terminology and notations, programs correctness , Syntactic unit

correctness programs and Syntactic units, The relationship between teting and verification.

Unit‐IV: verification techniques, operational definition of execution function Denotation definition

of execution function, axiomatic definition of execution function Approaches to proofs of the

partial correctness , Deductive system, the mathematical basis of the axiomatic Approach,

Limitations of the axiomatic Approach axiomatic correctness proofs, the inductive assertion,

Method , The axiomatic Method.

Unit‐V: Approaches to proofs of total correctness, correctness of parallel program Applications.

References:

1. Formal Method of program verification & specification By:H.K Berg, W.EBrebart, W.R Frante, T.G Moher

CES‐527 Radar Data Processing (3+1) 9th Semester

Unit‐I: Introduction : Formal methods, the verification problem, The specification problem program

verification.

Unit‐II: Modes of computation : nature of a Formal model , Abstraction , program semantics and

abstract, Machine, abstract Machines Approaches defining program semantics, The operational

Approach, The denotation Approach , the axiomatic Approach.

Unit‐III: verification methods : Terminology and notations, programs correctness , Syntactic unit

correctness programs and Syntactic units, The relationship between testing and verification.

Unit‐IV: verification techniques, operational definition of execution function Denotation definition

of execution function, axiomatic definition of execution function Approaches to proofs of the

partial correctness , Deductive system, the mathematical basis of the axiomatic Approach,

Limitations of the axiomatic Approach axiomatic correctness proofs, the inductive assertion,

Method , The axiomatic Method.

Unit‐V: Approaches to proofs of total correctness, correctness of parallel program Applications.

Unit‐I: Radar information source, information coverage parameters, information estimate, accuracy,

resolution powers, clutters and interference selection abilities.

Unit‐II: Radar general block diagram, search methods, choce of radar signals wavelength, clutters

interference selection Method.

Unit‐III: Digital RDP: Automatic detection concept, Digital filtration of radar signal Digital Methods

of measurement at location, connection radar output with computer.

Unit‐IV: Automatic detection and tracking (ADT) Movement models; track‐ while scan concepts; B‐

filter procedure; Kalman filter procedure.

Unit‐V: RDP Application on C3 concept radar data application on command and control systems :

Methods of system point of view realization with RDP applications.



References:

1. Radar system Design and Analysis By S.A Hovanessian Arthech House Inc.1984 2. Air Military Data Processing & microcomputers, By J.W.D Ward

Comp

En

puter Eng

gineering

gineering D

Academy

Departme

y Tajoura

ent

Computer Engineering Depa t - eat.edu.lyeat.edu.ly/images/downloads/CES-2010.pdfENGINEERING ACADEMY...

Documents

Transcript of Computer Engineering Depa t - eat.edu.lyeat.edu.ly/images/downloads/CES-2010.pdfENGINEERING ACADEMY...