843 resultados para Extensões de ordens
Resumo:
Dissertação de Mestrado, Psicologia da Educação (Contextos Educativos), 12 de Novembro de 2010, Universidade dos Açores.
Resumo:
Este volume da História da Ilha do Faial dá continuidade ao projecto de cooperação estabelecido com a Universidade dos Açores, através do Centro de Estudos Gaspar Frutuoso e o seu lançamento insere-se no 180º aniversário da cidade da Horta, assinalado a 4 de Julho.
Resumo:
Mestrado em Engenharia Electrotécnica e de Computadores
Resumo:
(...) Recentemente, em 2004, H. Michael Damm provou na sua tese de doutoramento a existência de quase-grupos totalmente anti-simétricos para ordens diferentes de 2 e 6. A tabela da imagem define um quase-grupo totalmente anti-simétrico de ordem 10, adaptado de um exemplo apresentado por Damm na sua tese. Esta tabela é o que se designa por quadrado latino: em cada linha e em cada coluna, cada um dos símbolos utilizados devem figurar uma e uma só vez. Os quadrados latinos surgiram pelas mãos de um grande matemático, talvez o maior matemático de todos os tempos: Leonhard Euler (1707-1783). Este tipo de tabelas não é totalmente estranho ao leitor. Se olhar com atenção, encontrará apenas duas diferenças em relação aos tradicionais desafios de Sudoku: não existem as chamadas "regiões" e utiliza-se o 0, para além dos algarismos 1-9. A descoberta de Damm impulsionou o desenvolvimento de um novo algoritmo com o seu nome, que tem a vantagem de apenas utilizar os algarismos tradicionais, do 0 ao 9, e de detetar 100% dos erros singulares e 100% das transposições de algarismos adjacentes. Em relação ao algoritmo de Verhoeff, tem uma implementação mais simples e deteta 100% dos erros fonéticos (por exemplo, quando se escreve 15 em vez de 50, devido à pronúncia semelhante destes números em inglês: "fifteen" e "fifty"). Na imagem, ilustra-se um exemplo de aplicação deste algoritmo para determinar o algarismo de controlo do número 201436571? (o ponto de interrogação representa o algarismo de controlo, por enquanto, desconhecido). (...)
Resumo:
Introdução: Os padrões de movimento podem sofrer alterações por atraso no timing de ativação e/ou modificações na sequência de recrutamento muscular, predispondo o indivíduo a disfunções, nomeadamente a dor lombo-pélvica. Objetivo: Investigar o timing e o padrão de ativação de músculos do core abdominal, durante o movimento de extensão da anca, do membro dominante, em indivíduos com e sem dor lombo- pélvica crónica inespecífica. Pretende-se, também, pesquisar a existência do padrão de ativação considerado “normal“ e verificar a relação entre o padrão de ativação e o tilt pélvico, em ambos os indivíduos. Métodos: Estudo transversal, com 64 estudantes universitários, divididos em dois grupos: 31 sem e 33 com dor lombo-pélvica. Através de eletromiografia de superfície foi recolhida a atividade muscular dos Eretores da Espinha ipsilateral e contralateral, Glúteo Máximo e Bicípite Femoral ipsilaterais. Foi analisado o timing de ativação muscular e as respetivas ordens de ativação. Adicionalmente foi medido o tilt pélvico. Resultados: O grupo com dor lombo-pélvica apresentou um atraso significativo no timing de ativação dos músculos Glúteo Máximo ipsilateral (t=-3,171;p=0,002) e Bicípite Femoral ipsilateral (t=-2,092;p=0,041), em comparação com o grupo sem dor. Verificou-se uma associação significativa entre as 5 ordens de ativação mais frequentes e a presença de dor lombo-pélvica (xf2=11,54;p=0,015). A ordem de ativação "normal" – Glúteo Máximo ipsilateral>Bicípite Femoral ipsilateral>Eretor da Espinha contralateral>Eretor da Espinha ipsilateral – não foi utilizada. Verificou-se que o Bicípite Femoral ipsilateral foi maioritariamente o primeiro a ativar-se e o Glúteo Máximo ipsilateral o último em ambos os grupos. Verificou-se um tilt pélvico significativamente superior nos indivíduos que ativam primeiro o Bicípite Femoral ipsilateral nos grupos com (U=51;p=0,001) e sem dor (U=41p=0,001). Conclusão: Os indivíduos com dor lombo-pélvica apresentaram um atraso no timing de ativação dos músculos do core abdominal. Os resultados parecem refutar a ordem de ativação "normal" que tem sido proposta. Não foi possível apoiar nem contestar a teoria de que um atraso na ativação do Glúteo Máximo está associado com dor lombo-pélvica.
Resumo:
O nosso sistema numérico é um sistema posicional e de base dez. É posicional porque o valor dos símbolos depende da posição que ocupam. É de base dez por serem necessárias dez unidades de ordem inferior para compor uma de ordem imediatamente superior. Embora consideremos este sistema simples e natural quando o utilizamos no dia a dia, não nos devemos esquecer de como é sofisticado e engenhoso. A humanidade demorou muito a ter um sistema numérico como o que utilizamos presentemente. Houve mesmo épocas em que civilizações avançadas utilizavam diferentes sistemas em simultâneo. Alguns consideravelmente piores do que o atual. Por isso, não podemos almejar que uma criança em idade pré-escolar possa compreender totalmente o sistema decimal. De facto, a temática das ordens numéricas e, em particular, a da ordem das dezenas, é consideravelmente delicada. Neste artigo, exploraremos algumas formas de abordar o conceito de ordem das dezenas junto de crianças a partir dos cinco anos de idade. As ideias apresentadas são inspiradas no Singapore Math, método utilizado para o ensino da matemática inicial em Singapura, um exemplo bem-sucedido da abordagem "concreto-pictórico-abstrato".
Resumo:
Actualmente, os sistemas embebidos estão presentes em toda a parte. Embora grande parte da população que os utiliza não tenha a noção da sua presença, na realidade, se repentinamente estes sistemas deixassem de existir, a sociedade iria sentir a sua falta. A sua utilização massiva deve-se ao facto de estarem practicamente incorporados em quase os todos dispositivos electrónicos de consumo, telecomunicações, automação industrial e automóvel. Influenciada por este crescimento, a comunidade científica foi confrontada com novos problemas distribuídos por vários domínios científicos, dos quais são destacados a gestão da qualidade de serviço e gestão de recursos - domínio encarregue de resolver problemas relacionados com a alocação óptima de recursos físicos, tais como rede, memória e CPU. Existe na literatura um vasto conjunto de modelos que propõem soluções para vários problemas apresentados no contexto destes domínios científicos. No entanto, não é possível encontrar modelos que lidem com a gestão de recursos em ambientes de execução cooperativos e abertos com restrições temporais utilizando coligações entre diferentes nós, de forma a satisfazer os requisitos não funcionais das aplicações. Devido ao facto de estes sistemas serem dinâmicos por natureza, apresentam a característica de não ser possível conhecer, a priori, a quantidade de recursos necessários que uma aplicação irá requerer do sistema no qual irá ser executada. Este conhecimento só é adquirido aquando da execução da aplicação. De modo a garantir uma gestão eficiente dos recursos disponíveis, em sistemas que apresentam um grande dinamismo na execução de tarefas com e sem restrições temporais, é necessário garantir dois aspectos fundamentais. O primeiro está relacionado com a obtenção de garantias na execução de tarefas de tempo-real. Estas devem sempre ser executadas dentro da janela temporal requirida. O segundo aspecto refere a necessidade de garantir que todos os recursos necessários à execução das tarefas são fornecidos, com o objectivo de manter os níveis de performance quer das aplicações, quer do próprio sistema. Tendo em conta os dois aspectos acima mencionados, o projecto CooperatES foi especificado com o objectivo de permitir a dispositivos com poucos recursos uma execução colectiva de serviços com os seus vizinhos, de modo a cumprir com as complexas restrições de qualidade de serviço impostas pelos utilizadores ou pelas aplicações. Decorrendo no contexto do projecto CooperatES, o trabalho resultante desta tese tem como principal objectivo avaliar a practicabilidade dos conceitos principais propostos no âmbito do projecto. O trabalho em causa implicou a escolha e análise de uma plataforma, a análise de requisitos, a implementação e avaliação de uma framework que permite a execução cooperativa de aplicações e serviços que apresentem requisitos de qualidade de serviço. Do trabalho desenvolvido resultaram as seguintes contribuições: Análise das plataformas de código aberto que possam ser utilizadas na implementação dos conceitos relacionados com o projecto CooperatES; Critérios que influenciaram a escolha da plataforma Android e um estudo focado na análise da plataforma sob uma perspectiva de sistemas de tempo-real; Experiências na implementação dos conceitos do projecto na plataforma Android; Avaliação da practicabilidade dos conceitos propostos no projecto CooperatES; Proposta de extensões que permitam incorporar características de sistemas de tempo real abertos na plataforma Android.
Resumo:
A celulose é o polímero renovável mais abundante do mundo. É conhecido pela sua excelente biocompatibilidade, propriedades térmicas e mecânicas. A celulose assim como os polipéptideos e o ADN, pertence a uma família de moléculas orgânicas que dão origem à formação de fases líquidas cristalinas (LCs) colestéricas. A Passiflora Edulis, tal como outras plantas trepadeiras, possui longas e flexíveis gavinhas que permitem à planta encontrar um suporte para se fixar. As gavinhas podem assumir a forma de espirais ou de hélices consoante sejam sustentadas por apenas uma ou por ambas as extremidades. As hélices apresentam muitas vezes duas porções helicoidais, uma esquerda e outra direita, separadas por um segmento recto denominado perversão. Este comportamento é consequência da curvatura intrínseca das gavinhas produzidas pela planta trepadeira. O mesmo comportamento pode ser observado em micro e nanofibras celulósicas fabricadas a partir de soluções líquido-cristalinas, numa escala três a quatro ordens de grandeza inferior à das gavinhas. Este facto sugere que o modelo físico utilizado tenha invariância de escala. Neste trabalho é feito o estudo de fibras e jactos que imitam as estruturas helicoidais apresentadas pelas gavinhas das plantas trepadeiras. As fibras e jactos são produzidos a partir de soluções líquidas cristalinas celulósicas. De modo a determinar as características morfológicas e estruturais, que contribuem para a curvatura das fibras, foram utilizadas técnicas de imagem por ressonância magnética (MRI), microscopia óptica com luz polarisada (MOP), microscopia electrónica de varrimento (SEM) e microscopia de força atómica (AFM) . A variação da forma das estruturas helicoidais com a temperatura parece ser relevante para o fabrico de membranas não tecidas para aplicação em sensores termo-mecânicos.
Resumo:
Mestrado em Engenharia Electrotécnica – Sistemas Eléctricos de Energia
Resumo:
Tese de Doutoramento em Ciências da Educação, área de Educação e Desenvolvimento
Resumo:
As Estruturas Conceptuais são um formalismo de representação de conhecimentos baseado em grafos, os chamados grafos conceptuais. A teoria foi inicialmente desenvolvida por John Sowa há dez anos. desde então, uma comunidade científica cada vez mais ampla tem-na utilizado em muitas áreas de aplicação e propôs várias alterações à teoria original. Também está em desenvolvimento uma implementação estado-da-arte gratuita e, além disso, os grafos conceptuais foram adoptados num padrão ANSI em preparação. Apesar desta actividade não existe de facto uma definição formal, completa, consistente e revista da Teoria das Estruturas Conceptuais. Esta dissertação vem contribuir para essa definição ao estender, refinar e clarificar as noções básicas da teoria. A clarificação dos grafos conceptuais em * grafos sintacticamente correctos, * grafos bem tipados, * grafos ontologicamente correctos, chamados grafos canónicos, * e grafos verdadeiros é a base da clarificação do significado das várias noções e serve de guia às extensões e aos refinamentos introduzidos. As principais extensões foram feitas no sistema de tipos e no esquema de dependências entre vértices de grafos, e o refinamento de quase todos os aspectos da teoria - em particular das regras de formação de grafos canónicos e de regras de inferência para os grafos verdadeiros - inclui o tratamento formal de algumas propostas informais de outros autores.
Resumo:
Mestrado em Controlo de Gestão e dos Negócios
Resumo:
Dissertação apresentada à Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Mecânica
Resumo:
Dissertacção apresentada para a obtenção do Grau de Mestre em Engenharia Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia.
Resumo:
Uma grande parte do tempo de uma organização é despendida em atividades que não criam qualquer tipo de valor. Este tipo de atividades são consideradas como desperdícios, pois consomem recursos e tempo, como é o caso de deslocações, controlos, ajustes, armazenamento de materiais, resolução de problemas, entre tantos outros, levando a um elevado custo dos produtos disponibilizados. Em 1996 a designação de Lean Thinking foi usada, pela primeira vez, por Womack e Jones, onde é falada como uma filosofia de gestão, que tem como principal objetivo reduzir os desperdícios num processo produtivo. Reduzindo os desperdícios aumenta-se a qualidade e diminui-se os tempos de processamento e, consequentemente, os custos de produção. É nesta base que assenta o documento aqui presente, que tem o objetivo de criar e desenvolver um jogo de simulação onde seja possível aplicar várias ferramentas Lean. O jogo de simulação é uma continuação de uma pesquisa e estudo teórico de um aluno de erasmus e faz parte de um projeto internacional do Lean Learning Academy (LLA). Criou-se um processo produtivo de montagem de canetas que fosse o mais semelhante ao que se encontram nas empresas, com todos os acessórios para o pleno funcionamento da simulação, como é o caso de instruções de montagem, procedimentos de controlo e ordens de produção, para assim posteriormente ser possível analisar os dados e as dificuldades encontradas, de modo a aplicar-se as ferramentas Lean. Apesar de serem abordadas várias ferramentas Lean neste trabalho, foram trabalhadas mais detalhadamente as seguintes: - Value Stream Mapping (VSM); - Single Minute Exchange of Dies (SMED); - Balanceamento da linha. De modo a ser percetível o conteúdo e as vantagens das três ferramentas Lean mencionadas no trabalho, estas foram aplicadas e simuladas, de forma a existir uma componente prática no seu estudo, para mais fácil compreensão e rápida aprendizagem.