O presente trabalho versa sobre o desenvolvimento e a avaliação de três novas células espectroeletroquímicas para medidas de absorção na região do ultravioleta e visível, compatíveis com operação em fluxo, inclusive a técnica de FIA (Flow Injection Analysis). Características inerentes ao primeiro protótipo construído, tais como, geometria tubular, operação em fluxo ascendente e em condições de convecção forçada por vibração, separador ionomérico entre os eletrodos e detecção espectrofotométrica ex situ, permitiram a realização de estudos espectroeletroquímicos mesmo sob a decomposição paralela do solvente com intenso desprendimento de gases no eletrodo de trabalho. O desenvolvimento conjunto de eficiente dispositivo para remoção de bolhas possibilitou a obtenção de excelentes resultados espectrofotométricos. Abriu-se caminho para o estudo espectroeletroquímico de processos situados em regiões de potencial em que ocorre concomitante decomposição do solvente. Igualmente apropriado para a realização de estudos espectroeletroquímicos sob formação de gases, o segundo protótipo é de construção bastante semelhante ao primeiro, porém a elevada relação área do eletrodo de trabalho/volume de solução, conseguida principalmente pelo preenchimento da célula com fibras de carbono, foi capaz de promover eficiente conversão eletroquímica permitindo trabalho em condição de operação semi-coulométrica e conferindo à célula sensibilidade mais elevada que a do primeiro protótipo. O terceiro protótipo é do tipo camada delgada com caminho óptico longo, de aplicação restrita, pois, a regiões de potencial em que não há formação de gases. Características vantajosas frente às alternativas descritas na literatura são: uso de eletrodos de ouro planos (aproveitados de CDs regraváveis) de baixo custo e fácil construção, adaptação direta a cubatas convencionais de 1 cm de caminho óptico. Parâmetros experimentais como: potencial aplicado, concentração, vazão e volume injetado, foram investigados e avaliados com a finalidade de estabelecer as melhores condições de trabalho e funcionamento dos protótipos construídos visando posterior aplicação. / The present work discusses about the development and the evaluation of three new spectroelectrochemical cells for the UV-vis region, well suited for flow operation, including FIA (Flow Injection Analysis). Tubular geometry of the ionomeric separator of the electrode compartments, operation under ascending flow with convection increased by vibration and ex situ spectrophotometric detection after passage through an efficient debubbler granted excellent spectrophotometric results to the first prototype, even under intense gas evolution at the working electrode. This feature extends the spectroelectrochemical study to processes at extreme potential ranges. Equally appropriate for spectroelectrochemical studies under gas evolution, the second prototype presents geometry similar to the first one. However, filling of the tubular working electrode compartment with carbon fibers rendered higher ratio of electrode area/solution volume, promoting a more efficient electrochemical conversion, allowing semi-coulometric operation, and thus augmenting the sensitivity of the absorbance measurements. The third prototype is of the thin layer, long optical path type. Although not suitable for work under gas evolution, advantages of this cell in comparison with those described in the literature are: use of inexpensive flat gold electrodes, obtained from Au recordable CDs, installation in conventional cuvettes with an optical path of 1 cm, simple construction, perfect flow operation. Experimental parameters such as applied potential, analyte concentration flow rate and injected volume were inspected and analyzed for all assembled cells in a way that the best working conditions could be achieved.

