987 resultados para Pesquisa computacional


Relevância:

20.00% 20.00%

Publicador:

Resumo:

2016

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Utilizar álgebra computacional no es tan fácil como puede parecer. Frecuentemente, los estudiantes encuentran obstáculos mientras trabajan en un entorno de álgebra computacional. En este artículo se distinguen los obstáculos globales y los locales, y se identifican los de ambas categorías. La teoría de la instrumentación proporciona un marco para interpretar el obstáculo como un desequilibrio entre los aspectos conceptual y técnico de un esquema de instrumentación. Se argumenta que explicitar los obstáculos y tratar de superarlos, conduce al desarrollo conceptual. En consecuencia, los obstáculos constituyen oportunidades de aprendizaje.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Este trabajo tiene como objetivo dar argumentos en favor de la inclusión de los sistemas de álgebra computacional en el currículo de matemáticas desde el nivel medio de enseñanza hasta el nivel superior. Primero, se presentan algunos conceptos relativos al uso de estos sistemas en la educación. Después, se presentan varios ejemplos con el propósito de mostrar el poder de estos sistemas como auxiliares en la solución de problemas. Finalmente se hace una propuesta acerca de su uso en educación.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A História da Educação Matemática vem se consolidando como um novo campo de investigação quer no Brasil ou no exterior. Neste estudo, sinaliza-se a importância de se tomar arquivos pessoais, escolares e institucionais como fontes de pesquisa histórica, em particular, para a pesquisa e produção de conhecimento sobre a Educação Matemática. Assim, este texto relata vivências acumuladas em dois grupos de pesquisa brasileiros que se dedicam a organizar, preservar e disseminar documentos relativos à Educação Matemática. Como resultado, pretende-se contribuir para a discussão da importância dos arquivos pessoais, escolares ou institucionais para a escrita da História da Educação Matemática.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

El cálculo diferencial e integral, es materia obligada en gran parte del currículo escolar y piedra angular en el desarrollo de la matemática. A pesar de ello en escuelas tanto a nivel medio como superior, los reportes de problemas en su enseñanza aprendizaje son frecuentes. Esta materia presenta un alto índice de reprobación, inclusive con alumnos que recursan. Este estudio muestra una fuerte tendencia, en la educación, a visualizar el cálculo como un patrón de fórmulas y procedimientos algebraicos, dejando fuera los aspectos conceptuales. En el mismo sentido Dreyfus (1990, 124), reporta que las investigaciones en Francia exhiben la tendencia de los estudiantes a los aspectos de procedimiento algorítmicos, dejando fuera los conceptuales.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

