Brasil
 
O conteúdo desse portal pode ser acessível em Libras usando o VLibras

Defesa de Dissertação de Mestrado – Hallan William Veiga – 16/02/2018

16/02/2018 17:14
Defesa de Dissertação de Mestrado
Aluno Hallan William Veiga
Orientador

Coorientador

 Prof. Max Hering de Queiroz, Dr. – DAS/UFSC

Prof. Jean-Marie Alexandre Farines, Dr. – DAS/UFSC
Data 16/02/2018 (sexta-feira) – 08h30

Sala PPGEAS I (piso superior)
Banca Prof. Max Hering de Queiroz, Dr. – Presidente  – DAS/UFSC;

Prof. Marcelo Lopes de Lima, Dr. – CENPES/Petrobras;

Prof. Rodrigo Tacla Saad, Dr. – TREKKEN;

Prof. Rômulo Silva de Oliveira, Dr. – DAS/UFSC.
Título Método para Teste Automatizado de Sistemas Instrumentados de Segurança em Plataformas de Petróleo
Resumo: O Sistema Instrumentado de Segurança (SIS) é responsável pelo controle das funções de segurança na indústria de processos. Esse sistema visa colocar a operação em um estado seguro diante de uma situação de risco, evitando a origem de acidentes ou catástrofes que trazem consequências às pessoas, ao meio ambiente e aos equipamentos da própria planta. As normas exigem testes para identificar falhas na lógica de intertravamento desse sistema. Esta dissertação apresenta um método para executar um teste automatizado do dispositivo de controle da lógica do SIS seguindo as especificações lógicas de segurança descritas na Matriz Causa e Efeito (MCE). A partir desse documento são gerados casos de teste, utilizando técnicas caixa-preta de seleção, e ainda modelos de observadores de Redes de Petri que funcionam como o oráculo do teste. Os modelos produzem um veredito que avalia o comportamento da lógica do Controlador Lógico Programável (CLP) comparando-o com a especificação. Uma ferramenta experimental foi desenvolvida para editar a MCE, gerar os casos de teste e os observadores, executar o teste do CLP e ainda apresentar as não conformidades encontradas. A validação do método e da ferramenta foi realizada utilizando os programas de CLP e a documentação do SIS de uma plataforma de petróleo da Petrobrás.
Defesas

Defesa de Dissertação de Mestrado – Luiz Paulo Enádio dos Reis – 15/02/2018

15/02/2018 17:13
Defesa de Dissertação de Mestrado
Aluno Luiz Paulo Enádio dos Reis
Orientador

Coorientador

 Prof. Max Hering de Queiroz, Dr. – DAS/UFSC

Prof. Jean-Marie Alexandre Farines, Dr. – DAS/UFSC
Data 15/02/2018 (quinta-feira) – 14h00

Sala PPGEAS I (piso superior)
Banca Prof. Max Hering de Queiroz, Dr. – Presidente  – DAS/UFSC;

Prof. Marcelo Lopes de Lima, Dr. – CENPES/Petrobras;

Prof. Rodrigo Tacla Saad, Dr. – TREKKEN;

Prof. Fábio Luis Baldissera, Dr. – DAS/UFSC.
Título Verificação Formal de Sistemas Instrumentados de Segurança na Indústria de Petróleo e Gás Natural
Resumo: O trabalho apresenta um método automatizável para verificação formal de programas de CLP integrada à metodologia de desenvolvimento de Sistemas Instrumentados de Segurança (SIS) na indústria de petróleo e gás. As especificações de segurança relacionando os diversos sensores e atuadores de SIS são padronizadas em Matrizes de Causa e Efeito (MCE), que são sistematicamente traduzidas em fórmulas LTL.  São apresentadas regras para tradução do programa de CLP em diagrama Ladder para um modelo formal em linguagem intermediária FIACRE que serve de entrada para realização de model checking através da cadeia de verificação TINA/SELT. A fim de lidar com a complexidade dos modelos formais para SIS reais, apresenta-se um método baseado em cone de influência para decomposição do processo de model checking e simplificação dos modelos em FIACRE. Os contraexemplos resultantes são convertidos em diagramas de sinal ou em comandos para o simulador do CLP, que facilitam a interpretação das falhas identificadas. O método foi aplicado para verificação de um caso ilustrativo e para partes do código do SIS de uma plataforma de petróleo offshore real.
Defesas

