Proposta de uma arquitetura especial para simulação lógica

O objetivo deste trabalho é a proposta de uma arquitetura especial para simulação lógica (AESL). As técnicas e modelos utilizados no processo de simulação lógica são brevemente revistos. É definida uma taxonomia para AESL sob a qual são analisadas diversas propostas de AESL relatadas na literatura. Uma taxonomia já existente é comparada com a proposta. A AESL definida é programável para diferentes algoritmos de simulação lógica. O detalhamento da AESL é, então, incrementado pela implementação de um algoritmo particular. Uma linguagem de simulação discreta é utilizada na construção de um modelo da arquitetura. Os resultados da simulação deste modelo permitem avaliar o desempenho da AESL e otimizar sua estrutura. Uma comparação com outras arquiteturas conclui a análise.

Uma Proposta de especificação formal e fundamentação teórica para simulated annealing

Os algoritmos baseados no paradigma Simulated Annealing e suas variações são atualmente usados de forma ampla na resolução de problemas de otimização de larga escala. Esta popularidade é resultado da estrutura extremamente simples e aparentemente universal dos algoritmos, da aplicabilidade geral e da habilidade de fornecer soluções bastante próximas da ótima. No início da década de 80, Kirkpatrick e outros apresentaram uma proposta de utilização dos conceitos de annealing (resfriamento lento e controlado de sólidos) em otimização combinatória. Esta proposta considera a forte analogia entre o processo físico de annealing e a resolução de problemas grandes de otimização combinatória. Simulated Annealing (SA) é um denominação genérica para os algoritmos desenvolvidos com base nesta proposta. Estes algoritmos combinam técnicas de busca local e de randomização. O objetivo do presente trabalho é proporcionar um entendimento das características do Simulated Annealing e facilitar o desenvolvimento de algoritmos com estas características. Assim, é apresentado como Simulated Annealing e suas variações estão sendo utilizados na resolução de problemas de otimização combinatória, proposta uma formalização através de um método de desenvolvimento de algoritmos e analisados aspectos de complexidade. O método de desenvolvimento especifica um programa abstrato para um algoritmo Simulated Annealing seqüencial, identifica funções e predicados que constituem os procedimentos deste programa abstrato e estabelece axiomas que permitem a visualização das propriedades que estes procedimentos devem satisfazer. A complexidade do Simulated Annealing é analisada a partir do programa abstrato desenvolvido e de seus principais procedimentos, permitindo o estabelecimento de uma equação genérica para a complexidade. Esta equação genérica é aplicável aos algoritmos desenvolvidos com base no método proposto. Uma prova de correção é apresentada para o programa abstrato e um código exemplo é analisado com relação aos axiomas estabelecidos. O estabelecimento de axiomas tem como propósito definir uma semântica para o algoritmo, o que permite a um desenvolvedor analisar a correção do código especificado para um algoritmo levando em consideração estes axiomas. O trabalho foi realizado a partir de um estudo introdutório de otimização combinatória, de técnicas de resolução de problemas, de um levantamento histórico do uso do Simulated Annealing, das variações em torno do modelo e de embasamentos matemáticos documentados. Isto permitiu identificar as características essenciais dos algoritmos baseados no paradigma, analisar os aspectos relacionados com estas características, como as diferentes formas de realizar uma prescrição de resfriamento e percorrer um espaço de soluções, e construir a fundamentação teórica genérica proposta.

Proposta de extensão do modelo de expressões intervalares para sincronização multimídia na web

O desenvolvimento de apresentações multimídia sincronizadas para Web se baseia na definição e especificação de relações entre objetos advindos de diversas mídias, que possuem requisitos específicos de desempenho, estando ainda sujeitos à atrasos randômicos durante sua transmissão. Neste sentido, foram definidos modelos para especificação de sincronismo que têm por objetivo estruturar a ordenação destas aplicações de maneira a executar as relações definidas pelo autor quando da exibição coerente no destino. Este trabalho realiza um estudo dos principais modelos utilizados no desenvolvimento de apresentações multimídia sincronizadas, principalmente relacionando-se ao ambiente Web. Desta forma, tornando possível identificar características, vantagens e desvantagens de seus usos, bem como verificar que o Modelo de Expressões Intervalares é adequado a este trabalho, embora ainda apresente algumas deficiências no controle de mídias e interações do usuário. Finalmente, visando solucionar as deficiências encontradas no Modelo de Expressões Intervalares, foi desenvolvida uma proposta de extensão para o mesmo. Ela consiste na criação de um controlador para a interação do usuário e para a manipulação de mídias, chamado mídia invisível; e na definição do operador Sinc-Point, que proporciona ao autor maior flexibilidade na definição da sincronização. Esta proposta apresenta as seguintes vantagens: possibilita ao autor criar sincronizações do tipo “overlaps”, que baseia o disparo de uma mídia durante a apresentação de outra; possibilita ao autor realizar um controle sobre o intervalo para a interação do usuário e para a apresentação de mídias; mantém a consistência da apresentação; não acarreta muitas mudanças no modelo original.

O desporto de competição como meio de educação : uma proposta metodológica construtivista aplicada ao treinamento de jovens tenistas

