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]

Sistema especialista fuzzy para dimensionamento de bombeio mecânico

Despite the emergence of other forms of artificial lift, sucker rod pumping systems remains hegemonic because of its flexibility of operation and lower investment cost compared to other lifting techniques developed. A successful rod pumping sizing necessarily passes through the supply of estimated flow and the controlled wear of pumping equipment used in the mounted configuration. However, the mediation of these elements is particularly challenging, especially for most designers dealing with this work, which still lack the experience needed to get good projects pumping in time. Even with the existence of various computer applications on the market in order to facilitate this task, they must face a grueling process of trial and error until you get the most appropriate combination of equipment for installation in the well. This thesis proposes the creation of an expert system in the design of sucker rod pumping systems. Its mission is to guide a petroleum engineer in the task of selecting a range of equipment appropriate to the context provided by the characteristics of the oil that will be raised to the surface. Features such as the level of gas separation, presence of corrosive elements, possibility of production of sand and waxing are taken into account in selecting the pumping unit, sucker-rod strings and subsurface pump and their operation mode. It is able to approximate the inferente process in the way of human reasoning, which leads to results closer to those obtained by a specialist. For this, their production rules were based on the theory of fuzzy sets, able to model vague concepts typically present in human reasoning. The calculations of operating parameters of the pumping system are made by the API RP 11L method. Based on information input, the system is able to return to the user a set of pumping configurations that meet a given design flow, but without subjecting the selected equipment to an effort beyond that which can bear

Avaliação da função renal do idoso em duas horas

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

Prevenção de conflitos médico-legais no exercício da medicina

Os conflitos médico-legais que ocorrem no exercício da Cirurgia e da Medicina são motivos de preocupação não só no meio médico, mas também na sociedade como um todo, pois se de um lado geram um maior desgaste emocional ao médico, por outro, os pacientes estão sendo rejeitados. As causas desses conflitos são muitas, envolvendo fatores não assistenciais, como o sistema de saúde distorcido e desorganizado, a falta de participação da sociedade e do médico na melhoria desse sistema, o aparelho formador que lança no mercado grande número de jovens médicos despreparados para o exercício dessa nobre profissão, além da falta do ensino continuado. A solução para esses conflitos não poderá ser por meio de simples criação de leis, e nem pela negativa da existência do erro médico, que ocorre numa freqüência até maior do que os próprios conflitos. Todavia, pode-se afirmar que é muito importante melhorar a relação médico-paciente. É necessário, ainda, que o médico conheça a fundo seus deveres de conduta e que, principalmente, se abstenha de praticar abusos do poder. A sociedade deve também entender que a saúde não é uma questão exclusiva dos médicos e que deve lutar pela melhoria das condições dos níveis de vida.

Aspectos metodológicos relacionados aos sistemas manométricos utilizados em estudos hemodinâmicos

Atualmente, diante das técnicas atuais, a manometria tem sido relegada a plano secundário durante a cateterização cardíaca. No entanto, ainda fornece importantes informações para identificação e avaliação das doenças cardiovasculares. Os dados coletados durante os exames possibilitam a obtenção de variáveis quantitativas e qualitativas, as quais podem ser comparadas aos padrões normais. Os sistemas manométricos são compostos por transdutor, amplificador e registrador, que, em conjunto, devem espelhar com fidelidade a morfologia e os valores das variáveis analisadas. Para atingir esse objetivo, é necessário desempenho adequado de todos os componentes. Se uma determinada informação é de extrema relevância, o operador deve gastar tempo suficiente para obtê-la de maneira inequívoca. Assim, o operador deve estar familiarizado com os sistemas manométricos e com as fontes de erro relacionadas com as técnicas de registro, cateteres, conectores e fluidos. Com os fundamentos analisados neste manuscrito, salientamos que deve ser dispensada atenção às ondas de pressão usadas nas interpretações da fisiopatologia das doenças cardiovasculares.

Hibridização reversa e sequenciamento na genotipagem do vírus da hepatite C