Defesa de Dissertação de Mestrado – Otávio Polonio Muler – 08/02/2018

08/02/2018 17:11
Defesa de Dissertação de Mestrado
Aluno Otávio Polonio Muler
Orientador

Coorientador

 Prof. Max Hering de Queiroz, Dr. – DAS/UFSC

Prof. José Eduardo Ribeiro Cury, Dr. – DAS/UFSC
Data 08/02/2018 (quinta-feira) – 14h00

Sala PPGEAS I (piso superior)
Banca Prof. Max Hering de Queiroz, Dr. – Presidente  – DAS/UFSC;

Prof. André Bittencourt Leal, Dr. – UDESC;

Prof. Victor Juliano De Negri, Dr. – EMC/UFSC;

Prof. Fábio Luis Baldissera, Dr. – DAS/UFSC.
Título Síntese e Implementação de Controle Supervisório de Processos Industriais com Malha de Válvulas
Resumo: O presente trabalho propõe estratégias de síntese e implementação de controle supervisório para segurança operacional em um processo industrial de controle de nível contendo malha de válvulas. A dinâmica de problemas de sequenciamento, intertravamento e outras lógicas relativas a segurança de processos industriais pode ser interpretada como sendo da classe de sistemas a eventos discretos (SEDs).  A Teoria de Controle Supervisório (TCS) possibilita a síntese de um controle ótimo para SEDs, que restringe o sistema ao máximo comportamento controlável, não-bloqueante e que respeita as especificações impostas ao sistema. Para investigar a aplicação da TCS em problemas voltados para a indústria de processos, é realizada a síntese formal para evitar situações inseguras em um controle de nível, sobre o qual atuam uma bomba e uma válvula. O supervisor ótimo é implementado para uma planta piloto real baseada em tecnologia Foundation Fieldbus (FF). Enquanto um controle Proporcional-Integral (PI) faz a regulação da abertura da válvula em rede FF para seguir uma referência de nível, o controle supervisório implementado em controlador lógico programável impõe limites à abertura da válvula em função dos eventos discretos observados de modo a evitar o transbordo e o esvaziamento do tanque de forma minimamente restritiva ao controle PI. Para explorar o uso da síntese em sistemas mais complexos, aplica-se a TCS para segurança operacional de controle de nível envolvendo malha de válvulas. Devido à dificuldade de se modelar sistemas complexos e à explosão de estados quando se utiliza a TCS clássica, é proposta uma estratégia em controle hierárquico multiníveis para síntese e implementação de supervisores. A estratégia permite a simplificação do sistema de forma gradual, a cada nível. É possível definir modelos padronizados de equivalência de válvulas em série e em paralelo ao se empregar o controle hierárquico, economizando-se tempo e diminuindo-se erros de modelagem. De modo geral, a síntese do problema com malha de válvulas por controle hierárquico evita o crescimento exponencial dos modelos e permite uma implementação estruturada e flexível de controle supervisório.
Defesas

Defesa de Dissertação de Mestrado – Felipe da Silva Lázaro – 08/02/2018

08/02/2018 17:11
Defesa de Dissertação de Mestrado
Aluno Felipe da Silva Lázaro
Orientador

Coorientador

 Prof. Max Hering de Queiroz, Dr. – DAS/UFSC

Prof. Jean-Marie Alexandre Farines, Dr. – DAS/UFSC
Data 08/02/2018 (quinta-feira) – 08h30

Sala PPGEAS I (piso superior)
Banca Prof. Max Hering de Queiroz, Dr. – Presidente  – DAS/UFSC;

Prof. Rui Rodrigues de Melo Junior, Dr. – Marinha/Brasil;

Prof. Leandro Buss Becker, Dr. – DAS/UFSC;

