Braid groups of non-orientable surfaces and the Fadell-Neuwirth short exact sequence

Let M be a compact, connected non-orientable surface without boundary and of genus g >= 3. We investigate the pure braid groups P,(M) of M, and in particular the possible splitting of the Fadell-Neuwirth short exact sequence 1 -> P(m)(M \ {x(1), ..., x(n)}) hooked right arrow P(n+m)(M) (P*) under right arrow P(n)(M) -> 1, where m, n >= 1, and p* is the homomorphism which corresponds geometrically to forgetting the last m strings. This problem is equivalent to that of the existence of a section for the associated fibration p: F(n+m)(M) -> F(n)(M) of configuration spaces, defined by p((x(1), ..., x(n), x(n+1), ..., x(n+m))) = (x(1), ..., x(n)). We show that p and p* admit a section if and only if n = 1. Together with previous results, this completes the resolution of the splitting problem for surface pure braid groups. (C) 2009 Elsevier B.V. All rights reserved.

COMPARISON OF PARTIAL SHADING LOSSES IN FREE FIELD PV-PLANTS WITH DIFFERENT ARRAY CONFIGURATIONS

A common problem when planning large free field PV-plants is optimizing the ground occupation ratio while maintaining low shading losses. Due to the complexity of this task, several PV-plants have been built using various configurations. In order to compare the shading losses of different PV technologies and array designs, empirical performance data of five free field PV-plants operating in Germany was analyzed. The data collected comprised 140 winter days from October 2011 until March 2012. The relative shading losses were estimated by comparing the energy output of selected arrays in the front rows (shading-free) against that of shaded arrays in the back rows of the same plant. The results showed that landscape mounting with mc-Si PV-modules yielded significantly better results than portrait one. With CIGS modules, making cross-table strings using the lower modules was not beneficial as expected and had more losses than a one-string-per-table layout. Parallel substrings with CdTe showed relatively low losses. Among the two CdTe products analyzed, none showed a significantly better performance.

All maximal-pairs in step-leap representation of melodic sequence

This paper proposes an efficient pattern extraction algorithm that can be applied on melodic sequences that are represented as strings of abstract intervallic symbols; the melodic representation introduces special “binary don’t care” symbols for intervals that may belong to two partially overlapping intervallic categories. As a special case the well established “step–leap” representation is examined. In the step–leap representation, each melodic diatonic interval is classified as a step (±s), a leap (±l) or a unison (u). Binary don’t care symbols are used to represent the possible overlapping between the various abstract categories e.g. *=s, *=l and #=-s, #=-l. We propose an O(n+d(n-d)+z)-time algorithm for computing all maximal-pairs in a given sequence x=x[1..n], where x contains d occurrences of binary don’t cares and z is the number of reported maximal-pairs.

All maximal-pairs in step-leap representation of melodic sequence

This paper proposes an efficient pattern extraction algorithm that can be applied on melodic sequences that are represented as strings of abstract intervallic symbols; the melodic representation introduces special “binary don’t care” symbols for intervals that may belong to two partially overlapping intervallic categories. As a special case the well established “step–leap” representation is examined. In the step–leap representation, each melodic diatonic interval is classified as a step (±s), a leap (±l) or a unison (u). Binary don’t care symbols are used to represent the possible overlapping between the various abstract categories e.g. *=s, *=l and #=-s, #=-l. We propose an O(n+d(n-d)+z)-time algorithm for computing all maximal-pairs in a given sequence x=x[1..n], where x contains d occurrences of binary don’t cares and z is the number of reported maximal-pairs.

Fases de stripes nos cupratos : um estudo do modelo t-J anisotrópico

Neste trabalho realizamos um estudo de um buraco em um antiferromagneto, como parte de uma revisão de diferentes técnicas de abordagem das fases de “stripes” nos cupratos supercondutores. Estudamos a transição do formalismo de “strings” para um buraco no modelo t - Jz bidimensional, onde existe uma solução analítica, para a solução de pólaron de spin no modelo t - J isotrópico através da aproximação de Born auto-consistente. A forma funcional dos picos de quase-partícula, do peso espectral e do “gap” espectral foi investigada numericamente em detalhe, em função da anisotropia magnética. O movimento de um pólaron de spin na presença de uma parede de domínio antiferromagnética (ADW) em antifase, como uma realização da configuração de “stripes” nos planos CuO dos cupratos de baixa dopagem, também foi analisada.

