O Modelo de Ising inomogêneo: uma interrupção contínua entre as redes quadrada e triangular.

The ferromagnetic and antiferromagnetic Ising model on a two dimensional inhomogeneous lattice characterized by two exchange constants (J1 and J2) is investigated. The lattice allows, in a continuous manner, the interpolation between the uniforme square (J2 = 0) and triangular (J2 = J1) lattices. By performing Monte Carlo simulation using the sequential Metropolis algorithm, we calculate the magnetization and the magnetic susceptibility on lattices of differents sizes. Applying the finite size scaling method through a data colappse, we obtained the critical temperatures as well as the critical exponents of the model for several values of the parameter α = J2 J1 in the [0, 1] range. The ferromagnetic case shows a linear increasing behavior of the critical temperature Tc for increasing values of α. Inwhich concerns the antiferromagnetic system, we observe a linear (decreasing) behavior of Tc, only for small values of α; in the range [0.6, 1], where frustrations effects are more pronunciated, the critical temperature Tc decays more quickly, possibly in a non-linear way, to the limiting value Tc = 0, cor-responding to the homogeneous fully frustrated antiferromagnetic triangular case.

Phosphate forms in plant and their internal buffering in five soybean cultivars

Diferenças inter e intra-específicas na habilidade de suportar períodos de estresse nutricional podem dever-se à capacidade de armazenar e liberar íons dos vacúolos, e, ou, à intensidade de retranslocação de nutrientes em tais condições. Neste trabalho, pretendeu-se avaliar diferenças varietais quanto ao tamanho do pool não-metabólico de Pi; velocidade de liberação do Pi previamente armazenado (VLPi), quando o P citoplasmático cai a um valor limite; capacidade de transportar Pi de regiões menos ativas para aquelas mais ativas metabolicamente e definir compartimentos que são preferencialmente fontes e os que são preferencialmente drenos para o Pi, em condições de absorção limitada de P. Avaliaram-se a produção de matéria seca e os teores internos de Pi, orgânico (Po) e total solúvel em ácido (Pts), de diferentes órgãos de plantas dos cultivares de soja (Glycine max L. Merrill) Santa Rosa, Uberaba, IAC8, Doko e UFV1, submetidos a oito dias de omissão do elemento. A VLPi foi estimada como tangente às equações obtidas para Pi como função do perído de omissão no ponto médio do período de omissão em que houve maior decréscimo em Pi (zero a quatro dias de omissão de P), t = dois dias, considerando-se que -deltaPi/deltat expressa a velocidade de liberação de Pi. A capacidade interna de tamponamento de Pi (CTIPi) foi calculada como o inverso da VLPi. O cultivar Santa Rosa apresentou maior capacidade de armazenar Pi, quando o suprimento externo foi alto, liberando-o mais intensamente sob condições de baixo suprimento de P que os cultivares IAC8 e UFV1. O cultivar Uberaba mostrou-se superior ao Doko em sua habilidade de armazenar e utilizar o Pi. Folhas superiores mostraram ser o principal dreno para o Pi armazenado em folhas medianas e inferiores, seguidas por raízes e caules. Raízes comportaram-se como fontes ou drenos para o Pi. Raízes e folhas superiores apresentaram maiores (VLPi) e menores valores de CTIPi que folhas medianas e folhas inferiores, sendo o caule o compartimento com menor VLPi e maior CTIPi. Dentre as variedades, as diferenças foram pequenas, destacando-se a maior VLPi e menor CTIPi do cultivar Santa Rosa. O cultivar Doko apresentou a menor VLPi e maior CTIPi, enquanto Uberaba, IAC8 e UFV1 ocuparam posição intermediária quanto a essas características.

Sistema microemulsionado: caracterização e aplicação na indústria de petróleo

Alkyl polyethoxylates are surfactants widely used in vastly different fields, from oil exploitation to pharmaceutical applications. One of the most interesting characteristics of these surfactants is their ability to form micellar systems with specific geometry, the so-called wormlike micelle. In this work, microemulsions with three distinct compositions (C/T = 40 %, 30 % and 25 %) was used with contain UNITOL / butanol / water / xylene, cosurfactant / surfactante (C/S) ratio equal to 0,5. The microemulsion was characterized by dynamic light scattering (DLS), capillary viscometry, torque rheometry and surface tensiometry experiments carried out with systems based on xylene, water, butanol (cosurfactant) and nonaethyleneglycolmonododecyl ether (surfactant), with fixed surfactant:cosurfactant:oil composition (with and without oil phase) and varying the overall concentration of the microemulsion. The results showed that a transition from wormlike micelles to nanodrops was characterized by maximum relative viscosity (depending on how relative viscosity was defined), which was connected to maximum effective diameter, determined by DLS. Surface tension suggested that adsorption at the air water interface had a Langmuir character and that the limiting value of the surfactant surface excess was independent of the presence of cosurfactant and xylene. The results of the solubilization of oil sludge and oil recovery with the microemulsion: C/S = 40%, 30% and 25% proved to be quite effective in solubilization of oil sludge, with the percentage of solubilization (%solubilization) as high as 92.37% and enhanced oil recovery rates up to 90.22% for the point with the highest concentration of active material (surfactant), that is, 40%.

Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

