999 resultados para lineare Programmierung, zertifizierte Lösbarkeit, sichere Zielfunktionswertschranke, SMT Löser, ICP


Relevância:

20.00% 20.00%

Publicador:

Resumo:

I denna uppsats lägger jag fokus på att undersöka de olika matematiska uttrycksformer someleverna tillämpar när de löser ett rikt problem. Svaret söks med hjälp av empirisk data. Syftetmed arbetet är att undersöka hur några elever som går första året på gymnasiet löser ett riktproblem. Två grupper elever som går i två olika program deltar i undersökningen. Analysengjordes med hjälp av ”KLAG-matrisen”, dvs. en matris som innehåller uttrycksformerna Konkret,Logisk/språklig, Algebraisk/aritmetisk samt Grafisk/geometrisk. Resultatet av litteratur- ochempiristudien visar att oavsett hur eleverna uttrycker sig i sina lösningsförslag innehåller det alltidnågon form av algebraisk/aritmetisk uttrycksform. Detta kan bero på att det för dessa elever ärlättare att kommunicera med algebraisk/aritmetisk uttrycksform än med någon annan. Resultatetvisar också vikten av att använda problemlösning som ett medel i en lärandeprocess även för attutveckla andra förmågor. Eleverna har olika uppfattningar och gör olika tolkningar av problemet.De har olika förutsättningar och använder varierande lösningsmetoder. Detta skulle kunna varaen förklaring till varför deras användning av uttrycksformer är olika.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O avanço tecnológico no projeto de microprocessadores, nos recentes anos, tem seguido duas tendências principais. A primeira tenta aumentar a freqüência do relógio dos mesmos usando componentes digitais e técnicas VLSI mais eficientes. A segunda tenta explorar paralelismo no nível de instrução através da reorganização dos seus componentes internos. Dentro desta segunda abordagem estão as arquiteturas multi-tarefas simultâneas, que são capazes de extrair o paralelismo existente entre e dentro de diferentes tarefas das aplicações, executando instruções de vários fluxos simultaneamente e maximizando assim a utilização do hardware. Apesar do alto custo da implementação em hardware, acredita-se no potencial destas arquiteturas para o futuro próximo, pois é previsto que em breve haverá a disponibilidade de bilhões de transistores para o desenvolvimento de circuitos integrados. Assim, a questão principal a ser encarada talvez seja: como prover instruções paralelas para uma arquitetura deste tipo? Sabe-se que a maioria das aplicações é seqüencial pois os problemas nem sempre possuem uma solução paralela e quando a solução existe os programadores nem sempre têm habilidade para ver a solução paralela. Pensando nestas questões a arquitetura SEMPRE foi projetada. Esta arquitetura executa múltiplos processos, ao invés de múltiplas tarefas, aproveitando assim o paralelismo existente entre diferentes aplicações. Este paralelismo é mais expressivo do que aquele que existe entre tarefas dentro de uma mesma aplicação devido a não existência de sincronismo ou comunicação entre elas. Portanto, a arquitetura SEMPRE aproveita a grande quantidade de processos existentes nas estações de trabalho compartilhadas e servidores de rede. Além disso, esta arquitetura provê suporte de hardware para o escalonamento de processos e instruções especiais para o sistema operacional gerenciar processos com mínimo esforço. Assim, os tempos perdidos com o escalonamento de processos e as trocas de contextos são insignificantes nesta arquitetura, provendo ainda maior desempenho durante a execução das aplicações. Outra característica inovadora desta arquitetura é a existência de um mecanismo de prébusca de processos que, trabalhando em cooperação com o escalonamento de processos, permite reduzir faltas na cache de instruções. Também, devido a essa rápida troca de contexto, a arquitetura permite a definição de uma fatia de tempo (fatia de tempo) menor do que aquela praticada pelo sistema operacional, provendo maior dinâmica na execução das aplicações. A arquitetura SEMPRE foi analisada e avaliada usando modelagem analítica e simulação dirigida por execução de programas do SPEC95. A modelagem mostrou que o escalonamento por hardware reduz os efeitos colaterais causados pela presença de processos na cache de instruções e a simulação comprovou que as diferentes características desta arquitetura podem, juntas, prover ganho de desempenho razoável sobre outras arquiteturas multi-tarefas simultâneas equivalentes, com um pequeno acréscimo de hardware, melhor aproveitando as fatias de tempo atribuídas aos processos.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We performed laboratory experiments to study maternal care in Doru lineare Eschs. (Dermaptera: Forficulidae), a predator of the maize pest Spodoptera frugiperda J.E. Smith (Lepidoptera: Noctuidae). Females laid 29.7 ± 8.43 (SD) eggs which took 7-10 days to hatch. Mothers searched for an appropriate nest, where they cleaned and defended eggs and nymphs. Females did not recognize eggs from other females as foreign and adopted them. Other evidence of maternal behavior was also observed, such as egg-cleaning, nest-cleaning, and a lower viability of eggs not cared for by females. © 2013 Springer Science+Business Media New York.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Máster Universitario en Sistemas Inteligentes y Aplicaciones Numéricas en Ingeniería (SIANI)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

[ES] En este trabajo se indican los límites de utilización de una técnica de caracterización de semiconductores basada en la iluminación del material con un haz láser. Algunas propiedades físicas de los materiales semiconductores pueden medirse mediante iluminación con radiación láser y el posterior tratamiento de los fenómenos de conducción producidos.

Relevância:

20.00% 20.00%

Publicador: