Uma tradução de gramáticas de hipergrafos baseadas em objetos para cálculo-π

O aumento da escala e funcionalidade dos sistemas de computação e sua crescente complexidade envolvem um aumento significante de custos e exigem recursos humanos altamente qualificados para o desenvolvimento de software. Integrando-se o uso de métodos formais ao desenvolvimento de sistemas complexos, permite-se realizar análises e verificações destes sistemas, garantindo assim sua correção. Existem diversos formalismos que permitem descrever sistemas, cada qual com diferentes níveis de abstração. Quando consideramos sistemas complexos, surge a necessidade de um modelo que forneça construções abstratas que facilitem o entendimento e a especificação destes sistemas. Um modelo baseado em objetos fornece um nível de abstração que tem sido muito aplicado na prática, onde os dados e os processos que os manipulam são descritos juntos em um objeto. Gramática de Grafos Baseada em Objetos (GGBO) é um modelo baseado em objetos, que além de ser uma linguagem visual, apresenta a vantagem de as especificações adquirirem um estilo baseado em objetos, que é bastante familiar à maioria dos desenvolvedores. Porém, as GGBOs não possuem ainda ferramentas para verificação automática de propriedades desejadas nos sistemas modelados. Uma alternativa para resolver isso é definir uma tradução (que preserve a semântica) desta linguagem para outra, para a qual existam verificadores automáticos. Um formalismo bastante conhecido e estabelecido para descrição de sistemas concorrentes, para o qual existem verificadores automáticos, é o cálculo-π. Porém, sob o aspecto de especificação de sistemas complexos, GGBOs parecem ser mais adequadas como linguagem de especificação que o cálculo-π, pois são visuais, mais intuitivas e possuem um estilo baseado em objetos. Neste trabalho foi definido um formalismo (baseado nas GGBOs), denominado Gramática de Hipergrafos Baseada em Objetos e uma tradução deste formalismo para o cálculo-π, aliando assim as vantagens desses dois métodos. Além disso, para validar a tradução definida, foram feitas provas de que a semântica das gramáticas de hipergrafos baseadas em objetos é preservada na tradução.

O uso da simulação computacional como ferramenta de auxílio à tomada de decisão : aplicação em empresa de papelão ondulado

A competição entre as empresas pela busca de mercado tem levado ao aprimoramento de suas atividades e melhorias em seus processos produtivos. Este trabalho apresenta a análise do processo produtivo de uma empresa produtora de embalagens de papelão ondulado através da técnica da simulação computacional. O simulador ProModel foi utilizado no desenvolvimento do estudo e se mostrou adequado para a modelagem do processo produtivo e geração de resultados. Com a sua capacidade de animação, criação de macros e geração de relatórios, ficou facilitado o desenvolvimento e analise de cenários. Isto permitiu que o foco do estudo ficasse sobre a análise dos resultados e simulação de cenários e não na programação para criação e rodagem do modelo de simulação. A partir da modelagem do processo real de trabalho foi possível identificar restrições de capacidades no sistema, o que levou à criação de cenários onde oportunidades de melhoria pudessem ser avaliadas. A revelação de que a parcial utilização do equipamento denominado Onduladeira, o qual gerava perdas por ociosidade nas impressoras, acabou se mostrando como o gargalo do processo produtivo é o mais indicado ponto de melhoria. Com o incremento de produtividade sobre este equipamento, definido a partir de análises dos cenários, obteve-se como resultado a utilização de 100% dos demais equipamentos do processo produtivo. Análises e comparações de resultados entre os cenários e as conclusões do estudo são apresentadas no final do trabalho.

Análise da implementação de uma ferramenta de solução de problemas : o caso de uma indústria de autopeças a partir de um modelo teórico

Resumo não disponível.

Controladoria como uma ferramenta de gestão estratégica: o caso da Telemar

