• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 634
  • 447
  • 210
  • 159
  • 49
  • 45
  • 19
  • 17
  • 17
  • 16
  • 15
  • 15
  • 15
  • 15
  • 15
  • Tagged with
  • 1921
  • 317
  • 273
  • 200
  • 186
  • 185
  • 165
  • 152
  • 144
  • 138
  • 134
  • 132
  • 130
  • 119
  • 115
  • 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.
621

Investigações sobre raciocínio e aprendizagem temporal em modelos conexionistas / Investigations about temporal reasoning and learning in connectionist models

Borges, Rafael Vergara January 2007 (has links)
A inteligência computacional é considerada por diferentes autores da atualidade como o destino manifesto da Ciência da Computação. A modelagem de diversos aspectos da cognição, tais como aprendizagem e raciocínio, tem sido a motivação para o desenvolvimento dos paradigmas simbólico e conexionista da inteligência artificial e, mais recentemente, para a integração de ambos com o intuito de unificar as vantagens de cada abordagem em um modelo único. Para o desenvolvimento de sistemas inteligentes, bem como para diversas outras áreas da Ciência da Computação, o tempo é considerado como um componente essencial, e a integração de uma dimensão temporal nestes sistemas é fundamental para conseguir uma representação melhor do comportamento cognitivo. Neste trabalho, propomos o SCTL (Sequential Connectionist Temporal Logic), uma abordagem neuro-simbólica para integrar conhecimento temporal, representado na forma de programas em lógica, em redes neurais recorrentes, de forma que a caracterização semântica de ambas representações sejam equivalentes. Além da estratégia para realizar esta conversão entre representações, e da verificação formal da equivalência semântica, também realizamos uma comparação da estratégia proposta com relação a outros sistemas que realizam representação simbólica e temporal em redes neurais. Por outro lado, também descrevemos, de foma algorítmica, o comportamento desejado para as redes neurais geradas, para realizar tanto inferência quanto aprendizagem sob uma ótica temporal. Este comportamento é analisado em diversos experimentos, buscando comprovar o desempenho de nossa abordagem para a modelagem cognitiva considerando diferentes condições e aplicações. / Computational Intelligence is considered, by di erent authors in present days, the manifest destiny of Computer Science. The modelling of di erent aspects of cognition, such as learning and reasoning, has been a motivation for the integrated development of the symbolic and connectionist paradigms of artificial intelligence. More recently, such integration has led to the construction of models catering for integrated learning and reasoning. The integration of a temporal dimension into such systems is a relevant task as it allows for a richer representation of cognitive behaviour features, since time is considered an essential component in intelligent systems development. This work introduces SCTL (Sequential Connectionist Temporal Logic), a neuralsymbolic approach for integrating temporal knowledge, represented as logic programs, into recurrent neural networks. This integration is done in such a way that the semantic characterization of both representations are equivalent. Besides the strategy to achieve translation from one representation to another, and verification of the semantic equivalence, we also compare the proposed approach to other systems that perform symbolic and temporal representation in neural networks. Moreover, we describe the intended behaviour of the generated neural networks, for both temporal inference and learning through an algorithmic approach. Such behaviour is then evaluated by means several experiments, in order to analyse the performance of the model in cognitive modelling under di erent conditions and applications.
622

"Mostra a nossa voz"!

