Cartografias do desejo em asfalto selvagem - engraçadinha, seus amores e seus pecados: humor, erotismo e o pornógrafo no romance rodrigueano

Trata-se nesta dissertação de estabelecer, partindo do pensamento contemporâneo francês da linha deleuziana e guattariana, sobretudo, uma analítica do desejo capaz de reconfigurar o romance de Nelson Rodrigues, Asfalto selvagem: Engraçadinha, seus amores e seus pecados, desterritorializá-lo em relação à tradição crítica e estética, fundada no paradigma realista-naturalista enraizado no pensamento literário brasileiro, especificamente no século XX. Movemo-nos por discussões sobre o autor e sobre o romance, empreendidas por Rolnik, interlocutora de Guattari, o qual está ligado aos novos paradigmas estéticos, à questão da produção de subjetividades, à micropolítica, às multiplicidades e às minorias. Buscamos contribuir para esse redimensionamento, colocando-nos na perspectiva cartográfica e rizomática para surpreender, em Asfalto, seus processos de subjetivação, incidindo sobre as singularidades selvagens, considerando os conceitos de Foucault, aplicados à construção literária enquanto espaço heterotópico, configurando a experiência do fora, como princípios estéticos. Veremos que as personagens, com foco em Engraçadinha, funcionam, como pequenas máquinas desejantes, Corpos sem Órgãos, moléculas desestabilizando as formações molares. Destarte, Nelson Rodrigues, na perspectiva da produção autoral, torna-se o pornógrafo, o literato iterador, como agenciador de uma palavra perversa, para além dos dogmas, da cena romantizada, originando, em sua poética, a revelação da obs-cena, a obscenidade, como crítica às instituições falidas. Trazemos, nesse sentido, referências de Bataille, quanto ao que na atividade estética se relaciona com o excedente da visão, relacionados ao espaço tático-ótico, concepção deleuziana referentes ao corpo-linguagem, pornografia, pornógrafo, narrativas abomináveis. Acompanhamo-nos, pois, dos conceitos da problemática da diferença e da alteridade, repercutindo na larvaridade, nas afecções, que abrem vias comunicantes com fenômenos extremos, atuantes em torno do mesmo e do outro, trazendo a rizomaticidade do mal e da monstruosidade para a construção estética de Asfalto selvagem, vistos sob a ótica de Bataille, Deleuze, Baudrillard, em ensaios que rompem o olhar estrutural em torno da obra e oferecem subsídios para a construção de uma cartografia outra, o território do ficcional, habitado por um povo por vir, na perspectiva tratada por Deleuze e por Blanchot

Efeito da colhedora, velocidade e ponto de coleta na contaminação de sementes de soja por fungos

A pesquisa foi realizada com o objetivo de avaliar a qualidade sanitária de sementes de soja cv. Coodetec 217, colhidas por duas colhedoras operando em velocidades e pontos de coleta distintos. O delineamento foi inteiramente casualizado, no esquema fatorial 2x2x2. Os tratamentos foram constituídos por duas máquinas Massey Ferguson (MF 2003 e MF 2004), duas velocidades (4 e 7 Km.h¹) e dois pontos de coleta (tanque graneleiro e saída do tubo de descarga). A sanidade foi avaliada pelo método do papel de filtro, com quatro repetições de 50 sementes. Houve interação significativa para os fatores colhedora e ponto de coleta para a incidência de Penicillium sp. e Fusarium sp., entre colhedora e velocidade para Aspergillus spp., e, entre velocidade e ponto de coleta para Penicillium sp.. A presença de fungos associados às sementes, principalmente, Cladosporium sp. e Fusarium sp., independe do tipo de colhedora. Uma menor contaminação fúngica é observada nas sementes coletadas na saída do tubo de descarga à 4 Km.h-1. Para Fusarium sp., Aspergillus spp., e Penicillium sp. existe uma dependência dos fatores sobre suas incidências nas sementes da cultivar analisada, sob as condições estudadas.

Estudo de materiais mesoporosos funcionalizados com diferentes aminas para captura do dióxido de carbono através do processo de adsorção