O presente estudo tem por finalidade abordar o novo papel da Controladoria num ambiente de trabalho, onde é exigido o envolvimento de todos os setores da empresa na busca dos resultados estabelecidos pelo conselho de Administração. A Controladoria como Ferramenta de Gestão Estratégica, teve como campo de aplicação a Telemar Norte Leste S/A - Telemar, empresa que surgiu com a privatização do sistema Estatal de Telecomunicações. A Telemar iniciou suas atividades cumprindo um rigoroso programa de metas de qualidade e de universalização exigido pela Agência de Telecomunicações - ANATEL. As exigências dos acionistas da Telemar, em relação ao retomo do capital investido, estabelecem uma nova maneira de gerir a organização com a introdução de Programas de Melhorias de Resultados. Neste contexto são abordados, detalhadamente, o Programa de Metas estabelecido na Telemar Norte Leste S/A - TELEMAR; a escolha de uma ferramenta Gerencial: O EBITDA; a concepção de uma estratégia para o envolvimento dos empregados, o despertar das forças intrínsecas da organização; a divulgação periódica dos resultados do programa e a distribuição de bônus individual a todos empregados. O desenvolvimento da pesquisa ampara-se numa metodologia que reúne os meios bibliográficos, documentais e de campo, com tratamento qualitativo de dados, na delimitação da categoria de estudo de caso.

A internet como ferramenta para venda de veículos: o caso Vitória Webcar

A possibilidade de interagir em tempo real com o consumidor, ao contrário dos monólogos que normalmente caracterizam os tradicionais meios de marketing, alterou drasticamente o jeito como o Customer Service pode ser oferecido, pois permite pesquisas e compras de produtos e serviços on-line, o que representa um maior conforto para o homem contemporâneo, cujo tempo é bem escasso. O mercado representa um papel central na economia de qualquer nação, facilitando a troca de informações, bens, serviços e pagamentos, além de criar valores econômicos para compradores, vendedores, intermediários e para a sociedade de modo geral. Os mercados provêem a infra-estrutura física que permite que as transações entre os compradores e os vendedores ocorram. Dessa forma, entende-se que Mercado e Negociação eletrônica são especializações dos conceitos gerais de Mercado e Negociação. O uso de meios eletrônicos e, mais especificamente, o uso da Internet como recurso para promover o comércio, tem revolucionado todas as formas de comercialização existentes, promovendo o surgimento de novos tipos de mercados eletrônicos, os mercados baseados em Internet. Com tais vantagens, os mercados eletrônicos geram novas oportunidades de negócios, proporcionam novas estratégias para se atingir o consumidor, o fornecedor e os intermediários que estejam dispostos a somar valores na integração cliente/fornecedor. Mercados eletrônicos melhoram as informações compartilhadas entre compradores e fornecedores e ajudam a reduzir o custo de logística permitindo promoções rápidas, entregas imediatas e inventários reduzidos. É a infra-estrutura da informação substituindo sistemas de distribuição física. Foi, portanto, sobre esta temática que buscou-se desenvolver todo o trabalho de pesquisa, enfocando-se um caso real: Vitória Web Car, por ser uma organização que direcionou o seu foco para a qualidade dos serviços, como base para o seu crescimento e diferenciação no mercado do varejo virtual brasileiro.

O processo de auto-avaliação institucional do sistema nacional de avaliação da educação superior - SINAES como ferramenta de gestão Estratégica nas IES: Um Estudo de Caso