Aires, João Paulo Gill de Barros de Machado 16 December 2011 (has links)
Submitted by Edileide Reis (leyde-landy@hotmail.com) on 2013-04-08T19:07:08Z No. of bitstreams: 1 joão.pdf: 2820659 bytes, checksum: 59dcbaff55c6229ac448b5513f35fac4 (MD5) / Approved for entry into archive by Lêda Costa(lmrcosta@ufba.br) on 2013-04-18T12:32:09Z (GMT) No. of bitstreams: 1 joão.pdf: 2820659 bytes, checksum: 59dcbaff55c6229ac448b5513f35fac4 (MD5) / Made available in DSpace on 2013-04-18T12:32:09Z (GMT). No. of bitstreams: 1 joão.pdf: 2820659 bytes, checksum: 59dcbaff55c6229ac448b5513f35fac4 (MD5) Previous issue date: 2011-12-16 / Esta dissertação é uma reflexão sobre a história de vida dos indivíduos que aproveitam o lixo como forma de subsistência: os catadores de materiais recicláveis. Foca em particular os catadores de lixo do município do Salvador, Bahia. Aborda a sociabilidade do trabalho e a prática da economia solidária. Discuti o problema da sustentabilidade na atividade econômica, a fragilidade das experiências empreendedoras bem como a observação da produção dos resíduos. Aborda conceitos da sociologia da arte e arte e sociedade no contexto contemporâneo, na dimensão crítica e reflexiva de Joseph Beuys. Cria poéticas visuais que causam impactos e suscitam o diálogo entre dois mundos: o mundo do consumo e o mundo do desperdício. A observação participativa é neste trabalho a base que dá origem a essa pesquisa. Com esta vivência tive a intenção de criar, através da arte, esse questionamento que da origem à reflexão sobre a temática, e, a partir da cooperação com os catadores, “Mostra a Nossa Voz” sobre um problema social. Compreende a importância do artista visual no mundo como agente social que desperte no público o interesse, a reflexão critica sobre os problemas sociais de ordem humanista. / Salvador
623

Para além das cotas: a permanência de estudantes negros no ensino superior como política de ação afirmativa

Santos, Dyane Brito Reis January 2009 (has links)
214 f. / Submitted by Suelen Reis (suziy.ellen@gmail.com) on 2013-04-25T18:20:26Z No. of bitstreams: 1 Tese Dyane Santos.pdf: 938511 bytes, checksum: b3e15263cba13519c1d88f5c06b38aff (MD5) / Approved for entry into archive by Maria Auxiliadora Lopes(silopes@ufba.br) on 2013-06-10T17:38:42Z (GMT) No. of bitstreams: 1 Tese Dyane Santos.pdf: 938511 bytes, checksum: b3e15263cba13519c1d88f5c06b38aff (MD5) / Made available in DSpace on 2013-06-10T17:38:42Z (GMT). No. of bitstreams: 1 Tese Dyane Santos.pdf: 938511 bytes, checksum: b3e15263cba13519c1d88f5c06b38aff (MD5) Previous issue date: 2009 / Esta Tese de Doutorado tem como principal objetivo, analisar como as Políticas Institucionais de Permanência têm sido elaboradas e/ou incorporadas pela Universidade Federal da Bahia e qual o significado material e simbólico desta permanência. A política de reserva de vagas nas universidades públicas brasileiras, como parte das Políticas Públicas de Ações Afirmativas, existe no país desde o ano de 2002, mas somente em 2005 - por força das pressões exercidas pelos movimentos estudantis e Movimento Negro - a Universidade Federal da Bahia altera a sua resolução que dispõe sobre o sistema vestibular e implementa a reserva de vagas em seus cursos superiores. As políticas de acesso ao ensino superior trouxeram a presença maciça de estudantes pretos e pobres a cursos que historicamente não se observava esta “nova presença”. Os estudantes ingressos pelo sistema de reserva de vagas também encontraram inúmeras e agudas dificuldades para permanecer no curso superior, tanto a nível material (recursos financeiros) quanto ao nível simbólico, aqui entendido como as possibilidades de identificar-se com o grupo dos demais universitários, ser reconhecido e pertencer a ele. A partir das categorias analíticas de Kant e Lewis, definimos o conceito de permanência como o ato de durar no tempo que deve possibilitar não só a constância do indivíduo, como também a possibilidade de transformação e existência. A permanência deve ter o caráter de existir em constante fazer e, portanto, ser sempre transformação. Para atender aos objetivos da pesquisa e buscar possíveis respostas ao problema, foi realizada uma abordagem qualitativa com estudos quantitativos, na qual buscamos aplicar um instrumento com 100 estudantes autodeclarados negros, pretos ou pardos e em sua maioria ingressos pelo sistema de reserva de vagas. A pesquisa em profundidade foi realizada com nove estudantes de diversos cursos da UFBA, bem como técnicos e gestores dos programas institucionais de permanência. Os resultados encontrados na pesquisa empírica sustentam a nossa tese de que a permanência (material e simbólica) como política de ação afirmativa na UFBA é um processo em construção e pode ser descrita como alguns poucos projetos institucionais de permanência e uma gama de estratégias informais criadas pelos estudantes a fim de se manter na universidade. A identificação e compreensão destes projetos e destas práticas podem fornecer subsídios para a formulação de políticas que contribuam para uma permanência qualificada por um lado e por outro amplie as possibilidades de inserção destes estudantes nos demais campos sociais a fim de possibilitar oportunidades de mobilidade social. A diversidade étnico-racial e social, hoje mais presente nas universidades públicas brasileiras é um fenômeno que enriquece a todos e o mapeamento da exclusão social, da discriminação e da desigualdade racial no ensino superior, interessa não somente à produção cientifica quanto á formulação de políticas públicas de boa qualidade. / Salvador
624

