Competition between suppression and production of Fermi acceleration

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Arquitetura multiprocessada e reconfigurável para a síntese de redes de Petri em hardware

Uma arquitetura reconfigurável e multiprocessada para a implementação física de Redes de Petri foi desenvolvida em VHDL e mapeada sobre um FPGA. Convencionalmente, as Redes de Petri são transformadas em uma linguagem de descrição de hardware no nível de transferências entre registradores e um processo de síntese de alto nível é utilizado para gerar as funções booleanas e tabelas de transição de estado para que se possa, finalmente, mapeá-las num FPGA (Morris et al., 2000) (Soto and Pereira, 2001). A arquitetura proposta possui blocos lógicos reconfiguráveis desenvolvidos exclusivamente para a implementação dos lugares e das transições da rede, não sendo necessária a descrição da rede em níveis de abstração intermediários e nem a utilização de um processo de síntese para realizar o mapeamento da rede na arquitetura. A arquitetura permite o mapeamento de modelos de Redes de Petri com diferenciação entre as marcas e associação de tempo no disparo das transições, sendo composta por um arranjo de processadores reconfiguráveis, cada um dos quais representando o comportamento de uma transição da Rede de Petri a ser mapeada e por um sistema de comunicação, implementado por um conjunto de roteadores que são capazes de enviar pacotes de dados de um processador reconfigurável a outro. A arquitetura proposta foi validada num FPGA de 10.570 elementos lógicos com uma topologia que permitiu a implementação de Redes de Petri de até 9 transições e 36 lugares, atingindo uma latência de 15,4ns e uma vazão de até 17,12GB/s com uma freqüência de operação de 64,58MHz.

THE REDUCTIVE PERTURBATION METHOD AND THE KORTEWEG-DE VRIES HIERARCHY

By using the reductive perturbation method of Taniuti with the introduction of an infinite sequence of slow time variables tau(1), tau(3), tau(5), ..., we study the propagation of long surface-waves in a shallow inviscid fluid. The Korteweg-de Vries (KdV) equation appears as the lowest order amplitude equation in slow variables. In this context, we show that, if the lowest order wave amplitude zeta(0) satisfies the KdV equation in the time tau(3), it must satisfy the (2n+1)th order equation of the KdV hierarchy in the time tau(2n+1), With n = 2, 3, 4,.... AS a consequence of this fact, we show with an explicit example that the secularities of the evolution equations for the higher-order terms (zeta(1), zeta(2),...) of the amplitude can be eliminated when zeta(0) is a solitonic solution to the KdV equation. By reversing this argument, we can say that the requirement of a secular-free perturbation theory implies that the amplitude zeta(0) satisfies the (2n+1)th order equation of the KdV hierarchy in the time tau(2n+1) This essentially means that the equations of the KdV hierarchy do play a role in perturbation theory. Thereafter, by considering a solitary-wave solution, we show, again with an explicit, example that the elimination of secularities through the use of the higher order KdV hierarchy equations corresponds, in the laboratory coordinates, to a renormalization of the solitary-wave velocity. Then, we conclude that this procedure of eliminating secularities is closely related to the renormalization technique developed by Kodama and Taniuti.

ANOMALIES OF VARIATIONAL PHASE-SHIFTS

It is demonstrated, contrary to various claims, that the phase shifts calculated via variational principles involving the Green function may exhibit anomalous behavior. These anomalies may appear in variational principles for the K matrix (Schwinger variational principle) of potential V, for (K-V) (Kohn-type and Newton variational principles), and other variational principles of higher order (Takatsuka-McKoy variational principle).

CHIRAL SCHWINGER MODEL WITH A PODOLSKY TERM AT FINITE-TEMPERATURE

We study an exactly solvable two-dimensional model which mimics the basic features of the standard model. This model combines chiral coupling with an infrared behavior which resembles low energy QCD. This is done by adding a Podolsky higher-order derivative term in the gauge field to the Lagrangian of the usual chiral Schwinger model. We adopt a finite temperature regularization procedure in order to calculate the non-trivial fermionic Jacobian and obtain the photon and fermion propagators, first at zero temperature and then at finite temperature in the imaginary and real time formalisms. Both singular and non-singular cases, corresponding to the choice of the regularization parameter, are treated. In the nonsingular case there is a tachyonic mode as usual in a higher order derivative theory, however in the singular case there is no tachyonic excitation in the spectrum.