O objetivo do presente trabalho foi mostrar a importância do processo de autoavaliação do SINAES Sistema Nacional de Avaliação da Educação Superior ¿ SINAES como um instrumento de Gestão Estratégica nas Instituições de Ensino Superior. Os objetivos específicos foram identificar os pontos fortes e pontos fracos do sistema de autoavaliação; efetuar análises comparativas acerca do nível de desenvolvimento dos trabalhos de autoavalição em algumas IES¿s e identificar o posicionamento de alguns gestores das Instituições de Ensino Superior quanto à utilização do processo de autoavaliação do SINAES no gerenciamento estratégico da IES. A pesquisa teve como base o estudo de caso realizado na FAMA ¿ Faculdade Atenas Maranhense, o qual comportou sua avaliação institucional e uma pesquisa realizada em oito Instituições de Ensino Superior com a aplicação de questionários aos gestores dessas instituições. A relevância da pesquisa concentrase na busca de identificar se algumas Instituições de Ensino Superior, de acordo com a amostra definida e que são atingidas pela Lei 10.861, já finalizaram o processo de avaliação, assim como se utilizam as dimensões trabalhadas como instrumentos de gestão estratégica, o que se constitui em uma contribuíção significativa, tanto para o meio acadêmico, quanto empresarial. Defendese a idéia de que a avaliação institucional, como uma prática complexa, requer a sua estreita vinculação a todo o processo decisório na IES, notadamente daqueles que dizem respeito às questões mais substantivas para a manutenção e crescimento dessa instituição. Concluiuse que na FAMA, Faculdade Atenas Maranhense, a autoavaliação vem auxiliando os gestores na ampliação da visão sobre a instituição e a melhorarem os pontos mais fracos.

A "PROCUSTOMIA" na elaboração e gestão do PPA 2000-2003: a prática determinista incosciente preside a formulação do plano. O planejamento estratégico situacional como ferramenta de governo

O presente trabalho pretende apresentar uma comparação crítica entre o novo modelo de Planejamento, Orçamento e Gestão, adotado pelo Governo Federal na formulação do Plano Plurianual (PPA) 2000-2003, e as bases conceitual, metodológica e organizacional do Planejamento Estratégico Situacional (PES), proposto pelo Prof. Dr. Carlos Matus. Os fundamentos de tal comparação encontram-se na constatação de que o processo de elaboração e gestão do PPA foi, e está sendo, marcado pelo Determinismo Inconsciente dos planejadores públicos, o que Matus denominou de "Procustomania", ou seja, a capacidade de amputar a realidade, concebendo o planejamento de forma autoritária e propenso a ignorar tudo quanto escape às suas capacidades de controle e predição. A análise focou a elaboração e gestão do PPA 2000-2003 no âmbito do Ministério da Justiça, no período de dezembro de 1998 e outubro de 2002, destacando a experiência de aplicação parcial do PES no processo de elaboração dos Programas daquela Pasta no PPA.

A utilização de pesquisa de satisfação de clientes como ferramenta de apoio na formulação de estrategias gerenciais orientadas para o mercado : estudo em uma fábrica de termoplásticos

A eficácia da estratégia de uma empresa é decidida, em última análise, pela maneira como os consumidores a percebem. Resultados operacionais, tais como vendas e lucros, são medidas que dependem do nível de valor agregado criado para os consumidores. Quanto mais alto esse valor, tanto melhor a estratégia. A vantagem competitiva se atinge criando mais valor que os concorrentes e o valor é definido pela percepção do consumidor. Esse trabalho tem por objetivo formular estratégias competitivas para o negócio de Poliuretano Termoplástico, na empresa FCC Fornecedora. O método de trabalho utilizado consistiu, inicialmente, na realização de uma pesquisa de satisfação de clientes. A seguir foi realizada a identificação das fragilidades e potencialidades do negócio, através da avaliação dos ambientes interno e externo, visando assim, à identificação de um conjunto de ações de melhoria coerentes às perspectivas do mercado. Através da utilização de uma matriz importância versus desempenho, a qual foi elaborada antes e após a implementação das ações, foi possível identificar que os atributos relacionados à qualidade e flexibilidade apresentaram significativo incremento em desempenho.

Balanço de massa : uma ferramenta para otimizar os processos de ribeira e curtimento

