Análise da implementação de um sistema de informações em uma instituição de ensino superior segundo o modelo proposto por Walton

Este trabalho consiste de um estudo de caso que tem por objetivo principal, avaliar o processo de implementação de um Sistema de Informações integrado em uma Instituição de Ensino Superior, entidade privada, com base no modelo proposto por Walton(1993).No referencial teórico analisaram-se os conceitos de dados, informação,conhecimento, a informação como recurso estratégico nas organizações, os Sistemas de Informação com o uso da Tecnologia da Informação, apresentando seus tipos, evolução, objetivos e, algumas formas de implementação preconizada na literatura. O instrumento de pesquisa adotado foi a entrevista, estruturada com a utilização de um questionário elaborado a partir dos objetivos do estudo e do modelo de Walton (1993). A análise dos dados coletados foi feita através da aderência das respostas com os preceitos do modelo, o que possibilitou constatar sua contribuição para a identificação dos elementos críticos de um processo de implementação de Sistema de Informações integrado, através das fases inter-relacionadas de criação do contexto favorável, desenho, instalação e uso do sistema, com a contribuição das ações da administração em promoverem os atributos-chave essenciais de alinhamento das estratégias de negócio, de organização e de tecnologia, comprometimento e domínio por parte de todos os envolvidos.

Estudo exploratório sobre a formação da estratégia em organizações do terceiro setor

É crescente a importância do Terceiro Setor no Brasil e no mundo. Esse Setor, que emerge e se consolida como importante agente econômico e social, assume destaque tanto por sua atuação direta na solução de problemas sociais, como na discussão de políticas sociais efetivas e duradouras. Buscou-se, nesse estudo, a partir do conhecimento em estratégia empresarial e de pesquisa empírica, oferecer contribuições para o entendimento dos fenômenos no Terceiro Setor no Brasil. No início desse trabalho, foi realizada uma revisão teórica a respeito do planejamento estratégico e de estratégias emergentes. Analisados em profundidade, esses dois conceitos formaram o quadro de referência inicial da pesquisa. Em seguida, foi realizada uma ampla revisão teórica sobre os estudos no Terceiro Setor, na perspectiva da estratégia empresarial. A partir da revisão teórica, chegou-se à primeira contribuição deste estudo: a definição de um quadro de referência de pesquisa que destaca cinco aspectos importantes para se entender o processo de formação da estratégia em organizações não-governamentais (ONGs). São eles: o processo de profissionalização das ONGs e a adoção do planejamento estratégico formal; a competição entre instituições do Terceiro Setor; o papel da liderança; as redes de ONGs; e a emersão de estratégias. Utilizando-se a metodologia de estudo de casos múltiplos (YIN, 2001), foram pesquisadas, em profundidade, duas ONGs. Nos dois estudos de caso, foi analisada a formação das estratégias ao longo da existência das ONGs, com foco nos cinco aspectos destacados na revisão da literatura. A partir das pesquisas, realizou-se uma análise crítica da teoria, à luz dos dados empíricos levantados através do trabalho de campo, o que resultou na segunda contribuição importante deste estudo: a confirmação de alguns aspectos apontados pela revisão teórica – como a emersão de estratégias e o papel da liderança – e o refinamento teórico de outros – como a formação de redes; o processo de profissionalização e planejamento; e a competição entre as ONGs.

Análise da eficiência técnica dos modelos de gestão dos hospitais públicos do estado de São Paulo no período de 2000-2001

