A Linguagem de Especificação algébrica CASL e o Tipo de Dados Intervalos

Na computação científica é necessário que os dados sejam o mais precisos e exatos possível, porém a imprecisão dos dados de entrada desse tipo de computação pode estar associada às medidas obtidas por equipamentos que fornecem dados truncados ou arredondados, fazendo com que os cálculos com esses dados produzam resultados imprecisos. Os erros mais comuns durante a computação científica são: erros de truncamentos, que surgem em dados infinitos e que muitas vezes são truncados", ou interrompidos; erros de arredondamento que são responsáveis pela imprecisão de cálculos em seqüências finitas de operações aritméticas. Diante desse tipo de problema Moore, na década de 60, introduziu a matemática intervalar, onde foi definido um tipo de dado que permitiu trabalhar dados contínuos,possibilitando, inclusive prever o tamanho máximo do erro. A matemática intervalar é uma saída para essa questão, já que permite um controle e análise de erros de maneira automática. Porém, as propriedades algébricas dos intervalos não são as mesmas dos números reais, apesar dos números reais serem vistos como intervalos degenerados, e as propriedades algébricas dos intervalos degenerados serem exatamente as dos números reais. Partindo disso, e pensando nas técnicas de especificação algébrica, precisa-se de uma linguagem capaz de implementar uma noção auxiliar de equivalência introduzida por Santiago [6] que ``simule" as propriedades algébricas dos números reais nos intervalos. A linguagem de especificação CASL, Common Algebraic Specification Language, [1] é uma linguagem de especificação algébrica para a descrição de requisitos funcionais e projetos modulares de software, que vem sendo desenvolvida pelo CoFI, The Common Framework Initiative [2] a partir do ano de 1996. O desenvolvimento de CASL se encontra em andamento e representa um esforço conjunto de grandes expoentes da área de especificações algébricas no sentido de criar um padrão para a área. A dissertação proposta apresenta uma especificação em CASL do tipo intervalo, munido da aritmética de Moore, afim de que ele venha a estender os sistemas que manipulem dados contínuos, sendo possível não só o controle e a análise dos erros de aproximação, como também a verificação algébrica de propriedades do tipo de sistema aqui mencionado. A especificação de intervalos apresentada aqui foi feita apartir das especificações dos números racionais proposta por Mossakowaski em 2001 [3] e introduz a noção de igualdade local proposta por Santiago [6, 5, 4]

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

Algoritmos de agrupamentos fuzzy intervalares e índice de validação para agrupamento de dados simbólicos do tipo intervalo

Symbolic Data Analysis (SDA) main aims to provide tools for reducing large databases to extract knowledge and provide techniques to describe the unit of such data in complex units, as such, interval or histogram. The objective of this work is to extend classical clustering methods for symbolic interval data based on interval-based distance. The main advantage of using an interval-based distance for interval-based data lies on the fact that it preserves the underlying imprecision on intervals which is usually lost when real-valued distances are applied. This work includes an approach allow existing indices to be adapted to interval context. The proposed methods with interval-based distances are compared with distances punctual existing literature through experiments with simulated data and real data interval

Contribuição da glicemia pós-desjejum para o controle glicêmico do paciente com diabetes melito tipo 2

Estudos epidemiológicos observaram que glicemias pós-prandiais (GPPs) elevadas são fator principal na ocorrência de doenças cardiovasculares. Sabe-se que a hemoglobina glicada (HbA1C) reflete a glicemia média dos últimos 2-3 meses, entretanto é controversa a contribuição relativa da glicemia de jejum (GJ) e GPP para o valor da HbA1C. OBJETIVO: Avaliar a contribuição da GJ e GPPs para o valor da HbA1C em pacientes com diabetes melito tipo 2 (DM2). MÉTODOS: Participaram 53 indivíduos com DM2, estáveis e em tratamento com antidiabéticos orais (n= 27) e/ou insulina (n= 26). Cada paciente comparecia a 3 visitas a intervalos de 2 meses. em cada visita era medida a GJ, as GPPs (2h pós-desjejum: GPD e pós-almoço: GPA) e a HbA1C, sendo fornecido o desjejum e o almoço segundo seus hábitos alimentares. Mediu-se a glicose plasmática pela glicose-oxidase e a HbA1C, pela cromatografia de troca iônica. Realizou-se a análise das associações pelo coeficiente de correlação de Spearman, com P< 0,05. RESULTADOS: A HbA1C correlacionou-se melhor em cada visita ao longo do estudo com a GPD (r: 0,66­0,48), a glicemia média (r: 0,64­0,41), a área abaixo da curva glicêmica (r : 0,64­0,46) e a GPP média (r: 0,59­0,41). CONCLUSÕES: A GPD mostrou-se um parâmetro eficaz adicional no monitoramento glicêmico dos pacientes com DM2.

