The organization of seismicity on fault networks.

Although models of homogeneous faults develop seismicity that has a Gutenberg-Richter distribution, this is only a transient state that is followed by events that are strongly influenced by the nature of the boundaries. Models with geometrical inhomogeneities of fracture thresholds can limit the sizes of earthquakes but now favor the characteristic earthquake model for large earthquakes. The character of the seismicity is extremely sensitive to distributions of inhomogeneities, suggesting that statistical rules for large earthquakes in one region may not be applicable to large earthquakes in another region. Model simulations on simple networks of faults with inhomogeneities of threshold develop episodes of lacunarity on all members of the network. There is no validity to the popular assumption that the average rate of slip on individual faults is a constant. Intermediate term precursory activity such as local quiescence and increases in intermediate-magnitude activity at long range are simulated well by the assumption that strong weakening of faults by injection of fluids and weakening of asperities on inhomogeneous models of fault networks is the dominant process; the heat flow paradox, the orientation of the stress field, and the low average stress drop in some earthquakes are understood in terms of the asperity model of inhomogeneous faulting.

Geometric incompatibility in a fault system.

Interdependence between geometry of a fault system, its kinematics, and seismicity is investigated. Quantitative measure is introduced for inconsistency between a fixed configuration of faults and the slip rates on each fault. This measure, named geometric incompatibility (G), depicts summarily the instability near the fault junctions: their divergence or convergence ("unlocking" or "locking up") and accumulation of stress and deformations. Accordingly, the changes in G are connected with dynamics of seismicity. Apart from geometric incompatibility, we consider deviation K from well-known Saint Venant condition of kinematic compatibility. This deviation depicts summarily unaccounted stress and strain accumulation in the region and/or internal inconsistencies in a reconstruction of block- and fault system (its geometry and movements). The estimates of G and K provide a useful tool for bringing together the data on different types of movement in a fault system. An analog of Stokes formula is found that allows determination of the total values of G and K in a region from the data on its boundary. The phenomenon of geometric incompatibility implies that nucleation of strong earthquakes is to large extent controlled by processes near fault junctions. The junctions that have been locked up may act as transient asperities, and unlocked junctions may act as transient weakest links. Tentative estimates of K and G are made for each end of the Big Bend of the San Andreas fault system in Southern California. Recent strong earthquakes Landers (1992, M = 7.3) and Northridge (1994, M = 6.7) both reduced K but had opposite impact on G: Landers unlocked the area, whereas Northridge locked it up again.

Scaling in geology: landforms and earthquakes.

Landforms and earthquakes appear to be extremely complex; yet, there is order in the complexity. Both satisfy fractal statistics in a variety of ways. A basic question is whether the fractal behavior is due to scale invariance or is the signature of a broadly applicable class of physical processes. Both landscape evolution and regional seismicity appear to be examples of self-organized critical phenomena. A variety of statistical models have been proposed to model landforms, including diffusion-limited aggregation, self-avoiding percolation, and cellular automata. Many authors have studied the behavior of multiple slider-block models, both in terms of the rupture of a fault to generate an earthquake and in terms of the interactions between faults associated with regional seismicity. The slider-block models exhibit a remarkably rich spectrum of behavior; two slider blocks can exhibit low-order chaotic behavior. Large numbers of slider blocks clearly exhibit self-organized critical behavior.

Processos e significados da experiência de pais, mães ou cuidador primário de crianças abusadas sexualmente

Introdução - O abuso sexual de crianças constitui um problema de saúde pública, com aproximadamente 73 milhões de casos de meninos e 150 milhões de meninas registrados anualmente no mundo. O abuso sexual gera consequências negativas e condutas de risco que contribuem com algumas das principais causas de morte, doença e deficiência nas vítimas do abuso. Pais ou cuidadores primários são fundamentais no processo de orientação e de cuidado das crianças abusadas, no sentido de prevenir as consequências cognitivas, comportamentais e emocionais evidenciadas no futuro dessas crianças. Entretanto, as habilidades das famílias de cuidadores para lidar com a problemática ainda são insuficientes. Objetivo - Descrever os processos e significados da experiência vivida pelos pais ou cuidadores primários de crianças abusadas sexualmente. Método - Os dados empíricos foram tratados utilizando-se o Discurso do Sujeito Coletivo (DSC), fundamentado na Teoria das Representações Sociais, que viabiliza a emergência das representações sociais por meio da construção dos discursos coletivos obtidos de depoimentos de um grupo específico. Foram avaliados 60 pais ou cuidadores primários não estupradores, que responderam à cinco situações-problema, cada uma com questões correspondentes, residentes nos municípios de Cajicá e Tabio de Bogotá, Colômbia. O processamento e a análise dos dados foram realizados no sofware Qualiquantisoft, associado à metodologia do DSC. Resultados - Na primeira situação-problema, que aborda o porquê do silêncio do filho sobre o abuso, os entrevistados enfatizaram que é fundamental o relacionamento pais e filhos (45,7 por cento , n = 43), bem como melhorar o papel de pais por meio da escuta, do diálogo e do confiar, dedicando mais tempo às crianças; também acham que o silêncio se deve ao medo por parte das crianças e a ameaças e intimidação por parte do abusador, Na situação-problema 2, relativa à identificação do abuso sexual como problema real, o significado atribuído configura cadeias que se repetem por transmissão intergeracional (26,9 por cento , n = 21). Na situação-problema 3, o que fazer no futuro, 53,3 por cento dos entrevistados (n = 32) acham que a criança está comprometida comportamentalmente e enfatizam a homossexualidade com perda da identidade como consequência da violência sexual. Na situação-problema 4, que enfatiza o papel da rede social quanto ao cuidado da criança, os entrevistados acreditam que a solução é dar proteção (29,1 por cento ; n = 32), com ações que visem a afastar a criança do ambiente agressor, dar orientação, apoio e segurança à criança e à família. A quinta situação-problema que diz respeito ao cuidado das crianças abusadas; 34,26 por cento dos entrevistados (n = 37) enfatizam o apoio e a ajuda com a interveniência da rede de apoio social e afetivo. Conclusão - Para os pais ou cuidadores primários de crianças abusadas sexualmente, os significados se expressam como afetivo, coragem, superação, não ter medo e saber reconhecer as falhas dos pais. Em função dos resultados, que identificam posturas tradicionais dos respondentes, recomenda-se programas inovadores com um alto componente educativo, onde se contextualize o abuso sexual por meio de situações reais em escolas, delegacias, nas famílias e na comunidade, com interveniência das redes de apoio social; enfatiza-se igualmente a necessidade de formação mais humanizada dos profissionais de apoio social.

Proteção de linhas de transmissão de sistemas VSC-HVDC utilizando limitadores de corrente de falta

Tecnologias HVDC que utilizam conversores do tipo fonte de tensão, o VSC-HVDC, ainda não são completamente difundidas e aplicadas no Brasil, em contraste com outros países que começaram a estudar e empregar este tipo de transmissão. Comparado com o HVDC tradicional, o VSC-HVDC é uma tecnologia de transmissão mais eficiente e pode superar deficiências encontradas na transmissão em corrente contínua convencional. O VSC-HVDC pode ser utilizado de maneira mais eficiente nas novas redes de energia, para alimentar ilhas, integração de geração eólica, renovação das linhas em centros urbanos, aplicações multiterminais e conexão com sistemas fracos. Por se tratar de uma tecnologia recente, o VSC-HVDC ainda não é amplamente adotado e uma das principais limitações da utilização destes sistemas é a sua fragilidade diante faltas na linha de corrente contínua. Neste contexto, limitadores de corrente de falta (LCF) podem ser utilizados para minimizar o impacto das faltas. A ação dos limitadores é benéfica ao sistema durante condições de falta, contudo, ainda assim é necessária a atuação do sistema de proteção para extinguir a condição faltosa. Portanto, este trabalho visa propor e avaliar um novo esquema de proteção que opere de maneira seletiva e confiável para sistemas VSC-HVDC na presença de LCF baseados em materiais supercondutores ou LCF indutivos. Para tanto, foram implementadas quatro funções de proteção tradicionais das linhas em CC, a saber: direcional de corrente, diferencial, sobrecorrente com restrição de tensão e ondas viajantes, e ainda, foi proposta uma nova função de proteção, a de condutância, a qual apresentou o menor tempo de identificação de falta, considerando as faltas mais severas. Adicionalmente, foi avaliado o comportamento destas funções quando o sistema apresenta os LCF em série com a linha. Foi demonstrado que é possível extrair os benefícios dos LCF sem deteriorar a qualidade dos resultados das funções de proteção, o que aumenta a segurança e confiabilidade dos sistemas VSC-HVDC, uma vez que os impactos das faltas são minimizados e as mesmas são identificadas em um curto intervalo de tempo.

