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

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

Uma Proposta de apoio para decisões de grupo no ambiente PROSOFT

O processo de desenvolvimento de software implica na necessidade constante de tomadas de decisão. A cada etapa do processo, torna-se necessário estabelecer a comunicação e interação entre usuários, gerentes, analistas, programadores e mantenedores numa constante troca de informações. O registro dos artefatos produzidos durante todo o processo é uma questão que norteia as pesquisas em ambiente de desenvolvimento de software. Quando se fala em suporte ao processo de colaboração entre os elementos de uma equipe de desenvolvimento, este registro torna-se ainda mais necessário. Neste contexto, a modelagem dos dados a serem armazenados se amplia para comportar outras informações provenientes da interação do grupo além dos artefatos gerados. As informações trocadas durante este processo interativo que incluem fatos, hipóteses, restrições, decisões e suas razões, o significado de conceitos e, os documentos formais formam o que é denominado pela literatura especializada como memória de grupo. A proposta da arquitetura SaDg PROSOFT visa fornecer suporte a memória de grupo, no que diz respeito ao registro das justificativas de projeto(Design Rationale), através de uma integração com o gerenciador de processos (GP) provido pelo ADS PROSOFT. Esta integração se dá através das ferramentas inseridas no modelo, assim desenhadas: Editor de Norma, Editor de Argumentação, Extrator de Alternativas, Editor de Votação. O ADS PROSOFT integra ferramentas para desenvolvimento de software. Este ADS foi escolhido para o desenvolvimento do modelo SADG, pois baseia-se na construção formal de software, mas particularmente no método algébrico, por ser um ambiente estendível, possibilitando a inclusão do modelo SaDg PROSOFT ao seu conjunto de ferramentas, por ter características de um ambiente distribuído e cooperativo e por não dispor de nenhum suporte à discussões e decisões em grupos. São apresentados os fundamentos de modelos SADG e algumas ferramentas. Alguns dos principais requisitos desses ambientes foram coletados e são apresentados a fim de embasar a proposta do trabalho. O modelo SADG é apresentado na forma de ferramentas PROSOFT(chamadas ATOs) e permite a definição de atividades como: Atividade de argumentação, atividade de extração e a atividade de votação. Além disso, permite a coordenação destas atividades através de um facilitador e do próprio GP, e também, possui um mecanismo para a configuração do processo decisório.

Semiótica da percepção : as relações figurativas por detrás das operações formais do pensamento

Esta tese analisa a forma que orienta o funcionamento da atividade perceptiva. Neste sentido, é pressuposto básico desse trabalho, que a atividade perceptiva possui um modo de relacionar os dados fornecidos pela percepção, que funciona de modo diferente dos princípios descritos pela operatoriedade no nível hipotético-dedutivo. A justificativa desta afirmação é buscada na história do desenvolvimento do conceito de conhecimento, na definição dos aspectos permanentes e mutáveis para o conhecimento nas diferentes correntes epistemológicas e na análise do funcionamento dos centros sensório-motores na fisiologia humana. Os conceitos sobre as formas, que orientam a percepção e a razão foram desenvolvidas com base na Filosofia Crítica de Kant. As interpretações sobre as origens do conhecimento, propostos pelas diferentes correntes epistemológicas, são analisadas com base na teoria cognitiva de Jean Piaget. Esse trabalho propõe uma alternativa para a interpretação das deformações que os sujeitos realizam sobre os dados sensíveis e sobre as relações subjetivas que acontecem cotidianamente.

Serviços de saúde e seus usuários : comunicação entre culturas em uma unidade de saúde comunitária

