GURU : uma ferramenta para administrar banco de dados através da web

Antigamente as informações que as organizações utilizavam durante a sua gestão eram suficientemente armazenadas em arquivos. A própria aplicação era responsável pela manipulação dos dados e pela função de guardá-los de maneira segura. No entanto, a sociedade evoluiu com tamanha rapidez que as organizações começaram a gerar uma quantidade cada vez maior de informação e, também, a rapidez de acesso às informações armazenadas tornou-se cada vez mais importante. Os antigos sistemas de arquivos tornaram-se complexos sistemas de armazenamento de informações responsáveis por gerir grandes volumes de dados, chamados Sistemas Gerenciadores de Banco de Dados - SGBD’s. Devido à complexidade dos bancos de dados e à necessidade de sua operação ininterrupta surge a tarefa do Administrador, cuja função é assegurar que os bancos de dados permaneçam operantes, íntegros e rápidos. Para realizar suas tarefas o Administrador precisa contar com boas ferramentas de modo a tornar as intervenções no banco de dados rápidas e seguras. Existem no mercado, boas ferramentas para administração de banco de dados. No entanto, são todas proprietárias, possuem custo elevado e apresentam deficiências quando o DBA e o BD estão localizados logicamente em redes de dados distintas. Para tentar resolver este problema, este trabalho se propõe a desenvolver uma ferramenta de administração de banco de dados que o DBA possa utilizar para gerenciar os bancos de dados, utilizando a Web como instrumento.

Graphical models and point set matching

Point pattern matching in Euclidean Spaces is one of the fundamental problems in Pattern Recognition, having applications ranging from Computer Vision to Computational Chemistry. Whenever two complex patterns are encoded by two sets of points identifying their key features, their comparison can be seen as a point pattern matching problem. This work proposes a single approach to both exact and inexact point set matching in Euclidean Spaces of arbitrary dimension. In the case of exact matching, it is assured to find an optimal solution. For inexact matching (when noise is involved), experimental results confirm the validity of the approach. We start by regarding point pattern matching as a weighted graph matching problem. We then formulate the weighted graph matching problem as one of Bayesian inference in a probabilistic graphical model. By exploiting the existence of fundamental constraints in patterns embedded in Euclidean Spaces, we prove that for exact point set matching a simple graphical model is equivalent to the full model. It is possible to show that exact probabilistic inference in this simple model has polynomial time complexity with respect to the number of elements in the patterns to be matched. This gives rise to a technique that for exact matching provably finds a global optimum in polynomial time for any dimensionality of the underlying Euclidean Space. Computational experiments comparing this technique with well-known probabilistic relaxation labeling show significant performance improvement for inexact matching. The proposed approach is significantly more robust under augmentation of the sizes of the involved patterns. In the absence of noise, the results are always perfect.

Modelagem da cinética de polimerização em lama de eteno

A modelagem matemática é uma ferramenta que apresenta diversas vantagens no estudo de processos industriais como, por exemplo, entender e desenvolver tecnologias, avaliar o impacto de variáveis nas propriedades do produto, estudos de redução de custos de produção e de impacto ambiental. O objetivo deste trabalho é desenvolver e validar um modelo matemático para um reator de bancada de polimerização em lama de eteno, enfatizando o desenvolvimento do modelo cinético. O modelo do reator contemplou: 1) modelo de troca térmica; 2) modelo termodinâmico; 3) modelo de transferência de massa gás-líquido e 4)modelo cinético. Para uma melhor predição do modelo foi realizada a estimação de alguns dos seus parâmetros conforme uma metodologia que compreendeu a análise de sensibilidade paramétrica e das variáveis de entrada do modelo e os efeitos de um planejamento de experimentos para a geração dos dados experimentais. A metodologia utilizada mostrou-se eficiente na avaliação do modelo quanto as suas características de predição, ajudando na identificação de possíveis falhas e evidenciando as vantagens de uma adequada metodologia experimental. Uma etapa determinante para o processo de estimação dos parâmetros é a escolha dos dados de saída a utilizar para a estimativa de determinado parâmetro. A modelagem do reator experimental mostrou-se satisfatória em todos os aspectos do processo (troca térmica, cinética, termodinâmica e transferência de massa), pois o modelo prediz com precisão as características encontradas nos experimentos. Assim, este pode ser utilizado para avaliar o mecanismo reacional envolvido de forma a aproximar-se das reais características do processo.