Regime disciplinar do servidor público temporário

O presente trabalho tem por objetivo aprofundar o regime jurídico disciplinar do servidor público temporário. Analisam-se as características principais dessa espécie de agente público que o diferenciam dos demais servidores e que justificam um regime disciplinar próprio. Em uma breve investigação sobre as prováveis origens do temporário, constata-se a presença desse servidor na Administração Pública brasileira desde 1823. No direito estrangeiro (particularmente, no direito francês e no direito português), verifica-se a existência de figuras assemelhadas ao servidor público temporário brasileiro, que é uma espécie de servidor público do gênero agente público, exercendo uma função pública, mas não ocupando nem cargo, nem emprego públicos, sendo contratado por tempo determinado para atender a necessidade temporária de excepcional interesse público. A Constituição Federal, em seu artigo 37, IX, indica que a lei estabelecerá os casos de contratação por tempo determinado, mas não há uma uniformidade entre os entes da federação sobre o regime jurídico adotado para o servidor temporário. Esta análise concentra-se na Lei Federal n.º 8.745/93, que disciplina o assunto. No âmbito federal, o servidor público temporário é dotado de um regime jurídico com características mais próximas do regime jurídico administrativo, sendo recrutado por meio de contrato administrativo assemelhado ao regime estatutário. Tal contratação deve pautar-se pela observância dos princípios da continuidade do serviço público, da moralidade, da impessoalidade, da razoabilidade, da proporcionalidade e da motivação. Focaliza-se a responsabilidade do servidor público temporário no âmbito administrativo, procurando-se demonstrar que tal servidor, por um princípio de equiparação, submete-se a um processo administrativo disciplinar para apuração de suas faltas, o qual cumpre prazos especiais e condições específicas em razão do vínculo temporário com a Administração Pública, em tudo sendo respeitado o devido processo legal, a ampla defesa e o contraditório. Analisam-se as diferenças entre o processo disciplinar do servidor temporário (sindicância) e o processo do servidor público em geral, os ritos adotados, os prazos, as penalidades e os recursos, constatando-se que o servidor público temporário responde pelos atos ilícitos em todas as esferas: penal, civil, administrativa e por atos de improbidade. A transitoriedade na função não o exime de responsabilidades, por isso, com as devidas adaptações, está sujeito aos ônus e bônus do serviço público. Daí a necessidade de construir, com base nas características próprias dessa espécie de servidor público, um regime adaptado às especificações do vínculo especial a que se submete o servidor público temporário. Propõe-se aqui um miniprocesso disciplinar ou um processo disciplinar especial, ou uma minissindicância ou uma sindicância especial, sui generis.

Aplicação de sistema especialista para localização de defeitos em redes de distribuição.