Prof. Fábio Luis Baldissera, Dr. – DAS/UFSC.
Título Metodologia para Desenvolvimento de Sistemas de Controle e Monitoração de Navios assistido por Model Checking
Resumo: A Marinha do Brasil (MB) desenvolve o Sistema de Controle e Monitoração (SCM) para diversos navios de sua esquadra. Este sistema é responsável pelo controle das máquinas principais e auxiliares do navio, sendo essencial para sua operação. Neste trabalho é proposta uma metodologia de desenvolvimento de projetos para o SCM da MB, utilizando verificação formal por model checking. A metodologia estabelece documentos de especificação e métodos de tradução para a linguagem interpretada pela ferramenta de verificação formal. Assim, possibilitando certificar, de forma exaustiva e automática, que todas as propriedades de segurança essenciais ao projeto estão constando no documento de especificação do código para o Controlador Lógico Programável (CLP), gerando redução de custos na correção de erros, e aumentando a confiabilidade e disponibilidade do navio. Por ser automático, o método dispensa a necessidade dos projetistas terem conhecimentos em verificação formal. Um estudo de caso típico da MB foi utilizado e confirmou a viabilidade e eficácia da metodologia proposta.
Defesas

Defesa de Exame de Qualificação – Marco Aurélio Schmitz de Aguiar – 12/12/2017

12/12/2017 17:10
Defesa de Exame de Qualificação
Aluno Marco Aurélio Schmitz de Aguiar
Orientador

Coorientador

 Prof. Eduardo Camponogara, Dr. – DAS/UFSC

Prof. Morten Hovd, Dr. – NTNU/Noruega
Data

Local

 12/12/2017  10h30  (terça-feira)

Sala PPGEAS I (piso superior)
  Prof. Rodrigo Castelan Carlson, Dr. – DAS/UFSC (presidente)

Prof. Jorge Otávio Trierweiler,  Dr. – ENQ/UFRGS

Prof. Hector Bessa Silveira, Dr. – DAS/UFSC
Título

 

 Distributed Otpimal Control of Nonlinear Dynamic Networks
Abstract: Optimal control is a field that looks into finding the best controls to apply to a system with respect to some given criteria. In the last century, a lot of effort has been put into creating a strong theoretical background. Lately, the advances in computational power and specific software made it possible to solve optimal control problems for a range of systems and applications. In this work, we are interested in making scientific and technological contributions in the specific area of distributed optimal control applied to distributed systems. Distributed systems are dynamic systems that are composed by many coupled subsystems. These systems occur naturally in various fields: consumers and generators in a power supply network; reactors, valves, and tanks in chemical plants; interconnected autonomous vehicles; etc. Developing centralized approaches, where a single regulator controls the whole system, might be too costly for large scale, and at the same time it creates a single point of failure.  On the other hand, a decentralized approach where each subsystem has its own controller that is independent of the other subsystems can lead to poor performance or even unstabilize certain systems. Therefore, in this work a cooperative distributed controller is proposed where each subsystem has its own controller but also accounts the interactions of neighboring subsystems. To achieve this, a framework for modeling networked systems is proposed, the framework renders a decoupled cost and coupled constraints model, where the couplings are simply the equations that connect inputs and outputs of neighboring subsystems. This framework facilitates the modeling and creates a structure that is highly sparse. To exploit the structure created by this framework, two algorithms are proposed for cooperative optimal control of distributed systems. Later a modification to these algorithms is proposed to achieve full parallelization of the computation of the optimal controls.
Defesas

Defesa de Dissertação de Mestrado – Henrique Salvaro Furtado – 08/12/2017

08/12/2017 17:08
Defesa de Dissertação de Mestrado
Aluno Henrique Salvaro Furtado
Orientador Prof. Rodrigo Castelan Carlson, Dr. – DAS/UFSC
Data 08/12/2017 (sexta-feira) – 14h00

Sala PPGEAS II (piso inferior)
Banca Prof. Rodrigo Castelan Carlson, Dr. – Presidente  – DAS/UFSC;

Prof. Hector Bessa Silveira, Dr. – DAS/UFSC;

Prof. Fábio Luiz Baldissera, Dr. – DAS/UFSC;

Prof. Werner Kraus Junior, Dr. – DAS/UFSC.
Título Evaluation of Automated Intersection Control Strategies for Automated Vehicles
Abstract: The development of automated vehicles has been experiencing an increased growth since 2000, and tends to continue growing as major car manufacturers start their own initiatives. With the advances in connected and automated vehicle technologies, a number of complications arise. These complications are not only related to the technological development itself, but also to the operational aspects, such as the seamless usage of these technologies in order to make traffic flow safer and more efficiently, particularly in conflict regions, i.e, regions within a traffic network where two or more streams of traffic have conflicting trajectories. Regarding the operational aspects, the existence of conflict regions, such as crossings and intersections, leads to the necessity of creating control strategies that coordinate the safe and efficient usage of those regions. Examples of improvements in traffic flow are the reduction in vehicle delay, reduction in the number of accidents and the emission of pollutants. In this work, we will study the current automated intersection control strategies and the trends around them. A few chosen strategies will be implemented within the same environment, and compared among them, under quantitative and qualitative analysis, e.g., scalability, efficiency, generality, etc.
Defesas

