Uma generalização do algorítmo de Gao para fatoração de polinômios

A presente dissertação trata da fatoração de polinômios em duas variáveis sobre um corpo F. Mais precisamente, o trabalho traça o desenvolvimento histórico de uma estratégia modular que levou à resolução desse problema em tempo polinomial e culmina com a apresentação de um algoritmo publicado por S. Gao no ano de 2003, que determina simultaneamente as fatorações racional e absoluta de um dado polinômio. A nossa contribuição consiste na extensão desse algoritmo a casos que não satisfazem as condições prescritas pelo autor.

Desenvolvimento de um modelo de intervenção baseado no sistema toyota de produção e na teoria das restrições : autilização da pesquisa-ação em uma indústria de cerâmica vermelha de pequeno porte da região metropolitana de Porto Alegre

As teorias de gestão da produção, como o Sistema Toyota de Produção e a Teoria das Restrições, têm apresentado resultados positivos, em realidades organizacionais muito diferenciadas. Contudo, é preciso garantir a efetividade das ações em provocar as mudanças desejadas. Neste sentido, métodos de pesquisa participativa, como a pesquisaação, promovem a participação e o comprometimento das pessoas implicadas no processo de mudança. Esta dissertação propõe a construção de um modelo de intervenção visando aumentar a competitividade de uma realidade organizacional específica. Foram utilizados a pesquisa-ação, como método de trabalho e a Teoria das Restrições (TOC) e o Sistema Toyota de Produção (STP), como embasamento teórico. Cabe ressaltar que este modelo foi construído a partir de uma intervenção realizada em uma indústria de cerâmica vermelha da região metropolitana de Porto Alegre. Assim, a presente dissertação foi organizada da seguinte maneira: revisão bibliográfica do método de condução da pesquisa e adaptação do mesmo para o presente trabalho, fundamentação teórica, composta pelos princípios básicos de sustentação do STP e da TOC, análise do contexto do segmento industrial em questão, descrição da intervenção realizada e apresentação do modelo construído, análise dos resultados finais, conclusões e recomendações para futuras pesquisas. A análise dos resultados obtidos e as conclusões do estudo revelam a possibilidade de generalização parcial do modelo proposto, desde que observadas as características específicas da realidade industrial em questão.

A relação conjugal na transição para a parentalidade : da gestação ao segundo ano de vida do bebê

Segundo o referencial teórico familiar sistêmico, a transição para a parentalidade demarca uma das mais intensas mudanças do ciclo de vida da família. O presente estudo teve como objetivo central analisar a relação conjugal, durante a transição para a parentalidade, a partir de dois enfoques: a avaliação que cada casal faz de sua relação nos diferentes momentos da transição e a interação comunicacional que estabelece durante as entrevistas conjuntas. Foi realizado um estudo de casos coletivo (Stake, 1994), longitudinal, que abrangeu cinco etapas: o último trimestre de gestação e o terceiro, o oitavo, o décimo-segundo e o décimo-oitavo mês de vida do bebê. Em cada etapa, foram realizadas entrevistas conjuntas com os casais. A amostra foi composta por cinco casais adultos, com idades entre 20-40 anos, que esperavam seu primeiro filho. A análise dos dados foi realizada a partir das análises qualitativa e quantitativa de conteúdo (Laville & Dionne, 1999). Os resultados deste estudo apontam que um fator central para a compreensão da conjugalidade na transição para a parentalidade é a qualidade da relação conjugal estabelecida antes da transição. Constatou-se que os três casais que apresentavam um envolvimento afetivo antes do nascimento do primeiro filho mantiveram esta condição após a transição. Esses casais mencionaram aspectos positivos da transição e conseguiram organizar sua rotina de forma a preservar um tempo para estarem a sós. Os pais mostraram-se envolvidos com sua função paternal, bem como as mães com sua função maternal. A interação comunicacional teve um aumento das categorias de apoio e uma diminuição das de não-apoio e de conflito à medida que a transição se desenrolou. Diferentemente, os dois casais que mostraram um distanciamento afetivo antes mostraram também um distanciamento depois da transição. Eles referiram apenas mudanças negativas em função da transição e não conseguiram dedicar um tempo para ficarem a sós. Nesses casais, os homens mostraram-se ausentes e pouco envolvidos com a paternidade, o que não ocorreu com as mulheres. A interação comunicacional compreendeu uma diminuição das trocas de fala de apoio, e um aumento das de conflito e de não-apoio à medida que as entrevistas se desenrolaram. As conclusões deste estudo, apesar de não serem passíveis de generalização, mostram-se relevantes tanto para a área da Psicologia do Desenvolvimento, como para a da Psicologia Clínica, no atendimento a casais.