INTRODUÇÃO: Os métodos de genotipagem do vírus da hepatite C têm sido muito discutidos. O objetivo deste trabalho foi comparar as metodologias de hibridização reversa e sequenciamento direto para a genotipagem do vírus da hepatite C. MÉTODOS: Noventa e uma amostras de plasma de pacientes assistidos na Faculdade de Medicina de Botucatu da Universidade Estadual Paulista foram utilizadas. A genotipagem por hibridização reversa foi realizada utilizando o kit comercial INNO-LiPA® v.1.0. O sequenciamento direto foi efetuado em sequenciador automático utilizando protocolos in house. RESULTADOS: A genotipagem por sequenciamento direto mostrou-se eficiente na resolução dos resultados inconclusivos pelo kit comercial. O kit mostrou resultados errôneos em relação à subtipagem viral. Além disso, a genotipagem por sequenciamento direto revelou um erro do kit com relação à determinação genotípica questionando a eficiência do método também para a identificação do genótipo viral. CONCLUSÕES: A genotipagem realizada por meio de sequenciamento direto permite uma maior acurácia na classificação viral quando comparada à hibridização reversa.

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

Estudo Comparativo de gráaficos de probabilidade normal para Anáalise de experimentos fatoriais não replicados

Two-level factorial designs are widely used in industrial experimentation. However, many factors in such a design require a large number of runs to perform the experiment, and too many replications of the treatments may not be feasible, considering limitations of resources and of time, making it expensive. In these cases, unreplicated designs are used. But, with only one replicate, there is no internal estimate of experimental error to make judgments about the significance of the observed efects. One of the possible solutions for this problem is to use normal plots or half-normal plots of the efects. Many experimenters use the normal plot, while others prefer the half-normal plot and, often, for both cases, without justification. The controversy about the use of these two graphical techniques motivates this work, once there is no register of formal procedure or statistical test that indicates \which one is best". The choice between the two plots seems to be a subjective issue. The central objective of this master's thesis is, then, to perform an experimental comparative study of the normal plot and half-normal plot in the context of the analysis of the 2k unreplicated factorial experiments. This study involves the construction of simulated scenarios, in which the graphics performance to detect significant efects and to identify outliers is evaluated in order to verify the following questions: Can be a plot better than other? In which situations? What kind of information does a plot increase to the analysis of the experiment that might complement those provided by the other plot? What are the restrictions on the use of graphics? Herewith, this work intends to confront these two techniques; to examine them simultaneously in order to identify similarities, diferences or relationships that contribute to the construction of a theoretical reference to justify or to aid in the experimenter's decision about which of the two graphical techniques to use and the reason for this use. The simulation results show that the half-normal plot is better to assist in the judgement of the efects, while the normal plot is recommended to detect outliers in the data

Uso do GPR na geração de modelos estáticos 3D para o planejamento de lavra de minerais pesados depositados em dunas eólicas

This project was developed as a partnership between the Laboratory of Stratigraphical Analyses of the Geology Department of UFRN and the company Millennium Inorganic Chemicals Mineração Ltda. This company is located in the north end of the paraiban coast, in the municipal district of Mataraca. Millennium has as main prospected product, heavy minerals as ilmenita, rutilo and zircon presents in the sands of the dunes. These dunes are predominantly inactive, and overlap the superior portion of Barreiras Formation rocks. The mining happens with the use of a dredge that is emerged at an artificial lake on the dunes. This dredge removes sand dunes of the bottom lake (after it disassembles of the lake borders with water jets) and directs for the concentration plant, through piping where the minerals are then separate. The present work consisted in the acquisition external geometries of the dunes, where in the end a 3D Static Model could be set up of these sedimentary deposits with emphasis in the behavior of the structural top of Barreiras Formation rocks (inferior limit of the deposit). The knowledge of this surface is important in the phase of the plowing planning for the company, because a calculation mistake can do with that the dredge works too close of this limit, taking the risk that fragments can cause obstruction in the dredge generating a financial damage so much in the equipment repair as for the stopped days production. During the field stages (accomplished in 2006 and 2007) topographical techniques risings were used with Total Station and Geodesic GPS as well as shallow geophysical acquisitions with GPR (Ground Penetrating Radar). It was acquired almost 10,4km of topography and 10km of profiles GPR. The Geodesic GPS was used for the data geopositioning and topographical rising of a traverse line with 630m of extension in the stage of 2007. The GPR was shown a reliable method, ecologically clean, fast acquisition and with a low cost in relation to traditional methods as surveys. The main advantage of this equipment is obtain a continuous information to superior surface Barreiras Formation rocks. The static models 3D were elaborated starting from the obtained data being used two specific softwares for visualization 3D: GoCAD 2.0.8 and Datamine. The visualization 3D allows a better understanding of the Barreiras surface behavior as well as it makes possible the execution of several types of measurements, favoring like calculations and allowing that procedures used for mineral extraction is used with larger safety

