RCAAP Repository

O Estresse Visual (EV) ou Síndrome de Irlen (SI) é um distúrbio do processamento visual que principalmente se manifesta como distorções visuais na leitura, fotofobia, dores de cabeça e elevado desconforto ocular. Para tratar esta condição o método de diagnóstico utilizado avalia o nível dos sintomas do paciente e indica filtros espectrais individuais na forma de overlays e/ou lentes coloridos. Atualmente, não se tem um consenso de onde, no sistema visual, estaria a origem da disfunção que provoca o EV. Pesquisas têm proposto hipóteses sobre suas possíveis causas, sem indicar em profundidade quais mecanismos estariam envolvidos na geração dos sintomas. Neste trabalho, modelos matemáticos que descrevem as funções do sistema visual (SV) foram utilizados para desenvolver algoritmos computacionais que permitissem mudar o comportamento de determinada célula a função visual, a fim de reproduzir as distorções relatadas no EV. Os algoritmos que simularam a interação das células horizontais na retina, o diâmetro pupilar, o controle da posição do olho nas sacadas, a detecção de bordas por meio da oponência de cor e o efeito de persistência visual, permitiram ilustrar o tipo de distorção que se produz quando nestes sistemas se altera seu correto funcionamento. A partir destes resultados foi possível sugerir que disfunções no processamento visual de baixo nível na retina poderiam gerar uma informação ruidosa, precursora de outros conflitos que estariam afetando, por exemplo, diversas funções do sistema Magnocelular ou do córtex visual. Uma desregulação do neuromodulador dopamina foi sugerida como a precursora da geração de diversos sintomas do EV através da sua função reguladora em outras células da retina. Assim, baseados na investigação sobre as possíveis causas do EV e nos resultados obtidos, foram sugeridos testes que permitiriam conhecer o estado de algumas células e/ou sistemas fisiológicos em pessoas com EV ou SI.

Este trabalho tem o objetivo de determinar as constantes elásticas de laminados compósitos de carbono/epóxi através do método não destrutivo de ultrassom, utilizando a técnica da imersão. Foram implementados dois métodos de imersão em água para a determinação das constantes elásticas. Um que utiliza o percurso na água sem a amostra como referência (FRM), e outro que utiliza o percurso com incidência normal na amostra como referência (SRM). Laminados unidirecionais e biaxiais foram ensaiados em um goniômetro com elevada precisão de movimento angular, e a aquisição de sinais feita com alta taxa de amostragem e grande resolução de amplitude. Uma análise da influência da variação da temperatura e espessura foi feita e comprovada a superioridade do método SRM sobre o FRM. A compensação da temperatura através de um par de transdutores, bem como através de um termômetro com resolução de 0.01°C foi implementada e comparada. As curvas de velocidade foram obtidas com transdutores de diferentes frequências centrais e comparadas. Foi realizada uma análise detalhada da sensibilidade das constantes elásticas com relação as velocidades em cada plano de medição, e através desta análise foram utilizados os planos mais adequados para reconstrução das constantes elásticas. Também foi verificada a polarização das ondas de cisalhamento para cada plano de medição, uma vez que é necessária a correta associação da velocidade experimental com a velocidade calculada para o procedimento de otimização. Um algoritmo de otimização foi utilizado para reconstruir as constantes elásticas dos laminados compósitos a partir da medição experimental das velocidades, onde foi avaliada a convergência utilizando a equação de Christoffel na forma implícita e explícita, para os materiais de simetria tetragonal e hexagonal.