El problema de investigación se plantea en cómo utilizar el Cabri II Plus para lograr la transposición didáctica de la noción de límite a contextos computacionales, transposición informática (Balacheff, 1994). Construyendo límites de sucesiones y límites de funciones, visualizamos el concepto permitiendo la comprensión de la definición formal, la validación de propiedades y enunciados matemáticos y la activación de un proceso cognitivo marcado por la relación dialéctica entre percepción y conceptualización durante la interacción con la interfase del sistema (Moreno, 2002), promoviendo una transformación a nivel epistemológico de la experiencia matemática del estudiante. Las actividades propuestas articulan las representaciones algebraicas, gráficas y numéricas de la noción de límite, a través del movimiento, visualizando el cambio gracias a la geometría dinámica.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A bactéria Campylobacter fetus divide-se em duas subespécies C. fetus fetus (Cff) e C. fetus venerealis (Cfv). Cfv é o agente patogénico responsável pela campilobacteriose genital bovina (CGB), uma doença que provoca infertilidade em vacas. Cff pode provocar abortos esporádicos, mas não provoca CGB. Neste trabalho procedeu-se à pesquisa de C. fetus por imunofluorescência direta (IFD) em 117 amostras prepuciais, recolhidas por raspagem, de touros pertencentes a 25 explorações na região do Alentejo. A prevalência real de CGB na amostra, considerando a sensibilidade e especificidade do teste, foi de 52,89% de animais e 80% de explorações. Foi também realizada uma comparação entre dois testes de diagnóstico de CGB, a IFD e o isolamento bacteriológico. O isolamento bacteriológico foi difícil de executar e a presença de bactérias contaminantes foi bastante problemática, levando a resultados falso-negativos. A sua correlação com a IFD foi muito baixa, tendo esta revelado ser muito mais sensível; #### Abstract Search for Campylobacter fetus in preputial samples of bulls from Alentejo region The bacteria Campylobacter fetus comprises two subspecies, C. fetus fetus (Cff) and C. fetus venerealis (Cfv). Cfv is the pathogen responsible for bovine genital campylobacteriosis (BGC), a disease that causes infertility in cows. Cff may lead to sporadic miscarriages, but does not cause BGC. In this work we searched for C. fetus by direct immunofluorescence (DIF) in 117 preputial samples, collected by scraping, from bulls from Alentejo region. The actual prevalence of BGC, considering the sensitivity and specificity of the test was 52.89% of animals and 80 % of farms. It was also performed a comparison between two BGC diagnostic tests, bacterial isolation and DIF. The bacterial isolation was difficult to perform and the presence of bacterial contaminants was very problematic, leading to false-negative results. The presence of bacterial contaminants in bacterial isolation was problematic, leading to false-negative results. Its correlation with DIF was quite low, and DIF proved to be much more sensitive.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Um dos maiores avanços científicos do século XX foi o desenvolvimento de tecnologia que permite a sequenciação de genomas em larga escala. Contudo, a informação produzida pela sequenciação não explica por si só a sua estrutura primária, evolução e seu funcionamento. Para esse fim novas áreas como a biologia molecular, a genética e a bioinformática são usadas para estudar as diversas propriedades e funcionamento dos genomas. Com este trabalho estamos particularmente interessados em perceber detalhadamente a descodificação do genoma efectuada no ribossoma e extrair as regras gerais através da análise da estrutura primária do genoma, nomeadamente o contexto de codões e a distribuição dos codões. Estas regras estão pouco estudadas e entendidas, não se sabendo se poderão ser obtidas através de estatística e ferramentas bioinfomáticas. Os métodos tradicionais para estudar a distribuição dos codões no genoma e seu contexto não providenciam as ferramentas necessárias para estudar estas propriedades à escala genómica. As tabelas de contagens com as distribuições de codões, assim como métricas absolutas, estão actualmente disponíveis em bases de dados. Diversas aplicações para caracterizar as sequências genéticas estão também disponíveis. No entanto, outros tipos de abordagens a nível estatístico e outros métodos de visualização de informação estavam claramente em falta. No presente trabalho foram desenvolvidos métodos matemáticos e computacionais para a análise do contexto de codões e também para identificar zonas onde as repetições de codões ocorrem. Novas formas de visualização de informação foram também desenvolvidas para permitir a interpretação da informação obtida. As ferramentas estatísticas inseridas no modelo, como o clustering, análise residual, índices de adaptação dos codões revelaram-se importantes para caracterizar as sequências codificantes de alguns genomas. O objectivo final é que a informação obtida permita identificar as regras gerais que governam o contexto de codões em qualquer genoma.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A utilização combinada de espectroscopia vibracional e de cálculos envolvendo a teoria do funcional de densidade (DFT) possibilita o estudo de ligações de hidrogénio em fase condensada, assim como a análise da estrutura molecular dos sistemas em estudo. Por um lado, a espectroscopia vibracional permite a detecção de associações moleculares, enquanto os métodos computacionais auxiliam na obtenção de informação referente aos mecanismos de associação, nomeadamente no que diz respeito à possível estrutura de dímeros e compostos de inclusão em ciclodextrinas e às energias de interacção e de inclusão. O estudo que originou a presente dissertação pretende contribuir para o reforço da aplicação de estudos espectroscópicos e computacionais na elucidação de diversos fenómenos químicos, com especial destaque para o papel desempenhado por interacções intermoleculares fracas na estrutura e propriedades de materiais moleculares. No âmbito desta tese foram investigados os seguintes tópicos: polimorfismo e pseudopolimorfismo em sólidos farmacêuticos, transições de fase em misturas binárias de ácidos gordos, inclusão em ciclodextrinas, interacção de compostos farmacêuticos com superfícies metálicas e formação de agregados de água em materiais híbridos orgânicos-inorgânicos. Os sistemas foram analisados utilizando a espectroscopia vibracional – particularmente a espectroscopia de difusão de Raman – como técnica fundamental. Para uma melhor caracterização de processos envolvendo transições de fase, foram efectuados estudos com variação de temperatura, variação de humidade relativa e substituição isotópica. O estudo da interacção com superfícies metálicas foi realizado por espectroscopia de Raman intensificada à superfície. Dada a complexidade dos sistemas em estudo, a informação obtida por espectroscopia vibracional foi complementada por resultados de cálculos mecânico-quânticos. Em particular, os cálculos DFT foram utilizados para a optimização de geometrias e previsão de frequências vibracionais de moléculas e associações moleculares, permitindo assim a análise e interpretação de espectros vibracionais e a caracterização da estrutura de materiais.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O presente trabalho propõe-se abordar uma perspetiva de ensino e de aprendizagem que tem ganho protagonismo, no âmbito do ensino das ciências. Inserida num quadro internacional de inquiry approach, a perspetiva de ensino por pesquisa (EPP) tem sido referida em diversos trabalhos de investigação pelos resultados promissores que apresenta, constituindo-se como referencial em termos de orientação dos programas a implementar nos ensinos básico e secundário português. Constata-se, no entanto, que nem sempre é feita a transposição do respetivo quadro teórico para o contexto das práticas de sala de aula. Nesta investigação, recorremos a um estudo de caso onde implementámos uma estratégia de ensino e de aprendizagem baseada na perspetiva de EPP, ao nível da disciplina de biologia de 12.º ano do curso científico-humanístico de ciências e tecnologias. Os dados recolhidos permitiram-nos destacar os resultados positivos ao nível de produtos, com o desenvolvimento de conhecimentos de natureza conceptual, procedimental e atitudinal; ao nível do processo, salientando-se algumas características de natureza funcional do trabalho de grupo desenvolvido e ao nível da articulação entre o estudo por nós desenvolvido e o funcionamento da disciplina de biologia. Mediante os resultados obtidos, acreditamos que a estratégia EPP é viável e poderá constituir-se como opção válida para a concretização do programa de biologia de 12.º ano. Para além disso, a identificação de obstáculos e potencialidades inerentes à sua implementação, poderá desencadear estudos de investigação similares, de modo a contribuir para uma compreensão mais alargada da perspetiva de EPP e respetiva implementação.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

