• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 4502
  • 203
  • 183
  • 183
  • 179
  • 125
  • 120
  • 63
  • 63
  • 55
  • 54
  • 53
  • 15
  • 6
  • 3
  • Tagged with
  • 4792
  • 2010
  • 1378
  • 953
  • 815
  • 792
  • 733
  • 725
  • 564
  • 538
  • 505
  • 491
  • 471
  • 462
  • 455
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
241

Geração de algoritmos de escalonamento para simulação de grades computacionais /

Menezes, Denison. January 2012 (has links)
Orientador: Aleardo Manacero Junior / Banca: Mário Antônio Ribeiro Dantas / Banca: Marcos Antônio Cavenagui / Resumo: A crescente necessidade por poder computacional, unida com o progresso atingido nos computadores pessoais e redes de interconexão, fez surgir diversas propostas, tais como grades computacionais, para tornar a computação de alto desempenho mais barata e acessível. Como contraponto, a maior acessibilidade aos recursos para computação de alto desempenho oferecida pelas grades, criou um universo de usuários tipicamente não especialistas em computação paralela, aumentando a demanda por ferramentas de avaliação de desempenho e de apoio ao desenvolvimento de sistemas. Visando criar uma ferramenta de simulação de grades com facilidade de uso, mesmo para usuários não especialistas em programação, vem sendo desenvolvido o simulador de grades com-putacionais iSPD ( iconic Simulator of Parallel and D istributed systems ). Como o escalonamento de tarefas é essencial na computação distribuída, o iSPD necessitava de uma interface para a especificação de escalonadores no ambiente simulado que mantivesse os conceitos de fácil modelagem. Este trabalho de pesquisa apresenta a proposta e desenvolvimento de técnicas que permitam que o usuário do iSPD modele novas políticas de escalonamento de forma automatizada e simples. Estas técnicas foram aplicadas em um novo componente capaz de interpretar algoritmos de escalonamento especificados pelo usuário adicionando-os a um banco de algoritmos pré-disponibilizados / Abstract: The increasing demand for more computing power, associated with the progress in personal computers and interconnection networks, culminated in proposals to make high performance computing cheaper and more accessible such as computer grids. The greater accessibility to resources for high performance computing offered by grids created a universe of users lacking of parallel programming expertise, increasing the demand for tools for performance evaluation and systems development support. Aiming for the development of a grid performance evaluation to ol that could be easy to use, even for people not expert in parallel programming, iSPD (iconic Simulator of Parallel and Distributed systems) has been developed. Since task scheduling in distributed systems is a critical process, iSPD needed an easy approach to specify scheduling policies for a grid. This work presents the development, and its associated results, of a set of techniques that allow the iSPD's user to model scheduling policies in an automated and simple way. These techniques were applied to a new component capable of interpreting scheduling algorithms specified by a user, adding them to a prebuilt algorithms database. Results achieved with this component show that the used approach is right / Mestre
242

EAD via Internet para CAD : aprendizagem colaborativa x comportamental

