Sistema informatizado para elaboração das seções transversais solicitadas durante a execução de uma obra rodoviária

Este trabalho teve o intuito de desenvolver um sistema informatizado, para elaborar os desenhos de seções transversais, solicitados durante a execução de obras rodoviárias. Para atingir o objetivo, durante a análise, o desenvolvimento e os testes do sistema, buscou-se uma constante troca de idéias com os profissionais que atuam em terraplenagem. Com isso, ao final do trabalho, os usuários já estavam familiarizados com o sistema ,dispondo mais uma ferramenta de trabalho para auxiliá-los nas medições.

Uma Proposta de arquitetura para editores diagramáticos com funcionalidade de execução

Editores diagramáticos possuem aplicabilidade em diferentes áreas da computação, dentre elas ferramentas CASE, editores gráficos, CAD para circuitos eletrônicos, etc. Uma subclasse desse tipo de editores adiciona a funcionalidade de execução aos diagramas manipulados, permitindo ao usuário executar um diagrama através de técnicas de animação. Esta característica, por sua vez, acarreta na inserção de novos problemas para o projetista de software, sendo o principal deles o reuso independente das funcionalidades de edição e de execução de editores construídos. Com vistas a minimizar este problema este trabalho apresenta uma arquitetura que combina uma estrutura de componentes interconectáveis descrita por meio de BML com um mecanismo de interpretação de scripts como uma alternativa para construção de editores de diagramas com funcionalidade de execução.

Compósitos de polipropileno com fibra de vidro utilizando viniltrietoxisilano como agente de adesão

Compósitos de polipropileno (PP) com cargas inorgânicas tem sido cada vez mais aplicados na obtenção de peças automotivas, eletrodomésticos e outros. O crescimento da aplicação destes materiais foi possível com o advento da tecnologia de adesão que consiste no uso de um agente que promove a interação físico-química na interface carga/matriz. Neste trabalho, o viniltrietoxisilano (VTES) foi empregado como agente de adesão em compósitos de PP com fibras de vidro curtas. A reação do VTES com PP por via radicalar foi estudada em câmara de mistura e por extrusão reativa, comparando-se os dois processos. O VTES reage com o PP na ausência de iniciador de reação radicalar em processos com alto cisalhamento. A reação modifica o comportamento reológico do polímero, sem afetar significativamente as propriedades térmicas e mecânicas. O teor de VTES tem influência sobre o peso molecular de produtos sem peróxido. Compósitos de PP contendo 20% de fibras de vidro foram obtidos por extrusão reativa e câmara de mistura, analisando-se o efeito de VTES sobre as propriedades mecânicas, reológicas e a morfologia dos produtos. Um estudo das condições de processamento por extrusão reativa é apresentado, comparando dois métodos a) pré-impregnação do polímero com os reagentes e b) adição de uma solução dos reagentes num estágio avançado da extrusora. A quebra diferenciada das fibras durante o processamento por extrusão pode ser explicada através comportamento reológico observado pelas medidas de torque na câmara de mistura O VTES age no sentido de promover a adesão na interface matriz / fibra, o que pode ser verificado pela morfologia do material. A degradação do material é influenciada pela exposição ao ar, pelo tempo de residência e pela temperatura na extrusão. O módulo dos compósitos contendo VTES é dependente do comprimento das fibras. A tensão de ruptura aumenta em presença de VTES.

Polipropileno graftizado com metacrilato glicidila como agente compatibilizante em blendas de PP e nylon 6

