Made available in DSpace on 2014-06-12T15:59:25Z (GMT). No. of bitstreams: 2 arquivo5123_1.pdf: 6012873 bytes, checksum: 8038d505b71a040f17e72f9d678160bf (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / A indústria de jogos digitais é uma das mais bem-sucedidas do mundo, equiparando-se até mesmo às indústrias de cinema e música. Entretanto, a industrialização no desenvolvimento de software, tendência que vem surgindo em resposta ao crescimento exponencial da demanda global por software, apresentará muitos desafios novos ao desenvolvimento de jogos. Estudos revelam que existe evidência suficiente de que o atual paradigma de desenvolvimento está próximo de seu fim, e que um novo paradigma é necessário para suportar os novos rumos das tecnologias de desenvolvimento de software. Por exemplo, apesar de motores para jogos (game engines) terem trazido os benefícios da Engenharia de Software e orientação a objetos visando a automação no desenvolvimento de jogos, o nível de abstração provido por eles poderia ser mais facilmente assimilado através de ferramentas baseadas em linguagens, da utilização de diagramas como elementos-chave no desenvolvimento (no mesmo nível do código-fonte) e de uma melhor integração com processos de desenvolvimento. Este trabalho, portanto, explora a integração entre o desenvolvimento de jogos, uma disciplina inerentemente criativa, com o conceito de fábricas de software, que são focadas em transformar o atual paradigma artesanal de desenvolvimento em um processo de manufatura. A especificação (schema) de uma fábrica de software para um domínio específico de jogos é descrita, e uma linguagem de domínio específico (DSL) visual, que realiza parte da especificação da fábrica, é definida. Esses conceitos foram implementados e implantados em um ambiente de desenvolvimento, que inclui geração de código (que consome um game engine simples) a partir dos diagramas especificados na DSL desenvolvida. Finalmente, cenários reais, desenvolvidos para validar a fábrica de software proposta e sua DSL visual, permitem concluir que a abordagem apresentada permite aos desenvolvedores de jogos um trabalho mais produtivo, com um maior nível de abstração e de maneira mais próxima de seu domínio de aplicação

Made available in DSpace on 2014-06-12T15:59:35Z (GMT). No. of bitstreams: 2 arquivo5187_1.pdf: 772703 bytes, checksum: 4e26836d89a94b44e061ba19cd085a7a (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2002 / A teoria das categorias é um ramo relativamente novo da investigação matemática. A idéia básica reside na observação de que diversas áreas da matemática envolvem o estudo ele objetos e mapeamentos entre estes objetos, por exemplo, conjuntos e funções, domínios intervalares e funções contínuas. Tal uniformidade de estrutura pode ser explorada livrando¬-se dos detalhes internos dos objetos, e focalizando-se somente nas funções e nos meios ele combiná-las. Motivados pelo caráter construtivo da teoria das categorias, neste trabalho tem-se como objetivo implementar construções categóricas intervalares através de progra¬mas em H askell

Made available in DSpace on 2014-06-12T15:59:41Z (GMT). No. of bitstreams: 2 arquivo5500_1.pdf: 3962680 bytes, checksum: 4dba3d9b94bbd26eb1eec27b1083b622 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / Tradicionalmente, linguagens funcionais fornecem um grau de abstração superior ao encontrado em outros paradigmas (imperativo, orientado a objetos), o que se manifesta por meio de construções de alto nível como funções de alta ordem, aplicações parciais, polimorfismo paramétrico e, em algumas linguagens, avaliação sob demanda. Entretanto, a utilização do paradigma funcional tem-se restringido basicamente a aplicações acadêmicas. Essa restrição é em parte explicada pela ausência de ambientes de desenvolvimento e APIs que melhorem a produtividade do desenvolvedor na construção de aplicações que fazem uso das tecnologias mais recentes de desenvolvimento Web, computação distribuída, arquitetura orientada a serviços, entre outras. Por outro lado, plataformas como a Java Virtual Machine e, mais recentemente, a Plataforma .NET, disponibilizam uma amplagama de serviços e bibliotecas que satisfazem aos tipos de aplicações supracitados. O ambiente .NET, em particular, destaca-se por suportar múltiplas linguagens, apesar do suporte ser mais amplo a linguagens orientadas a objeto. Dentro desse contexto, surge a oportunidade de portar linguagens funcionais para essa plataforma, permitindo não apenas o acesso aos serviços por ela fornecidos como também uma interoperabilidade natural com outras linguagens. O objetivo deste trabalho é o desenvolvimento de uma implementação da linguagem funcional Hask ell para a Plataforma .NET. Tal implementaçãonão é trivial devido ao g a p semântico que existe entre uma linguagem funcional com avaliação sob demanda e um ambiente como o .NET. F oi desenvolvido um gerador de código capaz de gerar, a partir de um programa Hask ell, código em IL - linguagem assembly suportada pela máquina virtual. Paralelamente, foram conduzidas medições de desempenho do código gerado. Tais medições demonstraram performance razoável para váriosprogramas. Entretanto, a principal contribuição deste trabalho está na disponibilizaçãode uma implementação Hask ell que serve como principal passo rumo µa interoperabilidade com a Plataforma .NET. Além disso, a solução desenvolvida serve como um ambiente de teste e validação de diferentes alternativas de tradução de uma linguagem funcional para as construções encontradas em uma plataforma como .NET

Orientadores: Leo Pini Magalhães e Paulo Cesar Bezerra / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-21T02:55:38Z (GMT). No. of bitstreams: 1 Oliveira_JoseRaimundode_D.pdf: 16658158 bytes, checksum: 56e9ba0ca8cbfffaa30deeee0850c813 (MD5) Previous issue date: 1995 / Resumo: Sistemas de Computadores dedicados a Computação de Imagem tem sido o alvo de diversos trabalhos de pesquisa e desenvolvimento em universidades e indústrias por todo o mundo. A maior parte dos trabalhos disponíveis na literatura visa a implementação de algoritmos específicos em circuitos dedicados em VLSI. Neste trabalho evitou-se o desenvolvimento de uma arquitetura muito rígida, presa a um único algoritmo. No lugar disto, procurou-se integrar numa bancada uma memória de quadro ligada a um sistema de interconexão de multiprocessadores, chamada de VAM (Via de Acessos Múltiplos). A VAM permite a interligação de processadores elementares (PE) de um arranjo de processamento que trata de forma paralela todas as tarefas de um sistema de computação de imagem. Cada PE pode implementar as suas tarefas por software, por firmware ou mesmo por hardware dedicado. Trata-se, portanto, de uma bancada para experimentos que permite o desenvolvimento de atividades de pesquisa em arquitetura de computadores, em circuitos VLSI dedicados, interconexão de multiprocessadores, software básico e de aplicação em computação de imagem. Para o desenvolvimento deste trabalho foram necessários estudos nas áreas de síntese de imagem, de circuitos de exibição e na área de arquiteturas aplicadas à computação de imagem. Estes estudos foram baseados num amplo levantamento bibliográfico. Com base nestes estudos, foi proposta uma especificação da bancada. Em cima desta especificação foram estudados exemplos de aplicação da bancada. Para este projeto foram utilizados recursos de engenharia concorrente disponíveis na Faculdade de Engenharia Elétrica da Universidade Estadual de Campinas / Abstract: Computer systems dedicated to Image Processing, Computer Graphics and Computer Vision have been the subject of several research and development works at universities and industries alI over the world. Most of these works describes specific VLSI implementations of algorithms. This work purposely avoids the development of an architecture restricted to a single algorithm. Instead, we integrate a frame buffer connected to a multiprocessor interconnection structure referred as VAM (this acronym comes from the portuguese denomination: "Via de Acessos Múltiplos" - Multiple Access Bus). A VAM alIows the interconnection of processing elements (PE) that can execute in paralIel an image algorithm. Each PE can implement its tasks by software, by firmware, or by dedicated hardware. This architecture works as an experimental workbench that alIows research and development in computer architecture, multiprocessor interconnection, application specific VLSI IC and software. The features of the proposed VAM have been specified as a result from a large library search for references on image synthesis, display circuits and computer graphic specific architectures. AIso based on this search, we discuss two examples of applications of VAM to specific problems. This design was developed using facilities of Concurrent Engineering available in Faculdade de Engenharia Elétrica, Universidade Estadual de Campinas, Brazil / Doutorado / Automação / Doutor em Engenharia Elétrica

Orientador: Jose Antonio Siqueira Dias / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-21T08:41:29Z (GMT). No. of bitstreams: 1 Mouallem_Janete_M.pdf: 8463458 bytes, checksum: 5a8f4f3567d462f798d96a487905e34e (MD5) Previous issue date: 1996 / Resumo: o objetivo deste trabalho é apresentar o circuito integrado para o "Tratamento da Interface de Linha" (TB47) e sua implementação em FPGAs Xilinx, através de uma metodologia de projeto TopDown. Como o TB47 foi desenvolvido para utilização em placa do sistema ClAD (Concentrador de Linhas de Assinantes Distribuido) em desenvolvimento no Centro de Pesquisa e Desenvolvimento da Telebrás, inicialmente será descrito este sistema e como o TB47 se encaixa no mesmo. Em seguida, será feita uma descrição do funcionamento do TB47 e apresentada a metodologia de projeto utilizada para seu desenvolvimento. Finalmente, será apresentada a sua implementação em dois componentes FPGAs (Field Programmable Gate Arrays) Xilinx 4008PQ208, para teste do sistema. Para isto utilizou-se o software Xilinx Automatic CAE Tools (XACT) / Abstract: Not informed. / Mestrado / Doutor em Engenharia Elétrica

Orientador: Mario Lucio Cortes / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-22T02:12:05Z (GMT). No. of bitstreams: 1 Adario_AlexandroMagnodosSantos_M.pdf: 12173429 bytes, checksum: 7ec475633b793722074b6ede4d259d0c (MD5) Previous issue date: 1997 / Resumo: Este trabalho propõe uma metodologia de projeto de circuitos digitais envolvendo o uso do modelamento comportamental e síntese de alto nível visando o mapeamento tecnológico em componentes reprogramáveis do tipo FPGA. Apresenta uma arquitetura de processador de vizinhança aplicada a imagens digitais e os resultados de sua simulação e da implementação utilizando a metodologia apresentada. Os objetivos principais do trabalho são a validação da metodologia, fazendo um estudo das limitações das ferramentas envolvidas no ciclo de projeto e o impacto na concepção e implementação dos modelos. Também são apresentadas novas contribuições ao modelo da arquitetura proposta. / Abstract: This work proposes a digital circuit design methodology using behavioral modelling and high-level synthesis for technological mapping in FPGA devices. Also, this work introduces an archictecture for neighboorhood processors for digital image applications and the results of its simulation and implementation using the proposed methodology. The main goals of the work are validation of the methodology, including a study on the limitations of the tools used in the design cycle and its impact on model design and implementation. New enhancements to the proposed architecture are also presented. / Mestrado / Mestre em Ciência da Computação

Orientador: Walter Alexandre Carnielli / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-27T00:20:42Z (GMT). No. of bitstreams: 1 Gracio_MariaClaudiaCabrini_D.pdf: 5288226 bytes, checksum: 9167acf60882f6defde6670ad61fb1e8 (MD5) Previous issue date: 1999 / Resumo: Este trabalho introduz uma ampla família de extensões monotônicas da lógica de primeira ordem, denominada lógicas moduladas, construída estendendo a lógica clássica por meio de quantificadores generalizados, chamados quantificadores modulados. Tais quantificadores representam várias formas de raciocínio indutivo. Alguns resultados gerais em teoria de modelos para esta família são também obtidos. Particularmente, propõem-se três sistemas lógicos monotônicos, os quais formalizam conjuntos indutivos de crenças em bases de conhecimento, gerados por argumentos indutivos das formas "a maioria", "muitos" e "para uma 'boa' parte". A noção de "maioria" é capturada por meio de um -quantificador modulado, semanticamente interpretado pelos números cardinais dos conjuntos de evidências. É mostrado que este sistema, embora seja correto, não é completo com relação ao modelo definido. A fim de capturar a noção de "muitos" e "para uma 'boa' parte" novos quantificadores modulados são introduzidos, semanticamente interpretados, respectivamente, pelas noções de família fechada superiormente e topologia reduzida. Demonstra-se que ambos os sistemas são extensões conservativas da lógica clássica que preservam importantes propriedades, como correção e completude. O trabalho também discute outras perspectivas e inclui alguns problemas em aberto e questões / Abstract: This work introduces a large family of monotonic extensions of first order logic denominated modulated logics, constructed by extending classical logic through generalized quantifiers called modulated quantifiers. Such quantifiers represent various forms of inductive reasoning. Some general results in model theory for this family are also obtained. Particularly, it proposes three monotonic logical systems, which formalize inductive sets of beliefs in knowledge bases generated by inductive arguments of the form "most", "many" and "for a 'good' number of. The notion af "most" is captured by means of a modulated quantifier semantically interpreted by cardinal numbers in sets of evidences. It is proven that this system, although sound, is not complete if checked against the intended model. In order to capture the notion of "many" and "for a 'good' number of new modulated quantifiers are introduced, semantically interpreted, respectively, by the notions of upperly closed family and reduced topology. It proves that both systems are conservative extensions of classical logic preserving important properties, like soundness and completeness. The work also discusses further perspectives and includes several open problems and questions / Doutorado / Doutor em Filosofia

Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-28T15:09:20Z (GMT). No. of bitstreams: 1 Almeida_JoaoMarcosde_M.pdf: 7102559 bytes, checksum: 00cfc40892f4fb1bb2cc560c907a732b (MD5) Previous issue date: 1999 / Mestrado

FundaÃÃo Cearense de Apoio ao Desenvolvimento Cientifico e TecnolÃgico / FundaÃÃo de Amparo à Pesquisa do Estado do Cearà / Nous avons investiguà dans cette Ãtude les contributions et les limites dâun cours de formation pÃdagogique des maÃtres, sur un programme PÃdagogique â Magister â dÃveloppà par lâUniversità FÃdÃrale du Cearà â UFC en association avec les SecrÃtariats de lâÃducation de lâÃtat et de la MunicipalitÃ, en conformità avec les prÃceptes lÃgaux instituÃs par la Loi de Directives et Bases de lâÃducation no 9.394/96. Dans ces conditions, nous nous proposons dâanalyser les conceptions thÃoriques et mÃthodologiques des professeurs C. A. P. en enseignement dâArts et de lâÃducation physique et dans cette Ãtude nous nâavons envisagà que les enseignants dâarts dans leurs multiples langages artistiques â la danse, la musique, le cinÃma, le thÃÃtre â câest-Ã-dire, les mÃthodes audiovisuelles. Ainsi, nous analysons le chemin parcouru par les professeurs concernant la vie personnelle, acadÃmique bien que la vie socioculturelle et artistique de chacun, en tressant les savoirs acadÃmiques acquis à lâoccasion de la formation et les connaissances pratiques, pour que nous puissions apercevoir au jour le jour les possibilitÃs et les limites de la construction et de la reconstruction de la connaissance artistique dans les aspects thÃoriques et mÃthodologiques. Nous menons lâÃtude dans le parcours historique et les prÃceptes lÃgaux de lâenseignemet dâArts au BrÃsil en accentuant les habilitÃs et les compÃtences dÃveloppÃes par les professeurs dans ce rayon de connaissance. Nous prenons lâanalyse de lâÃtude de cas à lâabordage de la recherche qualitative pour la rÃcolte des donnÃes des interviews semi-structurÃes avec dix professeurs dâart qui apprennent au lycÃe et à lâobservation in loco. Les rÃsultats de la recherche conduisent aux changements dans le processus dâapprentissage dâArt, en mettant en Ãvidence la contextualisation historique, les savoirs et les faits dâagir artistiques qui envisagent la proposition triangulaire dâAna Mae Barbosa, cette proposition consiste à lâintÃgration de lâapprÃciation, de lâhistoire de lâart et les faits dâagir artistiques et culturels. Parmi les langages artistiques vÃcus frÃquemment par les professeurs, nous soulignons les arts visuels â le dessin, la peinture, les techniques mixtes. Par rapport à lâÃvaluation, les professeurs se servent des participations à des sÃminaires dâÃtude et la confection des portfolios en tant quâune forme de stimuler la recherche par les apprenants. Il nây a que trois professeurs du lycÃe travaillant dans un projet dâÃtude, les autres sont des enseignants dâÃcole. / Investigamos as contribuiÃÃes e os limites de um curso de formaÃÃo de professores em serviÃo em nÃvel superior, num programa Docente â Magister, realizado pela Universidade Federal do CearÃ-UFC, em parceria com as Secretarias Estadual e Municipal de EducaÃÃo, atendendo aos preceitos legais da Lei de Diretrizes e Bases da EducaÃÃo nÂ. 9.394/96. Propomos analisar as concepÃÃes teÃricas e metodolÃgicas dos professores licenciados o Ensino de Artes e EducaÃÃo FÃsica, pesquisamos somente professores que lecionam na Ãrea do ensino de artes nas expressÃes artÃsticas das danÃas, do teatro, da mÃsica e das artes visuais e audiovisuais. Analisamos a trajetÃria pessoal, acadÃmica, sÃcio-cultural e artÃstica destes professores, entrelaÃando os saberes acadÃmicos assimilados na formaÃÃo e os saberes das experiÃncias docentes, no sentido de percebermos na prÃtica da docÃncia em Artes as possibilidades e os limites da construÃÃo e reconstruÃÃo dos conhecimentos artÃsticos nos aspectos teÃricos e metodolÃgicos. Incursionamos o estudo pela trajetÃria histÃrica e preceitos legais do ensino de Artes no Brasil. Estudo de caso de abordagem qualitativa,a coleta dos dados fez-se por entrevistas semi-estruturadas com dez professores de Arte egressos do Curso e a observaÃÃo no lÃcus da sala de aula. Os resultados apontam para mudanÃas no processo de ensinar e aprender Artes, evidenciando a contextualizaÃÃo histÃrica, os saberes e os fazeres artÃsticos voltados para a proposta triangular de Ana Mae Barbosa que consiste na integraÃÃo entre a apreciaÃÃo, a histÃria da Arte e os fazeres artÃsticos e culturais. Das linguagens artÃsticas vivenciadas destacaram-se as Artes visuais da pintura, do desenho, das tÃcnicas mistas. Na avaliaÃÃo os professores utilizam seminÃrios de estudos e a confecÃÃo de portifÃlios para o estÃmulo a pesquisa . TrÃs professores do Ensino MÃdio trabalham com projeto de estudo, sete sÃo professores polivalentes do Ensino Fundamental.

Uma compacta linguagem descritora de páginas, destinada a impressoras não-impacto de estrutura raster é apresentada. Tal linguagem foi implementada usando o processador gráfico TMS4010, da Texas Instruments e possui uma estrutura muito similar à encontrada nas linguagens interpretativas encadeadas. A linguagem é totalmente modular e interativa, e se utiliza um modelo gráfico simples, visando simular as tarefas normalmente encontradas nas artes tipográficas. São efetuadas comparações com outras linguagens comerciais, visando avaliar suas possibilidades. Uma pequena introdução à tecnologia das impressoras laser é apresentada. / A small Page description language intended for raster non-impact printers is presented. The language is implemented using the Texas Instruments TMS4010 Graphics system processor and its structure is similar that encountered in threaded interpretative languages. The language is fully modular and interactive, and uses a simple graphic model to simulate the same common tasks encoutered in typographical arts. Comparison are made with other comercial languages to perform some evaluations on its possibilities. A small introduction on the laser printer technology is presented.