Agraphs: definição, implementação e suas ferramentas

Programs manipulate information. However, information is abstract in nature and needs to be represented, usually by data structures, making it possible to be manipulated. This work presents the AGraphs, a representation and exchange format of the data that uses typed directed graphs with a simulation of hyperedges and hierarchical graphs. Associated to the AGraphs format there is a manipulation library with a simple programming interface, tailored to the language being represented. The AGraphs format in ad-hoc manner was used as representation format in tools developed at UFRN, and, to make it more usable in other tools, an accurate description and the development of support tools was necessary. These accurate description and tools have been developed and are described in this work. This work compares the AGraphs format with other representation and exchange formats (e.g ATerms, GDL, GraphML, GraX, GXL and XML). The main objective this comparison is to capture important characteristics and where the AGraphs concepts can still evolve

Uma Análise de métodos de distriubuição de atributos em comitês de classificadores

The objective of the researches in artificial intelligence is to qualify the computer to execute functions that are performed by humans using knowledge and reasoning. This work was developed in the area of machine learning, that it s the study branch of artificial intelligence, being related to the project and development of algorithms and techniques capable to allow the computational learning. The objective of this work is analyzing a feature selection method for ensemble systems. The proposed method is inserted into the filter approach of feature selection method, it s using the variance and Spearman correlation to rank the feature and using the reward and punishment strategies to measure the feature importance for the identification of the classes. For each ensemble, several different configuration were used, which varied from hybrid (homogeneous) to non-hybrid (heterogeneous) structures of ensemble. They were submitted to five combining methods (voting, sum, sum weight, multiLayer Perceptron and naïve Bayes) which were applied in six distinct database (real and artificial). The classifiers applied during the experiments were k- nearest neighbor, multiLayer Perceptron, naïve Bayes and decision tree. Finally, the performance of ensemble was analyzed comparatively, using none feature selection method, using a filter approach (original) feature selection method and the proposed method. To do this comparison, a statistical test was applied, which demonstrate that there was a significant improvement in the precision of the ensembles

Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução

Removing inconsistencies in a project is a less expensive activity when done in the early steps of design. The use of formal methods improves the understanding of systems. They have various techniques such as formal specification and verification to identify these problems in the initial stages of a project. However, the transformation from a formal specification into a programming language is a non-trivial task and error prone, specially when done manually. The aid of tools at this stage can bring great benefits to the final product to be developed. This paper proposes the extension of a tool whose focus is the automatic translation of specifications written in CSPM into Handel-C. CSP is a formal description language suitable for concurrent systems, and CSPM is the notation used in tools support. Handel-C is a programming language whose result can be compiled directly into FPGA s. Our extension increases the number of CSPM operators accepted by the tool, allowing the user to define local processes, to rename channels in a process and to use Boolean guards on external choices. In addition, we also propose the implementation of a communication protocol that eliminates some restrictions on parallel composition of processes in the translation into Handel-C, allowing communication in a same channel between multiple processes to be mapped in a consistent manner and that improper communication in a channel does not ocurr in the generated code, ie, communications that are not allowed in the system specification

Método de Projeções Ortogonais

The problem treated in this dissertation is to establish boundedness for the iterates of an iterative algorithm in 2, under some technical conditions. However, this paper uses non-trivial intuitive arguments and its proofs lack suficient rigor. In this dissertation we discuss and strengthen the results of this paper, in order to complete and simplify its proofs

Investigando a combinação de técnicas de aprendizado semissupervisionado e classificação hierárquica multirrótulo

Data classification is a task with high applicability in a lot of areas. Most methods for treating classification problems found in the literature dealing with single-label or traditional problems. In recent years has been identified a series of classification tasks in which the samples can be labeled at more than one class simultaneously (multi-label classification). Additionally, these classes can be hierarchically organized (hierarchical classification and hierarchical multi-label classification). On the other hand, we have also studied a new category of learning, called semi-supervised learning, combining labeled data (supervised learning) and non-labeled data (unsupervised learning) during the training phase, thus reducing the need for a large amount of labeled data when only a small set of labeled samples is available. Thus, since both the techniques of multi-label and hierarchical multi-label classification as semi-supervised learning has shown favorable results with its use, this work is proposed and used to apply semi-supervised learning in hierarchical multi-label classication tasks, so eciently take advantage of the main advantages of the two areas. An experimental analysis of the proposed methods found that the use of semi-supervised learning in hierarchical multi-label methods presented satisfactory results, since the two approaches were statistically similar results

Solitons from dressing in an algebraic approach to the constrained KP hierarchy

The algebraic matrix hierarchy approach based on affine Lie sl(n) algebras leads to a variety of 1 + 1 soliton equations. By varying the rank of the underlying sl(n) algebra as well as its gradation in the affine setting, one encompasses the set of the soliton equations of the constrained KP hierarchy.The soliton solutions are then obtained as elements of the orbits of the dressing transformations constructed in terms of representations of the vertex operators of the affine sl(n) algebras realized in the unconventional gradations. Such soliton solutions exhibit non-trivial dependence on the KdV (odd) time flows and KP (odd and even) time Bows which distinguishes them From the conventional structure of the Darboux-Backlund-Wronskian solutions of the constrained KP hierarchy.

Spinning Hopf solitons on S-3 x R