Neste trabalho foi feito uma avaliação do polipropileno funcionalizado com metacrilato de glicidila (PP-GMA) como agente compatibilizante em blendas reativas de polipropileno e nylon 6. As reações de funcionalização do polipropileno (PP) com metacrilato de glicidila (GMA) foram feitas em estado fundido e os polímeros modificados (PP-GMA) foram utilizados em misturas de PP com nylon 6, para a avaliação das propriedades mecânicas, térmicas e morfológicas da blenda. As blendas foram preparadas variando a concentração de nylon 6 e também do agente compatibilizante. Após o estudo da ação da concentração de nylon 6 e do agente compatibilizante nas blendas, foi verificado o comportamento do PP-GMA com diferentes teores de incorporação molar do GMA no polipropileno. Utilizou-se dois tipos de nylon 6, um deles com maior número de terminais carboxílicos, a fim de avaliar o efeito desses grupos na compatibilidade do sistema. As blendas obtidas foram caracterizadas por calorimetria diferencial de varredura, microscopia eletrônica de varredura e análise das propriedades mecânicas e dinâmico-mecânicas. Os resultados mostraram que a adição do PP-GMA provoca alterações na morfologia das blendas, apresentando uma melhor dispersão e redução no tamanho das partículas dispersas. Além disso, há um aumento nas propriedades mecânicas comparado com as propriedades das blendas não compatibilizadas, que pode ser atribuído a melhor adesão entre as fases para ambos os nylons utilizados neste trabalho. Foi feito estudo comparativo entre as blendas de PP/PP-GMA/Ny6 e PP/PP-MA/Ny6 na proporção de 63/7/30. O efeito do tipo de agente compatibilizante foi caracterizado por calorimetria diferencial de varredura, microscopia eletrônica de varredura e análise das propriedades mecânicas e dinâmico-mecânicas. Os resultados indicaram que o polipropileno modificado com anidrido maleico (PP-MA) mostrou um melhor efeito compatibilizante nesses sistemas. Ou seja, a interação dos terminais amino do nylon foram mais suscetíveis a ação do grupamento anidrido no PP-MA, do que o grupamento epóxido no PP-GMA.

Evidências de ciclo político na economia brasileira : um teste para a execução orçamentária dos governos estaduais - 1983/2000

A preocupação com os ciclos econômicos induzidos por eleições não é meramente uma curiosidade científica. Já se pode dizer que há consenso na literatura que um comportamento ciclicamente endógeno da política econômica contribui para a volatilidade nos países latinoamericanos, de modo que isto tem efeitos significativamente prejudiciais sobre o desenvolvimento destes países. Em particular o ciclo na política fiscal, não estando associado à tentativa de compensar o ciclo econômico, mas sincronizado com o calendário eleitoral leva a uma alocação intertemporal ineficiente dos recursos. Pela importância do ciclo e pela investigação empírica da teoria no país, ao longo deste trabalho, buscou-se avançar na agenda de pesquisa sobre ciclo político no Brasil. Aqui se procurou cobrir a área referente aos efeitos de políticas oportunistas de caráter eleitoral sobre a execução orçamentária nos estados brasileiros. Investigou-se a existência de ciclos eleitorais nas variáveis orçamentárias, visando fornecer uma idéia minimamente clara do comportamento destas ao longo dos mandatos e identificar como algumas características políticoeleitorais dos estados poderiam afetar as receitas e despesas públicas. Para tanto se utilizou um modelo de painel dinâmico, que permitiu que se analisasse uma amostra na sua dimensão temporal capaz de abranger o período 1983-2000. Os resultados da estimação acabaram confirmando de maneira contundente as suposições teóricas, e mesmo do senso comum, que se tinha em relação ao ciclo político nas variáveis orçamentárias. Para a maioria absoluta das variáveis analisadas não se pode negar a existência de um efeito do período eleitoral sobre o seu comportamento, sendo que para aquelas associadas à despesa pública e ao resultado orçamentário, o comportamento no ano eleitoral em particular, confirmou o sugerido pela teoria e pelos resultados de outros trabalhos aplicados a países em desenvolvimento, desenvolvidos e mesmo para Brasil.

Análise de impacto e risco de lesões no segmento superior associadas a execução da técnica de gyaku tsuki sobre makiwara por praticantes de karate do estilo shotokan