Intensive use of machinery and engines burning fuel dumps into the atmosphere huge amounts of carbon dioxide (CO2), causing the intensification of the greenhouse effect. Climate changes that are occurring in the world are directly related to emissions of greenhouse gases, mainly CO2, gases, mainly due to the excessive use of fossil fuels. The search for new technologies to minimize the environmental impacts of this phenomenon has been investigated. Sequestration of CO2 is one of the alternatives that can help minimize greenhouse gas emissions. The CO2 can be captured by the post-combustion technology, by adsorption using adsorbents selective for this purpose. With this objective, were synthesized by hydrothermal method at 100 °C, the type mesoporous materials MCM - 41 and SBA-15. After the synthesis, the materials were submitted to a calcination step and subsequently functionalized with different amines (APTES, MEA, DEA and PEI) through reflux method. The samples functionalized with amines were tested for adsorption of CO2 in order to evaluate their adsorption capacities as well, were subjected to various analyzes of characterization in order to assess the efficiency of the method used for functionalization with amines. The physic-chemical techniques were used: X- ray diffraction (XRD), nitrogen adsorption and desorption (BET/BJH), scanning electron microscopy (SEM), transmission electron microscopy (TEM), CNH Analysis, Thermogravimetry (TG/DTG) and photoelectron spectroscopy X-ray (XPS). The CO2 adsorption experiments were carried out under the following conditions: 100 mg of adsorbent, at 25 °C under a flow of 100 ml/min of CO2, atmospheric pressure and the adsorption variation in time 10-210 min. The X-ray diffraction with the transmission electron micrographs for the samples synthesized and functionalized, MCM-41 and SBA-15 showed characteristic peaks of hexagonal mesoporous structure formation, showing the structure thereof was obtained. The method used was efficient reflux according to XPS and elemental analysis, which showed the presence of amines in the starting materials. The functionalized SBA -15 samples were those that had potential as best adsorbent for CO2 capture when compared with samples of MCM-41, obtaining the maximum adsorption capacity for SBA-15-P sample

Recovery of soil physical properties by green manure, liming, gypsum and pasture and spontaneous native species

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Consórcio de Urochloas com milho em sistema plantio direto

Uma alternativa para suprir o aporte anual de palha exigido para manutenção do sistema plantio direto (SPD), nas regiões tropicais, é o cultivo de milho consorciado com urochloas. Com o objetivo de identificar o melhor sistema de cultivo de duas espécies forrageiras (Urochloa brizantha e Urochloa ruzizienses) em consórcio com o milho (Zea mays L.) em sistema plantio direto, foi realizada a presente pesquisa. O milho foi semeado em consórcio com as forrageiras em cinco sistemas de cultivo. Foi utilizado o delineamento em blocos ao acaso, em esquema fatorial (2x4+1), com quatro repetições. Foram avaliadas: massa seca de palha do milho, massa seca da palha de urochloa, massa seca total de palha, população de plantas de milho, massa de 1000 grãos e produtividade de grãos. Os resultados demonstraram que o consórcio de milho com urochloa não apresentou efeito negativo na produtividade do milho e incrementou o aporte de matéria seca no sistema de produção sob plantio direto. A escolha de determinado sistema de cultivo depende do gerenciamento e da disponibilidade de máquinas, visto que todos os sistemas apresentaram comportamento positivo em relação à produtividade de grãos e à produção de palhada.

Desenvolvimento formal de aplicações para smartcards