O empacotamento irregular de fita é um grupo de problemas na área de corte e empacotamento, cuja aplicação é observada nas indústrias têxtil, moveleira e construção naval. O problema consiste em definir uma configuração de itens irregulares de modo que o comprimento do contêiner retangular que contém o leiaute seja minimizado. A solução deve ser válida, isto é, não deve haver sobreposição entre os itens, que não devem extrapolar as paredes do contêiner. Devido a aspectos práticos, são admitidas até quatro orientações para o item. O volume de material desperdiçado está diretamente relacionado à qualidade do leiaute obtido e, por este motivo, uma solução eficiente pressupõe uma vantagem econômica e resulta em um menor impacto ambiental. O objetivo deste trabalho consiste na geração automática de leiautes de modo a obter níveis de compactação e tempo de processamento compatíveis com outras soluções na literatura. A fim de atingir este objetivo, são realizadas duas propostas de solução. A primeira consiste no posicionamento sequencial dos itens de modo a maximizar a ocorrência de posições de encaixe, que estão relacionadas à restrição de movimento de um item no leiaute. Em linhas gerais, várias sequências de posicionamentos são exploradas com o objetivo de encontrar a solução mais compacta. Na segunda abordagem, que consiste na principal proposta deste trabalho, métodos rasterizados são aplicados para movimentar itens de acordo com uma grade de posicionamento, admitindo sobreposição. O método é baseado na estratégia de minimização de sobreposição, cujo objetivo é a eliminação da sobreposição em um contêiner fechado. Ambos os algoritmos foram testados utilizando o mesmo conjunto de problemas de referência da literatura. Foi verificado que a primeira estratégia não foi capaz de obter soluções satisfatórias, apesar de fornecer informações importantes sobre as propriedades das posições de encaixe. Por outro lado, a segunda abordagem obteve resultados competitivos. O desempenho do algoritmo também foi compatível com outras soluções, inclusive em casos nos quais o volume de dados era alto. Ademais, como trabalho futuro, o algoritmo pode ser estendido de modo a possibilitar a entrada de itens de geometria genérica, o que pode se tornar o grande diferencial da proposta.

Mediante a crescente necessidade de aumento na oferta de energia elétrica devido à constante elevação na demanda mundial, esta dissertação avalia o desempenho de um sistema conversor de energia de ondas marítimas em energia elétrica. O sistema em análise é o de coluna de água oscilante com turbina de dupla ação instalado na costa. Utiliza-se um modelo regular de ondas como perturbação à dinâmica de uma câmara semi-submersa gerando fluxo de ar através de uma turbina à ar de dupla ação. O sistema final é não linear e com parâmetros variantes no tempo. A dissertação investiga possibilidades para o aumento do rendimento da turbina em diferentes condições de mar através do método de simulação numérica. Após a modelagem física e matemática do sistema escolhido, inicia-se a síntese de um controlador proporcional derivativo para controle da pressão de ar na turbina em torno da pressão ideal de trabalho da mesma. A análise inclui o comparativo entre os resultados do sistema com e sem controlador e a avaliação de robustez utilizando ondas com amplitude variável. O trabalho apresenta ainda propostas de otimização do sistema para trabalhar em condições similares a região de Pecém no Brasil. Pelos resultados obtidos nas simulações, conclui-se que o rendimento e a robustez do sistema podem melhorar utilizando um sistema controlado. O rendimento do sistema poderá ainda ser otimizado para a região de instalação.

Este trabalho apresentou uma análise comparativa de algumas técnicas de correlações locais baseadas em intensidade luminosa, as quais são: Soma das Diferenças Absolutas, Soma dos Quadrados das Diferenças, Correlação Cruzada Normalizada, Transformada Rank e Transformada Censo. Para as comparações foram adotadas imagens estéreos disponíveis em repositórios de universidades e suas variantes com a inclusão de ruído e variação de intensidade luminosa. Após a implementação dos algoritmos escolhidos e a comparação de seus resultados, foi obtido que a Transformada Censo é um dos métodos com os piores resultados apresentando grande quantidade de correlações erradas. Foram apresentadas modificações para melhorar a performance desse método e os resultados obtidos foram melhores.

Este projeto consiste no desenvolvimento de um sistema para auto-localização e construção de mapas de ambiente para robôs móveis em um ambiente estruturado, ou seja, que pode ser descrito através de primitivas geométricas. O mapa é construído a partir da reconstrução de imagens adquiridas por um sistema de visão omnidirecional estéreo baseado em um espelho duplo de perfil hiperbólico. A partir de uma única imagem obtida, utilizandose algoritmos de visão estéreo, realiza-se a reconstrução tridimensional do ambiente em torno do robô e, assim, obtêm-se as distâncias de objetos presentes no ambiente ao sistema de visão. A partir da correspondência da reconstrução de várias imagens tomadas em diferentes posições cria-se o mapa do ambiente. Além do mapa global do ambiente o sistema também realiza o cálculo da localização do robô no ambiente utilizando informações obtidas na correspondência da reconstrução da seqüência de imagens e a odometria do robô. O sistema de construção de mapas de ambiente e auto-localização do robô é testado em um ambiente virtual e um ambiente real. Os resultados obtidos tanto na construção do mapa global do ambiente, como na localização do robô, mostram que o sistema é capaz de obter informação com a acuracidade necessária para permitir a sua utilização para navegação de robôs móveis. O tempo computacional necessário para reconstruir as imagens, calcular a posição do robô e criar o mapa global do ambiente possibilita que o sistema desenvolvido seja usado em uma aplicação que necessite da geração do mapa global em um intervalo de tempo na ordem de poucos segundos. Ressalta-se que este projeto teve como ponto de partida um projeto de iniciação científica financiado pela FAPESP. Esse trabalho de iniciação científica foi publicado na forma de um trabalho de conclusão de curso (Oliveira, 2005).

