Submitted by Thalita Cristine Landeira Portela Faro (thalita.faro@fgv.br) on 2011-06-28T18:10:12Z No. of bitstreams: 1 000100619.pdf: 15868676 bytes, checksum: 039d91905886186061576af2d3cefdeb (MD5) / Approved for entry into archive by Thalita Cristine Landeira Portela Faro (thalita.faro@fgv.br) on 2011-06-28T18:10:43Z (GMT) No. of bitstreams: 1 000100619.pdf: 15868676 bytes, checksum: 039d91905886186061576af2d3cefdeb (MD5) / Made available in DSpace on 2011-06-28T18:11:12Z (GMT). No. of bitstreams: 1 000100619.pdf: 15868676 bytes, checksum: 039d91905886186061576af2d3cefdeb (MD5) Previous issue date: 1988

DOURADO JÚNIOR, José Nobre. Probabilidade para o ensino médio. 2014. 55 f. Dissertação (Mestrado em Matemática em Rede Nacional) - Centro de Ciências, Universidade Federal do Ceará, Juazeiro do Norte, 2014. / Submitted by Erivan Almeida (eneiro@bol.com.br) on 2015-01-12T16:48:36Z No. of bitstreams: 1 2014_dis_jndjunior.pdf: 311696 bytes, checksum: 9111bc7d225b74ab3042ec8c4b7aaf18 (MD5) / Approved for entry into archive by Rocilda Sales(rocilda@ufc.br) on 2015-01-15T13:00:31Z (GMT) No. of bitstreams: 1 2014_dis_jndjunior.pdf: 311696 bytes, checksum: 9111bc7d225b74ab3042ec8c4b7aaf18 (MD5) / Made available in DSpace on 2015-01-15T13:00:31Z (GMT). No. of bitstreams: 1 2014_dis_jndjunior.pdf: 311696 bytes, checksum: 9111bc7d225b74ab3042ec8c4b7aaf18 (MD5) Previous issue date: 2014 / This work has as objective introduce the basic concepts of the Theory of Probabilities and present notions on some probabilistic models for the student of the High School. We will begin the work presented in chapter I the notions of experiment deterministic, random experiment, sample space and events, followed by some definitions of Probability concepts that constitute the basis for this theory. In chapter II we will discuss the concepts of Conditional Probability and Independence of Events showcasing some important theorems that derive from these concepts, as well as some of its applications. In chapter III we will present in a simple way some probabilistic models discrete quite useful for shape effectively a good number of random experiments thus contributing to the calculation of the probabilities of its results. Finally, in chapter IV will be presented the probability model known as Poisson distribution, which allows us to calculate the probability that an event will occur in a given time interval or in a given spatial region. / Este trabalho tem como objetivo introduzir os conceitos básicos da Teoria das Probabilidades e apresentar noções sobre alguns modelos probabilísticos para o estudante do Ensino Médio. Iniciaremos o trabalho apresentando no capítulo 1 as noções de experimento determinístico, experimento aleatório, espaço amostral e eventos, seguidos de algumas definições de Probabilidade, conceitos que constituem a base para essa teoria. No capítulo 2 abordaremos os conceitos de Probabilidade Condicional e Independência de Eventos, apresentando alguns teoremas importantes que decorrem desses conceitos, bem como algumas de suas aplicaçoes. No capítulo 3 apresentaremos de maneira simples alguns modelos probabilísticos discretos bastante úteis por modelarem de forma eficaz um bom número de experimentos aleatórios contribuindo assim para o cálculo das probabilidades de seus resultados. Por fim, no capítulo 4 será apresentado o modelo probabilístico conhecido como Distribuição de Poisson, que nos permite calcular a probabilidade de um evento ocorrer em um dado intervalo de tempo ou numa dada região espacial.

PEREIRA, Francisco Edson Ximenes Gomes. Desenvolvimento e validação de um modelo de endometriose subcutânea em ratas para estudo de prováveis mecanismos fisiopatológicos e do efeito de drogas. 2013. 78 f. Dissertação (Mestrado em Cirurgia) - Faculdade de Medicina, Universidade Federal do Ceará, Fortaleza, 2013. / Submitted by denise santos (denise.santos@ufc.br) on 2015-06-09T14:03:50Z No. of bitstreams: 1 2013_dis_fexgpereira.pdf: 2408184 bytes, checksum: 17fc1ad57840167dcb5d178662d0dedd (MD5) / Approved for entry into archive by denise santos(denise.santos@ufc.br) on 2015-06-09T14:11:04Z (GMT) No. of bitstreams: 1 2013_dis_fexgpereira.pdf: 2408184 bytes, checksum: 17fc1ad57840167dcb5d178662d0dedd (MD5) / Made available in DSpace on 2015-06-09T14:11:04Z (GMT). No. of bitstreams: 1 2013_dis_fexgpereira.pdf: 2408184 bytes, checksum: 17fc1ad57840167dcb5d178662d0dedd (MD5) Previous issue date: 2013 / Endometriosis is defined as the presence of endometrial tissue (gland and stroma) outside the uterus. The objective of this study was to design a model of subcutaneous endometriosis in rats for the evaluation of the effect of drugs and the pathophysiology of endometriosis. Initially, female Wistar rats (Rattus norvergicus) were implanted subcutaneously with 4x4 mm uterine fragments to evaluate endometrioma growth after 1, 7, 14 and 21 days. Endometrial tissue implants were confirmed by histological analysis. The greatest relative weight gain was observed on the 14th day (wet weight 29.17 ± 6.79 mg%; dry weight 5.36 ± 0.97 mg%). Subsequently, animals were assigned to treatment groups and given either estradiol (2.5 mg/kg, 5 mg/kg, 10 mg/kg sc), medroxyprogesterone acetate (0.5 mg/kg, 2 mg/kg, 5 mg/kg sc), triptorelin pamoate (0.18 mg/kg, 0.56 mg/kg sc) and acetylsalicylic acid (3 mg/kg gavage) on the fifth day following implantation. Wet and dry relative weight of the endometrioma were used as a indicator of growth for model of endometriosis. In the group treated with estradiol, the average wet weight and dry weight on the 14 th day following implantation was 36.62 ± 4.97 mg% and 3.97 ± 1 mg% (2.5 mg), 56.37 ± 20.19 mg% and 9.11 ± 3.85 mg% (5 mg), and 173.89 ± 69.53 mg% and 27.67 ± 10.27 mg% (10 mg), respectively. In the group treated with medroxyprogesterone acetate, the corresponding figures were 13.58 ± 2.53 mg% and 2.67 ± 0.5 mg% (0.5 mg), 14.29 ± 2.07 mg% and 3.71 ± 1.31 mg% (2 mg), and 15.33 ± 7.08 mg% and 2.68 ± 1.44 mg% (5 mg). In the group treated with triptorelin pamoate, the corresponding figures were 20.04 ± 4.02 mg% and 5.21 ± 1.54 mg% (0.18 mg), and 10.86 ± 1.88 mg% and 1.89 ± 0.29 mg% (0.56 mg). In the group treated with 3 mg acetylsalicylic acid, the corresponding figures were 12.81 ± 2.04 mg% and 2.09 ± 0.4 mg%. In the estradiol group, growth gain was dose-dependent: animals receiving 10 mg differed significantly from animals receiving lower doses and from untreated animals (p<0.0001). In conclusion, the model was found to be reproducible and easy to use. / A endometriose é definida como a presença de tecido endometrial (glândula e estroma) fora do útero (mais precisamente revestimento endometrial). O objetivo foi desenvolver e validar um modelo de endometriose subcutânea em ratas para estudo de prováveis mecanismos fisiopatológicos e do efeito de drogas. Inicialmente, as ratas (Rattus norvergicus, linhagem Wistar) foram implantadas subcutaneamente com fragmentos uterinos 4x4 mm para avaliar o crescimento de endometrioma após 1, 7, 14 e 21dias. Implantes de tecido endometrial foram confirmados por análise histológica. O maior ganho de peso relativo do endometrioma foi observado no dia 14 (peso úmido relativo 29,1 ± 6,79 mg%, peso seco relativo 5,36 ± 0,97 mg%). Posteriormente, os animais foram divididos em grupos e receberam estradiol (2,5 mg/kg, 5 mg/kg, 10 mg/kg sc), acetato de medroxiprogesterona (0,5 mg/kg, 2 mg/kg, 5 mg/kg sc), pamoato de triptorrelina (0,18 mg/kg, 0,56 mg/kg sc) e ácido acetilsalicílico (3 mg/kg gavagem) no quinto dia após a implantação. Peso úmido relativo e seco relativo do endometrioma foram usados como um indicador de crescimento para o modelo de endometriose. No grupo tratado com estradiol, o peso úmido relativo médio e peso seco relativo médio no dia 14 após a implantação foi de 36,62 ± 4,97 mg% e 3,97 ± 1mg % (2,5 mg/kg), 56,37 ± 20,19 mg% e 9,11 ± 3,85 mg% (5 mg/kg), 173,89 ± 69,53 mg% e 27,67 ± 10,27 mg% (10 mg/kg), respectivamente. No grupo tratado com acetato de medroxiprogesterona, os valores correspondentes foram 13,58 ± 2,53 mg% e 2,67 ± 0,5 mg% (0,5 mg/kg), 14,29 ± 2,07 mg% e 3,71 ± 1,31 mg% (2 mg/kg), e 15,33 ± 7,08 mg% e 2,68 ± 1,44 mg% (5 mg/kg). No grupo tratado com pamoato de triptorrelina, os valores correspondentes foram 20,04 ± 4,02 mg% e 5,21 ± 1,54 m% (0,18 mg/kg), e 10,86 ± 1,88 mg% e 1,89 ± 0,29 mg% (0,56 mg/kg). No grupo tratado com ácido acetilsalicílico 3 mg/kg, os valores correspondentes foram 12,81 ± 2,04 mg% e 2,09 ± 0,4 mg%. No grupo de estradiol, o ganho de crescimento foi dependente da dose: os animais que receberam 10 mg/kg diferiram significativamente dos animais que receberam doses mais baixas e a partir de animais não tratados (p < 0,0001). Em conclusão, o modelo mostrou ser reprodutível e fácil de usar.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção. / Made available in DSpace on 2013-07-15T22:44:09Z (GMT). No. of bitstreams: 0 / O paradigma do realismo materialista, profundamente enraizado em nossa sociedade, teve seus principais dogmas refutados pelos avanços do conhecimento científico em várias áreas. É preciso atualizar nossa visão de mundo, em consonância com as novas compreensões que estes avanços tornam possíveis. Tal atualização é necessária para que possamos perceber que vivemos em um sistema simbólico, fruto da história de nossas escolhas arbitrárias e, construído pela linguagem. Além disso, derivamos de nossa biologia e da história de nossa espécie, características específicas, que moldam nossos hábitos e comportamentos e nos tornam seres que utilizam a razão e a linguagem sob a motivação de nossas emoções. Esta Tese identifica potenciais contribuições científicas que possibilitam a adequada atualização de nossa visão de mundo, à luz dos avanços científicos atuais, bem como, contribui para uma nova compreensão das questões básicas inerentes à definição de modelos, em especial de modelos de gestão de risco.

