Lógicas subjacentes à formação do professor para a escolaridade inicial

A tese Lógicas subjacentes à formação do professor para a escolaridade inicial tem origem na experiência profissional do pesquisador enquanto docente formador de professores. É o resultado do trabalho de pesquisa desenvolvido junto a instituições educacionais de nível médio e superior, situadas na Região do Alto Uruguai gaúcho, que atuam na formação de professores para a escolaridade inicial ou, hoje, anos iniciais do ensino fundamental. Parte-se do entendimento de que os processos educacionais institucionalizados correspondem sempre a determinações sócio-políticas hegemônicas, da compreensão das racionalidades orientadoras da formação de professores inseridas no contexto histórico mais amplo que caracterizou a sociedade brasileira ao longo dos últimos cinqüenta anos do século XX. Assim, no quadro de uma contextualização sócio-geográfica da Região, foram coletados e analisados, a partir de entrevistas, reportagens e artigos de jornais e documentos oficiais, dados significativos sobre a história e a atuação dessas escolas, tendo como pano de fundo a situação das Escolas Normais do Rio Grande do Sul e do Brasil no mesmo penodo investigado A pesquisa, de caráter exploratório, teve como foco principal a análise das racionalidadesllógicas que têm presidido a formação de professores nas instituições envolvidas, sem, contudo, ter havido perda da dimensão global mais ampla em que se desenvolvem tais processos. O estudo foi conduzido em duas perspectivas: a histórica, que procura resgatar a trajetória das escolas de formação de professores naquela Região, entre sua criação e os anos noventa. As evidências recolhidas através de depoimentos dos pioneiros e da análise de documentos legais e artigos jomalísticos permitiram identificar o predomínio de racionalidade técnico-instrumental tanto nas concepções de educação, escola, identidade do professor, organização cunlcular quanto nas práticas de ensino e nas próprias condições de trabalho dos professores, assim como a forte presença de um ideário "moralizante" quanto ao papel e aos comportamentos esperados das futuras professoras. Também foi possível registrar o lento declínio da racionalidade técnico-instrumental ao final dos anos oitenta, resultante do avanço e disseminação das teorias críticas da educação e do próprio movimento social em prol da redemocratização do país. Em sua segunda perspectiva, o estudo voltou-se para a investigação da realidade das instituições formadoras da Região, a partir dos anos oitenta, incluindo neste espaço a formação em nível superior, proporcionada pelo Curso de Pedagogia na universidade, no sentido de explorar as possibilidades de incorporação da nova lógica de organização da educação de professores, fundada numa racionalidade emancipatória A análise do conjunto de dados recolhidos nas duas etapas do estudo foi conduzida a partir das seguintes subcategorias: escolha do curso, relação teoriaJprática no processo de formação e nas práticas docentes, fundamentos epistemológicos, desempenho docente, profissionalização e identidade docente. Este processo de análise crítica conduziu a algumas constatações importantes em relação à tese inicialmente proposta, ou seja, como as racionalidades determinaram os pressupostos teóricos e políticos e os rumos da formação profissional em cada momento histórico, traduzindo-se em mecanismos que reproduzem fielmente as grandes tendências sociais, políticas e ideológicas dominantes. Constatou-se, também, a dificuldade das instituições e dos próprios professores em abandonarem visões cristalizadas e assimilarem novos paradigmas de pensamento e ação. Esta perspectiva está demonstrada pelo fato de que, apesar do enfTaquecimento da racionalidade instrumental a partir dos anos oitenta, os educadores e as instituições formadoras dela não conseguiram libertar-se inteiramente neste início de um novo milênio. Por outro lado, foi possível perceber que a formação inicial ou continuada em nível superior, na universidade, possibilita maior e mais consistente aprofundamento teórico, permitindo aos docentes e futuros docentes a visão mais clara do sentido da profissão, do "fazer-se" e do "ser" educador como um agente compromissado no desenvolvimento de uma educação emancipatória, voltada para o desenvolvimento de uma sociedade mais justa para todos os cidadãos.

Lógicas de engajamento de produtores familiares em propostas de desenvolvimento : a implementação do programa social agropecuário em Pampa de Achala, Cordoba - AR