Ativação das células hepáticas estreladas e fibrose hepática em crianças portadoras de hepatite autoimune tipo 1: estudo imuno-histoquímico de biópsias hepáticas pareadas antes do tratamento e após a remissão clínica

The activation of hepatic stellate cells (HSC) is considered the most important event in hepatic fibrogenesis. The precise mechanism of this process is unknown in autoimmune hepatitis (AIH), and more evidence is needed on the evolution of fibrosis. The aim of this study was to assess these aspects in children with type 1 AIH. We analyzed 16 liver biopsy samples from eight patients, paired before treatment and after clinical remission, performed an immunohistochemical study with anti-actin smooth muscle antibody and graded fibrosisand inflammation on a scale of 0:4 (Batts and Ludwig scoring system). We observedthere was no significant reduction in fibrosis scores after 24± 18 months (2.5 ± 0.93 vs. 2.0± 0.53, P = 0.2012). There was an important decrease in inflammation: portal (2.6 ±0.74 vs. 1.3± 0.89, P = 0.0277), periportal/periseptal (3.0 ±0.76 vs. 1.4 ± 1.06, P = 0.0277), and lobular (2.8 ± 1.04 vs. 0.9± 0.99, P =0.0179). Anti-actin smooth muscle antibodies were expressed in the HSC of the initial biopsies (3491.93 ±2051.48 lm2), showing a significant reduction after remission (377.91 ±439.47 lm2) (P = 0.0117). HSC activation was demonstrated in the AIH of children. The reduction of this activation after clinical remission, which may precede a decrease in fibrosis, opens important perspectives in the follow-up of AIH.

Algoritmos e Arquiteturas VLSI para Detectores MIMO com Decisão Suave

The use of Multiple Input Multiple Output (MIMO) systems has permitted the recent evolution of wireless communication standards. The Spatial Multiplexing MIMO technique, in particular, provides a linear gain at the transmission capacity with the minimum between the numbers of transmit and receive antennas. To obtain a near capacity performance in SM-MIMO systems a soft decision Maximum A Posteriori Probability MIMO detector is necessary. However, such detector is too complex for practical solutions. Hence, the goal of a MIMO detector algorithm aimed for implementation is to get a good approximation of the ideal detector while keeping an acceptable complexity. Moreover, the algorithm needs to be mapped to a VLSI architecture with small area and high data rate. Since Spatial Multiplexing is a recent technique, it is argued that there is still much room for development of related algorithms and architectures. Therefore, this thesis focused on the study of sub optimum algorithms and VLSI architectures for broadband MIMO detector with soft decision. As a result, novel algorithms have been developed starting from proposals of optimizations for already established algorithms. Based on these results, new MIMO detector architectures with configurable modulation and competitive area, performance and data rate parameters are here proposed. The developed algorithms have been extensively simulated and the architectures were synthesized so that the results can serve as a reference for other works in the area

Estimador do Tipo Núcleo para Densidades Limites de Cadeias de Markov com Espaço de Estados Geral

In this work we studied the consistency for a class of kernel estimates of f f (.) in the Markov chains with general state space E C Rd case. This study is divided into two parts: In the first one f (.) is a stationary density of the chain, and in the second one f (x) v (dx) is the limit distribution of a geometrically ergodic chain

Estimadores do tipo núcleo para a densidade de transição de uma cadeia de markov com espaço de estados geral

In this work, we studied the strong consistency for a class of estimates for a transition density of a Markov chain with general state space E ⊂ Rd. The strong ergodicity of the estimates for the density transition is obtained from the strong consistency of the kernel estimates for both the marginal density p(:) of the chain and the joint density q(., .). In this work the Markov chain is supposed to be homogeneous, uniformly ergodic and possessing a stationary density p(.,.)

