1000 resultados para MÉTODOS DE INVESTIGAÇÃO
Resumo:
OBJETIVO: Comparar as percepções sobre diagnóstico e manuseio da insuficiência cardíaca (IC) entre cardiologistas clínicos (CC) e médicos de família (MF) de Niterói. MÉTODOS: Utilização de questionário qualitativo validado no estudo EURO-HF, que foi submetido a 54 MF e 62 CC. Esses profissionais forneceram informações sobre a forma de diagnóstico da IC, acesso aos exames complementares e quais são mais utilizados; nome dos medicamentos utilizados, doses, efeitos adversos e quais fármacos reduzem mortalidade. RESULTADOS: MF e CC relataram como os sinais e sintomas mais freqüentemente identificados nos pacientes com IC dispnéia, edema e cansaço (96,3% vs 100%, 74% vs 58% e 22,2% vs 67,7%). A classificação de severidade de IC mais utilizada pelos MF foi leve/moderada/grave (53,8%) e pelos CC foi da NYHA (72,7%). CC solicitam ecocardiograma com maior freqüência que os MF (p < 0,001). CC diferenciam IC com função sistólica preservada da IC com disfunção sistólica mais freqüentemente que os MF (p < 0,001). CC usam mais freqüentemente betabloqueadores (p < 0,001), IECA (p < 0,001) e espironolactona (p < 0,001) que MF. As doses de IECA utilizadas pelos CC são maiores que as usadas pelos MF (p < 0,001) e as doses de espironolactona mais próximas às recomendadas na literatura. CONCLUSÃO: CC utilizam uma investigação diagnóstica mais intensa, bem como utilizam os fármacos que reduzem a morbidade e mortalidade dos pacientes com IC com maior propriedade.
Resumo:
OBJETIVO: Estudar a prevalência de síncope neurocardiogênica em pacientes com síncope inexplicada e extra-sístoles ventriculares (EV), com morfologia de via de saída de ventrículo direito (VSVD) sem cardiopatia estrutural aparente. MÉTODOS: Noventa pacientes (66 mulheres, idade média de 40,2 ± 16,95 anos) com EV monomórficas com origem na VSVD foram avaliados prospectivamente. Cinqüenta e quatro pacientes apresentavam síncopes ou pré-síncopes associadas ou não a palpitações; 27 apresentavam palpitações sem pré-síncope ou síncope, e 9 eram assintomáticos. Todos foram submetidos a ecocardiograma, ECG de alta resolução, ressonância magnética cardíaca e teste de esforço para afastar cardiopatia estrutural e taquicardia ventricular adrenérgico-dependente, e a monitorização com Holter e monitor de eventos sintomáticos para correlacionar os sintomas com a arritmia. A investigação de suscetibilidade a síncope neurocardiogênica foi avaliada pelo teste de inclinação (TI). Os grupos foram comparados quanto a sexo, idade, freqüência e complexidade das extra-sístoles, com e sem esforço físico, resultado do TI e evolução clínica. RESULTADOS: No grupo com síncope e pré-síncope, o TI foi positivo em 38% dos casos e nos grupos com palpitações e assintomáticos, em 11% (p = 0,0257). Após orientação e tratamento da síncope neurocardiogênica, 85% dos pacientes com síncope e pré-sincope e TI positivo permaneceram assintomáticos durante seguimento médio de 40 meses. Dois pacientes com síncope e TI negativos apresentaram taquicardia ventricular sustentada espontânea durante a evolução clínica. CONCLUSÃO: A prevalência de síncope neurocardiogênica em pacientes com EV idiopáticas de VSVD é alta. Pacientes com síncope recorrente inexplicada e EV idiopáticas devem ser mantidos sob investigação.
Resumo:
El volumen de datos provenientes de experimentos basados en genómica y poteómica es grande y de estructura compleja. Solo a través de un análisis bioinformático/bioestadístico eficiente es posible identificar y caracterizar perfiles de expresión de genes y proteínas que se expresan en forma diferencial bajo distintas condiciones experimentales (CE). El objetivo principal es extender las capacidades computacionales y analíticos de los softwares disponibles de análisis de este tipo de datos, en especial para aquellos aplicables a datos de electroforésis bidimensional diferencial (2D-DIGE). En DIGE el método estadístico más usado es la prueba t de Student cuya aplicación presupone una única fuente de variación y el cumplimiento de ciertos supuestos distribucionales de los datos (como independencia y homogeneidad de varianzas), los cuales no siempre se cumplen en la práctica, pudiendo conllevar a errores en las estimaciones e inferencias de los efectos de interés. Los modelos Generalizados lineales mixtos (GLMM) permiten no solo incorporar los efectos que, se asume, afectan la variación de la respuesta sino que también modelan estructuras de covarianzas y de correlaciones más afines a las que se presentan en la realidad, liberando del supuesto de independencia y de normalidad. Estos modelos, más complejos en esencia, simplificará el análisis debido a la modelización directa de los datos crudos sin la aplicación de transformaciones para lograr distribuciones más simétricas. Produciendo también a una estimación estadísticamente más eficiente de los efectos presentes y por tanto a una detección más certera de los genes/ proteínas involucrados en procesos biológicos de interés. La característica relevante de esta tecnología es que no se conoce a priori cuáles son las proteínas presentes. Estas son identificadas mediante otras técnicas más costosas una vez que se detectó un conjunto de manchas diferenciales sobre los geles 2DE. Por ende disminuir los falsos positivos es fundamental en la identificación de tales manchas ya que inducen a resultados erróneas y asociaciones biológica ficticias. Esto no solo se logrará mediante el desarrollo de técnicas de normalización que incorporen explícitamente las CE, sino también con el desarrollo de métodos que permitan salirse del supuesto de gaussianidad y evaluar otros supuestos distribucionales más adecuados para este tipo de datos. También, se desarrollarán técnicas de aprendizaje automática que mediante optimización de funciones de costo específicas nos permitan identificar el subconjunto de proteínas con mayor potencialidad diagnóstica. Este proyecto tiene una alta componente estadístico/bioinformática, pero creemos que es el campo de aplicación, es decir la genómica y la proteómica, los que mas se beneficiarán con los resultados esperados. Para tal fin se utilizarán diversas bases de datos de distintos experimentos provistos por distintos centros de investigación nacionales e internacionales
Resumo:
OBJETIVO: Verificar a freqüência das doenças periodontais (DP) em pacientes com cardiopatia isquêmica. As DP representam grave problema de saúde pública odontológica, com distribuições diferenciadas quanto a gravidade, faixa etária, tipo de infecção, comorbidades e fatores de risco. MÉTODOS: Foram examinados 480 pacientes no Ambulatório de Cardiopatia Isquêmica do Hospital das Clínicas da Faculdade de Medicina de Ribeirão Preto da Universidade de São Paulo, e 154 pacientes sem cardiopatia na mesma instituição. Preencheram os critérios de inclusão para a investigação periodontal, respectivamente, 58 e 62 pacientes, de trinta a 79 anos. Foram utilizados o Índice Periodontal Comunitário (IPC) e o Índice de Perda de Inserção Periodontal (PIP), recomendados pela OMS (1999). RESULTADOS: Houve predomínio de sextantes com DP moderada e grave nos pacientes com cardiopatia (76,3% versus 20,2%; p < 0,00001). Nesses pacientes, 1,1% dos sextantes exibiram saúde periodontal, contra 32,0% nos sem cardiopatia (p < 0,00001). No tocante à história pregressa das DP, 6,0% dos sextantes não exibiram perda de inserção entre os pacientes com cardiopatia, contra 68,0% nos sem cardiopatia (p < 0,00001). Observou-se biofilme dental em 100,0% dos pacientes com cardiopatia e em 82,3% dos sem cardiopatia (p < 0,001). Necessitavam de tratamento de bolsas periodontais > 6 mm, 79,3% dos pacientes com cardiopatia contra 9,7% dos sem cardiopatia (p < 0,0001). CONCLUSÃO: As DP mostraram-se muito prevalentes nos grupos estudados, sendo de maior gravidade naquele com cardiopatia isquêmica. A elevada prevalência de fatores de risco encontrada aponta para a necessidade de adoção de estratégias de intervenção.
Resumo:
OBJETIVOS: Estudar a evolução clínica de gestantes com CMH, a influência da gestação sobre o curso natural da CMH e a freqüência da doença nos filhos dessas mulheres no início da infância. MÉTODOS: Foi realizado um estudo prospectivo em 35 portadoras de CMH com a mesma idade e classe funcional (CF). Vinte e três estavam grávidas (grupo G), e 12 pacientes que não estavam grávidas serviram como controle (grupo NG). Foram realizadas avaliações clínicas mensais, bem como eletrocardiograma e ecocardiograma transtorácico Os desfechos para os filhos foram taxas de natimortalidade e prematuridade e investigação de CMH durante a infância. RESULTADOS: Não houve mortes em nenhum dos dois grupos. A ocorrência de arritmias cardíacas foi significantemente maior (p< 0,05) no grupo NG (33,3% vs. 13,4%), e não foram observadas diferenças nos índices de insuficiência cardíaca (30,3% vs. 16,6%) ou acidente vascular cerebral isquêmico (4,3% vs. 8,3%) entre os grupos (p > 0,05). No grupo NG, a necessidade de hospitalização para tratamento de complicações cardíacas foi mais freqüente (p = 0,05) em pacientes com história familiar de CMH (71,4% vs. 25,0%). Doze pacientes (52%) foram submetidas à cesariana por razões obstétricas, sete bebês (30,4%) nasceram prematuramente e um bebê (4,3%) teve morte neonatal. Uma criança teve diagnóstico clínico de CMH, e seu estudo genético identificou mutação no gene da cadeia pesada da b-miosina, situado no cromossomo 14. CONCLUSÃO: Insuficiência cardíaca é uma complicação freqüente em portadoras de CMH durante a gravidez, principalmente em pacientes com antecedentes familiares da doença, mas não altera o curso natural da CMH. Em uma criança, o exame clínico identificou HMC no início da infância.
Resumo:
El proyecto de investigación propuesto tiene como principal objetivo profundizar en el estudio de la Mecánica Estadística y su aplicación a la resolución de problemas en esta área. Los temas de interés son los siguientes: 1. Estudio de la influencia del desorden en las propiedades dinámicas y termodinámicas de sistemas clásicos y cuánticos. 2. Reacciones controladas por difusión; influencia de campos externos aplicados. 3. Estudio de la influencia de la autocorrelación temporal finita sobre un sistema excitado por un ruido (ruido coloreado). 4. Resonancia Estocástica analizada a través de la función de Estructura Dinámica. 5. Estudio de procesos de quimiorrecepción de sistemas biológicos. 6. Cálculo del operador de evolución temporal para sistemas con Hamiltonianos dependientes del tiempo (Fase de Berry). 7. Influencia del desorden en la estadística del tiempo del primer pasaje en sistemas finitos. 8. Estudio del modelo de "Tight Binding" con desorden estático. Objetivos específicos * Se continuará con el estudio de la evolución temporal para sistemas Hamiltonianos dependientes del tiempo (Fase de Berry). * Se estudiará de las propiedades termodinámicas de sistemas Hamiltonianos clásicos y cuánticos con desorden estático. * Se estudiará la probabilidad de supervivencia y los momentos de desplazamientos para partículas que difunden en un sistema unidimensional con trampas estáticas. En particular se tratará el caso de campo fuerte, extendiendo los resultados ya obtenidos en el caso de campo débil; se analizará la conexión con la estadística del tiempo del primer pasaje. * Se continuará con el estudio analítico de los exponentes críticos para Modelos de la Mayoría. (...) * Se realizará un estudio detallado de las propiedades de la función de estructura dinámica asociada con el movimiento uni-dimensional de partículas sometidas a potenciales anarmónicos con múltiples pozos y fricción débil. Se estudiará el fenómeno de resonancia estocástica a través de la función de estructura dinámica. * Se estudiará la estadística del tiempo del primer pasaje en sistemas finitos homogéneos y desordenados con diversas condiciones de entorno.
Resumo:
OBJETIVOS: Verificar o perfil de alterações clínicas e, principalmente, laboratoriais hepáticas observadas em pacientes de cada uma das classes de insuficiência cardíaca. MÉTODOS: Por meio de um estudo seccional, foram pesquisados os dados clínicos e laboratoriais (alanina aminotransferase [ALT], aspartato aminotransferase [AST], fosfatase alcalina [FA], gama-glutamil transpeptidase [gama-GT], bilirrubinas e coagulograma) de 50 pacientes internados em 2002 em um hospital terciário com diagnóstico de insuficiência cardíaca. Os doentes foram separados de acordo com sua classe de insuficiência cardíaca e seus dados, comparados estatisticamente. Foram excluídos pacientes com hepatopatia de qualquer etiologia. RESULTADOS: A análise das médias de transaminases revelou aumento significativo apenas nos pacientes da classe IV. Por outro lado, a FA e a gama-GT apresentaram aumento progressivo de acordo com a classe de insuficiência cardíaca. CONCLUSÃO: A insuficiência cardíaca é caracterizada por perfil colestático progressivo de alterações laboratoriais, enquanto as transaminases se elevam apenas na insuficiência cardíaca mais avançada. O entendimento dessas alterações é fundamental para que se evite investigação hepática desnecessária em indivíduos com insuficiência cardíaca.
Resumo:
FUNDAMENTO: A prevalência de doença arterial periférica (DAP) é elevada entre os idosos. A maioria é assintomática e o exame físico pouco sensível. No Brasil, os fatores associados à DAP em idosos são pouco conhecidos. OBEJETIVOS: Identificar os fatores associados à presença de doença arterial periférica (DAP) em idosos (> 75 anos) da comunidade e desenvolver um escore de predição da doença. MÉTODOS: Estudo transversal, aninhado em uma coorte prospectiva ("Epidoso"). Foram avaliados 176 idosos (> 75 anos) da comunidade. A presença de DAP foi definida por meio do índice tornozelo-braquial <0,90. Os fatores associados à DAP, na análise univariada, foram analisados em modelo de regressão logística múltipla e um escore foi formulado de acordo com a probabilidade da doença. Valores de p<0,05 foram considerados significantes. RESULTADOS: A prevalência de DAP foi de 36,4%. Os preditores de DAP foram: anormalidades dos pulsos dos tornozelos, hipertensão arterial, tabagismo e dor/desconforto na(s) perna(s) durante a caminhada. Essas variáveis obtiveram escores de 13, 9, 5 e 5, respectivamente. O ponto de corte (cutoff) para definir "alto risco de DAP" ficou acima dos 18 pontos e resultou em sensibilidade de 85,9%, especificidade de 71,4%, valor preditivo (VP) positivo de 63,2% e VP negativo de 89,9%. O poder discriminatório e a calibração foram excelentes (área sob a curva ROC=85% e teste goodness-of-fit=p=0,639). CONCLUSÃO: Em razão do bom desempenho, o escore proposto pode tornar-se uma ferramenta simples e útil para identificar os idosos (> 75 anos) da comunidade com alto risco para DAP e que mereceriam investigação mais detalhada.
Resumo:
OBJETIVO: Avaliar as diferenças entre três métodos para medida do infarto experimental em ratos, em relação ao método tradicional. MÉTODOS: A área infartada por histologia (AREA), o perímetro interno da cavidade infartada por histologia (PER) e o perímetro interno por ecocardiograma (ECO) foram comparados ao método tradicional (análise histológica das circunferências epicárdicas e endocárdicas da região infartada - CIR). Utilizaram-se ANOVA de medidas repetidas, complementada com o teste de comparações múltiplas de Dunn, o método de concordância de Bland & Altman e o teste de correlação de Spearman. A significância foi p < 0,05. RESULTADOS: Foram analisados dados de 122 animais, após 3 a 6 meses do infarto. Houve diferença na avaliação do tamanho do infarto entre CIR e os outros três métodos (p < 0,001): CIR = 42,4% (35,9-48,8), PER = 50,3% (39,1-57,0), AREA = 27,3% (20,2-34,3), ECO = 46,1% (39,9-52,6). Assim, a medida por área resultou em subestimação de 15% do tamanho do infarto, enquanto as medidas por ecocardiograma e pelo perímetro interno por meio de histologia resultaram em superestimação do tamanho do infarto de 4% e 5%, respectivamente. Em relação ao ECO e PER, apesar de a diferença entre os métodos ser de apenas 1,27%, o intervalo de concordância variou de 24,1% a -26,7%, sugerindo baixa concordância entre os métodos. Em relação às associações, houve correlações estatisticamente significativas entre: CIR e PER (r = 0,88 e p < 0,0001); CIR e AREA (r = 0,87 e p < 0,0001) e CIR e ECO (r = 0,42 e p < 0,0001). CONCLUSÃO: Na determinação do tamanho do infarto, apesar da alta correlação, houve baixa concordância entre os métodos.
Resumo:
La etapa de optimización de una droga denominada "Preformulación" está dirigida a definir el perfil de una droga desde el punto de vista de su identidad, pureza y potencia. Mediante la determinación de las propiedades físico-químicas que son relevantes en la formulación de un agente terapéutico es posible realizar una evaluación preliminar sobre las características de absorción del principio activo, por parte del organismo. (...) En la actualidad se elaboran en la Oficina de Farmacia "Formas Farmacéuticas" de cierta complejidad, que no pueden ser analizadas por los clásicos métodos químicos, sino que requieren de técnicas de instrumental modernas altamente selectivas y sensibles. Este tipo de estudio no puede realizarse fuera de los laboratorios oficiales de Control o del ámbito universitario, en razón del costo del equipamiento y las condiciones necesarias para su correcto funcionamiento. El análisis de los principios activos y de los productos farmacéuticos con ellos elaborados es responsabilidad tanto de la autoridad reguladora como el propio farmacéuticas que serán administradas al paciente. Es por ello que esta propuesta involucra el desarrollo de metodologías analíticas específicas y sensibles que permitan, en forma rápida, determinar la composición de las formas farmacéuticas que se comercializan, para "garantizar", dentro de los límites admisibles, la "calidad", requisito previo para una terapéutica medicamentosa eficaz y racional. Estudios realizados en diferentes países, demuestran el desarrollo significativo que ha tenido la Cromatografía Líquida de Alta Presión (HPLC) y la Espectrofotometría de Derivadas en el campo farmacéutico, permitiendo el análisis de drogas en presencia de sus productos de degradación o bien en mezclas de multicomponentes, aplicando distintas técnicas Espectroscópicas, como IR, RMN y EM en la determinación de estructuras. Por tal motivo, este proyecto apunta a desarrollar metodologías analíticas aplicables al análisis y determinación simultánea de los principios activos contenidos en formulaciones farmacéuticas. En este caso particular se propone el estudio de preparaciones galénicas (comprimidos) utilizadas como complemento en regímenes alimenticios, debido a la acción farmacológica de los ingredientes activos, al uso intensivo de las mismas en la Provincia de Córdoba y a la falta de Control de Calidad.
Resumo:
FUNDAMENTO: Estudos clínicos e epidemiológicos demonstram grande associação da dieta com os agravos crônicos, particularmente com os eventos cardiovasculares, apesar de ainda não compreendidos todos os seus mecanismos de ação. OBJETIVO: Descrever e analisar o risco cardiovascular em vegetarianos e onívoros residentes na Grande Vitória/ES, na faixa etária de 35 a 64 anos. MÉTODOS: Para avaliação do risco cardiovascular foi realizado estudo de coorte histórico com 201 indivíduos. Foram incluídos 67 vegetarianos há no mínimo 5 anos, provenientes da Grande Vitória, e 134 onívoros, participantes do Projeto MONICA/Vitória, pareados por classe socioeconômica, sexo, idade e raça. Medidas bioquímicas e hemodinâmicas foram obtidas na Clínica de Investigação Cardiovascular da UFES. Para comparação de proporções, foi usado o teste chi2 e calculada a razão de prevalência. O risco cardiovascular foi calculado por meio do algoritmo de Framingham. RESULTADOS: A idade média do grupo foi de 47 ± 8 anos e o tempo médio de vegetarianismo 19 ± 10 anos, sendo a dieta ovolactovegetariana seguida por 73% dos vegetarianos. Pressão arterial, glicemia de jejum, colesterol total, colesterol de lipoproteína de baixa densidade (LDL-colesterol) e triglicerídeos foram mais baixos entre vegetarianos (p<0,001). O colesterol de lipoproteína de alta densidade (HDL-colesterol) não foi diferente entre os grupos. De acordo com o algoritmo de Framingham, os vegetarianos apresentaram menor risco cardiovascular (p<0,001). CONCLUSÃO: A alimentação onívora desbalanceada, com excesso de proteínas e gorduras de origem animal, pode estar implicada, em grande parte, no desencadeamento de doenças e agravos não-transmissíveis, especialmente no risco cardiovascular.
Resumo:
Desde hace ya tres décadas se conoce que el neonato, aún desde los primeros minutos de vida, puede responder a una gran variedad de olores, entre los cuales se encuentra el alcohol, con reacciones comportamentales y neurovegetativas específicas y que es capaz también de diferenciarlo de otros estímulos, lo que se puso de manifiesto a través de un proceso de habituación. La habituación, que es un proceso de aprendizaje no asociativo, se ha transformado en un parámetro valioso en el estudio del desarrollo de la plasticidad neurocomportamental en distintas especies, tanto en períodos perinatales como prenatales. En la esfera humana, se ha comprobado que el recién nacido puede habituar o sensitizar una respuesta refleja y responder de manera compleja a estimulación sensorial específica. Estudios realizados con claves olfatorias, tanto nóveles como biológicas, demuestran que el neonato puede reconocer y distinguir distintos olores y que la manera en que éste responde varía de acuerdo ala experiencia previa con el estímulo, manifestando preferencia por el olor que le resulta familiar, sin que necesariamente sea éste un olor materno. Estas tempranas capacidades de aprendizaje han sido útiles para evaluar la integridad del SNC fetal y neonatal, utilizando, por ejemplo, índices de habituación hacia distintos estímulos. Basándose en los resultados de estas investigaciones surge el objetivo general del proyecto: realizar un relevamiento de las capacidades de aprendizaje y memoria neonatales utilizando paradigmas de aprendizaje no asociativo como la habituación a claves olfativas nóveles (alcohol y limón), analizando la respuesta a los olores a través de patrones comportamentales y neurovegetativos presentes en el neonato a término. Este objetivo se irá desarrollando a lo largo de etapas experimentales consecutivas. En la primera de ellas, actualmente en ejecución, el propósito es evaluar respuestas habituatorias y de recuperación espontánea frente a la presentación secuencial de los aromas. En las etapas subsiguientes se pretenderá detectar también deshabituación y habituación ala deshabituación. Este proyecto forma parte de un plan de actividades mayor referido a reconocimiento, retención y discriminación de claves olfativas a nivel neonatológico. A largo plazo se procura diseñar, valiéndose de las tempranas capacidades de aprendizaje presentes en neonatos normales, pruebas que se utilicen para evaluar el desempeño neurocomportamental de recién nacidos donde se sospeche un Sistema Nervioso Central dañado por efectos de la exposición prenatal de alcohol y/o por episodios hipóxicos pre o perinatales.
Resumo:
FUNDAMENTO: A mieloperoxidase (MPO) é uma enzima intensamente expressa diante da ativação leucocitária, com múltiplas ações aterogênicas, incluindo a oxidação do colesterol (LDL), e relacionada à instabilização da placa aterosclerótica. É preditora de eventos adversos em indivíduos sadios, coronariopatas ou em investigação de dor torácica. OBJETIVO: Analisar a contribuição da MPO na identificação de pacientes com dor torácica aguda, eletrocardiograma (ECG) sem elevação de segmento ST e com alto risco para eventos adversos intra-hospitalares. MÉTODOS: O nível sérico da MPO foi mensurado na admissão de pacientes com dor torácica aguda, ECG sem elevação de segmento ST e submetidos a protocolo estruturado de investigação. RESULTADOS: De uma coorte de 140 pacientes, 49 (35%) receberam o diagnóstico de síndrome coronariana aguda, tendo sido estabelecido diagnóstico de infarto agudo do miocárdio (troponina I > 1,0 ng/ml) sem elevação de ST em 13 pacientes (9,3%). O melhor ponto de discriminação da MPO para infarto agudo do miocárdio foi identificado em > 100 pM pela curva ROC (AUC = 0,662; IC 95% = 0,532-0,793), que demonstrou elevada sensibilidade (92,3%) e elevado valor preditivo negativo (98,1%), embora com baixa especificidade (40,2%). Na análise multivariada, a MPO mostrou-se a única variável independente para o diagnóstico de infarto agudo do miocárdio em evolução, com razão de chance de 8,04 (p = 0,048). CONCLUSÃO: Em pacientes com dor torácica aguda e sem elevação de ST, a MPO admissional elevada é importante ferramenta preditiva de eventos adversos intra-hospitalares, com razão de chance de oito vezes para o diagnóstico de infarto agudo do miocárdio.
Resumo:
La verificación y el análisis de programas con características probabilistas es una tarea necesaria del quehacer científico y tecnológico actual. El éxito y su posterior masificación de las implementaciones de protocolos de comunicación a nivel hardware y soluciones probabilistas a problemas distribuidos hacen más que interesante el uso de agentes estocásticos como elementos de programación. En muchos de estos casos el uso de agentes aleatorios produce soluciones mejores y más eficientes; en otros proveen soluciones donde es imposible encontrarlas por métodos tradicionales. Estos algoritmos se encuentran generalmente embebidos en múltiples mecanismos de hardware, por lo que un error en los mismos puede llegar a producir una multiplicación no deseada de sus efectos nocivos.Actualmente el mayor esfuerzo en el análisis de programas probabilísticos se lleva a cabo en el estudio y desarrollo de herramientas denominadas chequeadores de modelos probabilísticos. Las mismas, dado un modelo finito del sistema estocástico, obtienen de forma automática varias medidas de performance del mismo. Aunque esto puede ser bastante útil a la hora de verificar programas, para sistemas de uso general se hace necesario poder chequear especificaciones más completas que hacen a la corrección del algoritmo. Incluso sería interesante poder obtener automáticamente las propiedades del sistema, en forma de invariantes y contraejemplos.En este proyecto se pretende abordar el problema de análisis estático de programas probabilísticos mediante el uso de herramientas deductivas como probadores de teoremas y SMT solvers. Las mismas han mostrado su madurez y eficacia en atacar problemas de la programación tradicional. Con el fin de no perder automaticidad en los métodos, trabajaremos dentro del marco de "Interpretación Abstracta" el cual nos brinda un delineamiento para nuestro desarrollo teórico. Al mismo tiempo pondremos en práctica estos fundamentos mediante implementaciones concretas que utilicen aquellas herramientas.
Resumo:
Las estrategias en el diseño de estructuras estuvieron históricamente limitadas por condicionantes como la eficiencia estructural, la lectura de la estructura explicitando su función, o la estructura planteada a partir de materiales o recursos disponibles. Actualmente, el desarrollo de nuevas tecnologías informáticas, nuevos materiales y la aparición de nuevos paradigmas en cuanto a tecnología sustentable, ha generando una situación de libertad arquitectónica prácticamente total en la que casi cualquier planteo formal puede ser resuelto y construido. Es consecuencia de este proceso la aparición de formas estructurales fracturadas, angulosas, grandes voladizos, y la utilización de materiales y sistemas tecnológicos no convencionales, que requieren de nuevas técnicas auxiliares de proyecto, ejecución y representación, y para las cuales es necesario un nuevo planteamiento y adecuación de estrategias de diseño estructural en relación a la propuesta arquitectónica. Este nuevo escenario proyectual, no está contemplado en los métodos de enseñanza del diseño de estructuras, produciendo un vacío conceptual sobre los futuros profesionales que deberán incursionar en el mundo actual. Es por ello que se propone indagar en diferentes estrategias de diseño para la elaboración de una metodología didáctica que permita descubrir el concepto del proyecto arquitectónico y generar un sistema estructural que se relacione adecuadamente con él, desde una visión integral de la arquitectura como producto cultural complejo.