Um modelo algébrico para a lógica do muito

Pós-graduação em Filosofia - FFC

Técnica para dedução do modelo algébrico PTT, aplicações e análises numéricas em escoamentos bidimensionais

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

Um modelo algébrico do quantificador da ubiquidade

Pós-graduação em Filosofia - FFC

Uma Metodologia de Estudo de Simulação Tridimensional de Escoamento Turbulento Estratificado no Reservatório de Plantas Hidrelétricas.

Uma simulação numérica que leva em conta os efeitos de estratificação e mistura escalar (como a temperatura, salinidade ou substância solúvel em água) é necessária para estudar e prever os impactos ambientais que um reservatório de usina hidrelétrica pode produzir. Este trabalho sugere uma metodologia para o estudo de escoamentos ambientais, principalmente aqueles em que o conhecimento da interação entre a estratificação e mistura pode dar noções importantes dos fenômenos que ocorrem. Por esta razão, ferramentas de simulação numérica 3D de escoamento ambiental são desenvolvidas. Um gerador de malha de tetraedros do reservatório e o modelo de turbulência algébrico baseado no número de Richardson são as principais ferramentas desenvolvidas. A principal dificuldade na geração de uma malha de tetraedros de um reservatório é a distribuição não uniforme dos pontos relacionada com a relação desproporcional entre as escalas horizontais e verticais do reservatório. Neste tipo de distribuição de pontos, o algoritmo convencional de geração de malha de tetraedros pode tornar-se instável. Por esta razão, um gerador de malha não estruturada de tetraedros é desenvolvido e a metodologia utilizada para obter elementos conformes é descrita. A geração de malha superficial de triângulos utilizando a triangulação Delaunay e a construção do tetraedros a partir da malha triangular são os principais passos para o gerador de malha. A simulação hidrodinâmica com o modelo de turbulência fornece uma ferramenta útil e computacionalmente viável para fins de engenharia. Além disso, o modelo de turbulência baseado no número de Richardson leva em conta os efeitos da interação entre turbulência e estratificação. O modelo algébrico é o mais simples entre os diversos modelos de turbulência. Mas, fornece resultados realistas com o ajuste de uma pequena quantidade de parâmetros. São incorporados os modelos de viscosidade/difusividade turbulenta para escoamento estratificado. Na aproximação das equações médias de Reynolds e transporte de escalar é utilizando o Método dos Elementos Finitos. Os termos convectivos são aproximados utilizando o método semi-Lagrangeano, e a aproximação espacial é baseada no método de Galerkin. Os resultados computacionais são comparados com os resultados disponíveis na literatura. E, finalmente, a simulação de escoamento em um braço de reservatório é apresentada.

Estudo numérico de escoamento turbulento em padrão anular gás-líquido em dutos verticais

Multiphase flows in ducts can adopt several morphologies depending on the mass fluxes and the fluids properties. Annular flow is one of the most frequently encountered flow patterns in industrial applications. For gas liquid systems, it consists of a liquid film flowing adjacent to the wall and a gas core flowing in the center of the duct. This work presents a numerical study of this flow pattern in gas liquid systems in vertical ducts. For this, a solution algorithm was developed and implemented in FORTRAN 90 to numerically solve the governing transport equations. The mass and momentum conservation equations are solved simultaneously from the wall to the center of the duct, using the Finite Volumes Technique. Momentum conservation in the gas liquid interface is enforced using an equivalent effective viscosity, which also allows for the solution of both velocity fields in a single system of equations. In this way, the velocity distributions across the gas core and the liquid film are obtained iteratively, together with the global pressure gradient and the liquid film thickness. Convergence criteria are based upon satisfaction of mass balance within the liquid film and the gas core. For system closure, two different approaches are presented for the calculation of the radial turbulent viscosity distribution within the liquid film and the gas core. The first one combines a k- Ɛ one-equation model and a low Reynolds k-Ɛ model. The second one uses a low Reynolds k- Ɛ model to compute the eddy viscosity profile from the center of the duct right to the wall. Appropriate interfacial values for k e Ɛ are proposed, based on concepts and ideas previously used, with success, in stratified gas liquid flow. The proposed approaches are compared with an algebraic model found in the literature, specifically devised for annular gas liquid flow, using available experimental results. This also serves as a validation of the solution algorithm