Este trabalho é fruto de uma investigação que buscou elucidar a relação estabelecida entre os serviços de saúde e os seus usuários. Com esse objetivo, utilizou-se uma abordagem antropológica que teve como referência a experiência empírica ligada à Unidade Conceição do Serviço de Saúde Comunitária do Grupo Hospitalar Conceição, em Porto Alegre, RS. Funcionando nas dependências do Hospital Nossa Senhora Conceição, a Unidade Conceição é um posto de saúde vinculado ao Sistema Único de Saúde (SUS) em que médicos gerais comunitários e outros profissionais vêm prestando atendimento de saúde, há cerca de 15 anos, aos moradores da sua vizinhança, calculados atualmente em mais de 20 mil pessoas. Tendo como pano de fundo as influências da cultura no comportamento humano e na prestação de atendimento de saúde, os desdobramentos principais da relação entre a Unidade e os seus usuários foram analisados sob diversos eixos: a história da Unidade, seus conflitos com a instituição e outras especialidades médicas; a relação da Unidade com a área geográfica sob sua responsabilidade; a questão da participação popular nos serviços de saúde, mais especificamente a experiência do seu Conselho Gestor Local; e, por fim, a avaliação dos serviços de saúde, principalmente no que concerne à perspectiva dos pacientes. Sempre que possível, a análise feita procurou fazer uma ligação com as mudanças ocorridas no sistema de saúde brasileiro nos últimos anos. Resgatar os aspectos culturais como elemento essencial para o estabelecimento de uma comunicação efetiva entre os indivíduos e os serviços formais de saúde mostrou-se fundamental para permitir o aprofundamento desse tipo de análise e para qualificar as ações desenvolvidas pelos serviços de saúde.

Experiências de interação do Instituto de Biotecnologia da Universidade de Caxias do Sul com a comunidade

Este estudo tem a finalidade de analisar experiências de interação Universidade – Empresa, em projetos do Instituto de Biotecnologia - ( IB ) da Universidade de Caxias do Sul – ( UCS ), a qual, como Instituição produtora e disseminadora de conhecimentos, busca atuar ativamente na transformação tecnológica da Região Nordeste do Estado do RS. Procura-se analisar as experiências de interação entre os pesquisadores da área de biotecnologia da UCS, as empresas do setor produtivo e a comunidade, identificando possíveis mecanismos e problemas. O IB foi criado para que, através dos resultados de suas pesquisas, possa contribuir efetivamente com os anseios da Comunidade a qual está inserida. Este estudo se constitui na análise de múltiplos casos de interação em oito projetos desenvolvidos no IB. Os dados foram coletados através de entrevistas com os coordenadores dos projetos no IB e com os responsáveis pela interação nas organizações parceiras, num total de 16 entrevistas.O estudo evidencia que as interações ocorrem a partir de contatos informais, baseadas na amizade entre os parceiros e oriundas, principalmente, do esforço do pesquisador. Os entrevistados acentuam a necessidade de uso de mecanismos formais de interação para agilizar e viabilizar projetos conjuntos do IB com empresas do setor produtivo e a comunidade, através de parcerias consolidadas. Finalmente, considera-se que, para assegurar o crescimento da interação com a comunidade, é urgente possibilitar, através de mecanismos formais, que a pesquisa científica desenvolvida no Instituto de biotecnologia da UCS volte-se prioritariamente para a identificação de problemas regionais, buscando as respectivas soluções, na perspectiva do desenvolvimento integrado da Região.

A qualidade visual dos centros de comércio e a legibilidade dos anúncios comerciais

Esta pesquisa investiga os efeitos dos anúncios comerciais sobre a qualidade visual dos centros de comércio e sobre a legibilidade das mensagens veiculadas por esses elementos, segundo a percepção do pedestre. O objetivo central é determinar subsídios teóricos que possam fundamentar diretrizes a fixação de anúncios comerciais no meio urbano, de modo a garantir a qualidade visual do espaço construído e a legibilidade das mensagens. Adota-se a cidade de Pelotas (RS) como objeto de estudo por possuir em seu centro de comércio questões comuns à maioria das cidades brasileiras: significativa concentração de anúncios comerciais sobre conjuntos arquitetônicos, dentre os quais há bens de interesse histórico e cultural, os quais estão sendo prejudicados em virtude de anúncios comerciais fixados sobre suas fachadas. Os métodos de coleta de dados aplicados neste estudo fazem parte dos utilizados na área de pesquisa relativa ao Ambiente e Comportamento. Fundamentado na natureza das informações necessárias e nas particularidades relativas aos estudos urbanos, os métodos de coleta de dados são sistematizados em duas etapas: o levantamento de arquivo e o levantamento de campo. Esse último divide-se em observações das características físicas, levantamento físico, representação do ambiente urbano e questionários. Cabe destacar que nesta investigação a análise e a comparação dos modos de percepção do ambiente por distintos indivíduos se faz necessária, à medida que os centros de comércio são áreas freqüentadas por diversos tipos de transeuntes. Quanto a isso, define-se ao estudo quatro grupos de usuários: os arquitetos e urbanistas, os publicitários, os comerciantes e os consumidores. Os resultados desta investigação demonstram que os anúncios comerciais quando dispostos desordenadamente sobre o ambiente prejudicam a qualidade visual das cenas urbanas, bem como reduzem o grau de legibilidade das mensagens veiculadas por anúncios comerciais. Fica constatado que não podem ser pensadas diretrizes, relacionadas às características físicas dos anúncios comerciais, que ignorem o aspecto formal do conjunto arquitetônico: é necessário haver normas que visem à ordenação da aparência do ambiente, as quais contemplem os aspectos formais dos anúncios comerciais e das construções. Espera-se que os dados encontrados despertem o interesse ao desenvolvimento de outros estudos que abordem essa problemática, bem como de políticas urbanas de reordenamento e de preservação da aparência dos centros de comércios.

