Aplicação da Teoria das Filas no caixa rápido de um supermercado: estudo de caso microeconômico

A Pesquisa Operacional (PO) oferece ferramentas, usando modelos matemáticos, que descrevem situações do mundo real das empresas e do governo. Estes modelos permitem otimizar lucros ou minimizar custos através da Programação Linear (PL), considerada a maior descoberta da matemática aplicada do século XX. Sua aplicabilidade é imensa e a programação computacional é simples. Por exemplo, o uso de software como o Excel, garante encontrar a solução para problemas que podem envolver um número grande de variáveis e assim auxiliar os agentes na tomada de decisão. Vários Prêmios Nobel em Economia tiveram a PL envolvido em seu conteúdo, por exemplo, os prêmios dados a Leonid Kantorovich, Leonid Hurwicz, Tjalling Koopmans Kenneth, Kenneth J. Arrow e Robert Dorfman, Paul Samuelson e Robert Solow. A Teoria das Filas, utilizada neste trabalho, é uma ferramenta da PO que envolve distribuição de probabilidades e permite investigar a chegada e atendimento de clientes, a partir de certos números de canais disponíveis. O caso em análise é uma fila do caixa rápido do supermercado Oba Hortifruti, localizado na cidade de Indaiatuba - São Paulo. A fila possui característica M/M/1, no qual o primeiro M denota que a chegada de clientes à fila segue uma distribuição de Poisson, o segundo M denota que o tempo de atendimento dos clientes segue a distribuição Exponencial e o 1 significa que há apenas um canal de atendimento. A aplicação desta ferramenta sugere uma otimização do serviço para que o mesmo se torne estável (objetivo qualitativo), gerando assim uma maior satisfação do cliente com o atendimento, podendo elevar a margem de lucro do estabelecimento em estudo (objetivo quantitativo)

Timing attack di Paul C. Kocher: attacco al sistema di sicurezza RSA mediante strumenti di statistica

In questa tesi ho voluto descrivere il Timing Attack al sistema crittografico RSA, il suo funzionamento, la teoria su cui si basa, i suoi punti di forza e i punti deboli. Questo particolare tipo di attacco informatico fu presentato per la prima volta da Paul C. Kocher nel 1996 all’“RSA Data Security and CRYPTO conferences”. Nel suo articolo “Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems” l’autore svela una nuova possibile falla nel sistema RSA, che non dipende da debolezze del crittosistema puramente matematiche, ma da un aspetto su cui nessuno prima di allora si era mai soffermato: il tempo di esecuzione delle operazioni crittografiche. Il concetto è tanto semplice quanto geniale: ogni operazione in un computer ha una certa durata. Le variazioni dei tempi impiegati per svolgere le operazioni dal computer infatti, necessariamente dipendono dal tipo di algoritmo e quindi dalle chiavi private e dal particolare input che si è fornito. In questo modo, misurando le variazioni di tempo e usando solamente strumenti statistici, Kocher mostra che è possibile ottenere informazioni sull’implementazione del crittosistema e quindi forzare RSA e altri sistemi di sicurezza, senza neppure andare a toccare l’aspetto matematico dell’algoritmo. Di centrale importanza per questa teoria diventa quindi la statistica. Questo perché entrano in gioco molte variabili che possono influire sul tempo di calcolo nella fase di decifrazione: - La progettazione del sistema crittografico - Quanto impiega la CPU ad eseguire il processo - L’algoritmo utilizzato e il tipo di implementazione - La precisione delle misurazioni - Ecc. Per avere più possibilità di successo nell’attaccare il sistema occorre quindi fare prove ripetute utilizzando la stessa chiave e input differenti per effettuare analisi di correlazione statistica delle informazioni di temporizzazione, fino al punto di recuperare completamente la chiave privata. Ecco cosa asserisce Kocher: “Against a vulnerable system, the attack is computationally inexpensive and often requires only known ciphertext.”, cioè, contro sistemi vulnerabili, l’attacco è computazionalmente poco costoso e spesso richiede solo di conoscere testi cifrati e di ottenere i tempi necessari per la loro decifrazione.

La noción de persona como particular de base. La ontología de la adscripción de Strawson, un precedente del soi-même de Ricoeur

En este artículo se parte de las aporías en las que el conductismo lógico de Gilbert Ryle deja la adscripción de los estados subjetivos y de la intencionalidad y se examina el argumento que orienta la solución ontológica de Peter Strawson a través de su noción primitiva de persona como particular de base. Se muestra que la noción de persona de Strawson es una salida a las aporías del mentalismo y del conductismo que anticipa la ontología del soi-même de Paul Ricoeur, aunque sin alcanzar la densidad narrativa que los quiénes reciben en el filósofo francés a partir del paso de las acciones discretas a las prácticas. Asimismo se establecen nexos entre la ontología de la persona y los problemas epistemológicos de la acción en las ciencias sociales.

