Aplicações da q-Álgebra em física da matéria condensada

We address the generalization of thermodynamic quantity q-deformed by q-algebra that describes a general algebra for bosons and fermions . The motivation for our study stems from an interest to strengthen our initial ideas, and a possible experimental application. On our journey, we met a generalization of the recently proposed formalism of the q-calculus, which is the application of a generalized sequence described by two parameters deformation positive real independent and q1 and q2, known for Fibonacci oscillators . We apply the wellknown problem of Landau diamagnetism immersed in a space D-dimensional, which still generates good discussions by its nature, and dependence with the number of dimensions D, enables us future extend its application to systems extra-dimensional, such as Modern Cosmology, Particle Physics and String Theory. We compare our results with some experimentally obtained performing major equity. We also use the formalism of the oscillators to Einstein and Debye solid, strengthening the interpretation of the q-deformation acting as a factor of disturbance or impurity in a given system, modifying the properties of the same. Our results show that the insertion of two parameters of disorder, allowed a wider range of adjustment , i.e., enabling change only the desired property, e.g., the thermal conductivity of a same element without the waste essence

Associação entre polimorfismos em enzimas de reparo de DNA e ocorrência de meningite bacteriana.

Despite advances in vaccine development and therapy, bacterial meningitis (BM) remains a major cause of death and long-term neurological disabilities. As part of the host inflammatory response to the invading pathogen, factors such as reactive oxygen species are generated, which may damage DNA and trigger the overactivation of DNA repair mechanisms. It is conceivable that the individual susceptibility and outcome of BM may be in part determined by non synonymous polymorphisms that may alter the function of crucial BER DNA repair enzymes as PARP-1, OGG-1 and APE-1. These enzymes, in addition to their important DNA repair function, also perform role of inflammatory regulators. In this work was investigated the non synonymous SNPs APE-1 Asn148Glu, OGG-1 Ser326Cys,PARP-1 Val762Ala, PARP-1 Pro882Leu and PARP-1 Cys908Tyr in patients with bacterial meningitis (BM), chronic meningitis (CM), aseptic meningitis (AM) and not infected (controls). As results we found increased frequency of variant alleles of PARP-1 Val762Ala (P = 0.005) and APE-1 Asn148Glu (P=0.018) in BM patients, APE-1 Asn148Glu in AM patients (P = 0.012) and decrease in the frequency of the variant allele OGG-1 Ser326Cys in patients with CM (P = 0.013), regarding the allelic frequencies in the controls. A major incidence of individuals heterozygous and/ or polymorphic homozygous in BM for PARP-1 Val762Ala (P= 0.0399, OD 4.2, 95% IC 1.213 -14.545) and PARP-1 Val762Ala/ APE-1 Asn148Glu (P = 0.0238, OD 11.111, 95% IC 1.274 - 96.914) was observed related to what was expected in a not infected population. It was also observed a major incidence of combined SNPs in the BM patients compared with the control group (P=0.0281), giving evidences that SNPs can cause some susceptibility to the disease. This combined effect of SNPs seems to regulate the principal cytokines and other factors related to BM inflammatory response and point the importance of DNA repair not only to repair activity when DNA is damaged, but to others essential functions to human organism balance.

Relação entre padrão comportamental, estágios do ciclo de muda e atividade de enzimas digestivas proteolíticas em juvenis do camarão marinho Litopenaeus vannamei (Crustacea: Penaeidae)