Condição ocular dos indivíduos facectomizados na região centro-oeste do estado de São Paulo: estudo populacional

OBJETIVO: Avaliar as causas de baixa visão e cegueira em indivíduos facectomizados, de amostra da população de cidades da região centrooeste do estado de São Paulo. Métodos: Estudo transversal, observacional, feito em cinco cidades da região centro-oeste do estado de São Paulo, em amostra domiciliar e baseada nos dados do último Censo Demográfico (IBGE, 1995), com escolha sistemática dos domicílios. Foi considerada para o presente estudo uma subamostra de indivíduos facectomizados, dos quais foram obtidos dados de identificação e exame oftalmológico completo. Os dados foram avaliados por estatísticas descritivas, análise de freqüência de ocorrência e proporção de concordância, com intervalo de confiança de 95%. RESULTADOS: Dos indivíduos amostrados, 2,37% haviam sido submetidos à facectomia. Dos 201 olhos operados, 26,9% apresentavam acuidade visual compatível com cegueira ou deficiência visual. Com a melhor correção óptica, a acuidade visual permaneceu <0,3 em 19,0%. O exame refracional proporcionou melhora da acuidade visual para 27,9% dos indivíduos facectomizados. As causas de baixa visão foram os erros refrativos não corrigidos, opacidade de cápsula posterior (19,4%), ceratopatia bolhosa (8,3%) coriorretinite cicatricial (8,3%), afacia (8,3%), degeneração macular relacionada a idade (5,5%), leucoma (5,5%), glaucoma (5,5%), atrofia de papila (5,5,%), descolamento de retina (2,8%), atrofia de epitelio pigmentado da retina (2,8%) e alta miopia (2,8%). CONCLUSÃO: Apesar da catarata ser causa de cegueira que pode ser evitável, mesmo após a correção cirúrgica porcentagem expressiva de indivíduos permanece com baixa visão, em geral, em decorrência de fatores relacionados ao seguimento pós-operatório negligenciado.

Cataract prevalence in Central-West region of São Paulo State, Brazil

OBJETIVO: A catarata é a principal causa tratável de cegueira e deficiência visual em países subdesenvolvidos. Este estudo foi realizado para avaliar se a catarata continua sendo uma importante causa de cegueira no centro-oeste do Estado de São Paulo. MÉTODOS: Um estudo transversal, de caráter observacional, realizado em cinco cidades da região centro-oeste do Estado de São Paulo, para as quais o centro de referência é a cidade de Botucatu. A amostra estabelecida para este estudo, de forma aleatória, seria composta por 5.555 indivíduos, sendo que foram examinados 4.229 indivíduos (8.458 olhos), ou seja, 78% da amostra pretendida. Os indivíduos foram submetidos a um exame oftalmológico completo que consistia em avaliação da acuidade visual (com e sem correção), tonometria, biomicroscopia, fundoscopia e exame refracional. O diagnóstico de catarata foi dado aos indivíduos que apresentassem opacidade de cristalino na biomicroscopia, de acordo com o Sistema de Classificação de Opacidade do Cristalino II (LOCS II). Olhos apresentando deficiência visual ou cegueira, com a melhor correção e causados por catarata, foram considerados após excluir outras patologias que pudessem causar baixa da acuidade visual (AV). Olhos com deficiência visual foram considerados quando 0,05 < AV < 0,3 e olhos cegos quando AV < 0,05. Indivíduos com deficiência visual foram considerados quando 0,05 < AV < 0,3 e indivíduos cegos quando AV < 0,3, no melhor olho com a melhor correção. Foi considerado o número de olhos com catarata, o número de olhos com deficiência visual e cegueira e o número de indivíduos com deficiência visual e cegueira. RESULTADOS: A prevalência de catarata na população estudada foi de 4,94% (209 indivíduos), afetando principalmente indivíduos com mais de 50 anos (92,34%) e do sexo feminino (61,11%). A catarata foi a causa de deficiência visual para 0,96% e a causa de cegueira para 0,52% de toda a população estudada. CONCLUSÃO: Nossos resultados mostraram que a prevalência de catarata na população estudada é semelhante aos índices de países desenvolvidos.

