En esta tesis se analiza, diseña y compara los métodos y diseños de concreto armado, concreto postensado y estructuras metálicas, con el fin de poder incluir en nuestra localidad el uso de concreto postensado. En esta investigación se realizó el diseño de todos los elementos correspondientes a las tres estructuras como columnas, vigas, losas, muros de corte, uniones de perfiles y arriostres que permitirá la construcción sismorresistente del mercado Antenor Orrego. La tesis pretende dar a conocer los sistemas estructurales más resistentes frente a sismos puesto que los mercados, por ser centros de abastecimientos, son considerados edificaciones importantes para el ser humano. Para ello se utilizaron los planos de arquitectura proporcionados por la municipalidad de la Victoria, en los que se visualiza los dos primeros niveles como área comercial y el tercer nivel con auditorios y sala de usos múltiples. Dichos planos me sirvieron para realizar un análisis comparativo técnico y económico de la estructura para determinar el sistema más eficiente para el mercado Antenor Orrego. / Tesis

Tese (doutorado)—Universidade de Brasília, Faculdade de Química, Departamento de Nutrição, 2008. / Submitted by Larissa Ferreira dos Angelos (ferreirangelos@gmail.com) on 2009-09-09T19:27:13Z No. of bitstreams: 1 2008_HeibeCristhianBenditoOliveira.pdf: 7244812 bytes, checksum: a34df7739bc6420c53ceacb6e390d605 (MD5) / Approved for entry into archive by Gomes Neide(nagomes2005@gmail.com) on 2011-01-17T16:01:09Z (GMT) No. of bitstreams: 1 2008_HeibeCristhianBenditoOliveira.pdf: 7244812 bytes, checksum: a34df7739bc6420c53ceacb6e390d605 (MD5) / Made available in DSpace on 2011-01-17T16:01:09Z (GMT). No. of bitstreams: 1 2008_HeibeCristhianBenditoOliveira.pdf: 7244812 bytes, checksum: a34df7739bc6420c53ceacb6e390d605 (MD5) Previous issue date: 2008-04 / Neste trabalho desenvolvemos uma metodologia alternativa (método das q-Integrais) para o cálculo de integrais de dois-elétrons em métodos ab initio de mecânica quântica molecular. O método das q-Integrais é baseado na função q-Exponencial, a qual provém da mecânica estatística não-extensiva de Tsallis. A vantagem deste procedimento é que o tempo de CPU para o cálculo de integrais de dois-elétrons é substancialmente reduzido quando comparado com as metodologias usuais. Para validar esta nova metodologia, o método das q-Integrais foi aplicado em quatro situações usando os níveis de cálculo Hartree-Fock, MP2 e CC (aproximações CCD e CCSD): i) gerar as curvas de energia potencial dos sistemas moleculares H2, N2, O2, F2 e HF utilizando conjuntos de funções de base STO-3G, STO- 6G, Slater (base mínima) e double-zeta(DZV), considerando várias distâncias interatômicas entre 0; 5 e 8; 0 bohr; ii) calcular as constantes espectroscópicas e o espectro rovibracional para os sistemas moleculares relatados; iii) otimizar a distância interatômica dos referidos sistemas moleculares; iv) calcular o momento de dipolo (para sistemas heteronucleares), a polarizabilidade linear estática e a segunda hiperpolarizabilidade em funcão da distância interatômica usando duas diferentes metodologias: métodos Hartree-Fock Acoplado(CPHF) e Campo Finito (FF). Nossos resultados estão em bom acordo com os obtidos utilizando os procedimentos usuais para cálculo de integrais de dois-elétrons, indicando claramente que o método das q Integrais é acurado o bastante para ser usado em cálculos mecânico-quânticos moleculares. O método das q-Integrais foi implementado no código fonte do programa geral de química quântica GAMESS. ______________________________________________________________________________ ABSTRACT / The present work develops an alternative methodology (q-Integral method) to evaluate the two-electron integrals which appear in ab initio molecular quantum mechanical calculations. The q-Integral method is based on the q-Exponential function, which comes from the Tsallis non-extensive statistics mechanics. The advantage of this procedure is that the CPU time for calculating the two-electron integrals is substantially reduced when compared with the usual methods. To validate this new methodology, the q Integral method was applied in four cases using the Hartree-Fock, MP2 and CC (CCD and CCSD approaches) theory: i) to build up the potential energy curves of the molecular systems H2, N2, O2, F2 and HF using the STO-3G, STO-6G, Slater (minimal basis) and double-zeta (DZV) atomic basis sets, assuming several interatomic distances varying between 0.5 and 8.0 bohr; ii) to evaluate the spectroscopic constants and the rovibrational spectra for the related molecular systems; iii) to optimize the interatomic distance of the related molecular systems; iv) to calculate the bond length dependence of the dipole moment (to heteronuclear systems), static linear polarizability and second hyperpolarizability via two different approaches: the Coupled Hartree-Fock (CPHF) and Field Finite (FF) methods. Our results are in good agreement with those obtained through the standard procedure for calculating the two-electron integrals, implying that the q-Integral method is accurate enough to be used in any molecular quantum mechanical calculation. The q-Integral method was implemented in the source code of the general ab initio quantum chemistry package GAMESS.

