Em direção a uma representação para equações algébricas :uma lógica equacional local

The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Acióly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras

Especificação do tipo intervalar parametrizado em CASL

The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization

Benefícios econômicos agregados às propriedades urbanas pelas paisagens naturais

Amenities value provided by green areas, sea, river and natural landscapes are hardly perceived and incorporated on urban planning and development. In this work, distance and view to protected and non-protected green areas, sea and river were evaluated as to how they increase the housing prices in Natal. Hedonic pricing methods were used with linear models to estimate the marginal implicit value of environmental, residential and neighborhood features. Results on Chapter 1 demonstrate the view to the sea and protected natural areas were largely capitalized on housing prices, while non-protected natural areas didn t display such effect. Housing prices also increase when close to the sea or to parks entrance. However, housing prices fall when houses are near non-protected natural areas. When estates with sea view were excluded, the protected natural areas view and a longer distance to non-protected natural areas increased dwelling prices. Results on Chapter 2 point the sea view as an hedonic variable the contributes strongly to the property selling prices, even though not always as the greatest contributor; furthermore, the property proximity to Dunas Park or City of the Park entrance increases its price, as does closeness to Dunas Park, view to City of the Park or Dunas Park. On the other hand, selling prices diminish if properties are close to City of the Park or Morro do Careca. Results on this study confirm the hedonic pricing methods is an important intrument, capable of revealing to popullation the importance of enviromental amenities and can be used by public managers for creating public policies for conservation and restoration projects

Triagem antifúngica de extratos obtidos de espécies vegetais do nordeste brasileiro

The increase in the incidence of fungal infections due to the drug-resistance or to the number of patients with immune alterations such as AIDS, chemotherapy or organ transplantation, has done the research necesseray for new antifungal drugs. The species from Northeastern Brazil may become an important source of innovative natural molecules. To evaluate the antifungal activity of 10 medicinal plants from Northeastern Brazil, traditionally used as antimicrobial agents, 30 crude extracts (CE) were tested in vitro against four standard species of Candida spp. The CE most promising of these plants were evaluated against yeasts of the oral cavity of kidney transplant patients and through a bioassay-guided fractionation. The extracts form leaves of E. uniflora, the stem bark of L. ferrea and leaves of P. guajava showed significant activity against all yeasts evaluated, with MIC values between 15.62 and 62.5 μg/mL. E. uniflora also showed fungicidal properties against all yeasts, especially against Candida dubliniensis. In patients with immune systems compromised, such as transplanted, oral candidiasis manifests mainly due to immunosuppressive therapy, and resistance to conventional antifungals. The CE of E. uniflora presented range of MIC values between 1.95 to 1000 μg/mL, and lower MIC50 and MIC90 values were observed against C. non-albicans. Due the better results, the CE of E. uniflora was elected to performe the bioassay-guided fractionation. Thus it was possible to obtain enriched fractions, which showed good inhibitory ability against ATCC strains of Candida spp. It was also possible to perform experiments to verify the production of biofilm in two strains of C. dubliniensis and action of extracts and fractions on the same. With this, we observed a behavior between the yeast ATCC and clinical isolate. In addition, CE, fractions and subfractions of E. uniflora inhibit planktonic cells to preventing the growth of biofilm. The preliminary chemical characterization of the fractions obtained revealed the presence of polyphenols (especially flavonoids and tannins). Finally, the results suggests that among the plant species studied, E. uniflora showed a pattern very promising as regards the antifungal, requiring further study of purification and structural elucidation of compounds in order to verify that the antifungal effect found can be attributed to a specific compound or some mechanism depends on synergistic the mixture of polyphenols

Surto de polioencefalomalacia por ingestão excessiva de enxofre na dieta em bezerros no Rio Grande do Sul

Neste trabalho descreve-se surto de polioencefalomalacia em bovinos decorrente da ingestão de dieta com excessiva concentração de enxofre em uma propriedade no Rio Grande do Sul. O lote era composto por 30 bezerros, mantidos em um piquete com azevém (Lolium multiflorum) e suplementados com ração e sal mineral. Seis bezerros morreram e dois deles foram necropsiados; amostras de tecido hepático para dosagem de chumbo e fragmentos do sistema nervoso central para histopatológico foram colhidos. Um dos bezerros foi examinado antes da morte e sinais neurológicos encefálicos foram constatados. Foi estabelecido o teor de enxofre nos componentes da dieta e água, a produção de sulfeto de hidrogênio ruminal em cinco bovinos do mesmo lote e realizada PCR de um bloco de parafina para detecção de DNA do herpevirus bovino tipo 5. O consumo total de enxofre foi de 0,38% da matéria seca fornecida aos animais e as dosagens de sulfeto de hidrogênio ruminal em animais do mesmo lote variaram de 1.000 a 2.500ppm. Os achados histopatológicos indicaram necrose laminar do córtex cerebral. Não foi detectado chumbo na amostra de tecido hepático e não foi identificado DNA do herpesvirus bovino tipo 5 no encéfalo. O quadro clínico de síndrome cerebrocortical associado aos elevados valores do sulfeto de hidrogênio ruminal, alta ingestão de enxofre na dieta e os achados histopatológicos permitem estabelecer o excesso de enxofre como causador da polioencefalomalacia.

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