Este trabalho consiste em um estudo para avaliar e quantificar o pico do impacto e força gerada no segmento superior em atletas da arte marcial de origem japonesa Karate Do, oriundos da seleção Gaúcha adulta e juvenil da modalidade do ano de 2001, durante a execução da técnica de gyaku tsuki sobre makiwara. Os valores dos picos de aceleração foram obtidos na região do punho e escápula utilizando-se acelerômetros piezoelétricos uniaxiais fixos nestas regiões, e os valores da força gerada durante o choque, obtidos através da instrumentação do makiwara com extensômetros. As medições no segmento superior foram realizadas no eixo longitudinal do mesmo de acordo com as recomendações das normas ISO 2631 (1974 e 1997) e ISO 5349 (1986). Um dos acelerômetros foi fixado na porção distal do rádio e o outro acima da espinha da escápula. A disposição dos acelerômetros têm por objetivo captar o nível de vibração que efetivamente chega no segmento superior pela mão e quanto da energia vibratória é absorvida pelo mesmo. Os dois sensores foram colocados superficialmente sobre a pele, diretamente acima das estruturas anatômicas acima descritas, fixos com fita adesiva. A aquisição dos dados foi realizada com uma placa conversora analógica digital, e programa de aquisição de dados em três canais desenvolvido na plataforma de programação visual HPVee. Os ensaios foram realizados simulando a maneira clássica de execução da técnica de gyaku tsuki em makiwara. O trabalho apresenta ainda um estudo sistemático de lesões associadas ao uso do makiwara e estatísticas referentes a praticantes avançados do estado do Rio Grande do Sul. Também apresenta algumas considerações anatômicas e Mecânicas da técnica estudada, para apresentar-se como material de auxílio à estudiosos da Biomecânica dos esportes e Cinesiologia, instrutores e treinadores em geral para otimizar e aperfeiçoar, ou mesmo aumentar a compreensão da prática esportiva do Karate Do. Também é apresentado um modelo biomecânico de quatro graus de liberdade usado para análise de domínio de freqüência e possível simulação futura.

Cartografia das áreas de risco no Rio Rolante-RS e estratégias de recomposição da mata ciliar

Os motivos provocadores deste trabalho se debruçam sobre uma das inúmeras variantes da relação da sociedade com a natureza, a qual ocorre com freqüência como se fosse um confronto. Pretende-se desenvolver análises para demonstrar o grau de redução da mata ciliar, de evidenciar a sua relação e importância quanto aos processos morfogenéticos nas margens dos rios e de avaliar que a sua recomposição é uma alternativa viável e de grande importância, como agente capaz de diminuir a intensidade desses processos. A identificação e localização dos pontos de interesse do estudo são feitas a partir da cartografia das áreas de risco mais suscetíveis a esses processos. Além disso, esses pontos no rio são selecionados com a intenção de constituírem subsídios para possíveis projetos de recomposição, atrelados a projetos que incorporem o aspecto educativo. A área deste estudo foi analisada com o uso da carta topográfica na escala de 1:50.000, levantamento fotográfico, croquis, relatos e vídeos. Também foram realizadas visitas, em diversas ocasiões, quando então se procede a identificação das áreas de risco e dos locais onde devem ser implementadas ações de proteção das margens através do plantio de árvores, com a finalidade de restabelecer a vegetação. Isto é, a quantidade a ser introduzida naquele local, como também as espécies necessárias para a recomposição da mata ciliar. A partir destes levantamentos identifica-se 30 espécies, utilizadas na recomposição, a opção de manejo a ser empregado em 20 locais estabelecidos para o plantio e os quatro locais onde é necessária a aplicação da técnica de enrocamento. Como forma de monitoramento utiliza-se a técnica dos pinos de erosão/deposição em quatro locais distintos. Na execução dos plantios, sempre que o local oferece condições adequadas, há a participação dos alunos das redes de ensino, das escolas municipais, estaduais e particulares, assim como das pessoas da comunidade e dos agricultores proprietários das áreas utilizadas.

Federalismo: uma abordagem do problema do principal e do agente

The government has two objectives in this economy: make the states invest in thepriority sector and equalize wealth among states. Applying the model of the Principal-Agent Problem, we obtain that the federal system may not increase society 's wellfare when the states not necessarily invest in its respective thepriority sector. We also obtain that it is possible to implement an optimal mechanism where government equalize wealth among states without cost and can make states invest in thepriority sector.