Na última década muitos esforços têm sido feitos em verificação formal de propriedades de agentes do cálculo-π. Uma dessas propriedades é a equivalência observacional, que serve para determinar se um processo é equivalente a sua especificação. Contudo, a verificação de equivalência observacional não é um problema trivial. A maioria dos algoritmos destinados a verificação de equivalência são baseados na construção de sistemas de transições rotuladas (π-autômatos). O principal problema com essa abordagem é o grande número de estados envolvidos podendo chegar a um número infinito. Montanari e Pistore mostram que é possível gerar π-autômatos finitos para agentes-π e é possível reduzir a quantidade de estados desses π-autômatos, através da identificação dos nomes ativos. Um nome é semanticamente ativo em um agente se ele pode ser executado de forma observável por ele. Este é um trabalho de análise estática, que tem por objetivo coletar os possíveis nomes ativos contidos em expressões-π, utilizando para isso um sistema de tipos. A vantagem da utilização de sistemas de tipos em relação a outras formas de análise estática é que sistemas de tipos são sistemas lógicos, logo as técnicas de prova da lógica podem ser aproveitadas no estudo de propriedades de sistemas de tipos. Além disso sistemas de tipos são definidos através da estrutura sintática de expressões, facilitando assim as provas por indução estrutural. Assim a principal contribuição deste trabalho é a elaboração do Active-Base-π, um sistema de tipos para a coleta de nomes ativos de expressões-π.

O objetivo deste trabalho é a obtenção de uma técnica para a modelagem otimizada de corpos submetidos a fluxos de alta velocidade, como aerofólios em escoamentos transônicos e outras geometrias aerodinâmicas. A técnica é desenvolvida através de expansões em séries de Fourier para um conjunto de equações diferenciais com interrelação com as condições de contorno, sendo uma equação para a parte superior e outra para a parte inferior do aerofólio. O método de integração temporal empregado baseia-se no esquema explícito de Runge-Kutta de 5 estágios para as equações da quantidade de movimento e na relação de estado para a pressão. Para a aproximação espacial adota-se um esquema em volumes finitos no arranjo co-localizado em diferenças centrais. Utiliza-se dissipação artificial para amortecer as frequências de alta ordem do erro na solução das equações linearizadas. A obra apresenta a solução de escoamentos bi e tridimensionais de fluidos compressíveis transônicos em torno de perfis aerodinâmicos. Os testes num´ericos são realizados para as geometrias do NACA 0012 e 0009 e asas tridimensionais usando as equações de Euler, para número de Mach igual a 0.8 e ® = 0o. Os resultados encontrados comparam favoravelmente com os dados experimentais e numéricos disponíveis na literatura.