Análise do Efeito Goos-Hanchen e Não-reciprocidade do fluxo de potência em antiferromagnéticos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Método de Projeções Ortogonais

The problem treated in this dissertation is to establish boundedness for the iterates of an iterative algorithm in 2, under some technical conditions. However, this paper uses non-trivial intuitive arguments and its proofs lack suficient rigor. In this dissertation we discuss and strengthen the results of this paper, in order to complete and simplify its proofs

Recuperação de sinais esparsos. Investigação numérica sobre a quantidade de medidas necessárias para recuperar um sinal esparso

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

AVALIAÇÃO DE DUAS METODOLOGIAS DE EXPANSÃO AO FORNO do POLVILHO AZEDO

Duas metodologias de expansão ao forno foram comparadas em 52 amostras de polvilho azedo de três Estados: Santa Catarina, Paraná e Minas Gerais. Os resultados obtidos permitiram visualizar uma proposta de classificação em nível nacional da expansão ao forno do polvilho azedo. No método instrumental foi usado o Farinógrafo Brabender para estabelecer uma massa de consistência padrão de 60UF e no método prático, a consistência semelhante da massa foi determinada de forma empírica. Com a metodologia instrumental obteve-se biscoitos com expansão superior à metodologia prática, mas maior coeficiente de variação, o que pode ser devido a maior sensibilidade do método. Ambas as metodologias poderão ter aplicação, dependendo da finalidade. A metodologia instrumental, pelo custo do equipamento, é mais adequada para laboratórios, desde que se utilize maior número de repetições, para reduzir o coeficiente de variação. Ambas as metodologias ensaiadas permitiram classificar as amostras com o mesmo perfil de desempenho. As amostras provenientes do Estado do Paraná apresentaram as maiores expansões ao forno quando comparados com os outros Estados. Pela metodologia prática a expansão média das amostras do Estado do Paraná foi de 14,1mL/g. As amostras do Estado de Minas Gerais apresentaram as menores expansões ao forno, em média de 13,3mL/g. Foi proposta neste artigo uma classificação para avaliar a qualidade do polvilho azedo, complementando a legislação brasileira que não estabelece este índice para o produto. Quanto à propriedade de expansão ao forno, as amostras avaliadas podem ser divididas em 3 tipos A, B e C. No tipo A (10%) amostras de polvilhos azedo são classificadas como qualidade extra, no tipo B (80%) os polvilhos são de média qualidade e o tipo C (10%) de qualidade inferior. Os resultados obtidos pela metodologia prática permitiram estabelecer como tipo A o polvilho azedo que apresenta um índice de expansão ao forno superior a 16,0mL/g, o tipo B o polvilho com índice de expansão entre 12,0mL/g a 16,0mL/g e o tipo C o polvilho com índice de expansão menor que 12,0mL/g.

Características físico-químicas de amidos modificados de grau alimentício comercializados no Brasil

Amidos nativos e modificados têm grande importância na indústria de alimentos, sendo empregados principalmente como espessantes e/ou estabilizantes. As limitações das pastas e géis obtidos a partir de amidos nativos tornaram necessário o desenvolvimento de muitos tipos de amidos modificados para aplicações alimentícias. Neste trabalho, algumas amostras de amidos modificados (n=20) disponíveis no Brasil foram recebidas de empresas produtoras e analisadas em relação a algumas características físico-químicas e propriedades tecnológicas. Um levantamento do uso de amidos modificados em alimentos também é apresentado, revelando crescente interesse pela indústria nesses ingredientes. Constatou-se que, enquanto alguns alimentos industrializados, como maioneses contêm em suas formulações amidos modificados, outros como condimento preparado de mostarda contêm apenas amido nativo. As análises físico-químicas permitiram concluir que alguns amidos modificados apresentavam teores elevados de acidez, relacionados à presença de reagentes utilizados em sua obtenção, não havendo presença de carboxilas nas suas macromoléculas. de maneira geral, os resultados de algumas propriedades tecnológicas avaliadas, tais como viscosidade aparente das pastas, resistência a congelamento/descongelamento e propriedade de expansão, estavam de acordo com a descrição dos produtos. As fontes mais observadas nas modificações foram, em ordem decrescente de importância, a mandioca, o milho ceroso e o milho regular.

Efeito de parâmetros de extrusão na cor E propriedades de pasta da farinha de mandioquinha-salsa (Arracacia xanthorrhiza)