Em formação de imagens por ultrassom de objetos com superfícies curvas, em imersão, se as velocidades de propagação no ruído e no objeto forem muito diferentes os efeitos de refração precisam ser compensados. Nesse caso a posição e a forma da superfície precisam ser conhecidas. Neste trabalho a superfície é detectada pelo mesmo array linear que captura os sinais para a formação de imagem.Dois métodos rápidos de detecção de superfície foram propostos, um baseado em técnicas de formação de imagem e outro que utiliza informações de tempo de percurso de ecos extraídas diretamente dos sinais de ultrassom.Os dois métodos foram comparados,e o método baseado em imagem apresentou uma maior tolerância a erros nos sinais, enquanto o método baseado em tempo de percurso mostrou-se mais rápido.Com a superfície detectada, a imagem foi formada por combinação de imagens por abertura sintética, que apresentou uma boa resolução. O uso conjunto dos métodos de detecção de superfície propostos e da formação de imagem resultou em uma taxa de imagens que permite ensaios interativos,com processamento em uma CPU de uso geral.

The need for mechanisms that assist human movements has been increasing due to the rising number of people that has some kind of movement disability. In this scenario, it is of great importance the development of control methods that assist the interface between a motor assistive device and its user. This work proposes a controller for an exoskeleton with one degree of freedom, using surface electromyography signals from the user as the input signal. An exoskeleton was adapted to serve as platform for the developed control method. To create an EMG-to-Angle model, a set of experiments were carried out with six subjects. The experiment consisted of a series of continuous and discrete elbow flexion and extension movements with different load levels. Using the experimental data, linear (ARIMAX) and non linear (Hammerstein-Wiener) system identification methods were evaluated to determine which is the best candidate for the estimation of the EMG-to-Angle model, based on its accuracy and ease of implementation. A new experiment wasconducted to develop a real-time controller, based on FIR model and tested in a real-timeapplication. Tests showed that the controller is capable of estimating the elbow joint angle with correlation above 70% and root-mean-square error below 25° when compared to the measured elbow joint angles.

O eletrocardiograma transMITe informações com relação à passagem do pulso elétrico pelo coração e, conseqüentemente, do funcionamento deste. Desde o início da sua utilização, possibilitada pelo trabalho de Willem Einthoven criando a primeira máquina capaz de medir o pulso elétrico de forma não invasiva e com sensibilidade forte o bastante para ser capaz de produzir um gráfico proveitoso, o eletrocardiograma é muito utilizado para avaliação clínica de pacientes. Entretanto a evolução das máquinas que o descrevem não foi muito além do que o elaborado por Einthoven no início do século 20. As máquinas capazes de captar o eletrocardiograma se tornaram menores (até portáteis para algumas aplicações), gráficos passaram a ser disponibilizados em telas de vídeo (ao invés das fitas de papel) e, como maior evolução, as máquinas que observam o eletrocardiograma passaram a conseguir captar a ocorrência de um ciclo cardíaco com alta confiabilidade e, atualmente, passaram a medir também o parâmetro ST com precisão deliMITada (necessitando ajuda do operador para ajuste em alguns casos). É baseado nestes fatos que esta dissertação procura estudar algoritmos matemáticos, de forma mais focada nos modelos do impulso elétrico durante os ciclos cardíacos, e avaliar suas capacidades de interpretar parâmetros do ciclo de ECG de forma precisa e rápida para que o médico tenha prontamente os dados necessários para realizar a avaliação clínica do paciente. Em primeira análise foram estudados os algoritmos para detecção do pulso de eletrocardiograma (detecção da onda R), em seguida feito o janelamento da curva de ECG a fim de separar os ciclos cardíacos. A partir deste ponto foram analisados os modelos matemáticos gerados por equações polinomiais, Transformada de Fourier e Transformada wavelet. E, com o intuito de filtrar ruídos e gerar derivações não medidas, foi implementado um filtro de kalman em um modelo vetorial do eletrocardiograma. Para avaliar os resultados obtidos foram utilizados requisitos de desempenho declarados pelo FDA norte americano e pela norma européia IEC60601-2-51. Essas análises foram feitas através da utilização dos algoritmos gerados nas curvas provindas do banco de dados do PhisioNet. O método polinomial não foi considerado interessante na medida em que não possibilita gerar uma equação para um ciclo cardíaco, mas sim várias equações (uma para cada ponto do ciclo). Os demais métodos apresentaram melhor eficiência na medida em que foram capazes de gerar parâmetros com significado físico e possibilitando melhor caracterização de pontos importantes da curva do eletrocardiograma.