O setor do couro é de grande interesse para a economia do País, pois a produção mundial de couros é de 329,75 milhões e a do Brasil é de 35,50 milhões, com uma participação mundial de 10,77%, da qual grande parte é para exportação. O processamento de peles em couro consiste em diversas etapas, com adições seqüenciais de produtos químicos em meio aquoso, intercaladas por lavagens e processos mecânicos. Sabe-se que os mais diversos impactos ambientais são gerados nesta indústria, tornando o presente trabalho importante por analisar quantidades adicionadas de água, pele e insumos químicos, também por avaliar a produção, e respectivas quantidades geradas de couro, de resíduos sólidos, de efluentes líquidos, assim como de suas concentrações. Este trabalho teve por objetivo a caracterização das peles e dos banhos residuais, de ribeira e curtimento, através de análises químicas, para efetuar o balanço de massa destas operações. Para a realização desse balanço, foram definidos critérios para o monitoramento dos processos e foram estabelecidos e/ou adaptados os métodos analíticos adequados para quantificar as correntes de entrada e as concentrações das correntes de saída, através de amostragens de águas residuais e de peles, em cada etapa dos processos de ribeira e de curtimento. Foi feito o balanço global e por componentes em escalas piloto e industrial. Através da caracterização das peles por meio das análises químicas, foi mostrado que o processo piloto é representativo para o processo industrial A pesquisa demonstrou a importância do balanço de massa, pois somente através da análise do aproveitamento e das perdas nas diferentes etapas de transformação da matéria-prima pele em wet-blue, é possível otimizar a relação entre os materiais empregados no processo. Os dados obtidos podem ser utilizados como ferramenta para a implementação da gestão e gerenciamento de melhorias no processo produtivo em curtumes, onde se busca manter a qualidade do produto final e diminuir o impacto ambiental e econômico.

O ABC como ferramenta de melhoria contínua de gestão

Este estudo procura estabelecer a adequação da metodologia de Custeio por Atividade como ferramenta de melhoria contínua, num contexto de mudanças sociais, tecnológicas e administrativas ocorridas nas últimas décadas. Aborda questões como Organizações, Qualidade e Estratégia para justificar sua utilização. O estudo fornece informações sobre o Custeio baseado em atividades, utilizando bibliografia anglo-francesa atualizada, procurando definir seus conceitos, e exemplificando sua utilização relacionando-o com o conceito de gestão estratégica de empresa

O posicionamento estratégico como ferramenta do marketing bancário

O conceito de posicionamento de marketing evolui ao longo do tempo, de uma atividade operacional fortemente atrelada ao composto de comunicação da empresa para promover atributos de um produto, até seu estágio mais recente onde é visto como um processo estratégico adotado pela empresa, resultante de uma nova postura de identificação de segmentos e busca de oportunidades de mercado através da diferenciação de sua oferta/imagem. O caráter estratégico do posicionamento pode também ser identificado dentro de um enfoque mais moderno apontado por Regis Mckenna' de posicionar não apenas o produto/empresa com base no consumidor, mas também tendo em mente outros públicos que fazem parte do ambiente da empresa como imprensa, fornecedores, cadeia de vendas e mesmo a concorrência. Este novo enfoque é particularmente muito válido quando se considera o ambiente bancário em que a interrelação entre os bancos é fundamental para a sobrevivência dentro do sistema

Uma análise sistêmica das transformações de uso do solo como suporte à decisão para o planejamento de Unidades de Conservação. Estudo de caso: Parque Nacional do Superagui - PR