Nesta dissertação, analiso as diferentes formas de engajamento dos produtores familiares às propostas de desenvolvimento apresentadas pelo Programa Social Agropecuário, na região de Pampa de Achala, na Província de Córdoba, na Argentina. Os diferentes graus de adesão dos produtores estão relacionados as heterogeneidades na estrutura e volume de capitais carregados por esses agentes, suas diferentes trajetórias e expectativas de retribuição com relação ao projeto. O desajuste entre as expectativas dos produtores e as realizações efetivas dos projetos gera conflitos e resistência aos processos de normalização provocados pelo processo de imposição desses programas de desenvolvimento. Identifiquei três lógicas de engajamento diferenciadas. Na primeira que denominei apropriacionista, ocorre um envolvimento intenso dos produtores a essas propostas apresentadas e a resistência se dá na forma de disputa com os técnicos pelo controle do processo de implementação do Programa. A segunda inserção dos produtores se dá em uma lógica de engajamento assistencialista e a resistência se apresenta como atomização das formas de participação. O terceiro caso paradigmático consiste no de uma comunidade que não adere ao Programa. A construção dessas lógicas de adesão permitem explicar a complexidade da implementação de programas desse tipo e as relações de poder subjacentes. Constatei que no espaço de possibilidades que se abrem para as comunidades rurais empobrecidas na Argentina consolidam-se novos processos de dominação, como passagem de uma pobreza integrada a um processo de pobreza dependente, de políticas publicas especiais.

Aplicação de imagens Aster para estudos territoriais no nordeste do estado do Rio Grande do Sul

É apresentada uma nova abordagem na técnica e na avaliação de área de florestas nativas, exóticas e uso do solo do Nordeste do Estado do Rio Grande do Sul, em particular no entorno da escarpa que divide os Campos de Cima da Serra e a Planície Costeira, caracterizada por apresentar espécies de Pinus elliotti Engelm var elliottiii e Pinus taeda L., Eucalyptus sp. e Araucaria angustifólia (Bert.) O. Ktze. e áreas de campo nativo. Nas últimas décadas tem se verificado avanço das florestas exóticas, principalmente de florestas de pinus, sobre as áreas de campo e florestas nativas, surgindo como uma das maiores fontes de exploração econômica da região. Parcialmente em razão disto, as florestas de araucária distribuem-se de forma pouco homogênea, em decorrência de décadas de desmatamento. As técnicas de classificação em Sensoriamento Remoto, usando imagens de Landsat, mostraram que é possível separar tipos diferentes de vegetação, e no exemplo das florestas na região estudada, tanto nativas como exóticas. As limitações em definições espacial e espectral até meados da década de 1990 motivaram o desenvolvimento de uma nova geração de satélites e sensores, incluindo o sensor ASTER a bordo do satélite Terra. Este sensor apresenta 14 bandas espectrais com diferentes resoluções espaciais, sendo usado nesta pesquisa suas 9 bandas correspondentes ao espectro de radiância refletida. O foco central deste trabalho está na utilização de sensoriamento remoto e geoprocessamento para determinação de áreas de vegetação e uso do solo no extremo leste dos Campos de Cima da Serra, através de imagens orbitais do sensor ASTER. Utilizando métodos de classificação supervisionada foi possível caracterizar a área, separar as espécies vegetais entre si, além de quantificá-las O grupo das 9 bandas foram distribuídas em três grupos: com 3 bandas de resolução espacial de 15 metros no visível e infravermelho próximo (VNIR); com 6 bandas com resolução espacial de 30 metros no infravermelho médio (SWIR); e com 9 bandas com resolução espacial de 30 metros cobrindo toda a faixa de resolução espectral do espectro de radiância refletida do sensor ASTER (VNIR+SWIR). A metodologia incluiu processamento de imagem e classificação com o algoritmo de máxima verossimilhança gaussiana. Os resultados são: 1) é possível identificar tipos diferentes de manejo e idade nas florestas de Pinus elliottii (jovens, adulto, velho e manejado diferenciado); 2) a exatidão geral foi de 90,89% no subsistema VNIR, e o índice do Kappa foi de 0,81 em ambos subsistemas VNIR e (VNIR+SWIR); 3) a classificação apresentando o mapa do uso do solo mostra que, de forma geral, os dados de VNIR têm os melhores resultados, incluindo o detalhamento para pequenas áreas da superfície terrestre. O grupo (VNIR+SWIR) têm potencial superior para a determinação das classes araucária , eucalipto e pinus com manejo / pinus adulto , enquanto que o grupo SWIR não apresenta não vence em nenhuma classe; 4) com relação aos dados de exatidão geral resultantes do subsistema VNIR, a área estimada de pinus é 22,28% da área estudada (cena de 1543,63 quilômetros quadrados totais), e de araucária é 10,10%, revelando que aquela espécie exótica está mudando rapidamente a paisagem da região. Na comparação destes resultados com outros estudos na região pesquisada, verifica-se que a utilização de dados ASTER implica em um aumento na acurácia da classificação de vegetação em geral e que este sensor é altamente apropriado para estudos ambientais, devido a suas excelentes características espaciais e espectrais.