Andrade, Gilberto Pimenta de 22 February 2002 (has links)
Orientador: Regina Coeli Ruschel / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Civil / Made available in DSpace on 2018-08-02T00:06:39Z (GMT). No. of bitstreams: 1 Andrade_GilbertoPimentade_M.pdf: 5156122 bytes, checksum: 661892e36b645d6a4f28d3798e062fac (MD5) Previous issue date: 2002 / Resumo: A necessidade de treinamento contínuo em ferramentas computacionais é evidente, tanto na Engenharia Civil quanto na Arquitetura e Urbanismo, principalmente quando se faz uso de projeto assistido por computador (CAD - Computed Aided Design). Uma resposta para esta necessidade pode ser encontrada por meio da educação a distância (EAD), atualmente revalorizado com a utilização da World Wide Web (WWW). Desta forma, o objetivo deste trabalho é avaliar as condições de execução de um curso a distância, via Internet, para profissionais de engenharia civil desejando-se verificar qual a abordagem de aprendizagem mais apropriada: Comportamental ou Colaborativa. Foram oferecidos e avaliados dois cursos de conteúdo idênticos, entretanto ministrados de forma diferenciada, segundo abordagens em estudo. O tema dos cursos foi a modelagem de sólidos da ferramenta computacional AutoCAD Architectural Desktop. Utilizou-se o ambiente de EAD WebCT - www.webct.com.br. A abordagem Comportamental apresentou melhores resultados de aprendizagem para treinamentos de sistemas gráficos do tipo CAD, via Internet / Abstract: The necessity of continuous training in computer tools is evident in Civil Engineering as in Architecture, especially when Computer Aided Design (CAD) is used. An answer for such a need can be found in distance education, which now a days has gained value with the mediation of the World Wide Web (WWW). Therefore, the objective of this work is to evaluated the execution conditions and the most appropriated teaching method in a distance education course, using the Internet, for professionals in civil engineering. Two teaching methods were verified: behavioral and collaborative. Two courses with the same content were offered with variations of the teaching methods in study in the form of student-teacher and student-student interaction and assignment execution. The selected theme of the courses was solid modeling in the CAD system AutoCAD Architectural Desktop. The distance education WWW environment WebCT (www.webct.com.br) was used. The behavioral teaching method presented better learning results for Internet mediated CAD training / Mestrado / Edificações / Mestre em Engenharia Civil
243

Modelagem e simulação de pirolise e secagem de biomassa em um gaseificador de leito movente contracorrente

Ushima, Admar Hakuo 25 July 2018 (has links)
Orientador: Leonardo Goldstein Jr / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecânica / Made available in DSpace on 2018-07-25T04:50:55Z (GMT). No. of bitstreams: 1 Ushima_AdmarHakuo_M.pdf: 9038177 bytes, checksum: d6d17ec52be3ac384868c958a8177c73 (MD5) Previous issue date: 1996 / Resumo: Trata-se de um trabalho de modelagem e simulação bidimensional das etapas de aquecimento, secagem e pirólise de uma partícula de biomassa, aplicado a um modelo de simulação unidimensional de um gaseificador de leito movente contracorrente, operando em regime permanente, baseado em modelo existente na literatura. Os modelos de aquecimento, secagem, pirólise, gaseificação e combustão empregados são desenvolvidos a partir das equações fundamentais de conservação de massa e energia e os resultados da simulação são comparados com dados experimentais. A partir dos perfis de temperatura e concentração simulados ao longo da altura do leito do gaseificador e da espessura da partícula de biomassa, pode-se identificar e determinar as extensões das diversas regiões existentes no interior do gaseificador. A altura das regiões de pirólise, secagem e aquecimento, normalmente desprezada ou ocupando uma extensão reduzida nos modelos unidimensionais, apresenta uma extensão expressiva no modelo bidimensional, correspondente a cerca de 3/4 da altura do leito. A influência de alguns parâmetros operacionais característicos, como a umidade e o diâmetro das partículas, e de propriedades, como a condutividade térmica do carvão e a entalpia de reação da pirólise, no desempenho do gaseificador, também foi avaliada. Os perfis de temperatura e de concentração dos componentes combustíveis na fase gasosa, bem como o rendimento global a frio obtidos na simulação ficaram abaixo dos valores experimentais correspondentes. Uma análise das possíveis causas das diferenças observadas é apresentada / Abstract: In this work is proposed a two-dimensional model to simulate the heating, drying and pyrolysis stages of a biomass particle, which was applied to a steady-state, one-dimensional simulation program of a countercourrent fixed bed gasifier, available in the literature. The models developed for the heating, drying, pyrolysis, gasification and combustion stages were based on the basic equations of mass and energy conservation. The obtained results were compared with experimental data. From the temperature and concentration profiles simulated along the gasifier bed height and through the particle it was possible to identify and determine the extension of these regions in the gasifier. The height occupied by the heating, drying and pyrolysis stages, which is usually assumed as negligible or with a reduced extension in the one dimensional models, is shown to be much larger in the two-dimensional model, corresponding to about three-fourths of the bed height. The influence on the gasifier performance of some characteristic operational parameters, such as the biomass particle moisture and diameter, and of properties, as the charcoal thermal conductivity and the enthalpy of pyrolysis was evaluated. The temperature and composition profiles, as well as the overall cold efficiency obtained from the simulation, presented results under the avaiabie experimental data. An analysis of these results is presented / Mestrado / Termica e Fluidos / Mestre em Engenharia Mecânica
244