Contratos de incentivos em empresas estatais e influência política: uma análise através de um modelo principal agente

A separação do controle da gestão leva a um conflito de objetivos entre acionistas e gestores, conflito este já identificado pela teoria da agência. Assim como ocorre em empresas privadas, as empresas públicas também apresentam este clássico problema. Enquanto os controladores últimos das empresas públicas (a sociedade) gostariam que estas maximizassem o bem estar social, seus gestores têm como objetivo maximizar suas próprias funções utilidade. O alinhamento de objetivos através de contratos de incentivos é uma das possíveis soluções para se resolver este problema de agência. As empresas públicas possuem nas promoções e cargos comissionados (modelo de Prendergast) uma possível solução para este dilema. Ocorre que nas empresas públicas o contrato de promoções é distorcido pela influência política, fato que diminui o poder de alinhamento de interesses que haveria em outras situações. Esta dissertação tem, portanto, como objetivo analisar, através de um modelo principal-agente, o atual modelo de promoções ofertado pelo governo (principal). Na primeira parte é apresentado um breve arcabouço teórico e, na segunda, analisamos os principais contratos de incentivo existentes. No terceiro capítulo, através de um modelo principal-agente, mostramos como a influência política distorce os incentivos que haveria neste tipo de contratos em outras situações. Na parte final deste trabalho indicamos possíveis caminhos para reduzir o problema de agência existente.

Sistema de gerência de energia para redes locais

Este trabalho apresenta a proposta e a implementação de um sistema de gerência de energia para redes locais de computadores (Local Area Networks ou LANs). Desde sua introdução, no início dos anos 90, os mecanismos de gerência de energia para computadores têm contribuído de maneira significativa para a redução do consumo nos períodos de inatividade, mas podem ter seu efeito minimizado por uma série de fatores, dentre os quais destaca-se a conexão do equipamento a uma rede. Em linhas gerais, o objetivo do sistema proposto é, justamente, facilitar a gerência de energia em ambientes de rede. O funcionamento do sistema é baseado na aplicação de políticas de consumo definidas pelo administrador da rede. As políticas podem ser aplicadas em duas situações distintas: em horários pré-determinados (p. ex. depois do horário comercial), quando podem ajudar a reduzir o desperdício de energia, ou em resposta a alterações no fornecimento de energia, caso a rede seja protegida por no-breaks, quando a redução no consumo resulta em maior tempo de autonomia da fonte reserva (banco de baterias). As políticas são configuradas através de um mecanismo flexível, que permite não apenas desligar os equipamentos, mas colocá-los em estados intermediários de consumo e executar outros tipos de ações. A arquitetura do sistema é baseada no modelo SNMP (Simple Network Management Protocol) de gerência de redes. É composta, basicamente, de agentes, elementos de software que residem nos equipamentos da rede e detêm o conhecimento específico sobre suas características de consumo de eletricidade, e de um gerente, elemento central que contém a configuração das políticas de consumo e que é responsável pelo monitoramento e controle dos agentes. Gerente e agentes comunicam-se através do protocolo SNMP, trocando informações segundo uma base de informações (MIB) projetada especificamente para a gerência de energia. A ênfase da parte prática do trabalho está no gerente, que foi inteiramente implementado através da linguagem Java, utilizando bibliotecas disponíveis gratuitamente. Adicionalmente, foi implementado um agente-protótipo para a plataforma Windows, o que permitiu observar o sistema completo em execução. Os testes permitiram validar a praticabilidade da arquitetura e estimar o ganho potencial proporcionado pela utilização do sistema. São apresentadas medições que demonstram um aumento de até 6 vezes na autonomia do banco de baterias do no-break para uma configuração de rede pequena, utilizando o sistema para desligar automaticamente 90% dos computadores durante um corte no fornecimento externo. A economia decorrente da redução de consumo em horários de inatividade foi estimada em até R$0,63 por computador no período de um ano (tomando por base a tarifa média praticada no Brasil entre janeiro e maio de 2002).