La noción de persona como particular de base. La ontología de la adscripción de Strawson, un precedente del soi-même de Ricoeur

En este artículo se parte de las aporías en las que el conductismo lógico de Gilbert Ryle deja la adscripción de los estados subjetivos y de la intencionalidad y se examina el argumento que orienta la solución ontológica de Peter Strawson a través de su noción primitiva de persona como particular de base. Se muestra que la noción de persona de Strawson es una salida a las aporías del mentalismo y del conductismo que anticipa la ontología del soi-même de Paul Ricoeur, aunque sin alcanzar la densidad narrativa que los quiénes reciben en el filósofo francés a partir del paso de las acciones discretas a las prácticas. Asimismo se establecen nexos entre la ontología de la persona y los problemas epistemológicos de la acción en las ciencias sociales.

La noción de persona como particular de base. La ontología de la adscripción de Strawson, un precedente del soi-même de Ricoeur

En este artículo se parte de las aporías en las que el conductismo lógico de Gilbert Ryle deja la adscripción de los estados subjetivos y de la intencionalidad y se examina el argumento que orienta la solución ontológica de Peter Strawson a través de su noción primitiva de persona como particular de base. Se muestra que la noción de persona de Strawson es una salida a las aporías del mentalismo y del conductismo que anticipa la ontología del soi-même de Paul Ricoeur, aunque sin alcanzar la densidad narrativa que los quiénes reciben en el filósofo francés a partir del paso de las acciones discretas a las prácticas. Asimismo se establecen nexos entre la ontología de la persona y los problemas epistemológicos de la acción en las ciencias sociales.

PARA UMA POÉTICA DA VITALIDADE: religião e antropologia na escritura machadiana (Uma leitura de Memórias póstumas de Brás Cubas, de Machado de Assis)

A literatura de Machado de Assis foi revisitada nesta tese porque tínhamos a convicção de que o tema da religião e suas implicações para o ser humano machadiano se constituíam como uma tarefa de investigação que esperava por ser feita. Para localizar o objetivo central da presente tese no campo das discussões travadas entre religião e literatura construímos, na primeira parte, um caminho que nos levou a constatação da efetiva aproximação entre elas. Amparados pela inabarcável discussão que trata das imagens religiosas e teológicas presentes nos textos literários, bem como pelas inúmeras construções metodológicas que visam a propiciar uma aproximação mais profícua entre religião e literatura, buscamos uma interpretação da literatura machadiana que apontasse para a expressão religiosa do ponto de vista de sua antropologia. O nosso eixo interpretativo foi construído a partir da teoria hermenêutica de Paul Ricoeur, mais especificamente a partir do conceito de metáfora. A reflexão que construímos em torno da expressão religiosa da antropologia machadiana foi inicialmente devedora do conceito de vitalidade de Jürgen Moltmann. A expressão religiosa da antropologia machadiana emergida do romance Memórias Póstumas de Brás Cubas (1881) apresenta-se sob a perspectiva de uma incondicionalidade a partir da qual a vida de Brás Cubas é tomada. Esta característica da antropologia machadiana fez com que estabelecêssemos um recurso conceitual para dar conta de sua particularidade. Propomos, portanto, que o ser humano do espaço literário machadiano seja chamado de homo vitalis.(AU)

PARA UMA POÉTICA DA VITALIDADE: religião e antropologia na escritura machadiana (Uma leitura de Memórias póstumas de Brás Cubas, de Machado de Assis)

A literatura de Machado de Assis foi revisitada nesta tese porque tínhamos a convicção de que o tema da religião e suas implicações para o ser humano machadiano se constituíam como uma tarefa de investigação que esperava por ser feita. Para localizar o objetivo central da presente tese no campo das discussões travadas entre religião e literatura construímos, na primeira parte, um caminho que nos levou a constatação da efetiva aproximação entre elas. Amparados pela inabarcável discussão que trata das imagens religiosas e teológicas presentes nos textos literários, bem como pelas inúmeras construções metodológicas que visam a propiciar uma aproximação mais profícua entre religião e literatura, buscamos uma interpretação da literatura machadiana que apontasse para a expressão religiosa do ponto de vista de sua antropologia. O nosso eixo interpretativo foi construído a partir da teoria hermenêutica de Paul Ricoeur, mais especificamente a partir do conceito de metáfora. A reflexão que construímos em torno da expressão religiosa da antropologia machadiana foi inicialmente devedora do conceito de vitalidade de Jürgen Moltmann. A expressão religiosa da antropologia machadiana emergida do romance Memórias Póstumas de Brás Cubas (1881) apresenta-se sob a perspectiva de uma incondicionalidade a partir da qual a vida de Brás Cubas é tomada. Esta característica da antropologia machadiana fez com que estabelecêssemos um recurso conceitual para dar conta de sua particularidade. Propomos, portanto, que o ser humano do espaço literário machadiano seja chamado de homo vitalis.(AU)