Vivendo e aprendendo a brincar a ludicidade e a arte no trabalho de ONGs: um caminho para a inclusão social?

Albuquerque, Ana Paula Trindade de January 2007 (has links)
82 f. / Submitted by Suelen Reis (suziy.ellen@gmail.com) on 2013-04-30T13:39:48Z No. of bitstreams: 1 Ana Paula Albuquerque.pdf: 604071 bytes, checksum: a278c8e8c86c6a1bfa016be5f7c14deb (MD5) / Approved for entry into archive by Maria Auxiliadora Lopes(silopes@ufba.br) on 2013-06-11T18:55:36Z (GMT) No. of bitstreams: 1 Ana Paula Albuquerque.pdf: 604071 bytes, checksum: a278c8e8c86c6a1bfa016be5f7c14deb (MD5) / Made available in DSpace on 2013-06-11T18:55:36Z (GMT). No. of bitstreams: 1 Ana Paula Albuquerque.pdf: 604071 bytes, checksum: a278c8e8c86c6a1bfa016be5f7c14deb (MD5) Previous issue date: 2007 / A pesquisa teve como objetivo principal investigar o uso da ludicidade e da arte em ONGs, e como recurso para a inclusão social crítica e transformadora. A necessidade surgiu do contato e participação de projetos no universo das ONGs, o que propiciou a constatação do crescimento significativo de tais instituições, tendo, muitas delas, a intenção de trabalhar com a arte e a ludicidade para a efetivação da cidadania. Diante desses fatores, surgiram os questionamentos norteadores da pesquisa: Que inclusão social é essa à qual algumas ONGs se referem? Como e onde se dá a ludicidade na formação do educador que trabalha em tais organizações? Qual a contribuição do trabalho de arte e ludicidade, enquanto possibilidade de experiência plena e de sentido terapêutico (dar-se conta da auto-estima, do eu individual) e político (dar-se conta da transformação da realidade, do coletivo) para o processo de construção da cidadania? Como se pode efetivar uma inclusão crítica através da arte e da ludicidade? Para dar conta dessas interrogações, utilizei-me, para a investigação, do método etnográfico e microetnográfico. Como espaço empírico de pesquisa, foi escolhido o Projeto Buscapé, que envolve seis organizações. Como em pesquisa deste tipo, participei do dia-a-dia deste, entrevistando, gravando em áudio e vídeo e conversando com os atores do processo (educadores, educandos, coordenadores); com isso, percebi o conceito de inclusão pensado por eles e a ressonância desse trabalho na vida dos educandos, a formação do educador e como ela dá conta do processo pedagógico. Assim, pude confrontar o referencial teórico com os dados de campo, o que me levou a formular conhecimentos acerca da forma como é desenvolvido o trabalho lúdico e artístico e de como este contribui para uma inclusão social pautada na inclusão simbólica, visando o indivíduo e sua participação crítica na sociedade. / Salvador
625

De estudante de psicologia a psicológo: da cultura estudantil à cultura profissional na perspectiva do interacionismo simbólico

