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

Especificação do micronúcleo FreeRTOS utilizando o método B

This paper presents a contribution to the international Verified Software Repository effort through the formal specification of the microkernel FreeRTOS real-time system. Such specification was made in abstract level making use of the B method . For thus, properties of the microkernel were chosen and selected as specification requisites, which was constructed centered at the functionalities responsible for the utilization of these properties. This properties weres setting as specification requirements. The specification was constructed modeling the function of microkernel that implement this properties. This work intended to encourage the formal verification of FreeRTOS and also contribute to the formal creation of a microkernel real-time systems, based in FreeRTOS. Furthermore, this model brings a formal documentation point view of the microkernel, demonstrating features and how this internal states is changing. Finally, this work could be an example of specification of the actual system by the B method.

Projeto e implementação em FPGA de um processador com conjunto de instrução reconfigurável utilizando VHDL

The Reconfigurable Computing is an intermediate solution at the resolution of complex problems, making possible to combine the speed of the hardware with the flexibility of the software. An reconfigurable architecture possess some goals, among these the increase of performance. The use of reconfigurable architectures to increase the performance of systems is a well known technology, specially because of the possibility of implementing certain slow algorithms in the current processors directly in hardware. Amongst the various segments that use reconfigurable architectures the reconfigurable processors deserve a special mention. These processors combine the functions of a microprocessor with a reconfigurable logic and can be adapted after the development process. Reconfigurable Instruction Set Processors (RISP) are a subgroup of the reconfigurable processors, that have as goal the reconfiguration of the instruction set of the processor, involving issues such formats, operands and operations of the instructions. This work possess as main objective the development of a RISP processor, combining the techniques of configuration of the set of executed instructions of the processor during the development, and reconfiguration of itself in execution time. The project and implementation in VHDL of this RISP processor has as intention to prove the applicability and the efficiency of two concepts: to use more than one set of fixed instructions, with only one set active in a given time, and the possibility to create and combine new instructions, in a way that the processor pass to recognize and use them in real time as if these existed in the fixed set of instruction. The creation and combination of instructions is made through a reconfiguration unit, incorporated to the processor. This unit allows the user to send custom instructions to the processor, so that later he can use them as if they were fixed instructions of the processor. In this work can also be found simulations of applications involving fixed and custom instructions and results of the comparisons between these applications in relation to the consumption of power and the time of execution, which confirm the attainment of the goals for which the processor was developed

Métodos estatísticos recursivos aplicados ao problema de estimação de vazão de gás em plantas de Plunger-lift

This work has as main objective to find mathematical models based on linear parametric estimation techniques applied to the problem of calculating the grow of gas in oil wells. In particular we focus on achieving grow models applied to the case of wells that produce by plunger-lift technique on oil rigs, in which case, there are high peaks in the grow values that hinder their direct measurement by instruments. For this, we have developed estimators based on recursive least squares and make an analysis of statistical measures such as autocorrelation, cross-correlation, variogram and the cumulative periodogram, which are calculated recursively as data are obtained in real time from the plant in operation; the values obtained for these measures tell us how accurate the used model is and how it can be changed to better fit the measured values. The models have been tested in a pilot plant which emulates the process gas production in oil wells

Detecção e diagnóstico de falhas não-supervisionados baseados em estimativa de densidade recursiva e classificador fuzzy auto-evolutivo

In this work, we propose a two-stage algorithm for real-time fault detection and identification of industrial plants. Our proposal is based on the analysis of selected features using recursive density estimation and a new evolving classifier algorithm. More specifically, the proposed approach for the detection stage is based on the concept of density in the data space, which is not the same as probability density function, but is a very useful measure for abnormality/outliers detection. This density can be expressed by a Cauchy function and can be calculated recursively, which makes it memory and computational power efficient and, therefore, suitable for on-line applications. The identification/diagnosis stage is based on a self-developing (evolving) fuzzy rule-based classifier system proposed in this work, called AutoClass. An important property of AutoClass is that it can start learning from scratch". Not only do the fuzzy rules not need to be prespecified, but neither do the number of classes for AutoClass (the number may grow, with new class labels being added by the on-line learning process), in a fully unsupervised manner. In the event that an initial rule base exists, AutoClass can evolve/develop it further based on the newly arrived faulty state data. In order to validate our proposal, we present experimental results from a level control didactic process, where control and error signals are used as features for the fault detection and identification systems, but the approach is generic and the number of features can be significant due to the computationally lean methodology, since covariance or more complex calculations, as well as storage of old data, are not required. The obtained results are significantly better than the traditional approaches used for comparison