Shrimp farming in Brazil is a consolidated activity, having brought economical and social gains to several states with the largest production concentrated in the northeast. This fact is also reflected in higher feed intake, necessitating a more efficient feed management. Currently, management techniques already foresee food loss due to molting. In this sense, studies relating shrimp s digestive physiology, molting physiology and behavioral response of shrimp feed can optimize the feed management. Thus, our study aimed to evaluate the behavioral response of the marine shrimp L. vannamei (Crustacea: Penaeidae) in accordance with the stages of moulting cycle and feeding schedules based on higher or lower activity of proteolytic digestive enzymes; also, to investigate the influence of feeding schedule on hepatosomatic index and non-specific and specific protease activity (trypsin). Experiments were carried out at the Laboratory of Shrimp Behavioral Studies at UFRN in partnership with the Laboratory of Enzimology UFPE. Juveniles of L. vannamei weighting 5.25 g (+ 0.25 g) were kept in aquaria at a density of 33 shrimp m -2. In the first experiment, shrimp were fed in the light phase or in the dark phase for 8 days; in the ninth day, the animals were observed for 15 minutes every hour during the 12 hours of each phase of the photoperiod. We recorded the frequency of inactivity, exploration, food intake, burrowing, swimming and crawling behavior. At the end of the 12th observation session, the shrimp were sacrified and classified by the method of setogenesis in the molt cycle stages A, B, C, D0, D1, D2 or D3. We found that the shrimp in A stage show high levels of inactivity. Moreover, the frequency of food intake was very low. The shrimp in D3 stage also had low food intake and high inactivity associated with elevated frequencies of burrowing. In the second experiment, shrimp were kept in physiological acclimation to experimental conditions for 28 days, distributed in 12 treatments in the light phase and 12 treatments in the dark phase. In the end, the animals were sacrified and dissected to assess non-specific and specific protease activity (trypsin) activity. In general, these parameters did not vary among animals fed in the light phase and those fed in the dark phase. However, significant differences were found in the activity of specific and nonspecific proteases in relation to food treatment. In the light phase, the major proteolytic activities converged to 10 hours after the start of the light phase, while the lowest activities converged to 6 hours after the beginning of this phase. In the dark phase, the highest enzyme activity converged to 12 hours after the onset of phase, while the lowest activities converged to 3 hours after the onset of phase. In the third experiment, we sought to evaluate the behavioral responses of shrimp in relation to dietary treatments based on higher or lower activity of proteolytic enzymes, considering the results of the second experiment. The behavioral categories observed were the same as the ones in the first experiment, with observations of 30 minutes (15min before and 15min after food supply). We found variation in behavioral responses as a function of the treatments, with greater intake of food in shrimp fed during the period of greatest activity of proteolytic enzymes, in the light phase. Thus we see that periodic events associated with the shrimp s physiology interfere in their behavioral responses, revealing situations that are more adjustable to the provision of food, and consequently optimizing feeding management

Estudo das ligas titânio-zircônio resultantes do processo de fundição plasma-skull para aplicações como biomateriais

The aim of this work was to study a series of 11 different compositions of Ti-Zr binary alloys resistance to aggressive environment, i. e., their ability to keep their surface properties and mass when exposed to them as a way to evaluate their performance as biomaterials. The first stage was devoted to the fabrication of tablets from these alloys by Plasma-Skull casting method using a Discovery Plasma machine from EDG Equipamentos, Brazil. In a second stage, the chemical composition of each produced tablet was verified. In a third stage, the specimen were submitted to: as-cast microstructure analysis via optical and scanning electron microscopy (OM and SEM), x-ray dispersive system (EDS) chemical analysis via SEM, Vickers hardness tests for mechanical evaluation and corrosion resistence tests in a 0.9% NaCl solution to simulate exposition to human saliva monitored by open circuit potential and polarization curves. From the obtained results, it was possible to infer that specimens A1 (94,07 wt% Ti and 5,93% wt% Zr), A4 (77,81 wt % Ti and 22,19 wt % Zr) and A8 (27,83 wt% Ti and 72,17 wt% Zr), presented best performance regarding to corrosion resistance, homogeneity and hardness which are necessary issues for biomaterials to be applied as orthopedic and odontological prosthesis

Obtenção de novos sistemas nanoautoemulsificantes a partir do óleo das sementes de Azadirachta indica A Juss e suas aplicações como inibidores de corrosão

Corrosion is a natural process that causes progressive deterioration of materials, so, reducing the corrosive effects is a major objective of development of scientific studies. In this work, the efficiency of corrosion inhibition on a AISI 1018 carbon steel of the nanoemulsion system containing the oil of the seeds of Azadirachta indica A. Juss (SNEOAI) was evaluated by the techniques of linear polarization resistance (LPR) and weight loss (CPM), a instrumented cell. For that, hydroalcoholic extract of leaves of A. indica (EAI) was solubilized in a nanoemulsion system (SNEOAI) of which O/W system (rich in aqueous phase). This nanoemulsion system (tested in different concentrations) was obtained with oil from the seeds of this plant species (OAI) (oil phase), dodecylammonium chloride (DDAC) (surfactant), butanol (cosurfactant) and water, using 30 % of C/T (cosurfactant/surfactant), 0.5 % of oil phase and 69.5 % of aqueous phase, and characterized by surface tension, rheology and droplet sizes. This systems SNEOAI and SNEOAI-EAI (nanoemulsion containing hydroalcoholic extract - EAI) showed inhibition efficiencies in corrosive environment in saline (1 %), for the method of LPR with significant value of 70.58 % (300 ppm) to SNEOAI, 74.17 % (100 ppm) and 72.51 % (150 ppm) to SNEOAI-EAI. The best efficiencies inhibitions were observed for the method of CPM with 85.41 % for the SNEOAI (300 ppm) and 83.19 % SNEOAI-EAI (500 ppm). The results show that this formulation could be used commercially for use as a corrosion inhibitor, this research contributed to the biotechnological applicability of Azadirachta indica, considering the large use of this plant species rich in limonoids (tetranortriterpenoids), especially azadirachtin

