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.

Serviços de manutenção aeronáutica como unidade de negócios : um modelo de gestão baseado num sistema de indicadores de desempenho

O transporte aéreo vem sofrendo constantes mudanças apontando para uma eficiência operacional cada vez mais solicitada.Com programas de manutenção enxutos e aeronaves padronizadas, as empresas aéreas têm dedicado seus esforços no atendimento das demandas dos clientes através de pacotes de serviços buscando relações quase personalizadas. Dentro deste cenário algumas empresas que já possuíam seus parques de manutenção estabelecidos, estão sendo reavaliadas, no sentido de utilizar os ativos disponíveis em outras oportunidades de negócios. Os serviços realizados em aeronaves seguem um programa de manutenção preestabelecido e lançam mão tanto de recursos tangíveis como de intangíveis através da utilização do conhecimento de técnicos especializados. Este trabalho foi desenvolvido junto a uma empresa recentemente criada para atuar no ramo de manutenção aeronáutica e buscando subsídios teóricos para melhor entender as ferramentas disponíveis e avaliar suas potencialidades no desenvolvimento de um modelo de gestão baseado em um sistema de avaliação de desempenho para a empresa em estudo. Para esta finalidade, várias ferramentas foram avaliadas e comparadas com as necessidades do negócio gerando um modelo considerado adequado para a empresa em estudo. Apesar do modelo ter sido projetado para uma empresa específica, ele foi concebido tão genérico quanto possível para que pudesse ser aplicado em outras empresas similares. O modelo empregou o Balanced Scoredcard (Kaplan, Norton, 1992) como metodologia de medição de desempenho, mapas de relacionamentos (Rummler e Brache, 1994; Harrington, 1991) para identificação dos processos, identificação dos critérios competitivos (Slack, 2002), e matrizes de relação buscando priorizar e identificar as relações dos processos com as funções da empresa. O modelo foi então aplicado, deforma parcial buscando-se a viabilidade de sua implantação.

Imunizacao de carteiras de renda fixa via um modelo paramétrico exponencial