Carneiro, Virginia Teles January 2013 (has links)
190f. / Submitted by Oliveira Santos Dilzaná (dilznana@yahoo.com.br) on 2013-07-04T18:32:11Z No. of bitstreams: 1 Tese de doutorado - Virginia Teles Carneiro.pdf: 807997 bytes, checksum: 467f1ac35410091b62f22c0487736326 (MD5) / Approved for entry into archive by Ana Portela(anapoli@ufba.br) on 2013-07-09T16:41:40Z (GMT) No. of bitstreams: 1 Tese de doutorado - Virginia Teles Carneiro.pdf: 807997 bytes, checksum: 467f1ac35410091b62f22c0487736326 (MD5) / Made available in DSpace on 2013-07-09T16:41:40Z (GMT). No. of bitstreams: 1 Tese de doutorado - Virginia Teles Carneiro.pdf: 807997 bytes, checksum: 467f1ac35410091b62f22c0487736326 (MD5) Previous issue date: 2013 / O objetivo desta tese é compreender como estudantes de psicologia tornam-se psicólogos profissionais. Para isso, o interacionismo simbólico e a etnometodologia foram adotadas como referências teóricas que dão sustentação ao estudo. Os meios escolhidos para gerar dados foram entrevistas narrativas e descrições das percepções da pesquisadora contidas em diários de campo. Onze estudantes de psicologia foram entrevistados pouco antes da conclusão da graduação e, novamente, aproximadamente após um ano da concessão da primeira entrevista. Através da interpretação dos dados, defende-se a tese que os estudantes de psicologia tornam-se psicólogos profissionais a partir da interação social, de modo que essa transição é profundamente marcada por perspectivas coletivas, ou seja, desenvolvidas em grupo. Os estudantes ingressam no curso de psicologia carregando valores da cultura leiga que definem, de forma difusa, a profissão de psicólogo. Para transformarem-se em estudantes de psicologia, precisam tornar-se membros de uma cultura estudantil específica e mudar a visão inicial do trabalho do psicólogo. Ao deixarem a universidade, os egressos não têm o mesmo ânimo idealista de quando eram calouros, pois vislumbram as dificuldades relacionadas à como, efetivamente, irão conseguir ocupar um lugar no mundo do trabalho. Quando se tornam psicólogos de fato, passam a fazer uso de valores pertencentes à cultura profissional, sentindo o peso da responsabilidade de suas ações através da expectativa de outros atores presentes na situação. Ao explorar a dimensão subjetiva da experiência dos estudantes em uma perspectiva interacionista, o estudo explicita como ocorrem certas escolhas dos atores envolvidos na situação, e que tipo de suporte social está em jogo nas suas tomadas de decisão, trazendo à tona um modo original de interpretar a vida universitária. The aim of this thesis is to understand how psychology students become professional psychologists. For this, symbolic interactionism and ethnomethodology were used as theoretical references that support the study. The tactics chosen to generate data were narrative interviews and descriptions of the researcher’s perceptions contained in field diaries. Eleven psychology students were interviewed shortly before graduation and, again, about a year after granting the first interview. Through the interpretation of the data, it is defended the thesis that psychology students become professional psychologists through social interaction, so this transition is deeply marked by collective perspectives, i.e., group developed. Students enroll in Psychology degree carrying values of the lay culture that diffusely define the profession of psychologist. To turn into psychology students, they must become members of a specific student culture and change their initial vision of the psychologist’s work. Upon leaving the university, the graduates do not have the same idealistic spirit of when they were freshmen, since they catch a glimpse of the difficulties related to how, effectively, occupy a place in the world of labor. When they effectively become psychologists, they start to make use of values belonging to professional culture, feeling the weight of responsibility for their actions through the expectations of other actors present in the situation. By exploring the subjective dimension of student’s experience in an interactionist perspective, this study shows how certain choices of the actors involved in the situation occurs, and what kind of social support is at stake in their decision making, bringing out an original way of interpreting college life. / Salvador
626

A transposição dos requisitos estéticos e simbólicos de projeto em atributos formais do produto