Emplacement setting of the granite sheeted pluton of Esperanca (Brasiliano orogen, Northeastern Brazil)

Anisotropy of magnetic susceptibility (AMS) and isotopic (U-Pb, Sm-Nd) data were combined to study the emplacement setting of the granite sheets that constitute the Esperanca pluton in the Borborema Province (Northeastern Brazil). The sheets dip moderately to the SE along the contact zone between the Paleoproterozoic basement rocks and Early Neoproterozoic orthogneisses and metasediments. Granite fabrics were determined mainly using AMS in 136 sites distributed within the central and western part of the pluton. The sheets normally have susceptibility lower than 0.35 mSI but, locally, where a Ti-poor magnetite appears with titanite, the susceptibility increases up to 5 mSI. Comparison between the silicate fabric and AMS showed inconsistencies between the shape of mineral and magnetic ellipsoids despite of their orientations that fit fairly well to each other. AMS indicated the deformation was partitioned between the lower (tonalite, syenogranite) and upper (leucogranite and coarse porphyritic granite) sheets. In the lower sheets the curvilinear lineation trajectory is attributed to a dominant heterogeneous pure shear event that flattened laterally the still molten tonalite and syenogranite into the regional foliation. ne associated microstructures are typically magmatic. Zircon U/Pb data of the syenogranite yielded a crystallization age of 592 +/- 5 Ma. In the upper sheets the fabric recorded a component of simple shear deformation that displaced the coarse porphyritic granite and the top gneissic host rocks to the southwest. Microstructures are mostly of post-full crystallization type. T(DM) model ages and epsilon(Nd) (t = 0) values indicate that the magma contaminated by partial melting of the regional host rocks. Sheet propagation at the emplacement level would have exploited the contact zone between crustal blocks of different rheologies when the melt pressures would be able to tensionally fail the anisotropy of the host rocks. (C) 2004 Elsevier B.V. All rights reserved.

Generalized soldering of +/- 2 helicity states in D=2+1

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Pre-weighted homogeneous map germs finite determinacy and topological triviality

