Monitoração de protocolos de alto nível através da implementação de um agente RMON2

A área de gerência de rede cresce à medida que redes mais seguras e menos vulneráveis são necessárias, e as aplicações que concorrem pelo seu uso, necessitam de alta disponibilidade e qualidade de serviço. Quando estamos focando a gerência da infra-estrutura física das redes de computadores, por exemplo, a taxa de uso de um segmento de rede, podemos dizer que esse tipo de gerenciamento encontra-se em um patamar bastante sedimentado e testado. Por outro lado, há ainda lacunas para pesquisar na área de gerenciamento de protocolos de alto nível. Entender o comportamento da rede como um todo, conhecer quais hosts mais se comunicam, quais aplicações geram mais tráfego e, baseado nessas estatísticas, gerar uma política para a distribuição de recursos levando em consideração as aplicações críticas é um dever nas redes atuais. O grupo de trabalho IETF RMON padronizou, em 1997, a MIB RMON2. Ela foi criada para permitir a monitoração de protocolos das camadas superiores (rede, transporte e aplicação), a qual é uma boa alternativa para realizar as tarefas de gerenciamento recém mencionadas. Outro problema para os gerentes de rede é a proliferação dos protocolos de alto nível e aplicações corporativas distribuídas. Devido a crescente quantidade de protocolos e aplicações sendo executados sobre as redes de computadores, os softwares de gerenciamento necessitam ser adaptados para serem capazes de gerenciá-los. Isso, atualmente, não é fácil porque é necessário usar linguagens de programação de baixo nível ou atualizar o firmware dos equipamentos de monitoração, como ocorre com os probes RMON2. Considerando este contexto, esse trabalho propõe o desenvolvimento de um agente RMON2 que contemple alguns grupos dessa MIB. O agente baseia-se na monitoração protocolos de alto nível e aplicações que são executados sobre o IP (Internet Protocol) e Ethernet (na camada de enlace). Além da implementação do agente, o trabalho apresenta um estudo de como obter estatísticas do agente RMON2 e usá-las efetivamente para gerenciar protocolos de alto nível e aplicações.

O escolar como agente da tomada de consciência sanitária em uma área rural

O objeto deste estudo foi verificar a potencialidade de uma prática sistemática de educação em saúde na escola, tanto para o desenvolvimento de práticas de promoção da saúde e prevenção de doenças, como para viabilizar a tomada de consciência sanitária. O que se buscou defender é que, por meio de uma prática sistemática de educação em saúde na escola, se pode vir a alcançar a participação efetiva da população na condução do sistema sanitário e o estímulo ao desenvolvimento da autonomia em saúde. Por tomada de consciência sanitária, propôs-se o entendimento da apropriação de uma sensação, percepção ou convicção de que a saúde configura um direito de todos e um dever do Estado, a ser assegurado com a participação da cidadania, com o acesso integral às ações e serviços requeridos em cada caso (com universalidade e eqüidade) e com incentivo ao poder local na gestão do setor. Por autonomia em saúde, propôs-se o entendimento da superação das relações verticais entre profissionais e usuários, entre saber científico e saber popular e entre serviços de saúde e população, bem como a desmonopolização do saber sanitário e a estimulação do cuidado de si, da valorização do próprio corpo e da disruptura com preconceitos e discriminações (classe, geração, etnia, gênero e comportamentos sociais, por exemplo) Embora a tese não tenha enfatizado claramente os aspectos da cidadania e da disruptura com preconceitos e discriminações, e embora o incentivo ao desenvolvimento local tenha ficado suposto ao enfoque dirigido às escolas públicas de zona rural com alunado das classes populares, entendemos que a tomada de consciência sanitária deva orientar quaisquer práticas de educação em saúde, e, em particular, quando realizadas na escola básica. A tese problematiza o programa internacional conhecido como Criança para Criança, organizado em diversos projetos em vários países do mundo. Para esta tese, o Programa foi implementado de forma controlada e submetido ao tratamento estatístico de significância na incorporação de conteúdos cognitivos junto aos escolares e seu grupo social de um município do interior rural e litorâneo do Rio Grande do Sul, o município de Mostardas. Foi montado um programa de mensuração da conservação de conteúdos sobre saúde, ministrados aos escolares de duas escolas públicas de zona rural, oferecidos às classes populares e o potencial de disseminação desses conteúdos nos grupos sociais respectivos. À luz da reforma sanitária brasileira, o Programa foi relido, estimando-se que pode gerar um movimento social por saúde em populações semelhantes. Considerando-se que constatamos, quantitativamente, a retenção e disseminação de conhecimentos pelos escolares e considerando-se que o espaço da escola é um espaço de aprender a conhecer, aprender a fazer, aprender a ser e aprender a conviver (a pedagogia que ganha vigor na contemporaneidade), então pode-se pensar um processo sistemático de educação em saúde com utilização amplamente favorável em zonas rurais, zonas de periferia, classes populares, populações de áreas remotas ou semelhantes, inclusive pela condição de prioridade social em um país como o Brasil Foi o nosso desejo de ver a reflexão da Reforma Sanitária Brasileira incluída entre as temáticas que transversalizam o fazer pedagógico e o ensino na escola fundamental que trouxe para esta tese a revisão do Criança para Criança, com as críticas e perspectivas que sua problematização assumiu para a educação em saúde e saúde escolar. Embora o projeto de tese pensasse, no seu início, a criança como agente multiplicador na conscientização da população sobre os cuidados básicos à saúde, ao seu final, a tese defende, no papel da escola e de suas práticas pedagógicas, a inclusão do tema da saúde como contribuição à tomada de consciência sanitária, inserindo a saúde numa ampla compreensão da cidade, das políticas públicas e da construção da subjetividade com liberdade às singularidades, ampliando a autonomia no cuidado de si e a solidariedade na ação política em sociedade, ao realizar a educação da criança.

Desenvolvimento sustentável local : a contribuição do agente de desenvolvimento do Banco do Nordeste no estado do Ceará

Este é um estudo descritivo de caráter exploratório, realizado através da adição da pesquisa quantitativa à qualitativa. Aborda o Programa Agente de Desenvolvimento do Banco do Nordeste, cujo objetivo é promover o desenvolvimento sustentável nos municípios nordestinos, para identificar o grau de intervenção do Agente de Desenvolvimento em nível de comunidade, no estado do Ceará. Essa investigação teve como propósito identificar mudanças ocorridas nesses municípios a partir do Programa, verificando em que medida elas podem ser consideradas estratégias de desenvolvimento sustentável. Paralelamente, o estudo procurou, junto aos Agentes e representantes de associações, caracterizar o grau de intervenção do Agente naquelas mudanças que resultam em transformações econômicas e sociais. A estrutura da análise e, conseqüentemente, os resultados encontrados, seguem três dimensões: o Programa Programa, o A g e n t e e a Mudança. Pelos resultados obtidos, o Programa vem alcançando os objetivos propostos. Os Agentes, de fato, podem ser considerados articuladores estratégicos do desenvolvimento local. Quanto às mudanças, parecem contemplar gradativas melhorias na qualidade de vida da população, na transferência de tecnologia e na redução do impacto ambiental e, embora sutis, com certeza elas apontam na direção da sustentabilidade. Entretanto, para que os resultados elencados pelo Programa e esperados pelos Agentes e pela população possam adquirir maior consistência no longo prazo, é fundamental que os ajustes e as adequações demandadas e/ou sugeridos neste estudo sejam implementados em todas as dimensões.

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.