Com o objetivo de orientar e agilizar a busca do local de curto circuitos em redes primárias aéreas de distribuição de energia, esta pesquisa propõe uma metodologia para localização de áreas com maior probabilidade de ser sede do defeito, utilizando variáveis Heurísticas. A metodologia Heurística se aplica em problemas que envolvem variáveis com incertezas, que podem ser avaliadas por meio de recursos empíricos e na experiência de especialistas. Dentre as variáveis influentes no cálculo de curto circuito, foram consideradas como mais relevantes: a resistência de defeito, a tensão pré falta, a impedância do sistema equivalente a montante da subestação e a impedância da rede. A metodologia proposta se fundamenta no conhecimento das correntes e tensões oscilografadas no barramento da subestação por ocasião da ocorrência de um curto circuito e, por outro lado no pré-calculo de correntes de curto circuito heurísticas ao longo da rede. No âmbito da pesquisa foram realizados testes de campo para levantamento da variável heurística resistência de defeito, resumidos neste texto e documentados no CD - ROM em anexo. Foi desenvolvido um software que permitiu a efetiva aplicação da proposta desta pesquisa em vários alimentadores de uma Distribuidora, cujos resultados comprovaram a eficiência da metodologia.

Sistema inteligente baseado em decomposição por componentes ortogonais e inferência fuzzy para localização de faltas de alta impedância em sistemas de distribuição de energia elétrica com geração distribuída

Os sistemas elétricos de potência modernos apresentam inúmeros desafios em sua operação. Nos sistemas de distribuição de energia elétrica, devido à grande ramificação, presença de extensos ramais monofásicos, à dinâmica das cargas e demais particularidades inerentes, a localização de faltas representa um dos maiores desafios. Das barreiras encontradas, a influência da impedância de falta é uma das maiores, afetando significativamente a aplicação dos métodos tradicionais na localização, visto que a magnitude das correntes de falta é similar à da corrente de carga. Neste sentido, esta tese objetivou desenvolver um sistema inteligente para localização de faltas de alta impedância, o qual foi embasado na aplicação da técnica de decomposição por componentes ortogonais no pré-processamento das variáveis e inferência fuzzy para interpretar as não-linearidades do Sistemas de Distribuição com presença de Geração Distribuída. Os dados para treinamento do sistema inteligente foram obtidos a partir de simulações computacionais de um alimentador real, considerando uma modelagem não-linear da falta de alta impedância. O sistema fuzzy resultante foi capaz de estimar as distâncias de falta com um erro absoluto médio inferior a 500 m e um erro absoluto máximo da ordem de 1,5 km, em um alimentador com cerca de 18 km de extensão. Tais resultados equivalem a um grau de exatidão, para a maior parte das ocorrências, dentro do intervalo de ±10%.

Multiclassificador inteligente de falhas no domínio do tempo em motores de indução trifásicos alimentados por inversores de frequência

Os motores de indução desempenham um importante papel na indústria, fato este que destaca a importância do correto diagnóstico e classificação de falhas ainda em fase inicial de sua evolução, possibilitando aumento na produtividade e, principalmente, eliminando graves danos aos processos e às máquinas. Assim, a proposta desta tese consiste em apresentar um multiclassificador inteligente para o diagnóstico de motor sem defeitos, falhas de curto-circuito nos enrolamentos do estator, falhas de rotor e falhas de rolamentos em motores de indução trifásicos acionados por diferentes modelos de inversores de frequência por meio da análise das amplitudes dos sinais de corrente de estator no domínio do tempo. Para avaliar a precisão de classificação frente aos diversos níveis de severidade das falhas, foram comparados os desempenhos de quatro técnicas distintas de aprendizado de máquina; a saber: (i) Rede Fuzzy Artmap, (ii) Rede Perceptron Multicamadas, (iii) Máquina de Vetores de Suporte e (iv) k-Vizinhos-Próximos. Resultados experimentais obtidos a partir de 13.574 ensaios experimentais são apresentados para validar o estudo considerando uma ampla faixa de frequências de operação, bem como regimes de conjugado de carga em 5 motores diferentes.

Aplicação de técnicas inteligentes com análise no domínio do tempo para reconhecimento de defeitos em motores de indução trifásicos