Os estudos realizados sobre Unidades de Conservação, e a relação destas Unidades com a população que as habita, trataram em sua maioria dos aspectos antropo-sociológicos da questão. Visto que um aspecto essencial para uma melhor compreensão da questão das populações tradicionais e Unidades de Conservação, contudo pouco explorado, é o processo de mudanças de uso do solo nas regiões em que se inserem estas Unidades, esta pesquisa teve como pretensão preencher esta lacuna. Para tal, são analisadas as transformações de uso do solo em regiões com Unidades de Conservação ambiental e comunidades tradicionais nelas inseridas dentro da realidade brasileira, a fim de melhor compreender suas inter-relações, assim como as implicações de políticas de preservação ambiental incidentes nestas áreas. Esta análise se dá através de modelos de mudança de uso do solo, que são artifícios científicos com estrutura matemática e computacional para apoio ao Planejamento e Gestão Urbana e Regional, e que permitem a análise das causas e das conseqüências da dinâmica dos usos do solo, e quando cenários são utilizados, podem ainda dar suporte ao estabelecimento de políticas e ações de planejamento. Optou-se pela utilização de um sistema de modelagem espaço-temporal integrando um sistema de informações geográficas e um modelo de autômatos celulares como ferramenta de análise das mudanças de uso do solo, incrementado pela análise de demandas pela cadeia de Markov, e com cálculo de preferências de alocação de usos do solo através da Regressão Logística. Procede-se nesta pesquisa a uma avaliação das tendências de uso do solo no Parque Nacional do Superagui, localizado no litoral norte do Estado do Paraná, enquanto estudo de caso. As tendências de uso apresentadas entre os períodos de 1980 e 1990, período anterior à implementação da lei que transformou a área em Parque Nacional, e que poderia ser traduzida como a tendência natural destas comunidades sem a interferência das políticas, são trabalhadas com vista a demonstrar o papel da modelagem na compreensão de realidades, e fornecer embasamento para intervenções pretendidas.

Rótulos ambientais como ferramenta de acesso a mercados de países desenvolvidos

Este trabalho apresenta uma investigação sobre como rótulos ambientais de produção orgânica apóiam o acesso de produtos agroindustriais brasileiros aos mercados de países desenvolvidos (PDs). Três estudos de caso de empreendimentos nacionais são apresentados: uma empresa produtora de açúcar e outra de soja, além de uma cooperativa produtora de cacau em amêndoas - todos portadores de certificação orgânica e exportadores. No âmbito da Organização Mundial de Comércio (OMC), países em desenvolvimento (PEDs) e países menos-desenvolvidos (PMDs) entendem que a inserção dos setores agroindustriais - em que são mais competitivos - nos mercados de PDs é a contrapartida necessária à abertura de seus mercados domésticos a produtos industrializados e serviços. Nesse cenário em que os PDs protegem seus setores agroindustriais, este trabalho mostra que o segmento brasileiro dedicado à produção orgânica, mesmo pouco representativo se comparado ao convencional, incrementa sua participação internacional, tendo como principais destinos justamente os PDs. A análise dos casos estudados revela que os rótulos ambientais de produção orgânica, desde que reconhecidos nos mercados-destino, diferenciam e atribuem confiabilidade às commodities, facilitando o acesso ao mercado internacional. Contudo, são (i) a qualidade dos produtos e a (ii) capacidade das empresas criarem um relacionamento de longo prazo, cumprindo contratos e adaptando-se às necessidades dos clientes, os fatores principais na consolidação do acesso de produtos orgânicos ao mercado internacional. O trabalho apresenta ainda evidências de que aos olhos de consumidores localizados em PDs, os atributos socioambientais do processo de produção de mercadorias, garantidos por rótulos ambientais, influenciam as decisões de compra. A expansão do mercado orgânico se explica inicialmente por questões ligadas à saúde do indivíduo, mas também reflete preocupações com os impactos da produção, num mundo em que as cadeias produtivas encontram-se espalhados pelos continentes e em que os problemas ambientais locais são cada vez mais associados aos globais. Para a OMC, entretanto, restrições comerciais não podem se basear nesses atributos: um produto orgânico e seu semelhante convencional são a mesma coisa.

Integração de dados por meio de geoprocessamento, para a elaboração de mapas geotécnicos, análise do meio físico e suas interações com a mancha urbana : o caso de Porto Alegre (RS)