Estudo que sistematiza e compara os resultados apresentados por diferentes modelos de gestão hospitalar pública do Estado de São Paulo, durante o período de 2000 a 2001, quando a rede era composta por mais de 60 hospitais públicos. Por meio de uma extensa revisão bibliográfica foi traçado um panorama ao longo das últimas décadas, no que tange à Reforma do Estado, e as transformações que o Estado sofreu na tentativa da redução dos gastos govermentais, em função de sua crise econômico-financeira à partir da década de 70 e como estas afetaram as políticas de Saúde Pública. Buscou-se uma metodologia que permitisse a análise da eficiência técnica, e do desempenho da nova Política Pública que introduz o terceiro setor e outras formas organizacionais como agentes gestores do aparelho de Saúde Pública. A coleta de dados foi realizada em onze hospitais estudados, os quais foram analisados e classificados de acordo com o modelo de gestão: administração direta, administração mista e administração por OSS; em relação às dimensões de capacidade instalada, recursos humanos, produção e financeiras comparados entre sí e frente a literatura. Seguindo-se a aplicação de dois modelos de DEA (CCR e BCC), orientados à maximização dos resultados, que permitiram a elaboração dos rankings de eficiência técnica. Após a análise dos dados e de posse dos resultados foi realizada a discussão dos mesmos, possibilitando investigar a eficiência técnica de três modelos de gestão hospitalar, tendo em vista as seguintes questões: a eficiência técnica do novo modelo de gestão por Organizações Sociais em Saúde é superior que os demais? Os hospitais de porte menor são mais eficientes? e por fim se os hospitais universitários têm eficiência menor que os demais? Chegando-se à conclusão de que a diferença do escore de eficiência técnica dentre os três modelos de gestão estudados não foi estatísticamente significativa em ¾ dos modelos de DEA aplicados (p-valor 0,1576); que o escore de eficiência técnica não apresentou diferença estatísticamente associada ao porte (H-valor 3,15;) e que os hospitais universitários embora mais custosos não apresentam grau de ineficiência maior que os demais (p-valor 0,2909). E por fim que é recomendável introduzirem-se métodos objetivos de avaliação da eficiência hospitalar como ferramenta indispensável à moderna Administração de Saúde e à elaboração e definição de Políticas Públicas direcionadas ao Setor.

Discricionariedade vs. comprometimento: a análise de regras ótimas num contexto de regime de metas de inflação

O objetivo desta dissertação é analisar as regras de condução da política monetária em modelos em que os agentes formam suas expectativas de forma racional (forward looking models), no contexto do regime de metas de inflação. As soluções ótimas de pré - comprometimento e discricionária são derivadas e aplicadas a um modelo macroeconômico para a economia brasileira e os resultados são também comparados com os obtidos pela adoção da regra de Taylor. A análise do comportamento do modelo sob diferentes regras é feita através da construção da fronteira do trede-oit da variância do hiato do produto e da inflação e da análise dinâmica frente a ocorrência de choques. A discussão referente à análise dinâmica do modelo é estendida para o caso onde a persistência dos choques é variada.

A cadeia da carne bovina no Brasil: uma análise de poder de mercado e teoria da informação

Esta tese analisou a cadeia da carne bovina no Brasil com o objetivo de identificar a existência de assimetrias nas relações comerciais entre seus agentes (pecuaristas, frigoríficos e supermercados). Foram investigadas duas formas de assimetria: a diferença de conteúdo informacional entre os agentes econômicos, no mercado futuro de boi gordo da BM&F e a possibilidade de exercício de poderes de mercado e de barganha nas relações comerciais dentro dessa cadeia. A análise de poder de mercado baseou-se na estrutura analítica de Crespi, Gao e Peterson (2005), e permitiu inferir que existe poder de mercado na aquisição de bois pelos frigoríficos, o que vai ao encontro dos resultados observados em outros oligopólios de estrutura caracterizada por um mercado pulverizado na ponta fornecedora e por um processo local, isto é, na própria região, de escoamento da produção. Implementou-se uma análise complementar sobre a estrutura de formação do preço do boi, na qual identificou-se que São Paulo é a região formadora dos preços. A relação entre frigoríficos e supermercados foi analisada através do modelo momentum threshold autoregression (M-TAR) e observou-se que os supermercados apropriam-se das reduções observada no preço do atacado e repassam ao varejo eventuais aumentos de preços no atacado. Portanto, é possível concluir que os supermercados têm poder de barganha junto aos frigoríficos, o que era esperado, pelo fato de esses estabelecimentos adquirirem volumes significativos e se posicionarem como principais canais de distribuição da carne. E, por fim, verificou-se a existência de assimetrias informacionais entre os participantes do mercado futuro de boi gordo da BM&F, mensurada por meio de uma análise sobre a relação entre a volatilidade dos preços futuros e as posições por tipo de participante. Os resultados encontrados corroboraram a hipótese de que os frigoríficos têm mais informação, no mercado futuro, que os demais agentes.