A enorme complexidade dos sistemas ecológicos tem sido uma grande barreira para a compreensão e o gerenciamento da problemática ambiental. Neste sentido a modelagem matemática é uma valiosa ferramenta, devido a sua capacidade de organizar as informações disponíveis sobre estes sistemas e de fazer previsões a seu respeito para diferentes condições. Desta forma a análise de sistemas naturais vem sendo abordada de diferentes maneiras, sendo que nas últimas décadas a teoria de ecossistemas expandiu-se e ramos específicos, que permitem seguir e predizer a evolução de ecossistemas, foram formulados. Um destes enfoques, conhecido como análise do fluxo de insumo-produto, pode ser utilizado para explicar o funcionamento e estrutura dos subsistemas de um ecossistema através da descrição dos fluxos de matéria ou energia. A análise do fluxo de insumo-produto pode ser representada através de dois modelos: o modelo determinístico ou o modelo estocástico, tendo sua origem em estudos de caso com o objetivo de analisar a econômica norte-americana, sendo uma extensão prática da teoria clássica de interdependência geral. Este trabalho faz uma abordagem sintética da evolução desta análise, avaliando dados teóricos e principalmente dados referentes à Lagoa Itapeva. A análise de input-output (determinística e estocástica) com o propósito de obter informações no que diz respeito aos fluxos (matéria e energia), é bastante simples; sendo que os modelos determinísticos se prestam melhor para traçar um panorama global e para obter projeções para as variáveis já os modelos estocásticos são mais complexos, mas provêem uma descrição mais acurada. Na Lagoa Itapeva os processos determinísticos demonstraram um baixo índice de ciclagem do carbono entre os três compartimentos em estudo e o fluxo preferencial na normalização corresponde ao compartimento dos produtores primários, isto decorre de não existir loop nos compartimentos em estudo e também não existir fluxos em dois sentidos. Em relação à avaliação estocástica foram observadas uma baixa relação no sentido espacial superfície-meio-fundo da lagoa, e uma boa distribuição espacial norte-centro-sul. Quanto à distribuição temporal, foi constatada uma baixa concordância entre os dados analisados e os dados reais quanto das análises realizadas em intervalos de tempo pequeno (horas) e uma boa concordância nas medidas feitas quando o intervalo foi significativo (meses). Também em relação à Lagoa Itapeva, foi verificado nas análises estocásticas, utilizando-se operadores espaciais, que como a dinâmica biológica nem sempre é linear, os organismos não podem acompanhar imediatamente e perfeitamente as mudanças do ambiente, resultando em tempos de residência de matéria significativamente baixo. Além da análise dos fluxos ligados a este ecossistema lagunar, foram desenvolvidas técnicas de correção e adaptação de dados referentes à amostragem ocorrida na Lagoa durante um ano de campanha. Assim, propõe-se uma nova perspectiva no uso desta metodologia de forma simples e de fácil manipulação matemática.