Representação e Anáilse de Gramáticas de Grafos

Os sistemas computacionais estão tomando proporções cada vez maiores envolvendo situações bastante complexas, onde muitas vezes erros são inaceitáveis, como em sistemas bancários, sistemas de controle de tráfego aéreo, etc... Para obter software confiável e com desempenho aceitável, pode-se aliar técnicas de desenvolvimento formal de software a técnicas de simulação de sistemas. O ambiente PLATUS reúne essas duas áreas: modelos de simulação são descritos usando gramáticas de grafos uma linguagem de especificação formal. Gramáticas de grafos são uma generalização de gramáticas de Chomsky, substituindo strings por grafos. Neste trabalho, serão tratadas gramáticas de grafos baseados em objetos, um modelo onde vértices e arcos são tipados, e as especificações são modulares (a especificação de um sistema consiste em várias gramáticas de grafos combinadas). Assim, o modelo de um sistema pode ser descrito de forma precisa, e a linguagem de especificação é bastante abstrata e expressiva. Num ambiente de simulação a questão da recuperação de dados merece uma atenção especial, uma vez que a eficiência do simulador está diretamente ligada a agilidade na obtenção das informações. Neste trabalho, o objetivo principal é definir uma representação para gramáticas de grafos que facilite o armazenamento, a recuperação e análise das estruturas identificadas no ambiente PLATUS, ou seja, gramáticas de grafos baseadas em objetos. São definidas também funções que implementam os procedimentos necessários, para a recuperação de dados durante a simulação. A eficiência dessas funções é demonstrada através do cálculo de sua ordem de complexidade. As estruturas são validadas através da implementação de um protótipo de banco de dados.

A Gagarinita e fases associadas no Granito Madeira (Pitinga, Amazonas)