Desenvolvimento de um sistema computacional para geração automática de mapas de vulnerabilidade como ferramenta de auxílio às ações de prevenção ao derramamento de óleo em áreas costeiras

The northern portion of the Rio Grande do Norte State is characterized by intense coastal dynamics affecting areas with ecosystems of moderate to high environmental sensitivity. In this region are installed the main socioeconomic activities of RN State: salt industry, shrimp farm, fruit industry and oil industry. The oil industry suffers the effects of coastal dynamic action promoting problems such as erosion and exposure of wells and pipelines along the shore. Thus came the improvement of such modifications, in search of understanding of the changes which causes environmental impacts with the purpose of detecting and assessing areas with greater vulnerability to variations. Coastal areas under influence oil industry are highly vulnerable and sensitive in case of accidents involving oil spill in the vicinity. Therefore, it was established the geoenvironmental monitoring of the region with the aim of evaluating the entire coastal area evolution and check the sensitivity of the site on the presence of oil. The goal of this work was the implementation of a computer system that combines the needs of insertion and visualization of thematic maps for the generation of Environmental Vulnerability maps, using techniques of Business Intelligence (BI), from vector information previously stored in the database. The fundamental design interest was to implement a more scalable system that meets the diverse fields of study and make the appropriate system for generating online vulnerability maps, automating the methodology so as to facilitate data manipulation and fast results in cases of real time operational decision-making. In database development a geographic area was established the conceptual model of the selected data and Web system was done using the template database PostgreSQL, PostGis spatial extension, Glassfish Web server and the viewer maps Web environment, the GeoServer. To develop a geographic database it was necessary to generate the conceptual model of the selected data and the Web system development was done using the PostgreSQL database system, its spatial extension PostGIS, the web server Glassfish and GeoServer to display maps in Web

Ultrasonography as a predicting tool for carcass traits of young bulls

O desenvolvimento de técnicas não invasivas e não destrutivas para a avaliação da composição e qualidade de carcaça em animais tem mobilizado consideráveis recursos em pesquisa. A ultra-sonografia aparece neste contexto como uma técnica viável, confiável e de custo aceitável para esta função. No presente trabalho foi avaliada a técnica de ultra-sonografia em tempo real como ferramenta para predição da área de olho-de-lombo (AOL) e espessura da camada de gordura subcutânea (ECG) a partir de imagens tomadas em animais vivos, quando comparadas com as medições na carcaça. Foram utilizados 115 bovinos jovens (30, ½ Angus x Nellore; 30, ½ Canchim x Nellore; 30, ½ Simental x Nellore, e 25 Nellores), com peso inicial médio de 329 kg e de dois tamanhos à maturidade (pequeno e grande), no sistema de produção do novilho superprecoce. As medidas de ultra-sonografia foram realizadas a cada 28 dias totalizando quatro medições até o final do confinamento. A precisão da predição aumentou em função da proximidade da data do abate, sendo máxima na quarta medida (R²= 0,68 para AOL e 0,82 para ECG). Houve efeito de grupo genético e de medida ultra-sonográfica para ECG. O tamanho corporal não teve efeito sobre nenhuma das características estudadas.

Exercício e restrição alimentar aumentam o RNAm de proteínas do trânsito de Ca2+ miocárdico em ratos