ProTool : uma ferramenta de prototipação de software para o ambiente PROSOFT

Dentre as principais áreas que constituem a Ciência da Computação, uma das que mais influenciam o mundo atual é a Engenharia de Software, envolvida nos aspectos científicos e tecnológicos do desenvolvimento de software. No desenvolvimento de software, a fase de especificação dos requisitos é uma das mais importantes, visto que erros não detectados nesta são propagados para as fases posteriores. Quanto mais avançado estiver o desenvolvimento, mais caro custa reparar um erro introduzido nas fases iniciais, pois isto envolve reconsiderar vários estágios do desenvolvimento. A prototipação permite que os requisitos do software sejam validados logo no início do desenvolvimento, evitando assim a propagação de erros. Paralelamente, a utilização de métodos formais visa revelar inconsistências, ambigüidades e falhas na especificação do software, que podem caso contrário, não serem detectadas. Usar a prototipação de software juntamente com uma notação formal enfatiza a especificação do problema e expõe o usuário a um sistema “operante” o mais rápido possível, de modo que usuários e desenvolvedores possam executar e validar as especificações dos requisitos funcionais. O objetivo principal deste trabalho é instanciar uma técnica da área de Prototipação de Software que capacite o engenheiro de software gerar automaticamente protótipos executáveis a partir de especificações formais de tipos abstratos de dados, na notação PROSOFT-algébrico, visando a validação dos requisitos funcionais logo no início do desenvolvimento do software. Para tanto foi proposto um mapeamento da linguagem PROSOFT-algébrico para OBJ. Como OBJ possui um eficiente sistema de reescrita de termos implementado, a utilização deste propicia a prototipação de tipos abstratos de dados, especificados em PROSOFT-algébrico. Os componentes envolvidos na definição deste trabalho, assim como o mapeamento entre as linguagens, foram especificados algebricamente e implementados no ambiente de desenvolvimento de software PROSOFT. A implementação serviu para validar o mapeamento proposto através de dois estudos de caso. Por fim, são apresentadas as conclusões alcançadas e as atividades adicionais vislumbradas a partir do trabalho proposto.

Homem e risco: do oráculo à lei Sarbanes-Oxley

O presente trabalho aborda a relação histórica entre o Homem e o Risco, com ênfase nas relações contemporâneas, passando pela Ética Empresarial e pela Governança Corporativa, que têm por objetivo disciplinar as relações do capital com base nos princípios de eqüidade, transparência e prestação de contas, além do respeito às leis, regulamentos, normas, tanto formais quanto informais ou de mercado, e os aspectos éticos intrínsecos e culminando com a Lei Sarbanes-Oxley. Mais do que aproximar o investimento da produção, esse conjunto alicerça a confiança mútua, tornando-se arena de negócios entre atraídos e atraentes, ou seja, investidores e empresas. Estabelece, também, uma oportunidade para as empresas aumentarem suas origens por ação direta do patrimônio líquido, não implicando, portanto, em ônus dissociado do retorno, premiando, sob vários enfoques, a rentabilidade com responsabilidade social e percepção dos outros públicos inerentes ao negócio - stakeholders.

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.

Fatores de formação e desenvolvimento das estratégias ambientais nas empresas