RELIGIÃO E FRONTEIRA: EM DIÁLOGO COM PAUL TILLICH NO BRASIL

Nosso objetivo nesta pesquisa é investigar os estudos em diálogo com o pensamento de Paul Tillich no Brasil nos últimos anos, buscando mapear a sua tendência, a partir da religião. Para isso, foi necessário verificar a produção científica feita no âmbito da Associação Paul Tillich do Brasil, através da revista Correlatio, tendo em mente o referencial teórico de religião e fronteira. Utilizamos estes temas, religião e fronteira, cujos significados foram tomados da própria teoria tillichiana, como principais categorias de análise do nosso trabalho. Apontamos a contribuição que pesquisadores brasileiros interessados nas ideias de Tillich têm apresentado para os estudos de religião. Além disso, observamos, sobretudo, que o pensamento tillichiano está em uma situação fronteiriça no Brasil entre aquilo que ele disse e a maneira segundo a qual ele é interpretado no país, onde a religião no sentido estrito preocupa os estudiosos brasileiros mais do que a religião no sentido amplo. A dissertação está estruturada em três momentos: mostrar como a fronteira pode ser visualizada como espaço hermenêutico da religião, apresentar algumas aberturas com que Tillich lida com o tema religião, e analisar os estudos em diálogo com Tillich no Brasil, através das categorias religião e fronteira.(AU)

RELIGIÃO E FRONTEIRA: EM DIÁLOGO COM PAUL TILLICH NO BRASIL

Nosso objetivo nesta pesquisa é investigar os estudos em diálogo com o pensamento de Paul Tillich no Brasil nos últimos anos, buscando mapear a sua tendência, a partir da religião. Para isso, foi necessário verificar a produção científica feita no âmbito da Associação Paul Tillich do Brasil, através da revista Correlatio, tendo em mente o referencial teórico de religião e fronteira. Utilizamos estes temas, religião e fronteira, cujos significados foram tomados da própria teoria tillichiana, como principais categorias de análise do nosso trabalho. Apontamos a contribuição que pesquisadores brasileiros interessados nas ideias de Tillich têm apresentado para os estudos de religião. Além disso, observamos, sobretudo, que o pensamento tillichiano está em uma situação fronteiriça no Brasil entre aquilo que ele disse e a maneira segundo a qual ele é interpretado no país, onde a religião no sentido estrito preocupa os estudiosos brasileiros mais do que a religião no sentido amplo. A dissertação está estruturada em três momentos: mostrar como a fronteira pode ser visualizada como espaço hermenêutico da religião, apresentar algumas aberturas com que Tillich lida com o tema religião, e analisar os estudos em diálogo com Tillich no Brasil, através das categorias religião e fronteira.(AU)

PARA UMA POÉTICA DA VITALIDADE: religião e antropologia na escritura machadiana (Uma leitura de Memórias póstumas de Brás Cubas, de Machado de Assis)

A literatura de Machado de Assis foi revisitada nesta tese porque tínhamos a convicção de que o tema da religião e suas implicações para o ser humano machadiano se constituíam como uma tarefa de investigação que esperava por ser feita. Para localizar o objetivo central da presente tese no campo das discussões travadas entre religião e literatura construímos, na primeira parte, um caminho que nos levou a constatação da efetiva aproximação entre elas. Amparados pela inabarcável discussão que trata das imagens religiosas e teológicas presentes nos textos literários, bem como pelas inúmeras construções metodológicas que visam a propiciar uma aproximação mais profícua entre religião e literatura, buscamos uma interpretação da literatura machadiana que apontasse para a expressão religiosa do ponto de vista de sua antropologia. O nosso eixo interpretativo foi construído a partir da teoria hermenêutica de Paul Ricoeur, mais especificamente a partir do conceito de metáfora. A reflexão que construímos em torno da expressão religiosa da antropologia machadiana foi inicialmente devedora do conceito de vitalidade de Jürgen Moltmann. A expressão religiosa da antropologia machadiana emergida do romance Memórias Póstumas de Brás Cubas (1881) apresenta-se sob a perspectiva de uma incondicionalidade a partir da qual a vida de Brás Cubas é tomada. Esta característica da antropologia machadiana fez com que estabelecêssemos um recurso conceitual para dar conta de sua particularidade. Propomos, portanto, que o ser humano do espaço literário machadiano seja chamado de homo vitalis.(AU)