Imaging exams are important to monitor patients under mechanical ventilation in the Intensive Care Unit (ICU). A common exam for anatomical imaging is the Computed Tomography. However, this imaging method has its drawbacks, such as the need to remove the patient from the ICU, which increases the risk for complications; use of ionizing radiation, which is harmful if used continuously. For functional imaging, Electrical Impedance Tomography (EIT) is a recent imaging technique to continuously monitor pulmonary functions at the bedside in ICUs. Nevertheless, EIT still presents low spatial resolution and low location accuracy. The Ultrasound Tomography (UST) has the potential to provide better pulmonary functional imaging. However, it has never been used before. The aim of this work is to develop an experimental test bench, to simulate an UST system, and to evaluate its feasibility for pulmonary functional imaging. 9 single-element transducers were manufactured by using 500 kHz piezoelectric ceramic and were characterized by measuring its electrical impedance, pulse-echo response, transmitted acoustic pressure and sensitivity, through the transmission and reflection techniques. 8 of the manufactured transducers were selected to be assembled on a wooden cylinder that was placed inside a tank filled with water. One transducer was used as emitter and four others as receptors, with a phantom placed in several positions inside. The electrical impedance and the pulse-echo results showed frequencies below 200 kHz with amplitudes between 20 and 300 mV (peak-to-peak). Moreover, the acoustic pressure and sensitivity measurements showed that the manufactured transducers have central frequencies around 170 kHz with transmitted acoustic pressure between 8.9 kPa and 148 kPa, and sensitivity responses from 15.24 V/MPa to 59 V/MPa. The evaluation of the test bench also showed signals compatible to expected, showing the feasibility of this UST test bench for the development of reconstruction imaging algorithms.

Este trabalho apresenta o estudo multidisciplinar de uma micromáquina a vapor concebida para a utilização em sistemas de geração distribuída. O foco da pesquisa é o desenvolvimento do modelo matemático da micromáquina, que requereu conhecimentos da termodinâmica e suas leis, e a aplicação de conceitos de dinâmica, vibrações e controle, entre outros. Para a validação experimental do modelo foi reconstruída uma micromáquina já existente; também foi realizado o projeto da bancada, a seleção da instrumentação e a sua calibração. O estudo apresenta ainda a comparação entre os resultados teóricos e experimentais, bem como a sua análise e interpretação.

Risers em configuração de catenária podem apresentar nível de tração muito baixo próximos ao fundo do mar. Isso pode ocorrer em algumas condições de lançamento, em que sua estrutura pode se configurar de forma quase vertical. Quando se trata de tubos flexíveis ou cabos umbilicais, a composição interna do riser contém armaduras helicoidais de tração. Essas podem induzir a ocorrência de giro axial quando o tubo é solicitado à tração. Se esse movimento não for permitido, surgirá um momento de torção na estrutura. O baixo nível de tração da configuração de catenária combinado com o momento de torção surgido durante o lançamento do riser pode levar a uma forma de instabilidade estrutural que culmina na formação de um laço. Isso é indesejável uma vez que, se existe o laço, dependendo dos esforços submetidos à linha, é possível que o laço se transforme em uma dobra, danificando a estrutura. O presente trabalho analisa as condições de formação de laços em configurações de catenária. Para isso, foram utilizados critérios de estabilidade aplicados a um modelo de elementos finitos, que leva em conta as não linearidades geométrica e de contato entre o riser e o solo. Foi utilizada uma formulação cinematicamente exata de elemento de viga através de uma descrição lagrangiana atualizada, que pode tratar de forma correta as grandes rotações que são impostas ao riser para induzir o surgimento do momento de torção. É mostrado que uma expressão analítica baseada na Fórmula de Greenhill pode prever o fenômeno com boa concordância com os resultados numéricos, mesmo considerando-se fenômenos como contato unilateral com atrito e correntezas marítimas. Além disso, foi feita uma análise paramétrica para prever a formação do laço para diversas geometrias de catenária, procurando generalizar as conclusões obtidas.

