Informações sobre a disciplina percussão: módulo 3

Introdução para a disciplina Percussão. O professor apresenta-se e dá algumas dicas para as práticas vinculadas à disciplina, que contará com a utilização de baquetas e um pandeiro. O professor coloca aspectos dos instrumentos que devem ser levados em consideração no ato de aquisição do conjunto para estudos, levando em consideração aspectos técnicos dos instrumentos e também questões sobre os custos dos mesmos.

Implementação de um Módulo de Supervisão para um Sistema de Detecção de Vazamentos em Dutos de Petróleo

The transport of fluids through pipes is used in the oil industry, being the pipelines an important link in the logistics flow of fluids. However, the pipelines suffer deterioration in their walls caused by several factors which may cause loss of fluids to the environment, justifying the investment in techniques and methods of leak detection to minimize fluid loss and environmental damage. This work presents the development of a supervisory module in order to inform to the operator the leakage in the pipeline monitored in the shortest time possible, in order that the operator log procedure that entails the end of the leak. This module is a component of a system designed to detect leaks in oil pipelines using sonic technology, wavelets and neural networks. The plant used in the development and testing of the module presented here was the system of tanks of LAMP, and its LAN, as monitoring network. The proposal consists of, basically, two stages. Initially, assess the performance of the communication infrastructure of the supervisory module. Later, simulate leaks so that the DSP sends information to the supervisory performs the calculation of the location of leaks and indicate to which sensor the leak is closer, and using the system of tanks of LAMP, capture the pressure in the pipeline monitored by piezoresistive sensors, this information being processed by the DSP and sent to the supervisory to be presented to the user in real time

Análise de Handover inter e intra-célula em um sistema de telefonia celular através de método de medição simplificado

This dissertation has the purpose to present a portable device named PlugData MG100G, equipped with a cellular module, to analyze the radiofrequency coverage in a GSM network situated in João Pessoa city, state of Paraíba, at four distinct regions. The equipment, originally, was developed to be used in fixed environments, so it was adapted so that it could be used in conditions of mobility. From the Mobile Measurement Reports (MMRs) RF coverage and the handover process are analyzed. The MMRs enable the identification of the serving cell and the list of the closest neighboring cells monitored by the mobile. This work analyses only data referent to the serving cell and the two closest neighboring cells. Inter-cell and intra-cell handovers are identified. The frequency planning and quality of service offered by the network related to the regions are discussed as well

Avaliação do módulo de elasticidade da madeira com uso de método não-destrutivo de vibração transversal

Numerosas pesquisas têm estudado os métodos não-destrutivos de avaliação de materiais e sua aplicação àqueles de matrizes complexas, como é o caso da madeira. Um dos primeiros métodos não-destrutivos investigados para aplicação nesses casos foi o da vibração transversal. Apesar de sua concepção simples, e a despeito dos grandes avanços obtidos nessa área com outros métodos, como, por exemplo, o ultra-som, o método de vibração transversal para a determinação do módulo de elasticidade da madeira revela-se como de grande potencial de aplicação, sobretudo pela precisão do modelo matemático a ele associado e pela possibilidade de sua aplicação a peças de dimensões estruturais (in-grade testing). Neste trabalho, apresenta-se o uso desse método na determinação do módulo de elasticidade de três espécies de eucalipto. Foram ensaiados não-destrutivamente e por ensaios mecânicos convencionais de flexão corpos-de-prova de 2 cm x 2 cm x 46 cm de E. grandis, E. saligna e E. citriodora. Os ensaios não-destrutivos foram conduzidos com uso do sistema BING - Beam Identification by Non-destructive Grading, que permite a análise das vibrações do material nos domínios do tempo e da freqüência. Os resultados obtidos revelaram boa correlação entre os dois tipos de ensaios empregados, justificando o início dos ensaios com peças de dimensões estruturais, para a viabilização da técnica nas práticas de classificação estrutural.

Determinação do módulo de elasticidade da madeira juvenil e adulta de Pinus taeda por ultra-som

A madeira de Pinus sp. tem utilização crescente na indústria madeireira brasileira. O decréscimo constante do suprimento de árvores adultas com grandes diâmetros, provenientes de florestas naturais, tornou comum a produção de madeira em ciclos curtos, com grande proporção de madeira juvenil. Resultados de diversas pesquisas têm reportado que o módulo de elasticidade e a resistência a diferentes solicitações mecânicas são seriamente afetados pela presença de madeira juvenil. Este trabalho teve por objetivo determinar o módulo de elasticidade da madeira juvenil e adulta de Pinus taeda L. a partir da constante dinâmica C LL, obtida em ensaios não-destrutivos de ultra-som. A madeira de P. taeda era originária de plantios da Estação Experimental de Itapeva - SP, sendo amostrados seis indivíduos arbóreos com 34 anos de idade. Os corpos-de-prova (4 cm x 4 cm x 45 cm) foram obtidos separadamente das regiões de madeira juvenil e adulta da prancha central, previamente submetida à secagem industrial (umidade final de 12%), para a determinação da constante dinâmica por meio de ensaios de ultra-som. Para avaliar a sensibilidade do método do ultra-som, os corpos-de-prova foram ensaiados destrutivamente à compressão paralela. Os resultados mostraram boa sensibilidade do método do ultra-som (R² » 0,90) na avaliação desse parâmetro mecânico da madeira juvenil e adulta.