O trabalho descreve a ocorrência de gagarinita-(Y) das porções mineralizadas de criolita da base do Depósito Criolítico Maciço associado à subfácies albita granito do Granito Madeira (1.8Ma) na jazida de Pitinga (Sn, Nb, Ta e criolita), onde o Y e ETR serão explorados como co-produtos. A gagarinita forma cristais anédricos de até 7mm, intersticiais ou inclusos na criolita, de cristalização anterior à criolita dos bolsões. Todos os cristais apresentam texturas típicas de exsolução, pela primeira vez descritas em fluoretos. Os padrões de exsolução são variados. Os cristais exsolvidos têm até 0,4mm, são incolores, as cores de interferência são de primeira ordem, com birrefringência 0,005-0,007, são U(-), com retardo de 150 a 210nm. A fase exsolvida distribui-se uniformemente em toda a extensão dos grãos da gagarinita-(Y), inclusive na borda; segue uma ou mais orientações preferenciais e tem dimensões semelhantes. Podem ocorrer coalescência de diferentes cristais exsolvidos, resultando em strings e stringlets. Mais raramente, a orientação é menos evidente e as dimensões dos cristais são mais variáveis No contato gagarinita/criolita, reconhece-se a formação da fase exsolvida como anterior à cristalização da criolita. A análise modal de uma população de grãos de gagarinita-(Y) com os diversos padrões texturais de exsolução fornece o valor médio de 25,8% (considerado estatisticamente representativo) de proporção de fase exsolvida em relação à fase hospedeira. Os parâmetros cristalinos da gagarinita-(Y) determinados a partir de análises por DRX são compatíveis com os da literatura. Análises por MSE, FRX e MEV da gagarinita-(Y) mostram uma composição bastante homogênea. A fórmula estrutural média calculada na base de 2(ETR+Y+Ca) é Na0,24Ca0,58Y1,01ETR0,39F5,81. O padrão de ETR normalizado ao condrito é caracterizado por enriquecimento em ETRP e anomalia negativa em Eu. A composição da fase exsolvida obtida por MSE, calculada para um total de cátions igual a 1, é Ce0,53-0,66 La0,09-0,26 Nd0,08-0,26 Sm0,01-0,04 Eu0,01Y0-0,03 F3,3-4,14. Esta fórmula é semelhante à da fluocerita, cujos picos característicos, entretanto, não ocorrem nos difratogramas. O padrão de ETR mostra um fracionamento contínuo dos ETR com empobrecimento em ETRP e discreta anomalia positiva em Eu. A composição da gagarinita inicial foi reconstituída considerando-se as proporções modais das fases hospedeira e exsolvida, obtendo-se Na0,19Ca0,48Y0,83ETR0,69F6,27. O padrão de ETR é plano com anomalia negativa em Eu menos acentuada que na gagarinita hospedeira Antes da exsolução, o sistema mineral comportava-se provavelmente como uma solução sólida com a substituição - + 2ETR3+<=> Na+ + Ca2+ + Y3+ . Formou-se, assim, uma gagarinita inicial excepcionalmente rica em ETRL (cátions relativamente grandes) cuja presença foi compensada por vacâncias, notadamente no sítio de coordenação VI. A diminuição da temperatura desestabilizou a estrutura mineral que exsolveu os cátions de ETR com raio iônico maior que o do Sm. A gagarinita hospedeira preservou os conteúdos de Y, ETRP (com exceção do Sm que se repartiu entre ela e a fase exsolvida) e Na (e Ca), constituindo uma estrutura estável, menos afetada por vacâncias e com um balanço de cargas bastante equilibrado. A fase exsolvida é um fluoreto com razão cátions/flúor= 1/3, correspondendo à composição da fluocerita. Sua estrutura não pôde ser determinada: picos da fluocerita não foram identificados e uma estrutura semelhante à da gagarinita (razão cátions/flúor= 1/2) parece pouco provável. Estudos subseqüentes poderão definir se trata-se de um novo mineral, polimorfo da fluocerita.

A implementação com articulação burocrática: políticas de transferência condicionada de renda no Brasil e México

A presente tese analisou a burocracia dos PTCs no Brasil e no México; especificamente, teve por objetivo mostrar a influência da burocracia articuladora (BA) sobre a diferença nos resultados de focalização, adotando como referência os erros de exclusão estimados para ambos os programas. A articulação analisada incorporou dimensões intergovernamentais e intersetoriais nas cadeias de implementação definidas para ambos os programas, considerando o período de 2003 a 2010, no qual ambas as BAs enfrentaram o desafio de expandir a cobertura do programa e manter a focalização. Esse estudo foi orientado pela a abordagem qualitativa, através do estudo de caso comparado, a partir do qual foi possível interpretar que os melhores resultados de focalização se relacionam com a capacidade de acessar recursos administrativos (federais e municipais) do burocrata brasileiro. Em termos teóricos, a utilização do modelo de Goggin et alii (1990) auxiliou na ponderação de variáveis intervenientes na determinação dos resultados casos individuais.

Adubação e inseticidas no controle de Empoasca kraemeri e Bemisia tabaci, em cultivares de feijoeiro semeados no inverno

Vários fatores influenciam a produtividade da cultura do feijoeiro, dentre estes podem ser citados as pragas, merecendo destaque, a cigarrinha verde, Empoasca kraemeri Ross & Moore (Hemiptera: Cicadellidae) e principalmente a mosca branca, Bemisia tabaci (Gennadius) (Hemiptera: Aleyrodidae), que prejudica o feijoeiro pela transmissão do vírus do mosaico dourado. Este trabalho avalia o efeito de cultivares de feijoeiro, adubação e inseticidas nas populações de E. kraemeri e B. tabaci na época de semeadura de inverno. Os genótipos utilizados foram IAPAR MD-806, IAPAR MD-808, IAC-Carioca e Bolinha. Avaliaram-se, dos 7 aos 56 dias após emergência das plantas, o número de ninfas e adultos de cigarrinha verde e mosca branca, percentual de ataque de cigarrinha e número de plantas com sintomas de mosaico dourado. Na colheita, foram avaliados o número e peso de vagens por planta, o número de grãos por planta e peso de grãos (kg ha-1). Os danos de cigarrinha verde e os sintomas de mosaico dourado foram menos intensos em IAPAR MD-806 e IAPAR MD-808 em relação ao Bolinha e IAC-Carioca. A adubação não influenciou o número médio de adultos de cigarrinha verde nos genótipos de feijoeiro. As aplicações de inseticidas e adubo proporcionaram menores números médios de adultos de mosca branca nos genótipos de feijoeiro quando avaliados em conjunto aos 56 dias após emergência das plantas.