A implementação de técnicas estatísticas, como modelos de regressão, permite conhecer os efeitos dos fatores sobre a característica de qualidade de um produto, contribuindo na melhoria da qualidade de produtos e processos. O objetivo desta dissertação consiste em elaborar um método que oriente à modelagem de dados mensurados em proporção, levando em consideração a classificação das variáveis dependentes e independentes, com enfoque no Modelo de Regressão Beta e no Modelo de Quaseverossimilhança. O método é ilustrado com um estudo em uma empresa curtidora da região do Vale do Rio dos Sinos no Rio Grande do Sul. A modelagem realizada neste estudo referiuse a proporção de produtos refugados no processo de produção por erro de classificação. Os Modelos de Regressão Beta e de Quase-verossimilhança apresentaram bom ajuste e mostraram-se adequados na modelagem da proporção de produtos por erros de classificação. Esses modelos podem ser estendidos a todos os processos industriais que envolvam a produção de produtos não conformes às especificações de fabricação (defeituosos). O método elaborado apresentou facilidade de entendimento e clareza dos passos para a escolha dos modelos de regressão usados na modelagem de dados mensurados em proporção.

Magíster en Economía Aplicada / Este trabajo es un estudio descriptivo y exploratorio del grado de sustitución por parte de la demanda en el mercado de la salud en Chile. Para realizar este estudio se utilizaron archivos maestros facilitados por la Superintendencia de Salud de Chile. A través de estadísticas descriptivas y la construcción de matrices de Markov se estiman probabilidades tales como: La probabilidad de persistencia hospitalaria (2 visitas consecutivas en el mismo prestador de salud) y la probabilidad de persistencia en aseguradoras (afiliación por 2 años consecutivos en la misma isapre). Se halla que en promedio, los pacientes persisten en su prestador el 64,08% de los casos y en su aseguradora el 92,37% de los casos. Se hallan estas probabilidades por prestador y por isapre, y además, se exponen estas probabilidades con respecto a diferentes características de los beneficiarios, con el fin de hallar heterogeneidad entre ellas. Por otro lado, se caracteriza esta decisión a través de atributos tanto de los pacientes (sexo, edad, cotizante/carga, diagnóstico, índice de Charlson, región, etc), de los prestadores (verticalmente integrado, público/privado) y las aseguradoras (abierta/cerrada) ajustando en primera instancia un modelo lineal con efectos fijos por paciente, por prestador y por isapre, y luego un modelo logit con enfoque de verosimilitud condicional. De estas regresiones se concluye que las características de los pacientes tales como el sexo, la edad y el tipo de beneficiario (cotizante/carga) no generan ningún impacto en la persistencia hospitalaria, no así la presencia de comorbilidades, las cuales generan una disminución significativa y enfermedades específicas, las cuales son determinantes. Se observa que la pertenencia al sistema público del prestador genera una disminución significativa al igual que la condición de estar verticalmente integrado a una aseguradora. Con respecto a la persistencia en aseguradoras, se concluye que las características de los beneficiarios tales como el sexo y la edad resultan ser significativas solo en el modelo lineal. Se observa que los trabajadores independientes persisten más que los trabajadores dependientes, mientras más ingresos percibe el beneficiario, más tiende a persistir y a mayor número de cargas, menor es la persistencia. Además, la presencia de comorbilidades impacta positivamente en la persistencia en aseguradoras. Por último, realizando una descomposición de la varianza del modelo lineal de probabilidad, se concluye que las características de los pacientes son las que explican con mayor magnitud la varianza de la persistencia hospitalaria y por lo tanto, son las características de los beneficiarios las que son mayormente consideradas al momento de la toma de decisión.