Investigando a atividade composicional : levantando dados para um ambiente computacional de experimentação musical

Martins, Maria Cecilia 21 December 1994 (has links)
Orientador: Afira Vianna Ripper / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-07-20T06:41:43Z (GMT). No. of bitstreams: 1 Martins_MariaCecilia_M.pdf: 9340990 bytes, checksum: 9bc40980711088341285c1633eaef814 (MD5) Previous issue date: 1994 / Resumo: Este trabalho enfoca ambientes computacionais que utilizam a linguagem de programação Logo voltados para o contexto musical. Enquanto recurso disponível para o acesso do indivíduo ao campo musical, considera-se que há necessidade de ampliar algmna5 características dessa linguagem, visando a criação de um ambiente de aprendizagem que ofereça maiores oportunidades para o "fazer" musical do aprendiz. Algumas experiências com Logo-música serviram de ponto de partida (Parte I) para a busca da compreensão, a nível teórico, de tópicos como educação musical, computação e criação musical. Na segunda parte desta dissertação busca-se um embasamento teórico para questionamentos levantados a partir das experiências com Logo-música. Consideramos, nesse momento, a importância da música para o indivíduo e o modo como a educação tem tratado a atuação desse indivíduo no contexto musical. A partir daí contemplamos a necessidade de se repensar a educação de forma que ela considere as necessidades e interesses do indivíduo bem como o avanço tecnol6gico. Consideramos ainda, algumas idéias que sustentam o ambiente computacional Logo de aprendizagem. A terceira parte levanta questões relativas ao processo composicional. A problemática do processo de composição foi investigada através de entrevistas e de experimentos com compositores (toy-problem). A partir dos dados obtidos, é rea1i7.ada mna an"i_ buscando, num primeiro momento, descrever a dinâmica do trabalho cognitivo do compositor durante O design de sua composição com vistas a especificação de parâmetros para o desenvolvimento de um ambiente musical baseado no computador. Os dados obtidos com experimento toy-problem são ana1imos segundo a abôrdagem microgenética a fim de descrevemos a dinâmica da ação cognitiva do compositor durante a atividade cO(Ilposicional. A dinâmica da ação é descrita em seus aspectos intencionais e causais ressaltando os movimentos top-down e bottom-up, respectivamente. Fma1mente, na quarta parte, apontamos alguns parâmetros para o design de um ambiente computacionaI de experimentação musical. Os dados obtidos nos experimentos realizados indicam que o sistema computacional Logo pode ser acrescido de diversos mecanismos que funcionariam como ferramentas de apoio para a realização das idéias do indivíduo no campo musical / Abstract: This work focuses on computational environments which use the Logo programming language, directed towards the musical context As an available resource for the individual to access the musical field, there is a need to broaden some characteristics of this language, airning at creating a learning environment which offers more opportunities for the musical "making"of the Learner. Some experiences with Logo-music served as a starting point (pan I) for the search of understanding, at a theoretical level, of topics such as music education, computing and musical creation. In the second pan of this dissertation we look for a theoretical basis for questionings originated from experiences with Logo-music. We consider at this time the importance of the music for the individual and the way education has treated his/her acting in the musical context From this point on, we do consider the need to rethink education in such a way that it considers the individual's needs and interests, as well as the technological advance. We also consider some ideas that support the Logo computational learning environment The third pan raises questions concerning the composing process the problem of the composing process was investigated through interviews and experiments with composers (toy-problem). From the collected data an ana1ysis is carried out trying, at first, to describe the dynamics of acomposer's cognitive work during the design of bis or her composition aiming at the specification of parameters for the development of a musical environment, based on the computer. The data obtained from tire toy-prob1em experiment are ana1yzed according to the microgenetic approach, so that we can describe. the dynamics of the composer's cognitive action during the composing activity. The dynamics of the action is described in its intentional and causal aspects. pointing out the top-down and bottm-up movements respectively. FínaIly, in the fourth part, we indicate some parameters for the design of a computational environment of musical experimentation. The data obtained from the experiments which were carried out indicate that several mechanisms can be added to the Logo computational system. such mechanisms would work as supporting tools for the individual's accomplishments of ideas in the musical field / Mestrado / Psicologia Educacional / Mestre em Educação
245

