1
Assuntos:
“...fração de combustível vaporizado...”
Estudo da partida a frio em motores movidos a etanol
Dissertação
2
“... de supervisores de sistemas a eventos discretos temporizados. Essa extensao utiliza o automato temporizado...”
Síntese de supervisores de sistemas a eventos discretos temporizados e não temporizados.
Tese
3
Assuntos:
“...Esterilização peróxido de hidrogênio vaporizado...”
Avaliação da segurança da esterilização por peróxido de hidrogênio vaporizado nas práticas atuais do centro de material e esterilização
Dissertação
4
Assuntos:
“...Etanol pós-vaporizado...”
Desenvolvimento do motor de ignição por compressão alimentado por injeção direta de óleo diesel e por etanol pós-vaporizado no coletor de admissão
Tese
5
6
Assuntos:
“...Vaporizadores...”
Análise termo-hidráulico de vaporizadores com tubos horizontais
Dissertação
7
8
Assuntos:
“...Grafos de eventos temporizados...”
Estudo e desenvolvimento de técnicas de controle para grafos de eventos temporizados
Dissertação
9
“... procura abordar o emprego do etanol na forma vaporizada em motores do ciclo Otto, objetivando a obtenção...”
Estudo de motor de combustão interna, do Ciclo Otto, movido a etanol previamente vaporizado
Dissertação
10
“... de combustão interna. Neste trabalho, o uso do etanol vaporizado pelos gases de escape em motores do ciclo Otto...”
Estudo de um motor regenerativo, do ciclo Otto, movido a etanol previamente vaporizado
Tese
11
12
Assuntos:
“...Injeção de solvente vaporizado...”
Estudo paramétrico do processo de extração com solvente (VAPEX) como método de recuperação de óleo pesado
Dissertação
13
“... na mucosa bucal de vaporizadores de cigarro eletrônico e de fumantes de cigarro industrializado, e comparar...”
Avaliação de danos citotóxicos e citogenéticos em fumantes de cigarros industrializados e vaporizadores de cigarros eletrônicos
Dissertação
14
Assuntos:
“...Temporizadores automáticos...”
Avaliação de arquiteturas de comando : aplicação a um sistema automatizado de produção industrial
Dissertação
15
Assuntos:
“...Autômatos temporizados...”
Gungnir: uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizados
Dissertação
16
Assuntos:
“...Grafo de eventos temporizados...”
Métodos de controle de fluxo de entrada para sistemas modelados por grafos de eventos temporizados
Tese
17
18
“... do sistema. Para tratar os modelos temporizados e desenvolvido um algoritmo para a construção do espaço...”
Uma abordagem para a síntese de supervisores de sistemas a eventos discretos a partir de modelo temporizado.
Dissertação
19
“... a confiança no funcionamento dos SIS. Um método para obter automaticamente um modelo de autômato temporizado...”
Geração automática de modelos de autômatos temporizados para realização de testes de sistemas instrumentados de segurança.
Dissertação