Fator de correção para indivíduos com capacidade acomodativa baseado no uso do refrator automático

OBJETIVO: Pesquisar um fator de correção para avaliação do erro refrativo sem a utilização da cicloplegia. MÉTODOS: Foram estudados 623 pacientes (1.246 olhos), de ambos os sexos, com idade entre 3 e 40 anos. As refratometrias estática e dinâmica foram obtidas usando-se o refrator automático Shin-Nippon Accuref-K 9001. A cicloplegia foi obtida com a instilação de uma gota de colírio ciclopentolato a 1%, com refratometria estática 30 minutos após. Os dados foram submetidos à análise estatística usando a técnica do modelo de regressão linear e modelo de regressão múltipla do valor dióptrico com e sem cicloplegia, em função da idade. RESULTADOS: A correlação entre valores dióptricos sem e com cicloplegia quanto ao erro astigmático variou de 81,52% a 92,27%. Quanto ao valor dióptrico esférico, a correlação foi menor (53,57% a 87,78%). O mesmo se observou em relação ao eixo do astigmatismo (28,86% a 58,80%). O modelo de regressão múltipla em função da idade mostrou coeficiente de determinação múltiplo maior para a miopia (86,38%) e astigmatismo (79,79%). O menor coeficiente foi observado para o eixo do astigmatismo (17,70%). CONCLUSÃO: Avaliando-se os erros refrativos com e sem cicloplegia, observou-se alta correlação nas ametropias cilíndricas. Foram desenvolvidas equações matemáticas como fator de correção para refratometrias dos pacientes sem cicloplegia, portadores de ametropias cilíndricas e esféricas.

Screening visual em crianças pré-escolares utilizando o PhotoScreenerTM

OBJETIVO: O objetivo geral foi detectar fatores ambliopigênicos em uma população de pré-escolares, utilizando exames refratométricos e o PhotoScreenerTM (PS) e o objetivo específico foi verificar se a avaliação feita com o PS é útil como método de triagem em campanhas de prevenção de ambliopia em crianças. MÉTODOS: Foi realizado um estudo observacional, prospectivo, de janeiro a dezembro de 2007, avaliando-se 227 crianças pré-escolares, com o intuito de detectar, através da aplicação de um questionário, exames refratométricos e fotografias utilizando o PS, a presença de fatores causadores de ambliopia na população de estudo. Todas as crianças foram avaliadas pelo PS. em seguida, todas as crianças foram submetidas à cicloplegia , sendo avaliadas usando refrator automático Shin Nippon®. As crianças detectadas como portadoras de problemas oculares receberam prescrição óptica, segundo os critérios: hipermetropia maior que +1,50 D, miopia maior que -1,00 D e astigmatismo maior que 1,00 D. Analisaram-se os dados através do teste de concordância de Goodman, estatística descritiva e estudo da especificidade e sensibilidade ao emprego do PS, comparando os resultados com ele obtidos, com os resultados dos outros métodos de avaliação oftalmológica. RESULTADOS: A distribuição entre os sexos foi semelhante, sendo que a maioria das crianças apresentava quatro ou cinco anos de idade. A sensibilidade (S) do PS, comparando-se o resultado obtido neste aparelho com o autorrefrator sob cicloplegia, foi de 50,9%. Já a especificidade foi de 78,9%; valor preditivo positivo 70%; valor preditivo negativo 62,5% e acurácia 65,1%. CONCLUSÕES: Das 101 crianças cujas fotografias tiradas através do PS puderam ser analisadas satisfatoriamente, trinta e seis apresentavam erro refrativo que necessitou de correção. O PS, quando comparado com equivalente esférico do autorrefrator sob cicloplegia, é um método razoável de triagem, embora a sensibilidade não seja boa. Um ponto positivo a ser ressaltado é o considerável valor de especificidade.