Sistemas de operação remota e supervisão de iluminação pública são compostos por dispositivos acoplados aos pontos de luz interligados via rede, e aplicativos que são executados em computadores que indicam problemas nos pontos de iluminação e apuram o valor do consumo de energia. Estudar as tecnologias dos trabalhos correlatos, propor um sistema dedicado para iluminação pública e implantar o sistema proposto em um teste piloto para avaliação das características de operação e supervisão são os objetivos do trabalho. A arquitetura do sistema proposto é modular e expansível. O modelo baseado em células permite que novos conjuntos de dispositivos possam ser adicionados de acordo com a demanda. No desenvolvimento do trabalho a linguagem C# é adotada para desenvolver a operação e supervisão através do padrão CyberOPC (Cybernetic OPC) e arquivos do tipo XML são aplicados para descrição dos dispositivos e definição da topologia da rede. Os resultados obtidos em simulação e no teste piloto validam a metodologia e arquitetura proposta. / Systems of remote operation and supervision of public lighting are composed of devices attached to the light points interconnected via a network, and applications that run on computers that indicate problems with lighting points and discharge the amount of energy consumption. Studying the related works technologies, propose a system dedicated to public lighting and deploy the proposed system in a pilot test to evaluate the operating characteristics and supervision are the objectives of the work. The architecture of the proposed system is modular and expandable. The cell-based model allows new sets of devices can be added according to demand. In developing the work the C # language is adopted to develop the operation and monitoring via standard CyberOPC (Cybernetic OPC) and XML file types are applied to the device description and definition of the network topology. The results obtained from simulation and from the test pilot validate the methodology and the proposed architecture.

Esta pesquisa analisa registros produzidos por estudantes de Engenharia em atividades de tratamento e conversão, considerando conceitos trabalhados na disciplina de Geometria Analítica e Vetores (GAV) a partir da Teoria dos Registros de Representação de Duval (2003, 2009, 2011), na perspectiva da apreensão conceitual do conceito de vetor e suas operações. Para tanto delimitamos como problemática de pesquisa: Considerando a análise de atividades de tratamento e conversão, realizadas por estudantes de Engenharia, na disciplina de Geometria Analítica e Vetores, a partir da intervenção de uma professora, o que é possível identificarmos em termos de apreensão conceitual na argumentação dos estudantes em procedimentos utilizados no desenvolvimento de questões envolvendo o conceito de vetor? A partir destes argumentos é possível identificarmos lacunas ou sustentação para a apreensão do conceito? Para tanto, participaram da pesquisa 46 estudantes de cursos de Engenharia de uma Universidade do Noroeste do Estado do Rio Grande do Sul, matriculados na disciplina de Geometria Analítica e Vetores realizada no primeiro semestre de 2014. Os dados empíricos desta pesquisa foram organizados a partir dos seguintes instrumentos, um pré e pós-teste, de todas as questões da primeira avaliação, das 10 primeiras questões da última avaliação, de duas questões propostas em atividade de monitoria, de falas argumentativas de alguns estudantes e do caderno de um estudante contendo todo conteúdo trabalhado na disciplina. Os procedimentos metodológicos são de caráter quantitativo e qualitativo na forma de um estudo de caso. Considerando nossa problemática e a análise realizada, organizamos os seguintes focos de análise: a conversão entre os registros envolvendo o registro figural, geração do vetor, operação com vetor e situações de aplicação do vetor. A partir das análises realizadas concluímos que os estudantes de engenharia apresentam dificuldades em realizar conversões quando um dos registros envolvidos é o registro figural, falta de entendimento em relação aos elementos de formação do vetor – módulo, sentido e direção, principalmente em relação ao sentido e direção do vetor, falta de compreensão em relação ao sentido da operação e dificuldade em aplicar o conceito de vetor em situações que exigem a mobilização das propriedades operatórias. Neste sentido, a partir das análises desenvolvidas, podemos afirmar que o ensino deste conceito, deve explorar de forma mais efetiva os diferentes registros de representação semióticos, além de apontar aspectos que podem ser reforçados pela professora, como a diferença entre as grandezas escalares e vetoriais, a diferença entre sentido, direção e módulo de vetor, que mostrou ser uma das grandes dificuldades dos estudantes. / 160 f.