O presente trabalho investigou os principais fatores de formação das estratégias ambientais empresariais, e como eles influem e condicionam estas estratégias no contexto específico de cada empresa. Além disso, foi analisada a evolução das práticas ambientais das empresas, o que resultou na proposta de um modelo de análise das estratégias ambientais a partir de seus principais fatores de influência. Apesar de utilizar em sua formulação conceitos básicos de estratégia empresarial, bem como diferentes estudos que tratam de estratégias ambientais em empresas, o trabalho fundamentou-se principalmente na teoria organizacional institucionalista. Isto decorre do fato de que esta teoria amplia o conceito de ambiente externo da organização para contemplar os aspectos institucionais, e amplia os objetivos estratégicos da organização para contemplar a busca de legitimidade. Com isto ela contempla de forma mais abrangente os fatores que influem e condicionam as estratégias ambientais nas empresas. A pesquisa empírica é composta por quatro estudos de caso em dois setores industriais distintos, a Refinaria de Petróleo Ipiranga (RPI) e a Companhia Petroquímica do Sul (Copesul) representando a indústria do petróleo, e a unidade da Klabin de Otacílio Costa e a Cambará Produtos Florestais representando a indústria de papel e celulose. Entre as conclusões do trabalho está a confirmação da importância da teoria institucional no estudo das estratégias ambientais das empresas. Esta importância decorre de várias questões observadas nos estudos, tais como a preponderância que as demandas e pressões do ambiente externo têm sobre os processos de formação e evolução das estratégias ambientais, a importância que a busca de legitimação tem na conformação das práticas ambientais e de sua divulgação pelas empresas, e a existência de um processo de institucionalização das questões ambientais nas empresas, através da criação de uma estrutura formal para a área ambiental, da profissionalização da gestão ambiental, da certificação de sistemas de gestão e da inclusão de aspectos ambientais nos processos formais de planejamento da empresa. Conclui-se também que as estratégias ambientais são fundamentalmente contingentes e contextuais; contingentes porque as demandas e pressões são mais importantes do que as ações voluntárias das empresas no direcionamento da sua conduta ambiental, e contextuais porque estas contingências são muito particulares do contexto de cada empresa. Observou-se que, embora haja um sentido geral comum de evolução das práticas ambientais das empresas, o timing com que esta evolução ocorreu, o tipo de práticas utilizadas, a profundidade das melhorias realizadas, os fatores motivadores das mesmas e o tipo de contingências que sofreram foram diferentes para cada uma e podem ser explicadas pelo contexto individual das mesmas. A partir desta constatação, elaborou-se um modelo de análise dos fatores que contingenciam as estratégias ambientais empresariais, dividindo o seu contexto estratégico em seis contextos específicos, cinco externos (regulativo, locacional, de recursos, de mercado e setorial) e um interno (contexto organizacional), os quais são descritos e analisados a partir de seus elementos contextuais.

Investigação e aplicação de operações categoriais entre atores de animações baseadas em autômatos finitos com saída

O presente trabalho apresenta uma investigação sobre algumas operações categoriais baseadas em grafos e a aplicação das mesmas a uma área específica da Ciência da Computação, a saber, animações computacionais baseadas em autômatos finitos com saída. As operações categoriais estudadas neste trabalho são: Produto, Coproduto, Soma Amalgamada e Produto Fibrado. O modelo AGA (Animação Gráfica baseada em Autômatos finitos) foi o escolhido para ser utilizado como base desta dissertação. Inspirado nestes estudos, o trabalho contém uma proposta de como aplicar tais operações com o objetivo de definir animações aparentemente complexas, de forma simples, precisa e de fácil implementação. O enfoque está baseado em J. Stoy que diz que um dos objetivos para o uso da semântica formal de teoria das categorias é “sugerir meios ou formas para o projetista desenvolver sistemas melhores, mais elegantes (“limpos”) e com descrições formais mais simples”. Entretanto, não é objetivo deste trabalho verificar se a utilização destas operações é ou não melhor do que a utilização de qualquer outra solução para criar novas animações. Esta dissertação traz uma nova versão do modelo AGA, denominada AGANd (Animação Gráfica baseada em Autômatos finitos Não determinísticos), sendo que o AGA utiliza apenas autômatos finitos determinísticos para criar os atores de uma animação. Com a utilização do AGANd obtém-se animações mais realistas e mais flexíveis. A aplicação destas operações se dá nos dois modelos, os resultados obtidos a partir de cada uma das operações sobre os mesmos são apresentados de forma detalhada e ilustrados com os autômatos resultantes no decorrer do trabalho. É apresentada uma sugestão de implementação para cada uma das operações, visando estender o protótipo já implementado do modelo AGA. Isso faz com que o leitor seja estimulado a aplicar estas e outras operações categoriais em novas animações baseadas ou não nos modelos apresentados, despertando até mesmo para seu uso em outras áreas da Ciência da Computação.