Fantasia essata : o computador a serviço da música /

Buck, Alex Kantorowicz, 1980- January 2018 (has links)
Orientador(a): Florivaldo Menezes Filho / Banca: Mikhail Malt / Alexandre Lunsqui / Resumo: Durante o período renascentista, Leonardo da Vinci cunhou o termo Fantasia Essata para descrever processos nos quais arte e ciência estivessem integrados, quando dispositivos desenvolvidos pelo conhecimento científico se colocavam a serviço da invenção artística. O objetivo do primeiro capítulo da dissertação é apresentar uma discussão sobre os efeitos produzidos pela inserção dessas máquinas, desenvolvidas especificamente para o fazer musical, sobre o campo da composição. Para isso, parti da escolha de alguns exemplos de máquinas musicais respeitando uma linha cronológica que compreende o período de meados do século XIX, com a invenção dos autômatos de Jaques de Vaucanson, aos dias atuais, com o surgimento do computador e, mais recentemente, da inteligência artificial. No segundo capítulo, trato estritamente do processo de elaboração das duas obras acusmáticas que produzi durante o Mestrado - Jazzex no1 (octofônica) e Fantasia Essata (estéreo) - e apresento uma breve discussão sobre as particularidades do processo composicional acusmático, uma modalidade de composição que estrutura o discurso a partir de sons prontos (sons concretos). No terceiro capítulo, apresento alguns patches produzidos durante o Mestrado nas linguagens de programação SuperCollider e OpenMusic / Abstract: During Renaissance period, Leonardo da Vinci coined the term Fantasia Essata to describe processes in which art and science were integrated; when devices developed by scientific knowledge were used to serve artistic invention. First chapter's main goal is to present a discussion about effects produced by incorporation of these machines, developed specifically for musical making, into compositional field. To accomplish this goal, I arbitrarily chose some examples of those musical machines, respecting a chronological line that covers the mid-nineteenth century, with the invention of Jaques de Vaucanson's automata, to the present day, with the emergence of computer and, more recently, artificial intelligence. In the second chapter, I deal strictly with aspect concerning the elaborating of the two acousmatic works produced during my Master degree - Jazzex nº1 (octophonic) and Fantasia Essata (stereo) - and a brief discussion on the particularities of acousmatic compositional process, a composition modality in which the discourse is constructed from ready-made sounds (concrete sounds). In the third chapter, I present some patches produced during my research in the programming languages SuperCollider and OpenMusic / Mestre
246

Funções trigonométricas