Uma arquitetura baseada em SCTP e SIP para suporte a aplicações VoIP móveis e a especificação formal do seu módulo de controle

New versions of SCTP protocol allow the implementation of handover procedures in the transport layer, as well as the supply of a partially reliable communication service. A communication architecture is proposed herein, integrating SCTP with the session initiation protocol, SIP, besides additional protocols. This architecture is intended to handle voice applications over IP networks with mobility requirements. User localization procedures are specified in the application layer as well, using SIP, as an alternative mean to the mechanisms used by traditional protocols, that support mobility in the network layer. The SDL formal specification language is used to specify the operation of a control module, which coordinates the operation of the system component protocols. This formal specification is intended to prevent ambiguities and inconsistencies in the definition of this module, assisting in the correct implementation of the elements of this architecture

Protótipo de uma unidade com tri-geração de energia para utilizações remotas: aplicação de módulo secondutivo gerador termoelétrico

The generation for termoeletricity is characterized as a solid process of conversion of thermal energy (heat) in electric without the necessity of mobile parts. Although the conversion process is of low efficiency the system presents high degree of trustworthiness and low requisite of maintenance and durability. Its principle is based on the studies of termogeneration carried through by Thomas Seebeck in 1800. The frank development of the technologies of solid state for termoeletricity generation, the necessity of the best exploitation of the energy, also with incentive the cogeneration processes, the reduction of the ambient impact allies to the development of modules semiconductors of high efficiency, converge to the use of the thermoeletric generation through components of solid state in remote applications. The work presents the development, construction and performance evaluation of an prototype, in pilot scale, for energy tri-generation aiming at application in remote areas. The unit is composed of a gas lamp as primary source of energy, a module commercial semiconductor for thermoelectric generation and a shirt for production of the luminosity. The project of the device made compatible a headstock for adaptation in the gas lamp, a hot source for adaptation of the module, an exchanger of to be used heat as cold source and to compose first stage of cogeneration, an exchanger of tubular heat to compose second stage of cogeneration, the elaboration of a converter dc-dc type push pull, adequacy of a system of acquisition of temperature. It was become fullfilled assembly of the prototype in group of benches for tests and assay in the full load condition in order to evaluate its efficiency, had been carried through energy balance of the unit. The prototype presented an electric efficiency of 0,73%, thermal of 56,55%, illumination of 1,35% and global of 58,62%. The developed prototype, as the adopted methodology of assay had also taken care of to the considered objectives, making possible the attainment of conclusive results concerning to the experiment. Optimization in the system of setting of the semicondutor module, improvement in the thermal insulation and design of the prototype and system of protection to the user are suggestions to become it a commercial product

Previsão do módulo de elasticidade transversal de compósitos unidirecionais através de redes neurais mistas

The aim of this study is to create an artificial neural network (ANN) capable of modeling the transverse elasticity modulus (E2) of unidirectional composites. To that end, we used a dataset divided into two parts, one for training and the other for ANN testing. Three types of architectures from different networks were developed, one with only two inputs, one with three inputs and the third with mixed architecture combining an ANN with a model developed by Halpin-Tsai. After algorithm training, the results demonstrate that the use of ANNs is quite promising, given that when they were compared with those of the Halpín-Tsai mathematical model, higher correlation coefficient values and lower root mean square values were observed

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

MoSAC: um módulo para seleção de configurações arquiteturais baseado em critérios de QoS no contexto de sistema distribuídos autoadaptativos

The process for choosing the best components to build systems has become increasingly complex. It becomes more critical if it was need to consider many combinations of components in the context of an architectural configuration. These circumstances occur, mainly, when we have to deal with systems involving critical requirements, such as the timing constraints in distributed multimedia systems, the network bandwidth in mobile applications or even the reliability in real-time systems. This work proposes a process of dynamic selection of architectural configurations based on non-functional requirements criteria of the system, which can be used during a dynamic adaptation. This proposal uses the MAUT theory (Multi-Attribute Utility Theory) for decision making from a finite set of possibilities, which involve multiple criteria to be analyzed. Additionally, it was proposed a metamodel which can be used to describe the application s requirements in terms of the non-functional requirements criteria and their expected values, to express them in order to make the selection of the desired configuration. As a proof of concept, it was implemented a module that performs the dynamic choice of configurations, the MoSAC. This module was implemented using a component-based development approach (CBD), performing a selection of architectural configurations based on the proposed selection process involving multiple criteria. This work also presents a case study where an application was developed in the context of Digital TV to evaluate the time spent on the module to return a valid configuration to be used in a middleware with autoadaptative features, the middleware AdaptTV

Java-XSC : módulo complexo e complexo intervalar

This work aims to develop modules that will increase the computational power of the Java-XSC library, and XSC an acronym for "Language Extensions for Scientific Computation . This library is actually an extension of the Java programming language that has standard functions and routines elementary mathematics useful interval. in this study two modules were added to the library, namely, the modulus of complex numbers and complex numbers of module interval which together with the modules original numerical applications that are designed to allow, for example in the engineering field, can be used in devices running Java programs

Análisis del módulo educación en los censos de población de Paraguay

Incluye Bibliografía

Incorporando un módulo de uso del tiempo a las encuestas de hogares: restricciones y potencialidades

Incluye Bibliografía