In this paper we introduce the notion of G-pre-weighted homogeneous map germ, (G is one of Mather's groups A or K.) and show that any G-pre-weighted homogeneous map germ is G-finitely determined. We also give an explicit order, based on the Newton polyhedron of a pre-weighted homogeneous germ of function, such that the topological structure is preserved after perturbations by terms of higher order.

Critical number of atoms for attractive Bose-Einstein condensates with cylindrically symmetrical traps

The critical number of atoms for Bose-Einstein condensates with cylindrically symmetrical traps were calculated. The time evolution of the condensate was also studied at changing ground state. A conjecture on higher-order nonlinear effects was also discussed to determine its signal and strength. The results show that by exchanging frequencies, the geometry favors the condensation of larger number of particles.

Duality of osculating developables of projective curves

We give a description of the dual varieties of all developables of osculating linear spaces to a projective curve in terms of the higher order dual varieties of the curve, in arbitrary characteristic. We also determine for these varieties the inseparable degrees of the projections from the conormal varieties onto their dual varieties.

Branch and bound algorithm for transmission network expansion planning using DC model

This paper presents an algorithm to solve the network transmission system expansion planning problem using the DC model which is a mixed non-linear integer programming problem. The major feature of this work is the use of a Branch-and-Bound (B&B) algorithm to directly solve mixed non-linear integer problems. An efficient interior point method is used to solve the non-linear programming problem at each node of the B&B tree. Tests with several known systems are presented to illustrate the performance of the proposed method. ©2007 IEEE.

Podolsky's electromagnetic theory on the null-plane

We have analyzed the null-plane canonical structure of Podolsky's electromagnetic theory. As a theory that contains higher order derivatives in the Lagrangian function, it was necessary to redefine the canonical momenta related to the field variables. We were able to find a set of first and second-class constraints, and also to derive the field equations of the system. Copyright © owned by the author(s) under the terms of the Creative Commons Attribution-NonCommercial-ShareAlike Licence.

QCD phenomenology with infrared finite SDE solutions

Recent progress in the solution of Schwinger-Dyson equations (SDE), as well as lattice simulation of pure glue QCD, indicate that the gluon propagator and coupling constant are infrared (IR) finite. We discuss how this non-perturbative information can be introduced into the QCD perturbative expansion in a consistent scheme, showing some examples of tree level hadronic reactions that successfully fit the experimental data with the gluon propagator and coupling constant depending on a dynamically generated gluon mass. This infrared mass scale acts as a natural cutoff and eliminates some of the ad hoc parameters usually found in perturbative QCD calculations. The application of these IR finite Green's functions in the case of higher order terms of the perturbative expansion is commented. © Copyright owned by the author(s) under the terms of the Creative Commons Attribution-NonCommercial-ShareAlike Licence.

Context-sensitive analysis without calling-context

Since Sharir and Pnueli, algorithms for context-sensitivity have been defined in terms of 'valid' paths in an interprocedural flow graph. The definition of valid paths requires atomic call and ret statements, and encapsulated procedures. Thus, the resulting algorithms are not directly applicable when behavior similar to call and ret instructions may be realized using non-atomic statements, or when procedures do not have rigid boundaries, such as with programs in low level languages like assembly or RTL. We present a framework for context-sensitive analysis that requires neither atomic call and ret instructions, nor encapsulated procedures. The framework presented decouples the transfer of control semantics and the context manipulation semantics of statements. A new definition of context-sensitivity, called stack contexts, is developed. A stack context, which is defined using trace semantics, is more general than Sharir and Pnueli's interprocedural path based calling-context. An abstract interpretation based framework is developed to reason about stack-contexts and to derive analogues of calling-context based algorithms using stack-context. The framework presented is suitable for deriving algorithms for analyzing binary programs, such as malware, that employ obfuscations with the deliberate intent of defeating automated analysis. The framework is used to create a context-sensitive version of Venable et al.'s algorithm for analyzing x86 binaries without requiring that a binary conforms to a standard compilation model for maintaining procedures, calls, and returns. Experimental results show that a context-sensitive analysis using stack-context performs just as well for programs where the use of Sharir and Pnueli's calling-context produces correct approximations. However, if those programs are transformed to use call obfuscations, a contextsensitive analysis using stack-context still provides the same, correct results and without any additional overhead. © Springer Science+Business Media, LLC 2011.

Adsorption of heavy metal ions and epoxidation catalysis using a new polyhedral oligomeric silsesquioxane

The objective of this research was the preparation of a silsesquioxane functionalized with eight chloropropyl chains (T8-PrCl) and of a new derivative functionalized with a pendant linear chain (2-amino-1,3,4-thiadiazole - ATD; T8-Pr-ATD). The two nanostructured materials were characterized by 13C and 29Si NMR, FTIR and elemental analysis. The new nanostructured material, octakis[3-(2-amino-1,3,4-thiadiazole)propyl] octasilsesquioxane (T8-Pr-ATD), was tested as a ligand for transition-metal ions with a special attention to adsorption isotherms. The adsorption was performed using a batchwise process and the organofunctionalized surface showed the ability to adsorb the metal ions Cu (II), Co (II), and Ni (II) from water and ethanol. The adsorption isotherms were fitted by Langmuir, Freundlich, Temkin and Dubinin-Radushkevich (D-R) model. The kinetics of adsorption of metals were performed using three models such as pseudo-first order, pseudo-second order and Elovich. The Langmuir and Elovich models were the most appropriate to describe the adsorption and kinetic data, respectively. Furthermore, the T8-Pr-ATD was successfully applied to the analysis of environmental samples (river and sea water). Subsequently, a new nanomaterial was prepared by functionalization of the T8-Pr-ATD with a Mo (II) organometallic complex (T8-Pr-ATD-Mo). Only a few works in the literature have reported this type of substitution, and none dealt with ATD and Mo (II) complexes. The new Mo-silsesquioxane organometallic nanomaterial was tested as precursor in the epoxidation of cyclooctene and styrene. © 2012 Elsevier B.V.