O presente estudo, discute a proposição de um modelo construtivista de intervenção pedagógica referenciado ao treinamento de rendimento aplicado ao tênis de competição para escalões infanto-juvenil. Para tanto, realizamos uma investigação teórico-especulativa tendo como objetivo: 1°) Apresentar as principais vertentes filosóficas no âmbito da expressão da corporalidade. Como tal, discorremos sobre a concepção clássica do dualismo axiológico expresso na filosofia platônica; o dualismo metodológico cartesiano; o modelo não dualista das concepções existencialista e a concepção pós-marxista expressa na perspectiva do materialismo histórico dialético. 2°) Delimitar as principais vertentes que configuram formas diferenciadas sobre a compreensão da natureza lúdica do jogo, da competição e o papel do desporto na configuração de um a forma de vida essencialmente de valor educativo. Discutimos nessa perspectiva as principais correntes sobre a natureza do jogo e do desporto expressas principalmente em Huizinga e Caillois, e concluímos por delimitar o desporto enquanto um jogo de âgon, ou seja, configurando-o como uma forma de jogo. O jogo desportivo. 3°) Delimitar as principais concepções de intervenção pedagógica no âmbito do treino desportivo de competição. Apresentamos duas categorias principais, as quais denominamos de Reprodutivista-tradicional e Construtivista. Discorremos sobre ambas de forma comparativa com o intuito de expressar suas mais relevantes diferenças axiológicas. 4°) Finalmente, descrevemos como essas duas concepções pedagógicas, filosoficamente de orientações diferenciadas, orientam os programas elaborados pelos pedagogos do desporto. Desta forma, concluímos, assumindo como pressuposto central que a concepção construtivista de intervenção pedagógica sugerida nessa investigação, que adotou como referência o tênis de competição, configura-se como plenamente compatível com uma postura verdadeiramente educativa e formativa de crianças e Jovens. Portanto, esperamos que esse estudo possa oferecer contribuições no sentido de que se possa conhecer melhor alguns aspectos do desporto de competição e seus reflexos positivos no processo de educação e formação de crianças e jovens. Enfim, que as informações obtidas neste trabalho, possam ser utilizadas como indícios, antes de conclusões, e que atinjam os indivíduos e as instituições ligadas as práticas desportivas de competição.

Uma proposta para projeto de rede de acesso em telefonia celular

Esse trabalho apresenta um estudo envolvendo uma proposta para os procedimentos de projeto de redes de acesso, aplicado à telefonia móvel celular. O trabalho foi desenvolvido através de uma pesquisa-ação. O projeto de redes de acesso é um assunto bastante antigo em telefonia, mas, em se tratando de telefonia móvel, passa a ser uma novidade. Inicialmente, foi realizado um estudo teórico, buscando as tecnologias disponíveis no mercado, tais como as sugeridas por fornecedores de equipamentos. Foram consideradas também as modificações feitas em teorias das redes de acesso da telefonia fixa. O resultado do estudo teórico forneceu uma base para seguir o trabalho, aplicando o modelo em um estudo real. Posteriormente, foi desenvolvido um estudo prático, envolvendo o planejamento da rede de acesso ao anel óptico norte. A abordagem proposta contempla as seguintes etapas: (i) estudo detalhado das configurações, em busca de uma configuração básica a ser expandida em toda a rede; (ii) desenho da rede, propondo um método de desenho de rede de acesso, aplicado à rede da Telefônica Celular nas estações existentes; (iii) otimização do desenho da rede, buscando soluções para as inviabilidades apresentadas no desenho ideal; e (iv) a concretização do trabalho, com o desenho de rede proposto para implementação em campo. A abordagem desenvolvida neste estudo auxilia o projetista nas etapas de planejamento de redes de acesso. Seguindo a abordagem proposta, desenvolvida junto à telefonia celular, tem-se maior facilidade no gerenciamento e nas tomadas de decisão, principalmente em momentos de expansão da rede.

Gestão do conhecimento : proposta de um modelo aplicável às agências de correios

A era do conhecimento, produto da revolução tecnológica e da velocidade das informações, tem apresentado grandes desafios para as organizações atuais que buscam a excelência e a competitividade no segmento de serviços. Este trabalho apresenta um estudo aplicado às agências da Empresa Brasileira de Correios e Telégrafos. Inicialmente, são apresentados alguns conceitos sobre a Gestão do Conhecimento, que constitui uma importante ferramenta para empresas que buscam esta competitividade no mercado onde atuam. Logo após, é feita a proposta e aplicação de um modelo fundamentado de Gestão do Conhecimento e adaptado para a realidade das agências da Empresa Brasileira de Correios e Telégrafos. O modelo de Gestão do Conhecimento apresentado, envolvendo o mapeamento, a construção e a disseminação do conhecimento, representa uma inovação no âmbito da organização em estudo. Ao utilizar as melhores práticas mapeadas e construídas pelos seus próprios funcionários, a Empresa Brasileira de Correios e Telégrafos rompe o paradigma de trabalhar voltada simplesmente para seus processos, passando a valorizar o conhecimento, a informação e o capital humano, que constitui o principal ativo da organização.