Submitted by Filipe dos Santos (fsantos@pucsp.br) on 2018-06-26T12:35:22Z No. of bitstreams: 1 Rayssa Pereira do Nascimento Mendes.pdf: 1005048 bytes, checksum: 95f1d9ed418e3c6a58dacf51908292e7 (MD5) / Made available in DSpace on 2018-06-26T12:35:22Z (GMT). No. of bitstreams: 1 Rayssa Pereira do Nascimento Mendes.pdf: 1005048 bytes, checksum: 95f1d9ed418e3c6a58dacf51908292e7 (MD5) Previous issue date: 2018-03-23 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / This research aims to investigate the relation between Petrobrás and the current political crisis in Brazil. As part of a strategic sector, the state company was the target of uncountable onslaughts in the beginning of Operation Car Wash, what has spotlighted it in front of public opinion, through certain media approaches. The theoretical framework setting this analysis is the propositions of John B. Thompson about the structuring of political scandals, having the reputation of Petrobrás as its core element under dispute. Firstly, we will describe a historical, economic and geopolitical overview of the state company, which demonstrates its importance and, accordingly, potential interests that it awakes in a global scenery whose actors guide their conflicts by the production and trade of petroleum. We will present elements that compose the context of Petrobrás, aiming to illustrate how such a political crisis was significantly viable thanks to the strategic position of the company. It has allowed the construction and legitimation of the Operation Car Wash in front of public opinion, which constitutes the national political crisis scenery of current years. The operation emerges in a very “convenient” moment: 2014, during the global crisis of petroleum. However, nor the international crisis of petroleum or any of those historical events were mentioned by the major media vehicles at that moment. Thus, the methodology of agenda setting and framing of these major media vehicles is fundamental to understand how the political crisis scenery – and the Operation Car Wash – were shaped by a discourse of crisis of Petrobrás. Finally, we will observe some actors involved in the construction of such scandal – and of the crisis, therefore – in order to understand how they articulate (currently and in the past) through the exercise of symbolic power, which is subjective by definition. Despite this subjectivity, these actors – judicial power and major media vehicles – act with a supposed neutrality and objectivity, expressively influencing the political and economic scenery. Such alliance aims to delegitimise the traditional political class, not contributing to a more consistent and effective articulation of the public debate, majorly affecting Petrobrás and Democracy itself at different levels / Esta pesquisa tem por objetivo investigar a relação entre a Petrobrás e a atual crise política no Brasil. Por se tratar de um setor estratégico, a estatal foi alvo de inúmeras ofensivas no início da Operação Lava Jato, o que contribuiu, a partir de determinadas abordagens midiáticas, para que a operação ganhasse destaque perante a opinião pública. Tal análise tem como referencial teórico as proposições de John B. Thompson no que diz respeito à estruturação dos escândalos políticos, tendo a reputação da Petrobrás como elemento central de disputa. Assim, primeiramente, procuraremos descrever um panorama do contexto histórico, econômico e geopolítico da estatal, que demonstra a sua importância e, por consequência, possíveis interesses que desperta,em um cenário global cujos atores têm seus conflitos pautados pela produção e comercialização do petróleo.Apresentaremos elementos que compõem o contexto da Petrobrás, procurando ilustrar como uma crise política de tal dimensão foi grandemente viabilizada pela posição estratégica da empresa, permitindo a construção e legitimação da Operação Lava Jato perante a opinião pública, que comporiam, ao longo dos últimos anos, um cenário de crise política nacional. Aoperação surge em um momento bastante “propício”: o ano de 2014 vivenciou uma crise do petróleo, em âmbito global. No entanto, nem a crise internacional do petróleo ou qualquer desses elementos históricos foram abordados naquele momento pelos jornais de grande circulação brasileiros. Assim, a utilização de aspectos metodológicos das teorias de agendamento e enquadramento para a análise discursiva, observando a atuação de alguns desses veículos midiáticos, é fundamental para um melhor entendimento de como o cenário de crise política – e a Operação Lava Jato – se emolduraram a partir de um discurso de crise da Petrobrás. Por fim, observaremos alguns dos atores envolvidos na construção desse escândalo – e da crise, por extensão-, procurando entender como se articularam e articulam a partir do exercício do poder simbólico, subjetivo por definição. Apesar dessa subjetividade, esses atores –Poder Judiciário e veículos de comunicação em massa - atuam com pretensa neutralidade e objetividade, influenciando grandemente o cenário político e econômico. Tal aliança visa a deslegitimação da classe política tradicional sem contribuir para que o debate público seja articulado de forma consistente e efetiva,de modo que, em diferentes escalas, seus prejuízos acabam por afetar, majoritariamente, a Petrobrás e a própria Democracia