Prevalência e localização espacial dos casos de tracoma detectados em escolares de Botucatu, São Paulo - Brasil

OBJETIVO: Avaliar a prevalência de tracoma em escolares de Botucatu/SP-Brasil e a distribuição espacial dos casos. MÉTODOS: Foi realizado um estudo transversal, em crianças de 7-14 anos, que frequentavam as escolas do ensino fundamental de Botucatu/SP, em novembro/2005. O tamanho da amostra foi estimado em 2.092 crianças, considerando-se a prevalência histórica de 11,2%, aceitando-se erro de estimação de 10% e nível de confiança de 95%. A amostra foi probabilística, ponderada e acrescida de 20%, devido à possível ocorrência de perdas. Examinaram-se 2.692 crianças. O diagnóstico foi clínico, baseado na normatização da Organização Mundial da Saúde (OMS). Para avaliação dos dados espaciais, utilizou-se o programa CartaLinx (v1.2), sendo os setores de demanda escolar digitalizados de acordo com as divisões do planejamento da Secretaria de Educação. Os dados foram analisados estatisticamente, sendo a análise da estrutura espacial dos eventos calculadas usando o programa Geoda. RESULTADOS: A prevalência de tracoma nos escolares de Botucatu foi de 2,9%, tendo sido detectados casos de tracoma folicular. A análise exploratória espacial não permitiu rejeitar a hipótese nula de aleatoriedade (I= -0,45, p>0,05), não havendo setores de demanda significativos. A análise feita para os polígonos de Thiessen também mostrou que o padrão global foi aleatório (I= -0,07; p=0,49). Entretanto, os indicadores locais apontaram um agrupamento do tipo baixo-baixo para um polígono ao norte da área urbana. CONCLUSÃO: A prevalência de tracoma em escolares de Botucatu foi de 2,9%. A análise da distribuição espacial não revelou áreas de maior aglomeração de casos. Embora o padrão global da doença não reproduza as condições socioeconômicas da população, a prevalência mais baixa do tracoma foi encontrada em setores de menor vulnerabilidade social.

Hepatoprotective effect of water soluble extract of Coleus barbatus on cholestasis on young rats

OBJETIVO: Testar os efeitos do extrato aquoso de Coleus barbatus (EAB) na cirrose biliar secundária por obstrução das vias biliares extra-hepáticas em ratos jovens. MÉTODOS: Quarenta ratos Wistar machos com 21 dias de vida (P21), foram distribuídos em quatro grupos de 10 animais, submetidos a operação simulada ou dupla ligadura e ressecção do ducto biliar (S ou L) combinados EAB e a Água (B ou A). No P48, foi medido o tempo de sono com o pentobarbital (TS). No P49, foram submetidos a eutanásia para a determinação das atividades séricas do aspartato aminotransferase (AST) e da alanina aminotransferases (ALT); após a eutanásia foram avaliados o peso fresco do fígado (PFF) e, em cortes histológicos do fígado, a freqüência de mitoses (FM), o número de áreas de necrose (NN), a intensidade da fibrose (IF) e da proliferação ductal (IPD). Os efeitos da colestase, os do EAB e suas interações foram testados pela ANOVA com dois fatores, e as comparações múltiplas pareadas foram realizadas pelo teste de S.N.K ou teste de Wilcoxon. Também foi determinada a correlação linear de Pearson entre as variáveis histológicas duas a duas separadamente para os grupos LA e LD. O nível de significância estatística para os vários testes foi de p do erro alfa <0,05. RESULTADOS: A colestase aumentou significativamente o TS, a ALT, a AST, o PFF, a MI, o NN, a IF e a IPD. O EAB diminuiu o TS e a IM nos animais sem colestase (operação simulada). O EAB diminuiu o TS, a ALT, a AST, o PFF, a MI, o NN e IF na colestase. No grupo LA houve correlação positiva entre a IPD e a IF, correlação negativa entre a IPD e a FM e correlação negativa entre a IF a FM. No grupo LD houve correlação negativa entre o NN e a IPD. CONCLUSÕES: Na ausência de colestase o EAB encurta o tempo de sono e diminui a freqüência de mitoses. O EAB apresenta efeito hepatoprotetor no modelo de cirrose biliar secundária a obstrução biliar extra-hepática.