Este trabalho apresenta a modelagem, identificação de parâmetros e projeto do sistema de controle de um atuador rotacional antagônico com refrigeração forçada baseado em fios de liga de memória de forma, tendo em vista a aplicação em manipuladores robóticos. O modelo é baseado na abordagem de transformação de fases por subcamadas, que leva em conta a alta não linearidade que ocorre devido à dinâmica de transformação de fases do fio de memória de forma (especialmente a alta histerese envolvida). Um algoritmo de otimização por meio de Programação Quadrática Sequencial é então usado para se estimar os parâmetros do modelo de difícil obtenção exata, como as temperaturas de transição de fase dos fios de liga de memória de forma e o coeficiente de convecção. A função objetivo adotada é o erro entre a posição medida experimentalmente e a posição obtida por meio de modelagem e simulação. Parte-se de valores de parâmetros iniciais de tabela para a aplicação do algoritmo. Os resultados são em seguida comparados e avaliados com experimentos independentes em malha aberta, com o modelo apresentando boa correlação com a planta para uma excitação de até 2,0 Hz. Por fim, um sistema de controle não linear por modos deslizantes baseado no modelo é desenvolvido e simulado utilizando o modelo estimado, tanto em modo de controle de torque como em controle de posição. Aplica-se um controlador com camada limite e linearização utilizando a realimentação dos estados e o modelo estimado. Este tipo de controlador é robusto a eventuais diferenças entre o modelo e o sistema real. O controlador é então utilizado num modelo sistema de experimental, a partir do qual são obtidos resultados de desempenho dinâmico e exatidão do atuador controlado ao mesmo tempo em que são feitas comparações com os resultados das simulações. Por fim, demonstra-se que os objetivos iniciais do trabalho são atingidos, ao se realizar satisfatoriamente o controle de posição e de torque com robustez, exatidão e desempenho dinâmico adequados à aplicação prevista.

O desenvolvimento de arquiteturas de controle para veículos submarinos é uma tarefa complexa. Estas podem ser caracterizadas pelos seguintes atributos: tempo real, multitarefa, concorrência e comunicações distribuídas em rede. Neste cenário, existem múltiplos processos sendo executados em paralelo, possivelmente distribuídos, e se comunicando uns com os outros. Neste contexto, o modelo comportamental pode levar a fenômenos como deadlocks, livelocks, disputa por recursos, entre outros. A fim de se tentar minimizar os efeitos de tais dificuldades, neste trabalho será apresentado um método para checagem de modelos de arquiteturas de controle de veículos submarinos baseado em Especificações Formais. A linguagem de especificação formal escolhida foi CSP-OZ, uma combinação de CSP e Object-Z. Object-Z é uma extensão orientada a objetos da linguagem Z para a especificação de predicados, tipicamente pré e pós condições, além de invariantes de dados. CSP (Communicating Sequential Process) é uma álgebra de processos desenvolvida para descrever modelos comportamentais de processos paralelos. A checagem de modelos especificados formalmente consiste na análise das especificações para verificar se um sistema possui certas propriedades através de uma busca exaustiva em todos os estados em que este pode entrar durante sua execução. Neste contexto, é possível checar corretude, livelocks, deadlocks, etc. Além disso, pode-se relacionar duas especificações diferentes a fim de se checar relações de refinamento. Para as especificações, o verificador de modelos FDR da Formal Systems Ltd. será utilizado. A implementação é desenvolvida utilizando um perfil da linguagem Ada denominado RavenSPARK, uma junção do perfil Ravenscar (desenvolvido na Universidade de York) com a linguagem SPARK (um subconjunto da linguagem Ada desenvolvido pela Praxis, Inc.). O Ravenscar é um perfil para desenvolvimento de processos, e portanto os processos de CSP, incluindo seus canais de comunicação, podem ser facilmente criados. Por outro lado, SPARK é uma linguagem onde podem ser inseridos predicados para os dados (originalmente especificados em Object-Z) utilizando anotações da própria linguagem. A linguagem SPARK possui uma ferramenta, o Examinador, que pode checar códigos de modelos baseado nestas anotações. Em resumo, o método proposto permite tanto a checagem de modelos em CSP quanto a checagem no nível de código. Para isso, as especificações em Object-Z devem inicialmente ser convertidas em um código na linguagem SPARK juntamente com suas respectivas anotações, para que então a checagem do modelo possa ser realizada no código. O desenvolvimento de uma arquitetura de controle reativa para um ROV denominado VSOR (Veículo Submarino Operado Remotamente) é utilizado como exemplo de uso do método proposto. Toda a arquitetura de controle é codificada utilizando a linguagem Ada com o perfil RavenSPARK e embarcada em um computador do tipo PC104 com o sistema operacional de tempo real VxWorks, da Windriver, Inc.