Os motores de indução trifásicos são os principais elementos de conversão de energia elétrica em mecânica motriz aplicados em vários setores produtivos. Identificar um defeito no motor em operação pode fornecer, antes que ele falhe, maior segurança no processo de tomada de decisão sobre a manutenção da máquina, redução de custos e aumento de disponibilidade. Nesta tese são apresentas inicialmente uma revisão bibliográfica e a metodologia geral para a reprodução dos defeitos nos motores e a aplicação da técnica de discretização dos sinais de correntes e tensões no domínio do tempo. É também desenvolvido um estudo comparativo entre métodos de classificação de padrões para a identificação de defeitos nestas máquinas, tais como: Naive Bayes, k-Nearest Neighbor, Support Vector Machine (Sequential Minimal Optimization), Rede Neural Artificial (Perceptron Multicamadas), Repeated Incremental Pruning to Produce Error Reduction e C4.5 Decision Tree. Também aplicou-se o conceito de Sistemas Multiagentes (SMA) para suportar a utilização de múltiplos métodos concorrentes de forma distribuída para reconhecimento de padrões de defeitos em rolamentos defeituosos, quebras nas barras da gaiola de esquilo do rotor e curto-circuito entre as bobinas do enrolamento do estator de motores de indução trifásicos. Complementarmente, algumas estratégias para a definição da severidade dos defeitos supracitados em motores foram exploradas, fazendo inclusive uma averiguação da influência do desequilíbrio de tensão na alimentação da máquina para a determinação destas anomalias. Os dados experimentais foram adquiridos por meio de uma bancada experimental em laboratório com motores de potência de 1 e 2 cv acionados diretamente na rede elétrica, operando em várias condições de desequilíbrio das tensões e variações da carga mecânica aplicada ao eixo do motor.

Ajuste e ensaio de sistemas de proteção de geradores síncronos.

Os sistemas de proteção dos elementos da rede elétrica desempenham um papel de fundamental importância na segurança e confiabilidade dos sistemas de potência. A não atuação ou a atuação incorreta dos relés de proteção durante uma falta localizada em um componente da rede pode transformar-se em um evento sistêmico de grandes proporções (blecaute). Esses eventos trazem riscos e elevados prejuízos econômicos à sociedade. A proteção dos geradores síncronos, apesar do alto custo e complexidade deste tipo de equipamento, não recebe a mesma atenção na literatura que a dedicada à proteção de outros elementos da rede, como, por exemplo, a das linhas de transmissão. Isso decorre do menor número de geradores existentes na rede e também da ideia que as faltas neste tipo de equipamento são menos frequentes. Este trabalho aborda os principais aspectos envolvidos com o projeto de um sistema de proteção para geradores síncronos de grande porte. Incialmente, discutese os principais conceitos associados com os geradores, de interesse para a tarefa de proteção. Particular atenção é dedicada às formas de aterramento e aos critérios adotados para projeto do resistor de aterramento utilizado nesse equipamento. Em seguida, apresentam-se as principais funções de proteção aplicáveis aos geradores, particularmente aquelas voltadas para a detecção de faltas nos enrolamentos do estator. Discute-se também os critérios de ajustes dos parâmetros dessas funções. Descreve-se o uso de uma plataforma laboratorial, baseada em simulador de tempo real (RTDS), para ensaio e análise do sistema de proteção visando validar seu correto desempenho frente às possíveis condições operativas que podem ser encontradas em campo. Finalmente, utilizando os conceitos desenvolvidos ao longo do trabalho, desenvolve-se um estudo de caso, onde é realizado o projeto e implementação do sistema de proteção dos geradores de uma usina hidrelétrica hipotética. Para avaliar e analisar o desempenho do sistema de proteção dessa rede exemplo, parametrizou-se o IED G60 (GE) e realizou-se inúmeras simulações na plataforma de testes proposta.

Modelo conceitual para comissionamento de sistemas prediais.