Influência de pontas de pulverização e adjuvantes na deriva em caldas com glyphosate

O uso inadequado da tecnologia de aplicação de agrotóxicos, relacionados ao uso de pontas de pulverização e adição de adjuvantes, resulta diretamente em um maior risco de deriva. Objetivou-se como trabalho quantificar a deriva gerada por pontas de pulverização com e sem indução de ar, em aplicações de glyphosate e adjuvantes. O experimento foi realizado em túnel de vento, com o herbicida glyphosate isolado ou em mistura com ureia ou adjuvante redutor de deriva (LI700). As coletas foram realizadas, com fios de polietileno, nas distâncias de 5,0; 10,0 e 15,0 m em relação à barra e nas alturas de 0,2; 0,4; 0,6; 0,8 e 1,0 m em relação ao piso do túnel, a deriva foi aferida por meio do processo de condutividade elétrica. Os resultados apresentaram maior deriva nas menores alturas, tendo igual comportamento para todas as caldas e em todas as distâncias. A ponta de jato plano com indução de ar (AVI 110-015) proporcionou menor deriva em relação à ponta jato plano padrão (AXI 110-015), para todas as caldas avaliadas. Para a ponta de jato plano padrão o acréscimo de adjuvante reduziu a deriva para as três distâncias avaliadas em relação à calda contendo somente o herbicida. Já para a ponta de jato plano com indução de ar a ureia elevou a deriva para todas as distâncias em relação às outras caldas. A ureia pode ser utilizada em aplicações com o modelo de ponta jato plano padrão, por diminuir os riscos de deriva.

Análise citogenética de células-tronco derivadas do subendotélio da veia umbilical humana

Mesenchymal stem cells (MSCs) are known as a population of multi-potential cells able to proliferate and differentiate into multiple mesodermal tissues including bone, cartilage, muscle, ligament, tendon, fat and stroma. Several applications of the study of EC can be emphasized the therapeutic techniques such as guided bone regeneration by implantation of EC in the affected site, without the need for bone grafts, using titanium as a vehicle. The process of cryopreservation is essential for the maintenance of cell cultures, since the cell line is frozen, it can be maintained in liquid nitrogen for an indefinite period and then thawed for therapeutic or experimental purposes. The aim of this study was to isolate a population of MSCs derived from the subendothelium of the umbilical vein human (MSCs-SUVH) to assess cytogenetic analysis by the possibility of appearance of chromosomal changes in two different situations: MSCs-SUVH regarding the process of cryopreservation and MSCs-SUVH grown on the surface of titanium. Flow cytometry analysis revealed that, this cell population was positive for the markers CD29, CD73 and CD90, but there was no expression of hematopoietic lineage markers, such as CD14, CD34 and CD45 and demonstrated capacity for osteogenic differentiation. The chromosomes obtained from the primary culture of MSCs-SUVH were analyzed by GTW banding technique, and results are described as guidelines to ISCN 2005. There was not the emergence of clonal chromosomal changes in the MSCs-SUVH in different situations analyzed. However one of the strings presented a balanced paracentric inversion, probably a cytogenetic constitutional alterations, which was present before and after the experimental situations that the MSCs-SUVH was submitted

Multiflavor soldering