Qualidade fisiológica de sementes e crescimento de plântulas de feijoeiro, em função de aplicações de paraquat em pré-colheita

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

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.

BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B

Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the services available to the client by means of an Application Programming Interface (API). Usually, these applications manipulate and store important information, such as cash and confidential data of their owners. Thus, it is necessary to adopt rigor on developing a smart card application to improve its quality and trustworthiness. The use of formal methods on the development of these applications is a way to reach these quality requirements. The B method is one of the many formal methods for system specification. The development in B starts with the functional specification of the system, continues with the application of some optional refinements to the specification and, from the last level of refinement, it is possible to generate code for some programming language. The B formalism has a good tool support and its application to Java Card is adequate since the specification and development of APIs is one of the major applications of B. The BSmart method proposed here aims to promote the rigorous development of Java Card applications up to the generation of its code, based on the refinement of its formal specification described in the B notation. This development is supported by the BSmart tool, that is composed of some programs that automate each stage of the method; and by a library of B modules and Java Card classes that model primitive types, essential Java Card API classes and reusable data structures

Avalição de reusabilidade de aplicações web baseadas em frameworks orientados a ações e a componentes: estudo de Caso sobre os Frameworks Apache Struts e JavaServer Faces

Over the years the use of application frameworks designed for the View and Controller layers of MVC architectural pattern adapted to web applications has become very popular. These frameworks are classified into Actions Oriented and Components Oriented , according to the solution strategy adopted by the tools. The choice of such strategy leads the system architecture design to acquire non-functional characteristics caused by the way the framework influences the developer to implement the system. The components reusability is one of those characteristics and plays a very important role for development activities such as system evolution and maintenance. The work of this dissertation consists to analyze of how the reusability could be influenced by the Web frameworks usage. To accomplish this, small academic management applications were developed using the latest versions of Apache Struts and JavaServer Faces frameworks, the main representatives of Java plataform Web frameworks of. For this assessment was used a software quality model that associates internal attributes, which can be measured objectively, to the characteristics in question. These attributes and metrics defined for the model were based on some work related discussed in the document

Um ambiente multi-middleware para desenvolvimento de aplicações distribuídas

This work presents a proposal of a multi-middleware environment to develop distributed applications, which abstracts different underlying middleware platforms. This work describes: (i) the reference architecture designed for the environment, (ii) an implementation which aims to validate the specified architecture integrating CORBA and EJB, (iii) a case study illustrating the use of the environment, (iv) a performance analysis. The proposed environment allows interoperability on middleware platforms, allowing the reuse of components of different kinds of middleware platforms in a transparency away to the developer and without major losses in performance. Also in the implementation we developed an Eclipse plugin which allows developers gain greater productivity at developing distributed applications using the proposed environment

Proposta e implementação de uma arquitetura reconfigurável híbrida para aplicações baseadas em fluxo de dados

The increase of applications complexity has demanded hardware even more flexible and able to achieve higher performance. Traditional hardware solutions have not been successful in providing these applications constraints. General purpose processors have inherent flexibility, since they perform several tasks, however, they can not reach high performance when compared to application-specific devices. Moreover, since application-specific devices perform only few tasks, they achieve high performance, although they have less flexibility. Reconfigurable architectures emerged as an alternative to traditional approaches and have become an area of rising interest over the last decades. The purpose of this new paradigm is to modify the device s behavior according to the application. Thus, it is possible to balance flexibility and performance and also to attend the applications constraints. This work presents the design and implementation of a coarse grained hybrid reconfigurable architecture to stream-based applications. The architecture, named RoSA, consists of a reconfigurable logic attached to a processor. Its goal is to exploit the instruction level parallelism from intensive data-flow applications to accelerate the application s execution on the reconfigurable logic. The instruction level parallelism extraction is done at compile time, thus, this work also presents an optimization phase to the RoSA architecture to be included in the GCC compiler. To design the architecture, this work also presents a methodology based on hardware reuse of datapaths, named RoSE. RoSE aims to visualize the reconfigurable units through reusability levels, which provides area saving and datapath simplification. The architecture presented was implemented in hardware description language (VHDL). It was validated through simulations and prototyping. To characterize performance analysis some benchmarks were used and they demonstrated a speedup of 11x on the execution of some applications