Determinação dos perfis de estrógenos e progestinas fecais durante o ciclo estral, gestação e período pós-parto em cervos-do-pantanal (Blastocerus dichotomus) em cativeiro

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Análise experimental sobre velocidade de captura em sistemas de transporte pneumático

A velocidade de transporte é um dos mais importantes parâmetros no transporte pneumático de sólidos. O êxito no transporte de materiais particulados depende da predição ou da determinação da velocidade mínima de transporte. Uma velocidade acima daquela necessária ao transporte estável das partículas sólidas conduz a um grande consumo de energia devido ao aumento na perda de pressão do sistema, degradação dos sólidos e abrasão dos sólidos e da tubulação. Já uma velocidade abaixo desse valor limite certamente resultará na deposição das partículas sólidas para o fundo da tubulação e conseqüentemente o entupimento desta. Neste trabalho, uma técnica para medir a velocidade mínima de captura de partículas sólidas em uma tubulação na direção horizontal em um sistema de Transporte Pneumático é desenvolvida. Ela baseia-se em observações visuais do comportamento das partículas ao ocorrer a captura, em medidas da velocidade de operação do gás e da massa das partículas capturadas. É realizada ainda a análise qualitativa de alguns parâmetros que influenciam na velocidade de captura das partículas, permitindo uma maior compreensão dos fenômenos envolvidos.

Adsorção de cromo (VI) por carvão ativado granular de soluções diluídas utilizando um sistema batelada sob pH controlado

Na Amazônia o cromo é empregado principalmente na indústria de couro e de madeira, sendo responsável por vários problemas de saúde porque é tóxico para os seres vivos. A remoção de cromo de efluentes industriais é feita por meio de diversos processos como a adsorção. Este trabalho mostra os resultados da adsorção de Cr(VI) por carvão ativado granular comercial (CAG) como adsorvente de soluções diluídas empregando um sistema de adsorção batelada com controle de pH. Os grupos funcionais da superfície do CAG foram determinados pelo método de Boehm. Além disso, o efeito do pH na adsorção de Cr(VI), o equilíbrio e a cinética de adsorção foram estudados nas condições experimentais (pH = 6, MA = 6g, tempo de adsorção 90min.). Na superfície do CAG, os grupos carboxílicos foram determinados em maior concentração (MAS=0,43 mmol/gCAG), estes, presentes em concentrações elevadas aumentam a adsorção do metal, principalmente em valores de pH ácidos. A capacidade de adsorção é dependente do pH da solução, devido a sua influência nas propriedades de superfície do CAG e nas diferentes formas iônicas das soluções de Cr(VI). Os dados de equilíbrio da adsorção foram ajustados satisfatoriamente pela isoterma de Langmuir (R²=0,988), tipo favorável. A partir da cinética de adsorção a 5mg/L e 20mg/L, os resultados obtidos foram compatíveis com o valor limite preconizado na legislação nacional (Res. nº 357/05). Portanto, para o sistema experimental utilizando CAG foi eficiente na remoção de Cr(VI) a partir de correntes líquidas contendo baixas concentrações do metal.

La estabilidad del frente de excavación de un túnel en terrenos heterogéneos o con un criterio de rotura no-lineal

