57 resultados para Formes (Matemàtica)
Resumo:
Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento
Resumo:
Tese de doutoramento em Ciências da Educação: especialidade de Teoria Curricular e Ensino das Ciências
Resumo:
Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento
Resumo:
Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento
Resumo:
Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento
Resumo:
Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento
Resumo:
Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento
Resumo:
Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento
Resumo:
Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento
Resumo:
Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento
Resumo:
Neste trabalho é desenvolvido um algoritmo enumerativo paramétrico de optimização global para a resolução de Problemas de Programação Matemática com Restrições de Equilíbrio ou de Complementaridade (MPEC). A comparação com outras técnicas globais da literatura é efectuada para um leque variado de problemas, de modo a poder avaliar a eficiência do processo proposto. A utilização de algoritmos de MPEC para a resolução de alguns problemas de optimização global é o outro grande objectivo desta tese. Nesse sentido são introduzidas novas formula¸c˜oes de programas bilineares e lineares complementares como MPECs. São ainda analisadas e discutidas formulaçõess MPEC para o problema de programação linear inteira 0-1, para a determinação do Conjunto Independente Máximo de um Grafo (MIS) e para a estimação do Número de Condição de uma Matriz. Para o problema MIS é desenvolvido um algoritmo de ramificação e limitação, baseado na decomposição de uma função quadrática numa diferença de duas funçõess convexas (DC). Finalmente é introduzida uma técnica MPEC local para a estimação do número de condição com a norma l1 e é estabelecido para matrizes de Minkowski que o número de condição nessa norma pode ser estimado com apenas um sistema de equações lineares. Em todos os desenvolvimentos houve uma grande preocupação em testar as novas formulações e algoritmos com problemas conhecidos da literatura, de modo a aferir da qualidade e interesse dessas propostas.
Resumo:
The evolution of the Portuguese Acanthopleuroceratinae is similar to the celto-souabe succession such as it was described in the collects of the Cottards (Cher, France). A subspecies of one of the oldest Acanthopleuroceras (A. carinatum atlanticum) is abundant in the lower part of the Portuguese Ibex zone; this form is described here. The species is recognized in France by several nuclei associated with A. arietiforme (Cottards-22). Generally the similarity between the successive French and Portuguese populations (A. maugenesti, A. valdani, A. alisiense, junior synonym of A. lepidum TUTCHER and TRUEMAN, 1925), is very good. This fact suggests their specific identity. It is typical for A. lepidum of which the greatest populations allow the biometric comparaisons. In Portugal, the mesogean Tropidaceras are missing. This absence of the subboreal Acanthopleuroceras ancestors suggests the straight celto-souabe derivation of the Portuguese Acanthopleuroceras and not a similar local evolution. A. lepidum the last Acanthopleuroceras reaches the western coast of Canada (British Columbia) probably by the Arctic ocean.
Resumo:
Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Ensino da Matemática
Resumo:
Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Ciências da Educação especialidade em Educação e Desenvolvimento