14 resultados para Deep Inference, Proof Theory, Teoria della Dimostrazione, Cut elimination, Gentzen Hauptsatz

em Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Utilizando-se entre a perna e a coxa os princípios da Teoria dos Sistemas Dinâmicos, foi estudada a coordenação intra-membros durante o andar em 16 sujeitos do sexo feminino. Os movimentos da perna e da coxa e suas relações foram analisados dinamicamente como sistemas acoplados de ciclo limite. Os sujeitos foram filmados lateralmente executando o andar em duas situações experimentais: normal e com uma sandália na perna direita na proporção de 5% do comprimento do segmento inferior. Os dados transformados em variáveis cinemáticas possibilitaram a análise da coordenação em termos de ângulos de fase, ponto de coordenação e fase relativa. Através dos dados angulares, foram testadas as propriedades dos osciladores não-lineares de ciclo limite. Os resultados indicaram que os segmentos apresentam uma órbita atrativa específica para cada um deles, que se mantém invariante ao longo das idades. Esta órbita atrativa representa a organização espaço-temporal do segmento durante o andar, servindo também para a visualização da quantidade de energia dissipada por parte de cada segmento. A análise dos ângulos de fase no momento da reversão, do ponto de coordenação e da fase relativa possibilitaram a identificação do treinamento mútuo e da estabilidade estrutural.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A presente dissertação de mestrado tem por assunto a representação do comportamento mecânico do concreto sob cargas de curta e longa duração, incluindo efeitos não-lineares. Para tal fim trabalha-se com equações baseadas na teoria do dano contínuo. São propostas equações para o caso triaxial e, baseado nelas, é implementado um programa computacional. Com diversos exemplos verifica-se que: a) A solução numérica aproxima bem os resultados teóricos. b) O comportamento do modelo representa bem as características qualitativas do concreto. c) O modelo permite aproximar bem alguns resultados experimentais, mas ainda deve ser aperfeiçoado, particularmente no que refere-se à identificação de parâmetros.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

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.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Este trabalho de conclusão investiga o efeito da geração de estoques intermediários nos indicadores principais empregados na Teoria das Restrições (Ganho, Despesa Operacional e Inventário) em uma unidade industrial de processo produtivo de Propriedade contínuo, que emprega embalagens, matérias-primas obtidas em larga escala e cadeias logísticas de longo curso. Este tipo de indústria produz bens de consumo imediato, com pouca variabilidade, de modo “empurrado”. A principal conseqüência é a perda do sincronismo na cadeia logística, resultando em uma grande quantidade de estoques intermediários e custos crescentes, relacionados principalmente ao custo de manutenção destes estoques. Através dos cinco passos de focalização e das ferramentas lógicas da Teoria das Restrições, propõe-se uma alternativa gerencial, que inclui o algoritmo Tambor-Pulmão-Corda e insere a organização em um processo de melhoria contínua, cujos impactos são avaliados por simulação computacional. Através de técnicas estatísticas e software apropriados, constrói-se um modelo de simulação computacional baseado em dados reais de uma planta produtora de cimento. A partir deste modelo, diferentes cenários são testados, descobrindo-se a condição ótima. Chega-se a uma conclusão, considerando a mudança na política de geração de estoques intermediários e seus impactos na redução de custos e riscos.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Este trabalho discorre sobre a aplicação de uma proposta de método de resolução de problemas utilizando a Teoria das Restrições (TOC). No desenvolvimento desta proposta procurou-se aliar a focalização dos problemas e os conceitos financeiros protagonizados pela TOC. Para que uma solução urgente de problemas possa ser conduzida de uma forma coerente, precisa e rápida, não é necessário que seja executada de maneira que os gastos ultrapassem os benefícios. Além disso, o todo que compõe o sistema analisado deve poder ser vislumbrado claramente. Esta proposta foi aplicada a uma corporação que fabrica autopeças. Ela está localizada nos Estados Unidos da América. Os resultados da aplicação do método aqui apresentado permitiram chegar às conclusões apontadas no capítulo final deste trabalho.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Esta dissertação propõe um método de trabalho para a implantação de um sistema de Planejamento Fino da Produção baseado na Teoria das Restrições. É apresentada uma revisão bibliográfica sobre Planejamento e Controle da Produção, destacando a abordagem da Teoria das Restrições. É realizado um estudo sobre ferramentas computacionais de Planejamento Fino da Produção e suas particularidades. A seguir é desenvolvido o método de trabalho, que foi seguido de sua aplicação prática em uma empresa industrial do ramo metal-mecânico. O estudo apresenta as modificações no sistema de Planejamento e Controle da Produção da empresa, que foi adequado as práticas e princípios da Manufatura Sincronizada. As melhorias decorrentes da implantação podem ser constatadas através dos resultados divulgados. Este trabalho explora as particularidades e dificuldades da implementação desta ferramenta de apoio à tomada de decisão, e discute aspectos referentes às mudanças na “filosofia” de produção impostas pela sincronização da manufatura.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A indústria de sementes vem ao longo do tempo tornando-se um fator de grande importância para o desempenho da agricultura. Nos últimos anos, a importância do setor pode ser percebida pela nova dinâmica da indústria de sementes, a partir das mudanças cada vez mais constantes e profundas tanto no plano econômico, como no tecnológico. A emergência da biotecnologia agrícola está muito imbricada com as fusões e aquisições recentes, envolvendo a indústria de sementes, mas também o setor agroquímico, o novo aliado estratégico das empresas de sementes. A importância do mercado brasileiro de sementes é evidente. O Brasil detém a sexta posição no mercado para o consumo de sementes –estimado em US$ 1.200 milhões, o que se traduz em 4% do mercado mundial, que movimenta aproximadamente US$ 30 bilhões ao ano. Esta importância justifica este trabalho, que faz uma análise exploratória da capacitação tecnológica das empresas privadas de sementes no Brasil, sob a luz da teoria neoschumpeteriana. Metodologicamente os dados foram coletados junto às principais empresas privadas (de capital nacional e estrangeiro) produtoras de sementes básicas. As informações foram obtidas através de entrevistas com os diretores de P&D, referentes ao período de 1999-2002. Dentre os principais resultados obtidos pode se destacar o uso da biotecnologia no desenvolvimento de sementes geneticamente modificadas, ou seja, a produção de sementes transgênicas, a busca constante de técnicas de aperfeiçoamento do melhoramento genético de plantas, o desenvolvimento de sementes cada vez mais resistentes a pragas e doenças, e as crescentes parcerias na condução das atividades tecnológicas. Foi possível também concluir que tecnologicamente os dois tipos de empresas são similares em termos de capacitação de recursos humanos (qualificação e número de pesquisadores). A aquisição e a disponibilidade de recursos financeiros é a diferença mais relevante entre os dois tipos de empresas. Também se concluiu que a extensão e o potencial agrícola torna o Brasil um país atrativo tanto para o desenvolvimento de novas técnicas utilizadas no desenvolvimento de novas sementes, quanto na instalação de empresas multinacionais como ponto de partida para a atuação das mesmas em todo o mercado latino-americano.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A finalidade deste trabalho ´e apresentar uma revis˜ao da teoria do transporte de part´ıculas em meios compostos por uma mistura aleat´oria bin´aria. Para atingir este objetivo n´os apresentamos brevemente alguns conceitos b´asicos de teoria do transporte, e ent˜ao discutimos em detalhes a deriva¸c˜ao de duas abordagens desenvolvidas para a solu¸c˜ao de tais problemas: os modelos de mistura atˆomica e de Levermore-Pomraning. Providenciamos ainda, com o uso da formula¸c˜ao LTSN, compara ¸c˜oes num´ericas destes modelos com resultados de benchmark gerados atrav´es de um processo de Monte Carlo.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Este trabalho busca resgatar a origem e história de uma das organizações de esquerda que surgiu no período de 1968 a partir das dissidências dentro do Partido Comunista Brasileiro. Inúmeras organizações irão surgir nesse período, sendo que a maioria das mesmas irá aderir ao processo de luta armada contra o regime militar. Entre as diversas diferenças políticas e ideológicas entre elas, uma se destacava: a manutenção de uma estrutura de partido ou a criação de organizações sem estrutura de partido e com liberdade de ação por parte dos comandos militares da organização. O fundo dessa discordância era proveniente da influência da Revolução Cubana entre os militantes de esquerda na América Latina através da Teoria do Foco, onde a ação de partido era considerada desnecessária. Por outro lado, também é fruto da retomada dos debates sobre concepção de partido revolucionário e a relação dos partidos com os movimentos de massas, debate presente no pensamento marxista europeu durante toda a primeira metade do século XX. O PCBR buscou aliar a concepção leninista de partido com as posições de defesa da autonomia do movimento de massas frente aos partidos, concepção defendida pela marxista alemã Rosa Luxemburgo. O trabalho, portanto, busca estudar o contexto em que este debate se realizou na esquerda brasileira durante o período militar. Por fim, o presente estudo buscou também contribuir com a reconstituição histórica de alguns fatos relevante relacionados à ação política do PCBR durante o período militar.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This work proposes an animated pedagogical agent that has the role of providing emotional support to the student: motivating and encouraging him, making him believe in his self-ability, and promoting a positive mood in him, which fosters learning. This careful support of the agent, its affective tactics, is expressed through emotional behaviour and encouragement messages of the lifelike character. Due to human social tendency of anthropomorphising software, we believe that a software agent can accomplish this affective role. In order to choose the adequate affective tactics, the agent should also know the student’s emotions. The proposed agent recognises the student’s emotions: joy/distress, satisfaction/disappointment, anger/gratitude, and shame, from the student’s observable behaviour, i. e. his actions in the interface of the educational system. The inference of emotions is psychologically grounded on the cognitive theory of emotions. More specifically, we use the OCC model which is based on the cognitive approach of emotion and can be computationally implemented. Due to the dynamic nature of the student’s affective information, we adopted a BDI approach to implement the affective user model and the affective diagnosis. Besides, in our work we profit from the reasoning capacity of the BDI approach in order for the agent to deduce the student’s appraisal, which allows it to infer the student’s emotions. As a case study, the proposed agent is implemented as the Mediating Agent of MACES: an educational collaborative environment modelled as a multi-agent system and pedagogically based on the sociocultural theory of Vygotsky.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Este trabalho oferece um estudo das configurações intervalares contidas no grupo de peças para piano intitulado Seis Pequenos Quadros (1981) de Bruno Kiefer (1923- 1987). A análise toma como referencial teórico a obra Introduction to Post-Tonal Theory de Joseph Straus, a qual elucida a teoria dos conjuntos. Objetivou-se encontrar padrões que fornecem coerência ao discurso das peças isoladamente e como um todo. Para tanto, além da análise de conjuntos, fez-se necessário o levantamento de características estruturais, temporais e de textura. Todos estes parâmetros, os quais contribuem para um equilíbrio entre unidade e diversidade no discurso desta coleção de peças, foram investigados a partir dos gestos musicais característicos do estilo de Kiefer.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Esta dissertação tem como objetivo principal analisar o cabimento, no direito processual brasileiro, de uma distribuição dinâmica das regras do ônus da prova. Na primeira parte, são analisados o conceito, o objeto e a finalidade da prova, com apontamento da distinção entre fontes e meios. Após, são estudados o conceito de ônus da prova e sua distinção da obrigação, dando ênfase aos seus aspectos objetivo e subjetivo e às principais teorias, antigas e modernas, que tratam dos critérios para a distribuição do ônus da prova. Estudou-se, em seguida, os principais fenômenos relacionados ao ônus da prova, quais sejam a distribuição, cuja regra geral está no art. 333 do CPC, e a redistribuição como gênero, tendo com espécies a redistribuição strictu sensu, cabível em casos de probatio diabolica e em excepcionais casos em que a prova se apresenta difícil por fatores externos ao processo, e a inversão, cujo exemplo, no direito pátrio, é o art. 6o, inc. VIII, do CDC. Na segunda parte do trabalho, são apresentadas duas novas teorias sobre a distribuição do ônus da prova: a visão solidarista do ônus da prova e a teoria dinâmica dos ônus probatórios. Por fim, ante a necessidade de flexibilização das atuais regras gerais de distribuição do ônus da prova e, ao mesmo tempo, controle do excessivo subjetivismo judicial, analisa-se o cabimento da aplicação da teoria dinâmica no direito brasileiro, apontando-se os parâmetros para a decisão judicial que a aplique. Do estudo, concluiu-se que o direito processual brasileiro admite a aplicação da teoria dinâmica dos ônus probatórios em face da incidência do princípio da igualdade, dos poderes instrutórios do juiz e do dever de lealdade, boa-fé e colaboração das partes. Concluiuse, ainda, que embora possa acontecer em momento diverso, o momento mais oportuno para a ocorrência da redistribuição do ônus da prova é a audiência preliminar, não podendo se verificar, em nenhuma hipótese, surpresa às partes, sob pena de ferimento ao princípio do contraditório. Quanto à decisão judicial que aplica a teoria dinâmica, deve esta levar em conta que tal aplicação é de caráter excepcionalíssimo, devendo ser bem fundamentada.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Este trabalho trata do conceito de mora no direito brasileiro. Parte-se da nova concepção da relação jurídica obrigacional, inspirada pelo princípio da boa-fé objetiva e da nova redação dada ao artigo definidor da mora no direito brasileiro, pelo Código Civil de 2002. Analisam-se os elementos essenciais do estado de mora, faz-se uma abordagem acerca das espécies de mora ocorrentes na prática, traçando seus pressupostos, conseqüências e características. Na segunda parte é analisada a conveniência da adoção, no direito brasileiro, do conceito de violação positiva do contrato. Este conceito, por sua proximidade e similitude com o conceito de mora, tem sido defendido como adotável e útil ao sistema jurídico brasileiro de direito privado. Em conclusão, defende-se que o conceito de mora no direito brasileiro abarca todas as hipóteses de violação positiva do contrato e se fixa o que se defende como um conceito atual de mora, no sistema de direito privado brasileiro, à luz da teoria contratual moderna.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Este trabalho se fundamenta na constatação da importância que os aspectos artísticos desempenham na produção e na apreciação da arquitetura, qualificando-a ao mesmo tempo em que problematizam seu ensino e sua avaliação. Considerando essa ambivalência como um traço distintivo que resiste há muito tempo à tentativa de objetivar a disciplina, o processo da subjetividade na arquitetura é aqui abordado a partir de um personagem do Renascimento, época em que efetivamente se estabelece e se consolida a crítica arquitetônica. Leon Battista Alberti, na condição de autor do primeiro tratado de arquitetura do período e de obras que contribuíram para as transformações estéticas de seu tempo, nos mostra, através da teoria e da prática profissional, a atualidade de uma postura que assume as incertezas que caracterizam a disciplina.