Submitted by Reginaldo Soares de Freitas (reginaldo.freitas@ufv.br) on 2017-08-25T12:49:09Z No. of bitstreams: 1 texto completo.pdf: 2188608 bytes, checksum: f342bdf28dbddc8c45eeabcf2a1e5411 (MD5) / Made available in DSpace on 2017-08-25T12:49:09Z (GMT). No. of bitstreams: 1 texto completo.pdf: 2188608 bytes, checksum: f342bdf28dbddc8c45eeabcf2a1e5411 (MD5) Previous issue date: 2017-03-30 / O assunto principal deste projeto é o cálculo de áreas sob gráficos de funções e de áreas de regiões delimitadas por uma curva plana simples. A proposta é apresentar estes cálculos sem o uso de técnicas do cálculo, ou seja, fazer o estudo do tema de uma maneira mais primitiva de modo que possa ser apresentada sem o conhecimento prévio de integral e do Teorema Fundamental do Cálculo. Propõe-se também buscar informações históricas e paralelamente entender como eram feitos os cálculos de áreas com o rigor matemático da época, além de analisar de que maneira as contribuições de vários grandes matemáticos conduziram ao Cálculo contemporâneo. Deve-se desenvolver o estudo sobre o cálculo de áreas e métodos de estudos para o Ensino Médio. Além disso, este projeto propõe uma introdução ao estudo de curvas planas com o objetivo de despertar nos alunos o aprendizado desse tema. Como parte complementar do trabalho, deve-se apresentar problemas de áreas utilizando técnicas atuais do Cálculo, como, por exemplo, a desigualdade isoperimétrica. / The main subject of this project is the calculation of areas under graphs of functions and areas of regions delimited by a simple flat curve. One of the proposals is to present this study without use of techniques of Calculus, that is, present in a more primitive way that can be presented without prior knwledge of integral and the Fundamental theorem of Calculus. It is also proposed to seek historical information and in parallel to understand how calculations were made of areas with the mathematical rigor of his time, beside analyzing how the time led to the contemporary Calculus. The study on the calculation of areas and methods of study for High School showld be developed. In addition, this project proposes an introduction to the study of flat curves with the purpose of awakening in students the learning of this theme. As a complementary part of the work, area problems should be presented using current techniques of Calculus, such as isoperimetric inequality. / Não foi localizado o currículo lattes do autor.

Este trabalho faz uma relação entre primalidade de números inteiros e os polinômios de Chebyshev, estudando resultados recentemente descobertos. Um dos principais resultados é uma generalização do Pequeno Teorema de Fermat, que mostra a congruência, Tn(a) =a ( mod n) para n primo, em que Tn(x) é o n- ésimo polinômio de Chebyshev. A recíproca desse resultado, se verdadeira, conduziria a um teste de primalidade determinístico eficiente. Através de cálculo computacional, mostramos que para n < 1,9 x 104 , a recíproca é verdadeira. Além disso, os resultados dessa simulação, podem servir de base para o desenvolvimento de um algoritmo probabilístico para verificação da primalidade. Alguns testes de primalidade existentes na literatura, assim como definições e propriedades algébricas dos polinômios de Chebyshev também são apresentadas. / This work makes a relation between integer primality and Chebyshev polynomials, discussing recently found results. One of the most important results is a generalization of Fermat's little theorem. lt shows that Tn(a) =a ( mod n ), for n prime, where Tn(x) is the ndegree Chebyshev polynomial. The converse o f this result, if true, would lead to an efficient deterministic primality test. Tbrough a machine computation, we show that for n < 1,9 x 1 04 , the converse is true. The results of this simulation may serve to structure a probabilistic primality testing algorithm. Also, some existent primality tests, as well as definitions and algebraic properties o f Chebyshev polynomials are presented.