Logic TK: algebric notions from Tarski's consequence operator

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

O desenvolvimento do pensamento algébrico de alunos do 4º ano de escolaridade : uma experiência de ensino

Tese de doutoramento, Educação (Didática da Matemática), Universidade de Lisboa, Instituto de Educação, 2014

APSEE-Global : um modelo de gerência de processos distribuídos de software

Desde o início dos anos 90, uma tendência no desenvolvimento de software tem despertado a atenção dos pesquisadores: a distribuição do desenvolvimento. Esse fenômeno é um reflexo de mudanças sociais e econômicas, que têm levado organizações a distribuírem geograficamente seus recursos e investimentos, visando aumento de produtividade, melhorias na qualidade e redução de custos no desenvolvimento de software. Em virtude dessa distribuição, equipes geograficamente dispersas cooperam para a obtenção de um produto final de software. A distribuição física das equipes agrava problemas já inerentes à gerência do processo de software. O desenvolvimento de ambientes, modelos e ferramentas para gerenciar processos conduzidos nesse contexto é um desafio cada vez mais importante nos estudos em Tecnologia de Processos de Software. Os ambientes de suporte a processos devem prover infra-estrutura para processos distribuídos. Este trabalho propõe um modelo de gerência de processos distribuídos, denominado APSEE-Global, que estende o APSEE, um ambiente de engenharia de software centrado no processo desenvolvido no contexto do grupo de pesquisa Prosoft, provendo um conjunto de funcionalidades para suporte a processos distribuídos. O APSEE-Global viabiliza o aumento da autonomia das equipes que participam do projeto, pela possibilidade de adotarem modelos de processo distintos e pela gerência descentralizada do processo de desenvolvimento; permite a documentação e facilita a análise e a gerência das relações entre as equipes; e provê um canal de comunicação formal para acompanhamento da execução do processo distribuído. Os diferentes componentes do APSEE-Global foram especificados formalmente, o que constitui uma base semântica de alto nível de abstração que deu origem à implementação de um protótipo integrado ao ambiente de desenvolvimento de software Prosoft. A especificação do modelo foi realizada pela combinação dos formalismos Prosoft-Algébrico e Gramática de Grafos.

Implementação de um modelo computacional para estudo do processo Fischer-Tropsch em reator de leito de lama

This work aims at the implementation and adaptation of a computational model for the study of the Fischer-Tropsch reaction in a slurry bed reactor from synthesis gas (CO+H2) for the selective production of hydrocarbons (CnHm), with emphasis on evaluation of the influence of operating conditions on the distribution of products formed during the reaction.The present model takes into account effects of rigorous phase equilibrium in a reactive flash drum, a detailed kinetic model able of predicting the formation of each chemical species of the reaction system, as well as control loops of the process variables for pressure and level of slurry phase. As a result, a system of Differential Algebraic Equations was solved using the computational code DASSL (Petzold, 1982). The consistent initialization for the problem was based on phase equilibrium formed by the existing components in the reactor. In addition, the index of the system was reduced to 1 by the introduction of control laws that govern the output of the reactor products. The results were compared qualitatively with experimental data collected in the Fischer-Tropsch Synthesis plant installed at Laboratório de Processamento de Gás - CTGÁS-ER-Natal/RN

Evolución de la eficiencia reproductiva en la finca piloto San José del municipio de Santo Tomás, Chontales. Area modelo del proyecto de mejoramiento de la productividad ganadera para los productores de pequeña y mediana escala