Adoção de rede eletrônica no setor público : uma análise de casos do setor da saúde no município de Porto Alegre / RS

Trata-se de uma pesquisa exploratória que analisa a adoção de uma tecnologia de informação – as redes eletrônicas – vinculando-a ao processo de mudança, considerando os aspectos de contexto das organizações do setor público. Foi desenvolvido um estudo de dois casos em organizações do setor de saúde no município de Porto Alegre, RS, na Secretaria Municipal de Saúde de Porto Alegre e no Hospital de Pronto-Socorro de Porto Alegre. A pesquisa foi realizada a partir de variáveis iniciais relacionadas à três dimensões: estratégia, processo de gerenciamento e estrutura. A coleta e a análise dos dados se basearam nas técnicas da grounded theory, tendo sido realizadas 18 entrevistas abertas, com observação direta em diversas unidades, e outros documentos. Através dos resultados obtidos foram identificadas diferenças no processo de adoção de rede eletrônica relativas aos objetivos organizacionais, que possibilitaram sua generalização através da sua validação conceitual e do inter-relacionamento dos dados empíricos com a teoria organizacional.

Linguagem de consulta temporal : definição e implementação

Até hoje, não existem implementações de SGBDs Temporais disponíveis no mercado de software. A tradução de linguagens de consulta temporais para o padrão SQL é uma alternativa para implementação de sistemas temporais com base em SGBDs comerciais, os quais não possuem linguagem e estrutura de dados temporais. OASIS (Open and Active Specification of Information Systems) é uma linguagem que serve como repositório de alto nível para especificação formal orientada a objetos e geração automática de software, em diversas linguagens, através da ferramenta CASE OO-Method. As aplicações geradas desta forma utilizam, como meio de persistˆencia de objetos, SGBDs comerciais baseados na abordagem relacional. A linguagem OASIS foi estendida com aspectos temporais. A extensão de OASIS com aspectos temporais requer a especificação de um modelo de dados e de uma linguagem de consulta temporais que possam ser utilizados em SGBDs convencionais. Há duas abordagens para resolver o problema. A primeira baseia-se em extensões da linguagem e/ou do modelo de dados de modo que o modelo não-temporal é preservado. A segunda, abordagem de generalização temporal, é mais radical e não preserva o modelo não-temporal. A linguagem ATSQL2 fornece recursos adequados aos conceitos encontrados na abordagem de generalização temporal. Neste trabalho utiliza-se os conceitos de generalização temporal preservando o modelo não-temporal. A presente dissertação tem por finalidade propor um modelo de dados para suporte à extensão temporal da linguagem OASIS, bem como estender a linguagem ATSQL2 para facilitar as consultas a eventos temporais. O sistema de tradução da linguagem de consulta temporal para SQL é também adaptado ao modelo de dados proposto.

As estratégias empresariais para os vinhos finos no Brasil e no Uruguai : uma análise comparada