Defesa de Tese de Doutorado – Nader Ghoddosi – 07/12/2017

07/12/2017 17:09
Defesa de Tese de Doutorado
Aluno Nader Ghoddosi
Orientador Prof. Ricardo José Rabelo, Dr. – DAS/UFSC
Data

Local

 07/12/2017  14h00   (quinta-feira)

Sala PPGEAS II (piso inferior)
  Prof. Ricardo José Rabelo, Dr. – DAS/UFSC (orientador)

Prof. Leonardo Guerreiro Azevedo,  Dr. – UNIRIO

Prof. Leandro Buss Becker, Dr. – DAS/UFSC

Prof. Jean Carlo Rossa Hauck, Dr. – INE/UFSC

Prof. Rômulo Silva de Oliveira, Dr. – DAS/UFSC
Título

 

 Um Método de Apoio à Decisão na Estimação de Software baseado em Serviços numa Perspectiva SOA
Resumo: A indústria de software tem se tornado cada vez mais um setor de grande relevância econômica e estratégica no desenvolvimento de um país. Cada vez mais pressionadas pela grande competitividade e pela constante necessidade de investimentos em inovação e recursos humanos, tem sido essencial para a sobrevivência das empresas a adoção de novos paradigmas tecnológicos que as dê melhores condições de implementação de mais rentáveis e sustentáveis modelos de negócio. A Arquitetura Orientada a Serviços (Service Oriented Architecture – SOA) tem emergido como um dos mais importantes novos paradigmas de software. Diferentemente do modelo tradicional de software, em SOA um sistema é constituído por uma composição de módulos de software distribuídos, desacoplados e heterogêneos – chamados serviços – cujas funcionalidades são invocadas dentro de variadas lógicas de negócio do sistema. Neste sentido, SOA introduz uma nova visão quanto ao projeto, desenvolvimento, reuso e integração de software, podendo este ser fornecido mais flexivelmente sob diversas arquiteturas e modelos de negócios com um maior grau de alinhamento à camada negócio da empresa. Apesar de suas grandes potencialidades e dos grandes avanços verificados nos ambientes de desenvolvimento, normas e modelos de maturidade para ajudar no desenvolvimento de soluções SOA, a sua adoção num sistema e por parte de uma empresa tem vários impactos, em diferentes dimensões. Como consequência, projetos SOA geralmente acabam por ser mais complexos de serem projetados, geridos, integrados e implantados e, portanto, com um razoável risco de insucesso. Além disso, dependendo do tipo de problema a ser resolvido, do que já existe de sistemas legados, dos requisitos do negócio em questão e de um grande número de outros aspectos, nem sempre a adoção de SOA / orientação a serviços pode vir a ser a melhor decisão para o caso. Dentro do ciclo de vida SOA, essas ponderações são feitas na fase de análise e levam em consideração estimações de software, que basicamente culminam com o cálculo de custos, esforço, tempo de desenvolvimento e grau de alinhamento ao negócio. A literatura mostra uma lacuna sobre métodos mais completos ou que não sejam apenas baseados em checklists genéricos para apoiar gestores de TI nessa decisão sobre quando implementar demandas de software na forma de serviços. Observações empíricas e relatos na Internet também comentam que muitos gestores tomam tal decisão essencialmente com base na sua experiência e nível de conhecimento técnico, portanto com grande margem de subjetividade, baixa padronização, pouca mensuração quantitativa dos custos gerais daquela adoção e com limitada visão do grau de alinhamento ao negócio. Na direção de mitigar tais problemas, esta tese propõe um método que sistematiza o processo de análise sobre a adoção ou não de serviços numa dada solução de software que contempla os devidos fatores de decisão em SOA. O método é constituído por 15 fatores inter-relacionados, que são organizados e sequencialmente percorridos pelo gestor de TI, que os alimenta com certas informações da empresa e da solução pretendida. Cada fator é calculado e gera um valor. O método sintetiza os valores dos fatores e provê ao final números concretos para custos, esforço, tempo de desenvolvimento e grau de alinhamento ao negócio. O método foi desenvolvido com base nas melhores práticas de engenharia de software e de SOA, adaptando-as a um cenário de tomada de decisão multicritério e de comparação em relação a custos gerais de desenvolvimento de um software tradicional. Um conjunto de empresas de software foi utilizado para avaliar o método, onde se pôde confirmar a sua proposição de valor.
Defesas

