CSD Syllabus Structure
CSD Syllabus Structure
Compulsory Subjects
The compulsory subjects are majority in the two first years and in the fourth year of the degree The following tables include information about the compulsory subjects: FIRST STAGE First Year Credits Semester A Semester B Sem. A Sem. B Total Mathematical Analysis 6 6 12 Computer Fundamentals 6 6 12 Fundamentals of Physics for Computer Science 4.5 4.5 9 Programming 6 6 12 Mathematical Structures for 9 0 9 Computer Science I Computer Technology 0 6 6 Numerical Computation 0 6 6 Elective Subjects 0 6 6 Total 31.5 40.5 72
Second Year Semester A Semester B Statistics Data Structures and Algorithms Computer Structures Management of Organizations and Information Systems Logic Design Operating Systems I Databases Methodology and Technology of Programming Operating Systems II Elective Subjects Total
Third Year Credits Semester A Semester B Sem. A Sem. B Total Database Design 6 0 6 Evaluation of Computer 4.5 0 4.5 Systems Foundations of Computer 6 0 6 Networks Mathematical Structures for 4.5 0 4.5 Computer Science II Operations Research I 0 6 6 Algorithmics 0 4.5 4.5 Graphical User Interfaces 0 6 6 Programming Languages 0 6 6 and Paradigms Automata Theory and Formal Languages 4.5 4.5 9 Optional Subjects 6 6 12 Elective Subjects 6 4.5 10.5 Total 37.5 37.5 75
Optional Subjects
Third Year Optional Subjects Title Credits Title Credits Cryptography 6 Numerical Algorithms 6 Economic Valuation of Strategy and the new Computer Science Projects 6 6 Information Technologies and Assets Study of an Operating 6 Simulation of Dynamic Systems 6 System Symbolic Calculus 6
SECOND STAGE Fourth Year Credits Semester A Semester B Sem. A Sem. B Total Requirements Engineering 6 0 6 Artificial Intelligence 4.5 0 4.5 Learning and Perception 0 4.5 4.5 Systems Engineering and 0 6 6 Automatic Engineering Computer Arquitecture 4.5 4.5 9
4.5 6 4.5 6 36
4.5 6 4.5 9 39
9 12 9 15 75
Fifth Year 1.- Industrial Computing 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. Automation & Robotics Laboratory (4.8 ECTS) Computer Assisted Design (4.8 ETCS) Computer Assisted Manufacturing (3.6 ECTS) Computer Graphics (4.8 ECTS) Digital Image Processing (4.8 ECTS) Digital Image Production (4.8 ECTS) Industrial Control (4.8 ECTS) Industrial Instrumentation (3.6 ECTS) Industrial Local Networks (3.6 ECTS) Real-Time Systems (4.8 ECTS) Robotics (3.6 ECTS) Vision Systems (4.8 ECTS)
2. - Computer Engineering 1. 2. 3. 4. 5. 6. 7. 8. Advanced Architectures (3.6 ECTS) Advanced peripheral units (3.6 ECTS) Computer evaluation, modeling & simulation (3.6 ECTS) Design of Microprocessors Systems (4.8 ECTS) Fault Tolerant computer systems (3.6 ECTS) Languages & Environments for parallel programming (4.8 ECTS) Parallel Computation (4.8 ECTS) VLSI Architectures Design (4.8 ECTS)
3. - Software Engineering 1. 2. 3. 4. 5. 6. 7. 8. 9. Advanced Databases (4.8 ECTS) Advanced Software Technology (4.8 ECTS) Advanced tools for software development (4.8 ECTS) CASE tools & semi-formal methods in software engineering (4.8 ECTS) Components Technology. Design patterns & code generation (4.8 ECTS) Conceptual Modeling of Information Systems (4.8 ECTS) Database Technologies (4.8 ECTS) Distributed Systems (4.8 ECTS) Formal Methods in Software Engineering (4.8 ECTS)
10. Management & Organization of Software Projects (4.8 ECTS) 4. - Languages & Artificial Intelligence 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. Advanced tools of software development (4.8 ECTS) Artificial Intelligence Techniques(4.8 ECTS) Declarative Programming (4.8 ECTS) Information Encoding (4.8 ECTS) Intelligent Systems (4.8 ETCS) Language theories (4.8 ECTS) Learning (4.8 ECTS) Neuronal Networks (4.8 ECTS) Pattern Recognition (4.8 ECTS) Programs Automatic Optimization (4.8 ECTS)
5. - Computer Networks & Operating Systems 1. 2. 3. 4. 5. 6. 7. 8. Distributed Systems (4.8 ECTS) Distributed Systems Design & Applications (4.8 ECTS) Local Area Networks & Internetworking (4.8 ECTS) Multimedia Networks (4.8 ECTS) Operating Systems Design (4.8 ECTS) Operating Systems Management (4.8 ECTS) Security in Computer Systems (4.8 ECTS) Signals, systems & radio devices (4.8 ECTS)
6.- Information Systems 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. Advanced Databases (4.8 ECTS) CASE tools & semi-formal methods in software engineering (4.8 ECTS) Conceptual Modeling of Information Systems (4.8 ECTS) Database Technologies (4.8 ECTS) Informatics of the productive, logistic and commercial system (4.8 ECTS) Informatics Tools for Enterprises (4.8 ECTS) Information Systems Audit (4.8 ECTS) Management & Organization of Software Projects (4.8 ECTS) Management of Information Projects (4.8 ECTS) Operating Research II (4.8 ECTS) Quality Control (4.8 ECTS)
General courses Medical Informatics Bioinformatics Foundations of multimedia systems Multimedia integration Introduction to audio synthesis, editing and postproduction Databases and data mining Development of applications for mobile devices Mecatronics
PROGRAMMING
Degree Department Lecturer in charge Type Total credits Code Course Objectives Resolve simple problems efficiently Encode the solutions to the problems in C Computational complexity Recursion Data structures Sorting algorithms Syllabus 1. Work environment. Operating system. Basic commands. 2. Editing. Security copies. 3. Compiling: concept. Execution of programs. 4. Programming elements: control structures. 5. Program debugging. 6. Experimental cost study. 7. Revision of tools. 8. Recursion. 9. Standard input and output. Files. 10. Data structures: lists, stacks, queues. 11. Sorting algorithm: analysis of temporary behaviour. Practice
5537 1
PRG A+B
Evaluation standards
Bibliography Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman. Estructuras de datos y algoritmos. Addison-Wesley Iberoamericana, 1988. Brian W. Kernighan, Dennis M. Ritchie. El lenguaje de programacin C. Prentice-Hall Hispanoamericana, 2a. ed., 1991. Mark Allen Weiss. Estructuras de datos y algoritmos. Addison-Wesley, 1995. Francesc J. Ferri, Francesc V. Albert, Gregorio Martn. Introducci a lanlisi i disseny dalgorismes. Universitat de Valncia, 1998. Ellis Horowitz, Sartaj Sahni, Sanguthevar Rajasekaran. Computer algorithms. Computer Science Press, 1998.
Pgina 2
MATHEMATICAL ANALYSIS
Degree Department Lecturer in charge Type Total credits Code Course Objectives The student will become familiar with calculation tools and techniques in one and several variables, and also those corresponding to the solving of ordinary differential equations. More advanced stopics will also be covered, such as the operation of complex functions and of series of functions, actually studying Fourier series. Syllabus The methodology will be mainly practical with the aid of computer applications for calculating and representing. 1. Preliminaries. Functions of one real variable. 2. Complex numbers and functions of one complex variable. 3. Sequences of real numbers. Difference equations. 4. Series of real numbers. 5. Functions of several variables. 6. Sequences and series of functions. Fourier Series. 7.Ordinary differential equations Practice 1. Basic knowledge of Mathematica. Basic commands 2. One real variable functions. Definition, graphs and limits. 3. Derivatives and Taylor Polynomials. Complex numbers. 4. Approximate resolution of equations. 5. Sequences and series of real numbers. 6. Integration. Numerical approximation. 7. Functions of several variables. 8. Relative extremes and integration of functions of several variables. 9. Fourier Series. 10. Ordinary differential equations. Appendix: Real variable vector functions and curve representations Evaluation standards 80% of the subject grade corresponds to the theory and the remaining 20% to the laboratory. Bibliography Adems de las notas de la asignatura, se recomienda que los alumnos consulten: T.M. Apostol, Calculus, Ed. Revert F. Ayres and E. Mendelson, Clculo Diferencial e Integral. Ed. McGraw-Hill, Serie Schaum 3ed.
Pgina 3
5538 1
AM A+B
V. del Olmo, D. Garca-Sala, Ll. Gascn y A. Pastor, Anlisis Matemtico I (Ejercicios Resueltos). Ed. Tebar, 2000. W.R. Derrick, Variable Compleja con Aplicaciones. Grupo Editorial Iberoamericana. R. Fuster e I. Gimnez, Variable compleja y ecuaciones diferenciales. Ed. Revert. E. Kreyszig, Matemticas avanzadas para ingeniera. Ed. Limusa. Salas, G.J. Hille-Etgen, Calculus. Ed. Revert, 2002. G.B. Thomas y R.L. Finney, Clculo de una variable. Ed. Addison Wesley Longman, 1999. G.B. Thomas y R.L. Finney, Clculo de varias variables. Ed. Addison Wesley Longman, 1999.
Pgina 4
COMPUTER BASICS
Degree Department Lecturer in charge Type Total credits Code Course Objectives To know the internal structure and basic operation of computers. To know and understand the elements which support the arithmetic and logical operations of computers. To know and understand the function of the basic structural elements of the processor for the execution of a set of minimal instructions. Syllabus - The program is divided into: - Block I.- Study of the methods used by the computer to represent the information. - Block II.- Introduction to basic digital circuits and memory elements. - Block III.- Assembly language of the MIPS R2000 processor; instruction set and encoding. - Block IV.- Study of the elements which compose the Central Processing Unit, their interconnection and the implementation of the necessary control logic. Practice The practical work of the subject is divided into three blocks: - Block I: Study, design and construction of combinational and sequential digital systems. The setting up of the circuits is done by means of the logic trainer. - Block II: Assembly language. Instruction encoding, analysis and programming in assembly language. SPIM simulator. - Block III: Datapath and control unit. Analysis and design. Simulation via Xillinx. Evaluation standards Evaluation standards: - The evaluation comprises theory as well as practice. - Theory: Final exam in June/September. This represents 90% of the final grade. - Practice: Attendance at teaching practice is obligatory. Failure to meet attendance requirements will make a practice exam necessary. Practical classes are evaluated and represent 10% of the final grade. Bibliography Introduccin a los Computadores. J. Sahuquillo y otros. Ed. SP-UPV, 1997 (ref. 97.491). Bloques I, II y III Organizacin y diseo de computadores: La interficie circuitera/programacin. D.A. Patterson y J.L. Hennessey. Ed. Revert, 2000. Bloques III y IV Digital Design: Principles and practices. J.F. Wakerly. Ed. Prentice-Hall Internacional, 2000 V.C. Hamacher y otros. Computer Organization. Ed. McGraw-Hill, 1996 Charles H Roth, Jr. Fundamentos de diseo lgico. Thomson, 5 Ed. 2004
5539 1
FCO A+B
Pgina 5
5540 1
FFI A+B
3. Error or uncertainty theory - Practice 1. Instrumentation. Circuit assembly. Evaluation of electric resistance measuring systems. 2. Oscilloscopes 3. Transient phenomena. Charging and discharging capacitors. 4. Semiconductor diodes. Characterisation and applications. 5. BJT. Characterisation and applications. 6. Resonance in AC circuits. Filtering. Evaluation standards The evaluation of the subject can be done in partial exams or a final exam. Together with laboratory practice, the final FFI qualification will be obtained according to the following scheme: - Practice grade: 50% practical exam + 50% Attendance (obligatory) and laboratory reports (minimum of 2.5 points in each part) - Theory grade (theory and problems): the theory grade is obtained either by partial exams (January and June) or by final exam (June). To pass via partial exams, the minimum grade of each one is 4 points. - Partial exams and the final exam consist of one part questions and the other part problems. The minimum grade for each is 2.5 points. - Total grade: 25% Practical grade + 75% theory grade. (To calculate the average a minimum of 4 in theory+problems and in practice is required). The exam dates are set by the Faculty of Information Systems, and the confirmed announcement with the classrooms and timetable will be made public before each exam. The first partial exam will evaluate the first six topics of the subject. The second will evaluate the last six topics. The grades of the partial and final exams will be made public on the website of the subject, as well as all the information related to the revision of the exams. If only the laboratory practice or total theory grade has been passed in June, the qualification will only be maintained for the September exam and the next two of the following year, not keeping the grade for subsequent courses. Bibliography Fundamentos fsicos de la informtica, Jos Antonio Gmez Tejedor ... [et al.]. Valencia : Universidad Politcnica de Valencia, 2003. Ref.: 2003.904 Cuestiones y problemas de electromagnetismo y semiconductores, Jos Antonio Gmez Tejedor, Juan Jos Olmos Sanchis; colaborador, Jose M Meseguer Dueas. Valencia : Universidad Politcnica de Valencia, D.L. 1999, ( SPUPV ; 99.4157) ( Libro docente) ISBN 8477218277 Qestions i problemes delectromagnetisme i semiconductors, Jos Antonio Gmez Tejedor, Juan Jos Olmos Sanchis; colaborador, Jose M Meseguer Dueas. Valencia : Universidad Politcnica de Valencia, D.L. 1999, ( SPUPV ; 99.3517) ( Renaixena i futur : Monografies de la Universitat Politcnica de Valncia sobre cincia, tecnologia i art), ISBN 8477218285 Prcticas de fundamentos fsicos de la informtica : Facultad de Informtica, Jos Antonio Gmez Tejedor ... [et al.]. Valencia : Editorial UPV, D.L. 2003 Ref.: 2003.526, ISBN 8497053109 Prctiques de fonaments fsics de la informtica, Jos Antonio Gmez Tejedor ... [et al.]. Valncia : Editorial UPV, 2003 ( Renaixena i futur : Monografies de la Universitat Politcnica de Valncia sobre cincia, tecnologia i art) Ref.: 2003.3539, ISBN 8497053486 Electricidad y magnetismo, luz, fsica moderna : mecnica cuntica, relatividad y estructura de la materia, Paul A. Tipler. - Barcelona : Revert, 1999, Trad. de 4 ed. en ingls, ISBN 8429143823 (Vol. 2), ISBN 842914384X (O.G.) Curso de fisica aplicada : Electromagnetismo y semiconductores, J. Llinares; A. Page. Valencia : Universidad Politcnica de Valencia, 1987. SPUPV - 87.331, ISBN 8477210268 Fsica para ciencias e ingeniera, Raymond A. Serway, Robert Beichner, 5 ed. - Mxico : McGraw-Hill/Interamericana, 2000, ISBN 9701035828 (Vol. 2), ISBN 9701035801 (O.G.) Fsica clsica y moderna, W. Edward Gettys, Frederick J. Keller, Malcolm J. Skove Madrid : McGraw-Hill, D.L. 1991. ISBN 8476156359 Fonaments de fsica, Vicente Martnez Sancho, Barcelona : Enciclopdia Catalana, cop. 1991. Fsica universitaria, Francis W. Sears ... [et al.]. Mxico [etc.] : Addison Wesley Longman de
Pgina 7
Pgina 8
5541 1
EMI1 A
Johnsonbaug, Matemticas Discretas, Pearson-Prentice Hall, 1997. Garca Merayo, F. Matemtica Discreta, Thomson-Paraninfo, 2001 Ferrando, J.C., Gregori V., Matemtica Discreta, Revert, Barcelona 1995. M. ANZOLA, J. CARUNCHO, Problemas de lgebra. Tomo 3: Espacios vectoriales, Deimos, 1981. J. De BURGOS, Curso de lgebra lineal y geometra, Alhambra. 1977. J. GARCA GARCA, M. LPEZ PELLICER, Algebra lineal y geometra, Marfil. 1977. A. HERVS, L. JDAR, H. WESTON, A. LAW, A. REZAZADEH, Computational Procedures for the Drazin, Moore-Penrose and Other Generalized Inverses, IMSL User Group North America 4th Annual Conference. T.W. HUNGERFORD, Algebra, Springer-Verlag, New York 1974. P. LANCASTER, M. TISMENETSKY, The theory of matrices, Academics Press. 1985. S. LANG, Introduccin al lgebra lineal, Addison Wesley Iberoamericana. 1990. G.Nakos y D. Joyner, Algebral lineal con aplicaciones, Thomson,1998. M.J. SOTO, J.L. VICENTE, Algebra lineal con Matlab y Maple, Prentice-Hall Internacional, 1995. G. STRANG, Algebra lineal y sus aplicaciones, Addison-Wesley Iberoamericana. 1986.
Pgina 10
COMPUTER TECHNOLOGY
Degree Department Lecturer in charge Type Total credits Code Course Objectives To know the basics of semiconductor devices used in Computer Technology. Apply basic concepts about devices in the analysis of electrical circuits. Characterise and compare the main integrated digital circuit technologies. Learn, by means of simulation, the behaviour of some basic circuits. Set up simple electrical circuits. Syllabus Topic 1: Diodes Topic 2: BJT Transistors Topic 3: FET Transistors Topic 4: Introduction to Logic Families. TTl Family. Topic 5: CMOS Family Practice 1. Constant linear circuits 2. Introduction to PSpice. Circuits with diodes. 3. Bipolar Transistor. 4. Mosfet Transistor. 5. Logical families (I) 6. Logical families (II) Evaluation standards Test on the first part of the subject (Topics 1-3) Final exam in June and September Bibliography Teoria: A.R. Hambley: Electrnica (2 Ed.) ,2001 M.H. Rashid:Circuitos microelectrnicos. Anlisis y diseo, 2002 N. R. Malik: Circuitos electrnicos: anlisis, simulacin y diseo, 1996 R. Boylestad: Electronic devices and circuit theory, 2002 J.F. Wakerly:Digital Design. Principles and Practices. Prentice-Hall. 1999. Pablo Alcalde S. Miguel: Principios fundamentales de la Electrnica Paraninfo, 2002 Problemes: G. Benet, J. V. Benlloch, V. Busquets, D. Gil, P. Prez: Ejercicios resueltos de Ampliacin de Tecnologa de Computadores, S.P.U.P. de Valencia. 2002 J.V. Benlloch, G. Benet, P. Gil: Problemas resueltos de electrnica. S.P.U.P. de Valencia. 1988
5542 1
TCO B
Pgina 11
NUMERIC COMPUTING
Degree Department Lecturer in charge Type Total credits Code Course Objectives Produce methods to efficiently find approximate solutions to problems expressed mathematically. Introduce the student to the use of numerical packages on the market for solving problems expressed mathematically. Syllabus 1. Introduction to Numeric Computing. Errors 2. Resolution of non-linear equations 3. Resolution of Linear Equation Systems 4. Interpolation, Derivation and Integration Practice Weekly practical classes in the MATLAB environment, about the different points of the topic. Attendance is obligatory and several reports about the exercises completed are required. If a student is unable to attend the practical classes they will be required to sit a special exam at the computer on the same date as the normal exam. Evaluation standards The theory and practical parts are evaluated separately, each worth 50% of the grade. The theory exam is evaluated as a written exam. The practical part is evaluated as a written exam (35% of the total grade) and by the reports completed during the course (15% of the total grade). It is possible to improve the grade by means of voluntary work, proposed by the tutors. Bibliography V. Vidal, J. Garayoa: "Introduccin a la Computacin Numrica". S.P.U.P.V. Ref: 2000.4187 Burden, R.L.; Faires, J.D.:"Anlisis Numrico" (2 edicin). Ed. Grupo Editorial Iberoamericana (1996). Chapra, S.C.; Canale, R.P: "Mtodos numricos para ingenieros, con aplicaciones en computadoras personales". Ed. McGraw-Hill (1987). David Kincaid. Ward Cheney: "Anlisis Numrico, Las Matemticas del Clculo Cientfico" Ed. Addison-Wesley Iberoamericana (1994) Penny J., Lindfield G. "Numerical methods using Matlab" Ed. Ellis Horwood. (1995)
5543 1
CNU B
Pgina 12
STATISTICS
Degree Department Lecturer in charge Type Total credits Code Course Objectives To present Descriptive Statistics concepts, the basics of Probability Calculation, and develop at operation level the basics of ANOVA, DOE and Regression Models. Present the student with diverse practical applications for these techniques in the field of engineering using relevant statistics software. To encourage the habit of producing conclusions from the analysis of the information contained in the observed data or experimentally generated. Syllabus In the proposed program a coherent balance between theory and practice is maintained. The theoretical aspects which are not strictly necessary to understand the statistics methodologies and techniques taught, are discarded. Instead, the core of the subject is reinforced, putting special emphasis on the study of methods and models of most interest for application in the field of engineering. 1. Introduction 2. Unidimensional Descriptive Statistics 3. Bidimensional Descriptive Statistics 4. Basic concepts of the calculation of probabilities 5. Distribution of probability 6. Normal Distribution 7. Sampling Distribution 8. Basic concepts of Statistical Inference 9. Inference for normal populations 10. Single Factor Analysis of Variance 11. General concepts of Experimental Design 12. 2k Designs 13. More than 2 level factor balanced Design 14. Factorial fractions. Orthogonal Arrays of Taguchi 15. Regression models 16. Introduction to Statistics Processes 17. Wait-Queue systems Practice Description of the type of practical work carried out: Attendance at practical classes is obligatory Every weekly theory session taught (three hours long) is associated with a practical session. In those themed units which, due to their contents, permit the didactic use of statistics software, the practical session will include the use of said software and will be carried out in the computer laboratory. In the rest of the units the practical sessions will consist of the solving of different problems and questions. In practical sessions students will work in groups of three people. Organisation of practical sessions:
Pgina 13
5822 2
EST A+B
Every week practical sessions will be carried out, following on from the themed unit covered in the theory sessions. Students will work in groups of three people, keeping the same groups throughout the course. Evaluation of practical sessions: Each practical session ends with an evaluation exercise. The qualifications obtained in these evaluations make up the practical grade. The practical grade ranges between -1 (if none of the practical sessions have been attended) and +1 (those who have attended the practical sessions and have all the correct evaluations). The practical grade is made up of the average grade of the two partial exams or of the final exam (at least 4.5) constituting the qualification of the subject. Evaluation standards The subject will be taught in the context of a PIE project, as a consequence, the practical work is of essential importance. Every week the practical session ends with an evaluation exercise carried out in teams, and whose result forms a part of the students final qualification. The subject consists of two partial exams (February and June). The subject grade is calculated as the average of those two partial exams (grade of at least 4.5) plus the practical grade. Those students who suspend the first exam (or do not sit it) will be graded on the final exam in June. The practical grade will be calculated into this exam (at least 4.5). This will be the final subject grade. No grade from the partial exams will be carried over to the final exam in September. The September exam corresponds to the subject total. Bibliography BIBLIOGRAFA BSICA: TEORA Y PRCTICA Romero, R., Znica, L. Mtodos Estadsticos en Ingeniera. SPUPV 2005-637. Este texto ha sido preparado especficamente para impartir la asignatura, constituyendo la referencia bsica para la misma, y siguindose estrictamente a lo largo del curso. PROBLEMAS, TABLAS Y FORMULARIO En Reprografa se dispone de: 1.- Coleccin de examenes de la asignatura (Anterior y nuevo Plan)resueltos. 2.- Coleccin de problemas propuestos. 3.- Formulario y Tablas de las Distribuciones. BIBILIOGRAFA COMPLEMENTARIA: TEORA Y PRCTICA Box, Hunter, Hunter, Estadistica para investigadores. Ed. Reverte,1989 Jain, R. The Art of Computer Systems Performance Analisys. John Wiley and Sons, 1991. Montgomery, D. Diseo y Analisis de Experimentos. Grupo Editorial Iberoamericana,1991. Pea, D. Estadstica: modelos y mtodos Vol. 1 y 2. Fundamentos. Alianza Universidad, 1986. Trivedi, K. S. Probability and Statistics with reliability, queuing and Computer Science applications. Prentice-Hall Internacional, 1982
Pgina 14
5824 2
EDA A+B
Pgina 15
DATABASES
Degree Department Lecturer in charge Type Total credits Code Course Objectives Study of the basic principles of database technology. Study of the relational data model. Use of relational database management systems Syllabus Topic 1. Introduction to databases. Topic 2. The relational data model. Topic 3. Database management systems. Practice SQL language and use or relational system (Oracle) Evaluation standards Final exam Bibliography Celma,M..Casamayor, JC Mota, L Bases de datos relacionales Pearson. Prentice Hall. ISBN: 84-205-3850-7, 2003. Elmasri & Navhate Fundamentos de los sistemas de bases de datos. 3 edicin, Addison Wesley, 2000. Date, C.J Introduccin a los sistemas de bases de datos, Vo.l I. (7 edicin). Prentice Hall, 2001.
5858 2
BDA B
Pgina 16
5864 2
MTP B
Boletn de ejercicios (web de la asignatura). El lenguaje de Programacin C. Kernighan, B.; Ritchie, D.; Ed. Prentice Hall, 1991. BIBLIOGRAFA COMPLEMENTARIA The Practical Guide to Structured Systems Design. Pages Jones, M. Ed. Prentice Hall, 1988. Ingeniera del Software: Un enfoque prctico. Pressman, R. Ed. McGraw Hill, 1997. Ingeniera del Software. Sommervill, I. Addisson Wesley, 2001.
Pgina 18
OPERATING SYSTEMS I
Degree Department Lecturer in charge Type Total credits Code Course Objectives Study the basic concepts, fundamental techniques, and organisation of Operating Systems (OS) Learn about the services provided by OS Acquire skills in the handling of an OS Syllabus Introduction Process management Memory management E/S management File Systems Practice Practice 1: Command Interpreter (1 session) Practice 2: Development of a specific case (2 sessions) Practice 3: Memory Management (2 sessions) Practice 4: The MINIX file system (1 session) Evaluation standards Course evaluation via a single written exam. Includes questions related to theory and practical work Bibliography Libro base: - A. Silberschatz, P.B. Galvin. "Operating systems concepts. Addison Wesley, 5a edicion 1998 (en castellano edicin 1999) Libros de Unix, C - B.W. Kernighan, R. Pike. "El entorno de programacin Unix. Prentice Hall 1987 (castellano) - Phil Cornes. Linux A..Z. Prentice-Hall 97
5888 2
SO1 A
Pgina 19
5895 3
TAL A+B
Languages and machines : An introduction to the theory of computer science. Thomas A. Sudkamp. Addison-Wesley, 1997 Apuntes sobre la teora de autmatas y lenguajes formales. Pedro Garca, Toms Prez, Jos Ruiz, Encarna Segarra, Jos Sempere, Manuel Vzquez de Parga. Universidad Politcnica de Valencia (Libro Apunte Ref. 846), 1996 Apunts sobre la teoria dautmats i llenguatges formals. Pedro Garca, Toms Prez, Jos Ruiz, Encarna Segarra, Jos Sempere, Manuel Vzquez de Parga. Universidad Politcnica de Valencia (Renaixena i futur), 1998 Lenguajes, gramticas y autmatas : un enfoque prctico. Pedro Isasi, Daniel Borrajo, Paloma Martnez. Addison Wesley Iberoamericana Espaa, 1997 Teora de autmatas y lenguajes formales. Dean Kelley. Prentice-Hall, 1995 Automata and computability. Dexter Kozen. Springer, 1997
Pgina 21
5900 4
AIC A+B
P1. Hardware description language. P2. Architecture analysis. P3. Segmented units. P4. Program development in segmented computers. P5. Segmented instruction unit. P6. Static management of instructions. P7. Dynamic management of instructions. P8. Instruction speculation hardware P9. Vector computer programming. P10. Programming with the message-passing model. Evaluation standards Exams: - Partial exams. January and June 2006. They will be eliminatory (material passed in the partial exam will not need to be covered in the final exam). Exams passed in this subject on previous courses are not valid. - Final exam. June 2006. The student is examined on material which wasnt passed in the partial exams. - Final exam. September 2006. The student is examined on all of the material. - Via the evaluation of the exams, the theory grade (T) is obtained. Practical work - In each practical session the work carried out by the student will be evaluated. The practical grade (P) will be obtained taking into account the average grade of the practical sessions. In cases where the student doesnt attend a practical session, the grade for that session will be 0 points. - Practical sessions completed on previous courses may be valid, which would mean five points on the practical grade (P=5). The final grade of the student will be obtained applying the formula 0.9*T+0.1*P. Bibliography J.L. Hennessy, D.A. Patterson, Computer Architecture: A Quantitative Approach, 3 edicin, Morgan Kaufmann Publishers, 2002. J.L. Hennessy, D.A. Patterson, Computer Architecture: A Quantitative Approach, 2 edicin, Morgan Kaufmann Publishers, 1996. D. Sima, T. Fountain, P. Kacsuk, Advanced Computer Architectures, Addison-Wesley, 1997. J.P. Shen, M. Lipasti, Modern Processor Design: Fundamentals of Superscalar Processors, McGraw-Hill, 2003 D.A. Patterson, J.L. Hennessy, Computer Organization & Design: The Hardware/Software Interface, 3 edicin, Morgan Kaufmann Publishers, 2005. H. G. Cragon, Memory Systems and Pipelined Processors, Jones and Bartlett Publishers, 1996. B. Wilkinson, Computer Architecture: Design and Performance, Prentice Hall, 1996. M. R. Zargham, Computer Architecture: Single and Parallel Systems, Prentice-Hall International, 1996.
Pgina 23
REQUIREMENTS ENGINEERING
Degree Department Lecturer in charge Type Total credits Code Course Objectives The objective of the subject is to inform the student of: - the importance of suitable requirements specification in software quality. - conceptual framework of requirements engineering (according to IFIP FRISCO) - the use of requirement specification languages which permit its validation: First Order Logic which makes Conceptual Logic Modelling and its validation via automatic Prototype in the framework of the ISO 82 model possible. Dynamic logic which supports Object-Oriented Conceptual Modelling and its validation for automatic Prototyping in the framework of OASIS Syllabus 1. Introduction and motivation of Requirements Engineering. 2. Conceptual framework of Requirements Engineering: FRISCO-IFIP 3. Conceptual Logic Modelling 4. Object-Oriented Conceptual Modelling Practice 1. Requirements specification SW IEEE-830 2. Prolog Seminar and Presentation of Visual Prolog (I) 3. Prolog Seminar and Presentation of Visual Prolog (II) 4. Prolog Seminar and Presentation of Visual Prolog (III) 5. Conceptual Logic Modelling (approx. operational and deductive). Stated upon realisation. Evaluation standards The evaluation grade consists of two parts: Theory grade: 60% Practical grade: 40% The theory grade is obtained via: 1. Multiple-choice test: each incorrect answer subtracts 0.3 points and each correct answer adds 1 point. The final is normalised at 10. 2. Points obtained for answers to questions formulated in class. The value of the point depends on the difficulty of the question: 0.1,..0.5,1, 3. Class presentations by students on related topics: up to 2 points The practical grade assumes the submission and evaluation of work proposed by the lecturer. NOTE: it is necessary to obtain at least a 4 to be able to compensate a Theory or Practical grade. Bibliography a.1) Basica "Fundamentals of Algebraic Specification" vol. 1 H. Ehrig; B. Mahr.
Pgina 24
Computer Science Degree DSIC [no hay informacin relativa a este campo] Core
Total 6 = Theory 3 + Practice 3
5901 4
IDR A
EATCS Monographs on Theoretical Computer Science. Springer-Verlag 1985, 1990 Apuntes del seminario "Programacin Lgica y lgica ecuacional", del prof. J. Meseguer (utilizados con autorizacin del prof. Meseguer), del SRI Computing Lab (Stanford), impartido en la FIM en Enero-Febrero de 1995. Apuntes de la asignatura Ingeniera del Software II, Facultad de Informtica de Valencia, 1995 "Software Engineering: A Practitioner' Approach" R.S. Pressman. McGraw Hill (1992) s Introducing OBJ3", Goguen et al., Tech. Report SRI Computing Lab, Stanford, California, Draft of Jan. 1992 (se usar como manual de OBJ3, en prcticas) OASIS v. 2.1.1: A Class-Definition Language to model Information Systems using an ObjectOriented Approach", Oscar Pastor e Isidro Ramos. Servicio de Publicaciones de la Universidad Politcnica de Valencia. Ref. UPV-788 a.2) Complementaria "Formal Methods can Deliver Provable Software", Nina Hall. Scientific Computing World. March 1995. Requirements Engineering: A Framework for understanding", R.J. Wieringa, John Wiley&Sons LTD., 1996 Software Requirements", A. Davis, Prentice Hall "Algebraic Specifications in Software Engineering" Ivo Van Horebeek; Johan Lewi. SpringerVerlag 1989 "Diseo de programas: formalismo y abstraccin", Ricardo Pea. Prentice Hall, 1993 "OASIS: An Object-Oriented Specification Language" O. Pastor; Hayes, F.; S. Bear. in Proceedings of the CAISE-92 Conference, Springer-Verlag (1992)
Pgina 25
PROGRAM ENGINEERING
Degree Department Lecturer in charge Type Total credits Code Course Objectives Present software development methods based on the object-oriented paradigm: - Object Modelling Technique (OMT) - Unified Modelling Language (UML) - Present object orientation from the point of view of programming languages (Java) Syllabus Theory contents: Chapter 1. Introduction to programming languages OO. Chapter 2. Software Engineering. Chapter 3. Use case model. Chapter 4. Description of the static construction of the system. Chapter 5. Behaviour models. Chapter 6. Functional model. Practice Practical contents: Part 1. Programming Languages OO: Java. Part 2. CASE Tools: Rational Rose. Part 3. Development case research. Evaluation standards
5902 4
IDP A+B
Bibliography Bsica: T. Budd. Introduccin a la programacin orientada a objetos. Addison Wesley. (Cap 1) J. Rumbaugh Modelado y Diseo Orientado a Objetos. Prentice Hall 1996. (Cap. 2,3,4,5) I. Jacobson. Object Oriented Software Engineering: A Use Case Driven Approach. Addison Wesley, 1995. (Cap. 2,3) G. Booch. El lenguaje unificado de modelado. Addison Wesley 1999. (visin de la notacin) M. Fowler. UML gota a gota. Addison Wesley 1999 Complementaria (casos de uso, cap 3): G. Schneider Applying use cases : a practical guide. Addison Wesley D. Kulak Use cases : requirements in context. Addison Wesley. P. Putnam Use cases combined with BOOCH/OMT/UML :process and products. Prentice Hall A. Cockburn Writing effective use cases. Addison Wesley.
Pgina 26
Bibliografa con caso de estudio: C. Larman. UML y patrones Pearson Education, Prentice-Hall, 1999.
Pgina 27
ARTIFICAL INTELLIGENCE
Degree Department Lecturer in charge Type Total credits Code Course Objectives This course Offers an introduction to basic artificial intelligence (AI) techniques, under a practical orientation, oriented to solving problems in this area. The course covers topics such as search in a solution space, heuristic search and knowledge representation methods. Special emphasis is given to knowledge-based systems. The practical exercises focus on the application of AI techniques to problem solving. Syllabus 1.- Introduction. 2.- Problem-solving in AI. 3.- Knowledge Representation (KR) in AI. 4.- Adversarial search (game playing). Practice P1: Evaluation of several search methods on a particular AI problem. P2: Seminar on CLIPS, an environment for developing productions systems Development of a production system (rule-based system using patterns) to solve an AI problem Evaluation standards The subject grade will be determined by: - 70% Examination - 30% Laboratory Practice Bibliography N.J. Nilsson. Artificial Intelligence: a new synthesis. Ed. Morgan Kaufmann (1998) P.Lucas, L. Van Der Gaag. Principles of Expert Systems. Addison Wesley 1991 E. Rich, K. Knight. "Inteligencia Artificial 2 Ed." Mc Graw Hill (1994) Stuart J Russell and Peter Norvig. "Artificial Intelligence A Modern Approach." Prentice-Hall Series in Artificial Intelligence (1995) P.H. Winston, Inteligencia Artificial, Addison-Wesley Iberoamericana (1994)
5903 4
IA A
Pgina 28
5919 4
APP B
Pgina 29
LANGUAGE PROCESSORS
Degree Department Lecturer in charge Type Total credits Code Course Objectives To learn the internal functions of compilers and interpreters. To learn the fundamental aspects of the translation process. Learn how to apply acquired knowledge about formal grammars and automatons to the design process of languages and their translation. Learn the basic techniques employed during the analysis and code generation process. Learn to construct compilers for simple, but not trivial, languages. Syllabus 1. Introduction to complication process. 2. Lexical analysis. 3. Syntactic analysis: - Introduction. - Descendant syntactic analysis - Ascendant syntactic analysis 4. Semantic analysis - Attribute grammars - Type checking 5. Memory Information Representation 6. Intermediate Code Generation 7. Code optimisation 8. Code generation Practice The project consists of the development of a compiler for a simple programming language, making use of FLEX/BISON and carried out in small groups (maximum 4 people). Laboratory classes will consist of solving problems specific to the implementation of a compiler for a simple programming language. The following seminars will also be held during the course: Seminar 1: Project Presentation Seminar 2: Introduction to Flex Seminar 3: Introduction to Bison Seminar 4: Bison extension Seminar 5: Attribute Grammars and TDS functions Seminar 6: Intermediate Code Generation Evaluation standards The evaluation of the subject takes two aspects into consideration: A first aspect is referred to as THEORY CONTENTS which are evaluated in the following way: - First partial exam: test on theory and practical knowledge acquired in the first four-month-term of the course. The student who attains a grade ≥ 5 in this test and has attained a PASS in the first practice review, can sit the second partial exam in June. Otherwise the student
Pgina 30
5988 4
PDL A+B
should sit the final exam in June and/or September. - Second partial exam: test on theory and practical knowledge acquired in the second fourmonth-term of the course. The final theory grade will correspond to the second partial exam grade + the first partial exam grade / 2, as long as the conditions regarding the eliminatory character of the first partial exam indicated in the previous paragraph are met. It is carried out on the same day and at the same time as the final exam of the course. Sitting this exam excludes the possibility of sitting the final exam. - Final exam: test on theory and practical knowledge acquired throughout the whole course. The grade attained in this exam will be the final theory grade. In the September re-sit exam there is only one final exam (grades from partial exams are not carried over). The second aspect to be evaluated is the PRACTICAL EXPERIENCE acquired via the development of a project carried out in small groups (maximum 4 people). This practical experience is graded by means of an individual test, as long as the student has previously attained a PASS grade in the development project. During the course there will be two project revisions. The approximate dates to hand in these revisions are: January and June. Furthermore, there will be a re-sit exam for the exam in September. The subject FINAL GRADE will be determined by: - If the student attains a Pass in the project, then the final grade will be the following: final grade = (0.7 theory grade) + (0.3 x individual test grade) - If the student attains a Fail in the project, then the final grade will be the following: final grade = min (0.7 x theory grade, 4) Bibliography Bsica: A. Aho, R. Sethi, J.D. Ullman. Compiladores: Principios, Tcnicas y Herramientas. AddisonWesley Iberoamericana, 1998. K.C. Louden. Construccin de Compiladores. Principios y prctica. Thomson, 2004. Consulta: A. W. Appel, M. Ginsburg. Modern compiler implementation in C. Cambridge University Press, 1998 C.N. Ficher, R.J. LeBlanc.Crafting a Compiler with C. Benjamin Cummings, 1991 J.P. Tremblay, P.G. Sorenson. The Theory and Practice of Compiler Writing. McGraw-Hill, 1985. A. Aho, J.D. Ullman. The Theory of Parsing, Translation and Compiling. Vol 1 y 2. Prentice Hall 1972
Pgina 31
COMPUTER NETWORKS
Degree Department Lecturer in charge Type Total credits Code Course Objectives The purpose of the course is to enable the student to understand the problems associated with the transport of information and the solutions to the underlying problems. Upon completion of the course, we will understand WHAT LIES BENEATH the SOCKETS interface, linking this course with other course - Fundamentals of Networks that students are expected to take prior to Computer Networks. Using the ISO/OSI architecture as a reference, we study the main issues, problems and solutions related to the physical, link, network and transport layers. Syllabus 1. Introduction 2. Signal theory 3. Physical level 4. Synchronous / asynchronous Transmission 5. Local Area Networks 6. Link level 7. Link-level protocols 8. Internetworking 9. Internet addressing. ARP protocol. 10. Internet Protocol (IP) 11. Internet Control Message Protocol (ICMP) 12. IP routing: upgrading routers 13. Multi-destination IP routing 14. User Datagram Protocol (UDP) 15. Transmission Control Protocol (TCP) Practice In the practical sessions different scenarios related to computer networks are set up and simulated using the OPNET IT Guru program. This and other network simulators allow the Systems Engineer to create real case scenarios and study the best solution before carrying out expensive implementations, thus helping the students in their future professional lives. Different practical sessions will also be carried out with protocol analysers, with which the actual traffic of a network will be monitored. The basic operating systems' instructions related to networks will also be studied. Evaluation standards A partial exam in February. Initial course units will be removed from June' exam if a grade of s 5 or higher is attained. Exam in June (in this partial exam, contrarily to the exam in February, an average grade from
Pgina 32
6016 4
RDS A+B
both is obtained if the June' grade is equal to or greater than 4). s The practical sessions will be evaluated in the exam as questions and/or problems, which represent one third of the exam maximum. The grade is not added up to other exams: for September' exam only one exam is taken s for the all the subjects in the course, including practical sessions. Bibliography Bibliografa bsica: Comunicaciones y redes de computadores, W. Stallings, 7 ed., Prentice Hall, 2004. Internetworking with TCP/IP, vol I. D.E. Comer, 4 ed., Prentice Hall, 2000. Bibliografa extendida: Computer Networks: a systems approach, L. Peterson and B. Davie, 3rd ed., Morgan Kauffman, 2003 Redes de Computadores, A.S. Tanennaum, 4 ed., Prentice Hall, 2003. Data Communications, Computer Networks and Open Systems, F. Halsall, 4 ed., AddisonWesley, 1996. TCP/IP protocolos y servicios: Referencia tcnica. T. Lee y J. Davies (Microsoft). Mc Graw Hill, 2000 RFCs, Internet Request For Comments (rfcs).
Pgina 33
6018 2
ADO A
which some aspects of companies such as Disney, 3M, Apple, IBM and McDonalds are highlighted, they identify different Management concepts in the first part of the programme. Practice 4: Financial Management. Amortisation of loans. Making use of the financial functions of the Excel spreadsheet, preparing the boxes for a financial amortisation of a loan according to American, constant Amortisations and French methods. Likewise, prepare the mortgage loan amortisation box, presenting corresponding fees for different amortisation periods and types of interest. Practice 5: Commercial Management. Handling of a standard package. The following objectives are set out: Familiarise yourself with a Commercial Management package Simulate the reality of a typical user, taking on products, clients, suppliers, order management, invoices and charges or payments, as required. Make a review, as a computer expert, of the advantages and failings of the Commercial Management package used. Evaluation standards The classroom theory and practical sessions make up 80% of the final grade of the subject, and are evaluated via an exam consisting of two parts: one which is like a test that covers the contents of the theory syllabus, and another part which consists of numerical problems or exercises. This exam must be passed to be able to calculate the average of the practical work. The laboratory practical sessions make up 20% of the final subject grade. Attendance, the handing in of reports when studying cases and participation in the discussion of the same, and the handing in of reports when the practical session is based on computer application, are considered. Bibliography ANDREU, R., RICART, I. y VALOR, J. (1996) Estrategia y Sistemas de Informacin. Editorial McGraw Hill. 2 edicin. CORNELLA, A. (1994) Los recursos de informacin. Ventaja competitiva de las empresas. McGraw-Hill. CUERVO, A. et al. (1996) Introduccin a la Administracin de Empresas. Cvitas. DONNELLY, J.H., GIBSON, J.L. y IVANCEVICH, J.M. (1997) Fundamentos de Direccin y Administracin de Empresas. Irwin. 8 edicin. GIL, I. (1997) Sistemas y Tecnologias de la Informacin para la Gestin. McGraw-Hill. GIL, I., RUIZ, L. y RUIZ, J. (1997) La nueva Direccin de Personas en la empresa. McGraw-Hill. MONFORTE, M. (1995) Sistemas de Informacin para la Direccin. Pirmide. RUIZ, L. Apuntes ADO. S.P.U.P.V. n 160 THOMPSON, A.A. y STRICKLAND, A.J. (1994) Direccin y Administracin Estratgicas. Conceptos, Casos y Lecturas. Addison-Wesley Iberoamericana.
Pgina 35
COMPUTER STRUCTURES
Degree Department Lecturer in charge Type Total credits Code Course Objectives Acquire a complete view of the function of all the working parts of a computer, completing the training in computer structures acquired upon the completion of the Basics of Computers course, centred around the study of the processor. In-depth study of teh Aritmetic-Logic unit, Memory Unit and Input/Output Unit. In-depth study of advanced design aspects of processors such as segmentation Syllabus 1. Memory Unit 2. Memory Hierarchy 3. Input and Output Unit 4. Computer Buses and Peripherals 5. Advanced design of the Arithmetic Logic Unit 6. Circuit segmentation fundamentals 7. Processor segmentation Practice P1: Memory chips P2: Memory modules and maps P3: Cache memories (I) P4: Cache memories (II) P5: I/O synchronization mechanisms P6: Integer Arithmetic on MIPS P7: Adder circuit P8: Multiplier circuits P9: Basic pipelining P10: Processor segmentation on MIPS P11: Segmented processor II Evaluation standards Theory evaluation standard: - First partial exam in January + final exam (or second partial) en June - Special exam (or first partial or second partial or final) in September Practical evaluation standard: - 20% final grade and evaluated (individually) in the laboratory Work evaluation standard: Optional and add a maximum of 1 point (if the subject is passed) Bibliography Hamacher V.C., Organizacin de computadores, 5a edicin, McGraw Hill 2002 Patterson, D.A., Hennessy, J.L, Organizacin de computadores, interficie circuiteria/programacin, Revert 2002
Pgina 36
6019 2
EC A+B
Pgina 37
LOGIC DESIGN
Degree Department Lecturer in charge Type Total credits Code Course Objectives In-depth study of acquired knowledge relating to combinational circuits Hardware Description Language (VHDL) Synthesis methods of sequential systems based on finite state automatons To learn the design of digital circuits based on high-scale integration functional blocks (memory, PLD) Computer-aided digital design Practical training Syllabus 1. Introduction. Combinational and flip-flop systems. 2. Hardware Description Language (VHDL) 3. Synchronised sequential systems 4. Sequential functional blocks: counters and registers 5. Semiconductor memory 6. Programmable logic circuits Practice 1. Combinational circuit design with decoders and multiplexors. 2. Detection and elimination of aleatoric phenomena in combinational circuits 3. Implementation of combinational circuits in VHDL 4. Design and simulation of synchronised sequential systems via VHDL (2 sessions) 5. Design and implementation of counters 6. Design of counters by means of VHDL and implementation in FPGA (OPTIONAL, if the academic calendar permits) Evaluation standards Previous courses are not considered Completion obligatory Practical sessions: - Each session is evaluated (0 10) - Grade (pract) = (Grade(P1) + + Grade(Pn)) / n (n = real number of practical sessions completed) - They make up 20% of the subject final grade Grade = Grade(theory) * 0.8 + Grade (pract) + 0.2 - Non-participation in ALL of the practical sessions results in a fail Practical exam Minimum theory and practical grades to calculate the average: 5 Bibliography P. Gil, J. Albaladejo. Diseo lgico. SPUPV-95.828. 1995. M.E. Gmez, J.C. Campelo, J. Albaladejo, J.C. Baraza, P. Gil. Problemas resueltos de diseo
Pgina 38
Computer Science Degree DISCA [no hay informacin relativa a este campo] Core
Total 6 = Theory 3 + Practice 3
6020 2
DLO A
lgico. SPUPV-2000.4009. 2000. J. Wakerly. Digital principles and practices. Ed Prentice Hall. R. Katz. Contemporary Logic Design. Ed. Benjamin-Cummings. E. Muoz Merino. Circuitos Electrnicos Digitales. Vol. 4. ETSI de Telecom. (Madrid). F. Pardo, J.A. Boluda. VHDL, lenguaje para sntesis y modelado de circuitos, 1999. Ed. Ra-ma
Pgina 39
OPERATING SYSTEMS II
Degree Department Lecturer in charge Type Total credits Code Course Objectives Show an example of system call interface, so that the student can learn about the combined services offered by the operating system. Provide the knowledge necessary to implement multithread programs, acquiring skills in the use of synchronization threads and tools which must be employed to adequately protect and direct the execution of resulting programs. Show the problem of interblocking and study the main solutions. Syllabus Topic block 1: System calls POSIX U.T.1: Process management U.T.2: Files and pipes U.T.3: Signals U.T.4: Directories and protection U.T.5: Other calls Topic block 2: Concurrence U.T.6: Execution threads U.T.7: Synchronisation. Problems. Basic solutions. U.T.8: Traffic lights. Concept and POSIX calls U.T.9: Monitor Concept. Implementation in POSIX U.T.10: Interblocks Practice Block 1: Microshell: 6 sessions Pr.1 Introduction to practical sessions Pr.2 Making of the main loop Pr.3 Implementation of the redirection of pipes Pr.4 Command execution module Pr.5 Complete signal execution and treatment module Pr.6 Extensions Pr.7 Work revision Block 2: Concurrence: 6 sessions Pr.8 Creation of POSIX threads Pr.9 Running conditions Pr.10 Problem of the 5 philosophers. Mutual exclusion. Pr.11 Problem of the 5 philosophers. Simple solutions. Pr.12 Problem of the 5 philosophers. Dining room. Evaluation standards At the end of the four-month period an exam on the subjects theory and practical contents is sat. Practical grade ( A=10, B=7.5, C=5, D=3, E=0 )
Pgina 40
Computer Science Degree DSIC [no hay informacin relativa a este campo] Core
Total 6 = Theory 3 + Practice 3
6021 2
SO2 B
Attendance and progress register. Final works. The final grade is obtained by calculating the average of the exam of 70% against 30% of the practical sessions. This average is only calculated if the exam grade is higher than 4. In the September exam EVERYTHING will be calculated via the exam. Bibliography UNIX Programacin Prctica. Kay A. Robbins, Steven Robbins., Prentice Hall. ISBN 968-880959-4 Lenguaje de Programacion C, Brian W. Kernighan, Dennis M., Ritchie. ISBN: 9688802050 Linux A-Z, Philip Cornes. Prentice Hall. Sistemas Operativos, 5Ed. A. Silberschatz. ISBN: 9684443102 Contenidos en la web: - Pgina de SO1 en la web de la universidad: 1) Ir a http://www.upv.es/indexc.html 2) Seleccionar Estudios // Est. de primer y segundo ciclo // Bsqueda de asignaturas por nombre o cdigo. 3) Dar (5850 6021) como cdigo de asignatura. - Tambien... http://sop.upv.es/so2
Pgina 41
ALGORITHMS
Degree Department Lecturer in charge Type Total credits Code Course Objectives - Study the strategies of Dynamic Programming and Branch and Bound. - Learn the formalism for the classification of decidable problems. Syllabus 1. Introduction 2. Dynamic Programming 3. Branch and Bound 4. Problem complexity Practice Development of a project with report and public presentation. Evaluation standards The subject final grade will be reached via a written exam and the completed project (a minimum grade of 5 in each part is required to calculate the average and to pass the subject): - Exam: 80% of the grade - Project: 20% of the grade
6022 3
ALG B
Bringing any type of documentation to the exam is prohibited. Bibliography Fundamentos de algoritmia- (Brassard, Gilles) Introduction to algorithms (Cormen, Thomas H.) Computers and intractability : A guide to the theory of NP-completeness (Garey, Michael R.) Computer algorithms (Horowitz, Ellis) Problems on algorithms (Parberry, Ian)
Pgina 42
DATABASE DESIGN
Degree Department Lecturer in charge Type Total credits Code Course Objectives Objectives: Demonstrate a relational database design methodology based on the EntityRelationship model. Syllabus 1. Introduction to database design 2. Conceptual Design of Information systems with the Entity-Relationship model 3. Logical Design 4. Physical Design Practice 1. Presentation of data model concepts by means of a simple example 2. Presentation of conceptual design methodology 3. Conceptual design exercises 4. Case study: conceptual, logical and physical design Evaluation standards Written exam combined with the theory and practical part. Bibliography Elmasri, R.; Navathe, S., Fundamentos de sistemas de bases de datos. Addison Wesley. 3 edicin. 2002
6023 3
DBD A
Pgina 43
6024 3
EMI2 A
questionnaires handed in, is: - Greater or equal to 4 out of 10, so that the practical exam grade can be added to the theory, it should be greater than or equal to 0.5 out of 2 - Less than 4 out of 10, so that the practical exam grade can be added to the theory, it should be greater than or equal to 0.8 out of 2 In the laboratory exam students are permitted to consult all of the material related to the subject considered necessary. In cases where the grade attained in the questionnaires is greater than 4 out of 10, and if the minimums mentioned have been passed, if the exam grade is greater or equal to 4.4 out of 10, the questionnaire grade will be added, marked out of 10 and multiplied by 0.7. The grade attained in this way will increase according to the quantity and quality of the voluntary problems handed in. - In cases where the minimum grade is not attained in some of the parts, the subject will not be considered passed. - Grades are only carried over for the special exam in July. - NOTE Attendance at theory as well as laboratory classes is insistently recommended Bibliography BIBLIOGRAFA 1.*** N.L. Biggs, Matemtica discreta, Vicens Vives, 1994. 2.*** G. Chartrand, O.R, Oellermann, Applied and algorithmic graph theory, McGrawHill, 1993. 3.* F. Garca Merayo, Matemtica discreta Paraninfo, 2001. 4.**** F. Garca Merayo, G. Hernndez, A.Nebot, Problemas resueltos de Matemtica discreta,Thomson, 2003 5.**** C. Garca,J.M. Lpez, D. Puigjaner, Matemtica discreta. Problemas y ejercicios resueltos, Prentice Hall, 2002. 6.* R. P. Grimaldi, Matemticas discretas y combinatoria, Addison-Wesley iberoamericana, 1998. 7.** J. Gross, J. Yellen, Graph theory and its applications, CRC, 1999. 8.** R. Johnsonbaugh, Matemticas discretas, Prentice Hall, 1999. 9.* C. Jordn, J.R. Torregrosa, Introduccin a la teora de grafos y sus algoritmos, RevertSPUPV, 1996. 10.** B. Kolman, R.C. Busby, S. Ross, Estructuras de matemticas discretas para la computacin, Pearson Education, 1996. 11.**** S. Lipschutz, Teora de conjuntos y temas afines, McGraw Hill, 1992. 12.*** C. L. Liu, Elementos de matemticas discretas, McGrawHill, 1995. 13.**** V. Meavilla, 201 Problemas de matemtica discreta, Prensas universitarias de Zaragoza, 2000. 14. * K. H. Rosen, Matemtica Discreta y sus aplicaciones, McGraw-Hill. 5 edicin, 2004. 15.** K.A.Ross, Ch.R.B. Wright, Matemticas discretas, Prentice-Hall, 1988. 16.**** J. Trias, Matemtica discreta.Problemes resolts, UPC, 2001. Leyenda Los asteriscos que preceden a los textos significan: * bibliografa bsica ** bibliografa til para afianzar con conocimientos o aclarar dudas con ejercicios resueltos y propuestos. *** bibliografa complementaria para ampliar conocimientos. Tambin aportan ejercicios. **** bibliografa de problemas.
Pgina 45
6025 3
ESI A
Pgina 46
Computer Science Degree DSIC [no hay informacin relativa a este campo] Mandatory
Total 6 = Theory 3 + Practice 3
6026 3
IGU B
Wesley, 1996. ISBN 0201121107 Interactive computer graphics : a top-down approach with OpenGL / Edward Angel. - 3rd. ed. Boston : Addison-Wesley, 2003. - 719 p. : il. ; 24 cm. ISBN 0201773430 Computer Graphics using opengl, second edition/ F.S. Hill, JR, 2ed, Prentice Hall, 2001 ISBN 013-320326-3 OpenGL en fichas. Editores: Jos Ribelles y Javier Lluch. Publicaciones de la UJI, ISBN 848021-428-7
Pgina 48
OPERATIONS RESEARCH I
Degree Department Lecturer in charge Type Total credits Code Course Objectives The course provides an overview of the foundations of programming languages and paradigms. A wide variety of logics (such as Horn clause logic and equational logic) and formalisms (such as operational semantics, denotational semantics, fixpoint theory, and abstract data types) have been been used to help understand various aspects of modern programming languages. In this course, the instructor presents a series of lectures to introduce such logics and formalisms with the aim of using them to study and analyze programming languages in a wide range of programming paradigms, including functional, logic, visual, and object features. Students are expected to undertake programming small programs which will involve understanding and implementing applications in different programming styles. Syllabus 1. Introduction. History of Programming Languages, Formal Description of PLs, Syntax and Semantics, Program equivalence 2. Functional Programming. Program syntax, algebraic datatypes, type inference, evaluation strategies, higher order. Operational Semantics, Denotational Semantics. Lambda Calculus and Term Rewriting The Programming Language Haskell 3. Logic Programming. Horn Clause Logic: Syntax and Semantics. Logic Programming: Operational Semantics, Declarative Semantics, Fixpoint Semantics. The Programming Language Prolog. Efficient Programming in Prolog Practice P1: Modelization P2: Modelization and Graphical Resolution P3: Graphic Resolution and Sensitivity Analysis P4: Formulation, resolution and results analysis of a production problem P5: The Simplex method in table form P6: The Revised Simplex Method P7: Usage and interpretation of artificial variables P8: Application of the upper bound technique P9: Figures, Sensitivity analysis; Duality P10: Modelization, sensitivity analisys and duality P11: Modelization of integer programming models. A set covering problem
Pgina 49
6027 3
IO1 B
P12: Introduction to other Operations Research Tecniques Evaluation standards The global subject grade will be based on a final exam. Additionally and voluntarily, students can carry out work (individually or in a group of 2 students) which increases the global grade, to a maximum of 2 points Bibliography BILIOGRAFIA BSICA: Tormos, P. Y Lova, A. (2003): Investigacin Operativa para Ingenieros. Ref.2003.591, Ed.Universidad Politcnica de Valencia BIBLIOGRAFA COMPLEMENTARIA: Daellenbach, H. G., George, J.A. y D.C. McNikle (1986): Introduccin a las tcnicas de Investigacin de Operaciones. CECSA. Hillier, F.S. y Lieberman, G.J. (2005): Introduction to Operations Research. Eigth Edition. McGraw-Hill. Meredith, J.R. y S.J. Mantel (1989): Project Management. A managerial approach. Wiley. Mordecai, A., y Golany, B. (eds.) (1996): Mathematical programming for Industrial Engineers. Marcel Dekker. Schrage, L. (1997): Optimization modeling with LINDO. Duxbury Winston, W.L. (2005): Investigacin de operaciones. Aplicaciones y algoritmos. 4 edicin. ThomsonGrupo Editorial Iberoamericana.
Pgina 50
6028 3
LPP B
Pgina 51
6029 3
FRC A
Pgina 52
6030 4
ISA B
The evaluation is done via a final exam which takes into account the practical sessions, worth 20% of the overall subject grade. Bibliography Automtica Industrial y Control, A. Cuenca, J. Salt. SPUPV 2005-349 ISBN por asignar. Teoria de Sistemes: Aplicaci als Sistemes Automtics, P. Albertos, P. Moya. SPUPV99.3516. Sistemas Digitales de Control, J. Tornero, J. Salt. SPUPV-90.529 Sistemas de Control en Tiempo Discreto, Ogata, K. Ed. Prentice Hall. Sistemas de Control Digital. Anlisis y Diseo, Phillips & Nagle. Ed. Coleccin Ciencia Electrnica. Signals and Systems. Oppenheim, A. V., Willsky A. S. Ed. Prentice Hall. ISBN 0-13-809731-3
Pgina 54
NUMERICAL ALGORITHMS
Degree Department Lecturer in charge Type Total credits Code Course Objectives To learn which type of applications Numerical Algorithms are used in: meteorology, structure analysis, astrophysics, fluid dynamics, electromagnetism, etc. To know how to get from the physical model of the problem (partial differential equation) to an algebraic problem (equation system). Efficiently handle of large sparse matrices, via appropriate data structures. To know how to apply the most appropriate resolution method in each case to efficiently obtain the solution to the associated algebraic problem. Syllabus 1. Partial differential equation discretization. 2. sparse matrices. 3. Stationary methods for linear systems. 4. Projection methods for linear systems. Practice The practice sessions are structured as a project. At the beginning of the semester each group of students is assigned a project. The projects consist of implementing a program to resolve a real problem, developing it progressively at each stage: discretization, numeric resolution and visualization of results. The project is implemented in Matlab, although it may be possible to use other programming languages, such as Python, Java o C/C++. Evaluation standards Two options are available (the first is recommended): Option 1: Project. For students who regularly attend class and progressively develop the project. The project makes up 65% of final grade and the other 35% is evaluated via a written exam, although this proportion can be negotiated with the tutor individually at the start of the semester. Option 2: Exam. For students who can not attend during the semester. Evaluation consists of a written exam, relating the theory as well as the practical sessions. Bibliography Y. Saad, Iterative Methods for Sparse Linear Systems, 2nd ed., SIAM 2003. R. Barret et al., Templates for the Solution of Linear Systems, SIAM, 1994. B. N. Datta, Numerical Linear Algebra and Applications, Brooks/Cole Publishing Company, 1995. J. W. Demmel, Applied Numerical Linear Algebra, SIAM, 1997.
6031 3
ALN A
Pgina 55
SIMBOLIC CALCULUS
Degree Department Lecturer in charge Type Total credits Code Course Objectives Demonstrate Symbolic Calculus and its algorithms to the student. Initiate the student in the design of the most useful mathematical algorithms, with one of the available Symbolic Calculus packages, mainly in Mathematica . We will focus on known problems in a different way, using tools such as Mathematica and our ever-more efficient computers. Syllabus Topic 1: Introduction Topic 2: Normal forms and algebraic representations. Topic 3: Polinomal and integer arithmetic Topic 4: Linear equation systems Topic 5: Integration of Rational Functions Practice We will carry out 3 practical sessions with Mathematica and 6 with computer-assisted teaching. Practical sessions can be done individually or in pairs (trios are not permitted). The pair cannot change throughout the length of the course (if they can be done alone). PRACTICAL SESSIONS WITH MATHEMATICA: The material for the Mathematics practical sessions is already on the microweb. These practical sessions are carried out in the laboratory at the appointed times. The deadline for handing in the three practical sessions will be the last day of class of the subject in the month of December. PRACTICAL SESSIONS WITH COMPUTER-ASSISTED TEACHING: To carry out the practical sessions with computer-assisted teaching you have to connect to: www.upvabierta.net and enter your DNI as user and key. If in pairs, to do the practical session you will always use the same user (in other words, to do the evaluation you will always use the same DNI and not change between one another). You will both chose it but you cant change it. The evaluation of a practical session can only be done once. To revise the concepts you can use any of the two users. You have do carry out these practical sessions as programmed activities throughout the course. You will have to do 6 practical sessions of which it is advisable to do at least 1 a fortnight. The deadline to do them is the last class day of the subject in the month of January. Evaluation Standard This subject is eminently practical, an therefore we evaluate it as such. Students will be able to chose between two evaluation systems: 1.- List of problems + practical sessions + written exam (option 1) 2.- Written exam + practice sessions (option 2)
Pgina 56
6032 3
CSI A
Evaluation standards The completion of practical sessions is obligatory for all students, which ever method of evaluation they opt for. Students will be able to opt for one of the two previous evaluation systems. For the final subject grade, the following will be taken into account: 1. Handing in of problems (class attendance is necessary to be able to complete the continuous evaluation). These problems can be handed in in pairs or individually. The pairs will always be from the same seminar group. It is possible to change seminar groups if enough advance warning is given and if there is room. TRIOS ARE NOT PERMITTED. 2. Exam (if the problems are not of sufficient quality or class attendance is too irregular). 3. The practical sessions with Mathematics and EAO practical sessions can vary in number if it becomes apparent that the number of practical classes is affected or for other reasons. If there is a variation, it will be made known. List of problems + exam (option 1): - There is an opportunity to complete a list of problems, which will make up 30% of the final subject grade, as long as they are of a high enough standard. - To complete these problems the following instructions and considerations must be taken into account: Their completion and presentation is optional. The problems can be done individually or in pairs. TRIOS ARE NOT PERMITTED. Their presentation does NOT mean that the exam will be evaluated as 40% of the grade. If the work is not of a high enough standard it will not be considered. The standard will be set by the tutor. The submission will be done as follows: - The problems or parts of problems in which there is the implementation of one or several algorithms, or the carrying out of tests with them, should be presented on a diskette prepared for its execution along with the result of the execution, and a printout of the exercise (if it is very long, a summary). - The rest, by hand. The handing in of the list of problems will be done on the given dates, which will be made known sufficiently in advance. If the tutor requires a clarification regarding one of the presented pieces of work, an appointment will be made with the author(s), and as such, the author(s) of the work should indicate a rapid form of contact (telephone, email). If similar points are detected on different pieces of work or on parts of them, the consequences will be precedented. Written exam (option 2) The exam is a written exercise which will be done on the day and time set by the Faculty (consult the faculty calendar). As an example of what the exam could be like, you can check the pages of this site corresponding to previously completed exams, where there are headings and solutions for all the exams up until the date of the subject. Grading of the exam. To obtain the final grade of the exam we will use the following method: - Theory part 70% - Practical part 30% Bibliography BIBLIOGRAFA (Teora y problemas) R.J. Villanueva, A. Hervs, J.J. Lorente, Apuntes de Clculo Simblico, SPUPV 96.855 A. Hervs, M.J. Rodrguez, R.J. Villanueva, Curso interactivo de Cculo Simblico, Universidad Politcnica de Valencia. J. Grabmeier, E. Kaltofen, V. Weispfenning, Computer lgebra Handbook, Springer, 2003. R.J. Villanueva, A. Hervs, J.J. Lorente, Apunts de Clcul Simblic, SPUPV 97.3507 K.O. Geddes, S.R. Czapor, G. Labahn, Algorithms for computer algebra, Kluwer Acad. Pubs., 1992.
Pgina 57
D.E. Knuth, The art of computer programming. Vol. 2: Seminumerical algorithms, AddisonWesley, 1981. J.D. Lipson, Elements of Algebra and Algebraic Computing, Addison-Wesley, 1981. I.N. Herstein, Grupos, anillos, cuerpos y teora de Galois, Trillas, 1980. T.W. Hungerford, Algebra, Springer- Verlag, 1974. B.L. van der Waerden, Modern Algebra (Vols. I and II), Ungar, 1970. J. Dorronso y E. Hernndez, Nmeros, grupos y anillos. Addison-Wesley / Universidad Autnoma de Madrid (1999) BIBLIOGRAFA (Prcticas de laboratorio) W.C. Bauldry, J.R. Fiedler, Calculus Laboratories with Maple, Brooks/Coole Pubs. Co., 1991. G.L. Bradley, K.J. Smith, Calculus Explorations with Mathematica, Prentice-Hall, 1995. E. Castillo, A. Iglesias, J.M. Gutirrez, E. lvarez, A. Cobo, Mathematica (Serie Domine al 99%), Paraninfo, 1994. B.W. Char, K.O. Geddes, G.H. Bonnet, B.L. Leong, M.B. Monagan, S.M. Watt, Maple V Language Reference Manual, Springer-Verlag (1991). S. Wolfram, Mathematica: A System for Doing Mathematics by Computer, Addison-Wesley. C. Prez, Clculo simblico y nmerico con Mahtematica, ra-ma (1995)
Pgina 58
CRYPTOGRAPHY
Degree Department Lecturer in charge Type Total credits Code Course Objectives Analyse basic algorithms and protocols which permit secure communication in information systems. Show the most illustrative applications of these as well as the theories that support them. Syllabus Topic 1: Introduction Topic 2: Classic Cryptography Topic 3: The DES system. AES standard. The RIJNDAEL algorithm Topic 4: Basic concepts of the theory of information and the theory of complexity Topic 5: Public-Key Cryptography Topic 6: Basic concepts of the theory of numbers. The RSA system Topic 7: Other Public-Key systems. Topic 8: Digital Signing. Summary functions Topic 9: Secure electronic mail Topic 10: Digital certification Topic 11: Secure internet protocols Topic 12: Electronic commerce: Secure payment methods Practice Practice 1: Crypto analysis of classically-coded systems Practice 2: Crypto analysis of the Vigenere system Practice 3: Crypto analysis of the Hill system Evaluation standards Final subject grade in the June exam is obtained as follows: - 60% laboratory practical sessions - 40% exam It is not obligatory to sit the exam to pass the subject. The grade of the September exam is obtained via an exam (graded out of 10). The handing in of practical work is not permitted at this exam. Bibliography Public-key cryptography, Arto Salomaa. Springer, 1996 Cryptography: Theory and Practice, Douglas R. Stinson. CRC Press, 1995 Applied cryptography : protocols, algorithms and source code in C, Bruce Schneier. John Wiley, 1996. Introduccin a la criptografa, Pino Caballero Gil. Ra-Ma, 1996. Digital certificates : applied Internet security, J. Feghhi, P. Williams, J. Feghhi. AddisonWesley, 1999. Internet Cryptography, Richard E. Smith. Addison-Wesley, 1997. Security Fundamentals for E-Commerce, Vesna Hassler. Artech House, 2001.
Pgina 59
6033 3
CRP B
Pgina 60
Computer Science Degree DOEEFC [no hay informacin relativa a este campo] Optional
Total 6 = Theory 3 + Practice 3
6034 3
ENT B
For the continual evaluation option, the student must have attended at least 80% of the theory classes and completed 100% of the practical sessions demanded. By this process the final grade will be attained will be from practical sessions via a validation test which will serve to confirm the participation in the development of the practical sessions of the subject. The final exam option doesnt require the 80% attendance at theory classes but it DOES require 100% attendance at practical sessions. In this case the student sits a final exam on 100% of the subject contents. A student who opts for continual evaluation can also take the final exam option, only to improve on the attained grade. Bibliography Ansoff, H.Igor Corporate Strategy: An Analytical Approach to Business Policy for Growth and Expansion. New York: McGraw Hill 1965 Implanting Strategic Management. Englewoods Cliffs, New Jersey: Prentice Hall. 1984 Hamel, Gary y C.K.Prahalad, Competing for the future, Mass.: Harvard Business School Press,1994. Hax A. y Majluf, N. The Strategy Concept and Process: A Pragmatic Approach. Englewoods Cliffs, New Jersey: Prentice Hall 1997 Porter, Michael Competitive strategy for Analyzing Industries and Competitors. New York: The Free Press 1980 Jarillo, Jose Carlos. Direccin Estratgica, Mc.Graw Hill. Andreu Rafael, Et.Al.; Estrategia y Sistemas de Informacin; McGraw-Hill; 1996
Pgina 62
6035 3
ESO B
1st extension: Up to 2 points. 2nd extension: Up to 2 points. Performance in the laboratory sessions and documentation: Up to 2 points. The grades for the theory and practical parts will be carried over to the re-sit exam (not for the next course). Extensions and submissions from the practical part will not be accepted after having completed the first four-month period. In the re-sit exam there will be questions for theory and practice. Those students with suspensions in both parts should complete the whole exam. If only one of these has been passed, then all of the questions for the suspended part should be answered plus 25% of the questions for the part that has been passed, chosen by the student. Bibliography Johnson M. Hart: "Win32 System Programming" (2 ed.), Addison-Wesley, 507 pgs, ISBN 0-201-70310-6 * MSDN of Visual Studio .NET 2003
Pgina 64
6036 3
SSD B
Practice Practice 1: Continuous system simulation (I) Practice 2: Continuous system simulation (II) Practice 3: Introduction to Arena Practice 4: Discrete Systems Modelling Practice 5: Random number and variable generation Practice 6: Experiment design Practice 7: Results analysis Evaluation standards 3 parts: Theory exam: 40% Practice: 20% Work: 40% Practical work essential to obtain a subject grade Bibliography SIMULATION MODELING & ANALYSIS. A. M. LAW, W.D. KELTON. McGRAW HILL, 1991 DISCRETE-EVENT SYSTEM SIMULATION. J. BANKS ET AL. PRENTICE-HALL INTERNATIONAL, 2000. SIMULACIN DE SISTEMAS DISCRETOS. J. BARCEL. ISDEFE. 1996. SYSTEMS MODELING AND COMPUTER SIMULATION. VARIOS AUTORES, EDITOR NAIM A. KHEIR. MARCEL DEKKER, 1996. MODELING AND SIMULATION OF DYNAMIC SYSTEMS. R. L. WOODS, K. L. LAWRENCE.
Pgina 65
Pgina 66
6037 3
VPA A
Pgina 67
6038 5
AUT B
Pgina 68
INDUSTRIAL CONTROL
Degree Department Lecturer in charge Type Total credits Code Course Objectives The objectives focus on industrial automatism knowledge from an eminently practical aspect with the intention of enabling the student to integrate into a team responsible for the analysis, development and implementation of automation applications in an industrial environment. The theory-practical classes will be carried out practically in the Laboratory from the third session. Syllabus T1. INTRODUCTION TO AUTOMATISMS. T2. MODELLING, ANALYSIS AND SYNTHESIS OF AUTOMATISMS T3. PROGRAMMABLE LOGIC CONTOLLERS (PLCs) T4. IMPLEMENTATION AND TESTING OF AUTOMATION PROJECTS. T5. USE OF SPECIAL FUNCTIONS IN AUTOMATION PROJECTS T6. MODELLING WITH RdP (PETRI NETWORKS) T7. MODELLING WITH GRAFCET T8. USE OF SUBPROCESSES/ ROUTINES Practice Setting up, modelling and implementation of automation problems from the second session. The first will be dedicated to the complete description of industrial automaton to be used in the practical sessions. Evaluation standards Presentation of all the course work plus an individual or team project to be completed in the practical sessions of the subject. Bibliography Automatizacin de Procesos Industriales. Emilio Garca Moreno. Servicio de Publicaciones de la UPV. SPUPV-99.4116. Ingeniera de la Automatizacin Industrial. Ramn Piedrafita Moreno. Editorial Ra-Ma. 1999.
6039 5
CIN A
Pgina 69
COMPUTER-ASSISTED DESIGN
Degree Department Lecturer in charge Type Total credits Code Course Objectives Teach and train the student in the basic concepts of Computer-Assisted Design. To know and understand the use of a CAD modeller. Present the basic concepts of 2D, 2D and 3D. Train the student in the concepts and characteristics of solid modellers. Syllabus 1. Basic concepts of CAD 2. CAD systems 3. Geometric modelling 4. Solid modelling 5. CAD applications Practice 1. CAD 2D modelling. 2. CAD 2D and 3D modelling. 3. Solid object modelling. 4. Completion of a task defined by the tutor. Evaluation standards First exam: - Attendance and completion of practical sessions (10%) - Completion of a task defined by the tutor (40%) - Exam (50%) Second exam: Attendance and completion of practical sessions (10%) Exam (90%) Remaining exams: - Exam (90%) Bibliography La bibliografa, al no existir un libro nico para todos los contenidos de la asignatura, se suministra con cada tema. ----------------------------- La bibliografia, al no existir un llibre nic per a tots els continguts de lassignatura, se subministra amb cada tema.
Pgina 70
6040 5
DAC B
Pgina 71
COMPUTER GRAPHICS
Degree Department Lecturer in charge Type Total credits Code Course Objectives Obtain knowledge on the different ways of modelling 3D synthetic objects, their organisation in a scene and graphic representation on a screen. Syllabus Unit 1. The visualisation process (Pipeline) Unit 2. Scene-graph Unit 3. Geometric modelling Unit 4. Visual modelling Unit 5. Colour in image synthesis Unit 6. Local illumination Unit 7. Raytracing Unit 8. Shadows in local illumination Unit 9. Textures Practice P1. Animation of an object (glut) P2. Interactive movement of the observer (osg, producer) P3. Bezier curve and surface visualisation (OpenGL) P4. Videogame Construction (osg, glut) P5. Programming using raytracing Evaluation standards
6041 5
GPC A
Pgina 72
6043 5
PID B
Evaluation standards 2 tasks will be presented based on each of the units: VRML (5 points) + Swift 3d + Premiere (5 points) Bibliography Curso VRML SIGGRAPH Ames, Nadeau, Moreland VRML 2.0: Source Book Wiley, 1997. Adobe premiere User Guide Foley, Van Dam, Feinier y Huges. Computer Graphics. Principles and Practice, Addison Wesley, 1990. Foley, Van Dam, Feinier y Huges. Introduction to computer graphics, Addison Wesley, 1994. Hearn, Baker. Computer graphics. Second edition. Prentice Hall, 1994
Pgina 73
6045 5
STR A
Bibliography Apuntes de la asignatura (Transparencias + notas del curso) Real-Time Systems and Programming Languages A. Burns and A. Wellings Addison-Wesley, 1997 Real time systems: Implementation of industrial computarised process automation Wofgang A. Halang World Scientific. 1992 Concurrent programming with Ada A. Burns. Elsevier 1999 John Barnes. Programming in Ada 95, 2nd. ed. Addison-Wesley, 1998. ISBN 0-201-34293-6
Pgina 74
6046 5
TID B
passed. Regarding the presentation of voluntary tasks, the grade obtained will be added to the final exam grade if the latter is equal or greater than 4 (out of 10). Evaluation standards In normal conditions the subject grade is obtained directly from the grade attained in the final exam plus the grade achieved in the obligatory practical sessions. If the student doesnt sit the final exam or doesnt present the obligatory practical work they will receive a not present grade. Theory and/or practical grade are only carried over if at least 40% of said subject has been passed. Regarding the presentation of voluntary tasks, the grade obtained will be added to the final exam grade if the latter is equal or greater than 4 (out of 10). Bibliography "Computer Graphics", Hearn & Baker. Prentice Hall 1994. "Computer Graphics: Principles and practice", Foley et al.. Adison Wesley 1990. "Introduccin a la graficacin por ordenador", Foley et al.. Adison Wesley 1994. "Introduction to computer graphics", Foley et al.. Adison Wesley 1994. "Introduccin a la informtica grfica 2D", Roberto Viv y Xavier Lluch. Ref.: 96-062, U.P.V.. "Digital Image Processing", Gregory A. Baxes. Wiley 1994. "Digital Image Warping", George Wollberg. IEEE Computer Society Press Monograph. "Modern Image Processing: Warping, Morphing and Classical Techniques", Christopher Watkins, et al.. APE Professional. "Graphics file formats", C. Wayne Brown & Barry J. Shepherd Prentice Hall. "Procesamiento digital de imagen", M. Alcaiz Raya, et al. Ref: 99-150, SUPV
Pgina 76
VISION SYSTEMS
Degree Department Lecturer in charge Type Total credits Code Course Objectives Show the general problems of computer vision. Study the characteristics most relevant to the elements of a vision system: cameras, optics and digitaliser Describe and use basic image and vision computer processing techniques. Study the application of said techniques in industrial contexts for automatic visual inspection tasks and robotics. Syllabus Topic 1: Computer vision basics Topic 2: image acquisition Topic 3: Image digitalisation Topic 4: Basic image pre-processing techniques Topic 5: Image segmentation techniques Topic 6: Binary image analysis Topic 7: Description and interpretation Topic 8: 3D vision Practice P1: Project Presentation P2: Image acquisition P3: Project Acquisition/Umbralization P4: Segmentation P5: Project labelling P6: Project - Characteristic extraction P7: Classification Evaluation standards The final grade will be obtained: - 50% Written exam - 50% Final practical task Bibliography R.C. Gonzlez, R.E. Woods, "Digital Image Processing", Addison Wesley, 1993. A.K. Jain."Fundamentals of Digital Image Processing", Prentice-Hall, 1989 E.R. Davies. "Machine Vision: Theory, Algorithm & Practicalities", Academic Press, 1990. M.W. Burke, "Handbook of Machine Vision Engineering. Vol. I: Image Acquisition", Chapman & Hall, 1996 T.Y. Young & K.S. Fu, "Handbook of Pattern Recognition & Image Processing", Academic Press, 1986. H. Freeman. "Machine Vision for Inspection & Measurement", Academic Press, 1989.
6047 5
SDV A
Pgina 77
ADVANCED ARCHITECTURE
Degree Department Lecturer in charge Type Total credits Code Course Objectives To know and understand how the latest commercial processors work. Analyse the advantages and disadvantages of processors with different nuclei: multithread and multiprocessors. Understand how massively parallel system applications function and the different interconnection network commutation, arbitration and flow control mechanisms. To know the different interconnection network routing topologies and algorithms. Syllabus Topic 1: Renaming of registers Topic 2: Advanced memory access techniques Topic 3: Jump prediction and advanced search mechanisms Topic 4: Multiprocessor systems Topic 5: Multithread architecture Topic 6: Interconnection networks. Introduction Topic 7: Topologies Topic 8: Routing, arbitration and commutation Topic 9: Practical aspects of commercial networks Topic 10: Examples of interconnection networks Practice 1. Introduction to simplescalar simulator 2. Modelling a bank of registries and an instruction queue in simplescalar 3. Modelling of loads and stores in simplescalar 4. Introduction to interconnection network simulators 5. Influence of the commutation mechanism on the performance of interconnection networks 6. Influence of commuter architecture on the performance of interconnection networks Evaluation standards The final grade will be made up as follows: Attendance and participation in class 25% Coursework 50% Practical work 25% Bibliography J.P. Shen, and M.H. Lipasti, Modern Processor Design: Fundamentals of Superscalar Processors, McGraw Hill, 2005 J. Hennessy and D. Patterson, Computer Architecture: a quantitative approach, Morgan Kauffman, 2003
Pgina 78
6048 5
AAV B
J. Duato, S. Yalamanchili, L. Ni, Interconnection Networks, An Engineering Approach, Morgan Kaufmann W. Dally, B. Towles, Principles and Practices of Interconnection Networks, Morgan Kaufmann
Pgina 79
PARALLEL COMPUTING
Degree Department Lecturer in charge Type Total credits Code Course Objectives Parallel computing models Evaluation of parallel algorithms Design of parallel algorithms Syllabus Parallel computing models Evaluation of parallel algorithms Design of parallel algorithms Practice
6049 5
CP A
Evaluation standards
Pgina 80
6050 5
DSM A
Pgina 81
Bibliography Microcontrolador Intel MCS-51 : arquitectura y programacin- (Campelo Rivadulla, Jos Carlos), Servicio de Publicaciones UPV. Perifricos e interfaces industriales- (Campelo Rivadulla, Jos Carlos). Servicio de Publicaciones UPV. Al comienzo del curso de reparte un CD, con la informacin del microcontrolador a utilizar, manuales, notas de aplicacin, notas de ejemplos de aplicacin, etc. Y los manuales de dispositivos, compiladores, y equipos usados en las prcticas. Transparencias usadas en clase.
Pgina 82
6051 5
DAV B
Pgina 84
6052 5
EMS A
Pgina 85
6053 5
LEP B
after the finalisation of the implementation stage, depending on the difficulty of the Case Study and the circumstances in which it has been developed. Bibliography [Foster97] I.Foster. "Designing and Building Parallel Programs", (Online), Addison-Wesley. http://www-unix.mcs.anl.gov/dbpp/ [Kumar94] V.Kumar, A.Grama et al., "Introduction to Parallel Computing. Design and Analysis of Algorithms". 2 Edicin. Addison-Wesley (2003) [Snir96] M.Snir, S.Otto et al., "MPI. The complete reference.", J. Kowalik, Eds., Scientific and Engineering Computation. The MIT Press, Cambridge (1996) [Prez00] J.L. Prez y A.M. Vidal. Introduccin a la Programacin en MPI. Libro de apuntes editado por el servicio de publicaciones de la UPV. Ref. 902. [Wilkinson99] B.Wilkinson y M.Allen. "Parallel Programming. Techniques and Applications Using Networked Workstations and Parallel Computers." Ed. Prentice-Hall. (1999)
Pgina 87
ADVANCED PERIPHERALS
Degree Department Lecturer in charge Type Total credits Code Course Objectives To learn the basic aspects of the programming of I/O in computers. To learn how to do the lowest level programming of peripherals, in other words that which directly accesses the interfaces integrated drivers. To learn how to create a basic peripheral driver program. To understand the structure of device drivers used in operating systems for Input/Output and learn how to program a basic controller. To learn about the technological characteristics and operational parameters of magnetic disks, as well as the latest technology surrounding them. To learn about the latest interfaces for the connection of discs and storage subsystems. To learn about the characteristics and operation of network storage. To learn about the characteristics and parameters of the operation of some advanced peripherals such as cameras, peripherals of accessibility for the disabled or biometric peripherals, among others. Syllabus BLOCK I: Architecture of I/O Topic 1: Basic aspects of the programming of I/O Topic 2: Architecture of I/O in Windows/Linux Topic 3: Development of drivers BLOCK II: Storage systems Topic 4: Magnetic disks. Latest technology Topic 5: Advanced interfaces for disks: SCSI-3, Fibre Channel Topic 6: Redundant systems (RAIDS) Topic 7: Network Storage BLOCK III: Advanced peripherals Topic 8: Video cameras and interfaces Topic 9: Peripherals of accessibility to physical media Topic 10: Biometric peripherals Topic 11: Other peripherals and interfaces Practice Practice 1: Basic programming of I/O Practice 2: Programming of a peripheral: Digital I/O card PCI7248 Practice 3: Programming of a DLL for the operation of a peripheral Practice 4: Programming of a driver Practice 5: Setting up and fine tuning of a RAID Evaluation standards The evaluation method will be agreed on with the students. Initial proposal: - Final exam in test form on the theory and laboratory practical sessions (40%)
Pgina 88
6054 5
PAV B
- Laboratory practical sessions (obligatory 40%) - Subject work (optional 20%) Bibliography BIBLIOGRAFA BSICA Paul Massiglia, The RAID Book: A Storage System Technology Handbook. Peer-To-Peer Communications, 1997. Scott Mueller. Upgraiding and Repairing PCs (15th ed.) . QUE,2004 Win L Ros The Hardware Bible (6nd Ed.) QUE 2003 Charles Petzold & Paul Yao Programacin en Windows. McGraw Hill, 1996. Walter Oney. Programming the Microsoft Driver Model. Microsoft Press, 1999. Microsoft. Microsoft Windows 2000 Driver Design Guide. Microsoft Press 2000. Microsoft Windows 2000 Driver Development Kit (DDK 2000) Marc Farley, Building Storage Networks, Osborne/McGraw-Hill; 2nd edition, 2001 BIBLIOGRAFA COMPLEMENTARIA Chris Cant. Writing Windows WDm Device Drivers. R&D Book 1999. Tom Clark. Designing Storage Area Networks. Addison-Wesley Professional; 1st edition , 1999. Tischer, M. "PC interno 2nd Ed." Ed. Marcombo, 1995. H.P Messmer. "The Indispensable PC Hardware Book (2nd Ed.)" Addison-Wesley, 1995. Jos M Martn, Hardware Microinformtico, Ra-Ma, 2003. Klaus Dembowski, Gran Libro del Hardware, Marcombo, 1999. Friedhelm Schmidt, The SCSI Bus and IDE Interface. Addison Wesley, 1997 Microsoft Professional Editions. Hardware Design Guide for Windows95. A Practical Guide for Developing PnP PCs and Peripherals. Microsoft Press, 1994.
Pgina 89
ADVANCED DATABASES
Degree Department Lecturer in charge Type Total credits Code Course Objectives Study advanced topics in database technology. - To learn about the evolution of data management technology - To learn about the new trends in the development of database management systems - To use database management systems which incorporate new capacities Syllabus 1. Database technology evolution 2. Relational system extensions 2.1 Active databases 2.2 Deductive databases 2.3 Object-relational databases 3. Object oriented databases 4. New types of database systems Practice 1. Introduction to SGBD ORACLE8. 2. Active database management systems. 3. Deductive database management systems. 4. Object oriented database management systems. 5. Data storage. Evaluation standards Final exam Bibliography Sistemas de bases de datos : conceptos fundamentales.Elmasri, Ramez. Addison Wesley Iberoamericana 1997 The Object database standard, ODMG 2.0. Morgan Kaufmann, cop. 1997 Object-relational DBMSs : The next great wave. Stonebraker, Michael. Morgan Kaufmann, cop. 1996 Deductive databases and logic programing. Das, Subrata Kumar. Addison-Wesley, 1992 Object data management : Object-oriented and extended relational database systems. Cattell, R.G.G. Addison-Wesley, cop. 1994, 2001 Advanced database systems. Carlo Zaniolo ... [et al.]. Morgan Kaufmann, cop. 1997. Active database systems : Triggers and rules for advanced database processing. Jennifer Widom, Stefano Ceri. Morgan Kaufmann, cop. 1996 Active rules in Database systems. Paton,N. Springer, 1999 The data warehouse toolkit . Kimball, R. John Wiley, 1996 Building de datawarehouse. Inmon, W.H. John Wiley, 1992
Pgina 90
6055 5
BDA B
6056 5
HMI A
Pgina 91
6057 5
HAD B
Science, volume 4, Semantic Modelling, pginas 527-636, Oxford University Press, 1995. F. Nielson, H.R. Nielson, C. Hankin. Principles of Program Analysis. Springer-Verlag, Berlin, 1999.
Pgina 93
6058 5
MFI A
- Another possibility is to do a specific task (bibliographical, for example) related to one of the topics. - A third possibility is to complete a practical task related to one of the practical blocks. - Other possibilities, proposed by the student, will be considered. Bibliography D. Le Metayer et al. Exploring the Software Development Trilogy. IEEE Software, Diciembre 1998 E. Clarke, O. Grumberg, D. Peled. Model Checking. MIT Press, 1999. D. Le Metayer et al. Exploring the Software Development Trilogy, IEEE Software, Diciembre 1998. E. Clarke, O. Grumberg, D. Peled. Model Checking. MIT Press, 1999. N.D. Jones and C.K. Gomard and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cliffs, NJ, 1993.
Pgina 95
6059 5
TCP B
Pgina 96
- Implementation of patterns - Development of Frameworks - Development of a Code Generator from Models - Application to real problems - The practical sessions can be done in any visual and Object Oriented development environment. Evaluation standards Development of a project Bibliography Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P. Stal, M. Pattern-Oriented Software Architecture. A System of Patterns. John Wiley & Sons. 1996. Gamma, E., Helm, R., Johnson, R., Vlissides, J. Design Patterns: Elements of Reusable Object-Oriented Software. Professional Computing Series. Addison-Wesley, Reading, MA, 1994. Fowler, M. Analysis Patterns: Reusable Object Models. Addison-Wesley, 1997. M. Fowler. Patterns of Enterprise Application Architecture, Addison-Wesley. 2003. G.Hohpe., B. Woolf. Enterprise Integration Patterns : Designing, Building, and Deploying Messaging Solutions, Addison-Wesley. 2004. Jack Greenfield, Keith Short, Steve Cook, and Stuart Kent. Software Factories. Wiley Publising Inc., 2004. Object Management Group. Model Driven Architecture Guide, 2003.
Pgina 97
6060 5
TSA A
Evaluation standards The evaluation grade consists of two parts: Theory grade: a weight of 60% Practical grade: a weight of 40% The theory grade is obtained via: 1. Multiple-choice test: each incorrect answer costs 0.3 points and each correct answer is worth 1 point. The final is graded out of 10. 2. Points obtained for answers to problems formulated in class. The value of the point depends on the difficulty of the question: 0.1,..0.5,1 3. Class presentations by the students on related themes: up to 2 points The final practical grade supposes the submission and evaluation of the two tasks proposed by the tutor. NOTE: it is necessary to attain at least a 4 to be able to balance a Theory or Practical grade Practical rules: - They are obligatory - They are done in groups of 2 people - Location: To be determined (Old EUI) - Register practical groups - AUTOMATIC RESERVATION - Location: Shortly the reservation times will be released - Commencing of practical sessions; +20 October (when the laboratories end) Bibliography
Pgina 98
Bibliografa general: Standard ODMG-93. O. Pastor, I. Ramos: OASIS version2 (2.2): A Class-Definition Language to Model Information Systems Using an Object-Oriented Approach. SPUPV-95.788. CORBA. Manifiestos En cada tema se dar la bibliografa particular que se haya utilizado.
Pgina 99
LEARNING
Degree Department Lecturer in charge Type Total credits Code Course Objectives Familiarise the student with computational and algorithmic learning. Define information protocols valid for the efficient learning of language types. Study efficient learning algorithms for some regular and context-free language types. Study decision tree learning. Syllabus 1. Introduction to algorithmic learning 2. Decision tree learning 3. The inductive inference paradigm 4. Regular language learning 5. Context-free language learning 6. Learning with additional information: oracles 7. Reinforcement learning Practice Practice 1: Synthetic generator design Practice 2: Learning algorithm implementation Practice 3: Decision tree learning Evaluation standards February exam: - 40% practical laboratory sessions - 30% a task proposed in class - 30% class exercises (the latter can be substituted for and exam out of 10 points) June exam: exam out of 10 points Bibliography Systems That Learn. An introduction to learning theory for cognitive and computer scientists Daniel N. Osherson, Michael Stob, Scott Weinstein. Bradford, 1990 Machine Learning. Tom Mitchell. McGraw-Hill, 1997 Machine learning : a theoretical approach. Balas K. Natarajan. Morgan Kaufmann, 1991 C 4.5 : programs for machine learning. J. Ross Quinlan. Morgan Kaufmann, 1993
6061 5
APR A
Pgina 100
6064 5
OAP A
Pgina 101
DECLARATIVE PROGRAMMING
Degree Department Lecturer in charge Type Total credits Code Course Objectives Declarative programming is a programming paradigm based on logic, in which many advanced aspects of modern programming languages are studied. The overall objective of the subject is to study in-depth the formal and applied aspects of declarative programming and, in particular, the paradigms most representative of the declarative programming style: functional programming and logic programming, following a uniform outline based on exploiting the most appropriate logic for each style: an equation logic for the functional style and clausal logic for the logic style. Syllabus 1. Introduction to Declarative Programming 2. Programming in functional languages 3. Functional program reasoning 4. Logic language programming 5. Declarative language applications Practice In the laboratory students work in an environment with facilities for developing GUI applications: efficient programming techniques are learnt in the most representative languages of each paradigm (Haskell, Maude and Prolog) and techniques and advanced applications such as XML document processing, the rapid development of interpreters and compilers, etc. are studied. Evaluation standards An exam on the entire theory contents of the subject and assessment of the practical sessions completed. Personal work. Bibliography [Bir00] Richard Bird. Introduccin a la Programacin Funcional con Haskell. Prentice-Hall, 2000. [HR04] Seif Haridi and Peter van Roy. Concepts, Techniques, and Models of Computer Programming. The MIT Press, 2004. [Hud00] Paul Hudak. The Haskell School of Expression. Learning functional programming through multimedia. Cambridge University Press, 2000. [NM00] Ulf Nilsson and Jan Maluszynski Logic, Programming and Prolog (2ed) John Wiley & Sons Ltd, 2000. [PE93] Rinus Plasmeijer and Marko van Eekelen. Functional Programming and Parallel Graph Rewriting. Addison-Wesley, 1993.
6065 5
PD A
Pgina 102
PATTERN RECOGNITION
Degree Department Lecturer in charge Type Total credits Code Course Objectives To provide a broad, introductory view of Pattern Recognition and its applications. Syllabus - Introduction - Feature extraction - Probability distributions - Linear models - Distance-based methods - Unsupervised learning - Error correcting methods - Bayesian networks - Hidden Markov models - Maximum entropy Practice Lab exercises proposed in lectures. Evaluation standards A written exam (70% of the global mark) and the results obtained in lab exercises (30% of the global mark). Bibliography * R.O. Duda, D.G. Stork and P.E. Hart. Pattern Classification. Wiley, 2001. * C.M. Bishop. Pattern recognition and machine learning. Springer, 2006. R.O. Duda, P.E. Hart. Pattern Classification and Scene Analysis. Wiley, 1973. R.O. Duda, D.G. Stork, P.E. Hart. Pattern Classification. Wiley, 2001. R.C.Gonzalez and M.G. Thomason: Syntactic Pattern Recognition: an Introduction. Addison Wesley, 1982. H.Bunke and A. Sanfeliu: Syntactic and Structural Pattern Recognition: Theory and Applications. Worl Scientific, 1990.
6066 5
RF A
Pgina 103
NEURONAL NETWORKS
Degree Department Lecturer in charge Type Total credits Code Course Objectives The first objective of the subject is to familiarise the student with the exciting world of Artificial Neuronal Networks, highlighting their possibilities and limitations. The second objective is to train the student in the design of Connectionist Systems for the resolution of real problems of prediction and interpretation of the real world, as well as image recognition, medical diagnosis, meteorological prediction, stock-market prediction, etc. Syllabus 1. Introduction 2. Linear Discriminant FUNCTION 3. Feed-Forward Network: Multi-layer Perceptron 4. Other Connectionist Paradigms Practice For the practical sessions in this subject artificial neuronal network simulation software will be used (Stuttgart Neural Network Simulator). They are structured in three blocks: Introduction to the SNNS environment; Comparison of different training algorithms and different samples of parameters with the Multi-layered Perceptron, and connectionist Classifier/Predictor with the Multi-layered Perceptron. Evaluation Standard The subject grade will be determined by the extra-course-content tasks and the satisfactory completion of the practical sessions of the subject. Evaluation standards The subject grade will be determined by the extra-course-content tasks and the satisfactory completion of the practical sessions of the subject Bibliography Bishop, Ch. M. "Neural Networks for Pattern Recognition." Clarendon Press. Oxford. 1995. Duda, R. O., Hart, P., Stork, D. G. "Pattern classification". John Wiley. 2001. Ripley, B. D. "Pattern Recognition and Neural Networks." Cambridge Univ. Press. 1996. MacKay, D. "Information Theory, Inference and Learning Algorihtms". Cambridge Univ, Press. 2004.
6067 5
RN A
Pgina 104
Computer Science Degree DISCA Juan Carlos Prez y Sergio Sez Optional
Total 6 = Theory 3 + Practice 3
6068 5
DSO A
PL5. Timed message display screen PL6. (optional) Message display screen with interruptions Evaluation standards 30% of the final grade (3 points) will be obtained from the practical work evaluation (except the first, which is introductory). The remaining 70% (7 points) will be the weight of the written exam. The written exam will be composed mainly of theory questions, but also questions relevant to the laboratory work. At least 4 out of 10 in the theory and practical sessions will be needed to pass. The final grade in the re-sit exam will be the same, if the student has attained a grade of 4 or higher, or only the exam grade, if the student hasnt passed or completed the practical sessions during the corresponding semester. The optional practical work is oriented to learning, not improving the grade. This means that those who wish to undertake it are those who are interested and who want to dedicate some time to master the linux nucleus and its internal structure a little more. Nevertheless, its evaluation will add one point to the practical grade (equivalent to +0.3 of the overall grade). On doing unguided practical work, the tutors will not direct their completion. They will only respond to accurate questions and explicitly explain the concepts about which they are asked. Therefore, the students will have to look for most of the information by themselves. Bibliography IMPORTANTE: Pgina web de la asignatura: http://futura.disca.upv.es/~dso "The Linux Process Manager: the internals of scheduling, interrupts and signals", John OGorman. Ed: John Wiley and Sons. ISBN 0-470-84771-9 "Understanding the Linux kernel", 2nd edition, Daniel P. Bovet and Marco Cesati. Ed: OReilly. ISBN 0-596-00213-0 "Linux Core Kernel commentary", Maxwell, S. Ed: Coriolis Group. ISBN 1576104699 "Linux Kernel Internals", M. Beck, H. Bohme, M. Dziadzka, U. Kunitz, R. Magnus, D. Verworrner. Ed: Addison Wesley ISBN 0-201-33143-8 "The Linux A-Z", Phil Cornes. - London [etc.] : Prentice-Hall, 1997. ISBN 0132347091" "The Linux Kernel book", Remy Card, Eric Dumas, Franck Mevel. - Chichester : John Wiley, 1998. ISBN 0471981419 "Programacion Linux 2.0 : API de sistema y funcionamiento de nucleo", Remy Card, Eric Dumas, Franck Mevel. - Barcelona : Gestin 2000, D.L. 1997. ISBN 8480882077 Linux device drivers / Alessandro Rubini, Jonathan Corbet. - 2nd. ed. : OReilly, 2001. ISBN 0596000081 [ONLINE] "The Linux Kernel" David A. Rusling. LDP.
Pgina 106
6069 5
DYA A
Evaluation standards 2 types a) Exam Type of exam: consisting of 15-20 short and concise questions about the theory topics and practical work. b) Practical work Pass policy: 1. To be able to pass with this type of evaluation without a written exam, the obligatory part of ALL OF THE PRACTICAL SESSIONS should be submitted (9 practical sessions + final task). 2. The grade will vary between 5 and 8 on the basis of the work completed in each practical session (optional parts) and on the submission time. 3. To attempt to attain grades 9 and 10 the final exam also needs to be passed (grade>6). Bibliography M. L. Liu, Computacin Distribuida. Fundamentos y Aplicaciones. Pearson/ Addison Wesley G. Coulouris, J. Dollimore, T. Kindberg, Distributed Systems. Concepts and Design, Addison Wesley, 3 edicin. W. Emmerich, Enginnering Distributed Objects, Wiley 2000. M. Campione, K. Walrath, The Java Tutorial: Object Oriented Programming for the Internet
Pgina 107
Pgina 108
DISTRIBUTED SYSTEMS
Degree Department Lecturer in charge Type Total credits Code Course Objectives The explosion in the use of systems like WWW, internet and intranets, makes distributed applications more and more important. This course aims to teach the basics of the creation of systems in distributed environments. As such, the main characteristics of a distributed system will be studied, as well as how they can be used for new applications. In this subject, students will also study some of the standards which have emerged for distributed application design. The nature of the subject is mixed, with essential theory contents and practical work which will equip those students interested in designing distributed applications. Syllabus 1. Introduction 2. Communication 3. Processes 4. Naming 5. Synchronisation 6. Consistence and replication 7. Tolerance and Faults 8. Security Practice 4 practical tasks: 1 on communication via sockets and 3 on the development of an object call manager. They are carried out and submitted in groups of 1 2 students. Final date for submission: THE DAY OF THE FINAL EXAM Evaluation standards Theory exam: 60% Grade should be >=4 Practical: 40% Each practical sessions: 10% EACH grade should be >=4 ALL practical work must be submitted BEFORE the final exam Second exam and following Only the exam is considered Practical work is NOT CARRIED OVER Bibliography Distributed systems : principles and paradigms (Tanenbaum, Andrew S.), Activo Thinking in Java (Eckel, Bruce), Distributed systems: concepts and design
6070 5
SD A
Pgina 109
6071 5
RAL A
- Sonert vs. RSTP (ATM vs 10gE) - RPR (ieee 802.17) - Routers (WAN) Access, edge and core routers - Switching vs. routing - Longest match routing - PATRICIA Routing - IGP: Revision Distance Vector, Link State - EGP: Path vector. Introduction to BGP-4 Practice P1. X Server Architecture (2 sessions) P2. Network file systems, Samba, NFS. (1 session) P3. Local area network simulation with OPNET. (2 sessions) P4. Bluetooth. Protocol stack BlueZ. Use of Bluetooth tools. (3 sessions) P5. Visit to Ono or Telefonica communications centre (1 session) Evaluation standards The evaluation is based on a final exam, 80% of which is related to the subject theory and 20% to the laboratory work. It is possible to do voluntary tasks to improve the final grade. Bibliography "Local an Metropolitan Area Networks - 6th Edition", William Stallings - Prentice Hall "Local Area Networks - 3rd Edition", David Stamper - Prentice Hall Interconections (2 edition): Bridges, Routers, Switches and Internetworking Protocols. R. PERLMAN, Ed: Addison-Wesley 1999. "Designing Campus Networks", Terri Quinn-Andry, Kitty Haller - Cisco Press "Ethernet - The definitive guide", Charles Spurgeon - OReilly "Gigabit Ethernet", Rich Seifert - Addison Wesley "The Switch Book", Rich Seifert - John Wiley & Sons
Pgina 111
MULTIMEDIA NETWORKS
Degree Department Lecturer in charge Type Total credits Code Course Objectives The objective of this subject is to provide the student with a comprehensive vision of multimedia data transport systems, dealing with the most noteworthy aspects at all levels: from network technologies (especially multimedia data transport on the Internet) to multimedia applications (e.g. Videoconference and streaming), looking at different strategies for the encoding and efficient transport of multimedia data (image and video compression, mechanisms for the protection and concealment of errors, service quality, etc.). Syllabus 1. Introduction - Subject presentation. - Justification and context of the contents. - Multimedia data transmission: Historical evolution. 2. Network multimedia applications - Introduction - Definition and types of applications - Internet multimedia applications - MBONE tools, Iphone, Cu-SeeMe, NetMeeting, etc. - Network requirements. - Introduction to data compression. - Conclusions. 3. Audio encoding - Introduction - Audio characteristics - Digitalisation - Audio signal quality - Specific parameters - Audio compression - Telephonic quality - CD quality - Conclusions 4. Image encoding - Introduction - Image characteristics - Image capturing and digitalisation (digital cameras) - Image types (according to their resolution) - Encoding (from RGB to YCbCr YCbCr with subsampling) - Image compression. Spatial redundancy. - JPEG standard - Wavelets - JPEG 2000 standard - Conclusions
Pgina 112
6072 5
RMM B
5. Video encoding - Introduction - Video characteristics - Analogical video capturing - Video digitalisation - Video types (according to quality) - Specific network parameters - Video compression - Temporal redundancy - Moving estimation: algorithms - Standards: MPEG-* and H.26*. - Conclusions 6. Multimedia transport protocols on the Internet - Introduction - Multi-destination communications - IP multicast - MBONE (Multicast Multicast BackbONE) - RTP/RTCP Protocols - RTSP Protocol - Protocols with quality of service (QoS) support - RSVP, IPv6 and IP Switching 7. Video diffusion techniques - Introduction - Management control - Hierarchic video encoding - Protection and concealment of errors - Video on demand - Transcoding techniques - Conclusions Practice Multimedia tools for the compression of audio and video, and to do streaming on the network. Capturing and reproduction of audio and video on Windows. Description of Windows API to access audio and video hardware devices. Entropy encoding. Development of basic lossless data-compression algorithms (Huffman, arithmetic coding). Performance analysis. Audio compression. Development of basic audio-compression algorithms (ADPCM). Performance analysis. Image compression. Development of basic image-compression algorithms (conversion RGB to YCbCr, JPEG). Performance analysis. Audio and/or video transmission on the network. Using the results obtained in the previous practical work, develop a client-server application which establishes an audio and/or video session among machines using protocols to support multimedia data transmission. Evaluation standards The evaluation of the theory part of the subject will be done via a final written exam which will make up 50% of the final grade. The other 50% will be based on subject tasks, which are related to the aspects studied in the theory sessions, and developed during the practical sessions. Bibliography - Aplicaciones multimedia: [KUO98] F. Kuo et al.,"Multimedia Communications", Prentice Hall, 1998. [FLU95] F. Fluckiger ,"Understanding networked multimedia". Prentice Hall. 1995. - Codificacin de audio: [AudioFAQ] FAQ Internet sobre codificacin y compresin de audio. [txt] [IP Phone FAQ] FAQ sobre el software de telefona IP
Pgina 113
[Pan93] Davis Yen Pan, "Digital Audio Compression", Digital Technical Journal, Vol. 5, No. 2, Spring 1993. [Pan96] Davis Yen Pan, "A Tutorial on MPEG/Audio Compression", IEEE Multimedia Journal, Summer 1995. [MP3 Intro] "An introduction to MP3", K. Brandenburg and H. Popp, EBU TECHNICAL REVIEW June 2000 [MP3&AAC] "MP3 and AAC explained", K. Brandenburg, AES 17th International Conference on High Quality Audio Coding, 1999. [Noll00] P. Noll, ``MPEG Digital Audio Coding Standards, CRC Press, 2000. [Audio Links] Audio related Links (from ePanorama.net) [MPEG audio] http://www.mpeg.org/MPEG/audio.html [MP3 site] http://www.iis.fraunhofer.de/amm/techinf/layer3/index.html - Codificacin de imagen y vdeo: [GIB98] Gibson et al., "Digital Compression for Multimedia", Morgan Kaufmann, 1998. [KUO98] F. Kuo et al.,"Multimedia Communications", Prentice Hall, 1998. [FLU95] F. Fluckiger ,"Understanding networked multimedia". Prentice Hall. 1995. [Ric03] I. Richardson, H.264 and MPEG-4 video compression : video coding for nextgeneration multimedia, John Wiley & Sons, 2003 [H.264] "Overview of the H.264 / AVC Video Coding Standard", Thomas Wiegand, Gary J. Sullivan, Gisle Bjontegaard, and Ajay Luthra, IEEE Transactions on Circuits and Systems for video technology, July 2003 [JPEG2000] "JPEG 2000 performance evaluation and assessment", Diego Santa-Cruz, Raphael Grosbois and Touradj Ebrahimi, Signal Processing: Image Communication 17 (1):113130, 2002. [MPEG4] "MPEG-4 Overview - (Fribourg Version) ", [TSU99] Tsuhan Chen, "Introduction to video coding standards for multimedia communication", book chapter of Visual Communication and Image Processing, [EZW] J. M. Shapiro, "Embedded image coding using zerotrees of wavelet coefficients", IEEE Trans. on Image Processing, Dec. 1993 [JPEG site] http://www.jpeg.org [MPEG site] http://www.mpeg.org - Protocolos de transporte multimedia: [RFC1112] S. Deering, "Host Extensions for IP Multicasting", [txt] [RFC2205] R. Braden, L. Zhang, et. al. "Resource Reservation Protocol (RSVP) - Version 1 Functional Specification", IETF Network Working Group, [txt] [RFC2236] W. Fenner, "Internet Group Management Protocol, Version 2", [txt] [RFC2326] H. Schulzrinne, A. Rao, R. Lanphier, "Real Time Streaming Protocol (RTSP)", [txt] [RFC2327] M. Handley, V. Jacobson,"SDP: Session Description Protocol", [txt] [RFC2543] M. Handley,H. Schulzrinne,E. Schooler and J. Rosenberg, "SIP: Session Initiation Protocol", [txt] [RFC2974] M. Handley, C. Perkins and E. Whelan, "Session Announcement Protocol", [txt] [RTP] S. Schulzrinne, S.Casner, R. Frederick, V. Jacobson, "RTP: a Transport Protocol for Real-Time Applications". [RFC1889.txt] [RFC1890.txt] [draft-ietf-avt-rtp-new-07.txt] [DaFa99] Ismail Dalgica and Hanlin Fangb, "Comparison of H.323 and SIP for IP Telephony Signaling", Proc. of Photonics East, Boston, MA, September 20-22, 1999. - Tcnicas para la difusin de vdeo: [Sad02] H. Sadka, Compressed video communications John Wiley & Sons, 2002. [Vet03] A. Vetro, C. Christopoulos, and H. Sun "Video Transcoding Architectures and Techniques: An overview", IEEE Signal Processing Magazine, March 2003. [deB00] V. DeBruner, L. DeBruner, L.Wang and S. Radhakrishnan, Error control and concealment for image tranmsision, IEEE Communications Surveys & tutorials, vol 3. n.1, 2000. [Shi00] S. Shirani, F. Kossentini, and R. Ward "A Concealment Method for Video Communications in an Error Prone Environment ", IEEE Journal on Selected Areas in
Pgina 114
Communications, vol. 18, no. 6, pp. 1122-1128, June 2000. [Tal98] R. Talluri. Error-Resilient Video Coding in the ISO MPEG-4 Standard. IEEE communications Magazine, pag: 112-119. Junio 1998
Pgina 115
6073 5
SRC B
Chapman B., Building Internet Firewalls, ed. OReilly, 2000, 2 ed. Kaufman Ch., Perlman R., & Speciner M. Network Security; Ed. Prentice Hall. 2002, 2 ed S. Garfinkel. G. Spafford , Web Security, Privacy & and Commerce; Ed OReilly, 2002, 2 ed. R. L. Ziegler Linux Firewalls. Incluyes full coverage of iptables; Ed New Riders 2002, 2 ed
Pgina 117
Computer Science Degree DOEEFC Rafael Bernal Montaes, CISA, CISM Optional
Total 6 = Theory 3 + Practice 3
6075 5
AGS B
4. Ofimtica/Groupware tools. 5. Hackers & Crackers: current state. 6. CAAT tools. (Computer Aided Audit Tools) 7. Expert Systems. Audit and application for Auditors and Information Systems Audit. 8. Electronic Document exchange. EDI. 9. Info-centres and Call Centres. 10. Automatic Auditing tools 11. ON-LINE Auditing tools. 12. Assessment of assets in Information Systems. 12.+1: Portable computing. The mobile office. 14. Electronic mail 15. Electronic Bank 16. Video on-demand 17. Systems Auditing methods 18. Client/server technologies 19. Contingency plans 20. Virus & Antivirus 21. Data Warehousing 22. Distributed Databases 23. RAD tools: Rapid Application Development. 24. Acquisition of computing material 25. File/document protection in ofimtica tools 26. Local Networks (LAN) 27. Wide Area Networks (WAN) 28. Legal data protection. 29. Hospital Management Computing. 30. Topic to be chosen by the group (by consent of the tutors) Evaluation standards The subject will be evaluated in two parts: 50% of the final grade will be the evaluation of the theory, via two partial exams, and the other 50% will be the grade of a task to be completed throughout the semester in a group of a maximum of 4 students. Bibliography "Auditoria de los Sistemas de Informacion" Ed. UPV, SPUPV-019
Pgina 119
QUALITY CONTROL
Degree Department Lecturer in charge Type Total credits Code Course Objectives Study the basic concepts and main techniques of Statistical Quality Control, as a basic tool in the framework of a Total Quality philosophy, oriented to prevention and continuous improvement. Syllabus Total Quality: Political Philosophy and Tools Basic concepts of Process Control Basic Tools Process Capacity studies Study of measuring systems capacity: R&R analysis General concepts of control graphics X/R graphic : basis; construction; falta de control signals; power Other variable graphics Attribute graphics: P, NP, C and U graphics CE graphic (Negative Binomial) Introduction to advanced graphics: CUSUM, EWMA Autocorrelation process graphics Introduction to Process Control Off-Line: Taguchi methods ISO 9000 quality guarantee standards Practice The basic idea is that students do not limit themselves to the analysis, via computer programs, of data made available to them, but, as much as possible, get involved in the whole organisational process and take decisions which involve the use of real data. To do this, students must work using simplified processes which are set up in the Department Quality Control laboratory. Statgraphics software will be used. The course includes two conferences, given by distinguished specialists in the practical application of quality control Evaluation standards Class and practical session points, which are done every week. Qualifying Partial half way through the course and Final written evaluation Bibliography R. Romero y L.R. Znica: "Apuntes de Control Estadstico de Calidad: 1 Parte y 2 Parte" SPUPV 2003.874 "Formulario y Tablas Estadsticas de Control Estadstico de Calidad"
6076 5
CDC B
Pgina 120
6077 5
DYO A
practice G and consisting of: - Discuss a project development Case in a service company or project team. - Analyse an information system and draw up a critique, suggesting alternative solutions or improvements for the system. - Carry out the functional analysis and technical conceptual design of a subsystem to include in a computer system to cover determined requirements. - Estimate realization times in phases and evaluate project costs from the unit cost of the technicians and their dedication throughout the project. - Establish the quote to present, taking into account the profit margin to be achieved, the payment method to suggest to the client and the resulting net value. Evaluation standards The overall evaluation is the average of the two mid-term Theory exams (25% each one), the first practical task (20%) and the second (30%), provided that the grade exceeds 3 in all of them. Bibliography Apuntes de la Asignatura Coleccin de normas y estndares. Comisin Europea. Euromtodo v.1. Ministerio de Administraciones Pblicas, 1998. Consejo Superior de Informtica. Mtrica v.3. Ministerio Administraciones Pblicas, 2001. Daes, Ch. The Essence of Computing Projects. A students Guide. Prentice-Hall. 2001. Domingo Ajenjo, A. Direccin y Gestin de Proyectos Informticos. Ra-Ma. 2000 Eisner, H. Ingeniera de Sistemas y gestin de proyectos. AENOR, 2000. Gido, J.; Clements, J. Administracin exitosa de proyectos. Internac.Thomson. 2003. Mc.Connell, S. Desarrollo y gestin de proyectos informticos. Microsoft Press, 2000. Piattini, M.; Daryanani, S. Elementos y herramientas en el desarrollo de sistemas de informacin. Ra-Ma, 1995. Piattini, M.; Calvo, J; Cervera, J.; Fernndez, L. Anlisis y Diseo de Aplicaciones informticas de Gestin. Ra-Ma, 2004. Project Management Institute. Gua de los Fundamentos de la Direccin de Proyectos (PMBoK). PMI, 2004. Webster, G. La gestin de proyectos en la empresa. AENOR, 2000.
Pgina 122
6078 5
GPI A
Precedence Diagramming, 3 edicin. Blitz Publishing. Pyron, T. (1994): Using Microsoft Project for Windows. Romero, C. (1991): Tcnicas de programacin y control de proyectos. Pirmide. Madrid. Thayer, R.H. (1992): Software engineering project management. Tutorial. IEEE Computer Society Press.
Pgina 124
6079 5
HIE B
Practice Week Description 1. Business Game 2. Business Modelling/Vision 3. ERP 4. ERP 5. ERP 6. ERP 7. Analysis of applications 8. Analysis of applications 9. Analysis of applications 10. Analysis of applications 11. EIS/DSS/BI/Cognos 12. EIS/DSS/BI/Cognos Evaluation standards 6 Points Theory 4 Points Practice More than 40% of the grade must be attained to calculate the average Bibliography Cuenca,Ll., Boza,A., Introduccin a la gestin de empresas y su parametrizacin con el ERP Baan IVc, Editorial UPV,2005 Guarch,J.J.,Cuenca,Ll., Las aplicaciones informticas y las empresas. Soluciones ERP, Editorial UPV,2002 Laudon,K., Laudon,J. Sistemas de Informacin Gerencial, Pearson Educacin,2002 Muoz,L., ERP: Gua prctica para la Seleccin e Implantacin, Gestin2000.com, 2004 Obrien,J.A., Sistemas de Informacin Gerencial, McGraw-Hill,2001
Pgina 126
6080 5
ISP A
Bibliography BASICA Boza A., Cuenca Ll..(2006) Gestin y Mantenimiento de Empresas Industriales. SPUPV-2006. 017 Cuenca, Ll.; et al.(2002) La empresa y sus sistemas de informacin. SPUPV-2002. 293 COMPLEMENTARIA BUENO, E. (1.999): Curso bsico de economa de la empresa. Ed. Piramide, Madrid. DE MIGUEL, E. (1.999): Gestin de empresas. Ed. Universitat Politecnica de Valencia VICENS Salort E., et al. (1999) Apuntes de gestin industrial en sistemas de produccin e inventario. SPUPV-99399
Pgina 128
OPERATIVE INVESTIGATION II
Degree Department Lecturer in charge Type Total credits Code Course Objectives Students learn to formulate and resolve complex decision problems, with special emphasis on the formulation of linear and integer programming models, as well as other advanced Operative Investigation techniques. Syllabus 1. Formulation of linear and integer programming models: - Production planning. Problems of expenses and mixes. Multi-period production planning. Other models. - Binary variables. Establishment of work shifts, cut of raw materials and covering models. Investment planning. Production planning. Other models. 2. Special linear programming problems: - Transport models - Assignment models - Other network models 3. Multi-objective programming: - Basic concepts. Restriction methods. Weighing methods. - Other multi-objective techniques. 4. Goal Programming: - General structure of a goal programming model. Weighted goal programming. Lexicographic goal programming. Applications. Other multi-criteria approaches. 5. Non-linear programming: Characteristics of non-linear programming methods. Non-linear programming methods without restrictions. Restricted non-linear programming. Quadratic programming. Applications. 6. Metaheuristics Practice Formulation of models Multiobjective programming Goal programming Non-linear programming Evaluation standards Normal exam: Final exam (100%) Additionally, students can voluntarily complete a task (individually or in groups of 2 students) which will improve the final grade up to 2.5 points. Special exam: Final exam (100%) Bibliography
6081 5
IO2 A
Pgina 129
BIBLIOGRAFA BSICA Apuntes de la asignatura BIBLIOGRAFA COMPLEMENTARIA Assad, A.A.;Wasil, E.A. and G.L. Lilien (1992): Excellence in Management Science Practice. A Reading Book. Prentice Hall, New Jersey. 505 pginas. Daellenbach,H.G.;George,J.A. y D.C.McNike (1986): Introduccin a las Tcnicas de Investigacin de Operaciones. CECSA. Hillier, F.S. y Lieberman, G.J. (2005): Introduction to Operations Research. Eigth Edition. McGraw-Hill. LINDO Systems (1995): LINGO. The modeling language and optimizer. Romero,Carlos (1993): Teora de la decisin multicriterio: conceptos, tcnicas y aplicaciones. Alianza Universidad Textos. Williams, H.P. (1993): Model building in Mathematical Programming. Wiley, England. 356 pginas. Winston, W.L. (2005): Investigacin de operaciones. Aplicaciones y algoritmos. 4 edicin. ThomsonGrupo Editorial Iberoamericana.
Pgina 130
6082 5
MCS A
Pgina 131
DATABASE TECHNOLOGY
Degree Department Lecturer in charge Type Total credits Code Course Objectives Study of SGBDs: components, functions and architectures Study of transaction processing and QUERY optimisation Study of DATA independence, integrety and security control mechanisms Study of the implementation of databases Study of administration tasks in an SGBD Syllabus 1. Database management systems 2. Transaction processing 3. Integrity management 4. Security management 5. Database implementation 6. Database optimisation Practice 1. Presentation of Oracle 9i 2. Transaction processing 3. Semantic integrity control 4. Concurrency control 5. Recovery control 6. Security management 7. Database implementation 8. Optimisation Evaluation standards - Final written exam containing questions on the theory and practical aspects (80% of the final grade) - Deliverables from the practical sessions (20% of the final grade) Bibliography + Fundamentos de Sistemas de Bases de Datos (3 ed.) Elmasri, R.; Navathe, S. Addison Wesley, Prentice Hall. 2000 + Introduccin a los Sistemas de Bases de Datos (7 ed.) Date, C.J. Prentice Hall. 2001. + Database System Implementation
Pgina 132
6083 5
TBD A
Garca Molina, H.; Ullman, J.; Widom, J. Morgan Kaufman. 1997 +Databases and Transaction Processing Lewis, P.; Berstein, A.; Kifer, M. Springer, 1999 + Database Tuning Shasha, D.; Bonet, P. Morgan Kaufman. 2003 + Database Management Systems Ramakrishnan, R. WCB/McGraw Hill, 1998
Pgina 133
6841 5
TFC A
1996
Pgina 135
6842 5
ASO A
Pgina 136
1) Normal Exams. Consist of two parts: (a) Laboratory activity: make up 70% of the final grade and is applied to all of the group members. Each practical sessions is graded with Suspend, Notable or Outstanding. Lack of attendance reduces the practical session grade by 10% for each session missed, although the absences are recoverable in other sessions completing the same practical task. Passing the practical work is a requirement for passing the subject. (b) Written exam: makes up 30% of the final grade, and is applied individually. Passing the exam is a requirement for passing the subject. 2) Special exam. There are 2 alternatives, depending on the passing (or not) of the practical work. (a) Written exam for students who have passed the practical work. Makes up 30% of the grade, since the practical grade is carried over to the special exam. (b) Written exam for students who havent passed the practical work. Makes up 100% of the grade and is different to the aforementioned exam. This exam contains a practical case (not trivial) in which the student must demonstrate her/his abilities as a system administrator. Bibliography Existe un libro de apuntes de la asignatura que trata todos los temas del temario. El libro se publica en la microweb de la asignatura, as como en el Servicio de Reprografa. Adicionalmente, para los alumnos que lo soliciten, se pueden proporcionar referencias a libros, manuales, enlaces web, con informacin especfica para cada aspecto del temario.
Pgina 137
INDUSTRIAL INSTRUMENTATION
Degree Department Lecturer in charge Type Total credits Code Course Objectives The course is dedicated to the study of industrial instrumentation in its entirety, and includes the following aspects: - Sensors and transducers, responsible for capturing and acquiring signals. - A/D and D/A conversion and Digital Signal Processing (DSP). - Commercial industrial instrumentation management programs (Labwiev and similar). Syllabus Topic 1. Transducers Definitions, classification. Signal types. Physical magnitudes. Topic 2. Industrial Data Acquisition Systems. Data acquisition cards. Block diagrams. A/D and D/A data converters. Converter types. Data acquisition cards performance. Topic 3. Digital Signal Processing (DSPs) Practical examples of application. Programming and development tools with DSPs. Practical examples of application. Topic 4. Automatic Measuring Systems Introduction. Programmable instrumentation. Instrumentation Buses. Instrument programming languages. Graphic programming environments (Labwiev and similar). Current trends. Practice 5 laboratory practical sessions have been scheduled. These practical sessions consist of a guided first part, in which the student is in contact with the elements of the practical work and attains minimal skill. In the second part the students are expected to be more creative, developing the answer to a given question themselves in the outline of the practical session, and proposing a simple application of those already studied. Pratice 1: Sensors a transducers. Temperature, Optical Barriers. Cardiac rhythm. Practice 2: PCL-812 card. Data acquisition. Conversion programming. Practice 3: Introduction to DSP. Digital filtering. Basic programming tools in DSPs. Practice 4: Programmable Instrumentation Systems. Bus IEEE-48. SCPI language. Practice 5: Instrument management in graphic programming environments (Labwiev). Evaluation standards The subject evaluation includes the following aspects: attendance at the laboratory practical classes (20%), the quality of the final task of the course (60%) and the final exam grade (Brief development questions) (20%) Bibliography
Pgina 138
7164 5
IIN A
[Pallas94] Ramn Palls Areny, "Sensores y acondicionadores de seal", (2 ed.), Ed. Marcombo, 1994 [Humphries96] J.T.Humphries y L.P. Sheets, "Electrnica Industrial. Dispositivos, Equipos y Sistemas para Procesos y Comunicaciones, Industriales". Thomson-Paraninfo, 1996. [Marven94] Craig Marven & Gillian Ewers. "A simple approach to digital, signal processing". Texas Instruments, 1994. [Caristi89] A.J.Caristi, "IEEE-488. General Purpose, Instrumentation Bus Manual", Academic Press, 1989 [Smith99] Steven W. Smith, "The Scientist and Engineers Guide to Digital Signal Processing", California Technical Publishing, 1999. Descargable por captulos en la URL: <http://www.dspguide.com/>http://www.DSPguide.com [Smith99] Steven W. Smith, "The Scientist and Engineers Guide to Digital Signal Processing", California Technical Publishing, 1999. Descargable por captulos en la URL: <http://www.dspguide.com/>http://www.DSPguide.com [TIAR95] Texas Instruments. "Understanding Data Converters". Application report. Mixed-Signal Products, 1995. Disponible en http://focus.ti.com/docs/apps/catalog/resources/allappnotes.jhtml?appId=0 [SCPI99] SCPI Consortium, "Standard Commands for Programmable Instruments (SCPI)", (Mayo de 1999) URL: <http://www.scpiconsortium.org/SCPI99.pdf>http://www.scpiconsortium.org/SCPI-99.pdf [NIST-IEEE1451] National Institute of Standards and Technology, IEEE 1451, Draft Standard Home page. URL:<http://ieee1451.nist.gov/>http://ieee1451.nist.gov/>
Pgina 139
7165 5
RLI B
Protocol TTP/C: High-Level Specification Document. Specification edition 1.0.0, document number D-032-S-10-028. 2002. Joef Berwanger et al. FlexRaythe communication system for advanced automotive control systems. SAE 2001 World Congress, Detroit, MI. Society of Automotive Engineers. Paper number 2001-01-0676. 2001. Konrad Etschberger. Controller Area Network. Ed. IXXAT automation. 2001. Mohammad Farsi, Manuel Bernardo, Martins Barbosa. CANopen Implementation : Applications to Industrial Networks. Ed. Research studies press LTD. 2000 Gunter Heiner and Thomas Thurner. Time-triggered architecture for safety related distributed real-time systems in transportation systems. Fault Tolerant Computing Symposium 28, pages 402407, Munich, Germany, June 1998.IEEE Computer Society. Lawrenz, Wolfhard. CAN system engineering: from theory to practical applications. Ed. Springer. 1997 Kopetz, Hermann. Real-time systems : Design principles for distributed embedded applications. Ed. Kluwer Academic, 1997. J.R. Jordan . Serial Networked Field Instrumentation. Ed. John Wiley & Sons, 1995.
Pgina 141
ROBOTICS
Degree Department Lecturer in charge Type Total credits Code Course Objectives Study the wide and general concepts related to the structure, organisation and operation of robotics systems Study and learn the basic programming methods of each of the different types of robot Syllabus Topic 1: Rudiments of robotics Topic 2: Articulated robots Topic 3: Mobile robots Topic 4: Humanoid robots Practice Programming of articulated robots Programming of mobile robots Programming of humanoid robots Evaluation standards Coursework (80%) Continuous evaluation and voluntary tasks (20%) Bibliography Practicas de Programacion de Robots, M. Mellado, A. Snchez, E. Vendrell, R. Zotovic, Editorial UPV, Ref. 2002.253, ISBN: 8497052455, 2002. 5,68 Euros Robtica Industrial, M. Mellado. Libro de Apuntes, Editorial UPV, 2002. Referencia: 2002.884 (AGOTADO, pero estarn disponibles en la microweb las trasparencias). Simulacin en Robtica mediante VirtualRobot, M. Mellado. Libro de Apuntes, Editorial UPV, 2003. Ref.: 2003.443 (AGOTADO, pero estar disponible en la microweb en formato digital).
7166 5
ROB A
Pgina 142
COMPUTER-ASSISTED MANUFACTURING
Degree Department Lecturer in charge Type Total credits Code Course Objectives To know and learn about the basic principles of Computer-Assisted Manufacturing. To know and learn about components and the characteristics of a Flexible Manufacturing Cell. To know and learn about the use and characteristics of Numeric Control machines. Give the student an introduction to NC machine programming and, in particular, ISO code. Syllabus 1. Basic Concepts of CAM 2. CAM systems 3. Machine-tool programming 4. CAD/CAM integration Practice Programming of a numeric control - Programming in ISO code - Design and programming of a component Coursework - Completion of a personalised task based on the course contents Evaluation standards First exam: - Attendance and completion of practical sessions (10%) - Completion of a task defined by the tutor (90%) Second exam - Attendance and completion of practical sessions (10%) - Exam (90%) Remaining exams: - Exam (100%) Bibliography La bibliografa, al no existir un libro nico para todos los contenidos de la asignatura, se suministra con cada tema. ----------------------------- La bibliografia, al no existir un llibre nic per a tots els continguts de lassignatura, se subministra amb cada tema.
7167 5
FAC B
Pgina 143
INFORMATION CODING
Degree Department Lecturer in charge Type Total credits Code Course Objectives Study the basic topics of Information and Coding Theory along with some of their main applications: data compression algorithms and error-correction codes. An introduction to complex structured data coding via XML will also be dealt with. The main objective is to provide theory-practical knowledge and abilities necessary to efficiently use these techniques in current computer applications. Syllabus 1. Information Theory I: generalities, information concept, entropy, information sources, communication channels, coding. 2. Codes. 3. Lossless data compression. 4. Lossy data compression. Multimedia applications. 5. Information Theory II: types of channels, information transmission via communication channels, mutual information, capacity of a channel, reliable transmission in unreliable channels. 6. Correction codes and error detectors. 7. Structured data coding: XML 8. Algorithmic Information Theory. Practice Practice sessions will consist of the implementation of coding and decoding algorithms for data compression. Evaluation standards The evaluation will be based on the exercises, practical laboratory sessions and proposed tasks. Bibliography N. Abramson, Teora de la informacin y codificacin, Paraninfo, 1981. T.M. Cover, J.A. Thomas, Elements of information theory, John Wiley & Sons, Inc, 1991. D. Peltzer, XML Language Mechanics & Applications, Pearson Education, Inc, 2004. K. Sayood, Introduction to data compression, Morgan Kaufmann Publishers, Inc, 2000. R. B. Wells, Applied coding and information theory for engineers, Prentice Hall, 1999.
7168 5
COD B
Pgina 144
LANGUAGE THEORY
Degree Department Lecturer in charge Type Total credits Code Course Objectives To comprehensively study some aspects of Formal Language Theory, with a special emphasis on regular and context-free language types and on rational transductions. Syllabus BLOCK I AUTOMATA, LANGUAGES AND SEMIGROUPS Topic 1. Deterministic Finite Automaton Minimisation Topic 2. Non-Deterministic Finite Automaton Minimality Topic 3. Local languages. Homomorphic characterisation of regular languages. Topic 4. Monoids, homomorphisms and congruencies. Topic 5. Syntactic monoids of a language. Topic 6. Pseudo-varieties and varieties of a language. BLOCK II TRANSDUCTION Topic 1. Transductors and Generalised Sequential Machines. BLOCK III CONTEXT-FREE LANGUAGES Topic 1. Context-free grammars. Equation systems. Topic 2. Lemas de iteracin. Topic 3. Semi-linear sets. Parikh Theorem. Topic 4. Homomorphic characterisation of context-free languages. Dyck languages. Topic 5. Battery-powered automata. Topic 6. Closure Properties Topic 7. Deterministic context-free languages. Closure Properties. Practice Practice 1: Implementation of test algorithms for explorable conditions. Practice 2: Implementation of automaton minimisation algorithms. Practice 3: Implementation of analysis algorithms in context-free grammars. Practice 4: Implementation of transformation algorithms between transductors. Evaluation standards June exam: - 40% practical laboratory sessions - 30% class work - 30% class exercises (The latter can be substituted for an exam out of 10 points) September exam: Exam out of 10 points Bibliography
7169 5
TDL B
Pgina 145
Varieties of Formal Languages, J.E. Pin., North Oxford. 1986. Automata, Languages and Machines (Vols. A y B), S. Eilenberg., Academic Press. 1974. Transductions and Context-Free Languages, J. Berstel., Teubner Studienbucher. 1979. Introduction to Formal Language Theory, M. Harrison., Addison Wesley. 1978. Handbook of Formal Languages (Vols. I, II y III), G. Rozenberg, A. Salomaa (eds.)., Springer Verlag. 1997.
Pgina 146
INTELLIGENT SYSTEMS
Degree Department Lecturer in charge Type Total credits Code Course Objectives Agent-based systems are one of the most important and exciting areas of investigation and development to have emerged in information technologies during the 90s, and offer support to many aspects of current computing applications infrastructures. Therefore, many observers believe that agents represent a new software development paradigm the most important since object orientation. In fact, the concept of the intelligent agent is already present in a diverse range of information technology sub-disciplines, such as software engineering, computer networks, object-oriented programming, artificial intelligence, interaction between humans and machines, concurrent and distributed systems, mobile systems, telematics, computersupported cooperative work, control systems, and electronic commerce. Agent-based technology is not restricted to a specific domain within computing or telecommunications. Rather, it probably plays a principle role in diverse aspects of computing. Crucial areas of interest tackle diverse aspects related to complex problem solving in science, society, industry and commerce; as much in terms of technological development as in its acceptance and utilisation, which is why agent technology can and will provide better access to computing knowledge and resources in these areas. The objective of the course is to learn the basic concepts and techniques necessary to be able to develop intelligent agents and multi-agent systems. This objective is divided in two: learn the basic concepts and agent/multi-agent system technology and learn artificial intelligence techniques, complementary to those already studied, which allow us to provide intelligence to our artificial agents. The techniques studied must be contrasted and evaluated, applying them to the practical resolution of problems. Syllabus a) Intelligent Agents: - Distributed Artificial Intelligence. Agents and Agent Types. Concepts. Agent Models and Architectures. Applications. Laboratory Practical work. b) Multi-agent Systems: - Multi-agent Architecture. Platforms. Concepts. Communication between agents. Coordination in SMA. Methods and Tools. Applications. Laboratory Practical Sessions. c) Incorporating Intelligence in artificial agents: C1) Planning: - The problem of planning. Concepts. Partially-ordered planning. Planning graphs. Planning and action in the real world. Planning-based agents. Applications. Laboratory practical sessions. C2) Case-Based Reasoning: - CBR cycle. Concepts. Case-Based Reasoning techniques. Case representation. Indexing. Warehousing. Recuperation. Adaptation. Tools. Classification and synthesis tasks. Applications. C3) Decision Theory: - Basics of utility theory. Functions of utility and multi-attribute utility. Decision Networks. Sequential decision problems. Repeating of Values. Repeating of Policies. Agents based on decision theory.
Pgina 147
7170 5
SIN A
Practice
Evaluation standards The course grade will be determined by: - 50% Coursework - 50% Developed practical work Bibliography Inteligencia Artificial. Un enfoque moderno. S. Russell, P. Norvig. Prentice Hall (2004). Agentes Software y Sistemas Multiagente: Conceptos, Arquitecturas y Aplicaciones. Ana Mas. Pearson-PrenticeHall. 2004. Applying Case-Based Reasoning: Techniques for Enterprise Systems. Ian Watson. Morgan Kaufmann. 1997. Monografia:Desarrollo de Sistemas Multi-Agentes. Inteligencia Artificial, Rev. Iberoamericana de IA (AEPIA). Nmero 13, Verano 2001. Monografico Inteligencia Artificial Distribuida y Sistemas Multiagentes. Inteligencia Artificial, Rev. Iberoamericana de IA (AEPIA). Nmero 6, Otoo 1998. Presentaciones de la asignatura. Otras referencias
Pgina 148
7171 5
TIA A
Pgina 149
a) Evaluation of the Syllabus (40%) - Basic questionnaire on the course topics. - Application task: Approximated Reasoning. - Application task: Genetic Algorithms. b) Evaluation of Practical Work (60%) - Presentation of the report from the SBC/KAPPA development practical task - Presentation of the report from the CSP development practical task Bibliography Inteligencia Artificial. Un enfoque moderno. S. Russell, P. Norvig. Prentice Hall (2004). Principles of Expert Systems. Peter Lucas and Linda Van Der Gaag. Addison Wesley. 1991. Monografa: Problemas de Satisfaccin de Restricciones. Inteligencia Artificial, Rev. Iberoamericana de IA (AEPIA). No.20 (2003). On-Line Guide To Constraint Programming R. Bartk. http://kti.mff.cuni.cz/~bartak/constraints/index.html KAPPA- User Manual ConFlex- User manual (http://www.inra.fr/bia/T/conflex/) Presentaciones de la asignatura. Otras referencias.
Pgina 150
7172 5
SSR B
3. Optical transmitters. 4. Optical receivers. 5. Fibre-optic communication system design. Topic 6. Radio-communication systems. 1. General description of the system. 2. Diffusion methods. 3. Antenna. 4. Management and nomenclature of the radio-electric spectrum. 5. Radio-communication system design. Topic 7. Mobile communication systems. 1. General system architecture 2. The mobile channel. 3. Multiple access. 4. GSM systems. 5. UMTS systems. Topic 8. Other systems. Practice 0. Introduction to MATLAB 1. Continuous signals and systems. 2. Discrete signals and systems 3. Sampling. 4. Analogical modulations 5. Digital modulations Evaluation standards - The grade is divided in two parts: 75% of the grade corresponds to the theory part and 25% to the practical part. The theory part grade will be obtained in 50% for the continuous evaluation which will be carried out in class via small question plus a final task; the other 50% of the grade will be obtained via a written exam. The practical grade will be obtained with 50% for the continuous evaluation of the practical work and the other 50% for a written exam, to be done alongside the theory exam. - For students who have difficulty attending class and carrying out a prior continuous evaluation, there is a second chance for evaluation via exam only, whose grade corresponds to 100% of the final course grade. Bibliography Seales, Sistemas y Radiocomunicaciones, Miguel A. Rodrguez, UPV-2006.545 Laboratorio de la asignatura: Seales, Sistemas y Radiocomunicaciones. Manual de prcticas, Miguel A. Rodrguez, UPV-2006.540 Sistemas de Comunicaciones Marcos Fandez Zanuy, Marcombo, 2001. Fundamentos de los sistemas de comunicaciones mviles Alberto Sendn Escalona, McGrawHill, 2004 Seales y sistemas continuos y discretos Samir S. Soliman y Mandyam D. Srinath, Prentice Hall, 1999. Transmisin por lnea y redes Jos M. Hernando Rbanos, Servicio Publicaciones UPM, 1991. Sistemas y Redes pticas de Comunicaciones, Jos A. Martn Pereda, Prentice Hall 2004. Comunicaciones mviles, 2 edicin Jos Mara Hernando Rbanos, Centro Estudios Ramn Areces, 2004. Comunicaciones mviles de tercera generacin Jos Mara Hernando Rbanos y Cayetano Lluch Mesquida, Telefnca Mviles Espaa, 2000. Tecnologas de las Telecomunicaciones, J. M. Huidoiro, R. J. Milln, D. Roldn, Copyrigth 2005.
Pgina 152
MEDICAL COMPUTING
Degree Department Lecturer in charge Type Total credits Code Course Objectives Facilitate reciprocal understanding among computer and health professionals. Learn to apply the knowledge learnt on this course and on others to health sciences. Familiarise the student with the world of medical computing through basic knowledge typical to this field. Syllabus 1. Medical Computing context. 2. Bioelectric signals. Electrocardiography. Electroencephalography. 3. Medical images: X-Rays and TAC, Nuclear Magnetic Resonance, Ultrasounds, Nuclear Medicine. 4. Biomedical signal digital processing. 5. Biomedical image digital processing. 6. Hospital Information Systems. Electronic Clinical History. 7. Application of classification/decision systems in medicine. Practice 1. Biomedical databases on the Internet. 2. Practical medical computing cases. Technical report and presentation. 3. Obtaining electrocardiograms and quantification. 4. Attendance and active participation in conferences (Neuroscience, Telemedicine, Health Information Systems). 5. Biomedical signal analysis. 6. Biomedical signal filtering. 7. Visit to Dr Peset Hospital Imaging Service. 8. Digital biomedical image processing. 9. SNNS applied to medical diagnostic. Evaluation standards Evaluation of the syllabus: questions related to the syllabus (50%) Practical sessions reports 25% Active participation in conferences and hospital visit 10% Technical report and presentation of the case 15% Bibliography Van Bemmel J.H., Musen, MA. Handbook of Medical Informatics Springer, 2000. ISBN: 3-45063351-0 Shortliffe EH., Perreault LE Medical Informatics. Computer Applications in health care. Addison Wesley Ferrero, J.M. Bioelectrnica. Seales Bioelctricas SPUPV 94-747, 1994. Oliveri, N., Sosa-Iudicissa, M., Gamboa, C. Internet, Telemtica y Salud. Ed. Mdica Panamericana , 1997.
Pgina 153
7173 5
IM A
Introduccin a la Bioingeniera. Serie Mundo Electrnico, Marcombo Boixareu Ed. 1988 Bushong, S.C, Manual de radiologa para tcnicos. Fsica, Biologa y Proteccin radiolgicaMosby/Doyma Libros, 1994 Geddes, L.A. y Baker, L.E. Principles of Biomedical Instrumentation J. Wiley, 1989. Guyton, A.C., Hall, J.E Tratado de Fisiologa Mdica. Interamericana-Mc Graw-Hill, 1996 (9 edicin). Kandel, Schwartz, Jessel Neurociencia. Prentice Hall 1996 Shung, K.K., Smith, M.B., Tsui B. Principles of Medical Imaging. Academic Press, 1992. Pratt, W. K. Digital Image Processing. Wiley-Interscience Gonzalez,R.C. Digital Image Processing. Addison-Wesley Handbook of medical imaging. Vol 1: Physics and psychophysics / Jacob Beutel, Harold L. Kundel, Richard L. van Metter, editors. - Bellingham : SPIE, cop. 2000. ISBN 0819436216. Vol 2 Medical image processing and analysis / Milan Sonka, J. Michael Fitzpatrick, editors. Bellingham : SPIE, cop. 2000. ISBN 0819436224. Vol. 3 Display and PACS / Yongmin Kim, Steven C. Horri, editors. - Bellingham: SPIE, cop. 2000.ISBN 0819436232 Informes SEIS (5):Tecnologas de la informacin al servicio de la historia clnica electrnica. En De la historia clnica a la historia de salud electrnica. 2003.ISBN: 84-930487-7-1. Ed: SEIS. Sociedad Espaola de Informtica de la Salud. Accesibles en http://www.seis.es Belmonte MA, Coltell O, Garca Maojo V, Mateu J, Sanz F: Manual de Informtica Mdica. 2004. ISBN: 84-933481-0-4.Ed. CADUCEO MULTIMEDIA, S. L. Informtica Biomdica. ISBN: 84-609-1770-3. 2004. Ed. INBIOMED
Pgina 154
BIOCOMPUTING
Degree Department Lecturer in charge Type Total credits Code Course Objectives Synthesize the role biocomputing in the omic era. Analyse models and algorithms used in biocomputing from the view of the designer. Apply biocomputing tools for the resolution of projects developed in teams. Install and administer small biocomputing systems and assume responsibilities. Syllabus DIDACTIC UNIT 1: The biomedical environment 1.1 What is biocomputing? (Theory) 1.2 Biological bases (Theory) 1.3 Basic biotechnology (Theory) 1.4 The human genome project and the omic era (Conference) 1.5 The biocomputing expert as a professional (Conference) DIDACTIC UNIT 2: Biocomputing algorithm design. 2.1 Sequence similarity algorithms (Theory and Problems with resolution in computing classroom) 2.2 The learning of molecular structure models (Theory and Problems with resolution in computing classroom) 2.3 Data mining and the search for biological patterns (Theory and Problems with resolution in the computing classroom) DIDACTIC UNIT 3: The resolution of projects via biocomputing (Theory classes to develop course project concepts, explanation in the practical section) Practice DIDACTIC UNIT 3: The resolution of projects via biocomputing. 3.1 Applications of the analysis of genetic sequences (Resolution of projects, theory, seminar and laboratory work) 3.2 Molecular structure prediction (Resolution of projects, theory, seminar and laboratory work) 3.3 Biochips: analysis of genetic expression (Resolution of projects, theory, seminar and laboratory work) DIDACTIC UNIT 4: Design and administration of Biocomputing systems 4.1. Computing necessities of biological computing (Conference) 4.2. Public Access Biocomputing Information Systems (Practice) 4.3. Public Biocomputing Software (Practice) 4.4. Genetic ontology (Practice) 4.5. Installation and administration of biocomputing systems (Practice) Evaluation standards 1) Evaluation of Conceptual Didactic Units (Didactic Unit 1: Grade 11%. Didactic Unit 2: grade 24%): 2) Active participation in Conferences (Didactic Units 1 and 4: grade 8%): 3) Introductory practical session work (Didactic Unit 4: Grade 6%):
Pgina 155
7174 5
BIO B
a. Elaboration of the practical work during the session. b. Running of the laboratory: group server: correct installation of the information system. 4) Development of course project (Didactic Unit 3, Grade 51%). Bibliography An introduction to bioinformatics algorithms. Jones et al. MIT Press 2004. Bioconductor: Open source software for bioinformatics. http://www.bioconductor.org The gene ontology. http://www.geneontology.org/ Ross Ihaka and Robert Gentleman. R: A Language for Data Analysis and Graphics. Journal of Computational and Graphical Statistics. 5,3. 299314. 1996 Algorithms for molecular Biology. Shamir 2002. Biological Sequence Analysis, R.Durbin et al. , Cambridge University Press, 1998 National Center for Biotechnology Information. http://www.ncbi.nlm.nih.gov/ European Bioinformatics Institute. http://www.ebi.ac.uk/
Pgina 156
7175 5
FMM A
2004. Multimedia: Making It Work, Sixth Edition. T. Vaughan. McGraw-Hill Technology Education, 2004. Linux Multimedia Guide; J. Tranter. Ed. OReilly & Associates, Inc., 1996. Compresin de imagen y vdeo: fundamentos tericos y aspectos prcticos. J. Oliver y M. Prez. Univ. Politcnica de Valencia, 2000. Msica y FX para videojuegos y retoque profesional de sonido. V. Segura. Prensa Tcnica, 1995 XML in a nutshell, E. Rusty y W. Scoot, OReilly, 2a edicin, 2002. Streaming Media Bible, S. Mack, Hungry Minds, Inc, 2002.
Pgina 158
MULTIMEDIA INTEGRATION
Degree Department Lecturer in charge Type Total credits Code Course Objectives Give a general overview of the different computer tools and technologies aimed at the coordinated unification and presentation of different multimedia elements in a single document or application. Clarification and presentation of the basic terminology, common problems from the point of view of the user and the author. Solutions. Syllabus 1. The multimedia creation process. 2. Production scenarios. 3. Media integration tools and languages. 4. Storage, conversion and integration formats. 5. Introduction to image and audio composition techniques. 6. Introduction to image animation techniques. 7. Multimedia outline metaphors and implementation. Practice 1. Introduction to PD language. 2. Audio and Midi in PD 3. Introduction to Geom 4. Video and 3D in Geom 5. Integration project in PD and Geom 6. Image processing in Photoshop and GIMP 7. Video processing in Premiere and After Effects 8. Final task Evaluation standards Final exam: 30% Practical work: 20% Final task: 50% Bibliography Murray, James D. Encyclopedia of graphics file formats / James D. Murray, William van Ryper, 2nd ed. - Bonn [etc.] : OReilly, cop. 1996 Digital Video, Bob Levitus, Michael Rubin, Ed. Addison-Wesley, 2002, ISBN: 0321166167 Digital Video Essentials: Plan, Shoot, Edit, Share, Erica Sadun, Ed. Sybex, 2003, ISBN: 0782141986 Adobe Premiere 6.5 Complete Course, Robert Fuller, Ed. John Wiley & Sons, 2003, ISBN: 0764518968 Adobe Photoshop 7 Image Effects, Youngjin.Com, Inc, Ed. Premier Pr, 2002, ISBN: 1592000509 BOE - SGAE Adobe After Effects 5 and 5.5: Motion Graphics and Visual Effects, Ed. Prentice Hall, 2002, ISBN: 0130423823
Pgina 159
7176 5
IMM B
Macromedia Flash, Petra Kriesinger, Ed. Marcombo, 2001. ISBN: 84267-1297-5 JavaScript : iniciacin y referencia / Soledad Delgado Sanz... [et al.]. Mc GrawHill 2001. ISBN 844813169X
Pgina 160
7177 5
AUD B
Evaluation standards
Bibliography
Pgina 161
7178 5
AMD B
5. Data Warehouse maintenance 5.1. Extraction 5.2. Transformation 5.3. Data loading 6. Introduction to Data Mining (DM) 6.1. Motivation 6.2. Relation of DM to other disciplines 6.3. Data Mining Techniques Typology 6.4. Implementation methodologies: CRISP-DM 7. Data Mining techniques 7.1. The problem of learning on Data Bases 7.2. Hypothesis evaluation 7.3. Unsupervised and descriptive techniques 7.4. Supervised and predictive techniques 8. Web Mining 8.1. The problems of Unstructured Information 8.2. Knowledge Extraction from HTML and text Documents 8.3. Knowledge Extraction from semi-structured Information (XML) Practice Practice 1: use and administration of an OLAP1 tool - Objectives: Design enquiries and complex reports on a data warehouse. Run an OLAP tool. An Oracle OLAP: Discoverer tool will be used. Practice 2: data Warehouse construction - Objectives: design of a data warehouse using the methodology presented in the theory sessions and their implementation on an Oracle server. Develop some data warehouse maintenance modules: Data loading and cleaning from a transactional database. Practice 3: Descriptive Data Mining - Objectives: obtain data descriptive models (unsupervised): functional dependencies, associations (e.g. shopping basket), segmentation, etc., on part of the data warehouse data. Validation and use of decision-making models. The data mining package (SPSS Clementine) will be used for this. Practice 4: Predictive Data Mining - Objectives: obtain predictive data models (supervised): classification using neuronal networks, decision trees and other types of model, on part of the data warehouse data. Validation and use of decision-making models. The data mining package (SPSS Clementine) will be used for this. Evaluation standards Theory: evaluation via final exam. Practice: continuous evaluation via the submission of the practical session solutions. Bibliography Atzeni, P., Ceri, S., Paraboschi, S., Torlone, R Database Systems. Concepts, Languages and Architectures, Cap. 13., 1999. Connolly, T.; Begg, C.; Database Systems, Cap. 30-32, 2002. Dunham, M.H. Data Mining. Introductory and Advanced Topics Prentice Hall, 2003. Elmasri, R.; Navathe, S.B. Fundamentals of Database Systems 3rd Edition, AddisonWesley, 2000, captol 26. Giovinazzo, W., "Object-Oriented Data Warehouse Design". Prentice-Hall, 2000. Han, J.; Kamber, M. Data Mining: Concepts and Techniques Morgan Kaufmann, 2001. Hand, D.J.; Mannila, H. and Smyth, P. Principles of Data Mining, The MIT Press, 2000. Hernndez, J.; Ramrez, MJ.; Ferri, C. Introduccin a la Minera de Datos Pearson Prentice Hall, 2004. Inmon, W.H., Building the Data Warehouse , John Wiley, 2002 Kimball, R. The Data Warehouse Toolkit, John Wiley, 1996
Pgina 163
7179 5
ADM A
Third block In this block the proposal by Microsoft to develop mobile device applications will be analysed: The .Net Compact Framework environment. The objective is to learn how to implement: Graphic interfaces File and database management Communications management using IrDa, Bluetooth Multimedia programming Fourth block The objective of this final block is discuss how an application is developed using J2ME or .Net Compact Framework Practice
Evaluation standards There will be a practical approach to this course and therefore the evaluation will consist of a final task which implements a Web application that displays its contents in a mobile device. - Exams to be done in theory sessions - Expositions of completed tasks - 4 tasks to be developed throughout the course - Development of an application To complete the tasks, each student must submit 4 reports and a documented final application. The tasks to be submitted are: Manual with a detailed description of the J2EE Sun Microsystems development environment. O What is J2EE? O Detailed description of APIs Manual with a detailed description of the .Net development environment. O What is .Net? O Detailed description of development APIs Manual with detailed description of Bluetooth functionality Manual with the detailed description of IrDa functionality Manual with detailed description of the protocol employed by wireless networks WiFi Manual with the configuration of an Application server Bibliography 1.Froufe Quintas,Agustn. Jorge Crdenas Patricia. J2ME java 2 Micro-Edition. Editorial RAMA. 2.Michael Juntao Yuan. Enterprise J2ME Wireless Applications 3.Jonathan Knudsen. Wireless Java: Developing with J2ME, 2nd Ed. 4.JBoss. http://www.jboss.org 5.Eclipse. http://www.eclipse.org 6.Sun. http://java.sun.com
Pgina 165
MECHATRONICS
Degree Department Lecturer in charge Type Total credits Code Course Objectives Give the students an introduction to the basics of mechatronic systems, including the design of high technology machines and equipment and their control by computer. To learn the basic elements that compose a mechatronic system, including actuators, sensors and computer systems. Understand the general principles related to the control of mechanisms by computer. Develop and use computer programs for applications in automation and control of equipment, mechanisms and industrial processes. Syllabus The course syllabus is centred around the following contents: 1. Introduction 2. Sensors and Transducers 3. Conditioning of signals 4. Actuator systems 5. Closed Loop Controllers 6. Communication systems 7. Planning, coordination and supervision 8. Applications: mini/micro-robotic, etc. Practice The laboratory practical sessions will be centred around the programming and control of mechatronic systems. Therefore different activities will be carried out for the programming of data acquisition systems and actuator systems (continuous current motors), system sensor reading (position, light, etc.). Finally, on the course a mini-robot must be developed, using a pre-programmed a series of objectives and missions to complete, using the robot. Evaluation standards The course is oriented so that the evaluation is carried out directly from the work developed by the students, taking into account the tasks completed in the theory classes as well as the laboratory practical sessions. Furthermore, for the evaluation, a task with a mini-robot must be carried out and groups of students will be in competition with each other. The grade for this task will take into account the performance (precision, speed, etc.) attained using the mini-robots. Bibliography W. Bolton, Mechatronics, Ed: Pearson Education, 2003, ISBN: 0-13-1216333 F.G. Martin, Robotic Explorations, Ed. Prentice Hall, 2001, ISBN: 0-13-089568-7 F. Torres, J. Pomares, P. Gil, S.T. Puente, R. Aracil, Robots y Sistemas Sensoriales, Ed. Prentice Hall, 2002, ISBN: 84-205-3574-5 A. Ollero, Robtica. Manipuladores y Robots Mviles, Ed. Marcombo-Boixareu, 2001. ISBN:
Pgina 166
7180 5
MEC B
84-267-1313-0 J.L. Jones & A.M. Flynn, Mobile Robots. Inspiration to implementation. A.K. Peters, Ltd. ISBN: 1-56881-011-3
Pgina 167
Pgina 169