999 resultados para Linguagens de programação em lógica - Semântica


Relevância:

20.00% 20.00%

Publicador:

Resumo:

A seleção de pulverizadores agrícolas que se adaptem às necessidades da propriedade, é um processo trabalhoso, sendo uma das etapas mais importantes dentro do processo produtivo. O objetivo do presente trabalho foi o de desenvolver e utilizar um modelo de programação linear para auxiliar na seleção de pulverizadores agrícolas de barras, baseado no menor custo horário do equipamento. Foram utilizadas as informações técnicas referentes a 20 modelos de pulverizadores disponíveis no mercado, sendo quatro autopropelidos, oito de arrasto e oito do tipo montado. A análise de sensibilidade dos componentes dos custos operacionais mostrou que as taxas de reparo e depreciação foram os fatores que mais interferiram na variação do custo horário do conjunto trator-pulverizador. O modelo matemático desenvolvido facilitou a realização da análise de sensibilidade que foi processada em um tempo muito pequeno.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A existência de diferentes combinações de uniformidade de emissão na unidade operacional com a declividade do terreno favorece a ocorrência de várias possibilidades de configurações no sistema de irrigação, por conseguinte de diferentes custos de implantação e de posterior manejo do sistema. Desde que bem dimensionado, consegue-se verificar, no sistema de irrigação localizada, que a otimização do sistema por meio da programação linear é a melhor metodologia frente aos outros métodos propostos na pesquisa operacional, visto que se encontra a solução ótima global para as variáveis preestabelecidas no dimensionamento. Este trabalho teve por objetivo, analisar a distribuição da carga hidráulica na linha de derivação, sob diferentes uniformidades de emissão e declividades do terreno, calculada por programação linear. Os resultados obtidos permitem análise consistente dos parâmetros hidráulicos da uniformidade de emissão preestabelecida para a linha de derivação. Observa-se, em todos os casos, comportamento decrescente de variação da carga hidráulica, ocorrendo em maior intensidade na seguinte ordem de uniformidade de emissão: 80% > 83% > 86% > 89% > 92%. Já os pontos de menor carga hidráulica, a 3% de declividade, encontram-se na décima primeira saída em todas as uniformidades de emissão testadas.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A proposta deste trabalho é analisar a distribuição logística da soja brasileira aplicando-se modelo de equilíbrio espacial de programação quadrática. O sistema de transporte da soja é um ponto importante na cadeia produtiva, pois a maior parte dos custos dessa commodity é dada pelos custos de transporte. Nesse sentido, a otimização desse segmento é essencial para aumentar a competitividade da soja brasileira no mercado internacional. O complexo soja brasileiro tem aumentado a sua participação nas exportações dos produtos agrícolas nos últimos dez anos, mas os investimentos de outros países faz com que as exportações brasileiras não fiquem focadas apenas no crescimento da produção, mas, sim, na eficiência de toda a cadeia produtiva. Dessa maneira, com a aplicação de um modelo de equilíbrio espacial de programação quadrática, pode-se projetar novos cenários alterando-se os custos de transporte dos diferentes modais, conduzindo políticas para novos investimentos no setor de transportes.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O objetivo desta pesquisa consistiu na avaliação do ambiente de alojamento, estimando as condições favoráveis ao melhor desempenho de matrizes gestantes. O experimento foi realizado no período compreendido entre 4-1 e 11-3-2005, em propriedade de produção industrial de suínos, localizada no município de Elias Fausto - SP. A pesquisa foi desenvolvida no setor de gestação, com 24 matrizes primíparas, 12 fêmeas alojadas em baias individuais (T1) e 12 em baias coletivas (T2). O trabalho foi dividido em duas etapas, em função da forma de avaliação dos dados: análise bioclimática e da qualidade do ar, e estimativa dos padrões de conforto térmico ambiental. As variáveis bioclimáticas T (ºC), UR (%), Tgn (ºC) e fisiológicas, taxa respiratória (mov min-1) e temperatura retal (ºC) apontam o sistema de confinamento em baias coletivas como o que possibilitou melhor condicionamento térmico natural às matrizes em gestação. O uso da teoria dos conjuntos fuzzy permitiu que se fizesse inferência entre os dados resultantes do trabalho experimental com os estabelecidos pela literatura, por intermédio de base de regras, para a determinação do conforto ambiental aplicado a matrizes na fase de gestação.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