Definição inicial de um sistema de provas rotulado para lógicas do conhecimento

Lógicas modais têm sido amplamente utilizadas em Ciência da Computação e inteligência artificial. Além disso, aplicações de lógicas modais na representação do conhecimento em sistemas distribuídos e, mais recentemente, em sistemas multiagentes, têm apresentado resultados promissores. No entanto, outros sistemas de prova para estas lógicas que não os sistemas axiomáticos à la Hilbert são raros na literatura. Este trabalho tem como objetivo principal preencher esta lacuna existente na literatura, ao propor um sistema de prova por dedução natural rotulada para lógicas do conhecimento.

Aprendizado relacional por um modelo neural

As técnicas que formam o campo da Descoberta de Conhecimento em Bases de Dados (DCBD) surgiram devido à necessidade de se tratar grandes volumes de dados. O processo completo de DCBD envolve um elevado grau de subjetividade e de trabalho não totalmente automatizado. Podemos dizer que a fase mais automatizada é a de Mineração de Dados (MD). Uma importante técnica para extração de conhecimentosa partir de dados é a Programação Lógica Indutiva (PLI), que se aplica a tarefas de classificação, induzindo conhecimento na forma da lógica de primeira ordem. A PLI tem demonstrado as vantagens de seu aparato de aprendizado em relação a outras abordagens, como por exemplo, aquelas baseadas em aprendizado proposicional Os seus algorítmos de aprendizado apresentam alta expressividade, porém sofrem com a grande complexidade de seus processos, principalmente o teste de corbertura das variáveis. Por outro lado, as Redes Neurais Artificiais (RNs) introduzem um ótimo desempenho devido à sua natureza paralela. às RNs é que geralmente são "caixas pretas", o que torna difícil a obtenção de um interpretação razoável da estrutura geral da rede na forma de construções lógicas de fácil compreensão Várias abordagens híbridas simbólico-conexionistas (por exemplo, o MNC MAC 890 , KBANN SHA 94 , TOW 94 e o sistema INSS OSO 98 têm sido apresentadas para lidar com este problema, permitindo o aprendizado de conhecimento simbólico através d euma RN. Entretanto, estas abordagens ainda lidam com representações atributo-valor. Neste trabalho é apresentado um modelo que combina a expressividade obtida pela PLI com o desempenho de uma rede neural: A FOLONET (First Order Neural Network).

Sistema de produção sincronizado : uma aplicação em processos produtivos de propriedade contínuos segundo a teoria das restrições

Este trabalho de conclusão investiga o efeito da geração de estoques intermediários nos indicadores principais empregados na Teoria das Restrições (Ganho, Despesa Operacional e Inventário) em uma unidade industrial de processo produtivo de Propriedade contínuo, que emprega embalagens, matérias-primas obtidas em larga escala e cadeias logísticas de longo curso. Este tipo de indústria produz bens de consumo imediato, com pouca variabilidade, de modo “empurrado”. A principal conseqüência é a perda do sincronismo na cadeia logística, resultando em uma grande quantidade de estoques intermediários e custos crescentes, relacionados principalmente ao custo de manutenção destes estoques. Através dos cinco passos de focalização e das ferramentas lógicas da Teoria das Restrições, propõe-se uma alternativa gerencial, que inclui o algoritmo Tambor-Pulmão-Corda e insere a organização em um processo de melhoria contínua, cujos impactos são avaliados por simulação computacional. Através de técnicas estatísticas e software apropriados, constrói-se um modelo de simulação computacional baseado em dados reais de uma planta produtora de cimento. A partir deste modelo, diferentes cenários são testados, descobrindo-se a condição ótima. Chega-se a uma conclusão, considerando a mudança na política de geração de estoques intermediários e seus impactos na redução de custos e riscos.

Formação das estruturas de coordenação nas cadeias de suprimentos : estudos de caso em cinco empresas gaúchas

As profundas transformações ocorridas no mundo, em especial a partir das últimas três décadas do século XX, têm tornado o processo de inovação mais incerto e custoso, levando as empresas a repensarem suas formas de organização, a serem mais criativas e flexíveis. A tese apresentada é a de que as empresas passaram a adotar estratégias mais colaborativas, evoluindo de uma forma organizacional individual para uma mais cooperativa, qualificando suas relações com clientes e, principalmente, com seus fornecedores. Entretanto, essa nova forma de relacionamento entre as empresas, fundamentada na interdependência dos agentes que compõem uma cadeia de suprimentos, implica a formação de uma estrutura de coordenação como alternativa ao mercado e à hierarquia, a estrutura de coordenação da cadeia de suprimentos. O objetivo principal desta tese é compreender o processo de formação destas estruturas de coordenação e definir suas principais características. Cinco estudos de caso foram realizados junto a diferentes cadeias de suprimentos de empresas gaúchas, sendo selecionadas empresas que adotam ações colaborativas, pressuposto assumido como fundamental para a existência destas estruturas de coordenação. As evidências da pesquisa permitem concluir que as cadeias, embora atuando com produtos diferentes, apresentam lógicas de funcionamento e características muito semelhantes, pois todas elas acabam construindo um patamar mínimo de condições que as tornam semelhantes, as denominadas características básicas da coordenação da cadeia de suprimentos, as quais são a própria essência desta estrutura de coordenação.

Inter(ven)ções em campo de devastação : um problema e três estudos clínicos no pátio do Hospital Psiquiátrico São Pedro

Esta dissertação aborda a clínica da psicose numa articulação argumentativa entre a intervenção clínica feita no pátio do Hospital Psiquiátrico São Pedro e o problema de pesquisa construído pelo autor. Tal problema questiona se a prática que o autor experienciou no pátio - a qual chama de clínica da cena work in progress - pode nos ajudar na ampliação de argumentos em relação às práticas e ao próprio conceito de clínica da psicose. Por um período de nove meses, o autor teve uma convivência intensa junto aos moradores que circulavam pelo pátio do hospital, detendo-se em fazer um estudo detalhado de três moradores e dos seus locais no pátio. Encontram-se neste trabalho, além de relatos, descrições detalhadas e desenhos digitalizados dos locais - os quais ele chamou de cenários - por onde esses três moradores se deslocavam. Através desses procedimentos e de reflexões teóricas, tem por objetivo mostrar que o plano teórico da construção do problema da pesquisa e o plano prático da intervenção no pátio do hospital podem ser produzidos de forma sistêmica, ou seja, demonstrar que um não é causa do outro, uma vez que ambos existem em simultaneidade. O texto se desenha, na sua totalidade, por dois conceitos cunhados por Gilles Deleuze: o conceito de problema e o conceito de rizoma. No mesmo plano em que o autor trata de construir o problema da prática clínica, descrevendo as condições históricas, metodológicas e teóricas que cercam tal prática e oferecendo possibilidades de respostas ao problema, as idéias de problematização e resolução são por ele alocadas de forma não linear por todo o texto, ou seja, sob a forma de um rizoma. O restante dos conceitos presentes, tais como genealogia, linhas históricas, sistema vivo, work in progress, in(ter)venção, pesquisa-intervenção, duração, etc, vão ajudar na ilustração do desenho textual e as respectivas conclusões. Conclusões que também se encaminham em dois eixos, enfatizando que a clínica da psicose (1) é uma clínica institucional na medida em que atenta aos processos de resistência oblíqua, presentes no comportamento dos pacientes, em relação a qualquer regime disciplinar e que (2) deve atentar para o fato de que a ocupação dos espaços territoriais, pelo psicótico, tem uma relação estreita com a construção dos territórios existenciais.

O "social" como objeto da luta política : uma análise da assembléia legislativa gaúcha

Este trabalho focaliza o processo de formulação e enunciação de “problemas” políticos “sociais”, tendo como contexto de análise e coleta de material empírico a Assembléia Legislativa do Rio Grande do Sul. O objetivo é elucidar os interesses, relações e práticas sociais mobilizadas pelos deputados com vistas a intervir sobre “problemas” deste tipo. Para tanto, são abordadas as origens sociais, as formas de inserção política, a mobilização e gestão de vínculos com o que designam como “bases eleitorais” e as condições sociais e institucionais da atividade parlamentar. O exame destes aspectos busca demonstrar que a atuação dos deputados com relação ao “social” não é algo que possa ser compreendido apenas com base nas divisões políticas mais institucionalizadas, como os partidos e as respectivas coalizões, envolvendo diferentes lógicas e recursos sociais que interagem, também de diferentes maneiras, com o que se define como “política”.

Análise dos requisitos e planos de produção gerados por um sistema de planejamento fino de produção

O tema central deste trabalho é o Planejamento, Programação e Controle da Produção na indústria, com o auxílio de uma ferramenta computacional, do tipo Finite Capacity Schedule (FCS). No Brasil, essa categoria de software é denominada, genericamente, por Sistemas de Planejamento Fino de Produção ou de Capacidade Finita. Alinhado com as tendências mundiais e a vantagem de menores investimentos em hardware, o sistema escolhido é compatível com a operação em microcomputadores. Na primeira parte do trabalho, o assunto é tratado de forma geral, quando se pretende caraterizar amplamente o problema da programação da produção, as dificuldades na sua execução, as soluções existentes e suas limitações. A segunda parte do trabalho discute, detalhadamente, os métodos tradicionais de planejamento de materiais e capacidade. A revisão bibliográfica se encerra com uma apresentação dos sistemas FCS e sua classificação. A terceira parte trata da descrição, ensaios e avaliação da programação gerada por um software de Planejamento Fino de Produção determinístico, baseado na lógica de simulação computacional com regras de decisão. Embora a avaliação esteja limitada ao software utilizado, a análise ainda vai procurar identificar as diferenças fundamentais entre os resultados da programação de Capacidade Finita e a convencional, representada pelos sistemas da categoria MRPII ou Planejamento dos Recursos de Manufatura (Manufacturing Resources Planning). As lógicas dos sistemas MRPII e de Capacidade Finita são discutidas na revisão bibliográfica, enquanto que, para o software empregado no trabalho, ainda há um capítulo específico tratando da sua descrição, fundamentos, software house, hardware necessário e outras informações relevantes. Os ensaios serão implementados com o objetivo de analisar o sistema FCS como ferramenta de planejamento e de programação de produção. No caso, uma fração de um processo produtivo será modelada no sistema, através do qual serão gerados planos de produção que serão confrontados com a programação usual e com o comportamento real dos recursos envolvidos. Os ensaios serão realizados numa das unidades pertencentes a uma empresa transnacional de grande porte, que atua no ramo de pneumáticos. Por último, são apresentadas as conclusões gerais, recomendações na aplicação do sistema estudado e sugestões para futuras pesquisas relacionadas com o assunto.

Aplicação do modelo de fluxo de caixa para definição do valor de mercado da empresa Linck Agroindustrial Ltda.

A globalização eliminou, ao longo dos tempos, as fronteiras territoriais para os capitais financeiros e intelectuais e, conseqüentemente, tem exigido dos governos, empresas, administradores e investidores uma enorme variedade de informações para nortear investimentos potencialmente eficientes e geradores de riquezas capazes de atrair e mobilizar esses recursos. Empreendedores modernos, coadunados com essa nova realidade mundial, têm buscado nas teorias da administração financeira elementos importantes na análise de seus planos estratégicos e dos projetos de investimentos, buscando minimizar os riscos e maximizar os recursos financeiros disponíveis e suas estruturas físicas e materiais, além de conhecer e prever os desdobramentos de suas decisões sobre a perpetuidade de suas empresas. Esses novos visionários agregam valor econômico à empresa e aos investidores, pois suas decisões empresariais e de investimentos são tabuladas de forma a projetar seus empreendimentos no longo prazo, afastando, desde já, a insolvência das empresas como suporte sócio-econômico da dinâmica das nações. Os variados modelos desenvolvidos nos campos acadêmicos para as áreas de administração financeira, quer por desconhecimento, descaso dos administradores ou pela complexidade de alguns destes, ainda não foram disseminados para um grande contingente de empresas ao redor do planeta. Certos modelos possuem especificidades restritas ou se prestam a situações especiais. Alguns empreendedores ainda se utilizam dos resultados extraídos da contabilidade tradicional na definição de valor econômico de seus investimentos, de uma maneira geral, dando ênfase aos dados financeiros tradicionais originados na contabilidade Para corrigir está deficiência estrutural, os acadêmicos desenvolveram modelos que, acompanhados dos dados relatados pela contabilidade, da forma como se apresenta na atualidade, complementam e dão suporte aos envolvidos, objetivando a mensuração do valor econômico de seus empreendimentos e a eficiência de suas decisões. Dentre esses variados modelos, pode-se destacar o modelo de fluxo de caixa descontado (DFC), considerado uma ferramenta eficiente para a avaliação de investimentos ao capturar a agregação de valor do projeto no longo prazo e os riscos inseridos no mesmo, muitas vezes negligenciado pelos administradores. O modelo em questão, e os outros mais, serão, sumariamente, conceituados ao longo do presente estudo, buscando identificar as potencialidades de cada um e em que tipo de avaliação pode, ou deve, ser aplicado. Conclusivamente, serão aplicadas todas as premissas abstraídas do modelo DFC, recomendado por COPELAND, KOLLER e MURRIN (2002), ajustado às características da empresa, para conhecer o valor de mercado da Linck Agroindustrial Ltda.

Hyper-Automaton: avaliação interativa de alunos em cursos na WEB baseado em autômatos finitos

O objetivo desta dissertação é a elaboração de uma técnica da aplicação do formalismo de Autômatos Finitos com Saída (Máquina de Mealy e Máquina de Moore) como um modelo estrutural para a organização de hiperdocumentos instrucionais, em destacar especial, Avaliação e Exercício. Esse objetivo é motivado pela organização e agilização do processo de avaliação proporcionado ao professor e ao aluno. Existem diferentes técnicas de ensino utilizadas na Internet, algumas dessas continuam sendo projetadas com o uso de metodologias tradicionais de desenvolvimento, outras têm a capacidade de modelar de forma integrada e consistente alguns aspectos necessários para uma aplicação WEB. Para alcançar o objetivo proposto, foram realizadas pesquisas nas várias áreas abrangidas pelo tema em evidência, tanto relativo ao processo tradicional (aplicação de prova utilizando metodologia tradicional), como o desenvolvimento de software mediado por computador e uso da Internet em si. A modelagem de desenvolvimento para Internet deve integrar características de técnicas de projeto de sistemas de hipermídia devido à natureza hipertextual da Internet. O uso de hiperdocumento como autômatos com saída está na forma básica de representação de hipertexto, em que cada fragmento de informação é associado a um nodo ou a um link (estado/transições) do grafo. Sendo assim, os arcos direcionados representam relacionamentos entre os nodos ou links, ou seja, uma passagem do nodo origem para o nodo destino. As n-uplas dos autômatos apresentam uma correspondência as estruturas de hiperdocumentos na WEB, seu estado/transição inicial corresponde a sua primeira página e suas transições definidas na função programa, funcionam como ligações lógicas, quando selecionadas durante a navegação do hipertexto. Entretanto, faz-se necessário um levantamento dos modelos de hipertextos e das ferramentas de implementação disponíveis para a Internet, a fim de que seja capaz de suportar as peculiaridades do ambiente. Tudo isso deve ser integrado preferencialmente em um paradigma de desenvolvimento amplamente aceito, para que os projetistas não tenham muitas dificuldades em assimilar os conceitos propostos. A proposta apresentada nesta dissertação, batizada de Hyper-Automaton (hipertexto e autômato), consiste na integração de um Curso na WEB, utilizando formalismo de Autômatos Finitos com Saída para a modelagem dos conceitos necessários e definição das fases adequadas para completar a especificação de Sistema Exercício e Avaliação, bem como a especificação da Geração Automática dos Exercícios e Avaliações baseadas em autômatos para a WEB. Os modelos criados abrangem conceitos de Máquina de Mealy, Máquina de Moore e Aplicações de Hiperdocumentos e Ferramentas de Programação para Internet, os mesmos já testados em caso real. Os parâmetros apurados, nos testes, serviram a uma seqüência de etapas importantes para modelar e complementar a especificação do sistema projetado. Com os parâmetros e etapas de modelagem, a metodologia Hyper-Automaton consegue integrar, de forma consistente, as vantagens de várias técnicas específicas de modelagem de documentos e sistemas de hipermídia. Essas vantagens, aliadas ao suporte às ferramentas de desenvolvimento para Internet, garantem que a metodologia fique adequada para a modelagem de Sistemas com aplicação de métodos de autômatos para exercícios e avaliação na WEB.

Estimativa de capacitâncias e consumo de potência em circuitos combinacionais CMOS no nível lógico

Esta tese propõe o desenvolvimento de um método de estimativa de capacitâncias e de potência consumida nos circuitos combinacionais CMOS, no nível de portas lógicas. O objetivo do método é fazer uma previsão do consumo de potência do circuito na fase de projeto lógico, o que permitirá a aplicação de técnicas de redução de potência ou até alteração do projeto antes da geração do seu leiaute. A potência dinâmica consumida por circuitos CMOS depende dos seguintes parâmetros: tensão de alimentação, freqüência de operação, capacitâncias parasitas e atividades de comutação em cada nodo do circuito. A análise desenvolvida na Tese, propõe que a potência seja dividida em duas componentes. A primeira componente está relacionada ao consumo de potência devido às capacitâncias intrínsecas dos transistores, que por sua vez estão relacionadas às dimensões dos transistores. Estas capacitâncias intrínsecas são concentradas nos nodos externos das portas e manifestam-se em função das combinações dos vetores de entrada. A segunda componente está relacionada às interconexões entre as células do circuito. Para esta etapa utiliza-se a estimativa do comprimento médio das interconexões e as dimensões tecnológicas para estimar o consumo de potência. Este comprimento médio é estimado em função do número de transistores e fanout das várias redes do circuito. Na análise que trata das capacitâncias intrínsecas dos transistores os erros encontrados na estimativa da potência dissipada estão no máximo em torno de 11% quando comparados ao SPICE. Já na estimativa das interconexões a comparação feita entre capacitâncias de interconexões estimadas no nível lógico e capacitâncias de interconexões extraídas do leiaute apresentou erros menores que 10%.

Estudo das relações corporativas entre bancos de atacado e grandes empresas de varejo, no âmbito do Rio Grande do Sul

A evolução das estratégias de marketing mostra que o principal esforço competitivo deve focar na manutenção dos clientes e no desenvolvimento dos relacionamentos já existentes, para aumento do valor da empresa, com menores riscos e maiores oportunidades para aumentar a lucratividade, de diversas maneiras. Contudo, os relacionamentos significam coisas diferentes, para clientes diferentes, sendo que o estudo teórico e prático do seu comportamento pode indicar mudanças essenciais nos processos de marketing do fornecedor, reestruturando-os em torno do cliente e com vantagens para ambos. Da percepção de possíveis lacunas entre as estratégias e ações de marketing dos bancos de atacado e aquilo que as grandes empresas realmente desejam, para o efetivo estabelecimento de relacionamentos duradouros e valiosos, surgiu este estudo exploratório, o qual buscou revisar a literatura de marketing e realizar uma pesquisa qualitativa, para identificação e discussão dos principais elementos teóricos e práticos, relativos ao processo de formação e manutenção de relacionamentos de longo prazo, entre bancos de atacado e sete grandes empresas de varejo, no âmbito geográfico do Estado do Rio Grande do Sul. Os resultados e conclusões do estudo indicam que as relações existentes entre bancos de atacado e essas sete grandes empresas de varejo estão evoluindo, na direção da busca e do fortalecimento de relacionamentos de longo prazo. As expectativas, preferências e práticas dessas empresas confirmam a existência de espaços, para que os bancos aprimorem suas estratégias e práticas de marketing, para melhor construir ou consolidar os relacionamentos. Embora não generalizáveis, os resultados e conclusões deste estudo exploratório podem ser complementares aos de outros já realizados, com outros enfoques ou a respeito de outras realidades, servindo de estímulo ou ponto de partida para a realização de novas pesquisas, que ajudem a melhor entender os componentes, mecanismo e chaves lógicas da construção e manutenção de relacionamentos corporativos, em geral, ou de suas muitas particularidades, de acordo com cada contexto e tipo de indústria, fornecedor e cliente envolvidos.

Um Modelo formal e executável de agentes BDI

Modelos BDI (ou seja, modelos Beliefs-Desires-Intentions models) de agentes têm sido utilizados já há algum tempo. O objetivo destes modelos é permitir a caracterização de agentes utilizando noções antropomórficas, tais como estados mentais e ações. Usualmente, estas noções e suas propriedades são formalmente definidas utilizandos formalismos lógicos que permitem aos teóricos analisar, especificar e verificar agentes racionais. No entanto, apesar de diversos sistemas já terem sido desenvolvidos baseados nestes modelos, é geralmente aceito que existe uma distância significativa entre esta lógicas BDI poderosas e sistemas reais. Este trabalho defende que a principal razão para a existência desta distância é que os formalismos lógicos utilizados para definir os modelos de agentes não possuem uma semântica operacional que os suporte. Por “semântica operacional” entende-se tanto procedimentos de prova que sejam corretos e completos em relação à semântica da lógica, bem como mecanismos que realizem os diferentes tipos de raciocínio necessários para se modelar agentes. Há, pelo menos, duas abordagens que podem ser utilizadas para superar esta limitação dos modelos BDI. Uma é estender as lógicas BDI existentes com a semântica operacional apropriada de maneira que as teorias de agentes se tornem computacionais. Isto pode ser alcançado através da definição daqueles procedimentos de prova para as lógicas usadas na definição dos estados mentais. A outra abordagem é definir os modelos BDI utilizando formalismos lógicos apropriados que sejam, ao mesmo tempo, suficientemente poderosos para representar estados mentais e que possuam procedimentos operacionais que permitam a utilizaçao da lógica como um formalismo para representação do conhecimento, ao se construir os agentes. Esta é a abordagem seguida neste trabalho. Assim, o propósito deste trabalho é apresentar um modelo BDI que, além de ser um modelo formal de agente, seja também adequado para ser utilizado para implementar agentes. Ao invés de definir um novo formalismo lógico, ou de estender um formalismo existente com uma semântica operacional, define-se as noções de crenças, desejos e intenções utilizando um formalismo lógico que seja, ao mesmo tempo, formalmente bem-definido e computacional. O formalismo escolhido é a Programação em Lógica Estendida com Negação Explícita (ELP) com a semântica dada pelaWFSX (Well-Founded Semantics with Explicit Negation - Semântica Bem-Fundada com Negação Explícita). ELP com a WFSX (referida apenas por ELP daqui para frente) estende programas em lógica ditos normais com uma segunda negação, a negação explícita1. Esta extensão permite que informação negativa seja explicitamente representada (como uma crença que uma propriedade P não se verifica, que uma intenção I não deva se verificar) e aumenta a expressividade da linguagem. No entanto, quando se introduz informação negativa, pode ser necessário ter que se lidar com programas contraditórios. A ELP, além de fornecer os procedimentos de prova necessários para as teorias expressas na sua linguagem, também fornece um mecanismo para determinar como alterar minimamente o programa em lógica de forma a remover as possíveis contradições. O modelo aqui proposto se beneficia destas características fornecidas pelo formalismo lógico. Como é usual neste tipo de contexto, este trabalho foca na definição formal dos estados mentais em como o agente se comporta, dados tais estados mentais. Mas, constrastando com as abordagens até hoje utilizadas, o modelo apresentanto não é apenas uma especificação de agente, mas pode tanto ser executado de forma a verificar o comportamento de um agente real, como ser utilizado como mecanismo de raciocínio pelo agente durante sua execução. Para construir este modelo, parte-se da análise tradicional realizada na psicologia de senso comum, onde além de crenças e desejos, intenções também é considerada como um estado mental fundamental. Assim, inicialmente define-se estes três estados mentais e as relações estáticas entre eles, notadamente restrições sobre a consistência entre estes estados mentais. Em seguida, parte-se para a definição de aspectos dinâmicos dos estados mentais, especificamente como um agente escolhe estas intenções, e quando e como ele revisa estas intenções. Em resumo, o modelo resultante possui duas características fundamentais:(1) ele pode ser usado como um ambiente para a especificação de agentes, onde é possível definir formalmente agentes utilizando estados mentais, definir formalmente propriedades para os agentes e verificar se estas propriedades são satifeitas pelos agentes; e (2) também como ambientes para implementar agentes.