Trabalhos recentes na área de Planejamento e Escalonamento têm gerado uma grande expectativa em relação à aplicação dos resultados em sistemas reais. Neste cenário, métodos, ferramentas e conceitos provenientes das Engenharia do Conhecimento e da Engenharia de Requisitos se tornam fundamentais para caracterizar melhor, entender e especificar os domínios de planejamento. Nesse caso uma especial importância deve ser dada às etapas iniciais do processo, onde o conhecimento sobre o domínio é incompleto e onde existem poucas ferramentas, seja para o suporte ou automação parcial do processo, e as ferramentas já existentes carecem de métodos formais para a modelagem e análise dos requisitos. Neste trabalho propõe-se o ReKPlan (Ambiente para a Engenharia de Requisitos usando KAOS em problemas de planejamento), que usa KAOS, um método orientado a objetivos, para a modelagem de requisitos. Entretanto, o uso do KAOS (ou de qualquer outro método goaloriented) não atende à necessidade de verificar formalmente o comportamento dinâmico quando o alvo são sistemas de planejamento. A proposta deste trabalho é combinar o uso do método orientado a objetivos com o formalismo das Redes de Petri (Rdp) -especificamente a abordagem seguida pelo GHENeSys- para representar e analisar requisitos no projeto de sistemas de planejamento. Finalmente é proposto um método sobre o processo de projeto que, guiado por modelos, gera instruções PDDL servindo de entrada para os planejadores. A método foi aplicado a vários estudos de caso que o avaliam como um mecanismo promissor e eficiente na Engenharia de Requisitos resultando em uma melhor definição dos requisitos em problemas de planejamento.

Flow machines are very important to industry, being widely used on various processes. Performance improvements are relevant factors and can be achieved by using optimization methods, such as topology optimization. Thus, this work aims to develop a method to design radial flow machine rotors operating on laminar regime, by implementing a topology optimization formulation based on density model. The design of a rotor involves firstly modelling the fluid flow by using the Navier-Stokes equations on a rotating reference frame and using the Finite Element Method for solving the differential equations. To determine the material distribution on the domain, a porous flow model based on the Darcy equation is employed by using an inverse permeability that interpolates between fluid and solid. In the optimization phase, it is defined a multi-objective function that aims to minimize the viscous energy dissipation, vorticity and power. The optimization problem is implemented using the FEniCS environment and the libraries dolfin-adjoint and pyIpopt. The optimized topologies are verified with the ANSYS software. The resulting topologies are post-processed and a CAD model is created. The rotors are manufactured by using a 3D printer, the complete prototype is built by coupling an electric brushless motor and an experimental characterization is performed by measuring fluid flow and pressure head given by the pumps. Experimental and computational results are compared and the improvement is verified.