Defesa de Dissertação de Mestrado – Vinícius Araújo de Oliveira – 01/12/2017

01/12/2017 17:06
Defesa de Dissertação de Mestrado
Aluno Vinícius Araújo de Oliveira
Orientador

Coorientador

 Prof. Rodrigo Castelan Carlson, Dr. – DAS/UFSC

Prof. Werner Kraus Junior, Dr. – DAS/UFSC
Data 01/12/2017 (sexta-feira) – 14h00

Sala PPGEAS II (piso inferior)
Banca Prof. Rodrigo Castelan Carlson, Dr. – Presidente  – DAS/UFSC;

Prof. Luciano Dionísio Dantas, Dr. – BRASCONTROL;

Prof. Ubirajara Franco Moreno, Dr. – DAS/UFSC;

Prof. Dainel Ferreira Coutinho, Dr. – DAS/UFSC.
Título Estimação do Tamanho da Fila em Vias Urbanas Semaforizadas utilizando um Detector a Laço Indutivo
Resumo: O tamanho da fila ou o número de veículos em uma via são medidas fundamentais em engenharia de tráfego, uma vez que são usados em estratégias de controle de tráfego, porém são difíceis de obter diretamente. Assim, tipicamente, essas quantidades são estimadas a partir de valores de ocupação e/ou fluxo obtidos por meio de detectores instalados nas vias. Detectores a laço indutivo são os mais utilizados e alguns dos métodos de estimação propostos na literatura requerem até três laços instalados em diferentes posições da via. Em função dos custos de instalação e manutenção, há a preferência por métodos que necessitem apenas de um laço. O método de estimação que foi proposto para uso com a estratégia de controle Traffic-responsive Urban Control (TUC) fornece o número médio de veículos da via em um ciclo baseado nas medidas de ocupação de um laço detector nela instalado. O estudo que gerou o método foi realizado em um simulador macroscópico de tráfego e para uma único cenário. Avalia-se neste trabalho este e outros métodos que utilizam a detecção via laço indutivo em um microsimulador de tráfego levando em consideração várias variáveis como o comprimento da via, posição do laço detector, e proporção entre tempo de verde e tempo de ciclo. Os resultados revelam que os métodos estudados possuem algumas limitações que precisam de tratamento adequado para sua utilização. A partir desse estudo, é feita uma proposta de modelo de estimativa determinística de filas baseada em um diagrama espaço-tempo e que utiliza dados fornecidos por um único detector, para o caso sem fila residual ao final do ciclo. O modelo proposto foi simulado e comparado com os métodos estudados e apresentou resultados com menores erros de estimação para as condições testadas, mostrando-se viável para a estimação da fila.
Defesas

Defesa de Exame de Qualificação – Roque Oliveira Bezerra – 23/11/2017

23/11/2017 17:06
Defesa de Exame de Qualificação
Aluno Roque Oliveira Bezerra
Orientador Prof. Ricardo José Rabelo, Dr. – DAS/UFSC
Data

Local

 23/11/2017  08h30   (quinta-feira)

Auditório do EMC
  Prof. Joni da Silva Fraga, Dr. – DAS/UFSC (presidente)

Prof. Neslon Souto Rosa,  Dr. – CIN/UFPE

Prof. Frank Augusto Siqueira, Dr. – INE/UFSC

Prof. Carlos Barros Montez, Dr. – DA/SUFSC (suplente)
Título

 

 Um Modelo de Resiliência Computacional na Composição e Deployment de Aplicações SOA baseados em BPM