El frente de un túnel puede colapsar si la presión aplicada sobre el es inferior a un valor limite denominado presión “critica” o “de colapso”. En este trabajo se desarrolla y presenta un mecanismo de rotura rotacional generado punto a punto para el cálculo de la presión de colapso del frente de túneles excavados en terrenos estratificados o en materiales que siguen un criterio de rotura nolineal. La solución propuesta es una solución de contorno superior en el marco del Análisis Límite y supone una generalización del mecanismo de rotura mas reciente existente en la bibliografía. La presencia de un terreno estratificado o con un criterio de rotura no-lineal implica una variabilidad espacial de las propiedades resistentes. Debido a esto, se generaliza el mecanismo desarrollado por Mollon et al. (2011b) para suelos, de tal forma que se puedan considerar valores locales del ángulo de rozamiento y de la cohesión. Además, la estratificación del terreno permite una rotura parcial del frente, por lo que se implementa esta posibilidad en el mecanismo, siendo la primera solución que emplea un mecanismo de rotura que se ajusta a la estratigrafía del terreno. Por otro lado, la presencia de un material con un criterio de rotura no-lineal exige introducir en el modelo, como variable de estudio, el estado tensional en el frente, el cual se somete al mismo proceso de optimización que las variables geométricas del mecanismo. Se emplea un modelo numérico 3D para validar las predicciones del mecanismo de Análisis Limite, demostrando que proporciona, con un esfuerzo computacional significativamente reducido, buenas predicciones de la presión critica, del tipo de rotura (global o parcial) en terrenos estratificados y de la geometría de fallo. El mecanismo validado se utiliza para realizar diferentes estudios paramétricos sobre la influencia de la estratigrafía en la presión de colapso. Igualmente, se emplea para elaborar cuadros de diseño de la presión de colapso para túneles ejecutados con tuneladora en macizos rocosos de mala calidad y para analizar la influencia en la estabilidad del frente del método constructivo. Asimismo, se lleva a cabo un estudio de fiabilidad de la estabilidad del frente de un túnel excavado en un macizo rocoso altamente fracturado. A partir de el se analiza como afectan las diferentes hipótesis acerca de los tipos de distribución y de las estructuras de correlación a los resultados de fiabilidad. Se investiga también la sensibilidad de los índices de fiabilidad a los cambios en las variables aleatorias, identificando las mas relevantes para el diseño. Por ultimo, se lleva a cabo un estudio experimental mediante un modelo de laboratorio a escala reducida. El modelo representa medio túnel, lo cual permite registrar el movimiento del material mediante una técnica de correlación de imágenes fotográficas. El ensayo se realiza con una arena seca y se controla por deformaciones mediante un pistón que simula el frente. Los resultados obtenidos se comparan con las estimaciones de la solución de Análisis Límite, obteniéndose un ajuste razonable, de acuerdo a la literatura, tanto en la geometría de rotura como en la presión de colapso. A tunnel face may collapse if the applied support pressure is lower than a limit value called the ‘critical’ or ‘collapse’ pressure. In this work, an advanced rotational failure mechanism generated ‘‘point-by-point” is developed to compute the collapse pressure for tunnel faces in layered (or stratified) grounds or in materials that follow a non-linear failure criterion. The proposed solution is an upper bound solution in the framework of limit analysis which extends the most advanced face failure mechanism in the literature. The excavation of the tunnel in a layered ground or in materials with a non-linear failure criterion may lead to a spatial variability of the strength properties. Because of this, the rotational mechanism recently proposed by Mollon et al. (2011b) for Mohr-Coulomb soils is generalized so that it can consider local values of the friction angle and of the cohesion. For layered soils, the mechanism needs to be extended to consider the possibility for partial collapse. The proposed methodology is the first solution with a partial collapse mechanism that can fit to the stratification. Similarly, the use of a nonlinear failure criterion introduces the need to introduce new parameters in the optimization problem to consider the distribution of normal stresses along the failure surface. A 3D numerical model is employed to validate the predictions of the limit analysis mechanism, demonstrating that it provides, with a significantly reduced computational effort, good predictions of critical pressure, of the type of collapse (global or partial) in layered soils, and of its geometry. The mechanism is then employed to conduct parametric studies of the influence of several geometrical and mechanical parameters on face stability of tunnels in layered soils. Similarly, the methodology has been further employed to develop simple design charts that provide the face collapse pressure of tunnels driven by TBM in low quality rock masses and to study the influence of the construction method. Finally, a reliability analysis of the stability of a tunnel face driven in a highly fractured rock mass is performed. The objective is to analyze how different assumptions about distributions types and correlation structures affect the reliability results. In addition, the sensitivity of the reliability index to changes in the random variables is studied, identifying the most relevant variables for engineering design. Finally, an experimental study is carried out using a small-scale laboratory model. The problem is modeled in half, cutting through the tunnel axis vertically, so that displacements of soil particles can be recorded by a digital image correlation technique. The tests were performed with dry sand and displacements are controlled by a piston that supports the soil. The results of the model are compared with the predictions of the Limit Analysis mechanism. A reasonable agreement, according to literature, is obtained between the shapes of the failure surfaces and between the collapse pressures observed in the model tests and computed with the analytical solution.