From the 1990\'s onwards, service science field has experienced a great growth, taking the Marketing academic field as the precursor, next gathering Management and also Engineering academic field. From business tool (i.e., e-commerce), new approaches in service delivery (e.g., IT-based self-service technology such as on-line ticketing and reservation, on-line bank account access, on-line package tracking, and so forth), and new ways of relating to customers (i.e., e-Customer Relationship Management), internet based and IT services prompted researchers to an infusion of Software Engineering concepts and techniques into Service field (MOUSSA; TOUZANI, 2010). The beginning of 2004 was marked by the introduction of the service dominant logic (SDL), advocating a transition from an good-based exchange economy to a service-based one. Also, at the same year, IBM launched a call to action on the Service Science, Management and Engineer (SSME) initiative, pushing service research towards a more formal science field (MAGLIO et al., 2006). Researchers and practitioners are studying and developing ways to consolidate service theories, laws, and principles in order to effectively manage and control service systems in practice. On the other hand, Service Systems are defined as systems with an intense relationship (or collaboration) with the customer. This collaborative relationship characteristic changes the current (good-based) idea of services: from a one way informational channel, to a multiple resource exchange and adaptable process with the costumer. In fact, it changes not only the way service systems are understood, but specially how to design it. In terms of the impact of the service dominant logic on different economic sectors, the impact over manufacturing industry had the attention of several different researchers over the world (AURICH; MANNWEILER; SCHWEITZER, 2010; CAVALIERI; PEZZOTTA, 2012; TOMIYAMA, 2001). The Service Engineering research field then advocate for the incursion of Service Design in manufacturing, changing entirely the current idea of a production chain transformation process from suppliers raw materials inputs until distribution to the final consumer. However, the new perspective on manufacturing services understand services that encompass products, surpassing the notion of a product\'s function design, to reach a receiver\'s state change design. To support adaptation and intense relationship to address customer individual needs, a manufacturing service initiative must be root on technologies that brings more freedom and flexibility into the production process. A production processes for manufacturing services must be formed be a new sophisticated network arrangement supported by internet and combined with intelligent machines. In fact, manufacturing has to be supported to reach the concept of smart (virtual) factories producing smart products. The Product-Service Architecture (or just PSA) was proposed firstly by(SILVA; NOF, 2015) with the objective of answering the needs for a serviceoriented approach to manufacturing industries. As defined by the authors, PSA is a distributed architecture where a service provider is defined as an open set of production unities (which could deliver products, services, or even product/services) that could be independent or commercially connected to the service provider corporation. It is an approach to address the problem of Service Systems from a Design perspective, based on an high-level architecture. The current design approach for PSA is imported from the Service Information Systems, forming a collection of design methods and languages highly connected to object oriented and service-oriented architecture (SOA) approaches. However, to achieve the provider-customer relationship, intense and collaborative, improvements on PSA design approach should be placed in order to allow an internal design that could achieve new solutions that adapt to meet the customer\'s needs. Our main hypothesis is that major problems are on the early phases of the design. Modifying the approaches of the PSA design discipline to approaches more connected to agent-oriented modeling could offer the necessary tools to improve the service design using PSA. Goal-Oriented Requirement Engineering (GORE) emerged as approach very consistent modeling approach strongly based on agent-oriented concepts. Adding the concepts of goals and softgoals to the design process, that could be understood as a high-level stakeholder objectives, it opened a new level of analysis capturing the \"why\" dimensions of the stakeholders(YU, 1997). Following modeling representations to increase agency for the PSA design Discipline, the concept of Intentionality, brought by the GORE method i*, meaning interests and motivation of agents, seems to fit to the objectives of service design. Therefore, we present on this work our proposal for an Intentional PSA Service Design Discipline to support modeling and design for service system that could be even applied to new manufacturing approaches. For the purposes of this work, we understand discipline as a set of rules, involving steps and tools, to achieve a proposed goal. Discipline, as it does not admit a formalism that allows it to be called a method. Therefore, it is a theoretical conceptual proposal that aims practical incursions to demonstrated improvements of the modeling process. Therefore, what we want to demonstrate is that the steps gathered, aligned to a framework improves the quality of the design process. It is not possible to formalize it completely since there is no formal definition of the elements (even for services). It should be noted that the conceptual basis of the intention-based method lies in the preliminary stage of requirements elicitation and analysis, which as we know can not be formalized. We seeks the enrichment of the current PSA design discipline approach with Goal-oriented and Intentional approaches to form a new Service Design Discipline applied for the PSA architecture.

No mercado global e digital, as empresas são desafiadas a encontrar caminhos inovadores para atender o aumento da pressão -competitiva. A competição é uma das formas de interação das organizações, além da colaboração e da cooperação. A cooperação e a colaboração apresentam formas de produzir conjuntamente aumentando o potencial de atendimento das empresas. Os desafios mais encontrados no mercado são: reduzir os custos, sempre assegurar qualidade e personalizar os produtos e serviços. Um fenômeno de negócios comum hoje é a terceirização da manufatura e da logística para fornecedores domésticos e estrangeiros e provedores de serviços. Essa terceirização provoca, intrinsecamente, um espalhamento geográfico da produção em novos centros que oferecem vantagens nos recursos energéticos, matérias primas e centros de produção de conhecimento. Essa terceirização pode ser realizada também nas formas de colaboração e cooperação. Para isso, as empresas necessitam estabelecer uma forma de confiança entre si. No conceito de empresa virtual, a confiança é amplamente discutida para atingir uma colaboração e/ou cooperação entre empresas. O objetivo deste trabalho é propor e modelar uma ferramenta que atenda as necessidades das empresas para colaboração e/ou cooperação entre elas, considerando suas necessidades de confiança. As empresas aqui são vistas como sistemas produtivos, com suas camadas de gerenciamento de negócios, de acordo com o padrão ANSI/ISA 95. Além disso, um tipo de interpretação da rede de Petri, chamada de rede de Petri produtiva é introduzida como ferramenta para descrever o processo produtivo realizado pelas empresas na forma de workflow. A modelagem dessa arquitetura do sistema produtivo utiliza técnicas de sistemas distribuídos, como a arquitetura orientada a serviços. Além disso, um dos enfoques é das necessidades para o desenvolvimento de novos produtos, que envolve o desafio de personalização. Testes foram realizados para avaliar a proposta de workflow com pessoas de diferentes níveis de conhecimento sobre os processos, sejam de manufatura, sejam de outras áreas. Já a arquitetura proposta foi submetida a um estudo analítico das hipóteses levantadas no ambiente colaborativo.