No presente artigo, o autor se propõe a estudar em grandes traços a lógica de construção das identidades coletivas que se desenvolvem dentro dos grupos evangélicos neo- pentecostais. Para isso analisa a síntese entre religião, psicanálise e auto-ajuda que expressa o discurso de "sanidade interior", desenvolvido no marco de uma igreja evangélica, localizada em um setor de altos ingressos na Cidade de Buenos Aires, Argentina. A teoria da hegemonia de Ernesto Laclau lhe permite analisar o lugar que os significantes flutuantes ocupam no trabalho religioso de construir uma identidade ampla que se nutre de diferentes universos simbólicos no momento de interpelar os sujeitos a partir da teologia da sanidade.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O objetivo deste trabalho foi construir modelos em Programação Matemática visando otimizar o processo de fabricação do biscoito cracker, aplicando-se Programação Linear e Não Linear. Através do conhecimento das etapas de produção do biscoito cracker, construiu-se um modelo em Programação Linear que minimiza as perdas de produção e o custo envolvido em seu processo de produção. Desenvolveu-se um modelo em Programação Não Linear para controlar os fatores tempo e pH na fermentação da esponja do cracker. Com a utilização do modelo em Programação Linear determinou-se a interpretação detalhada do custo no processo de produção do biscoito cracker e com o modelo Não Linear reduziu-se o tempo de fermentação da esponja do cracker, resultando em aumento na produtividade.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper criticizes the conventional theory of choice for being grounded on a minimal set of rationality axioms. We claim that this theory does not take due account of the fact that agents are driven by motives other than the pursuit of material self-interest. Our departure point is logic of commitments and planned action, which helps us to identify some puzzles in the conventional theory of choice. As a way out, we discuss the Kantian perspective and the notions of metapreference and metaranking. We then build a model of choice which points to the possibility of a systematic treatment of higher order preferences and incommensurable objectives.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O conceito de prática recobriria o de sistema de ação, não fosse a existência de sistemas de ação sem prática. Resta que uma prática é um sistema de ação. Como conseqüência, suposta a reciprocação de sistema com teoria e uma atenta inspeção nos termos da proposição, há equivalência semântica entre "prática teórica " e "sistema de ação prático". Num e noutro caso, a contradição interna aos pares de conceitos se resolve dialeticamente. Graças à dialética, são fundidos numa unidade de sentido, síntese de tensões opostas. Daí a proposta de uma dialética da prática global, conjuntamente abstrata e histórica. Destotalizada ou à margem dessa dialética, pode ser destacada a ação sem prática, exemplificada no drama. Dramática é precisamente uma ação que não é prática. O tempo e o lugar da prática são a história e o mundo do homem; o tempo e o lugar do drama são a ficção cultural e a substância simbólica. Mimese da prática, o drama, reproduz, não os traços do modelo, mas a sua produção, tornando-se por sua vez modelo do modelo. Mimese não é cópia, é forma autônoma de eficiência, paradoxalmente sem prática mas especular.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Como é possível que a partir da negação do racional (isto é, do colapso na representação do conhecimento, dado pela presença de informações contraditórias) se possa obter conhecimento adicional? Esse problema, além de seu interesse intrínseco, adquire uma relevância adicional quando o encontramos na representação do conhecimento em bases de dados e raciocínio automático, por exemplo. Nesse caso, diversas tentativas de tratamento têm sido propostas, como as lógicas não-monotônicas, as lógicas que tentam formalizar a ideia do raciocínio por falha (default). Tais tentativas de solução, porém, são falhas e incompletas; proponho que uma solução possível seria formular uma lógica do irracional, que oferecesse um modelo para o raciocínio permitindo não só suportar contradições, como conseguir obter conhecimento, a partir de tais situações. A intuição subjacente à formulação de tal lógica são as lógicas paraconsistentes de da Costa, mas com uma teoria da dedução diferente e uma semântica completamente distinta (à qual me refiro como "semântica de traduções possíveis"). Tal proposta, como pretendo argumentar, fornece um enfoque para a questão que é ao mesmo tempo completamente satisfatório, aplicável do ponto de vista prático e aceitável do ponto de vista filosófico.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O objetivo do trabalho é apresentar o contexto histórico, as motivações e um esboço de alguns resultados de uma pesquisa ainda não concluída. Primeiro fala-se um pouco da Ciência Cognitiva - de suas características gerais, de sua história, de sua relação com a Epistemologia. Considera-se depois sua relação com a Lógica, emergindo daí uma concepção da Lógica como descritiva e mentalista. Esta concepção choca-se com o antipsicologismo de Frege. A meta da pesquisa é refutar os argumentos de Frege enquanto objeções à tese de que existem duas lógicas, ambas mentalistas, uma descritiva e outra normativa.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Tomando como ponto de partida os trabalhos de Nietzsche, Hannah Arendt e Michel Foucault, este escrito pretende problematizar a lógica interna da compaixão piedosa, pois, como tentaremos mostrar, ela parece instaurar uma modalidade peculiar de exercício de poder que se estrutura a partir do binômio servir-obedecer. A partir desses autores, pretendemos ler alguns exemplos que a história da humanidade nos apresenta para ilustrar o exercício dessa "cruel compaixão".

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Trata-se de um exercício de leitura da coreografia Night Journey (1947), de Martha Graham, como reinvenção do texto de Édipo rei (século IV a. C.), de Sófocles. Pretende-se esboçar um estudo em que se evidenciem os processos interartísticos entre literatura e dança.