A enorme complexidade dos sistemas ecológicos tem sido uma grande barreira para a compreensão e o gerenciamento da problemática ambiental. Neste sentido a modelagem matemática é uma valiosa ferramenta, devido a sua capacidade de organizar as informações disponíveis sobre estes sistemas e de fazer previsões a seu respeito para diferentes condições. Desta forma a análise de sistemas naturais vem sendo abordada de diferentes maneiras, sendo que nas últimas décadas a teoria de ecossistemas expandiu-se e ramos específicos, que permitem seguir e predizer a evolução de ecossistemas, foram formulados. Um destes enfoques, conhecido como análise do fluxo de insumo-produto, pode ser utilizado para explicar o funcionamento e estrutura dos subsistemas de um ecossistema através da descrição dos fluxos de matéria ou energia. A análise do fluxo de insumo-produto pode ser representada através de dois modelos: o modelo determinístico ou o modelo estocástico, tendo sua origem em estudos de caso com o objetivo de analisar a econômica norte-americana, sendo uma extensão prática da teoria clássica de interdependência geral. Este trabalho faz uma abordagem sintética da evolução desta análise, avaliando dados teóricos e principalmente dados referentes à Lagoa Itapeva. A análise de input-output (determinística e estocástica) com o propósito de obter informações no que diz respeito aos fluxos (matéria e energia), é bastante simples; sendo que os modelos determinísticos se prestam melhor para traçar um panorama global e para obter projeções para as variáveis já os modelos estocásticos são mais complexos, mas provêem uma descrição mais acurada. Na Lagoa Itapeva os processos determinísticos demonstraram um baixo índice de ciclagem do carbono entre os três compartimentos em estudo e o fluxo preferencial na normalização corresponde ao compartimento dos produtores primários, isto decorre de não existir loop nos compartimentos em estudo e também não existir fluxos em dois sentidos. Em relação à avaliação estocástica foram observadas uma baixa relação no sentido espacial superfície-meio-fundo da lagoa, e uma boa distribuição espacial norte-centro-sul. Quanto à distribuição temporal, foi constatada uma baixa concordância entre os dados analisados e os dados reais quanto das análises realizadas em intervalos de tempo pequeno (horas) e uma boa concordância nas medidas feitas quando o intervalo foi significativo (meses). Também em relação à Lagoa Itapeva, foi verificado nas análises estocásticas, utilizando-se operadores espaciais, que como a dinâmica biológica nem sempre é linear, os organismos não podem acompanhar imediatamente e perfeitamente as mudanças do ambiente, resultando em tempos de residência de matéria significativamente baixo. Além da análise dos fluxos ligados a este ecossistema lagunar, foram desenvolvidas técnicas de correção e adaptação de dados referentes à amostragem ocorrida na Lagoa durante um ano de campanha. Assim, propõe-se uma nova perspectiva no uso desta metodologia de forma simples e de fácil manipulação matemática.