FUNDAMENTO: Treinamento físico (TF) aumenta a sensibilidade dos hormônios tireoidianos (HT) e a expressão gênica de estruturas moleculares envolvidas no movimento intracelular de cálcio do miocárdio, enquanto a restrição alimentar (RIA) promove efeitos contrários ao TF. OBJETIVO: Avaliar os efeitos da associação TF e RIA sobre os níveis plasmáticos dos HT e a produção de mRNA dos receptores HT e estruturas moleculares do movimento de cálcio do miocárdio de ratos. MÉTODOS: Utilizaram-se ratos Wistar Kyoto divididos em: controle (C, n = 7), RIA (R50, n = 7), exercício físico (EX, n = 7) e exercício físico + RIA (EX50, n = 7). A RIA foi de 50% e o TF foi natação (1 hora/dia, cinco sessões/semana, 12 semanas consecutivas). Avaliaram-se as concentrações séricas de triiodotironina (T3), tiroxina (T4) e hormônio tireotrófico (TSH). O mRNA da bomba de cálcio do retículo sarcoplasmático (SERCA2a), fosfolamban (PLB), trocador Na+/Ca+2 (NCX), canal lento de cálcio (canal-L), rianodina (RYR), calsequestrina (CQS) e receptor de HT (TRα1 e TRβ1) do miocárdio foram avaliados por reação em cadeia da polimerase (PCR) em tempo real. RESULTADOS: RIA reduziu o T4, TSH e mRNA do TRα1 e aumentou a expressão da PLB, NCX e canal-L. TF aumentou a expressão do TRβ1, canal-L e NCX. A associação TF e RIA reduziu T4 e TSH e aumentou o mRNA do TRβ1, SERCA2a, NCX, PLB e correlação do TRβ1 com a CQS e NCX. CONCLUSÃO: Associação TF e RIA aumentou o mRNA das estruturas moleculares cálcio transiente, porém o eixo HT-receptor não parece participar da transcrição gênica dessas estruturas.

Influência de prolongados períodos de obesidade sobre a expressão gênica miocárdica

FUNDAMENTO: Vários autores mostraram que a deterioração da função cardíaca associa-se com o grau e a duração da obesidade. Os padrões de expressão gênica após longos períodos de obesidade precisam ser estabelecidos. OBJETIVO: Este estudo testou a hipótese de que a exposição prolongada à obesidade leva à redução nos níveis de RNAm de proteínas envolvidas na homeostase do Ca2+ miocárdico. Além disso, este estudo avaliou se uma diminuição no hormônio tireoidiano causava redução na expressão de RNAm. MÉTODOS: Ratos Wistar machos de 30 dias de idade foram distribuídos em dois grupos: controle (C) e obeso (Ob). O grupo C recebeu uma dieta padrão e o grupo Ob recebeu dietas hiperlipídicas por 15, 30 e 45 semanas. A obesidade foi definida pelo índice de adiposidade. A expressão gênica foi avaliada por PCR em tempo real quantitativa. RESULTADOS: O índice de adiposidade foi maior no grupo Ob do que no C em todas as etapas. Enquanto a obesidade nas semanas 15 e 45 determinou uma redução no RNAm de Ca2+-ATPase do retículo sarcoplasmático (SERCA2a), trocador Na+/Ca2+ (NCX) e calsequestrina (CSQ), observou-se aumento da expressão do RNAm de canal de Ca2+ do tipo L, receptor de rianodina, SERCA2a, fosfolamban (PLB), NCX e CSQ após a semana 30, em comparação ao grupo C. Não houve associação significativa entre os níveis de T3 e a expressão de RNAm. CONCLUSÕES: Nossos dados indicam que a obesidade por curtos ou longos períodos de tempo pode promover alteração na expressão gênica de proteínas reguladoras da homeostase do Ca2+ sem influência do hormônio tireoidiano

Estratégias de comunicação na aprendizagem de português / espanhol por teletandem

O contexto de interação de protótipo teletandem, por meio do aplicativo MSN Messenger, permite o intercâmbio de informação de linguagem em tempo real, pelo uso de voz, texto e imagens (webcam). Foi observado que, por se tratar de um ambiente de troca entre línguas próximas, alguns dos processos de aquisição demonstrados pelos aprendizes se assemelham. No entanto, a língua materna foi o fator de influência para particularidades em relação ao uso de estratégias de comunicação.

Espectro de gotas de pontas de pulverização com adjuvantes de uso agrícola