“Branch-and-cut” algorithm is one of the most efficient exact approaches to solve mixed integer programs. This algorithm combines the advantages of a pure branch-and-bound approach and cutting planes scheme. Branch-and-cut algorithm computes the linear programming relaxation of the problem at each node of the search tree which is improved by the use of cuts, i.e. by the inclusion of valid inequalities. It should be taken into account that selection of strongest cuts is crucial for their effective use in branch-and-cut algorithm. In this thesis, we focus on the derivation and use of cutting planes to solve general mixed integer problems, and in particular inventory problems combined with other problems such as distribution, supplier selection, vehicle routing, etc. In order to achieve this goal, we first consider substructures (relaxations) of such problems which are obtained by the coherent loss of information. The polyhedral structure of those simpler mixed integer sets is studied to derive strong valid inequalities. Finally those strong inequalities are included in the cutting plane algorithms to solve the general mixed integer problems. We study three mixed integer sets in this dissertation. The first two mixed integer sets arise as a subproblem of the lot-sizing with supplier selection, the network design and the vendor-managed inventory routing problems. These sets are variants of the well-known single node fixed-charge network set where a binary or integer variable is associated with the node. The third set occurs as a subproblem of mixed integer sets where incompatibility between binary variables is considered. We generate families of valid inequalities for those sets, identify classes of facet-defining inequalities, and discuss the separation problems associated with the inequalities. Then cutting plane frameworks are implemented to solve some mixed integer programs. Preliminary computational experiments are presented in this direction.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação mest., Engenharia Biológica, Universidade do Algarve, 2009

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Os sinais de fluxo sanguíneo são sinais aleatórios que, além de variarem de individuo para individuo, variam também consoante o ciclo cardíaco em análise. Sendo o diagnóstico de patologias cardiovasculares fortemente baseado em sinais de ultrassom Doppler representados em forma de espectrograma, e tendo em consideração que o ruído do tipo speckle é parte integrante dos sinais ultrassónicos, torna-se vital a pesquisa de métodos de eliminação desse tipo de ruído e de caracterização precisa dos parâmetros desses sinais biomédicos por forma a melhorar a qualidade do diagnóstico clínico. Com esta tese pretende-se desenvolver uma ferramenta computacional que possibilite a extração automática dos parâmetros pico sistólico, fim de diástole e de outros eventos clinicamente relevantes de sinais Doppler de fluxo sanguíneo, com especial atenção ao sinal proveniente da artéria carótida. Esta investigação vem na continuidade de um projeto realizado anteriormente no Grupo de Processamento de Sinal Biomédico da Universidade do Algarve, no qual foi desenvolvido um sistema de redução de ruído de espectrogramas Doppler. Este sistema de remoção de ruído será aqui aplicado e melhorado. Para a deteção e extração automática de parâmetros clínicos, foi desenvolvido um algoritmo que recebe um sinal de Doppler e que tem como saída o espectrograma livre de ruído e os valores dos parâmetros clínicos calculados. O algoritmo desenvolvido está dividido em três partes principais. A primeira, consiste na transformada do sinal para os domínios tempo-frequência para a criação do espectrograma e na aplicação de uma metodologia de remoção do ruído do tipo speckle do espectrograma. A fase seguinte é a criação de um sinal bidimensional a partir do espectrograma, o qual é criado para possibilitar a sua caraterização. Por último, desenvolveu-se uma fase dedicada à caracterização do sinal, tendo como principais funções a deteção dos eventos clínicos de pico sistólico, fim de diástole, índice de pulsação, índice de resistência e ratio sístole-diástole. A refinação de atuação de cada uma das três partes mencionadas pode ser ajustada pelo utilizador, tendo para o efeito sido desenvolvido uma interface gráfica na qual a interação do utilizador com o programa global é facilitada. Versatilidade e eficácia do algoritmo desenvolvido foram demonstradas pelos resultados obtidos com três sinais de Doppler de diferentes origens: um de origem clínica, um sinal de fluxo em artéria carótida simulado experimentalmente recorrendo a phantoms, e um sinal de fluxo simulado computacionalmente. Para cada um destes sinais são apresentados os valores das variáveis considerados preferenciais para o ajuste ao respetivo sinal e os respetivos espetros de ruído reduzido. Os resultados da extração automática dos parâmetros clínicos dos três sinais, comprovou a utilidade clínica do algoritmo desenvolvido.