Produção in vitro de embriões bovinos utilizando diferentes condições de maturação oocitária

O experimento avaliou o uso do meio TCM-199 suplementado com: SVE, SEE e SFB (meio indefinido); BSA (meio semi-definido) e PVA (meio definido); na presença ou ausência de hormônios (FSH e hCG) na maturação in vitro de oócitos bovinos nas condições do Laboratório de Embriologia e Biotécnicas de Reprodução da UFRGS. Complexos cumuli-oophorus (CCOs), em número total de 1458, foram aleatoriamente distribuídos em doze tratamentos, maturados por 24 h em atmosfera de 5% CO2, em ar e 100% umidade relativa em estufa a 39°C. A fecundação nos doze tratamentos foi realizada mediante exposição dos CCOs maturados aos espermatozóides (1x106/mL), previamente capacitados, durante 20 h. O cultivo foi realizado em fluído sintético de oviduto modificado (SOFaa) acrescido de 10% SVE a 39°C, 100% de umidade relativa do ar e 5% CO2, 5% O2 e 90% N2. Na presença de hormônios os meios indefinidos (SVE: 63,6%, 70/110; SEE: 53,4%, 70/131 e SFB: 56,0%, 75/134) apresentaram maior eficiência em proporcionar suporte à primeira divisão embrionária, em comparação ao meio definido (PVP: 50,6%, 45/89). Os CCOs maturados em meio indefinido suplementado com SVE e hormônios apresentaram maior competência em fecundar e suportar o desenvolvimento embrionário até o estádio de blastocisto após sete dias de cultivo (27,3%, 30/110).

Polietilenos produzidos com zirconocenos suportados hídricos

Neste trabalho foi estudada a combinação dos catalisadores Cp2ZrCl2 e (nBuCp)2ZrCl2 em reações de (co)polimerização com eteno-1-hexeno, em presença de metiluminoxano. Os zirconocenos foram combinados em três razões molares 1:1, 1:3 e 3:1. Nestas razões foram estudados 3 sistemas homogêneos e 6 heterogêneos. Os catalisadores foram imobilizados sobre a sílica em diferente ordem de adição sobre o suporte. A ordem de imobilização afeta o teor de metal fixado, tendo sido verificado um maior teor de metal e maior atividade nos sistemas onde o Cp2ZrCl2 foi imobilizado primeiro. Foi observado, pela modelagem molecular usando o método EHMO, que o Cp2ZrCl2 apresenta maior afinidade pelo plano AIS da sílica e que o (nBuCp)2ZrCl2 tem bem menor afinidade por este plano, no qual são gerados os sítios ativos. A temperatura, pressão, teor de comonômero e razão Al/Zr influenciam a atividade das reações de polimerização. Os (co)polímeros obtidos foram avaliados quanto à massa molar média, polidispersão, temperatura de fusão, cristalinidade e teor de comonômero. Os sistemas híbridos suportados produziram copolímeros com similar temperatura de fusão, em relação aos homogêneos, mas com menor cristalinidade. A incorporação do comonômero na cadeia polimérica levou à diminuição da massa molar média, temperatura de fusão e cristalinidade, nos copolímeros obtidos a partir da variação do teor de comonômero e da razão Al/Zr. Os (co)polímeros gerados pelos sistemas estudados não apresentaram bimodalidade na distribuição de massa molar. Nas razões molares 1:3 e 3:1, com os sistemas homogêneos, foram obtidos copolímeros com larga distribuição de massa molar. A modelagem molecular dos resultados obtidos, em reações de homopolimerização, permitiu sugerir a existência de vários sítios ativos, gerados pela influência de um catalisador sobre o outro, quando utilizados sistemas híbridos e também pela influência da presença do suporte.

Pop-management: grandes empresas de consultoria no Brasil