Cajuela, Renata Ferreira [UNESP] 19 August 2013 (has links) (PDF)
Made available in DSpace on 2014-11-10T11:09:53Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-08-19Bitstream added on 2014-11-10T11:57:46Z : No. of bitstreams: 1 000788270.pdf: 549187 bytes, checksum: 256cac8b091b19656dd73723494adedb (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O presente trabalho trata-se de um conjunto de atividades voltadas ao ensino dos conceitos básicos da trigonometria para o ensino médio, acompanhadas de um resumo teórico da disciplina em questão. As atividades foram elaboradas em um software de geometria dinâmica: o GeoGebra, e possuem o intuito de fazer com que o aluno perceba o comportamento das razões seno, cosseno e tangente no triângulo retângulo, e também no círculo unitário. As demais funções trigonométricas: secante, cosecante e cotangente são definidas e apresentadas graficamente. Funções do tipo h(x)=a+b.cos(cx+d), são analisadas, enfocando como seus gráficos se comportam em relação às mudanças ocorridas em seus coeficientes reais a, b, c e d. As atividades são intercaladas por explicações teóricas, que podem ser usadas ou adaptadas pelo professor, de acordo com o conhecimento de seus alunos / The present work is a set of activities aimed at teaching introductory notions of trigonometry to high school, accompanied by an abstract theory of the subject. The activities were developed in free and multi-platform dynamic mathematics software: GeoGebra, and have the intentation to make students realize the behavior of trigonometric ratios of sine, cosine and tangent in right-angled triangle, and also on the unit circle. The other trigonometric functions: secant, cosecant and cotangent are defined and presented graphically. Functions like h(x)=a+b.cos(cx+d), are analyzed focusing on the behavior of their graphics when the real coefficients a, b, cand d vary. Activities are interspersed with theoretical explanations that can be used or adapted by the teacher, according to the knowledge of their students
247

Funções trigonométricas /

Cajuela, Renata Ferreira. January 2013 (has links)
Orientador: Vanderlei Minori Horita / Banca: Márcio de Jesus Soares / Banca: Rita de Cássis Pavani Lamas / Resumo: O presente trabalho trata-se de um conjunto de atividades voltadas ao ensino dos conceitos básicos da trigonometria para o ensino médio, acompanhadas de um resumo teórico da disciplina em questão. As atividades foram elaboradas em um software de geometria dinâmica: o GeoGebra, e possuem o intuito de fazer com que o aluno perceba o comportamento das razões seno, cosseno e tangente no triângulo retângulo, e também no círculo unitário. As demais funções trigonométricas: secante, cosecante e cotangente são definidas e apresentadas graficamente. Funções do tipo h(x)=a+b.cos(cx+d), são analisadas, enfocando como seus gráficos se comportam em relação às mudanças ocorridas em seus coeficientes reais a, b, c e d. As atividades são intercaladas por explicações teóricas, que podem ser usadas ou adaptadas pelo professor, de acordo com o conhecimento de seus alunos / Abstract: The present work is a set of activities aimed at teaching introductory notions of trigonometry to high school, accompanied by an abstract theory of the subject. The activities were developed in free and multi-platform dynamic mathematics software: GeoGebra, and have the intentation to make students realize the behavior of trigonometric ratios of sine, cosine and tangent in right-angled triangle, and also on the unit circle. The other trigonometric functions: secant, cosecant and cotangent are defined and presented graphically. Functions like h(x)=a+b.cos(cx+d), are analyzed focusing on the behavior of their graphics when the real coefficients a, b, cand d vary. Activities are interspersed with theoretical explanations that can be used or adapted by the teacher, according to the knowledge of their students / Mestre
248

Implementação de um sistema SIP para o sistema operacional Linux

Silva, Davison Gonzaga da 03 August 2018 (has links)
Orientador: Leonardo de Souza Mendes / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T18:53:15Z (GMT). No. of bitstreams: 1 Silva_DavisonGonzagada_M.pdf: 885396 bytes, checksum: 09530eec1ff6b03c4cb01ae4e9f06123 (MD5) Previous issue date: 2003 / Mestrado
249

Desenvolvimento e teste de um programa computacional para simulação de plantas térmicas e de potência /

Maziero, Vilson Francisco. January 2012 (has links)
Orientador: Ricardo Alan Verdú Ramos / Coorientador: Emanuel RochaWoiski / Banca: João Batista Aparecido / Banca: Paulo Hélio Kanayama / Resumo: O presente trabalho teve como objetivo o desenvolvimento e teste de um protótipo de um programa computacional para simulação de plantas térmica e de potência, com os principais recursos de programas comerciais existentes, com baixo custo e com interface gráfica mais amigável. O referido programa foi denominado TPPS (abreviação de Thermal Power Plant Software), tendo sido desenvolvido na linguagem object pascal, utilizando a IDE do DELPHI e a biblioteca FLUIDPROP, na qual constam os componentes para cálculo das propriedades termodinâmicas envolvidas. Para tanto, inicialmente é apresentada uma breve descrição de alguns programas computacionais disponíveis no mercado que comumente são utilizados no meio acadêmico sendo que, dentre eles, foram escolhidos três (Cycle-Tempo, EES e IPSEpro) para efeito comparativo dos resultados das simulações com o programa desenvolvido, tendo como base duas plantas básicas, uma de geração e outra de cogeração de energia. Foi utilizada uma metodologia de simulação que consiste na avaliação dos processos, dos dados e do resultado dos cálculos obtidos. Para tanto, foram consideradas as hipóteses de regime permanente; variações das energias cinéticas e potencial são desprezadas em virtude de se desejar apenas um simples comparativo de valores das propriedades termodinâmicas calculadas; processos adiabáticos em todos os equipamentos que fazem parte dos ciclos, exceto para trocadores de calor, para os quais um parâmetro de eficiência define a quantidade de calor transferida ao meio. Os resultados obtidos foram bastante satisfatórios, tendo em vista que não houve discrepâncias entre os resultados obtidos por cada um dos programas, mostrando que a ferramenta desenvolvida, em sua primeira versão, atende os requisitos a que se propôs. Por fim, são apresentados resultados de uma simulação de uma planta de cogeração mais complexa, através do TPPS / Abstract: This study aimed to develop and test a prototype of a computer program for simulation of thermal and power plants, with the main sources of existing commercial programs, with low cost and friendlier graphical interface. The program was denominated TPPS (abbreviation for Thermal Power Plant Software), and has been developed in Object Pascal language, using the Delphi IDE and FLUIDPROP library, which contains the components for calculating the thermodynamic properties involved. Therefore, initially presents a brief description of some computational programs available that are commonly utilized in the academic environment and among them, three were chosen (Cycle-Time, EES and IPSEpro) for comparison of the simulation results with the program developed, based on two basic plants, one of power generation and the other one of cogeneration. The simulation methodology consists of the evaluation of the processes, data and results obtained from the calculations. Therefore, it was considered the hypothesis of steady state and the variations of kinetic and potential energies were neglected because just a simple comparison of calculated values of thermodynamic properties; adiabatic processes in all devices of the cycles, except for heat exchangers, for which an efficiency parameter defines the amount of heat transferred to the environment. The results were quite satisfactory, considering that there were no discrepancies between the results obtained by each one of the programs, showing that the first version of the software developed meets the proposed requirements. Finally, results of simulation of a more complex cogeneration plant through the TPPS are presented / Mestre
250

Exploração multiobjetivo do espaço de projeto de sistemas embarcados de tempo-real não críticos

NOGUEIRA, Bruno Costa e Silva 12 February 2015 (has links)
Submitted by Fernanda Rodrigues de Lima (fernanda.rlima@ufpe.br) on 2018-11-09T22:10:22Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) TESE Bruno Costa e Silva Nogueira.pdf: 3537074 bytes, checksum: ddedd27d9a5ae5318ae8cc114ef6ec89 (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2019-01-25T17:05:29Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) TESE Bruno Costa e Silva Nogueira.pdf: 3537074 bytes, checksum: ddedd27d9a5ae5318ae8cc114ef6ec89 (MD5) / Made available in DSpace on 2019-01-25T17:05:30Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) TESE Bruno Costa e Silva Nogueira.pdf: 3537074 bytes, checksum: ddedd27d9a5ae5318ae8cc114ef6ec89 (MD5) Previous issue date: 2015-02-12 / CAPES / Nos últimos anos, a indústria tem adotado sistemas embarcados com múltiplos e heterogêneos processadores como uma resposta viável à demanda por mais desempenho e baixa potência consumida. No entanto, programar, depurar, simular e otimizar arquiteturas heterogêneas são atividades complexas, e isso tem forçado as empresas a lidar com diversos novos desafios para aumentar a produtividade de seus projetistas. Um dos desafios proeminentes é disponibilizar métodos para que os projetistas possam eficientemente explorar o espaço de projeto. A exploração do espaço de projeto refere-se ao processo de explorar e avaliar diferentes decisões (opções) de projeto durante o desenvolvimento do sistema. Diversas abordagens têm sido propostas para resolver o problema de exploração, que é composto por duas questões complementares: (i) como representar e avaliar uma alternativa de projeto (modelos), e (ii) como percorrer o espaço de projeto (algoritmos), dado que a exploração exaustiva é usualmente inviável. Apesar da disponibilidade de métodos de exploração, as abordagens atuais possuem diversas restrições, principalmente, em relação ao tempo de avaliação e a exatidão dos modelos adotados para representar sistemas de tempo-real não críticos. Este trabalho apresenta um novo método de exploração do espaço de projeto para sistemas embarcados de tempo-real não críticos. O principal objetivo deste trabalho é prover meios para que o projetista possa escolher uma arquitetura composta por processadores heterogêneos e programáveis para uma dada aplicação de tempo-real não crítica, considerando diversas restrições conflitantes de projeto, como: probabilidades de violação de deadlines e potência consumida. O método adota uma abordagem centrada em simulação estocástica para evitar os problemas relacionados ao tempo de avaliação e exatidão dos métodos existentes. Dentre as contribuições do método proposto, destacam-se: (i) novos modelos de especificação para definir as restrições e os atributos da aplicação/plataforma de hardware, (ii) método automático de mapeamento dos modelos de especificação em modelos formais DEVS (Discrete Event System Specification) para simulação estocástica, (iii) novos algoritmos de exploração multiobjetivo, baseados em algoritmos genéticos, e (iv) uma biblioteca para dar suporte ao desenvolvimento de aplicações que executam em arquiteturas compostas por processadores heterogêneos e programáveis. Diversos experimentos foram conduzidos para demonstrar a viabilidade do método proposto. Os resultados mostram a boa exatidão dos modelos de desempenho desenvolvidos (erro máximo de 5%, em comparação a medições em um sistema real), e a eficiência do método proposto em encontrar soluções de boa qualidade para especificações que os métodos existentes têm dificuldade em explorar. / In the last years, industry has adopted embedded systems with multiple and heterogeneous processors as a viable solution for the ever-increasing demand for higher performance and lower power consumption. However, programming, debugging, simulating, and optimizing heterogeneous architectures are complex tasks, which has forced companies to deal with several new challenges in order to increase their designers’ productivity. One prominent challenge is to provide efficient methods for design space exploration. Design space exploration refers to the activity of exploring and evaluating different design decisions (options) during system development. Several approaches have been proposed to tackle the exploration problem, which is composed of two complimentary issues: (i) how to represent and evaluate a design alternative (models), and (ii) how to traverse the design space (algorithms), given that exhaustive exploration is usually infeasible. Although several methods have been proposed for design space exploration, they have many drawbacks, mainly related to the evaluation time and accuracy of the models adopted to represent soft real-time embedded systems. This work presents a new method for design space exploration of soft real-time embedded systems. The main objective of this work is to provide to the designer means for choosing an optimized architecture for a given application, considering several conflicting design objectives, such as: deadline miss violation probabilities and power consumption. The proposed method adopts an approach centered on stochastic simulation to prevent the problems related to evaluation time and accuracy of current methods. Among the contributions of this work are: (i) new models for specifying application/architecture restrictions and attributes. (ii) automatic method for mapping the specification models into formal DEVS (Discrete Event System Specification) models for stochastic simulation, (iii) new algorithms, based on genetic algorithms theory, for multiobjective exploration, and (iv) a new library for designing applications that execute on multiprocessor heterogeneous architectures. Several experiments have been conducted to demonstrate the viability of the proposed method. Results show the accuracy of the proposed performance models (maximum error of 5%, in comparison with measurements on a real system), and the efficiency of the proposed method in finding good quality solutions for specifications that current methods cannot satisfactorily explore.

Page generated in 0.2524 seconds