Este trabalho visa desenvolver um conjunto de técnicas com o intuito de determinar os vários parâmetros que compõem o modelo do motor de indução de gaiola, de forma a realizar o autocomissionamento desse motor para aplicações em sistemas de acionamento elétricos de campo orientado pelo método direto. Os procedimentos utilizados visam estabelecer e fornecer boa autonomia ao processo de autocomissionamento, objetivando o seu uso na melhoria do desempenho de sistemas de acionamento já em uso na indústria. A proposta mais significativa é a de eliminação do sensor de velocidade, tornando o autocomissionamento independente de transdutores eletromecânicos, através do uso de métodos estimação baseados na tecnologia de Sistema Ajustável pelo Modelo de Referência. Esse procedimento viabiliza um autocomissionamento sem uso de sensores externos acoplados ao eixo mecânico da máquina. Para evitar o uso de valores absolutos, o que tornaria o trabalho dirigido para aplicações genéricas, todas as equações significativas foram escalonadas, tornando-as próprias para uso específico em sistemas microprocessados, microcontrolados ou com processadores digitais de sinais. Diversos ensaios foram efetuados para a determinação dos principais parâmetros, utilizando-se o processador digital de sinais TMS320F240. Todos os procedimentos para a determinação experimental dos parâmetros foram simulados previamente, assim como a identificação da velocidade necessária para a determinação do momento de inércia do conjunto máquina e carga.

O interesse em identificação de sistemas e de parâmetros aplicado à área aeroespacial não é recente, mas continua vibrante, pois novos desafios são propostos. Na atualidade, procura-se investir na obtenção de resultados mais precisos e mais rápidos, preferencialmente em tempo real, para que haja uma interação entre engenharia e tripulação ainda durante o vôo. A proposta de estimar estados, antes de estimar parâmetros, é bastante conveniente, pois fornece uma base de dados consistente para a obtenção das estimativas paramétricas. A verificação da consistência de dados de ensaio através de modelos cinemáticos, antes que se passe para a fase de identificação de parâmetros, usando filtragem estocástica é bastante atrativa, pois o método comporta ruídos de processo e de medida. Ambos são típicos para a natureza do problema, mas acrescenta-se o fato de que suas propriedades estatísticas variam ao longo do tempo. Nesse trabalho propõe-se o uso da filtragem estocástica adaptativa para verificação da consistência de dados de ensaio em vôo e calibração simultânea dos dados do ar. O método proposto baseia-se nos procedimentos de ajuste de covariância, calculada através de filtros de Kalman executados em paralelo. A metodologia foi testada com dados sintéticos via simulações de Monte Carlo e com manobras de ensaio em vôo reais. Os resultados mostraram-se coerentes com os fenômenos, e mais precisos que os obtidos com filtragem não adaptativa, a um custo computacional baixo.

Ambientes Virtuais Distribuídos permitem que múltiplos usuários co-existam em mundos virtuais simulados em diferentes estações, compartilhando informações e manipulando objetos em tempo real. O ambiente dinâmico e as mudanças no estado dos objetos compartilhados devem ser gerenciados para que as diversas representações do ambiente se mantenham em estado consistente. Dependendo do grau de consistência desejado, existem diferentes técnicas para levar a efeito as mudanças de estado do ambiente nas diversas estações. A maioria das soluções apresentadas pelas arquiteturas existentes para aplicações de Realidade Virtual Distribuída ou foi projetada levando-se em consideração determinadas condições de infra-estrutura ou foi definida para dar suporte a aplicações específicas. Este trabalho apresenta a especificação e implementação da AVDNet, uma arquitetura de software consistente e flexível para criação e gerenciamento de AVDs, capaz de suportar centenas, ou até mesmo milhares, de usuários simultaneamente sob a infra-estrutura atual da Internet. Permite também a interação e a detecção de colisão de objetos em tempo real, mantendo a sincronia e consistência do estado dos objetos, tratando os aspectos envolvidos na colaboração entre os participantes. A arquitetura proposta baseia-se em uma abordagem que combina novos métodos para gerenciar os recursos como largura da banda de rede e capacidade de processamento, a fim de obter escalabilidade e desempenho, em especial o protocolo multicast em nível de aplicação.