El presente estudio se realizo con el objetivo de determinar la evolución de la eficiencia reproductiva en la finca piloto San José del municipio de Santo tomas, del departamento de Chontales. Evolución de la Eficiencia Reproductiva en la Finca Piloto San José, en el Municipio de Santo Tomas Chontales. Area modelo del proyecto de Mejoramiento de la Productividad Ganadera para los Productores de Pequeña y Mediana Escala. La finca se sitúa entre las coordenadas 13º28’51’’ latitud norte y 70º77’02’’ longitud este, con altura de 420 msnm, con una precipitación promedio anual de 1600 a 2000 mm, con temperatura media anual de 25º a 27ºC. El presente estudio se evaluaron los diferentes índices reproductivos de la finca piloto San José, haciendo uso de los registros que se levantaron durante la etapa de ejecución del proyecto, realizando monitoreos periódicos como: pesajes de ganado y diagnósticos reproductivos, también se realizaba pesaje de leche y prueba de mastitis, estas actividades se realizan una vez al mes, pero con diferencias de 15 días por actividades. La producción total de leche obtenida en la finca fue de 49.500kg de leche durante un año, cuando el IPP fue de 12 meses. Cuando el IPP llego a los 24 meses la producción de leche fue de 27,000Kg. Se obtuvo que entre menor fueron los IPP y los ingresos de las finca fueron mayores. Cuando se alargaron los dias de ordeño también se alargaron los dias de secado. En el año 2005 el promedio del IPC era de 8.5 meses y en el año 2008 se redujo a 4.7 meses. En el año 2005 el IPP era de 18 meses y para el año 2008 se redujo a 14 meses. Para el invierno del 2005 se tenía promedios de 9 partos en invierno con relación al de verano que fue de 3 partos, luego en el verano del 2008 los partos se redujeron a 4 partos, pero en invierno aumentaron a 15 partos por época. El IPC para el 2005 correspondía a un 22 %, para el año 2008 se logro reducir a un 7.5 %. El IPP en el año 2005 fue del 45.7 % y para el 2008 se redujo a un22.4 %, prácticamente se redujo a un 50 %. En la finca piloto en el 2005 se contaba con 12 animales en ordeño y al año 2008 se incremento su número de animales productivos a 19 animales. La producción promedio por vaca siempre se mantuvo estable entre los 4 y 5 litros de leche por vaca, aumentado solamente la producción total de leche por día.

Implementación del Modelo de Red Causal en un texto narrativo en español

Resumen: El Modelo de Red Causal propone que la estructura causal de una historia y su representación en la memoria episódica se asemejan a una red, en la que los acontecimientos resultan de una combinación de antecedentes causales, que a su vez tienen múltiples consecuencias. El estudio de la comprensión de textos según este modelo ha tendido a llevarse a cabo utilizando textos experimentales en inglés. En razón de ello, el objetivo de este trabajo consistió en presentar la aplicación del Modelo de Red Causal a un texto narrativo natural en español, a fin de abogar por su utilidad para examinar los procesos cognitivos involucrados en la comprensión textual.

Alfonso X : un modelo de rey letrado

Integran este número de la revista ponencias presentadas en Studia Hispanica Medievalia VIII: Actas de las IX Jornadas Internacionales de Literatura Española Medieval, 2008, y de Homenaje al Quinto Centenario de Amadis de Gaula.

El modelo de gestión estratégica de recursos humanos como herramienta de desarrollo, crecimiento, eficiencia y modernización de la gestión pública

Resumen: El éxito de toda organización depende de una serie de factores, en su mayoría referidos a la actividad de recursos humanos. En esta esfera es donde surgen grandes desafíos signados por los cambios que se vienen produciendo en el mundo globalizado. Surge la necesidad de adquirir nuevas competencias en cuanto a cómo planificar y gerenciar los Recursos Humanos en tiempos de incertidumbre e inestabilidad. Resulta imperioso para las organizaciones contemporáneas desarrollar e implementar procesos de formación de directivos con una orientación gerencial más avanzada, a partir de un rediseño de su perfil de competencias que permita replantear su misión y redefinir muchas de sus funciones, donde sus recursos humanos juegan un rol protagónico. La Administración Pública no escapa a estos cambios, que inciden directamente sobre el Modelo de Gestión Estratégica de Recursos Humanos, al enfrentar con frecuencia grandes obstáculos y resistencia al cambio.

Estudio de la estabilidad de una variante del modelo de la telaraña

Resumen: Este artículo versa sobre una de las aplicaciones de las ecuaciones en diferencias finitas lineales de primer orden en el análisis económico de un problema. A partir del conocido modelo de la telaraña o modelo de cobweb se introducen, siguiendo a P. Cagan (1956), expectativas adaptativas y se obtiene una variante de dicho modelo. Se estudia la estabilidad de tal variante a partir del análisis del carácter de la sucesión de precios generada por la solución del modelo.