RELIGIÃO E FRONTEIRA: EM DIÁLOGO COM PAUL TILLICH NO BRASIL

Nosso objetivo nesta pesquisa é investigar os estudos em diálogo com o pensamento de Paul Tillich no Brasil nos últimos anos, buscando mapear a sua tendência, a partir da religião. Para isso, foi necessário verificar a produção científica feita no âmbito da Associação Paul Tillich do Brasil, através da revista Correlatio, tendo em mente o referencial teórico de religião e fronteira. Utilizamos estes temas, religião e fronteira, cujos significados foram tomados da própria teoria tillichiana, como principais categorias de análise do nosso trabalho. Apontamos a contribuição que pesquisadores brasileiros interessados nas ideias de Tillich têm apresentado para os estudos de religião. Além disso, observamos, sobretudo, que o pensamento tillichiano está em uma situação fronteiriça no Brasil entre aquilo que ele disse e a maneira segundo a qual ele é interpretado no país, onde a religião no sentido estrito preocupa os estudiosos brasileiros mais do que a religião no sentido amplo. A dissertação está estruturada em três momentos: mostrar como a fronteira pode ser visualizada como espaço hermenêutico da religião, apresentar algumas aberturas com que Tillich lida com o tema religião, e analisar os estudos em diálogo com Tillich no Brasil, através das categorias religião e fronteira.(AU)

Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B

Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.

A noção de relação na teoria linguística de Ferdinand de Saussure

Our work aims at investigating the notion of relation in Ferdinand de Saussure’s linguistic reflections. As we observe his theoretical production, we see this notion was amply worked in the elaboration of other concepts of his, for example, language, signe, value, arbitrariness, among others. However, beyond the capacity of the notion of relation to produce other concepts, the way it was conceived and the theoretical space it was placed allowed Saussure to break through the essentially historical-comparative studies of the epoch, what made a new way of thinking language to have its starting point. Taking it into account, firstly, by reading the work of Herman Paul, the one who represents the neogrammarians in our text, we examine in which way Saussure is distant from his contemporary linguistics when he distinguishes the linguistic relations and give them a new status in his investigation. Secondly, we study how the notion of relation has it own place in Saussure’s theoretical process of thinking the fundamentals which later would be considered the milestone for Modern Linguistics. For that, we analyse one of his manuscripts, Notes pour un livre sur la linguistique générale, and the Course in General Linguistics. The first is composed by sketches which would become a book, as Saussure promised in a letter to Meillet; and the latter contains the principals for the science of Linguistics. So we aim at researching how the notion of relation is treated in this corpus in order to see the way it is conceived both in the particular production of a manuscript written by Saussure itself and the book which was published and considered the turning point for Linguistics.

Filtros de areia aplicados à irrigação localizada: teoria e prática

The application of sand filters in localized irrigation systems is recommended in the presence of organic and algae contamination. The proper design and maintenance of these equipments are essential to assure an effective water quality control, in order to reduce the emitters clogging, to keep its water application uniformity, and to prevent increasing in the system operation costs. Despite the existence of some references about design, operation and maintenance of these filters, they are dispersed, with not enough details to guarantee the optimization of its hydraulics structure design and the proper selection of porous media to be used. Therefore, the objective of this work was to report a current literature review, relating practical information with scientific knowledge. The content of this review would help to induce and intensify the research on this subject and to contribute so the operational functions for the equipment are reached. It is also expected to assist the improvement of the filtration and flushing processes in the agricultural irrigation and the development of original design procedures and the rational use of these devices.

TEORIA SINTÁTICA: DE UMA PERSPECTIVA DE -ISMOS PARA UMAPERSPECTIVA DE PROGRAMAS

This paper tries to show that the developments in linguistic sciences are better viewed as stages in a single research program, rather than different ideological -isms. The first part contains an overview of the structuralistas' beliefs about the universality and equivalence of human languages, and their search for syntactic universals. In the second part, we will see that the generative program, in its turn, tries to answer why language is a universal faculty in the human species and addresses questions about its form, its development and its use. In the second part, we will see that the paper gives a brief glimpse of the tentative answers the program has been giving to each of these issues.