ALMEIDA, Francisco Wescley Cunha de. Integral definida: uma abordagem para o ensino médio com o auxílio do software geogebra.. 2014. 41 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 2014-08-18T19:53:59Z No. of bitstreams: 1 Dissertacao de Francisco Wescley Cunha de Almeida.pdf: 2067978 bytes, checksum: 663cbbe56b4b814e77d4087b32888afb (MD5) / Approved for entry into archive by Rocilda Sales(rocilda@ufc.br) on 2014-08-19T15:38:46Z (GMT) No. of bitstreams: 1 Dissertacao de Francisco Wescley Cunha de Almeida.pdf: 2067978 bytes, checksum: 663cbbe56b4b814e77d4087b32888afb (MD5) / Made available in DSpace on 2014-08-19T15:38:46Z (GMT). No. of bitstreams: 1 Dissertacao de Francisco Wescley Cunha de Almeida.pdf: 2067978 bytes, checksum: 663cbbe56b4b814e77d4087b32888afb (MD5) Previous issue date: 2014 / This work aims to incorporate in high school, the intuitive idea of the Definite Integral, calculation of areas below the positive functions, bounded by the x-axis and vertical lines, or even between positive graph functions in a certain range the area of the same, for example. To facilitate the understanding of these ideas, combined with the study of functions, you can make use of a computational resource such as Geogebra, software used to support learning activities suggested in this work tool. The activities proposed here are intended for high school students. Highlights the importance of introducing these ideas to stimulate the construction of more accurate information on the behavior of functions. It is believed that thus the term, students who enter higher education in the disciplines of calculation will be better able to understand the necessary and thus the failure rates in these disciplines will be reduced concepts. The following work presents a proposal of activities for teaching these topics with the help of GeoGebra software. It was found that you can open the horizons within the teaching and learning of Mathematics in Secondary Education, with intuitive ideas of Calculus, making the use of various tools such as the use of appropriate technologies and that is even possible to provide students new teaching techniques that encourage learning these and other mathematical concepts. / Este trabalho tem como objetivo principal inserir, no Ensino Médio, a ideia intuitiva da Integral Definida, o cálculo de áreas abaixo do gráfico de funções positivas, limitadas pelo eixo das abscissas e por retas verticais, ou até mesmo entre funções positivas em um intervalo determinado pelo domínio das mesmas, por exemplo. Para facilitar o entendimento dessas ideias, aliado ao estudo de funções, pode-se fazer o uso de um recurso computacional como o Geogebra, software utilizado como ferramenta de apoio a aprendizagem nas atividades sugeridas nesse trabalho. As atividades aqui propostas destinam-se a alunos do ensino médio. Destaca-se a importância da introdução dessas ideias por estimular a construção de conhecimentos mais sólidos sobre o comportamento de funções. Acredita-se que, assim, a longo prazo, os alunos que ingressarem no Ensino Superior nas disciplinas de Cálculo terão condições melhores de compreender os conceitos necessários e, assim, os índices de reprovação nessas disciplinas serão reduzidos. O trabalho a seguir apresenta uma proposta de atividades sobre o ensino desses tópicos com auxílio do software GeoGebra. Verificou-se que é possível abrir os horizontes no âmbito do ensino e aprendizagem de Matemática no Ensino Médio, com as ideias intuitivas de Cálculo, fazendo o uso de ferramentas diversas, como a utilização de tecnologias apropriadas e que é possível, inclusive, proporcionar aos estudantes novas técnicas de ensino que favoreçam a aprendizagem desses e demais conceitos matemáticos.

Dissertação (mestrado profissional) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas, Programa de Pós-Graduação em Matemática, Florianópolis, 2014. / Made available in DSpace on 2014-08-06T18:00:20Z (GMT). No. of bitstreams: 1 326687.pdf: 3874658 bytes, checksum: df18b4374a499b2a5e83db064d2629e4 (MD5) Previous issue date: 2014 / Este trabalho trata dos conceitos fundamentais dos números reais com a finalidade de desenvolver as principais técnicas do cálculo diferencial. Apresenta o conceito de limite através do estudo de sequências e faz uma breve seção sobre topologia da reta. Continuidade, derivadas e algumas de suas aplicações também são estudadas. Além disso, exibe, em apêndice, um plano de aula dirigido a alunos do ensino médio onde apresenta os números irracionais no fato de que, utilizando somente os números racionais, não conseguimos realizar todas as medições. Em particular, a medição da diagonal do quadrado tomando como unidade de medida seu lado.<br> / Abstract : This dissertation deals with the fundamental concepts of real numbers aiming to develop the fundamentals of differential calculus. It introduces the concept of limit through sequences and does a brief section about topology on the real line where the Dedekind Axiom is the most important theoretical aspect to be considered . Continuity, derivatives, and some of its applications are also studied. Furthermore, in the appendix there is a class plan aimed to high school classes, there the irrational numbers are introduced and it is shown that using only the rational numbers we can not measure all the segments. In particular, it is shown that the measure of the diagonal of a unit square is irrational.