Sapper, Stella Lisboa January 2015 (has links)
Este trabalho tem por objetivo propor uma sistematização do processo de transposição de requisitos estéticos e simbólicos de projeto em atributos formais do produto. Para a consecução do trabalho, foram investigados: o processo de desenvolvimento de produtos, com foco nas etapas que contemplam a transposição de requisitos de projeto em atributos formais do produto; a criatividade no âmbito do design e as técnicas utilizadas para o estímulo do pensamento criativo; e, as relações entre a semiótica e o design, com ênfase nas questões referentes às funções comunicativas (função estética e função simbólica) dos produtos. Com base no levantamento bibliográfico, foram estabelecidos critérios relativos aos requisitos estéticos e simbólicos para a seleção das técnicas que compõem o processo de transposição. O processo foi sistematizado por meio da organização das técnicas selecionadas e da inserção de aspectos fundamentais para atender aos requisitos estéticos e simbólicos do projeto. Foi realizada uma pesquisa documental com quatro relatórios de projeto da disciplina de Design de Embalagem II do curso de Graduação em Design da UFRGS. Essa pesquisa documental objetivou identificar as técnicas utilizadas no processo de desenvolvimento de produtos (PDP) que auxiliaram no estabelecimento dos requisitos de projeto. Foi selecionado um relatório como referência e os requisitos estéticos e simbólicos do projeto foram utilizados para a verificação da aplicabilidade da estrutura sistematizada. Essa verificação foi realizada pela autora com base nas informações do relatório selecionado. Após, foi feita a aplicação do método Delphi com cinco especialistas, em duas rodadas de perguntas. Com isso, foi possível refinar o processo sistematizado e apresentá-lo em uma estrutura de aplicação. Assim, a dissertação é concluída com a proposição do processo sistematizado final, composto por cinco fases: Identificar, Representar, Relacionar, Gerar e Selecionar. Cada fase possui suas técnicas de apoio e diretrizes de aplicação para apoiar a transposição de requisitos estéticos e simbólicos de projeto em atributos formais do produto. / This work aims to propose a systematization of the transposition process of aesthetic and symbolic requirements of design in formal product attributes. To achieve the work, were investigated by means of literature the product development process, focusing on steps that include the transposition of project requirements in formal attributes of product. The creative process within design and the methods and techniques used for the stimulation of creative thinking. Lastly, the relationship between semiotics and design, with emphasis on issues related to the communicative function of the products. Based on the literature, criteria were established relating to aesthetic and symbolic requirements for the selection of the techniques that make up the transposition process. The structure was systematized through the organization of selected techniques and inserting of key aspects to meet the aesthetic and symbolic design requirements. It was made a documentary research with four project reports of the discipline Packaging Design II of the course Undergraduate in Design at UFRGS. This documentary research aimed to identify the techniques used in the product development process (PDP) who assisted in establishing the design requirements. A report was selected as a reference and the aesthetic and symbolic requirements of the project were used for assessing the applicability of systematic structure. The author based on the information of the selected report conducted this check. After, the application of Delphi was made with five experts in two rounds of questions. Thus, it was possible to refine the systematic process and present it in an application structure. The study concludes with the systematic process proposition finalized, composed of five phases: Identify, Represent, Relate, Generate and Select. Each phase has its support techniques and guidelines of application. Each phase has its supporting technical and application guidelines to support the transposition of aesthetic and symbolic requirements of design in formal product attributes.
627

Apometria : do centro espírita ao consultório, o ritual e as implicações quanto à eficácia simbólica

