Autenticação

Utilizador:

Senha:

Iniciar sessão

Esqueceu-se da senha?

Computational Logic

Code:

TPSIA03

Sigla:

LC

Level:

1

Áreas Científicas
Classificação	Área Científica
OFICIAL	Eletrónica e Automação

Ocorrência: 2022/2023 - 1S

Ativa?	Yes
Unidade Responsável:	Departamento de Sistemas e Informática
Curso/CE Responsável:

Ciclos de Estudo/Cursos

Sigla	Nº de Estudantes	Plano de Estudos	Anos Curriculares	Créditos UCN	Créditos ECTS	Horas de Contacto	Horas Totais
TPSIA	16	Plano de Estudos	1	-	6	60	162

Língua de trabalho

Portuguese

Objetivos

• Have knowledge of the concept of abstraction

. Number representation systems: decimal, binary and hexadecimal.

• Understand and apply the main theorems of Boolean Algebra.

Understand its fundamentals and its application in computing.

• Apply the design methodologies of combinatorial and sequential systems. State machines.

• Implement sequential systems through GRAFCET.

• Know the constitution of a programmable automaton and know how to program it.

• Know the Automata network configurations.

Resultados de aprendizagem e competências

At the end of the course, the student must know and know how to apply the following contents:

1) Programmed versus wired automations;

2) Architecture and constitution of programmable automata;

3) Interfaces for connection to the most common sensors and actuators;

4) LADDER and GRAFCET programming languages;

5) Standard IEC 61131-3.

6) Structured programming and most common programming blocks;

7) Design and programming of automatisms applied to industrial processes.

Modo de trabalho

Presencial

Programa

Number representation systems: decimal, binary and hexadecimal.

• Boolean logic.

• State machines.

• Memory and dynamics of allocation and representation of basic data.

• Data storage and structuring.

• Modeling discrete-GRAFCET command systems.

• Programmable automata. Programming languages ​​and methods. Data types; flow control; functions/subroutines; parameters. Programming with data blocks and analog variables/cards. Programming functions with parameters - special functions.

• Project to implement a state machine using programmable automata.

Bibliografia Obrigatória

Steven T. Karris; Digital Circuit Analysis and Design with Simulink Modeling

Bibliografia Complementar

Ronald J. Tocci; Digital Systems: Principles and Applications

Métodos de ensino e atividades de aprendizagem

Theoretical Classes: exposition of the subject with demonstrations



Practical classes: examples and exercises.



Laboratory classes: work with manipulation of computational tools to solve problems inherent to logical computing.

Tipo de avaliação

Distributed evaluation without final exam

Componentes de Avaliação

Designation	Peso (%)
Teste	100,00
Total:	100,00

Componentes de Ocupação

Designation	Tempo (Horas)
Frequência das aulas	60,00
Total:	60,00

Obtenção de frequência

There are two assessment methods provided for the UC:


 1) Test evaluation method;

 2) Assessment method by Exam.

  

Both methods have a theoretical assessment component and a laboratory assessment component, distinct for each component: Informatics and Automation.



The laboratory evaluation component in each component is the same in both methods and will be carried out during the respective laboratory classes.

Fórmula de cálculo da classificação final

1) EVALUATION BY TESTS:



1.1) ASSESSMENT OF THE LOGIC COMPONENT:



Logic Test + Logic laboratory evaluation

(3 evaluated laboratories will be counted towards the laboratory part grade)



1.2) ASSESSMENT OF THE AUTOMATION COMPONENT:



Test Automation + Laboratory evaluation Automation;





1.3) FINAL NOTE:

50% *[Logic Test *70% + (Logic Laboratory Assessment)*30%] +

50%*[Automation Test * 70% + (Automation Laboratory Assessment) * 30%]



1.4) Passage criteria:

Logic Test >= 8.5 Values;

Test Automation >= 8.5 Values;

Final Grade >= 9.5 Values;



1.5) OBSERVATIONS:



Obs1: Students who did not meet the passing criteria automatically pass to the exam method, and will only have to take the exam of the corresponding part (ie Logic and/or automation) that did not pass (ie, test < 8.5 values ).



Obs2: Students who pass the CONTINUOUS METHOD will only be able to make improvements during the appeal period (they can choose to take the Logic part exam and/or the automation part exam.

Obs3: The laboratory evaluation of informatics and the laboratory evaluation of automation is always done in the laboratories. There is no alternative method for this assessment.

2) EVALUATION BY EXAMINATION:



2.1) The students who can be evaluated in this method are:

2.1.1) Students who do not pass the test assessment method;

2.1.2) Students who opted for this assessment method (for example, did not do one of the

theoretical assessment components of assessment by tests).





2.2) EVALUATION OF THE LOGIC COMPONENT:

A student can only take the Logic Exam if he has not passed the Logic Test (i.e. if the Logic Test score was < 8.5 values).





2.3) ASSESSMENT OF THE AUTOMATION COMPONENT:

A student can only take the Automation Exam if he has not passed the Automation Test (i.e. if the automation test score was < 8.5 values).



2.4) FINAL NOTE:

50% *[ (Logical Exam)*70% + (Logical Laboratory Assessment))*30% ) ] +

50%* [ (Automation Exam*70% + (Automation Laboratory Assessment) * 30%)]



2.5) PASSING CRITERIA:

Logic component assessment >= 8.5 Values;

Automation component evaluation >= 8.5 Values;

Final grade >= 9.5 Values;



Obs1: Students who do not pass may retake the exam of the component that did not pass at the time of appeal;



Obs2: Students who did not pass the Logic laboratory assessment, due to entry into the 3rd phase or because they have the status of student workers, and therefore were unable to attend the laboratories, the Logic Exam and Automation Exam component will have a weight of 100% instead of 70% if they have not been evaluated in the respective laboratories.