MACEDO, Marcos Antônio de. Manifestação geométrica das formas indeterminadas de funções: situações didáticas apoiadas na tecnologia. 2015. 118 f. Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências, Programa de Pós-Graduação em Ensino de Ciências e Matemática, Fortaleza-Ce, 2015 / Submitted by Erivan Almeida (eneiro@bol.com.br) on 2015-06-29T18:09:06Z No. of bitstreams: 1 2015_dis_mamacedo.pdf: 5328822 bytes, checksum: abc7c8b982f35b4d9d896d4f1fa86ae6 (MD5) / Approved for entry into archive by Rocilda Sales(rocilda@ufc.br) on 2015-06-30T12:57:37Z (GMT) No. of bitstreams: 1 2015_dis_mamacedo.pdf: 5328822 bytes, checksum: abc7c8b982f35b4d9d896d4f1fa86ae6 (MD5) / Made available in DSpace on 2015-06-30T12:57:37Z (GMT). No. of bitstreams: 1 2015_dis_mamacedo.pdf: 5328822 bytes, checksum: abc7c8b982f35b4d9d896d4f1fa86ae6 (MD5) Previous issue date: 2015 / This work had as main objective to present an educational proposal for indeterminate and rule of L'Hospital ways through teaching sequences structured, based on assumptions of Fedathi sequence as teaching methodology, and the exploitation of Geogebra software as a tool for education. Another objective of the research is to propose to the teachers support material by means of video classes that can assist them in classes on the subject. As for the research methodology employed, we chose the Didactic Engineering considering that it is a reference, as one of its features is to unite the theoretical research and practical action through teaching sessions. We emphasize that we used only the first two stages of the Didactic Engineering, in line with the objectives pursued in our research. According to CAPES the Professional Masters highlights the technical / production technology in teaching as educational products that can be consumed by teachers and other professionals involved with teaching. In this perspective, we produced video classes designed from teaching sequences and became willing a blog structured materials on the subject. Thus, we believe that the calculation of teaching, more specifically the teaching of Indeterminate forms and L'Hôpital rule, submit improvements when combined with a methodology that enables the student to build their own knowledge, as in the case of Fedathi sequence. In this sense, the inclusion of technology through the Geogebra software, enables the student to an alternative way and, in our view, appropriate to the construction of new knowledge. / Este trabalho teve como objetivo central apresentar uma proposta de ensino para as formas indeterminadas e Regra de L’Hôpital por meio de sequências didáticas estruturadas, com base nos pressupostos da Sequência Fedathi como metodologia de ensino, e a exploração do software Geogebra como ferramenta para o ensino. Um outro objetivo da pesquisa é propor aos professores um material de apoio por meio de videoaulas que possa auxiliá-los em aulas sobre o tema. Quanto à metodologia de pesquisa empregada, optamos pela Engenharia Didática considerando que ela representa um referencial, pois uma de suas características é unir a pesquisa teórica e a ação prática por meio de sessões didáticas. Ressaltamos que foram utilizadas apenas as duas primeiras etapas da Engenharia Didática, em consonância com os objetivos buscados em nossa pesquisa. De acordo com a CAPES o mestrado Profissional destaca a produção técnica/tecnológica na área de ensino como Produtos Educacionais que possam ser consumidos por professores e outros profissionais envolvidos com o ensino. Nesta perspectiva, produzimos videoaulas concebidas a partir das sequências de ensino e dispusemos num blog estruturado com materiais sobre o tema. Desse modo, acreditamos que o ensino de Cálculo, mais especificamente o ensino das formas Indeterminadas e regra de L’Hôpital, apresentará melhorias quando associado a uma metodologia que possibilite ao aluno a construção do seu próprio conhecimento, como é o caso da Sequência Fedathi. Nesse sentido, a inserção da tecnologia, por intermédio do software Geogebra, possibilita ao aluno uma maneira alternativa e, a nosso ver, adequada à construção de novos conhecimentos.

Publicación a texto completo no autorizada por el autor / El documento digital no refiere aseso / Diseñar el sistema de presurización para las escaleras de evacuación contra incendios del edificio de la Universidad Tecnológica del Perú de la sede Ate. Calcula el factor de temperatura de la escalera de evacuación N°1 y N°2 contra incendio. Calcula el caudal de aire a puertas abiertas y cerradas en la escalera de evacuación contra incendio. Calcula el caudal total necesario para la presurización de las escaleras de evacuación contra incendio. Dimensiona el damper barométrico para las escaleras de evacuación, en caso de sobrepresión. Determina las especificaciones de la montante de presurización para las escaleras de evacuación contra incendio. Describe la condición de la puesta en marcha del ventilador para satisfacer la necesidad caudal y presión en la escalera de evacuación contra incendio. Describe el balance del sistema de presurización de escaleras a puertas cerradas, con 3 puertas abiertas y balance del damper de gravedad en el edificio de la Universidad Universidad Tecnológica del Perú de la sede Ate. / Trabajo de suficiencia profesional