Influência dos parâmetros operacionais no comportamento dinâmico de chumaceiras axiais de esmagamento de película compressível

No presente trabalho são estudadas chumaceiras axiais de esmagamento de película compressível. A lubrificação deste componente mecânico, é conseguida por meio de um fluido gasoso justificando a obtenção de soluções por via de experimentação numérica, uma vez que atualmente ainda não é possível recorrer-se a métodos analíticos. Através da simulação numérica, analisa-se a influência de alguns parâmetros operacionais na resposta deste tipo de chumaceira. Na análise dos resultados verifica-se que a posição média final do elemento suportado é independente da espessura de película inicial utilizada, desde que esta não ultrapasse o valor limite em que a pressão gerada não consiga fazer face à aceleração da massa durante a fase descendente, resultando no contacto entre as superfícies dos elementos da chumaceira. A utilização de frequências elevadas é recomendável uma vez que promove uma maior separação de superfícies, menor dissipação de energia por parte da película lubrificante e menor amplitude de oscilação do elemento suportado, embora com as desvantagens do período transiente ser superior e do ganho do afastamento do elemento suportado se reduzir significativamente, seguindo um modelo assimptótico. Em condições de pressão constante e frequência elevada, o sistema, com o aumento da massa, reage de forma a permitir uma melhor lubrificação da chumaceira e a reduzir a oscilação do elemento suportado. Por outro lado, a rigidez do sistema aumenta fazendo face a uma possível sobrecarga.

Componentes poliméricos de alto desempenho para a indústria automóvel

Atualmente, a utilização e as diversas aplicações de materiais poliméricos seguem tendências crescentes, pelo que se torna necessário aprofundar a compreensão do seu comportamento e funcionalidades. Neste contexto, na presente dissertação analisa-se a fabricação e características de rolamentos poliméricos para a suspensão automóvel. Estes rolamentos visam a substituição dos clássicos rolamentos metálicos. Esta substituição tem por objetivos garantir a melhoria do funcionamento dos rolamentos, bem como o seu usufruto, contribuindo para um maior conforto e segurança dos passageiros e para uma redução do peso do veículo, com consequente diminuição do consumo do combustível e melhoria da eficiência. Sendo o poliacetal (POM) e a poliamida (PA) considerados polímeros de alto desempenho, estes polímeros reúnem boas características para aplicação na fabricação de dispositivos com funcionalidades exigentes como é o caso dos rolamentos. O presente trabalho aborda o estudo de algumas das suas propriedades, de modo a obter informações relevantes quanto à respetiva aplicação em rolamentos de suspensão, tendo como foco principal a análise da matéria-prima utilizada. Deste modo, alteraram-se as formulações variando-se os teores de material virgem e reciclado, estudou-se o ser comportamento mecânico, reológico e térmico: fizeram-se análises reológicas através do estudo do MFI a fim de se obterem informações complementares ao estudo mecânico, realizaram-se análises térmicas para avaliar a possibilidade de degradação térmica do material e, no caso da PA66-30GF, recorreu-se à microscopia eletrónica de varrimento para se estudar os aspetos microestruturais deste compósito reforçado com fibra de vidro. Adicionalmente, procedeu-se à análise da rugosidade superficial dos componentes dos rolamentos e quantificou-se o torque dos mesmos. A partir dos estudos anteriores, foi possível concluir que o POM apresenta um comportamento mecânico estável mesmo utilizando uma formulação com 100% de material reciclado. Este comportamento não se verificou na PA6630GF, dado que as suas propriedades mecânicas são afetadas de forma significativa pelo teor de reciclado na formulação. Com o estudo do torque determinou-se o valor limite do momento de torsão do rolamento que garante o seu bom funcionamento e eficácia.

Detecção e análise de áreas queimadas por meio da normalização de séries temporais MODIS na região do Jalapão

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Humanas, Departamento de Geografia, Programa de Pós-Graduação em Geografia, 2015.

Caracterização da variação do índice de resistência renal e o seu potencial papel como fator de diagnóstico precoce na doença renal em Felis catus

Dissertação de Mestrado Integrado em Medicina Veterinária

Exposição ocupacional a formaldeído: avaliação da exposição e efeitos genotóxicos