Gestão democrática na rede municipal de educação de Porto Alegre de 1989 a 2000 : a tensão entre reforma e mudança

Esta dissertação de mestrado tem como objetivo a análise da gestão democrática da educação na rede municipal de Porto Alegre, no período de 1989 a 2000, enfocando nesse movimento os aspectos de reforma – introdução de inovações que garantem a continuidade de determinadas práticas sociais – e mudança – estabelecimento de rupturas geradoras de práticas sociais inéditas, considerando os diferentes agentes sociais envolvidos, dentre eles o Estado e suas políticas públicas. Trata-se de uma investigação qualitativa, a partir da análise de material escrito (legislação instituinte dos instrumentos de gestão democrática, textos de enunciado político produzidos pela Secretaria Municipal de Educação e outros agente sociais e documentos das escolas) e oral (depoimentos de atores envolvidos no processo: assessores da Secretaria Municipal de Educação; membros de Conselhos Escolares das escolas municipais, representantes dos segmentos pais, alunos, professores e funcionários; presidente do Conselho Municipal de Educação; diretor de escola; dirigente da Associação de Trabalhadores em Educação). A pesquisa focalizou questões sobre as práticas e as relações (regulatórias e emancipatórias) dos diferentes agentes sociais presentes nesse cenário, incluindo, para além dos movimentos sociais, o Estado como um importante e singular promotor nesse processo; sobre os discursos produzidos por estes diferentes agentes nos distintos tempos e espaços; e sobre a constituição de projetos e instrumentos de gestão democrática e os efeitos de sentido produzidos a partir deles em nível local (escola) A construção das referências teóricas para a análise foi realizada através da revisão bibliográfica sobre como figuraram historicamente os elementos constitutivos da gestão democrática (democratização do acesso, da permanência na escola e do saber; e democratização da gestão) no contexto da educação, no bojo do debate mais amplo da questão democrática na sociedade; e da trama dos conceitos: reforma, mudança, democracia, gestão, gestão democrática, participação, poder e Estado, a partir de Popkewitz e outros autores, bem como inspirada na análise do discurso proposta por Pêcheux. O conceito de gestão democrática proposto nesta dissertação está associado ao estabelecimento de mecanismos institucionais e à organização de ações que desencadeiem processos de participação social: na formulação de políticas educacionais; na determinação de objetivos e fins da educação; no planejamento; nas tomadas de decisão; na definição sobre alocação de recursos e necessidades de investimento; na execução de deliberações; nos momentos de avaliação Este conceito se opõe às proposições ligadas a concepções empresariais em educação, cuja finalidade é a obtenção de mais resultados com um mínimo de investimentos, interpelando os agentes sociais à mera execução de planejamentos centralizados e captação de recursos, bem como aquelas que concebem a educação como um campo científico especializado e neutro, que deve ser dirigido por especialistas e agentes do Estado, no qual a participação da população deve ser restrita ao planejamento e execução de tarefas de apoio ao processo pedagógico. À primeira concepção está ligado o conceito de mudança e à segunda o conceito de reforma.A gestão democrática deve ser produtora de uma nova qualidade social na educação, que atenda às aspirações dos agentes envolvidos e contribua no desenvolvimento da sociedade mais ampla, no sentido de estabelecer relações mais justas e igualitárias. Os mecanismos de gestão democrática necessitam, portanto, garantir a plena participação dos sujeitos envolvidos em nível de deliberação dos planos de gestão educacional, bem como na escolha dos seus dirigentes e representantes, além do acompanhamento, execução e avaliação de planejamentos e ações. A eleição direta para diretores, a presença de conselhos escolares como órgão máximo no nível da escola, compostos por representantes de todos os segmentos escolares (pais, professores, alunos e funcionários) articulados com suas bases, a descentralização de recursos financeiros, garantindo condições de funcionamento às escolas, são instrumentos apontados como os mais indicados na democratização da gestão, dentre os construídos na experiência educacional brasileira. Juntamente com estes mecanismos, práticas dialógicas e participativas no cotidiano do espaço escolar, desde os espaços micro (salas de aula) ao espaço mais amplo, são constituintes da gestão democrática Na experiência analisada, qual seja, a experiência de gestão democrática na rede municipal de educação de Porto Alegre de 1989 a 2000, foi possível observar: a instituição dos instrumentos de gestão democrática descritos anteriormente (eleição direta de diretor, conselhos escolares e descentralização de recursos); a ação propositiva de diferentes agentes sociais – trabalhadores em educação, vereadores, militantes políticos, estudantes, lideranças comunitárias, pais de alunos - na constituição e consolidação destes instrumentos; a elaboração de projetos pelo Estado, visando produzir a democratização da gestão no espaço escolar e na elaboração de diretrizes educacionais em nível de rede escolar, bem como a utilização de mecanismos regulatórios a fim de manter a direção deste processo; a diversidade de experiências e temporalidades a partir do encontro entre a política pública global e os processos singulares em cada escola. Dentre as singularidades do processo analisado, destaca-se: a confluência de diferentes forças na constituição da gestão democrática (a atuação da Associação dos Trabalhadores em Educação, de vereadores da Câmara Municipal, dos movimentos sociais, das escolas e do próprio Estado); a presença do Partido dos Trabalhadores em todos estes espaços, através de seus militantes, buscando legitimar as propostas de gestão democrática produzidas no pensamento pedagógico progressista, inseridas no projeto global de democratização do Estado no âmbito da administração municipal; a força da tradição, movimentada por professores que atuam para manter sua posição de domínio na gestão escolar, e pela incorporação dos mecanismos de democracia representativa em detrimento da democracia participativa; o dilema do Estado, que embora proponha a gestão democrática como política pública, muitas vezes aciona seu poder regulador para efetivar suas propostas de reorganização curricular; a diversidade de cenários entre as escolas, com a produção de singularidades locais inseridas nessa experiência de rede municipal. O contexto facilitador da cidade, ensejado por quatro administrações consecutivas do Partido dos Trabalhadores, em conjunção com o movimento dos diferentes agentes sociais, está produzindo movimentos significativos de mudança, construindo em nível local uma transformação no significado do conceito de democracia, tornando-a, em nível de gestão educacional, mais democrática e participativa.

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.