In two dimensions the simple addition of two chiral bosons of opposite chiralities does not lead to a full massless scalar field. Similarly, in three dimensions the addition of two Maxwell-Chern-Simons fields of opposite helicities +/- 1 will not produce a parity invariant Maxwell-Proca theory. An interference term between the opposite chiralities (helicities) states is required in order to obtain the expected result. The so-called soldering procedure provides the missing interference Lagrangian in both 2D and 3D cases. In two dimensions such interference term allows to fuse two chiral fermionic determinants into, a non-chiral one. In a recent work we have generalized this procedure by allowing the appearance of an extra parameter which takes two possible values and leads to two different soldered Lagrangians. Here we apply this generalized soldering in a bosonic theory which has appeared in a partial bosonization of the 3D gauged Thirring model with N flavors. The multiplicity of flavors allow new types of solderings and help us to understand the connection between different perturbative approaches to bosonization in 3D. In particular, we obtain an interference term which takes us from a multiflavor Niaxwell-Chern-Simons theory to a pair of self-dual and anti-self-dual theories when we combine together both fermionic determinants of +1/2 and -1/2 helicity fermions. An important role is played by a set of pure non-interacting Chern-Simons fields which amount to a normalization factor in the fermionic determinants and act like spectators in the original theory but play an active role in the soldering procedure. Our results suggest that the generalized soldering could be used to provide dual theories in both 2D and 3D cases. (c) 2007 Elsevier B.V. All rights reserved.

The Hunt for New Physics at the Large Hadron Collider

The Large Hadron Collider presents an unprecedented opportunity to probe the realm of new physics in the TeV region and shed light on some of the core unresolved issues of particle physics. These include the nature of electroweak symmetry breaking, the origin of mass, the possible constituent of cold dark matter, new sources of CP violation needed to explain the baryon excess in the universe, the possible existence of extra gauge groups and extra matter, and importantly the path Nature chooses to resolve the hierarchy problem - is it supersymmetry or extra dimensions. Many models of new physics beyond the standard model contain a hidden sector which can be probed at the LHC. Additionally, the LHC will be a. top factory and accurate measurements of the properties of the top and its rare decays will provide a window to new physics. Further, the LHC could shed light on the origin of neutralino masses if the new physics associated with their generation lies in the TeV region. Finally, the LHC is also a laboratory to test the hypothesis of TeV scale strings and D brane models. An overview of these possibilities is presented in the spirit that it will serve as a companion to the Technical Design Reports (TDRs) by the particle detector groups ATLAS and CMS to facilitate the test of the new theoretical ideas at the LHC. Which of these ideas stands the test of the LHC data will govern the course of particle physics in the subsequent decades.

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

Sistema especialista fuzzy para dimensionamento de bombeio mecânico

Despite the emergence of other forms of artificial lift, sucker rod pumping systems remains hegemonic because of its flexibility of operation and lower investment cost compared to other lifting techniques developed. A successful rod pumping sizing necessarily passes through the supply of estimated flow and the controlled wear of pumping equipment used in the mounted configuration. However, the mediation of these elements is particularly challenging, especially for most designers dealing with this work, which still lack the experience needed to get good projects pumping in time. Even with the existence of various computer applications on the market in order to facilitate this task, they must face a grueling process of trial and error until you get the most appropriate combination of equipment for installation in the well. This thesis proposes the creation of an expert system in the design of sucker rod pumping systems. Its mission is to guide a petroleum engineer in the task of selecting a range of equipment appropriate to the context provided by the characteristics of the oil that will be raised to the surface. Features such as the level of gas separation, presence of corrosive elements, possibility of production of sand and waxing are taken into account in selecting the pumping unit, sucker-rod strings and subsurface pump and their operation mode. It is able to approximate the inferente process in the way of human reasoning, which leads to results closer to those obtained by a specialist. For this, their production rules were based on the theory of fuzzy sets, able to model vague concepts typically present in human reasoning. The calculations of operating parameters of the pumping system are made by the API RP 11L method. Based on information input, the system is able to return to the user a set of pumping configurations that meet a given design flow, but without subjecting the selected equipment to an effort beyond that which can bear