O sucesso de uma boa aplicação de produtos fitossanitários depende da sinergia entre fatores como tamanho de gota, tipo de ponta, pressão, volume e composição da calda e características do alvo. Assim, o objetivo deste trabalho foi avaliar o espectro de gotas produzidas por pontas de jato plano defletor (TT 11002) e jato plano defletor com indução de ar (TTI 11002), com diferentes adjuvantes adicionados à calda de pulverização, pela técnica de difração de raio laser. O experimento foi conduzido em delineamento inteiramente casualizado, com quatro repetições, em esquema fatorial 2 x 5, ou seja, duas pontas de aplicação (jato plano defletor e jato plano defletor com indução de ar) e cinco composições de calda (água e água mais quatro adjuvantes: fosfatidilcoline+ácido propiônico, éter poliglicólico de monilfenol, ésteres de ácidos graxos e nonil-fenol etoxilado+óxido de etileno). em ambiente controlado, avaliou-se o espectro de gotas, por meio de um analisador a laser de gotas em tempo real, na pressão de 276 kPa. O efeito dos adjuvantes no espectro de gotas mostrou-se dependente da ponta de pulverização empregada. A adição dos adjuvantes à calda não alterou o risco potencial de deriva, expresso pela porcentagem do volume em gotas com diâmetro inferior a 100 µm, porém o adjuvante fosfatidilcoline+ácido propiônico reduziu o diâmetro da mediana volumétrica das gotas produzidas pela ponta de jato plano defletor com indução de ar, em relação à avaliação feita somente com água.

Estudo ultra-sonográfico da involução uterina pós-parto em cadelas

Utilizando-se 15 cadelas no pós-parto, são descritas as características da involução uterina e determinado o diâmetro do útero, por meio de exames seriados de ultra-som em modo B (tempo real), no período de zero a 28 dias pós-parto. O diâmetro uterino declina progressivamente, sem influência da ordem de parto ou tamanho da ninhada. As características ultra-sonográficas do útero são melhor visualizadas na primeira semana pós-parto e a qualidade da imagem diminui com o progresso da involução. Pela técnica usada são visualizadas apenas três camadas constituintes da parede uterina.

Estudo da involução uterina por meio da ultra-sonografia (modo-B) em cadelas submetidas a cesariana

Utilizaram-se 15 cadelas gestantes submetidas a cesariana e posteriormente a exames ultra-sonográficos seriados, em modo B (tempo real), para averiguação do diâmetro uterino nos dias 0, 3, 7, 14 e 21 pós-cesariana, com o objetivo de verificar a influência do ato cirúrgico na involução uterina. Os resultados (média e desvio-padrão, em centímetros) registrados para os dias estudados foram, respectivamente: 3,99+0,71; 3,27+0,51; 2,60+0,54; 2,01+0,34; 1,28+0,24. A involução uterina pós-cesariana seguiu o mesmo padrão do puerpério do parto normal, assim como as características das imagens ultra-sonográficas. O parto cesariana não influenciou no padrão de involução uterina.

Aplicação da ultrassonografia colorida doppler em programas de transferência de embriões equinos

Os programas comerciais de transferência de embriões em éguas existem por mais de três décadas e são hoje uma das biotécnias mais utilizadas na reprodução assistida de equinos. O exame ultrassonográfico nos períodos pré e pós-cobertura de doadoras de embriões, assim como a avaliação de receptoras no momento da inovulação é de vital importância para o êxito de um programa de transferência de embriões. A ultrassonografia Doppler é uma técnica não-invasiva que permite a avaliação em tempo real da hemodinâmica do trato reprodutivo de animais de grande porte. Por fornecer detalhes anatômicos e informações imediatas sobre a fisiologia do fluxo sanguíneo de tecidos e órgãos, o exame doppler permite a avaliação do potencial ovulatório de folículos e do status funcional de corpo lúteo e útero, além de ser uma técnica auxiliar para o diagnóstico de distúrbios na hemodinâmica do sistema reprodutivo. Alterações na perfusão sanguínea dos futuros folículos dominantes são detectáveis em diferentes fases de seu desenvolvimento, como na divergência folicular e no período pré-ovulatório. A partir dessas informações, é possível determinar o princípio da atividade sexual e o momento ideal para o início de tratamentos superovulatórios e indutores de ovulação, assim como o momento mais apropriado para a realização de coberturas de éguas doadoras de embriões. A avaliação através do modo-Doppler do corpo lúteo e útero de éguas receptoras é também um instrumento auxiliar para a seleção de animais com perfil sérico de progesterona e ambiente uterino adequados para a sobrevivência do embrião e manutenção da gestação. Essa técnica pode ser útil ainda ao se avaliar a interação concepto-maternal. Apesar da aplicabilidade da tecnologia doppler dentro de programas de transferência de embriões, novos estudos visando a determinar padrões de normalidade e posterior caracterização de distúrbios de fluxo sanguíneo de trato reprodutivo ainda se fazem necessários.

Assessing locomotion deficiency in broiler chicken

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)