Teoria de conjuntos fuzzy e aplicações

Pós-graduação em Matemática Universitária - IGCE

Test systems and mathematical models for transmission network expansion planning

The data of four networks that can be used in carrying out comparative studies with methods for transmission network expansion planning are given. These networks are of various types and different levels of complexity. The main mathematical formulations used in transmission expansion studies-transportation models, hybrid models, DC power flow models, and disjunctive models are also summarised and compared. The main algorithm families are reviewed-both analytical, combinatorial and heuristic approaches. Optimal solutions are not yet known for some of the four networks when more accurate models (e.g. The DC model) are used to represent the power flow equations-the state of the art with regard to this is also summarised. This should serve as a challenge to authors searching for new, more efficient methods.

Monitoring chronic physical stress using biomarkers, performance protocols and mathematical functions to identify physiological adaptations in rats

This study was undertaken to characterize the effects of monotonous training at lactate minimum (LM) intensity on aerobic and anaerobic performances; glycogen concentrationsin the soleus muscle, the gastrocnemius muscle and the liver; and creatine kinase (CK), free fatty acids and glucose concentrations in rats. The rats were separated into trained (n =10), baseline (n = 10) and sedentary (n=10) groups. The trained group was submitted to the following: 60 min/day, 6 day/week and intensity equivalent to LM during the 12-week training period. The training volume was reduced after four weeks according to a sigmoid function. The total CK (U/L) increased in the trained group after 12 weeks (742.0±158.5) in comparison with the baseline (319.6±40.2) and the sedentary (261.6+42.2) groups. Free fatty acids and glycogen stores (liver, soleus muscle and gastrocnemius muscle) increased after 12 weeks of monotonous training but aerobic and anaerobic performances were unchanged in relation to the sedentary group. The monotonous training at LM increased the level of energy substrates, unchanged aerobic performance, reduced anaerobic capacity and increased the serum CK concentration; however, the rats did not achieve the predicted training volume.

DNA for nano-bio scale computation of chemical formalisms using Higher Order Logic (HOL) and analysis using an interdisciplinary approach

Bio-molecular computing, 'computations performed by bio-molecules', is already challenging traditional approaches to computation both theoretically and technologically. Often placed within the wider context of ´bio-inspired' or 'natural' or even 'unconventional' computing, the study of natural and artificial molecular computations is adding to our understanding of biology, physical sciences and computer science well beyond the framework of existing design and implementation paradigms. In this introduction, We wish to outline the current scope of the field and assemble some basic arguments that, bio-molecular computation is of central importance to computer science, physical sciences and biology using HOL - Higher Order Logic. HOL is used as the computational tool in our R&D work. DNA was analyzed as a chemical computing engine, in our effort to develop novel formalisms to understand the molecular scale bio-chemical computing behavior using HOL. In our view, our focus is one of the pioneering efforts in this promising domain of nano-bio scale chemical information processing dynamics.

Fragmentos do pensamento dialético na história da construção das ciências da natureza

Este trabalho tem por objetivo identificar uma possível inclinação das ciências naturais em direção ao materialismo dialético. Para tanto, procura-se apresentar a história da dialética a partir da discussão racionalismo/empirismo moderno e seus desdobramentos até as tendências dialéticos contemporâneas. Os autores discutidos são Kant, Hegel, Marx, Engels, Lenin, Horkheimer, Marcuse, Habermas, Bachelard e suas escolas epistemológicas, completadas por Althusser, Lefebvre e Kedrov. Ao lado desses autores discutem-se outros, das duas últimas décadas, procurando extrair-lhes o olhar dialético, oculto em seus discursos acerca da ciência do fim do século. Também se procura encontrar na mecânica quântica, nos fractais, na lógica para-consistente, nos modelos matemáticos e na biologia antideterminista, argumentos para existência de uma forma de abordagem dialética da natureza. Por último, procura-se refletir acerca dos motivos da resistência ao método dialético apresentado pela maioria dos cientistas ocidentais e, sua possível superação.