Educação musical não-formal e atuação profissional : um survey em oficinas de música de Porto Alegre - RS

O presente trabalho teve como objetivo caracterizar o ensino de música inserido em projetos sociais. Os objetivos específicos foram analisar as dimensões presentes nas práticas educativo-musicais das oficinas de música, identificar os profissionais que ali ensinam música e qual a sua formação, e examinar as concepções sobre educação musical desses profissionais e do coordenador. O referencial teórico do trabalho está fundamentado em conceitos de educação não-formal, de autores da pedagogia e da educação musical. Foi realizado um survey de pequeno porte em 19 oficinas de música do projeto de Descentralização, da Secretaria Municipal de Cultura, da Prefeitura de Porto Alegre. Os participantes foram 14 oficineiros (profissionais que ensinam música) e o ativista de música (coordenador das oficinas). A técnica de pesquisa utilizada foi a da entrevista semi-estruturada, e os dados foram analisados qualitativamente. A partir da análise, considerei que as oficinas de música se configuram como espaços de educação musical não-formal. Os resultados sinalizam a necessidade de reconhecimento desses espaços como contextos de atuação profissional que, como tais, demandam uma formação também profissional.

Entre o Controle social formal e o (des) controle fragmentado

A presente dissertação discute a participação cidadã na gestão pública, em três áreas do governo municipal de São Gonçalo: saúde , educação e a implantação do orçamento participativo. São apresentados os fundamentos teóricos para se tentar o fenômeno: a noção de participação, os limites da democracia representativa e as potencialidades de uma maior participação política na gestão local. Confrontam-se a teoria com os casos empíricos e conclui-se que mais que uma participação na gestão o que se observa é construção de formas de gestão desta participação. Ainda que haja algum nível de interferência de ação dos representantes da sociedade civil nas ações do governo local, e sempre há, esta é crescentemente gerida pelo próprio governo.

Política de recursos humanos na administração pública do Estado do Paraná: análise comparativa entre o discurso e a prática

The aim of this dissertation is to demonstrate what happens to the public administration in the state of Paraná through a case study, more specifically, in two organization: one, called in specific legal regime, 'direct administration' and the other, 'indirect administration', by means of structured interviews searching the distance between the discourse and practice which concerns to what was developed in the training area inside a human resource policy of the state. Since two decades, the training function in public administration of the state is changing and suffering some internal (re)structures. These changes are due to the pressure generated by either the natural requirement of changing in the same area or in the ways and aims from governmental spheres (state and federal). On one hand, this study analyzes the performance of training function during from 1987 to 1994, in order to verify the outcome factors of the not structured area and the coherency between programmed and accomplished actions. On the other hand, compare the discourse and practice based on a human resource policy implemented and adopted by the government. The results of field research with bibliographic examination allow to conclude that although the official and formal documents delineate a human resource policy to the state, there were evident contradictions between the proposal and what the state really fulfilled. The qualitative data analysis concluded that the majority of the actions are implemented casuisticaly. During the case study period, the human resource area specifically, training and development, suffered constant (re) tructures. The consequence was ¿ the both institutions, responsible for the training area, lost time and financial resources. Legal changes, internal dispute for institutional space, lack of tune and synchrony resulted once more in a discontinued action in the area. However it is perceptible that the government is worried about the development and evaluation of its civil services although it goes on behaving without a structured and integrated planning related to any human resource system. The study, therefore, confirms that the formulation and implementation of effective human resource policy, either through an analytic model or not, must be centralized in integrated action interrelated to all the subsystems of the human resource area, neither in a disguised way nor linked to the discourse of a law or government projects.