Estudo sobre o risco de mercado de uma carteira de opções através da análise de componentes principais

A presente dissertação tem como objeto de estudo a superfície de volatilidade implícita de opções européias da paridade Real / Dólar no mercado brasileiro. Este trabalho não tenta explicar as deformações ou os desvios da volatilidade implícita com relação à hipótese de volatilidade constante do modelo de Black & Scholes (1973), mas trata a volatilidade implícita como uma variável financeira interessante por si só, procurando analisar a dinâmica de sua superfície. Para a análise desta superfície, o presente estudo propõe a utilização de uma ferramenta empregada em estudos empíricos de diversos ramos da ciência: a Análise de Componentes Principais – ACP (Principal Component Analysis). As mudanças na superfície de volatilidade alteram o apreçamento das opções de uma carteira. Desta forma, constituem um fator de risco que precisa ser estudado e entendido para o desenvolvimento de estratégias de imunização e de técnicas de gerenciamento de risco, dentre elas o cálculo de Valor em Risco (V@R – Value at Risk). De posse dos resultados obtidos com a análise de componentes principais da superfície de volatilidade implícita, o presente estudo tem por objetivo obter valores limite de variação desta volatilidade implícita, como forma de estimar as conseqüentes variações extremas nos valores de uma carteira de opções. Para tanto, baseia-se em estudos sobre a aplicação da análise de componentes principais da superfície de volatilidade implícita desenvolvidos por Alexander (2001). Estes estudos, por sua vez, são derivados de estudo sobre a dinâmica de curvas de volatilidade proposto por Derman (1999). Para se verificar a eficiência da metodologia proposta, os valores extremos obtidos são testados de acordo com os critérios de teste retroativo propostos pela emenda ao comitê da Basiléia de 1996.

O valor da política de remuneração : aplicação da análise da utilidade ao caso de uma empresa no Brasil

A literatura de Recursos Humanos sugere a seus profissionais que, ao buscar aprovação para investimentos em projetos e programas de RH, enfatizem a contribuição que eles podem dar ao atingimento dos objetivos de negócios de suas organizações. As empresas, impelidas pela competição cada dia mais acirrada, esperam que seus profissionais de RH justifiquem os investimentos em linguagem que demonstre de maneira clara os benefícios que possam adicionar na busca de tais objetivos - esta linguagem necessariamente se relaciona ao resultado financeiro e econômico das empresas. Se é reduzida a influência das áreas de RH ou baixa a prioridade dada à implementação de seus programas, esta situação pode não ser nada mais nada menos do que uma resposta racional da direção das empresas, que apesar de “conhecer” intuitivamente os benefícios da atividade, não dispõe de uma medida objetiva sobre eles. Na falta de tal medida, a organização não consegue priorizar adequadamente os programas de RH em seu plano de investimentos. A Análise da Utilidade oferece uma resposta a este problema. Ela consiste em uma família de teorias e medidas desenhadas para descrever, predizer e/ou explicar quão úteis e desejáveis são as opções de decisão relativas aos diversos programas da Gestão de RH – seleção, treinamento, avaliação de desempenho, remuneração, etc., e pode ser considerada como uma análise de custos e benefícios: os custos reduzem a utilidade e os benefícios a aumentam. A Análise da Utilidade é um instrumento adequado ao ambiente de negócios porque insiste em que tanto os custos como as conseqüências das decisões sejam sempre considerados de antemão. O mérito de sua abordagem é que ela resulta em decisões fundamentadas em raciocínio robusto, racional e consciente, através da linguagem mais utilizada no mundo dos negócios da atualidade – custos, benefícios, retornos de investimentos, e seus impactos sobre os resultados finais, financeiros e econômicos. Neste trabalho aplicamos a metodologia definida por Sturman et al. (2003), destinada ao uso da Análise da Utilidade na avaliação do valor econômico de diferentes políticas de remuneração, ao caso de uma grande empresa do setor financeiro no Brasil. Nossas conclusões demonstram o valor do uso da Análise da Utilidade na justificação de políticas de remuneração de alto valor. Esta justificação se baseia nas estimativas de valor incremental dos recursos humanos que tais políticas ajudam a reter, contrabalançado pelos riscos de sua implementação. Tais políticas, se julgadas pelos padrões tradicionais de custo, seriam descartadas. Demonstramos que a Análise da Utilidade viabiliza uma linguagem comum entre a área de RH, a alta direção e demais áreas da empresa – contribuição aos objetivos do negócio. Isto deve facilitar a comunicação e divulgação dos benefícios, implantação e monitoração dos programas de RH.