Atualmente, os edifícios, em função dos avanços tecnológicos dos sistemas prediais, necessitam de maior planejamento, detalhamento de projetos, controles de execução e treinamento dos profissionais de operação e manutenção para atender os requisitos de projeto do proprietário, que têm como premissa os conceitos de sustentabilidade, qualidade e desempenho. A presença dos sofisticados sistemas de controle contribui para facilitar o gerenciamento de insumos como água e energia, porém pequenas falhas podem levar a grandes falhas de desempenho. As falhas na concepção dos edifícios têm início com a má interpretação, por parte da equipe técnica, dos requisitos dos proprietários. Assim, é necessário que na concepção do edifício sejam verificados todos os requisitos solicitados pelos proprietários para o edifício durante o seu ciclo de vida. A falha da comunicação percorre toda a cadeia produtiva do edifício gerando falhas de planejamento, projeto, execução e manutenção. O comissionamento é um processo para atender aos requisitos de projeto do proprietário, documentar as fases do ciclo de vida dos edifícios, capacitar os profissionais de operação e manutenção, com o objetivo de evitar as falhas, diminuir desperdícios e retrabalhos, melhorar a qualidade, o desempenho e a sustentabilidade dos edifícios. O comissionamento é mais difundido em sistemas prediais de ar condicionado e de iluminação tendo como meta a alta eficiência energética e a economia de água, sendo pouco utilizado no Brasil. Neste contexto, o objetivo desta pesquisa é propor um modelo conceitual de comissionamento para sistemas prediais. A metodologia adotada para o desenvolvimento do modelo, utiliza a pesquisa bibliográfica como procedimento técnico. Para elucidar em que fase o comissionamento é aplicado, este foi relacionado com os outros conceitos utilizados no ciclo de vida do edifício como a coordenação de projeto, o gerenciamento de execução, o gerenciamento de facilidades, a qualidade, o desempenho, a sustentabilidade. Para o desenvolvimento do modelo conceitual é apresentado um fluxo das fases do ciclo de vida e respectivas etapas do comissionamento e outro fluxo com a relação de documentos gerados em cada fase. O resultado, ou seja, o modelo conceitual dá as diretrizes para o desenvolvimento de um comissionamento por meio da descrição das atividades, das competências e dos produtos gerados em cada etapa do comissionamento, conforme as fases do ciclo do edifício. Este trabalho contribui para difundir o comissionamento e embasar a sua aplicação em edifícios.

Geologia e petrologia da ilha de São Sebastião (Estado de São Paulo)

A ilha de São Sebastião consta principalmente de rochas alcalinas que formam um maciço de 300 km2 aproximadamente, constituindo o terceiro em área no Brasil. Apresenta-se em um "stock" alongado segundo NE-SW, encaixado em estruturas de gnais. As formações geológicas encontradas consistem em 1 - Granitos e Gnais (ARQUEANO), 2 - Eruptivas básicas (RÉTICO), 3 - Eruptivas alcalinas (JURÁSSICO) e 4 - Depósitos recentes (HOLOCENO). O método de estudo empregado foi o petrográfico e a coluna geológica estabelecida em base de dados petrográficos, tectônicos e fisiográficos. O arqueano é determinado por definição dos seus tipos petrográficos (1- gnais facoidal, 2- oligoclásio-gnais, 3- hornblenda-gnais, 4- biotita-gnais e 5- microlina-granito) idênticos aos concorrentes no considerado arqueano do Brasil meridional. O triássico (rético) é conferido às rochas básicas (diabásios e basaltos) pela sua semelhança tectônica e petrográfica com as congêneres que cortam de maneira semelhante o arqueano no continente. A "mise-en-place" das eruptivas alcalinas (1- Nordmarkito, 2- Biotita-pulaskito, 3- Pulaskito, 4- Nefelina-sienito, 5- Foiaito, 6- Essexito-foiaito, 7- Essexito e 8- Teralito) pode ser considerada jurássica devido suas relações com as eruptivas básicas referidas réticas, pois na praia do Bonete (foto 14) observa-se um dique de nordmarkito cortando outro de diabásio. As eruptivas quartzo-dioríticas (quartzo-microdiorito e quartzo-andesito) cortam as alcalinas no cume do Zabumba, indicando sua idade mais moderna que estas. Além deste fato, preenchem linhas de fraturas tectônicas recentes, como as falhas ao longo do canal de São Sebastião, indicando que a topografia deveria ser a mesma que a atual para permitir rios efusivos ao nível do canal ou que pelo menos toda a zona de extrusão estivesse, como hoje está, em superfície. Os depósitos aluviais marinhos e continentais são considerados recentes, (holocênicos) pelo favor da topografia onde se dispõe, ocupando o fundo os vales e os bordos do atual modelado costeiro, idade esta conferida em base fisiográfica. A tectônica que afetou a ilha de São Sebastião participa da que atuou em todo o litoral meridional brasileiro. Pode-se distinguir duas fases distintas: na primeira ocorreram as erupções básicas e as alcalinas subsidiárias e na segunda deram-se os falhamentos escalonados em blocos basculados para NW, com as fraturas de tensão preenchidas pelas eruptivas quartzo-dioríticas. Toda a atividade tectônica foi regulada pela direção NE-SW privilegiada da estrutura do arqueano, correspondente a antigos eixos dos dobramentos laurencianos e huronianos. A geomorfologia da ilha consta de uma antiga superfície de erosão rematada até a senilidade, - o peneplano cretáceo, hoje reduzida às cristas culminares do maciço alcalino e às satélites das estruturas gnáissicas, desnivelada pelo falhamento em blocos e ligeiramente adernada para NW devido ao basculamento. Ao lado desta topografia vestigial existe o modelado atual da ilha caracterizado por uma juventude do estágio evolutivo. Esta escultura foi inaugurada com os últimos levantamentos epirogênicos que ascenderam as eruptivas alcalinas plutônicas a mais de 1.300 m sobre o nível do mar. O modelado costeiro apresenta uma costa típica de submergência com esculturas em rias, no estágio da juventude. A presença de terraceamentos marinhos de abrasão, atualmente elevados cerca de 20 a 30 m, lembra as oscilações epirogênicas ou eustáticas do litoral.

Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída

O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans.

Mitigação de falhas críticas em sistemas produtivos.

O cenário competitivo e globalizado em que as empresas estão inseridas, sobretudo a partir do século XXI, associados a ciclos de vida cada vez menores dos produtos, rigorosos requisitos de qualidade, além de políticas de preservação do meio ambiente, com redução de consumo energético e de recursos hídricos, somadas às exigências legais de melhores condições de trabalho, resultaram em uma quebra de paradigma nos processos produtivos até então concebidos. Como solução a este novo cenário produtivo pode-se citar o extenso uso da automação industrial, fato que resultou em sistemas cada vez mais complexos, tanto do ponto de vista estrutural, em função do elevado número de componentes, quanto da complexidade dos sistemas de controle. A previsibilidade de todos os estados possíveis do sistema torna-se praticamente impossível. Dentre os estados possíveis pode-se citar os estados de falha que, dependendo da severidade do efeito associado à sua ocorrência, podem resultar em sérios danos para o homem, o meio ambiente e às próprias instalações, caso não sejam corretamente diagnosticados e tratados. Fatos recentes de catástrofes relacionadas à sistemas produtivos revelam a necessidade de se implementar medidas para prevenir e para mitigar os efeitos da ocorrência de falhas, com o objetivo de se evitar a ocorrência de catástrofes. De acordo com especialistas, os Sistemas Instrumentados de Segurança SIS, referenciados em normas como a IEC 61508 e IEC 61511, são uma solução para este tipo de problema. Trabalhos publicados tratam de métodos para a implementação de camadas SIS de prevenção, porém com escassez de trabalhos para camadas SIS de mitigação. Em função do desconhecimento da dinâmica do sistema em estado de falha, técnicas tradicionais de modelagem tornam-se inviáveis. Neste caso, o uso de inteligência artificial, como por exemplo a lógica fuzzy, pode se tornar uma solução para o desenvolvimento do algoritmo de controle, associadas a ferramentas de edição, modelagem e geração dos códigos de controle. A proposta deste trabalho é apresentar uma sistemática para a implementação de um sistema de controle para a mitigação de falhas críticas em sistemas produtivos, com referência às normas IEC 61508/61511, com ação antecipativa à ocorrência de catástrofes.