APSEE-Monitor: um mecanismo de apoio a visualização de modelos de processos de software

A tecnologia de processos de desenvolvimento de software ´e uma importante área de estudo e pesquisas na Engenharia de Software que envolve a construção de ferramentas e ambientes para modelagem, execução, simulação e evolução de processos de desenvolvimento de software, conhecidos como PSEEs (do inglês: Process-Centered Software Engineering Environments). Um modelo de processo de software é uma estrutura complexa que relaciona elementos gerenciáveis (i.e. artefatos, agentes, e atividades) que constituem o processo de software. Esta complexidade, geralmente, dificulta a percepção e entendimento do processo por parte dos profissionais envolvidos, principalmente quando estes profissionais têm acesso apenas a uma visão geral do modelo. Desta forma, há necessidade de mecanismos para visualização e acompanhamento dos processos, fornecendo informações adequadas aos diferentes estados, abstraindo as informações relevantes tanto as fases presentes no processo de desenvolvimento quanto ao agente envolvido, além de facilitar a interação e o entendimento humano sobre os elementos do processo. Estudos afirmam que a maneira como são apresentadas as informações do modelo de processo pode influenciar no sucesso ou não do desenvolvimento do software, assim como facilitar a adoção da tecnologia pela indústria de software. Este trabalho visa contribuir nas pesquisas que buscam mecanismos e cientes para a visualização de processos de software apresentando a abordagem APSEE-Monitor destinada ao apoio a visualização de processos de software durante a sua execução. O principal objetivo desta pesquisa é apresentar um modelo formal de apoio a visualização de processos capaz de extrair dados de processos e organizá-los em sub-domínios de informações de interesse do gerente de processos. Neste trabalho aplica-se o conceito de múltiplas perspectivas como uma estratégia viável para a abstração e organização das informações presentes no modelo de processos. A solução proposta destaca-se por estender a definção original de perspectivas e fornecer uma estratégia de extração dos dados através de uma especificação formal utilizando o paradigma PROSOFT-Algébrico. Além disso, o trabalho apresenta um conjunto de requisitos relativos a interação entre gerentes de processos e PSEEs, a definição formal das perspectivas, uma gramática que define a linguagem de consulta aos processos, e um protótipo da aplicação.

