| |
Exame final
A correção do exame final será feita após a revisão dos artigos. Notem que na revisão assumi o papel de um revisor de periódicos e não de professor, embora leve em conta que alguns tópicos não foram abordados por não fazerem parte do escopo da disciplina. No momento esta é a única diferença entre estes artigos e outros submetidos a periódicos.
Estou atrasado com a resposta dos artigos, porque além de ter tido alguns problemas de saúde, acoplados a viagens e a coincidência com a revisão final do SBAI. Portanto vamos adiar a entrega do artigo final para o dia 14 de junho. Espero até amanhã divulgar todas as revisões. Certamente fare isso com todas de uma vez, e estou acumulando as revisões até ter todas.
Reinaldo
| |
| | 11 abril - 17 abril Redes HLPN
Nesta aula vamos disctir com mais detalhes as redes HLPN, agora seguindo estritamente o padrão ISO/IEC 15.909. Este padrão define a rede de alto nível básica, sua semântica, propriedades, e representação gráfica. Além disso a rede HLPN básica tem sempre uma rede clássica P/T associada, de modo que é possivel sintetizá-la a partir desta rede P/T por fatoração.
Discutiremos ainda sobre as facilidades para modelagem de sitemas reais. Alguns exemplos serão apresentados, como a máquina lógica (circuitos lógicos) e o probema modelo do mundo de blocos.
| 
|