Análise de ecossistemas aquáticos através do método input-output : estudo de caso lagoa Itapeva (sistema lagunar costeiro do Rio Grande do Sul)

A enorme complexidade dos sistemas ecológicos tem sido uma grande barreira para a compreensão e o gerenciamento da problemática ambiental. Neste sentido a modelagem matemática é uma valiosa ferramenta, devido a sua capacidade de organizar as informações disponíveis sobre estes sistemas e de fazer previsões a seu respeito para diferentes condições. Desta forma a análise de sistemas naturais vem sendo abordada de diferentes maneiras, sendo que nas últimas décadas a teoria de ecossistemas expandiu-se e ramos específicos, que permitem seguir e predizer a evolução de ecossistemas, foram formulados. Um destes enfoques, conhecido como análise do fluxo de insumo-produto, pode ser utilizado para explicar o funcionamento e estrutura dos subsistemas de um ecossistema através da descrição dos fluxos de matéria ou energia. A análise do fluxo de insumo-produto pode ser representada através de dois modelos: o modelo determinístico ou o modelo estocástico, tendo sua origem em estudos de caso com o objetivo de analisar a econômica norte-americana, sendo uma extensão prática da teoria clássica de interdependência geral. Este trabalho faz uma abordagem sintética da evolução desta análise, avaliando dados teóricos e principalmente dados referentes à Lagoa Itapeva. A análise de input-output (determinística e estocástica) com o propósito de obter informações no que diz respeito aos fluxos (matéria e energia), é bastante simples; sendo que os modelos determinísticos se prestam melhor para traçar um panorama global e para obter projeções para as variáveis já os modelos estocásticos são mais complexos, mas provêem uma descrição mais acurada. Na Lagoa Itapeva os processos determinísticos demonstraram um baixo índice de ciclagem do carbono entre os três compartimentos em estudo e o fluxo preferencial na normalização corresponde ao compartimento dos produtores primários, isto decorre de não existir loop nos compartimentos em estudo e também não existir fluxos em dois sentidos. Em relação à avaliação estocástica foram observadas uma baixa relação no sentido espacial superfície-meio-fundo da lagoa, e uma boa distribuição espacial norte-centro-sul. Quanto à distribuição temporal, foi constatada uma baixa concordância entre os dados analisados e os dados reais quanto das análises realizadas em intervalos de tempo pequeno (horas) e uma boa concordância nas medidas feitas quando o intervalo foi significativo (meses). Também em relação à Lagoa Itapeva, foi verificado nas análises estocásticas, utilizando-se operadores espaciais, que como a dinâmica biológica nem sempre é linear, os organismos não podem acompanhar imediatamente e perfeitamente as mudanças do ambiente, resultando em tempos de residência de matéria significativamente baixo. Além da análise dos fluxos ligados a este ecossistema lagunar, foram desenvolvidas técnicas de correção e adaptação de dados referentes à amostragem ocorrida na Lagoa durante um ano de campanha. Assim, propõe-se uma nova perspectiva no uso desta metodologia de forma simples e de fácil manipulação matemática.

Análise de um novo modelo de governança para hospitais públicos no Brasil segundo a abordagem dos custos de transação: o caso das organizações sociais no estado de São Paulo