As rápidas e abrangentes mudanças nos mercados mundiais e regionais de vinhos, com significativos impactos sobre algumas vinícolas, estimularam a realização deste estudo. O objetivo central foi descrever e comparar o processo de formulação e de implementação das estratégias empresariais para os vinhos finos das vinícolas brasileiras e uruguaias, após 1990. Para tanto, foram realizadas duas pesquisas qualitativas. Na primeira, foi realizado um levantamento de dados e colhidas informações em fontes secundárias e em uma pesquisa, onde foram feitas entrevistas em profundidade com especialistas em vinhos, sendo oito entrevistados no Brasil e sete no Uruguai. Posteriormente, foi feita uma pesquisa exploratória, através do método de estudos de casos múltiplos com duas unidades de análise, em cada caso. Foram realizadas entrevistas em profundidade em cinco vinícolas no Brasil e quatro no Uruguai, selecionadas entre as maiores elaboradoras de vinhos finos, observando-se as peculiaridades do setor em cada país. De acordo com a análise de conteúdo realizada, foi confirmado o previsto na literatura sobre estratégias. A globalização e o Mercado Comum do Sul (Mercosul) afetaram, de forma direta ou indireta, as estratégias de produto e de mercados para os vinhos finos. As ações estratégicas também foram moldadas e seus retornos influenciados pelo ambiente dos países e da indústria em particular, assim como pelo ambiente interno das empresas. No ambiente da indústria, salienta-se, no Uruguai, o planejamento setorial da cadeia produtiva. Quanto ao processo estratégico, verificou-se que a formulação e implementação das estratégias ocorreram, preponderantemente, de forma simultânea. Com relação ao conteúdo das estratégias, cabe ressaltar que as estratégias de produtos e produção foram semelhantes em todas as vinícolas participantes da pesquisa. Em relação às demais estratégias, nota-se maiores similaridades entre as vinícolas de um mesmo país. Quanto às estratégias de mercados e distribuição, destacaram-se as significativas diferenças relatadas nas estratégias para os mercados internos de ambos países. No que se refere às alianças estratégicas, oito vinícolas realizaram algum tipo de aliança. Também foi possível detectar que todas as estratégias estão inter-relacionadas, tendo em vista os objetivos da organização. Algumas estratégias foram deliberadas racionalmente, enquanto outras foram emergentes. Pôde-se concluir que, não obstante a complexidade de se definir o que é estratégia e das diferenças das vinícolas pesquisadas e de seus ambientes externos, os estudos de casos investigados possibilitam a generalização analítica.

Algumas generalizações para o último teorema de Fermat

Neste trabalho estudamos três generalizações para o último Teorema de Fermat. A primeira generalização trata de expoentes negativos e de expoentes racionais. Além de mostrar em que casos estas equações possuem soluções, damos uma caracterização completa para todas as soluções inteiras não-nulas existentes. A segunda generalização também trata de expoentes racionais, porém num contexto mais amplo. Aqui permitimos que as raízes n-ésimas sejam complexas, não necessariamente reais. Na terceira generalização vemos que o último Teorema de Fermat também vale para expoentes inteiros gaussianos.

Solução LTSn da equação adjunta de transporte de nêutrons com fonte arbitrária para elevada ordem de quadratura numa placa homogênea

O objetivo deste trabalho consiste em estender o método LTSN à solução do problema adjunto de transporte de nêutrons. A solução adjunta é interpretada fisicamente como uma função importância que designa a capacidade de contribuição de cada cela do espaço de fase para um funcional resposta. A derivação desta interpretação, através do princípio variacional, está sucintamente apresentada. Surgida da necessidade de generalização da fonte adjunta, também propõe-se uma nova formulação LTSN capaz de resolver problemas de transporte, tanto direto quanto adjunto, com fonte arbitrária, para elevada ordem de quadratura em geometria de placa. Esta nova formulção inspira-se na propriedade de invariância de projeção dos meios isotrópicos mas também é válida para os meios anisotrópicos. Todos os resultados apresentados pelas simulações numéricas de problemas adjuntos são calculados pela nova formulação LTSN e são comparados ou com a definição de função importância ou pelas relações de reciprocidade ou pelo código ANISN.

Solução LTSn para problemas de transferência radiativa com polarização em geometria plana

O método LTSN tem sido utilizado na resolução de uma classe abrangente de problemas de transporte de partículas neutras que são reduzidos a um sistema linear algébrico depois da aplicação da transformada de Laplace. Na maioria dos casos estudados os autovalores associados são reais e simétricos. Para o problema de criticalidade os autovalores associados são reais ou imaginários puros e simétricos, e para o o problema de multigrupo podem aparecer autovalores complexos. O objetivo deste trabalho consiste na generalização da formulação LTSN para problemas de transporte com autovalores complexos. Por esse motivo é focada a solução de um problema radiativo de transporte com polarização em uma placa plana. A solução apresentada fundamenta-se na aplicação da transformada de Laplace ao conjunto de equações SN dos problemas resultantes da decomposição da equação de transferência radiativa com polarização em série de Fourier, seguindo o procedimento de Chandrasekhar. Esse procedimento gera 2L + 2 sistemas lineares de ordem 4N dependentes do parâmetro complexo "s". Aqui, L é o grau de anisotropia e N a ordem de quadratura. A solução desse sistema simbólico é obtida através da aplicação da transformada inversa de Laplace depois da inversão da matriz simbólica pelo método da diagonalização. Para a obtenção das constantes de integração é assumido que os componentes do vetor de Stokes são reais e as matrizes dos autovalores e autovetores são separadas em suas partes real e imaginária. A solução LTSN para autovalores complexos é validada através da comparação da solução para uma placa com espessura unitária, grau de anisotropia L = 13, albedo de espalhamento simples $ = 0:99, coe ciente de re exão de Lambert ¸0 = 0:1 e N = 150, segundo dados da literatura consultada.