Nesta pesquisa, investigamos e analisamos as empresas de consultoria no Brasil e seu papel na divulgação e legitimação de novas idéias e práticas de gestão empresarial. As empresas de consultoria fazem parte do campo do management, junto com a mídia de negócios, os gurus empresariais e as escolas de Administração. Participaram do estudo 4 grandes empresas de consultoria. A pesquisa compreendeu 3 frentes: (1) uma investigação sobre o tema junto às publicações acadêmicas e revistas de negócios, (2) entrevistas com sócios e pessoas-chave de grandes empresas de consultoria e (3) análise de projetos típicos implementados por estas empresas. Concluímos que as consultorias vivem dilemas complexos de atuação junto aos clientes. Especulamos ainda que tais organizações constituem elementos de reprodução e adaptação (limitada) de expertise estrangeira e são agentes influentes de difusão da cultura do management.

A fundamentação microeconômica da macroeconomia e o problema da coordenação econômica

O objetivo deste artigo é discutir a necessidade de uma microfundamentação para a macroeconomia. Para tanto procurará mostrar que este é um falso problema para a análise Keynesiana, na medida em que esta supõe que a coordenação da economia não pode ser feita mediante os mecanismos de preços, mas que depende de certos arranjos institucionais. De outro lado, a análise procurará mostrar que os mecanismos de preços não podem coordenar uma economia real, no caso a capitalista, se supusermos realisticamente que esta apresenta, através do mecanismo de preços, comportamentos complexos e/ou caóticos.

Orientação para o mercado e desempenho financeiro: o panorama das concessionárias general motors no ramo automobilístico brasileiro

Este relatório trata de uma pesquisa sobre o Impacto da Orientação para o Mercado sobre o Desempenho Financeiro. Foi realizada uma revisão teórica e seguiu-se o delineamento de um modelo conceitual. Tal modelo foi testado empiricamente com os dados de uma amostra de 192 concessionárias de veículos General Motors operando no Brasil, utilizando-se do método de modelagem de equações estruturais. Apesar das limitações incidentes, o ajustamento global do Modelo revelou-se bem pequeno. Em especial, os vínculos causais entre os três componentes da Orientação para o Mercado (Orientação para o Consumidor, Orientação para a Concorrência e Coordenação Interdepartamental) mostraram-se como não significantes. Os resultados são discutidos à luz da literatura e suas implicações avaliadas. Mais pesquisas são necessárias para compreender esses complexos fenômenos.

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.

O impacto da orientação para o mercado sobre o desempenho financeiro: as concessionárias de veículos da Fiat no Brasil

Este relatório trata de uma pesquisa sobre o Impacto da Orientação para o Mercado sobre o Desempenho Financeiro. Foi realizada uma revisão teórica e seguiu-se o delineamento de um modelo conceitual. Tal modelo foi testado empiricamente com os dados de uma amostra de 122 executivos principais de concessionárias de veículos da Fiat operando no Brasil, utilizando-se do método de modelagem de equações estruturais. Numa etapa anterior, a mesma análise foi aplicada a uma amostra de dirigentes de concessionárias da General Motors no país. Nesta etapa, apesar das limitações incidentes, o ajustamento global do Modelo revelou-se pequeno. Em especial, apenas o vínculo causal entre o componente Orientação para a Concorrência da Orientação para o Mercado mostrou como causa significantes do Desempenho Financeiro. Os resultados são discutidos à luz da literatura e suas implicações avaliadas. Mais pesquisas são necessárias para compreender esses complexos fenômenos.

O impacto da orientação para o mercado sobre o desempenho financeiro: as concessionárias de veículos da Ford e Volkswagen

Este relatório trata de uma pesquisa sobre o Impacto da Orientação para o Mercado sobre o Desempenho Financeiro. Foi realizada uma revisão teórica e seguiu-se o delineamento de um modelo conceitual. Tal modelo foi testado empiricamente com os dados de uma amostra de 294 executivos de concessionárias de veículos da Ford e Volkswagen operando no Brasil, utilizando-se do método de modelagem de equações estruturais. Em duas etapas anteriores, a mesma análise foi aplicada a amostras ligadas à Fiat e General Motors. Desta feita, o ajustamento global do Modelo revelou-se pequeno. Apenas o vínculo causal entre o componente Orientação para a Concorrência da Orientação para o Mercado mostrou-se como causa significante do Desempenho Financeiro. Os resultados são discutidos à luz da literatura, sendo suas implicações avaliadas. Mais pesquisas são necessárias para compreender tais complexos fenômenos.