Redes Bayesianas (RB) oferecem um método prático para o tratamento de incertezas em sistemas especialistas probabilísticos. Considerando que os problemas de atualização de crença e revisão crença em redes multiplamente conectadas são NP-Difíceis, alguns pesquisadores aplicaram processos de meta-raciocínio às inferências, para selecionar algoritmos para as tarefas. Quando possível, os métodos exatos devem ser adotados. Caso contrário, os algoritmos aproximados podem ser selecionados. Como a qualidade das inferências aproximadas varia a cada instância, os dados de entrada contêm características que afetam os desempenhos dos algoritmos. O problema de meta-raciocínio investigado está relacionado com a escolha do algoritmo para uma determinada instância de inferência, considerando restrições temporais. Para realizar meta-raciocínio, essa Tese propõe um método de caracterização da RB e associação conjunta dessas características, aplicando análises multivariadas. Os modelos são utilizados para a predição da probabilidade de que um algoritmo exato possa ser adotado em uma instância específica ou para a escolha do algoritmo aproximado com a melhor qualidade dos resultados. Análises experimentais comparam algumas abordagens alternativas, tais como análise de regressão simples, curvas de utilidade e técnicas de aprendizagem de máquina, mostrando resultados superiores quando análises multivariadas são aplicadas no processo de meta-raciocínio.

Os estudos realizados no presente trabalho de tese abrangem o processo de integração de subsistemas de tempo real intensivos em software e o formalismo de geração de casos de teste. A integração de subsistemas é uma fase altamente onerosa em tempo e recursos de teste de projetos de sistemas críticos tais como plataformas de satélites. São investigados testes baseados em modelos de estado que representam a interação dos subsistemas comunicantes. O problema pesquisado é o formalismo adequado para representar requisitos de tempo no modelo comportamental da interação de modo que casos de teste possam ser derivados por métodos automáticos. Com foco na modelagem dos serviços providos pelos subsistemas em integração, propõe-se um arcabouço para teste de interoperabilidade e de robustez composto por cinco elementos estruturantes: (1) perfil do serviço, (2) modelo nominal do serviço, (3) perigos de tempo, (4) modelo aumentado do serviço, e (5) propósito de teste. O arcabouço, denominado InRob, orienta a construção de modelos formais de interoperabilidade os quais representam o comportamento de um serviço em um dado estágio de integração. Os modelos são estendidos com propriedades de tempo de modo que possam ser derivados casos de teste de robustez, relativos a desvios de tempo na troca de mensagens entre os subsistemas. A validação da abordagem InRob é feita no domínio de subsistemas espaciais, na integração dos subsistemas que compõem um instrumento imageador (telescópio) de raios X a bordo de uma missão de satélite de astronomia. Nesse estudo de caso, o InRob é instanciado em um processo de teste composto por três etapas, duas delas apoiadas por ferramentas existentes para geração e execução de casos de teste.

CCS (Communicating and Concurrent Systems) is the process algebra to specify and verify concurrent and communicating systems. This work proposes a transformation guide of the CCS equations into to the UML-RT (Unified Modeling Language for Real-Time) model and a transformation guide of the UML-RT model into a set of CCS equations. The UML-RT model is a software design language, which supports code generation and the construction of executable systems. The UML-RT is an UML extension, and it does not have a formal semantics; therefore it is not possible to verify UMLRT models. The transformation guide of UML-RT models into CCS equations allows verifying the models. We argue that the transformation of CCS models into UML-RT models allows an alternative way of correctly building systems. This work details the transformation guides from CCS equations to UML-RT models and from UML-RT models to CSS equations and it discusses the limitations and benefits.