Rodrigues, Karine Mendonça January 2016 (has links)
O presente estudo tem por objetivo identificar o processo de eficácia simbólica relacionado à prática da técnica de apometria, realizada, paralelamente, em um centro espírita e um consultório na cidade de Porto Alegre (Rio Grande do Sul, Brasil). Esta técnica, segundo define Azevedo (2007), é uma forma de executar o desdobramento do corpo, composto por sete corpos sutis, e dessa forma curar ou tratar enfermidades físicas ou espirituais com auxílio de entidades desencarnadas (plano espiritual). Utilizando-se os métodos de observação participante e registro em diário de campo durante a etnografia, realizou-se o acompanhamento dos atendimentos com apometria a consulentes acometidos por câncer. Após a compilação e interpretação dos dados, realizadas pela análise de ritual, proposta por Peirano (2002), como sendo um conjunto de enunciados e ações dotado de ordem, repetição e objetivo coletivo comum; assim como pela análise de discurso, que Caregnato e Mutti (2005) o compreendem como forma de dar sentido à cultura em um contexto específico; foi possível identificar os elementos que compõem a apometria, quais os elementos que compreendem seu processo de eficácia simbólica e quais materialidades e fluxos estão presentes. Abordou-se a eficácia simbólica, entendida para além das representações, à luz da ideia desenvolvida por Tavares e Bassi (2013), configurando um conjunto de agentes que envolvem símbolos, mitos, ações e os indivíduos presentes nas relações estabelecidas por objetivos e afetações coletivas. / This study aims to identify the process of symbolic efficacy related to the practice of apometry technique performed in parallel on a spiritual center and an office in the city of Porto Alegre (RS, Brazil). This technique, as defined by Azevedo (2007), is a way to run the body split, composed of seven subtle bodies, and thus cure or treat diseases of the physical or spiritual body with the help of disembodied entities (spiritual realm). Using the methods of participant observation and recording in a field diary during the ethnography, there was monitoring of calls with apometry the consultants affected by cancer. After compilation and interpretation of data carried out by ritual analysis proposed by Peirano (2002) as a set of statements and actions endowed with order, repetition and common collective goal and the discourse analysis, Caregnato and Mutti(2005) comprising the speech as a way to make sense and culture in a specific context, it has become possible to identify the elements that make up the apometry, as those involved understand its symbolic efficacy and which materiality and process flows are present. It addressed the symbolic efficacy, understood beyond the representations in light of the idea developed by Tavares and Bassi (2013), setting up a group of agents that involve symbols, myths, actions and individuals present in the relationships established by collective goals and affectations.
628

Transmigrants from Spanish Speaking Latin America and the Instrumentalisation of Nostalgia: Symbolic Goods of Those Who Leave and Return

Hidalgo Solís, Priscilla January 2013 (has links)
This MA thesis presents the results of an investigation about the Hispanic Americans in Prague. Relying on a transnationalist theoretical approach, this research presents an empirical description about the existing ties between the transmigrants and their city of residence, analyzing the migration networks and the transnational practices that arise during the migratory experience. We wish to demonstrate the measure in which the transnational migration is going to foment the exchange of symbolic goods between the country of origin and the country of reception of the transmigrant, and how this exchange is often triggered by the feeling of nostalgia that is frequently associated with the transmigrants experience. To approach these problems in the thesis we focus on the portrait of the migration networks, and on various strategies adopted by migrants from Latin America. Thus we are able to discover the transnational practices of migrants, their integration strategies, and the tools which facilitate to keep the contact with their homeland, and native civilization/culture. The exchange of symbolic goods is one of the very important instruments. We discover them through the testimonies of the transmigrants, which constitute the frame of this investigation, and function as a window on the nature of the...
629

The two envelope problem: an informed choice

Tyler, Jeffrey Brian 03 1900 (has links)
The host of a game presents two indistinguishable envelopes to an agent. One of the envelopes is randomly selected and allocated to the agent. The agent is informed that the monetary content of one of the envelopes is twice that of the other. The dilemma is under which conditions it would be beneficial to switch the allocated envelope for the complementary one. The objective of his or her envelope-switching strategy is to determine the benefit of switch- ing the allocated envelope and its content for the expected content of the complementary envelope. The agent, upon revealing the content of the allocated envelope, must consider the events that are likely to have taken place as a result of the host’s activ- ities. The preceding approach is in stark contrast to considering the agent’s reasoning for a particular outcome that seeks to derive a strategy based on the relative contents of the presented envelopes. However, it is the former reasoning that seeks to identify what the initial amounts could have been, as a result of the observed amount, that facilitates the identification of an appropriate switching strategy. Knowledge of the content and allocation process is essential for the agent to derive a successful switching strategy, as is the distribution function from which the host sampled the initial amount that is assigned to the first enve- lope. For every play of the game, once the agent is afforded the opportunity of sight­ing the content of the randomly allocated envelope, he or she can determine the expected benefit of switching. / Research / M. Sc. (Operations Research)
630