Resumo: As empresas cada vez mais têm utilizado sistemas computacionais para automatizar seus processos de negócio. Por outro lado, como uma das consequências, as suas arquiteturas computacionais têm se expandido e se constituído cada vez mais por sistemas distribuídos e heterogêneos, e com grandes dificuldades de suportar uma maior flexibilidade às mudanças, evoluções e escalabilidade dos processos e sistemas. SOA (Service Oriented Architecture – Arquitetura Orientada a Serviços) tem emergido como um poderoso paradigma e estilo arquitetural para fazer frente àquelas dificuldades. Apesar das potencialidades do SOA, a sua implementação apresenta vários níveis de complexidade, incluindo a sua integração com a camada de negócios (“BPM” – Business Process Management), um dos pilares da plena adoção de SOA numa organização. Um dos grandes problemas em SOA tem a ver com manter os serviços das várias aplicações SOA permanentemente funcionando e dentro dos requisitos de QoS estabelecidos. Isso tem a ver com resiliência em sistemas SOA, e é o foco desta tese. Existem relativamente poucos estudos na área de resiliência em aplicações BPM-SOA, onde a grande maioria foca em aspectos bem específicos ou no nível BPM ou de SOA, sem uma abordagem mais ampla. Além disto, inúmeros trabalhos adotam uma visão demasiado simplificada sobre o que é uma aplicação SOA, fazendo com que suas propostas tenham uma muito limitada aplicação real. Nesse sentido, este projeto de tese pretende contribuir em algumas direções em termos de estratégias de resiliência para sistemas SOA. Esta contribuição será na forma de um modelo de resiliência, integrado, flexível, aberto, adaptativo e evolutivo, aplicado na composição de aplicações SOA, que seja capaz de aumentar a chance de sucesso na execução da aplicação mesmo que na presença de um cenário adverso. Para esta Qualificação um modelo inicial foi concebido e um protótipo foi implementado como instrumento preliminar de avaliação e de análise de viabilidade.
Defesas

Defesa de Dissertação de Mestrado – Guilherme Matias – 06/11/2017

06/11/2017 17:05
Defesa de Dissertação de Mestrado
Aluno Guilherme Matias
Orientador Prof. Alexandre Trofino Neto, Dr. – DAS/UFSC
Data 06/11/2017 (segunda-feira) – 08h30

Auditório do POLO
Banca Prof. Alexandre Trofino Neto, Dr. – Presidente  – DAS/UFSC;

Prof. Cláudio Melo, Dr. – EMC/UFSC;

Prof. Fábio Luis Baldissera, Dr. – DAS/UFSC;

Prof. Cesar Cataldo Scharlau, Dr. – UFSC/Araranguá.
Título Desenvolvimento de Estratégia de Controle para Compressor de Capacidade Variável e Válvula de Expansão Eletrônica em um Sistema de Refrigeração Doméstico
Resumo: Esta dissertação apresenta o desenvolvimento de duas estratégias de controle para um sistema de refrigeração doméstico dotado de compressor de capacidade variável e válvula de expansão eletrônica. Um protótipo foi criado com a adaptação de um refrigerador doméstico, incluindo tal compressor e válvula, para o desenvolvimento das estratégias de controle. As duas estratégias utilizam um controlador PI para ajustar a velocidade de rotação do compressor baseado na temperatura do compartimento do sistema, e diferem no controlador utilizado para ajustar a fração de abertura da válvula, sendo um deles um controlador PI que se baseia no grau de superaquecimento do evaporador, e o outro uma lógica de controle baseada na técnica MPPT que utiliza como variável de controle a potência do compressor que é fornecida pelo inversor. Para as duas estratégias desenvolvidas são realizados testes importantes para a análise de suas performances em termos de refrigeração, e então estas técnicas são comparadas entre si. A comparação entre as duas estratégias é favorável a estratégia PI que utiliza sensores de temperatura adicionais para medir o grau de superaquecimento, e que com isso consegue ter um desempenho em relação ao consumo energético aproximadamente 5% melhor, e regimes transitórios mais comportados.
Defesas
  • Desenvolvido com o CMS de código aberto Wordpress
  • Última atualização do site foi em 19 de agosto 2025 - 18:29:16
Conteúdo acessível em Libras usando o VLibras Widget com opções dos Avatares Ícaro, Hosana ou Guga. Conteúdo acessível em Libras usando o VLibras Widget com opções dos Avatares Ícaro, Hosana ou Guga.