A elaboração de diagnósticos e a tomada de decisões sobre o meio físico, com a finalidade de estabelecer diretrizes para a ocupação racional do solo, são cada vez mais prementes, especialmente, no que diz respeito ao direcionamento da expansão urbana para áreas mais favoráveis. Da mesma forma, a facilidade de acesso aos parâmetros geotécnicos de uma região constituí um inestimável recurso nas etapas preliminares dos projetos de Engenharia, no planejamento de atividades extrativas e nos programas de preservação ambiental. A cartografia geotécnica, nesse sentido, tem sido um dos instrumentos mais eficientes para a avaliação do meio físico nas últimas décadas. Entretanto, o desenvolvimento de um mapa geotécnico requer a análise de um grande número de informações que precisam ser tratadas e combinadas com rapidez. Esta tese apresenta uma metodologia para a integração de dados, por meio da ferramenta básica geoprocessamento, visando agilizar, na fase de escritório, a elaboração de mapas geotécnicos e a análise de determinados aspectos do meio físico sob o ponto de vista da Geotecnia, bem como suas interações com a mancha urbana existente. A área teste escolhida é o município de Porto Alegre (RS) situado na porção leste do estado do Rio Grande do Sul, à margem esquerda do Lago Guaiba, cuja paisagem é marcada pela diversidade de cenários naturais formados por terrenos de coxilhas, morros, cristas, lagos e planícies. A metodologia envolve a captura, o processamento e a integração de informações provenientes de fontes diversas como mapas temáticos, levantamento aerofotogramétrico, cartas topográficas, fotografias aéreas, imagens de satélite, boletins de sondagens SPT (Standart Penetration Test), dissertações e teses acadêmicas. Para isso, é constituída por nove etapas distintas, que utilizam: a) sistema de digitalização para a conversão de informações analógicas para o meio digital; b) modelagem digital do terreno (MDT) para o modelamento e a identificação do relevo, a determinação de declividades, o mapeamento de áreas com isodeclividades e o cálculo do fator topográfico, esse último objetivando a determinação da suscetibilidade à erosão laminar; c) técnicas de processamento e classificação de imagens orbitais para os mapeamentos das áreas inundáveis e da mancha urbana; d) Sistemas de Informações Geográficas (SIGs) para o processamento e a integração de informações georreferenciadas no computador; e) banco de dados digital para o armazenamento de dados descritivos sobre o meio físico e parâmetros geotécnicos obtidos em laboratório, sondagens e outras formas de investigação in situ. A estimativa das unidades geotécnicas é procedida com base na proposta metodológica para mapeamento geotécnico desenvolvida por Davison Dias (1995), na Universidade Federal do Rio Grande do Sul (UFRGS). Além da elaboração do mapa geotécnico, a metodologia propõe a análise e o cruzamento de vários fatores do meio físico com a mancha urbana existente, ou com uma subárea pertencente à região de estudo, a geração de mapas de aptidão do solo para diferentes usos e a identificação das áreas consideradas de eventos perigosos e de risco geológico. Os principais softwares empregados são o AutoCAD@, o SURFER@, ACESS@ e o IDRISI 2.0@, desenvolvido pela Clark University, USA. Os resultados obtidos a partir da implementação da metodologia demonstraram a importância e a contribuição que a ferramenta básica geoprocessamento pode trazer aos estudos geotécnicos. Os diferentes sistemas de geoprocessamento utilizados para a manipulação e tratamento das informações espaciais mostraram-se adequados e eficientes quando aplicados na coleta, processamento e integração de dados geotécnicos. Para a área teste foram identificadas trinta e sete unidades com perfis de solos com comportamento geotécnico praticamente similar frente ao uso e à ocupação do solo, cujas informações descritivas sobre o meio físico puderam ser facilmente acessadas e visualizadas, no computador, por meio da integração banco de dados geotécnicos com Sistema de Informações Geográficas. Por outro lado, o emprego de técnicas de processamento e classificação de imagens digitais revelou-se um recurso importante para a obtenção de informações sobre o meio físico, enquanto o uso de modelagem digital do terreno (MDT) agilizou o mapeamento das declividades e o cálculo da suscetibilidade potencial à erosão laminar, além de permitir a geração do relevo em perspectiva da região estudada.