Considerando que o petróleo quando extraído dos poços em águas profundas chega a ter teor de água superior a 50% e que antes de ser enviado à refinaria deve ter uma quantidade de água inferior a 1%, torna-se necessário o uso de técnicas de redução da quantidade de água. Durante a extração do petróleo formam-se emulsões de água em óleo que são muito estáveis devido a um filme interfacial contendo asfaltenos e/ou resinas ao redor das gotas de água. Nesse trabalho é apresentada a utilização de ondas estacionárias de ultrassom para realizar a quebra dessas emulsões. Quando gotículas de água com dimensões da ordem de 10m, muito menores que o comprimento de onda, são submetidas a um campo acústico estacionário em óleo, a força de radiação acústica empurra as gotículas para os nós de pressão da onda. Uma célula de coalescência com frequência central ao redor de 1 MHz, constituída por quatro camadas sendo uma piezelétrica, uma de acoplamento sólido, uma com o líquido e outra refletora, foi modelada empregando o método da matriz de transferência, que permite calcular a impedância elétrica em função da frequência. Para minimizar o efeito do gradiente de temperatura entre a entrada e a saída da cavidade da célula, quando está em operação, foram utilizados dois transdutores piezelétricos posicionados transversalmente ao fluxo que são excitados e controlados independentemente. Foi implementado um controlador digital para ajustar a frequência e a potência de cada transdutor. O controlador tem como entrada o módulo e a fase da corrente elétrica no transdutor e como saída a amplitude da tensão elétrica e a frequência. Para as células desenvolvidas, o algoritmo de controle segue um determinado pico de ressonância no interior da cavidade da célula no intervalo de frequência de 1,09 a 1,15 MHz. A separação acústica de emulsões de água em óleo foi realizada em uma planta de laboratório de processamento de petróleo no CENPES/PETROBRAS. Foram testados a variação da quantidade de desemulsificante, o teor inicial de água na emulsão e a influência da vazão do sistema, com uma potência de 80 W. O teor final de água na emulsão mostrou que a aplicação de ultrassom aumentou a coalescência de água da emulsão, em todas as condições testadas, quando comparada a um teste sem aplicação de ultrassom. Identificou-se o tempo de residência no interior da célula de separação como um fator importante no processo de coalescência de emulsões de água e óleo. O uso de desemulsificante químico é necessário para realizar a separação, porém, em quantidades elevadas implicaria no uso de processos adicionais antes do repasse final do petróleo à refinaria. Os teores iniciais de água na emulsão de 30 e 50% indicam que o uso da onda estacionária na coalescência de emulsões não tem limitação quanto a esse parâmetro. De acordo com os resultados obtidos em laboratório, essa técnica seria indicada como uma alternativa para integrar um sistema de processamento primário em conjunto com um separador eletrostático.

Em um cenário de aumento de competitividade, crescente expectativa por inovações do produto e necessidade de atender diferentes perfis de consumidores, o conceito de gerenciamento de cadeias de suprimentos globais (GSCM) surge como uma estratégia para coordenar mais eficazmente as atividades dispersas geograficamente dos sistemas produtivos. Na adoção do GSCM, as organizações devem lidar com rupturas que impactam no gerenciamento das suas atividades, tais como a interrupção de vias de transporte, pane no fornecimento de energia, desastres naturais e até ataques terroristas. Nesse contexto, o trabalho introduz um procedimento sistematizado para modelagem das cadeias de suprimentos visto como um sistema a eventos discretos e sua análise por simulação das atividades do GSCM baseada em técnicas formais como a rede de Petri (PN) e o Production Flow Schema (PFS). Um exemplo é também apresentado para ilustrar e comprovar as vantagens do método proposto na análise do GSCM.