Esta tese sustenta que a implantação de modelos híbridos de governança em organizações ou sistemas que antes eram governados por tipos hierarquizados cria novos custos de transação e que isso não impede a continuidade nem a expansão desse modelo porque a sua escolha não é unicamente baseada na minimização dos custos de transação, mas também nos efeitos de performance proporcionados. Para chegar a essa conclusão, investigaram-se as características das transações referentes à contratação de serviços hospitalares pela Secretaria de Estado da Saúde de São Paulo, os custos decorrentes dessas características associados aos problemas típicos de governança, e o desempenho das organizações após a implantação do modelo. Para estabelecer tal relação, realizou-se um estudo comparativo entre três hospitais públicos estaduais governados por Organizações Sociais de Saúde – OSS – e três hospitais da administração direta, com portes e perfis assistenciais similares. Foram entrevistados os atores-chave dos hospitais e da área responsável pela gestão dos contratos com as OSS e analisados relatórios e os dados oficiais do Ministério da Saúde e da Secretaria Estadual de Saúde sobre o desempenho dos hospitais escolhidos. Concluiu-se que a governança das OSS incrementou os custos de transação em cerca de 1% dos gastos totais, mas que os hospitais segundo esse modelo apresentaram um desempenho altamente satisfatório em comparação com o grupo de hospitais da administração direta. Outra descoberta do estudo é que a introdução do modelo das OSS reduziu, nesses hospitais, os níveis de incerteza comportamental e ambiental, que ficaram significativamente mais baixas do que os percebidos pelos hospitais da administração direta.

Organizações não governamentais : um estudo de caso da Federação de Órgãos para Assistência Social e Educacional (FASE)

O objetivo da pesquisa Organizações Não Governamentais: um estudo de caso da Federação de Órgãos para Assistência Social e Educacional (FASE) é analisar a intervenção social desta ONG, com destaque para a dimensão educativa das práticas e concepções através das quais se realiza sua intervenção. Para o alcance do objetivo acima enunciado foi necessário fazer uma pesquisa com o propósito de uma análise qualitativa da atuação histórica da FASE, procurando captar as prováveis mudanças por que passou e passa essa Organização, para, desse modo, compreender sua base conceitual. Assim, a pesquisa foi dirigida para o exame dessas transformações, levando-se em consideração as mudanças políticas, econômicas e sociais por que passa a sociedade brasileira nos anos de 1980 e 1990, principalmente. Essa pesquisa procura fazer uma análise qualitativa da atuação histórica da FASE, principalmente no campo educacional, compreendendo a educação no seu sentido amplo, ou seja, não-institucional, não-escolar e sim sócio educativo. Dessa forma, analiso a FASE como uma ONG paradigmática, ou seja, uma organização que serve de referência para a compreensão de outras organizações. Assim, a pesquisa procurará compreender como as ONGs vêm se comportando diante dos conflitos sociais a partir das parcerias e do uso de recursos diretos ou indiretos do Banco Mundial, bem como, se está fazendo algum tipo de disciplinamento e controle sobre os movimentos sociais, ou ainda, se estes interferem nas políticas sociais implementadas. Esta tese está organizada da forma que se segue. No primeiro Capítulo articulo a experiência de educador popular com as questões de pesquisa, considerando a minha trajetória de vida, a relevância desta pesquisa e as indicações metodológicas a partir da apresentação da FASE como sujeito histórico. No segundo Capítulo reflito sobre as metamorfoses por que passou e passa o Estado, as suas possíveis relações com os movimentos sociais e as ONGs como espaços públicos e/ou privados. No terceiro Capitulo discuto a formação das ONGs e suas perspectivas política e educativa a partir do seu surgimento e consolidação no Brasil, o chamado terceiro setor e as suas possíveis diferenciações, a relação com o Banco Mundial e as relações e interferências nos projetos das ONGs e, por fim, projeto uma política educacional que tenha a emancipação humana como base para a transformação social. No quarto Capítulo analiso a FASE a partir de sua história, trajetória e concepção, seu projeto social e a sua intervenção educacional nos anos de 1980 e 1990, procurando desvendar as possíveis diferenciações nos seus encaminhamentos. Concluo tecendo algumas considerações sobre o caráter contraditório das ONGs.

Análise das políticas ambientais aplicadas aos moradores das margens do Arroio Pampa no município de Novo Hamburgo