Litterman e Scheinkman (1991) mostram que mesmo uma carteira de renda xa duration imunizada (neutra) pode sofrer grandes perdas e, portanto, propõem fazer hedge de carteiras utilizando a análise de componentes principais. O problema é que tal abordagem só é possível quando as taxas de juros são observáveis. Assim, quando as taxas de juros não são observáveis, como é o caso da maior parte dos mercados de dívida externa e interna de diversos países emergentes, o método não é diretamente aplicável. O presente trabalho propõe uma abordagem alternativa: hedge baseado nos fatores de um modelo paramétrico de estrutura a termo. A imunização feita utilizando esta abordagem não só se mostra simples e e ciente, mas também, equivalente ao procedimento de imunização proposto por Litterman e Scheinkman quando as taxas são observáveis. Exemplos do método para operações de hedge e alavancagem no mercado de títulos da dívida pública brasileira indexada a in ação são apresentados. O trabalho ainda discute como montar e apreçar carteiras que replicam fatores de risco, o que permite extrair alguma informação sobre a expectativa dos agentes acerca do comportamento futuro da curva de juros. Por m, faz uma comparação da expectativa de in ação futura implícita nos preços dos títulos públicos da dívida interna brasileira (LTN/NTN-F e NT

Um modelo composto para realizar previsão de demanda através da integração da combinação de previsões e do ajuste baseado na opinião

Resumo não disponível.

Análise do emprego setorial no Rio Grande do Sul baseado em modelo insumo-produto

Motivado pela relevância política do tema emprego, este trabalho quantifica e analisa os empregos que podem ser gerados no Rio Grande do Sul, no curto e médio prazo, através de alterações na demanda final de diferentes setores que compõem sua economia. Para tanto, utiliza-se da experiência de um modelo de geração de emprego baseado em técnicas insumo-produto, desenvolvido por economistas do BNDES, que neste trabalho é aplicado à informações referentes à economia gaúcha. Obtidos os resultados do modelo correlacionam-se os setores quanto a sua capacidade de gerar emprego com atributos que reflitam a qualidade do emprego gerado e sua capacidade de desencadear crescimento econômico. Também se procura mapear a estrutura produtiva do Estado como forma de avaliar os resultados de empregos setoriais em relação as suas diferentes regiões.

Um Modelo hierárquico baseado em políticas para o gerenciamento integrado de redes de computadores e grids computacionais

Como resultados constatou-se que o modelo de tradução de políticas proposto permite automatizar o gerenciamento da infra-estrutura de grid e rede. Além disso, a solução apresentada fornece novas facilidades de gerenciamento em comparação as soluções de gerenciamento de grid baseadas em políticas encontradas na literatura. A implementação do protótipo do modelo junto ao sistema QAME permitiu que o gerenciamento do grid e da rede fosse realizado de maneira integrada usando uma hierarquia de tradução de políticas.

Javal: modelo de ambiente de avaliação remota multiagente baseada em tutores embarcados

Trata o presente objeto de pesquisa da proposta de desenvolvimento de um modelo de ambiente de avaliação remota para Ensino à Distância, baseado no paradigma de Orientação a Objetos e elaborado com base na tecnologia de sistemas multiagentes. Para a validação do modelo, foi desenvolvido um protótipo denominado Javal, capaz de permitir a aplicação e monitoração da realização de avaliações e testes à distância. As soluções comerciais disponíveis no mercado, como Question Mark Perception, Aula Net e WebCT possuem código fechado e custo elevado, além de serem baseadas em soluções proprietárias (QML - Question Mark, ASP - Microsoft, etc.), necessitando de plataforma específica para instalação de servidores e clientes. Quanto ao aspecto funcional, estas ferramentas possuem a base de sua lógica de funcionamento em execução de scripts no servidor. Para cada item de uma avaliação a ser respondido, torna-se necessária a efetivação de uma nova conexão. O modelo proposto traz toda a funcionalidade do sistema para o ambiente do aluno, tornando necessária apenas uma conexão para a busca da avaliação e outra para o envio dos resultados, reduzindo o tráfego na rede. Quanto ao aspecto pedagógico, estas ferramentas limitam-se apenas a apresentar uma avaliação somativa do aluno, geração de graus e estatísticas, não se preocupando em monitorar seus aspectos comportamentais, capazes de apontar indícios de possíveis falhas no aprendizado ou na elaboração da avaliação. A proposta do modelo é da apresentação de um ambiente orientado a objetos, capaz de distribuir elementos representativos das avaliações existentes no modelo tradicional de ensino, incorporando recursos capazes de possibilitar a monitoração de aspectos comportamentais do aluno, pelo emprego de agentes monitores ou tutores, que podem acompanhar o aluno e auxiliá-lo em situações de dificuldade. O modelo proposto por este trabalho envolve as avaliações formativas e somativas, aplicadas de forma assíncrona e individual. Como sugestão para trabalhos futuros, o modelo propõe o desenvolvimento de classes capazes de implementar a aplicação de avaliações síncronas e em grupo. A validação do modelo proposto foi realizado através do desenvolvimento de um protótipo que, com base no desenvolvimento de uma API Javal específica, implementa os principais tipos de questões disponíveis no sistema de ensino tradicional, além de agentes tutores de avaliação.

Modelo neuro-evolutivo de coordenação adaptativa em ambientes dinâmicos

Em ambientes dinâmicos e complexos, a política ótima de coordenação não pode ser derivada analiticamente, mas, deve ser aprendida através da interação direta com o ambiente. Geralmente, utiliza-se aprendizado por reforço para prover coordenação em tais ambientes. Atualmente, neuro-evolução é um dos métodos de aprendizado por reforço mais proeminentes. Em vista disto, neste trabalho, é proposto um modelo de coordenação baseado em neuro-evolução. Mais detalhadamente, desenvolveu-se uma extensão do método neuro-evolutivo conhecido como Enforced Subpopulations (ESP). Na extensão desenvolvida, a rede neural que define o comportamento de cada agente é totalmente conectada. Adicionalmente, é permitido que o algoritmo encontre, em tempo de treinamento, a quantidade de neurônios que deve estar presente na camada oculta da rede neural de cada agente. Esta alteração, além de oferecer flexibilidade na definição da topologia da rede de cada agente e diminuir o tempo necessário para treinamento, permite também a constituição de grupos de agentes heterogêneos. Um ambiente de simulação foi desenvolvido e uma série de experimentos realizados com o objetivo de avaliar o modelo proposto e identificar quais os melhores valores para os diversos parâmetros do modelo. O modelo proposto foi aplicado no domínio das tarefas de perseguição-evasão.

UUm Modelo Exploratório, Baseado nas Comunidades Linux, para Desenvolvimento da Tecnologia da Informação no Brasil

presente trabalho objetiva construir um Modelo Exploratório de desenvolvimento de tecnologia da informação, aplicável no Brasil, tendo como referência as formas de organização do trabalho e da produção das comunidades Linux. O Modelo deve ser aplicado em ambiente Internet, ou em outras redes de telecomunicação. Por essa razão, utiliza métodos e técnicas de aprendizado à distância e e-Iearning. A construção do Modelo apoia-se, como alicerce teórico fundamental, no conceito de convivialidade de Illich (1976), no entendimento de Inose e Pierce (1984) sobre comunidades de interesse e democratização da produção de software, nos estudos de Malone (1997, 1998) referentes a modelos de organização em rede, nos estudos de Weber (2000) sobre comunidades de interesse online, na metodologia de capacitação "Pensamento Digital" de Joia (1999-1, 1999-2) e na estratégia pedagógico-metodológica do Australian National Training Authority (T AFE/SA). No entanto, as pesquisas de Matesco (2000, 2001) tomaram exeqüível a idéia da construção do Modelo, tendo que vista que o Modelo Exploratório proposto aplica-se, preferencialmente, a países, regiões, empresas ou organizações dependentes tecnologicamente de seus parceiros negociais e com escassez de recursos para aplicar em pesquisa e desenvolvimento. O caminho metodológico para a construção do Modelo inicia-se com uma sucinta abordagem sobre o sistema operacional Linux, a descrição das formas de organização das comunidades Linux e a identificação das formas de organização do trabalho e da produção no Fordismo-Taylorismo e no pós-Fordismo. Situa o funcionamento das comunidades Linux em relação a essas formas de organização. Descreve o processo de formação do conhecimento no aprendizado à distância e no elearning. Aborda a experiência de outros países com o Linux e com as comunidades Linux. Principalmente, o sucesso obtido pelos países nórdicos em absorção de tecnologia. A seguir, fundamentando-se em duas pesquisas de Matesco (2000,2001), analisa a dependência tecnológica do Brasil e propõe o Modelo Exploratório, cujo objetivo é, prioritariamente, colaborar para a redução dessa dependência, por meio de um processo de formação de conhecimento, baseado no aprendizado à distância e e-Iearning do Linux e na propagação de comunidades Linux, empregando-se o modelo de organização em rede.

Modelagem estratigráfica de clinoformas deposicionais : construção e aplicação de um modelo computacional baseado em mecânica estatística

Sob a premissa de que a geometria do perfil deposicional das clinoformas pode conter informações sobre a composição textural dos sedimentos que as compõem, bem como sobre a energia da coluna d’água, foi desenvolvido um modelo computacional para a análise teórica dos fatores controladores do tipo de curvatura dos foresets das clinoformas, e, por extensão dos taludes submarinos. Um modelo análogo de suspensão dinâmica foi implementado experimentalmente com um programa em código Matlab, denominado MAXWELL, e é classificado como um modelo estratigráfico, bidimensional, analítico, determinístico, dinâmico, parcialmente dedutivo e parcialmente baseado em regras. Contém um modelo de escoamento de fluido em linhas de corrente, e trata indiretamente a tensão de cisalhamento no domínio de um sistema fechado bifásico líquido-vapor análogo, a partir a proposta de analogias entre os processos de evaporação e de suspensão de sedimentos. É uma abordagem baseada na competência de transporte do fluxo d’água, pois considera temperatura e velocidade de fluxo combinado onda-corrente como variáveis controladoras análogas da intensidade de transferência de energia. Os processos deposicionais marinhos são reduzidos a um fenômeno da superfície deposicional, que é considerada análoga a uma interface líquidovapor dentro de um sistema fechado. A equação de distribuição estatística de velocidades moleculares de Maxwell é usada para calcular a proporção de moléculas na fase líquida, considerada análoga à proporção de sedimentos depositados, bem como a proporção na fase vapor, tomada como análoga à proporção de sedimentos em suspensão. O estado energético do sistema é parametrizado por três potenciais: energia interna, como função do tamanho de grão (areia, silte ou argila); energia térmica do meio, como função da energia hidrodinâmica, e energia gravitacional, como função do declive topográfico As simulações indicam que os principais fatores controladores do perfil deposicional das clinoformas, e por extensão, dos taludes submarinos em geral, são a energia hidrodinâmica da coluna d’água e a granulometria (ou coesão) do sedimento, que podem ser consideradas dois parâmetros comutáveis, isto é, grãos grossos ou coesos podem produzir sobre a geometria das clinoformas o mesmo efeito da baixa energia hidrodinâmica, e vice-versa. Com base no fator de decaimento da energia hidrodinâmica com o aumento da batimetria, foram definidas três ordens de grandeza da intensidade da energia da coluna d’água: baixa energia (10–1), alta x energia (10-2) e muito alta energia (10-3). Com base nesse critério, foram caracterizados quatro tipos de perfis deposicionais de clinoformas: dois tipos sigmoidais e dois tipos exponenciais. Os tipos sigmoidais podem ser de alta energia ou de muito alta energia, e distinguem-se pela granulometria do sedimento e pela distribuição de declividades em relação à dimensão na direção horizontal. Os perfis de tipo exponencial podem ser tanto de baixa energia, quanto de alta energia. A subida relativa do nível do mar afeta o tipo geométrico do perfil deposicional apenas de forma indireta, a partir da retenção da fração grossa do influxo sedimentar na plataforma ou topset. Os principais fatores controladores do ângulo de declividade do perfil das clinoformas são a granulometria do sedimento, a energia hidrodinâmica, a profundidade d’água da bacia e o desvio lateral da corrente de fundo. A dedução da litofácies a partir da geometria das clinoformas parece promissora apenas para os tipos teóricos sigmoidais, que são distintos na forma e no conteúdo sedimentar.

Inovação e competitividade : uma proposta de redefinição da importância e escopo da inovação no modelo de estratégia competitividade baseado em competências cumulativas

Desenvolvimentos recentes do modelo competitivo denominado ¿cone de areia¿, que se baseia no desenvolvimento de competências que se completam e que são cumulativas, incluem a inovação como a competência mais importante a ser atingida, sendo ela uma conseqüência do desenvolvimento anterior da qualidade, da confiabilidade de entrega, da rapidez de atendimento do pedido, da flexibilidade e da eficiência em custos. Neste trabalho propõe-se a ampliação do conceito de inovação, desdobrando-a quanto à sua radicalidade, e a utilização destes conceitos para aprimoramento do modelo, ampliando e aperfeiçoando suas bases conceituais.

Modelo de adaptação de ensino utilizando agentes pedagógicos

A Inteligência Artificial é uma área da computação onde se está constantemente desenvolvendo pesquisas em software educacionais, principalmente os Sistemas Tutores Inteligentes (STI). Esses sistemas têm a capacidade de se adaptarem às particularidades de cada aluno, proporcionando assim, ambientes que facilitam a aprendizagem do usuário. Recentemente foi incorporada a tecnologia de agentes na modelagem do STI e nos ambientes educacionais na Internet. Estes agentes são denominados pedagógicos quando estão ligados a um ambiente onde existe uma sociedade de agentes que compõem um sistema de ensino-aprendizagem. Este texto apresenta um modelo de adaptação para ambientes genéricos de ensino, composto por agentes pedagógicos. A proposta é baseada em estudos relacionados com sistemas hipermídia adaptativos, sistemas tutores inteligentes, sistemas multiagentes e agentes pedagógicos. Inicialmente, o texto descreve o modelo. Logo após, é apresentada a implementação dos agentes os quais tem como tarefa prover a adaptação do ensino, sendo responsáveis em fornecer o caminho mais efetivo para a aprendizagem do aluno. Os agentes do modelo são denominados Agente Tutor, Agente Perfil e Agente de Comunicação. A realização da adaptação da instrução às características individuais do aprendiz implica o sistema conhecer: os padrões cognitivos de aprendizagem do aluno, traduzidos como estilos de aprendizagem e as suas implicações pedagógicas; e a modelagem das características do aprendiz: nível de conhecimento, metas, experiência e preferências do aprendiz. Finalmente, o texto descreve um estudo de caso, onde o modelo proposto foi integrado num ambiente de aprendizagem, e validado numa disciplina virtual a fim de avaliação de seus objetivos.

Um modelo categorizador intervalar n-dimensional com l-camadas baseado em tesselações

O ICTM (Interval Categorizer Tesselation Model), objeto da presente tese, é um modelo geral para análise de espaços de natureza geométrica, baseado em tesselaçoes, que é capaz de produzir uma categorização confiável de conjunto de pontos de um dado espaço, de acordo com múltiplas características dos pontos, cada característica correspondendo a uma camada do modelo. Por exemplo, na análise de terrenos geográficos, uma região geográfica pode ser analisada de acordo com a sua topografia, vegetaçao, demografia, dados econômicos etc, cada uma gerando uma subdivisão diferente da região. O modelo geral baseado em tesselações não está restrito, porém, a análise de espaços bi-dimensionais. O conjunto dos pontos analisados pode pertencer a um espaço multidimensional, determinando a característica multi-dimensional de cada camada. Um procedimento de projeção das categorizações obtidas em cada camada sobre uma camada básica leva a uma categorização confiavel mais significante, que combina em uma só classificação as análises obtidas para cada característica. Isto permite muitas análises interessantes no que tange a dependência mútua das características. A dimensão da tesselação pode ser arbitrária ou escolhida de acordo com algum critério específico estabelecido pela aplicação. Neste caso, a categorização obtida pode ser refinada, ou pela re-definição da dimensão da tesselação ou tomando cada sub-região resultante para ser analisada separadamente A formalização nos registradores pode ser facilmente recuperada apenas pela indexação dos elementos das matrizes, em qualquer momento da execução. A implementação do modelo é naturalmente paralela, uma vez que a análise é feita basicamente por regras locais. Como os dados de entrada numéricos são usualmente suscetíveis a erros, o modelo utiliza a aritmética intervalar para se ter um controle automático de erros. O modelo ICTM também suporta a extração de fatos sobre as regiões de modo qualitativo, por sentenças lógicas, ou quantitativamente, pela análise de probabilidade. Este trabalho recebe apoio nanceiro do CNPq/CTPETRO e FAPERGS.

Consolidação industrial : estudo de caso do segmento de serviços de apoio à medicina diagnóstica baseado em modelo de opções reais

O objetivo deste trabalho é desenvolver um modelo de tomada de decisão, baseado em Teoria das Opções Reais, para empresas atuantes em mercados em consolidação. Tal modelo tem como objetivo indicar o momento mais adequado para o início de um processo de fusões e aquisições em determinado segmento econômico. O modelo a ser desenvolvido o será sob a ótica do aumento de poder e participação de mercado somente. O mercado brasileiro contém diversos setores da economia ainda fragmentados, que oferecem oportunidades a empresas já atuantes no mercado ou a investidores financeiros, como fundos de Private Equity, atuarem, direta ou indiretamente, respectivamente, como consolidadores de mercado, via fusões e aquisições de empresas. Oportunidades de aquisições podem ser vistas como opções reais. As aquisições sempre são associadas a custos substanciais. Como ao exercer uma opção, uma aquisição se torna rentável quando seu excedente supera seu investimento a ponto de compensar o prêmio da opção. Com este objetivo, analisou-se uma série de modelos de estratégias para aquisições, bem como modelos que explicam a motivação de ondas de fusões e aquisições. A partir do modelo desenvolvido por van den Berg e Smit (2007), adaptou-se o modelo ora apresentado para aplicação a um caso selecionado, o do segmento de serviços de apoio à medicina diagnóstica, cuja consolidação dos mercados de Brasília e Goiânia iniciou-se a partir de 2006. Tal exercício tem o objetivo de evidenciar ou não sua validade bem como condições para sua utilização.

Desenvolvimento de um modelo de apoio à gestão para uma instituição de educação superior baseado em indicadores de desempenho

As últimas décadas apresentaram grandes desafios para a gestão das organizações em geral. A globalização e o acirramento da concorrência têm exposto as fragilidades dos modelos de gestão das empresas menos preparadas. No mercado da educação superior privada no Brasil não é diferente. Este setor tem experimentado forte expansão da oferta, decorrente da percepção das oportunidades de negócio nesta área. Neste contexto, a gestão de Instituições de Ensino Superior (IES) têm representado um desafio para seus administradores. As características destas organizações exigem a adaptação do modelo de gestão às características de um mercado fortemente concorrencial e regulado pelo Estado. O presente trabalho propõe um modelo de apoio à gestão para uma Instituição de Ensino Superior baseado em indicadores de desempenho com vistas a garantir que as estratégias e as ações que delas se desdobrarem estejam alinhadas com sua visão. Para tanto, partiu-se de uma revisão bibliográfica acerca do tema medição de desempenho. Com o estudo de caso buscou-se identificar o atual modelo de gestão da IES, por meio de pesquisas qualitativa e quantitativa. Com a pesquisa foi possível identificar as necessidades da instituição e cruzá-las com os modelos de medição de desempenho estudados. Nesta etapa foi possível relacionar teoria e prática e identificar com a metodologia do grupo focado o melhor modelo de medição de desempenho a ser sugerido como apoio a gestão da instituição. A partir desta etapa é sugerido um modelo de medição de desempenho, baseado no Balanced Scorecard. Foram criadas cinco perspectivas, os objetivos estratégicos e os indicadores de desempenho a eles vinculados. Os resultados obtidos demonstram o cumprimento do objetivo deste estudo, com a proposição das relações de causa-e-efeito entre os objetivos estratégicos e o Mapa Estratégico da Instituição, que permitem alinhar estes objetivos às estratégias definidas.