Equivalence of many-photon Green's functions in the Duffin-Kemmer-Petiau and Klein-Gordon-Fock statistical quantum field theories

Using the functional integral formalism for the statistical generating functional in the statistical (finite temperature) quantum field theory, we prove the equivalence of many-photon Greens functions in the Duffin-Kennner-Petiau and Klein-Gordon-Fock statistical quantum field theories. As an illustration, we calculate the one-loop polarization operators in both theories and demonstrate their coincidence.

Light deflection and quadratic gravity

We study the bending of light caused by a static gravitational field generated by a localized material source in the context of quadratic gravity. Our calculation shows that for light rays passing close to the Sun the deflection Phi lies in the interval 0 < < 1.75. A tree-level approach to the same issue tells us that the vacuum concerning quadratic gravity is a dispersive medium. Nom Phi is energy dependent and ranges from 0(+) to 1.75(-) arcsec.

Competitive release and area effects

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

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.

Solids rheology for dehydrated food and biological materials

Mechanical properties of food products and biological materials are greatly affected by the drying process and are considered one of the most important quality attributes of dehydrated products. The aim of this work was to review theoretical principles and mathematical modeling, analyzing the measurement techniques and major experimental results that exist in the literature about rheological properties of dehydrated foods and biological materials. Different methods of measuring rheological parameters (fundamental and empiric or imitative) are discussed and major experimental results, as well as the rheological models used in their analysis, published in recent years are presented.

Equivalence of many-gluon Green's functions in the Duffin-Kemmer-Petieu and Klein-Gordon-Fock statistical quantum field theories

We prove the equivalence of many-gluon Green's functions in the Duffin-Kemmer-Petieu and Klein-Gordon-Fock statistical quantum field theories. The proof is based on the functional integral formulation for the statistical generating functional in a finite-temperature quantum field theory. As an illustration, we calculate one-loop polarization operators in both theories and show that their expressions indeed coincide.

Husserl's phenomenology and Weyl's predictivism

In this paper I discuss the version of predicative analysis put forward by Hermann Weyl in Das Kontinuum. I try to establish how much of the underlying motivation for Weyl's position may be due to his acceptance of a phenomenological philosophical perspective. More specifically, I analyze Weyl's philosophical ideas in connexion with the work of Husserl, in particular Logische Untersuchungen and Ideen I.I believe that this interpretation of Weyl can clarify the views on mathematical existence and mathematical intuition which are implicit in Das Kontinuum.

On the dissimilarity between the algorithms for computing the symmetric energy-momentum tensor in ordinary field theory and general relativity

The recipe used to compute the symmetric energy-momentum tensor in the framework of ordinary field theory bears little resemblance to that used in the context of general relativity, if any. We show that if one stal ts fi om the field equations instead of the Lagrangian density, one obtains a unified algorithm for computing the symmetric energy-momentum tensor in the sense that it can be used for both usual field theory and general relativity.

Equivalence of the Duffin-Kemmer-Petiau and Klein-Gordon-Fock equations

A strict proof of the equivalence of the Duffin-Kemmer-Petiau and Klein-Gordon Fock theories is presented for physical S-matrix elements in the case of charged scalar particles minimally interacting with an external or quantized electromagnetic field. The Hamiltonian canonical approach to the Duffin - Kemmer Petiau theory is first developed in both the component and the matrix form. The theory is then quantized through the construction of the generating functional for the Green's functions, and the physical matrix elements of the S-matrix are proved to be relativistic invariants. The equivalence of the two theories is then proved for the matrix elements of the scattered scalar particles using the reduction formulas of Lehmann, Symanzik, and Zimmermann and for the many-photon Green's functions.

Bound constrained smooth optimization for solving variational inequalities and related problems

Variational inequalities and related problems may be solved via smooth bound constrained optimization. A comprehensive discussion of the important features involved with this strategy is presented. Complementarity problems and mathematical programming problems with equilibrium constraints are included in this report. Numerical experiments are commented. Conclusions and directions of future research are indicated.