As cidades apresentam as múltiplas dimensões do homem que, por sua vez, enovelam-se numa multiplicidade de relações internas exigindo de quem busca a compreensão destas espacialidades, também uma multiplicidade de olhares que se entrecruzam na constituição de um espaço que, por sua vez, é entendido e analisado, na maioria das vezes, sob uma visão mais totalizadora. Ao se buscar uma visão mais totalizada dos espaços urbanos, mascara-se um conjunto de redes de ações constituídas por agentes locais responsáveis pelo processo de urbanização/fragmentação do espaço e que, também, estão por trás da apropriação da terra urbana, a fim de atender aos interesses pessoais, que acabam por gerir profundas desigualdades, tanto no campo social como no espacial. A constituição deste cenário foi sendo montada paralelamente ao intenso processo de urbanização ocorrido no Brasil, alavancado pelo “milagre econômico brasileiro” que provocou um forte êxodo rural, de forma especial, nas décadas de 1960 e 1970. Nesse processo, muitas cidades, que ofereciam alguma oportunidade de empregos, logo foram tomadas por pessoas que abandonavam o campo em busca de melhores oportunidades nos centros urbanos. A rapidez com a qual se processou este fenômeno fez com que a maioria das cidades não estivesse preparadas para receber um grande fluxo de pessoas, tanto no que diz respeito à infra-estrutura urbana, quanto na oferta de oportunidades de empregos. A conjugação desses dois fatores levou a rupturas na organização dos espaços urbanos que, com o tempo, foram se reorganizando e se reproduzindo em múltiplas relações internas redesenhado uma nova espacialidade urbana. É na constituição dessa nova espacialidade urbana, que fez a cidade de Novo Hamburgo, distante 45km da capital Porto Alegre, reproduzir em seu território uma gama de novos espaços, construídos no bojo da sua industrialização, baseada no setor coureiro-calçadista e acompanhada fortemente pelo 9 êxodo rural; que fez constituir na paisagem urbana inúmeras sub-moradias em áreas que não despertavam grandes interesses imobiliários, como as de domínio público e as de risco. A partir da década de 1990, ocorreu uma estagnação da economia em escala nacional estancando, também, os fluxos migratórios, o que fez atingir assim, a grande Porto Alegre, onde a cidade de Novo Hamburgo está inserida. A partir dessa estagnação do êxodo rural e de uma relativa recuperação da economia coureiro-calçadista, a prefeitura municipal, através de suas secretarias, busca atualmente, uma recuperação e revitalização desses espaços urbanos embasados em uma retórica sócioambiental. Um dos pontos em que a prefeitura municipal de Novo Hamburgo vem atuando envolve as vilas formadas ao longo das margens do arroio Pampa. Este arroio atravessa dois dos bairros mais populosos do município e é onde as questões sociais através das sub-habitações e as questões ambientais através da degradação das águas do arroio estão presentes. As políticas públicas adotadas na revitalização e recuperação das margens e do arroio “agredidos” pela ocupação humana, na realidade, não recomporão o quadro natural. A Secretaria de Obras do município está construindo uma avenida que margeará todo o arroio. Assim, quando todas as famílias que ali se encontram forem removidas, a qualidade das águas do arroio Pampa continuará péssima; entretanto, a cidade de Novo Hamburgo não possui estação de tratamento de esgoto, e as indústrias localizadas próximas ao arroio também despejam seus desejos nele sem o tratamento adequado. Este estudo aponta que, no aspecto social, a prefeitura está apenas promovendo a remoção das famílias para loteamentos populares (a prefeitura somente disponibiliza o terreno); no entanto, estão muito distantes do ponto onde atualmente vivem e com pouca oferta de infra-estrutura urbana. Esta remoção, para um lugar muito distante, provoca uma grande ruptura na territorialidade desta população, além de encarecer o seu custo de vida com transportes para ter acesso às escolas, ao local de trabalho, a bancos, a postos de saúde, por exemplo. A desterritorialização e a necessidade de recompor uma nova territorialidade sob as condições impostas pelo poder público municipal não a coloca numa situação de inclusão social e, de certa forma, fere a sua cidadania construída nas margens do arroio Pampa, mas não necessariamente vinculada a ele.

Priorização de projetos, através da identificação e análise de critérios de seleção, relacionados aos objetivos estratégicos de negócio