Smart card applications represent a growing market. Usually this kind of application manipulate and store critical information that requires some level of security, such as financial or confidential information. The quality and trustworthiness of smart card software can be improved through a rigorous development process that embraces formal techniques of software engineering. In this work we propose the BSmart method, a specialization of the B formal method dedicated to the development of smart card Java Card applications. The method describes how a Java Card application can be generated from a B refinement process of its formal abstract specification. The development is supported by a set of tools, which automates the generation of some required refinements and the translation to Java Card client (host) and server (applet) applications. With respect to verification, the method development process was formalized and verified in the B method, using the Atelier B tool [Cle12a]. We emphasize that the Java Card application is translated from the last stage of refinement, named implementation. This translation process was specified in ASF+SDF [BKV08], describing the grammar of both languages (SDF) and the code transformations through rewrite rules (ASF). This specification was an important support during the translator development and contributes to the tool documentation. We also emphasize the KitSmart library [Dut06, San12], an essential component of BSmart, containing models of all 93 classes/interfaces of Java Card API 2:2:2, of Java/Java Card data types and machines that can be useful for the specifier, but are not part of the standard Java Card library. In other to validate the method, its tool support and the KitSmart, we developed an electronic passport application following the BSmart method. We believe that the results reached in this work contribute to Java Card development, allowing the generation of complete (client and server components), and less subject to errors, Java Card applications.

Uso das tecnologias na representação descritiva: o padrão de descrição bibliográfica semântica MarcOnt Initiative nos ambientes informacionais digitais

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

O modelo de dados Resource Description Framework (RDF) e o seu papel na descrição de recursos

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Computabilidade no espaço dos intervalos reais: um modelo BSS intervalar

A matemática intervalar é uma teoria matemática originada na década de 60 com o objetivo de responder questões de exatidão e eficiência que surgem na prática da computação científica e na resolução de problemas numéricos. As abordagens clássicas para teoria da computabilidade tratam com problemas discretos (por exemplo, sobre os números naturais, números inteiros, strings sobre um alfabeto finito, grafos, etc.). No entanto, campos da matemática pura e aplicada tratam com problemas envolvendo números reais e números complexos. Isto acontece, por exemplo, em análise numérica, sistemas dinâmicos, geometria computacional e teoria da otimização. Assim, uma abordagem computacional para problemas contínuos é desejável, ou ainda necessária, para tratar formalmente com computações analógicas e computações científicas em geral. Na literatura existem diferentes abordagens para a computabilidade nos números reais, mas, uma importante diferença entre estas abordagens está na maneira como é representado o número real. Existem basicamente duas linhas de estudo da computabilidade no contínuo. Na primeira delas uma aproximação da saída com precisão arbitrária é computada a partir de uma aproximação razoável da entrada [Bra95]. A outra linha de pesquisa para computabilidade real foi desenvolvida por Blum, Shub e Smale [BSS89]. Nesta aproximação, as chamadas máquinas BSS, um número real é visto como uma entidade acabada e as funções computáveis são geradas a partir de uma classe de funções básicas (numa maneira similar às funções parciais recursivas). Nesta dissertação estudaremos o modelo BSS, usado para se caracterizar uma teoria da computabilidade sobre os números reais e estenderemos este para se modelar a computabilidade no espaço dos intervalos reais. Assim, aqui veremos uma aproximação para computabilidade intervalar epistemologicamente diferente da estudada por Bedregal e Acióly [Bed96, BA97a, BA97b], na qual um intervalo real é visto como o limite de intervalos racionais, e a computabilidade de uma função intervalar real depende da computabilidade de uma função sobre os intervalos racionais

Simulação de reservatórios de petróleo em ambiente MPSoC

The constant increase of complexity in computer applications demands the development of more powerful hardware support for them. With processor's operational frequency reaching its limit, the most viable solution is the use of parallelism. Based on parallelism techniques and the progressive growth in the capacity of transistors integration in a single chip is the concept of MPSoCs (Multi-Processor System-on-Chip). MPSoCs will eventually become a cheaper and faster alternative to supercomputers and clusters, and applications developed for these high performance systems will migrate to computers equipped with MP-SoCs containing dozens to hundreds of computation cores. In particular, applications in the area of oil and natural gas exploration are also characterized by the high processing capacity required and would benefit greatly from these high performance systems. This work intends to evaluate a traditional and complex application of the oil and gas industry known as reservoir simulation, developing a solution with integrated computational systems in a single chip, with hundreds of functional unities. For this, as the STORM (MPSoC Directory-Based Platform) platform already has a shared memory model, a new distributed memory model were developed. Also a message passing library has been developed folowing MPI standard

Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases

Uma abordagem dirigida por modelos para desenvolvimento de middlewares auto-adaptativos para transmissão de fluxo de dados baseado em restrições de QoS

The use of middleware technology in various types of systems, in order to abstract low-level details related to the distribution of application logic, is increasingly common. Among several systems that can be benefited from using these components, we highlight the distributed systems, where it is necessary to allow communications between software components located on different physical machines. An important issue related to the communication between distributed components is the provision of mechanisms for managing the quality of service. This work presents a metamodel for modeling middlewares based on components in order to provide to an application the abstraction of a communication between components involved in a data stream, regardless their location. Another feature of the metamodel is the possibility of self-adaptation related to the communication mechanism, either by updating the values of its configuration parameters, or by its replacement by another mechanism, in case of the restrictions of quality of service specified are not being guaranteed. In this respect, it is planned the monitoring of the communication state (application of techniques like feedback control loop), analyzing performance metrics related. The paradigm of Model Driven Development was used to generate the implementation of a middleware that will serve as proof of concept of the metamodel, and the configuration and reconfiguration policies related to the dynamic adaptation processes. In this sense was defined the metamodel associated to the process of a communication configuration. The MDD application also corresponds to the definition of the following transformations: the architectural model of the middleware in Java code, and the configuration model to XML

Abordagem de construção de arquitetura homogênea para comitês via meta-aprendizagem

In the world we are constantly performing everyday actions. Two of these actions are frequent and of great importance: classify (sort by classes) and take decision. When we encounter problems with a relatively high degree of complexity, we tend to seek other opinions, usually from people who have some knowledge or even to the extent possible, are experts in the problem domain in question in order to help us in the decision-making process. Both the classification process as the process of decision making, we are guided by consideration of the characteristics involved in the specific problem. The characterization of a set of objects is part of the decision making process in general. In Machine Learning this classification happens through a learning algorithm and the characterization is applied to databases. The classification algorithms can be employed individually or by machine committees. The choice of the best methods to be used in the construction of a committee is a very arduous task. In this work, it will be investigated meta-learning techniques in selecting the best configuration parameters of homogeneous committees for applications in various classification problems. These parameters are: the base classifier, the architecture and the size of this architecture. We investigated nine types of inductors candidates for based classifier, two methods of generation of architecture and nine medium-sized groups for architecture. Dimensionality reduction techniques have been applied to metabases looking for improvement. Five classifiers methods are investigated as meta-learners in the process of choosing the best parameters of a homogeneous committee.

Uma máquina de redução de grafos para serviços web

Web services are software accessible via the Internet that provide functionality to be used by applications. Today, it is natural to reuse third-party services to compose new services. This process of composition can occur in two styles, called orchestration and choreography. A choreography represents a collaboration between services which know their partners in the composition, to achieve the service s desired functionality. On the other hand, an orchestration have a central process (the orchestrator) that coordinates all application operations. Our work is placed in this latter context, by proposing an abstract model for running service orchestrations. For this purpose, a graph reduction machine will be defined for the implementation of service orchestrations specified in a variant of the PEWS composition language. Moreover, a prototype of this machine (in Java) is built as a proof of concept

Recurso de interface captcha: segurança e usabilidade na distinção entre humano e máquina

Com o intuito de impedir que computadores enviem mensagens automáticas se passando por usuários reais, desenvolvedores tem utilizado o recurso de interface CAPTCHA para distinguir o preenchimento de dados e submissões realizadas por humanos e por máquinas. Este trabalho apresenta as principais modalidades de CAPTCHAs e discute as implicações na usabilidade. Para tanto, foram aplicados questionários e realizados testes de usabilidade em três modalidades de CAPTCHA. Verificou-se que, embora os usuários tenham consciência da importância do uso do CAPTCHA como ferramenta de segurança, percebeu-se que tal recurso compromete a usabilidade, gerando insatisfação e em alguns casos, a desistência da realização da tarefa