Categoria de grafos parciais com homomorfismos totais teoria e aplicações

O conceito de parcialidade e importante em diversas áreas como a Matemática e a Ciência da Computação; ele pode ser utilizado, por exemplo, para expressar computações que não terminam e para definir funções recursivas parciais. Com rela cão a grafos, categorias de homomorfismos parciais são comuns (por exemplo, em gramáticas de grafos com a técnica de single-pushout). Este trabalho propõe uma abordagem diferente: a parcialidade é usada na estrutura interna dos objetos (não nos morfismos).Istoéfeito utilizando uma extensão do conceito de Categoria das Setas, chamada de Categoria das Setas Parciais. E definida entãoa categoria Grp de grafos parciais(tais que arcos podem possuir ou não vértices de origem e/ou destino) e homomorfismos totais.A generalização deste modelo resulta em categorias de grafos parciais internos.Émostrado que Grp é bicompleta e, se C é um topos, a categoria dos grafos parciais internos a C é cocompleta. Grafos parciais podem ser utilizados para definir modelos computacionais tais como autômatos. Uma categoria de Autômatos Parciais, denominada Autp, é construída a partir da categoria de Grafos Parciais. Usando uma extensão de composição de spans de grafos para autômatos, chamada de Composição de Transições, e possível definir as computações de autômatos. Brevemente, uma composição de transi cões de dois autômatos parciais resulta em um autômato parcial onde cada transição representa um caminho de tamanho dois (entre vértices), tal que a primeira metade é uma transição do primeiro autômato e a segunda metade é uma transição do segundo. É possível compor um autômato consigo mesmo diversas vezes; no caso de n sucessivas composições de transições, pode-se obter as palavras da linguagem aceita pelo autômato que necessitam de n+1 passos de computação nos arcos que não possuem origem e nem destino definidos do autômato parcial resultante.

Representação e Anáilse de Gramáticas de Grafos

Os sistemas computacionais estão tomando proporções cada vez maiores envolvendo situações bastante complexas, onde muitas vezes erros são inaceitáveis, como em sistemas bancários, sistemas de controle de tráfego aéreo, etc... Para obter software confiável e com desempenho aceitável, pode-se aliar técnicas de desenvolvimento formal de software a técnicas de simulação de sistemas. O ambiente PLATUS reúne essas duas áreas: modelos de simulação são descritos usando gramáticas de grafos uma linguagem de especificação formal. Gramáticas de grafos são uma generalização de gramáticas de Chomsky, substituindo strings por grafos. Neste trabalho, serão tratadas gramáticas de grafos baseados em objetos, um modelo onde vértices e arcos são tipados, e as especificações são modulares (a especificação de um sistema consiste em várias gramáticas de grafos combinadas). Assim, o modelo de um sistema pode ser descrito de forma precisa, e a linguagem de especificação é bastante abstrata e expressiva. Num ambiente de simulação a questão da recuperação de dados merece uma atenção especial, uma vez que a eficiência do simulador está diretamente ligada a agilidade na obtenção das informações. Neste trabalho, o objetivo principal é definir uma representação para gramáticas de grafos que facilite o armazenamento, a recuperação e análise das estruturas identificadas no ambiente PLATUS, ou seja, gramáticas de grafos baseadas em objetos. São definidas também funções que implementam os procedimentos necessários, para a recuperação de dados durante a simulação. A eficiência dessas funções é demonstrada através do cálculo de sua ordem de complexidade. As estruturas são validadas através da implementação de um protótipo de banco de dados.

Formalização da comunicação de conhecimentos probabilísticos em sistemas multiagentes : uma abordagem baseada em lógica probabilística