Uma abordagem baseada em aspectos e composição dinâmica para a construção de aplicações adaptativas cientes ao contexto

Ubiquitous computing systems operate in environments where the available resources significantly change during the system operation, thus requiring adaptive and context aware mechanisms to sense changes in the environment and adapt to new execution contexts. Motivated by this requirement, a framework for developing and executing adaptive context aware applications is proposed. The PACCA framework employs aspect-oriented techniques to modularize the adaptive behavior and to keep apart the application logic from this behavior. PACCA uses abstract aspect concept to provide flexibility by addition of new adaptive concerns that extend the abstract aspect. Furthermore, PACCA has a default aspect model that considers habitual adaptive concerns in ubiquitous applications. It exploits the synergy between aspect-orientation and dynamic composition to achieve context-aware adaptation, guided by predefined policies and aim to allow software modules on demand load making possible better use of mobile devices and yours limited resources. A Development Process for the ubiquitous applications conception is also proposed and presents a set of activities that guide adaptive context-aware developer. Finally, a quantitative study evaluates the approach based on aspects and dynamic composition for the construction of ubiquitous applications based in metrics

Avaliação do Uso de Smartphones na Interação com as Aplicações da Televisão Digital Brasileira

Brazil is going through the process from analogical transmission to digital transmission. This new technology, in addition to providing a high quality audio and video, also allows applications to execute on television. Equipment called Set-Top Box are needed to allow the reception of this new signal and create the appropriate environment necessary to execute applications. At first, the only way to interact with these applications is given by remote control. However, the remote control has serious usability problems when used to interact with some types of applications. This research suggests a software resources implementation capable to create a environment that allows a smartphone to interact with applications. Besides this implementation, is performed a comparative study between use remote controle and smartphones to interact with applications of digital television, taking into account parameters related to usability. After analysis of data collected by the comparative study is possible to identify which device provides an interactive experience more interesting for users

KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B

The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B method, generating Java Card code from B specifications. For the development with BSmart to be effectively rigorous without overloading the user it is important to have a library of reusable components built in B. The goal of KitSmart is to provide this support. A first research about the composition of this library was a graduation work from Universidade Federal do Rio Grande do Norte, made by Thiago Dutra in 2006. This first version of the kit resulted in a specification of Java Card primitive types byte, short and boolean in B and the creation of reusable components for application development. This work provides an improvement of KitSmart with the addition of API Java Card specification made in B and a guide for the creation of new components. The API Java Card in B, besides being available to be used for development of applications, is also useful as a documentation of each API class. The reusable components correspond to modules to manipulate specific structures, such as date and time. These structures are not available for B or Java Card. These components for Java Card are generated from specifications formally verified in B. The guide contains quick reference on how to specify some structures and how some situations were adapted from object-orientation to the B Method. This work was evaluated through a case study made through the BSmart tool, that makes use of the KitSmart library. In this case study, it is possible to see the contribution of the components in a B specification. This kit should be useful for B method users and Java Card application developers

Avaliação da execução de aplicações orientadas à dados na arquitetura de redes em chip IPNoSys

The increasing complexity of integrated circuits has boosted the development of communications architectures like Networks-on-Chip (NoCs), as an architecture; alternative for interconnection of Systems-on-Chip (SoC). Networks-on-Chip complain for component reuse, parallelism and scalability, enhancing reusability in projects of dedicated applications. In the literature, lots of proposals have been made, suggesting different configurations for networks-on-chip architectures. Among all networks-on-chip considered, the architecture of IPNoSys is a non conventional one, since it allows the execution of operations, while the communication process is performed. This study aims to evaluate the execution of data-flow based applications on IPNoSys, focusing on their adaptation against the design constraints. Data-flow based applications are characterized by the flowing of continuous stream of data, on which operations are executed. We expect that these type of applications can be improved when running on IPNoSys, because they have a programming model similar to the execution model of this network. By observing the behavior of these applications when running on IPNoSys, were performed changes in the execution model of the network IPNoSys, allowing the implementation of an instruction level parallelism. For these purposes, analysis of the implementations of dataflow applications were performed and compared