Análise da viabilidade do sistema de auditorias de obras públicas do Tribunal de Contas do Estado do Rio de Janeiro à luz do modelo de sistema viável

The Brazilian public administration must act with efficiency, developing its activities with readiness and minimizing the use of resources. However, it has not been being able to work with increasing demand in solve complex problems. Tribunal de Contas do Estado do Rio de Janeiro (TCERJ) is the entity responsible for the operational audit of the public institutions of Rio de Janeiro State and its Municipals districts, except for the Capital. It has detected itself that the society demand is superior to its operational capacity of assistance. This dissertation tries to know if the public works audits system adopted by TCERJ could be considered a viable system. Considering that the systems approaches represents the key to work with a reality more and more complex, the Viable System Modelo (VSM) was adopted as reference, having been developed by Stafford Beer with cybernetics basis. Finally, taking VSM as reference in the normative level, it could be affirmed that the studied system is not a viable system to verify that, the studied system is not a viable system yet.

Concepção de small clauses nominais amalgamadas nas estruturas predicativas complexas do português brasileiro

Esta dissertação faz uma análise prévia da predicação complexa no modelo da Gramática Tradicional; aponta, em seguida, o enfoque das estruturas predicativas complexas à luz da Gramática Gerativa modelo de Princípios & Parâmetros (Chomsky, 1981, 1986). Ressalta que as estruturas sintáticas são projetadas a partir do léxico e correspondem a várias construções de predicação complexa. Mostra que os predicados complexos formados por APs e DPs predicativos apresentam características sintáticas e semânticas diferentes. Focaliza que essas construções superficialmente semelhantes são, em essência, diferentes, porque cada uma delas possui um processo próprio de estruturação interna, do qual decorre um sentido específico. Aponta, essencialmente, dois tipos de estruturas complexas: predicados secundários e miniorações complementos. Os predicados secundários se dividem, ainda, em predicados secundários orientados para o sujeito de [DP IP], predicados secundários orientados para o objeto de [DP VP] e predicados resultativos de [DP VP]. Os predicados secundários de [DP IP] e de [DP VP] e os predicados resultativos de [DP VP] constituem as Small Clauses adjuntas de predicados secundários. Apresenta que é possível encontrar evidências que as estruturas predicativas complexas do PB estão amalgamadas na concepção de Small Clauses nominais. Postula que as estruturas predicativas complexas do PB e as estruturas de Small Clauses nominais são em essência semelhantes. Tais estruturas possuem um mesmo processo de estruturação interna, que são analisadas conforme as configurações das representações sintáticas de cada sentença.

A avaliação de desempenho como processo essencialmente humano: a meta-avaliação da empresa X

A Avaliação de Desempenho geralmente é vista como uma ferramenta na qual a subjetividade é um viés a ser controlado. O presente trabalho traça uma trajetória da Avaliação, desde o seu surgimento até os dias atuais. Este levantamento histórico apresenta o tratamento dado às questões do Humano até o momento, a partir da revisão de vários autores. Utilizando um referencial quantitativo e qualitativo, unindo a Abordagem Fenomenológica e a Matriz de Correlações, foi realizada a Meta-Avaliação do processo de uma empresa na qual a prática da Avaliação ocorre há alguns anos, sendo considerada ponto importante para o seu sucesso. O presente estudo demonstra que o Humano é parte indissociável da Avaliação, a qual não pode mais ser considerada como ferramenta, mas como processo. Ao invés do controle da subjetividade, vista anteriormente mais como fonte de problemas e distorções, propõe-se o reconhecimento mais amplo de sua presença: tanto em seus aspectos complexos e problemáticos como em seu enorme potencial de desenvolvimento e aprendizado. Ao invés do controle, propõe-se o engajamento; ao invés de retirar o máximo possível a subjetividade, tê-la como aliada; ao invés de uma ferramenta minuciosamente estruturada, um processo flexível que acompanhe o dinamismo inerente ao Humano. Ou seja, ter o Humano da Avaliação atuando a favor do processo, cujo grande fim é o aprendizado.

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.