Durante os últimos anos as áreas de pesquisa sobre Agentes Inteligentes, Sistemas Multiagentes e Comunicação entre Agentes têm contribuído com uma revolução na forma como sistemas inteligentes podem ser concebidos, fundamentados e construídos. Sendo assim, parece razoável supor que sistemas inteligentes que trabalhem com domínios probabilísticos de conhecimento possam compartilhar do mesmo tipo de benefícios que os sistemas mais tradicionais da Inteligência Artificial receberam quando adotaram as concepções de agência, de sistemas compostos de múltiplos agentes e de linguagens de comunicação entre estes agentes. Porém, existem dúvidas não só sobre como se poderia escalar efetivamente um sistema probabilístico para uma arquitetura multiagente, mas como se poderia lidar com as questões relativas à comunicação e à representação de conhecimentos probabilísticos neste tipo de sistema, principalmente tendo em vista as limitações das linguagens de comunicação entre agentes atuais, que não permitem comunicar ou representar este tipo de conhecimento. Este trabalho parte destas considerações e propõe uma generalização do modelo teórico puramente lógico que atualmente fundamenta a comunicação nos sistemas multiagentes, que será capaz de representar conhecimentos probabilísticos. Também é proposta neste trabalho uma extensão das linguagens de comunicação atuais, que será capaz de suportar as necessidades de comunicação de conhecimentos de natureza probabilísticas. São demonstradas as propriedades de compatibilidade do novo modelo lógico-probabilístico com o modelo puramente lógico atual, sendo demonstrado que teoremas válidos no modelo atual continuam válidos no novo modelo. O novo modelo é definido como uma lógica probabilística que estende a lógica modal dos modelos atuais. Para esta lógica probabilística é definido um sistema axiomático e são demonstradas sua correção e completude. A completude é demonstrada de forma relativa: se o sistema axiomático da lógica modal original for completo, então o sistema axiomático da lógica probabilística proposta como extensão também será completo. A linguagem de comunicação proposta neste trabalho é definida formalmente pela generalização das teorias axiomáticas de agência e comunicação atuais para lidar com a comunicação de conhecimentos probabilísticos e pela definição de novos atos comunicativos específicos para este tipo de comunicação. Demonstra-se que esta linguagem é compatível com as linguagens atuais no caso não-probabilístico. Também é definida uma nova linguagem para representação de conteúdos de atos de comunicação, baseada na lógica probabilística usada como modelo semântico, que será capaz de expressar conhecimentos probabilísticos e não probabilísticos de uma maneira uniforme. O grau de expressibilidade destas linguagens é verificado por meio de duas aplicações. Na primeira aplicação demonstra-se como a nova linguagem de conteúdos pode ser utilizada para representar conhecimentos probabilísticos expressos através da forma de representação de conhecimentos probabilísticos mais aceita atualmente, que são as Redes Bayesianas ou Redes de Crenças Probabilísticas. Na outra aplicação, são propostos protocolos de interação, baseados nos novos atos comunicativos, que são capazes de atender as necessidades de comunicação das operações de consistência de Redes Bayesianas secionadas (MSBNs, Multiple Sectioned Bayesian Networks) para o caso de sistemas multiagentes.

Classificação de sinais de voz utilizando a transformada Wavelet Packet e redes neurais artificiais

Este trabalho apresenta um sistema de classificação de voz disfônica utilizando a Transformada Wavelet Packet (WPT) e o algoritmo Best Basis (BBA) como redutor de dimensionalidade e seis Redes Neurais Artificiais (ANN) atuando como um conjunto de sistemas denominados “especialistas”. O banco de vozes utilizado está separado em seis grupos de acordo com as similaridades patológicas (onde o 6o grupo é o dos pacientes com voz normal). O conjunto de seis ANN foi treinado, com cada rede especializando-se em um determinado grupo. A base de decomposição utilizada na WPT foi a Symlet 5 e a função custo utilizada na Best Basis Tree (BBT) gerada com o BBA, foi a entropia de Shannon. Cada ANN é alimentada pelos valores de entropia dos nós da BBT. O sistema apresentou uma taxa de sucesso de 87,5%, 95,31%, 87,5%, 100%, 96,87% e 89,06% para os grupos 1 ao 6 respectivamente, utilizando o método de Validação Cruzada Múltipla (MCV). O poder de generalização foi medido utilizando o método de MCV com a variação Leave-One-Out (LOO), obtendo erros em média de 38.52%, apontando a necessidade de aumentar o banco de vozes disponível.