Sistemas de dunas do parque das Dunas e Barreiras do Inferno/Natal (RN: levantamento geológico /geofísico, elaboração do modelo deterministico e avaliação da vulnerabilidade/suscetibilidade

The current work was developed on the dune systems of the Parque das Dunas and Barreira do Inferno. These places are located in the cities of Natal and Parnamirim (RN, Brazil), respectively. This project has the purpose of developing the deterministic model on a specific blowout at Parque das Dunas, based in the geophysical interpretations of the lines gotten with the Ground Penetration Radar and the planialtimetric acquisitions of the topographical surface of the land. Also analyses of the vulnerability/susceptibility of these dune systems had been done in relation to the human pressures. To develop its deterministic model, it is necessary to acquire inner and outer geometries of the cited blowout. In order to depict inner geometries underneath the surface are used the GPR observing the altimetric control for topographical correction of the GPR lines. As for the outer geometries, the geodesic GPS gives us the planialtimetric points (x, y and z points) with milimetric precision, resulting in high-resolution surfaces. Using interpolation methods of the planialtimetric points was possible create Digital Elevations Models (DEM´s) of these surfaces. As a result, 1,161.4 meters of GPR lines were acquired on the blowout at the Parque das Dunas and 3,735.27 meters on the blowout at the Barreira do Inferno. These lines had been acquired with a 200 MHz antenna, except the 7 and 8 lines, for which we had been used a 100 MHz antenna. The gotten data had been processed and interpreted, being possible to identify boundary surfaces of first, second and third order. The first order boundary surface is related with the contact of the rocks of the Barreiras Group with the aeolian deposits. These deposits had been divided in two groups (Group 1 and Group 2) which are related with the geometry of stratum and the dip of its stratifications. Group 1 presented stratum of sigmoidal and irregular geometries and involved bodies where the reflectors had presented dips that had varied of 20 to the 28 degrees for the Parque das Dunas blowout and of 22 to the 29 degrees for the Barreira do Inferno blowout. Usually, it was limited in the base for the first order surface and in the top for the second order surface. Group 2 presented stratum of trough, wedge or lens geometries, limited in the base for the second order vi surface, where the corresponding deposits had more shown smoothed reflectors or with dips of low angle. The Deterministic and Digital Elevation Models had been developed from the integration and interpretation of the 2D data with the GOCAD® program. In Digital Elevations Models it was possible to see, for the localities, corridor or trough-shaped blowouts. In Deterministic Model it was possible to see first and second order boundary surfaces. For the vulnerability/susceptibility of the dune systems it was applied the methodology proposal by Boderè al (1991); however the same one did not show adequate because it evaluates actual coastal dunes. Actual coastal dunes are dunes that are presented in balance with the current environmental conditions. Therefore, a new methodology was proposal which characterizes the supplying and activity sedimentary, as well as the human pressures. For the methodology developed in this work, both the localities had presented a good management. The Parque das Dunas was characterized as a relic dune system and the Barreira do Inferno was characterized as a palimpsestic dune system. Also two Thematic Maps had been elaborated for the environmental characterization of the studied dune systems, with software ArcGis 8.3, and its respective data bases

Compreendendo o significado de qualidade de vida segundo idosos portadores de diabetes mellitus tipo II

Trata-se de uma pesquisa qualitativa com abordagem fenomenológica, objetivando descrever o significado de qualidade de vida, segundo relatos de idosos portadores de diabetes mellitus tipo II, e avaliar as repercussões da doença sobre sua vida. Entrevistamos 12 idosos diabéticos, no período de setembro a outubro de 2008, entre um e quarenta anos de evolução da doença. Foi feita a seguinte questão norteadora: Para o Sr. (a), o que significa qualidade de vida? A análise dos discursos mostrou facetas relevantes ligadas ao cotidiano do idoso com diabetes mellitus. Para eles, a qualidade de vida está intimamente relacionada à saúde física, independência na vida diária e econômica, integração social, suporte familiar e saúde mental-espiritual. A restrição alimentar foi o ponto de maior repercussão do diabetes sobre seu modo de viver. Verificou-se que cabe aos profissionais de saúde ampliar o diálogo profissional-paciente, promovendo autonomia e independência no cuidado e corresponsabilização.

Melanoma tipo animal: relato de dois casos

Dificuldade potencial no diagnóstico histológico de melanomas é a dificuldade em reconhecer variantes pouco frequentes de melanoma. Entre elas, as mais desafiantes incluem exemplos de melanoma desmoplásico, melanoma nevoide, o chamado melanoma de desvio mínimo, melanomas com proeminente síntese de pigmento ou melanoma tipo animal e o nevo azul maligno. Os autores descrevem dois casos de melanoma tipo animal e discute-se a importância do diagnóstico diferencial clinico-histopatológico nesses casos.

Cinética dos anticorpos de origem colostral contra a toxina épsilon de Clostridium perfringens tipo D em cordeiros

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

Efeito do sistema de criação sobre o desempenho e rendimento de carcaça de frangos de corte tipo colonial

Foram utilizados 1600 pintos de corte de um dia de idade, distribuídos em delineamento, em blocos ao acaso, com esquema fatorial 4×2 (quatro linhagens, sendo uma delas comercial (Ross-308) e as demais específicas para a produção colonial (Caipirinha, Pescoço Pelado e Paraíso Pedrês) e dois sistemas de criação (confinado e com acesso a piquete), com quatro repetições de 50 aves cada. A ração não continha promotores químicos de crescimento e produtos de origem animal. Avaliaram-se o ganho de peso, o consumo de ração, a conversão alimentar, a mortalidade e os rendimentos de carcaça e das partes (peito, pernas, asas e dorso) aos 56, 63, 70, 77 e 84 dias de idade. O comprimento e a porcentagem (em relação ao peso vivo) dos intestinos e o peso e a porcentagem (em relação ao peso vivo) do fígado, moela e pâncreas foram avaliados aos 84 dias de idade. Houve efeito (P<0,05) da linhagem para as características de desempenho e da linhagem e do sexo para rendimentos da carcaça e das partes, assim como para as características do sistema digestório (P<0,05). O sistema de criação não influenciou as características avaliadas.

A ultra-sonografia do pâncreas é eficaz em diagnosticar o diabete melito tipo 1 e tipo 2?

Este trabalho foi realizado para verificar se a ultra-sonografia do pâncreas oferece dados auxiliares na classificação de diabéticos adultos dos tipos 1 e 2. O tamanho e a ecogenicidade do pâncreas foram determinados pela ultra-sonografia em 81 diabéticos, sendo 20 do tipo 1 e 61 do tipo 2 (53 obesos e oito não-obesos). Os pacientes tipo 2 obesos diferiram dos demais por apresentarem área total e diâmetro ântero-posterior do corpo do pâncreas significativamente maiores. Quanto à ecogenicidade pancreática, esta estava aumentada com maior freqüência nos diabéticos tipo 2 obesos que nos diabéticos tipo 1. Consideramos, assim, que a ultra-sonografia do pâncreas constitui metodologia auxiliar na classificação de diabéticos entre os tipo 1 e 2, sendo menos eficaz quando os últimos não são obesos.

Efeito da desinfecção por aerossóis sobre a capacidade de umedecimento de moldes de poliéter por gesso tipo IV

A desinfecção de todo e qualquer molde obtido é medida de biossegurança obrigatória na atividade clínica. Tão importante quanto a desinfecção é a seleção do método e da solução desinfetante a ser utilizada para cada material de moldagem. É imperativo que a capacidade de reprodução de detalhes, a estabilidade dimensional e o grau de umedecimento (ou molhabilidade) não sejam criticamente afetados. O propósito deste trabalho foi avaliar o grau de umedecimento de uma marca comercial de poliéter (Impregum F) por três diferentes marcas comerciais de gesso tipo IV (Herostone, Durone e Polirock), após sua desinfecção por aerossóis de hipoclorito de sódio 1% (líquido de Milton) ou glutaraldeído 2% (Glutalabor II). Foram confeccionados 45 moldes de poliéter, os quais, em grupos de 15, receberam aerossóis de água (Grupo Controle), Líquido de Milton ou Glutalabor II. em seguida, sobre a superfície dos moldes foram confeccionados modelos de gesso tipo IV, em número de 5 para cada marca de gesso. Após seu seccionamento mediano e preparo da superfície de corte, os modelos foram levados ao microscópio Carl Zeiss para leitura do ângulo de contato. Os resultados obtidos permitiram concluir que: a) a capacidade de umedecimento do poliéter por diferentes marcas comerciais de gesso tipo IV variou para os gessos estudados; b) o gesso Durone adaptou-se melhor aos moldes de poliéter do que os gessos Herostone e Polirock; c) a desinfecção dos moldes com aerossóis de hipoclorito de sódio 1% (líquido de Milton) ou glutaraldeído 2% (Glutalabor) não afetou a adaptação entre os gessos e o poliéter.