Conception de systèmes programmables basés sur les NoC par synthèse de haut niveau : analyse symbolique et contrôle distribué / High level synthesis of NoC based programmable systems : symbolic analysis and distributed systems

Payet, Matthieu 26 October 2016 (has links)
Les réseaux sur puce (NoC pour «network on chip») sont des infrastructures de communication extensibles qui autorisent le parallélisme dans la communication. La conception de circuits basés sur les NoC se fait en considérant la communication et le calcul séparément, ce qui la rend plus complexe. Les outils de synthèse d'architecture (HLS pour «high level synthesis») permettent de générer rapidement des circuits performants. Mais le contrôle de ces circuits est centralisé et la communication est de type point-à-point (non extensible). Afin d'exploiter le parallélisme potentiel des algorithmes sur des FPGA dont les ressources augmentent constamment, les outils de HLS doivent extraire le parallélisme d'un programme et utiliser les ressources disponibles de manière optimisée. Si certains outils de synthèse considèrent une spécification de type flot de données, la plupart de concepteurs d'algorithmes utilise des programmes pour spécifier leurs algorithmes. Mais cette représentation comportementale doit souvent être enrichie d'annotations architecturales afin de produire en sortie un circuit optimisé. De plus, une solution complète d'accélération nécessite une intégration du circuit dans un environnement de développement, comme les GPU aujourd'hui. Un frein à l'adoption des FPGA et plus généralement des architectures parallèles, est la nécessaire connaissance des architectures matérielles ciblées.Dans cette thèse, nous présentons une méthode de synthèse qui utilise une technique d'analyse symbolique pour extraire le parallélisme d'une spécification algorithmique écrite dans un langage de haut niveau. Cette méthode introduit la synthèse de NoC pendant la synthèse d'architecture. Afin de dimensionner le circuit final, une modélisation mathématique du NoC est proposée afin d'estimer la consommation en ressources du circuit final. L'architecture générée est extensible et de type flot de données. Mais l'atout principal de l'architecture générée est son aspect programmable car elle permet, dans une certaine mesure, d'éviter les synthèses logiques pour modifier l'application / Network-on-Chip (NoC) introduces parallelism in communications and emerges with the growing integration of circuits as large designs need scalable communication architectures. This introduces the separation between communication tasks and processing tasks, and makes the design with NoC more complex. High level synthesis (HLS) tools can help designers to quickly generate high quality HDL (Hardware Description Level) designs. But their control schemes are centralized, usually using finite state machines. To take benefit from parallel algorithms and the ever growing FPGAs, HLS tools must properly extract the parallelism from the input representation and use the available resources efficiently. Algorithm designers are used with programming languages. This behavioral specification has to be enriched with architectural details for a correct optimization of the generated design. The C to FPGA path is not straightforward, and the need for architectural knowledges limits the adoption of FPGAs, and more generally, parallel architecture. In this thesis, we present a method that uses a symbolic analysis technique to extract the parallelism of an algorithmic specification written in a high level language. Parallelization skills are not required from the users. A methodology is then proposed for adding NoCs in the automatic design generation that takes the benefit of potential parallelizations. To dimension the design, we estimate the design resource consumption using a mathematical model for the NoC. A scalable application, hardware specific, is then generated using a High Level Synthesis flow. We provide a distributed mechanism for data path reconfiguration that allows different applications to run on the same set of processing elements. Thus, the output design is programmable and has a processor-less distributed control. This approach of using NoCs enables us to automatically design generic architectures that can be used on FPGA servers for High Performance Reconfigurable Computing. The generated design is programmable. This enable users to avoid the logic synthesis step when modifying the algorithm if a existing design provide the needed operators

Page generated in 0.0609 seconds