A implementação de técnicas estatísticas, como modelos de regressão, permite conhecer os efeitos dos fatores sobre a característica de qualidade de um produto, contribuindo na melhoria da qualidade de produtos e processos. O objetivo desta dissertação consiste em elaborar um método que oriente à modelagem de dados mensurados em proporção, levando em consideração a classificação das variáveis dependentes e independentes, com enfoque no Modelo de Regressão Beta e no Modelo de Quaseverossimilhança. O método é ilustrado com um estudo em uma empresa curtidora da região do Vale do Rio dos Sinos no Rio Grande do Sul. A modelagem realizada neste estudo referiuse a proporção de produtos refugados no processo de produção por erro de classificação. Os Modelos de Regressão Beta e de Quase-verossimilhança apresentaram bom ajuste e mostraram-se adequados na modelagem da proporção de produtos por erros de classificação. Esses modelos podem ser estendidos a todos os processos industriais que envolvam a produção de produtos não conformes às especificações de fabricação (defeituosos). O método elaborado apresentou facilidade de entendimento e clareza dos passos para a escolha dos modelos de regressão usados na modelagem de dados mensurados em proporção.

Made available in DSpace on 2014-06-12T15:59:18Z (GMT). No. of bitstreams: 2 arquivo5011_1.pdf: 1099518 bytes, checksum: 29a36710d81ec239b320f6d900a43fc5 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2004 / Leis de programação são importantes tanto para definir a semântica axiomática de linguagens de programação quanto para auxiliar o processo de desenvolvimento de software. De fato, estas leis podem ser utilizadas como base para práticas informais de desenvolvimento como refactoring, que vem sendo popularizada por metodologias modernas, em especial por Extreme Programming. Embora não tenham sido suficientemente exploradas ainda, as leis de modelagem provavelmente podem trazer benefícios similares, mas com um impacto positivo maior em confiabilidade e produtividade, devido ao melhor suporte antecipado no processo de desenvolvimento de software. Em geral, transformação de modelos que preservam semântica são propostas de maneira ad hoc tendo em vista que são difíceis de serem provadas que são consistentes com respeito a semântica formal. Como consequência, pequenos equívocos podem levar a transformações que deixem o modelo inconsistente. Por estes motivos, este trabalho propõe um conjunto de leis de modelagem (que podem ser vistas como transformações de modelos bidirecionais que preservam semântica) que podem ser utilizas com segurança para se derivar leis mais complexas. Estas leis descrevem transformações de modelos em Alloy, uma linguagem formal para modelagem orientada a objetos. Além disso, será mostrada como estas leis podem ser utilizadas para refatorar especificações em Alloy. Com o intuito de se verificar a consistência das leis, foi proposta uma semântica denotacional para Alloy, utilizando a própria linguagem e uma noção de equivalência indicando quando dois modelos em Alloy possuem a mesma semântica. Por fim, o Alloy Analyzer, ferramenta utilizada para fazer análises em modelos em Alloy, foi estendida com algumas das leis básicas propostas. Como resultado, algumas diretrizes para a implementação de sistemas de transformação foram propostas