A execução do direito da integração do MERCOSUL: um enquadramento da autonomia dos Estados partes

O presente artigo se propõe a analisar, tendo como paradigma o direito da Comunidade Européia, o papel dos Estados partes do MERCOSUL na implementação do direito derivado das instituições do bloco, destacando sua autonomia tanto em termos de instituições quanto em termos de procedimentos para a implementação ou execução do direito do MERCOSUL.

E-Avalia : um agente para avaliação de ensino-aprendizagem em educação a distância

Este trabalho tem por objetivo a construção e a prototipação de um modelo de avaliação de alunos no ensino a distância, utilizando a tecnologia de agentes. Para tal, foram utilizados os conceitos de avaliação formativa descritos por Bloom em [BLO83]. O agente para avaliação desenvolvido neste trabalho foi denominado E-Avalia, no intuito de expressar a avaliação do Ensino-Aprendizagem. O agente E-Avalia permite a criação de uma estrutura de competências e habilidades que compõe um curso. Desta forma, os alunos são avaliados qualitativamente de acordo com as habilidades pré-definidas pelo professor para cada competência do curso. As avaliações são realizadas ao término de cada unidade de ensino, que corresponde a uma competência do curso, essas por sua vez são compostas por questões de vários tipos, cada qual com uma habilidade associada, ou seja, um objetivo específico. O relatório entregue ao aluno como resultado da sua avaliação é descritivo e contém as habilidades atingidas e as habilidades não atingidas acompanhadas das prescrições necessárias para atingi-las. Já os relatórios disponíveis para o professor mostram além dos dados qualitativos e dados quantitativos permitindo que sejam tomadas decisões gerenciais em função dos resultados como um todo. Percebe-se, nos sistemas de ensino a distância existentes, que os modelos de avaliação tem como objetivo principal fornecer dados classificatórios dos alunos, através de avaliações somativas. A avaliação formativa ao contrário da avaliação somativa tem o propósito de fornecer dados qualitativos em relação à aprendizagem dos alunos, constatar se os objetivos estabelecidos foram alcançados pelos alunos e fornecer dados para aperfeiçoar o processo ensino-aprendizagem. O agente E-Avalia foi desenvolvido para ser integrado ao ambiente SEMEAI – SistEma Multiagente de Ensino Aprendizagem na Internet. O processo de integração dos agentes do SEMEAI é de responsabilidade do agente Tutor, que tem como função gerenciar os eventos ocorridos dentro do ambiente e encaminhar as ações aos agentes responsáveis. O agente Seleciona Estratégia, desenvolvido em [PER99] e utilizado no SEMEAI, tem a função de selecionar uma estratégia de ensino baseado no perfil do aluno. A avaliação formativa foi utilizada com o intuito de fornecer resultados que provoquem a mudança da estratégia utilizada no ambiente de ensino, a fim de melhorar o ensino e a aprendizagem dos alunos. Foram realizados dois estudos de caso para validar o agente E-Avalia. O primeiro estudo de caso foi realizado com empregados da instituição Emater através do ambiente TelEduc, no qual foi proposta a avaliação dos objetivos de uma unidade do curso StarOffice. O segundo estudo de caso foi realizado com alunos de ensino médio e técnico do Centro Federal de Educação Tecnológica de Pelotas – CEFET-RS, no qual foi proposta a avaliação dos objetivos de uma unidade do curso de Informática Básica. A principal diferença entre os dois estudos de caso é que o primeiro foi realizado totalmente a distância, sem contato com os alunos, e o segundo foi realizado com o 12 auxílio do professor da disciplina em sala de aula. Os resultados dos estudos de caso estão no capítulo cinco deste trabalho.