O problema a ser tratado por essa dissertação de mestrado é a seleção de projetos, de qualquer natureza, a serem executados por uma empresa ou uma área/departamento de uma empresa, considerando o portfólio de projetos existente e o orçamento disponível para tal. O objetivo é ordenar os projetos ou grupos de projetos de forma a identificar os projetos mais relevantes e/ou prioritários para a empresa. Essa relevância é identificada através de critérios que são avaliados por especialistas da empresa ou departamento em questão. Esses critérios são definidos pelos especialistas da empresa e oriundos tanto do plano estratégico e dos objetivos estratégicos da empresa ou departamento, quanto da experiência desses especialistas. São identificados e discutidos previamente às atividades de ordenação dos projetos. Uma vez que esses projetos ou grupos de projetos estejam ordenados, basta seguir essa seqüência para definir quais projetos são comportados pelo orçamento da empresa ou do departamento. Após essa decisão os projetos selecionados deverão ser executados de forma a produzir o resultado esperado.

Identificação de nomes ativos em agentes-π baseada em tipos

Na última década muitos esforços têm sido feitos em verificação formal de propriedades de agentes do cálculo-π. Uma dessas propriedades é a equivalência observacional, que serve para determinar se um processo é equivalente a sua especificação. Contudo, a verificação de equivalência observacional não é um problema trivial. A maioria dos algoritmos destinados a verificação de equivalência são baseados na construção de sistemas de transições rotuladas (π-autômatos). O principal problema com essa abordagem é o grande número de estados envolvidos podendo chegar a um número infinito. Montanari e Pistore mostram que é possível gerar π-autômatos finitos para agentes-π e é possível reduzir a quantidade de estados desses π-autômatos, através da identificação dos nomes ativos. Um nome é semanticamente ativo em um agente se ele pode ser executado de forma observável por ele. Este é um trabalho de análise estática, que tem por objetivo coletar os possíveis nomes ativos contidos em expressões-π, utilizando para isso um sistema de tipos. A vantagem da utilização de sistemas de tipos em relação a outras formas de análise estática é que sistemas de tipos são sistemas lógicos, logo as técnicas de prova da lógica podem ser aproveitadas no estudo de propriedades de sistemas de tipos. Além disso sistemas de tipos são definidos através da estrutura sintática de expressões, facilitando assim as provas por indução estrutural. Assim a principal contribuição deste trabalho é a elaboração do Active-Base-π, um sistema de tipos para a coleta de nomes ativos de expressões-π.

Análise de estruturas compostas por aduelas pré-moldadas de concreto com protenção externa, sob estado plano de tensão, através do método dos elementos finitos

Aduelas protendidas externamente utilizadas em pontes contrastam com as clássicas construções monolíticas, consistindo de “pequenos” segmentos pré-moldados protendidos por cordoalhas externas. Há muitas vantagens na utilização deste tipo de composição, como rapidez e versatilidade na construção, alto controle de qualidade e economia. No presente trabalho, discute-se uma formulação, baseada no método dos elementos finitos, para simular o comportamento de estruturas compostas por aduelas externamente protendidas. Esta formulação permite tanto a análise de situações de serviço, onde as seções permanecem completamente comprimidas, como também de situações últimas, onde se considera a abertura das juntas e a transferência de esforços através das mesmas. O modelo computacional utiliza dois procedimentos distintos, baseados em um modelo elasto-viscoplástico. No primeiro, determina-se a resposta da estrutura ao longo do tempo, considerando-se, nesta etapa, que o material possui comportamento viscoelástico. No segundo, busca-se a resposta da estrutura para um carregamento instantâneo, considerando-se o material com um comportamento elastoplástico. As juntas entre as aduelas são representadas através de elementos de contato unidimensionais. Os nós de cada elemento de contato coincidem com os nós do elemento de concreto que a ele foi associado.Um modelo de camadas superpostas é utilizado para representar o comportamento viscoelástico do concreto e da armadura protendida Para representar o concreto fissurado, utiliza-se um modelo de fissuras distribuídas, que leva em conta a contribuição do concreto entre fissuras. A armadura passiva é introduzida na análise através de um modelo incorporado e a armadura de protensão não aderente é disposta em elementos fictícios, paralelos aos elementos reais da estrutura. Para verificar a adequação do modelo computacional, compararam-se resultados numéricos com valores experimentais disponíveis na literatura.

Método para redução das perdas de produtividade através da análise dos defeitos durante o processo de montagem em uma empresa fabricante de máquinas têxteis

Resumo não disponível.