Processou-se neste trabalho a farinha de mandioquinha-salsa (Arracacia xanthorrhiza Bancr.) em uma linha de extrusão (mono rosca) variando as condições operacionais: umidade da farinha (11-19%), temperatura de extrusão (86-154ºC) e taxa de rotação da rosca (136-272rpm). Os parâmetros de cor analisados foram luminosidade (L*) e os componentes de cromaticidade a* e b*. Os parâmetros de propriedade de pasta analisados foram viscosidade inicial, pico de viscosidade, quebra de viscosidade, tendência a retrogradação e viscosidade final. Os resultados obtidos mostraram que a umidade da matéria-prima interferiu nos componentes de cor das farinhas com efeito significativo sobre a luminosidade e croma a*, e a temperatura interferiu no croma b* . Quanto ao efeito dos parâmetros de processo sobre as propriedades de pasta, a umidade interferiu nas viscosidades inicial e final dos produtos, pico e quebra de viscosidade, enquanto a temperatura de extrusão e a rotação da rosca tiveram influência sobre a tendência a retrogradação e viscosidade final dos produtos.

O cuidado em saúde no ciclo gravídico-puerperal sob a perspectiva de usuárias de serviços públicos

O objetivo do trabalho foi apreender as representações sociais de puérperas sobre o cuidado em saúde no período pré-natal, no parto e no puerpério, em um contexto regional de serviços públicos de saúde do interior paulista. Seguindo a abordagem de pesquisa qualitativa, os dados foram colhidos por meio de entrevistas semi-estruturadas, realizadas em 2004, e organizados segundo o método do Discurso do Sujeito Coletivo, tendo o Programa de Humanização do Pré-natal e Nascimento (PHPN) como referencial teórico para discussão dos resultados. A perspectiva das puérperas sobre o cuidado em saúde no ciclo gravídico-puerperal evidenciou a importância das relações interpessoais, a essencialidade da qualidade técnica do atendimento e a propriedade da percepção de que o sujeito da atenção é a mulher e, como tal, dela deve participar efetivamente. Conclui-se que as diretrizes do PHPN devem ser incorporadas de forma mais ampla nas práticas de saúde voltadas à mulher, recomendando-se a adoção de indicadores específicos para avaliação das dimensões do cuidado evidenciadas por este estudo.

A reprodução do espaço da pequena produção rural familiar em Canguaretama/RN

This study aimed to explore the process of reproduction of space from the small family farm production in the municipality of Canguaretama, specifically focused on foodstuffs of plant origin, seeking to understand the changes in agrarian space canguaretamense and its impact on small family farms the last 35 years. Since colonization, during the seventeenth century, the production of space agrarian Canguaretama was founded under a structure based on large ownership and cultivation of cane sugar. Secondly, it was being built a small space reserved for food production to meet both the consumption of property, but also for local marketing. In the centuries following the changes in the capitalist system imposed a new dynamic for small food production, mostly in the early twentieth century, with processing plants and mills in the area extending toward the cultivation of sugarcane. In the second half of that century, mainly in the 1980s, the cultivation of cane sugar was encouraged to produce alcohol, which led to a further expansion of sugar cane toward the areas targeted for the production of foodstuffs. Currently, the framework of small food production differs little from the period of colonization in relation to the difficulties faced by this segment of agriculture. Thus, we have a reality based on socio-spatial inequality, and the near absence of the Government, which requires urgent implementation of public policies for the production and organization of small producers into associations or cooperatives to improve the productivity and hence in their standards of living and their families

O circuito espacial da indústria de cerâmica vermelha no seridó potiguar

This research has as an empirical universe, the productive territory of red ware in the Seridó region of Rio Grande do Norte. In the last years this territory has gone through a process of appropriation that has been substantially changing the environmental and social dynamism of the place. However, the industry of red ware has been focusing in some areas, mainly, in the county of Parelhas and Carnaúba dos Dantas. From this point of view, the aim of this work consists in analyze the use of these areas by the red ware industry and the transformations occurred with the expansion of the number of industries and the productivity raise, that requires bigger amounts of earthenware and wood, resources that are low in referred territory. As the result of this process, the suitable alternative has been to acquire inputs in other Rio Grande do Norte counties, as well as in Paraíba counties. To reach the proposed objective, the methodology of this work was consisted of bibliographic and empirical research, regarding the occupation that this activity covers in the Seridó region. From the information obtained during the research, it can be stated that the inputs to the production execution in the red ware industry are acquired in the geographic nearby lands. The analysis of the stages of the production(acquisition of raw material, production and commercialization) showed that the activity acts in a continuous area, having as principal consumer market other northeastern states and the state of Pará. The present study revealed that the pottery activity is set as untenable, because of non-stopping use of the argil and wood, resources that are vanishing from the area, which consume causes a many problems such as deforestation and erosion. Besides, the sale of productive lands for the red ware industries makes harder its good use by the familiar agriculturists in the development of agriculture and cattle raising activity, which for many times is the main economic activity of the place. The precariousness reveals in the constant accidents at work, that most of them are neglected by the local authorities, without any penalty to the industries. Therefore, the industry of red ware in Seridó uses the territory as a resource, leaving its environmental problems that my compromise the quality of life of the actual and future generations