We consider a field theory with target space being the two dimensional sphere S-2 and defined on the space-time S-3 x R. The Lagrangean is the square of the pull-back of the area form on S-2. It is invariant under the conformal group SO(4, 2) and the infinite dimensional group of area preserving diffeomorphisms of S-2. We construct an infinite number of exact soliton solutions with non-trivial Hopf topological charges. The solutions spin with a frequency which is bounded above by a quantity proportional to the inverse of the radius of S-3. The construction of the solutions is made possible by an ansatz which explores the conformal symmetry and a U(1) subgroup of the area preserving diffeomorphism group.

Kerr-Newman solution as a Dirac particle

For m(2) < a(2) + q(2), with m, a, and q respectively the source mass, angular momentum per unit mass, and electric charge, the Kerr-Newman (KN) solution of Einstein's equation reduces to a naked singularity of circular shape, enclosing a disk across which the metric components fail to be smooth. By considering the Hawking and Ellis extended interpretation of the KN spacetime, it is shown that, similarly to the electron-positron system, this solution presents four inequivalent classical states. Making use of Wheeler's idea of charge without charge, the topological structure of the extended KN spatial section is found to be highly non-trivial, leading thus to the existence of gravitational states with half-integral angular momentum. This property is corroborated by the fact that, under a rotation of the space coordinates, those inequivalent states transform into themselves only after a 4π rotation. As a consequence, it becomes possible to naturally represent them in a Lorentz spinor basis. The state vector representing the whole KN solution is then constructed, and its evolution is shown to be governed by the Dirac equation. The KN solution can thus be consistently interpreted as a model for the electron-positron system, in which the concepts of mass, charge and spin become connected with the spacetime geometry. Some phenomenological consequences of the model are explored.

A new approach to integrable theories in any dimension

The zero curvature representation for two-dimensional integrable models is generalized to spacetimes of dimension d + 1 by the introduction of a d-form connection. The new generalized zero curvature conditions can be used to represent the equations of motion of some relativistic invariant field theories of physical interest in 2 + 1 dimensions (BF theories, Chern-Simons, 2 + 1 gravity and the CP1 model) and 3 + 1 dimensions (self-dual Yang-Mills theory and the Bogomolny equations). Our approach leads to new methods of constructing conserved currents and solutions. In a submodel of the 2 + 1-dimensional CP1 model, we explicitly construct an infinite number of previously unknown non-trivial conserved currents. For each positive integer spin representation of sl(2) we construct 2j + 1 conserved currents leading to 2j + 1 Lorentz scalar charges. (C) 1998 Elsevier B.V. B.V.

Duality in noncommutative topologically massive gauge field theory revisited

We introduce a master action in non-commutative space, out of which we obtain the action of the non-commutative Maxwell-Chern-Simons theory. Then, we look for the corresponding dual theory at both first and second order in the non-commutative parameter. At the first order, the dual theory happens to be, precisely, the action obtained from the usual commutative self-dual model by generalizing the Chern-Simons term to its non-commutative version, including a cubic term. Since this resulting theory is also equivalent to the non-commutative massive Thirring model in the large fermion mass limit, we remove, as a byproduct, the obstacles arising in the generalization to non-commutative space, and to the first non-trivial order in the non-commutative parameter, of the bosonization in three dimensions. Then, performing calculations at the second order in the non-commutative parameter, we explicitly compute a new dual theory which differs from the non-commutative self-dual model and, further, differs also from other previous results and involves a very simple expression in terms of ordinary fields. In addition, a remarkable feature of our results is that the dual theory is local, unlike what happens in the non-Abelian, but commutative case. We also conclude that the generalization to non-commutative space of bosonization in three dimensions is possible only when considering the first non-trivial corrections over ordinary space.

Vacuum energy as a c-function for theories with dynamically generated masses

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

Generating Erler-Schnabl-type solution for the tachyon vacuum in cubic superstring field theory

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

Extended 2D generalized dilaton gravity theories

We show that an anomaly-free description of matter in (1+1) dimensions requires a deformation of the 2D relativity principle, which introduces a non-trivial centre in the 2D Poincare algebra. Then we work out the reduced phase space of the anomaly-free 2D relativistic particle, in order to show that it lives in a noncommutative 2D Minkowski space. Moreover, we build a Gaussian wave packet to show that a Planck length is well defined in two dimensions. In order to provide a gravitational interpretation for this noncommutativity, we propose to extend the usual 2D generalized dilaton gravity models by a specific Maxwell component, which guages the extra symmetry associated with the centre of the 2D Poincare algebra. In addition, we show that this extension is a high energy correction to the unextended dilaton theories that can affect the topology of spacetime. Further, we couple a test particle to the general extended dilaton models with the purpose of showing that they predict a noncommutativity in curved spacetime, which is locally described by a Moyal star product in the low energy limit. We also conjecture a probable generalization of this result, which provides strong evidence that the noncommutativity is described by a certain star product which is not of the Moyal type at high energies. Finally, we prove that the extended dilaton theories can be formulated as Poisson-Sigma models based on a nonlinear deformation of the extended Poincare algebra.

Negative Even Grade mKdV Hierarchy and its Soliton Solutions

In this paper we discuss the algebraic construction of the mKdV hierarchy in terms of an affine Lie algebra (s) over capl(2). An interesting novelty araises from the negative even grade sector of the affine algebra leading to nonlinear integro-differential equations admiting non-trivial vacuum configuration. These solitons solutions are constructed systematically from generalization of the dressing method based on non zero vacua. The sub-hierarchies admiting such class of solutions are classified.

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.