O formaldeído (FA) foi classificado, em 2004, pela International Agency for Cancer Research como agente cancerígeno. Este agente químico ocupa a 25ª posição em toda a produção química dos Estados Unidos da América, com mais de 5 milhões de toneladas produzidas por ano. Devido à sua importância económica e uso diversificado, muitos indivíduos estão expostos profissionalmente a FA. Com o estudo desenvolvido pretendeu‑se avaliar a exposição a FA em dois contextos ocupacionais distintos – na produção de FA e resinas e em laboratórios de anatomia patológica (AP) e relacionar com eventuais efeitos para a saúde, comparando a frequência de micronúcleos (MN) em linfócitos do sangue periférico e em células esfoliadas da mucosa bucal dos trabalhadores expostos a FA com indivíduos não expostos (controlos). Como amostra foram estudados 80 trabalhadores ocupacionalmente expostos a FA: 30 trabalhadores da fábrica de produção de FA e resinas e 50 trabalhadores de 10 laboratórios de AP. Foi constituído um grupo controlo de 85 indivíduos com atividades profissionais que não envolviam a exposição a formaldeído ou qualquer outro agente químico com propriedades genotóxicas. Aplicaram‑se duas metodologias distintas de avaliação ambiental do FA com o objetivo de conhecer a exposição profissional. Compararam‑se os resultados obtidos com os valores limite para a exposição média ponderada (TLV‑TWA=0,75 ppm) e para a concentração máxima (VLE‑CM=0,3 ppm). A totalidade dos laboratórios apresentou resultados superiores ao valor de referência existente para a concentração máxima. Nenhum dos resultados obtidos para a exposição média ponderada foi superior ao valor de referência. O exame macroscópico obteve os valores das concentrações máximas mais elevadas em 90% dos laboratórios. Os valores de MN foram mais elevados nos indivíduos expostos a FA comparativamente com os controlos. No caso dos MN nos linfócitos, a média foi de 3,96 nos expostos e de 0,81 nos não expostos. Os MN nas células esfoliadas da boca apresentaram uma média de 0,96 nos expostos e de 0,16 nos controlos. Os resultados obtidos nesta acção de biomonitorização podem revelar‑se particularmente úteis para as organizações responsáveis em definir os níveis aceitáveis para a exposição humana a FA. ABSTRACT: Since 2004, formaldehyde (FA) has been classified by the International Agency for Cancer Research as a carcinogen. The FA ranks 25th in the overall United States chemical production, with more than 5 million tons produced each year. Due to its economic importance and varied use, many individuals are exposed to FA at their occupational settings. This study aimed to assess the exposure to FA in two occupational settings – FA production factory and pathology anatomy (PA) laboratories – and relate it to possible health effects by comparing frequency of micronuclei (MN) in peripheral blood lymphocytes and exfoliated cells from the oral mucosa of workers exposed to FA with individuals not exposed to this agent (controls). This study was performed in 80 workers occupationally exposed to FA: 30 workers of the FA factory and 50 workers in 10 PA laboratories. The control group comprised 85 subjects without exposure. We have applied two different methodologies for environmental monitoring of FA. The results were compared with the reference to the exposure weighted average (TLV‑TWA = 0.75 ppm) and ceiling concentration (VLE‑MC = 0.3 ppm). All laboratories had results higher than the reference value to CM (1.41 ppm). None of the results obtained for the TWA exposure (0.16 ppm) were higher than the reference value. Macroscopic examination obtained the highest values of CM in 90% of laboratories. MN values were higher in individuals exposed to FA as compared to controls. As for MN in lymphocytes, the average was 3.96 in exposed compared with 0.81 in the unexposed. The MN in exfoliated cells of the buccal mucosa had an average of 0.96 in exposed, compared with 0.16 in controls. The results of this biomonitoring can be particularly useful to organizations responsible for defining acceptable levels for human exposure to FA.

Reajustando o limite de tolerância biológica aplicado à plumbemia no Brasil

Foram alocados aleatoriamente vinte trabalhadores expostos ocupacionalmente ao chumbo em uma indústria de acumuladores elétricos de médio porte, no interior do Estado de São Paulo, os quais apresentavam plumbemia e excreção urinária do ácido delta-aminolevulínico, nos últimos dois anos, sempre menores que 60 µg/dL e 10 mg/L, respectivamente. Os trabalhadores foram submetidos a eletroneurografia do nervo radial direito e a dosagem de plumbemia. Com estas medidas ajustou-se um modelo de regressão linear simples de primeira ordem, tendo como variável dependente a velocidade de condução e como variável independente a plumbemia. Analisando-se a regressão ajustada, infere-se que o valor preditivo negativo do limite de tolerância biológica brasileiro aplicado à plumbemia seja de apenas 0,63. O estudo sugere que o valor do referido limite de tolerância deva ser reduzido do atual valor de 60 µg/dL para 32 µg/dL, para ter um valor preditivo negativo de 0,99.