To see the other types of publications on this topic, follow the link: Formas simples.
Dissertations / Theses on the topic 'Formas simples'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Formas simples.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Gonçalves, David. "Atualização das formas simples em Tropas e Boiadas." reponame:Repositório Institucional da UFSC, 2013. https://repositorio.ufsc.br/handle/123456789/106014.
Full textAbstract:
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Florianópolis, 1977.Made available in DSpace on 2013-12-05T18:52:24Z (GMT). No. of bitstreams: 1 322084.pdf: 6686057 bytes, checksum: d041df53fab38d2570cf5421fc222a4d (MD5)
2
Trindade, Rodrigo Silva. "Bem-aventurados os que leem: formas simples em Esaú e Jacó, de Machado de Assis." Universidade de São Paulo, 2014. http://www.teses.usp.br/teses/disponiveis/8/8149/tde-30092014-185959/.
Full textAbstract:
O presente estudo propõe-se a analisar o romance Esaú e Jacó, de Machado de Assis, levando em conta a fragmentação da narrativa em unidades menores denominadas por André Jolles como Formas Simples. Tal procedimento resulta na composição do romance como um mosaico faz com que o processo composicional se sobreponha à história que se conta. Partindo de leituras consagradas como as de Eugênio Gomes, Alexandre Eulalio, John Gledson, Roberto Schwarz e Hélio de Seixas Guimarães, este trabalho propõe como principal hipótese a de que o romance é composto em movimento de dissolução da narrativa em estruturas textuais cristalizadas e de ressignificação dessas unidades menores. Propomos que tal estrutura se apresenta como forma ideal para a reflexão proposta por Machado de Assis à medida que corrobora a visão desalentadora do processo de transição do Império para a República no Brasil do século XIX e suas implicações no cotidiano burguês e individualista da sociedade cariocaThis work aims to study Esaú e Jacós novel, written by Machado de Assis, considering the story fragmentation into smaller units denominated by André Jolles as Simple Forms. This proceeding results on the mosaic composition of the novel that overlaps the compositional process with the story. Through machadianos studies written by consecrated critics as Eugênio Gomes, Alexandre Elalio, John Gledson, Roberto Schwarz and Hélio Seixas Guimarães, we raise as main hypothesis that the novel is composed of dissolution narrative process, through crystallized textual structures, and redefinition of these forms. We suggest that this structure presents itself as the ideal form for the reflection offered by Machado de Assis, as it confirms the disappointing vision of the transition from the Empire to Republic in Brazil, in 19th century, and its implication for bourgeoisie and individual life of Rio de Janeiros society
3
Teixeira, Gabriel Sanches. "As Formas verbais regulares e simples do português brasileiro." Florianópolis, SC, 2012. http://repositorio.ufsc.br/xmlui/handle/123456789/96124.
Full textAbstract:
Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão. Programa de Pós-Graduação em LinguísticaMade available in DSpace on 2012-10-26T09:02:41Z (GMT). No. of bitstreams: 1 301324.pdf: 1204635 bytes, checksum: 35d2573e0d822df13060f58d1dcb2ca0 (MD5)
trabalho trata as formas verbais regulares simples do sistema verbal do português brasileiro sob uma perspectiva formalista: a da morfologia distribuída. O ponto de partida é a ideia de Oltra Massuet (1999) de que não só os radicais são estendidos por índices temáticos, mas que os morfemas modo-temporais também o são. Essa condição de boa formação é atingida através da aplicação de uma regra sobre todos os núcleos sintático-funcionais na morfologia, que gera nós adjacentes àqueles, ideias que também foram discutidas e aprofundadas nos trabalhos de Arregi (2000) e Pomino (2008). No entanto, em alguns casos a satisfação dessa regra leva a problemas de adjacência entre nós, de modo que não há como aplicar outras regras, como a de fusão, devido à interveniência desses novos nós. Isso levou à adaptação da proposta de Oltra Massuet em um ponto decisivo: somente os radicais podem ser estendidos por índices temáticos. A partir dessa mudança, todo o aparato foi reconstruído a fim de possibilitar a geração das formas regulares, por meio de três listas de vocabulário principais: uma para os índices temáticos, uma para as propriedades de tempo, modo e aspecto e outra para as de concordância. Durante o processo do estabelecimento dessas listas, o futuro do presente e o futuro do pretérito do modo indicativo foram excluídos do escopo de abrangência deste trabalho, pois foram considerados tempos compostos, mesmo que, aparentemente, possam não parecer. Outro aspecto, que destoa bastante em relação às análises tradicionais do sistema verbal do português, diz respeito ao presente do modo subjuntivo. Sincronicamente, os segmentos -e- e -a-, que tradicionalmente são analisados como morfemas modo-temporais, foram tratados como alomorfes morfologicamente condicionados dos índices temáticos da primeira, segunda e terceira conjugações, respectivamente. Essa análise é fundamentada nas propriedades acentuais do sistema verbal, que privilegia duas posições: o índice temático e a vogal imediatamente anterior a ele. Assim, a análise aqui apresentada difere, primeiro, daqueles trabalhos citados, por não postular um índice temático para os expoentes das propriedades modo-aspecto-temporais e, depois, da análise tradicional dada ao presente do subjuntivo, por postular um índice temático em aberto, condicionado morfologicamente, nesses contextos. Configurado dessa maneira, o sistema é, pois, capaz de gerar os vocábulos esperados para as formas simples e regulares dos verbos portugueses.
4
Gois, Patricia Monteiro de. "As formas assumidas pelo trabalho : da cooperação simples ao toyotismo." Universidade Federal de Alagoas, 2008. http://repositorio.ufal.br/handle/riufal/798.
Full textAbstract:
The work while producing activity of values of use occupies a central place in
the Marx´s thought. According to this philosophical chain, the work is the
ontological and that it establishes category of the world of the men, therefore, is
through the work that it happens the transformation of the nature in
indispensable values to the material reproduction of the society, being,
therefore, the perpetual natural condition of the life human being . However, in
the continuation of the historical process, the perpetual condition of the
existence human being assumes diverse forms. In this direction, this master´s
thesis has as objective to verify, in accordance with the marxist theory, the
process of evolution of the category work, specifically, in the capitalist
production. For in such a way, it is looked to understand how it happens the
extration of the productive excess, its evolution and improvement by means of
the diverse forms of submission of the work to the capital - since the initial forms
of production of merchandises until the systems contemporaries of extration of
surplus-value. From now on it is demonstrated that, although the productive
transformations in course, the work is the fundante category of the social being.
The conclusion is that in the capitalism, the forms changes, but the content
remains the same, it wants to say, the production and the accomplishment of
surplus-value.Fundação de Amparo a Pesquisa do Estado de Alagoas
O trabalho enquanto atividade produtora de valores de uso ocupa um lugar central no pensamento marxiano. Segundo essa corrente filosófica, o trabalho é a categoria ontológico-fundante do mundo dos homens, pois é através do trabalho que se dá a transformação da natureza em valores de uso indispensáveis à reprodução material da sociedade, sendo, portanto, a condição natural eterna da vida humana . Contudo, no decurso do processo histórico, a eterna condição da existência humana assume diversas formas. Nesse sentido, esta dissertação tem como objetivo verificar, à luz da teoria marxista, o processo de evolução da categoria trabalho, especificamente, na produção capitalista. Para tanto, procura-se compreender como se deu a extração do excedente produtivo, sua evolução e aprimoramento mediante as diversas formas de subsunção do trabalho ao capital desde as formas iniciais de produção de mercadorias até os sistemas contemporâneos de extração de mais-valia. A partir de então demonstra-se que, malgrado as transformações produtivas em curso, o trabalho é a categoria fundante do ser social. Conclui-se que no capitalismo as formas se modificam, mas o conteúdo permanece o mesmo, ou seja, a produção e a realização de mais-valia.
5
Sperber, Suzi Frankl 1939. "Para uma gramatica da ficção : uma leitura brasileira das formas simples." [s.n.], 1998. http://repositorio.unicamp.br/jspui/handle/REPOSIP/269869.
Full textAbstract:
Tese (livre-docencia) - Universidade Estadual de Campinas, Instituto de Estudos da LinguagemMade available in DSpace on 2018-08-04T20:52:07Z (GMT). No. of bitstreams: 1 Sperber_SuziFrankl_LD.pdf: 17185113 bytes, checksum: c6723893e3720011771cb0e10bf6978c (MD5) Previous issue date: 1998
Resumo: Um levantamento crítico das características atribuídas à oralidade revela que as mesmas estão permeadas de preconceitos" chegando ao limite da dicotomização apontada por Jack Goody entre o cru e o cozido e o civilizado 6 o selvagem. Qual seria a contribuição, então, dos estudos sobre a oralidade? A partir da pergunta sobre se há universais na comunicação, chega-se a formas que implicam recursos de organização de relatos com uma determinada função específica para cada forma chamada de simples. As formas simples provêm exatamente da oralidade. As formas simples estudadas foram: caso, memorável, história de vida de santos (legenda), saga, adivinha, fábula, mito e conto de fadas. O caso, o memorável, a legenda e a saga são relatos de adulto, portanto ainda que fornias simples, são formas da idade da chamada razão - formas que aproveitam um sedimento cultural do grupo humano no quaí aparecem. As formas simples mito e conto de fadas são as mais nitidamente inatas. Embriões da fábula e da adivinha surgem na infância ainda, mas são estruturadas numa segunda fase da primeira infância. Comparando exemplos diversos de mitos e de contos de fadas populares e eruditos, da oralidade e da escrita, chega-se a um leque bastante abrangente de conclusões
Abstract: Characteristics, as pointed out by Jack Goody, are interwoven with prejudice to such an extent that we can find dichotomization between the cooked and the uncooked, the civilized and the wild (or the uncivilized). What would then be the contribution of studies on orality? By starting from the question whether or no! there are universais in communication, one reaches the Former) (Forms), which imply resources for retelling organization with a specific function for each form called a "simple form" (Einfache Form). In fact the simple forms result from orality. The simple forms treated in this study are: the Kasus, the memorable memorabiie. the legend, the saga, the riddle, the fable, the myth, and the fairy tale. The Kasus, the memorable, the legend, and the saga arise from adult retelling and therefore although simple forms, they come at the so called age of discretion - i.e., they are forms that profit from a cultural sediment of a human group in which they occur. The simple forms namely the myth and the fairy tale are more clearly innate. Embryos of the fable and of the riddle appear in childhood, but are structured only on a second phase of childhood. By comparing various samples of myth and fairy tales, both popular and erudite, both from orality and from writings, we come to a very comprehensive scope of conclusions
Tese (livre-docencia) - Unive
Livre-Docente em Teoria e História Literária
6
Cunha, Rodrigo Ennes da. "As formas dos simples : dois casos de representação da pobreza na narrativa brasileira contemporânea." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2004. http://hdl.handle.net/10183/5837.
Full textAbstract:
Ao longo do século XX, o Brasil passa por mutações profundas em sua estrutura social, econômica e cultural. Entre as conseqüências desse processo estão, de um lado, a formação de grandes centros urbanos e, de outro, o fenecimento de pequenas cidades do interior. Este trabalho trata de dois casos de representação da pobreza de cada um desses contextos, Vitrola dos Ausentes (1993), de Paulo Ribeiro, e Cidade de Deus (1997), de Paulo Lins, dois escritores que acompanham de perto essas transformações. O objetivo é investigar em que medida estas propostas de adequação entre forma e conteúdo, escritas em meio ao processo de redemocratização política do país e da popularização crescente da cultura de periferia das grandes cidades, correspondem a um novo momento na representação da pobreza na Literatura Brasileira.
7
Rua, Robson Borges. "A conceptualização das formas de expressão de futuro: as especificidades no uso do futuro simples, do futuro perifrástico e do presente do indicativo." Niterói, 2017. https://appdesenv.uff.br/riuff/handle/1/3676.
Full textAbstract:
Submitted by Fabiano Vassallo (fabianovassallo2127@gmail.com) on 2017-05-18T18:25:27Z
No. of bitstreams: 2
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)
dissertação versão final.pdf: 2154264 bytes, checksum: 1408db583de1030bcb93228d058cc7e8 (MD5)Approved for entry into archive by Josimara Dias Brumatti (bcgdigital@ndc.uff.br) on 2017-05-19T14:04:07Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) dissertação versão final.pdf: 2154264 bytes, checksum: 1408db583de1030bcb93228d058cc7e8 (MD5)
Made available in DSpace on 2017-05-19T14:04:07Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) dissertação versão final.pdf: 2154264 bytes, checksum: 1408db583de1030bcb93228d058cc7e8 (MD5)
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Nesta dissertação, são estudadas as formas mais frequentes de expressão de futuro no Português do Brasil, observadas neste e em estudos anteriores: o futuro simples, o futuro perifrástico e o presente do indicativo. Com o objetivo de investigar as especificidades relacionadas ao uso das formas referidas neste estudo, foram analisados dados extraídos de corpus constituído de manchetes e lides de jornais on-line das diferentes regiões brasileiras, no período de maio de 2015 a janeiro de 2016. Ao todo, foram selecionadas 167 notícias, totalizando 343 registros das formas de expressão de futuro em tela. Adotou-se o arcabouço teórico da Linguística Cognitiva, mais precisamente as abordagens sobre Conceptualização e Modelos Cognitivos Idealizados (LANGACKER, 1991, 2008), a fim de se buscar desvelar como um determinado evento relacionado ao futuro é construído pelo conceptualizador. Na análise dos dados, observando-se a influência de fatores, tais como “atividade programada”, “presença de especificador circunstancial” e “certeza epistêmica”, constatou-se que, de uma forma geral, o futuro simples é a forma que apresenta maior frequência em manchetes e lides de jornais on-line para se referir a um evento futuro. No entanto, verificou-se também que, em se tratando de uma atividade programada, o presente do indicativo é a forma de expressão do futuro mais produtiva. Observou-se ainda a importância do parâmetro “certeza epistêmica”, em função do qual foi possível propor uma escala relativa ao emprego, nos jornais on-line, das três formas de expressão do futuro estudadas, tomando como base o grau de certeza epistêmica do conceptualizador (de [+] para [-]): presente do indicativo > futuro simples > futuro perifrástico
In this dissertation, the most frequent forms of expression of the future in Brazilian Portuguese (PB) observed in this and previous studies are studied: the present tense, the simple future and the periphrastic future. With the objective of investigating specificities related to the use of the forms considered in this study, data extracted from the corpus composed of headlines and online newspaper headlines from different Brazilian regions were analyzed from May 2015 to January 2016. In all, 167 news items were selected, totaling 343 records of future forms of expression on screen. The theoretical framework of Cognitive Linguistics was adopted, more precisely the approaches on the Conceptualization Process and the notion of Idealized Cognitive Models (Langaker, 1991, 2008), in order to seek to unveil how a particular event related to the future is constructed by the Conceptualizer. In the analysis of the data, observing the influence of factors such as "programmed activity", "presence of circumstantial specifier" and "epistemic certainty", it was verified that, in a general way, the simple future is the form that presents greater frequency in headlines and online newspaper headlines to refer to a future event. However, it has also been found that in the case of a programmed activity, the present tense is the form of future expression more productive. It was also observed the importance of the parameter "epistemic certainty", according to which it was possible to propose a scale related to the use, in the online newspaper, of the three forms of expression of the future studied, based on the degree of epistemic certainty of the conceptualizer (from [+] to [-]): present tense> simple future> periphrastic future
8
Gama, Viviane Lima de Oliveira. "Um estudo grafemático das letras G e J em português." Pontifícia Universidade Católica de São Paulo, 2007. https://tede2.pucsp.br/handle/handle/14437.
Full textAbstract:
Made available in DSpace on 2016-04-28T19:34:12Z (GMT). No. of bitstreams: 1
Viviane Lima de Oliveira Gama.pdf: 1008718 bytes, checksum: 8590f9eb4a8fc2722db2af5081cf7434 (MD5)
Previous issue date: 2007-04-25Conselho Nacional de Desenvolvimento Científico e Tecnológico
This study is situated on the area of Portuguese Language Description and deals with the examination of the letters g and j , by means of verifying the existence of rules regarding the use of these letters in the orthographic system, contributing to the graphemic studies of the Portuguese Orthography. The carried out research is based on the proposal of Derrida (1967), on the studies of Nina Catash (1973) and on the research meetings carried out in France in 1973 and 1986. Thus, it is understood that the methods used by Phonology can be extended to Graphemics, as well as its theoretical models. It is justified once it is understood that the oral system presents distinct traces, different from the orthographic system in Brazil, where few studies under the prism of Graphemics had been carried out so far. It is stated as hypothesis that some rules can be described for the use of the letters g and j preceding the vowels e and i , where difficulties for the orthographic use occur. The acquired results indicate that: a) the letter g differs from the letters j as the former belongs to the Portuguese Language etymologic system and the latter to the phonetic system. Therefore, the letter g spells the poliphonologic values /g, / and the letter j , the poliphonologic value / /; b) there are commutative pairs between g and j , by means of considering them two graphemes of the Portuguese Language orthographic system: the grapheme g of the etymologic system, in complementary distribution with a , o , u and the grapheme g in complementary distribution with e , i . In this sense, the distinctive trace of the grapheme g + /a, o, u/ belongs to the Portuguese Language orthographic subsystem and g + /e, i/ to the phonetic etymologic system. The grapheme j spells the phoneme / / of the language phonetic system for new words, entries for the Portuguese Language; but j spells words of i, y etyma of origins other than Latin, for being palatal in the Portuguese Language entry; for this reason, they are the etymologic-phonetic trace; c) there is no graphemic change on word derivation, unless due to the complementary distribution, by means of spelling g for the etymologic-phonetic trace and j for the phonetic trace; d) in the Portuguese Language history, the latin etyma present a single letter to spell /g, /, depending on the vowel that follows; the grapheme j spells the palatization previous to any vowel, being it oral or nasal; e) Other considerations. Due to the existent confusion relating to the etyma of the Portuguese Language words, it was verified that there are two ways of spelling the same word, both with g and j . It is concluded, from these occurrences, that it is possible to deal with the Portuguese Language orthographic system through theoretical and methodological models of Phonology. However, due to the unawareness of etyma, specific studies in the area are necessary to guide future Orthographic Changes
Esta Dissertação está situada na área da Descrição da Língua Portuguesa e trata do exame das letras g e j , a fim de se verificar se há regras para o uso dessas letras no sistema ortográfico de forma a contribuir para os estudos grafemáticos da Ortografia Portuguesa. A pesquisa realizada está fundamentada na proposta de Derrida (1967), nos estudos realizados por Nina Catash (1973) e nos colóquios de pesquisa realizados na França em 1973 e 1986. Dessa forma, entende-se que os métodos utilizados pela Fonologia podem ser estendidos para a Grafemática, assim como seus modelos teóricos. E justifica-se na medida em que se entende que o sistema oral tem traços distintivos diferentes do sistema ortográfico no Brasil, em que poucos estudos até hoje foram realizados sob o prisma da grafemática. Tem-se por hipótese que há regras possíveis de serem descritas para o uso das letras g e j diante das vogais e e i , onde apresentam dificuldades para o uso ortográfico. Os resultados obtidos indicam que: a) a letra g difere da letra j pois a primeira pertence ao sistema etimológico da Língua Portuguesa; e a segunda, ao sistema fonético. Por esta razão, a letra g grafa valores polifonológicos /g, /; e a letra j , valor monofonológico / /; b) há pares comutativos entre g e j , de forma a considerá-los dois grafemas do sistema ortográfico da Língua Portuguesa: o grafema g do sistema etimológico, em distribuição complementar com a , o , u e o grafema g em distribuição complementar com e , i . Neste sentido, o traço distintivo do grafema g + /a, o, u/ é do subsistema ortográfico e g + /e, i/ do sistema etimológico fonético da língua portuguesa. O grafema j grafa o fonema / / do sistema fonético da língua para palavras novas, entradas para a Língua Portuguesa; mas j grafa palavras de étimos i, y de outras origens que não o latim, por serem palatais na entrada de Língua Portuguesa; por esta razão, são do traço etimológico-fonético; c) na derivação de palavras não há mudança grafemática, a não ser devido à distribuição complementar de forma a grafar g para o traço etimológico-fonético e j para o traço fonético; d) na História da Língua Portuguesa os étimos latinos apresentam uma única letra para grafar /g, / dependendo da vogal que segue; o grafema j grafa a palatização anterior a qualquer vogal, seja oral ou nasal; e) Outras considerações. Verificou-se que devido às confusões existentes, relativas aos étimos das palavras de Língua Portuguesa, que há duas formas de grafar uma mesma palavra, tanto com g quanto com j . A partir dessas ocorrências, conclui-se que é possível de se tratar o Sistema Ortográfico da Língua Portuguesa por modelos teóricos e metodológicos da Fonologia. Contudo, devido ao desconhecimento de étimos, são necessários estudos específicos na área para guiar futuras Reformas Ortográficas
9
Frings, Christoph. "Forme seconde d'algèbres étales et simples centrales en caractéristique 2." Besançon, 2002. http://www.theses.fr/2002BESA2007.
Full textAbstract:
La forme trace classique sur les algèbres étales et galoisiennes sur des corps de caractéristique 2 étant dégénérée, on la remplace avantageusement par la forme quadratique seconde trace. Le problème de l'existence de bases normales autoduales, résolu par E. Bayer-Fluckiger et H. Lenstra, admet dans ce contexte un équivalent: le problème d'existence de bases normales autoduales T2-standards. On montre que ce problème admet une réponse positive dans de nombreuses situations. De manière similaire, la forme. Trace réduite des algèbres simples est remplacée en caractéristique 2 par la forme seconde trace réduite, dont on montre que l'invariant de Hasse-Witt vérifie une relation déjà bien connue dans le cas de la forme trace (Lewis, Morales), la reliant à la classe de Brauer de l'algèbre. Enfin, on s'intéresse aux formes hermitiennes sur des corps gauches de caractéristique 2, en particulier au problème posé par la défaillance de la simplification de Witt dans de nombreuses situations. À ce sujet, on établit une classification des classes d'isomorphismes de plans hermitiens isotropes.
10
Becher, Karim Johannès. "Invariants de corps en théorie des formes quadratiques et radical de Kaplansky." Besançon, 2001. http://www.theses.fr/2001BESA2038.
Full textAbstract:
Ce travail s'inscrit dans le cadre de la théorie des formes quadratiques et des algèbres simples centrales à involution sur un corps de caractéristique différente de 2, noté F dans la suite. Dans le premier chapitre, on exhibe un critère simple pour qu'un anti-automorphisme d'une F-algèbre simple centrale soit une involution. Ce critère permet de retrouver à la fois le critère d'existence d'Albert et le théorème de prolongement de Kneser pour les involutions de première espèce. On présente également des preuves nouvelles et élémentaires de deux résultats connus concernant les algèbres simples centrales de degré 2 et d'exposant 4. D'après la définition donnée par I. Kaplansky, le radical de F noté R(F) est le groupe des éléments de F qui sont représentés par toute 1-forme de Pfister. Le chapitre II vise à approfondir l'étude de cette notion. On s'intéresse en particulier au rôle que joue le radical de F vis-à-vis des formes quadratiques et des algèbres simples centrales sur F ainsi qu'à la position de R(F) par rapport aux inclusions naturelles F× [. . . ]. Afin d'obtenir des corps de niveau donné avec des propriétés supplémentaires, on introduit au chapitre V la notion de forme suprême. Une forme quadratique sur F est dite suprême si elle est anisotrope et si elle contient toute autre forme quadratique anisotrope sur F comme sous-forme. Il s'avère qu'une forme suprême est nécessairement une forme de Pfister. D'un autre côté, toute forme de Pfister anisotrope sur le corps F devient une forme supême après extensions des scalaires à un sur-corps convenable de F.
11
Sécherre, Vincent. "Représentations des formes intérieures de GL(N) : caractères simples et bêta-extensions." Paris 11, 2002. http://www.theses.fr/2002PA112224.
Full textAbstract:
Cette thèse s'inscrit dans le cadre de la théorie des types dans les groupes réductifs sur un corps local non-archimédien. Etant donnés un tel corps F et une algèbre à division D de centre F et de degré réduit d, nous cherchons à construire des types simples pour le groupe GL(m, D), m entier supérieur ou égal à 1, forme intérieure du groupe linéaire GL(md, F). Nous franchissons deux étapes importantes dans cette construction. Dans un premier temps, nous produisons, pour toute strate simple de l'algèbre de matrices M(m, D), un ensemble de caractères simples, liés à ceux construits par Bushnell et Kutzko dans le cas déployé par un principe de transfert. Ces caractères simples jouissent d'un certain nombre de propriétés remarquables, notamment d'une formule d'entrelacement et d'une propriété de non-dégénérescence permettant d'associer à chacun d'eux sa représentation de Heisenberg, définie sur un certain sous-groupe ouvert compact de GL(m, D). Les techniques utilisées sont basées sur un procédé de montée-descente lié à un changement de base non ramifié. Dans un second temps, dans le cas où l'ordre héréditaire sous-jacent à la strate est principal, nous construisons pour chacun des caractères simples qui lui correspondent une bêta-extension de sa représentation de Heisenberg, c'est-à-dire un prolongement de même entrelacement. Cette construction est basée sur l'emploi d'un système de relations de cohérence entre les diverses représentations construites, ainsi que sur un procédé d'induction parabolique permettant d'obtenir des bêta-extensions dans GL(m, D) à partir de bêta-extensions dans GL(m/e, D), où e divise mThis thesis is devoted to the construction of simple types for the reductive group GL(m, D), where m is a positive integer and D a finite dimensional division algebra whose center is a nonarchimedean local field. The underlying aim of this work is the explicit description of the set of irreducible smooth complex representations of GL(m, D) whose inertial support is reduced to one element. In a first stage, we produce, for each simple stratum of the matrix algebra M(m,D), a set of simple characters, related to those constructed by Bushnell and Kutzko in the split case by a transfert property. Those characters fulfill some remarkable properties, as an intertwining formula and a nondegeneracy property, allowing to build their Heisenberg representation defined on a certain compact open subgroup of GL(m, D). This construction is based on a unramified base change process, which allows us to make use of the results of Bushnell and Kutzko. In a second stage, when the underlying hereditary order of the stratum is principal, we build for each simple character corresponding to it an extension of its Heisenberg representation without reducing the intertwining (such an extension is called a beta-extension). This construction is based on the use of a system of coherence relations between the various representations built, and on a parabolic induction process giving beta-extensions in GL(m,D) from beta-extensions in GL(m/e,D), where e divides m
12
Cohen, Stéphanie Régnier Alain. "Formes oculaires de l'herpès virose féline." [S.l.] : [s.n.], 2008. http://oatao.univ-toulouse.fr/2907/1/hartmann_2907.pdf.
Full text
13
Fallahtoori, Sahar. "Distributed Graph Clustering: Study of DiDiC and Some Simpler Forms." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-174831.
Full textAbstract:
The size of global electronic data in need of storage and retrieval is growing with an increasing rate. As a result of this growth, the development of technologies to process such data is a necessity. The data is developing in both complexity and connectivity, particularly for social networks. Connectivity of data means that the records to be stored are highly interdependent. Conventional relational databases are poorly suited for processing highly connected data. On the contrary, graph databases are inherently suited for such dependencies. This is mainly due to the fact that graph databases try to preserve locality and store adjacent records close to one another. This allows retrieval of adjacent elements, regardless of graph size, in constant time. Furthermore, with the everyday growth of data volume these databases won’t fit on single server any longer and need more (distributed) resources. Thus, partitioning of the data to be stored is required. Graph partitioning, based on its aim, can be divided into two major subcategories; a) Balanced partitioning where the aim is to find a predefined, N, number of equally sized clusters and b) Community detection where the aim is to find all underlying dense subgraphs. In this thesis we investigate and improve one particular graph partitioning algorithm, namely DiDiC, which is designed for balanced partitioning. DiDiC is short for diffusive and distributed graph partitioning. The algorithm is independently implemented in this thesis. The main testbeds of our work are real-world social network graphs such as Wikipedia or Facebook and synthetically generated graphs. DiDiC's various aspects and performance are further examined in different situations (i.e. types of graph) and using various sets of parameters (i.e. DiDiC hyperparameters). Our experiments indicate that DiDiC fails to partition the input graphs to the desired number of clusters in more than 70% of cases. In most failure cases it returns the whole graph as a single cluster. We noticed that the diffusive aspects of DiDiC is minimally constrained. Inspired by these observations, we propose two diffusive variants of the DiDiC to address this issue and consequently improve the success rate. This is done mainly by constraining the diffusive aspect of DiDiC. The modifications are straightforward to implement and can be easily incorporated into existing graph databases. We show our modifications consistently outperforms DiDiC with a margin of ~30% success rate in various scenarios. The different scenarios include various sizes of graphs, with different connectivity and structure of underlying clusters. Furthermore, we demonstrate the effectiveness 5 of DiDiC in discovering underlying high density regions of graph a.k.a. “community detection”. In fact, we show that it is more successful in “community detection” (60% success rate) than "balanced clustering" (35% success rate). Finally, we investigate the importance of random initialization of DiDiC algorithm. We observe, while different initialization (and keeping the best performing one) can help the final performance, there is a diminishing return when the algorithm is randomly initialized more than 4 times.
14
Harvey, Ebony Ann. "Cohomological Invariants of Quadratic Forms." Thesis, Boston College, 2010. http://hdl.handle.net/2345/1324.
Full textAbstract:
Thesis advisor: Benjamin V. HowardGiven a field F, an algebraic closure K and an F-vector space V, we can tensor the space V with the algebraic closure K. Two quadratic spaces of the same dimension become isomorphic when tensored with an algebraic closure. The failure of this isomorphism over F is measured by the Hasse invariant. This paper explains how the determinants and Hasse Invariants of quadratic forms are related to certain cohomology classes constructed from specific short exact sequences. In particular, the Hasse Invariant is defined as an element of the Brauer group
Thesis (MA) — Boston College, 2010
Submitted to: Boston College. Graduate School of Arts and Sciences
Discipline: Mathematics
15
Carvalho, Vanessa Viana da Silva. "Generation of multi-level and multi-user games through modelling in hierarchical coloured Petri nets." Universidade Federal do CearÃ, 2014. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=13488.
Full textAbstract:
CoordenaÃÃo de AperfeÃoamento de Pessoal de NÃvel SuperiorThis work presents a method to generate games with multilevel and multiple users using Hierarchical Coloured Petri Nets. The design of a multiuser game containing multiple navigation environments (multilevel) is made from the model of a Hierarchical Coloured Petri Net, in which are specified all of the rules, properties and structures of the game. The created model for the game can be formally analysed, verifying the existence of deadlocks and invalid paths, for example, and others possible conception problems, that can be done with the tools available on CPN Tools. To validate this method, a tool has been developed, called CPN Games, which allows fast and dynamic development of simple conception games only using Hierarchical Coloured Petri Nets. The XML codes of the designed models in CPN Tools are interpreted by CPN Games following a set of predefined rules to instantiate different games, without additional programing. It is demonstrated the mechanisms of the design, analysis and validation of the models and finally it is presented several examples of games developed by this tool.
Este trabalho apresenta um mÃtodo para geraÃÃo de jogos multinÃveis e com mÃltiplos usuÃrios por meio de modelagem em Redes de Petri Coloridas HierÃrquicas. A concepÃÃo de um jogo multiusuÃrio, contendo mÃltiplos ambientes de navegaÃÃo (multinÃveis), à feita a partir da criaÃÃo de um modelo hierÃrquico em Rede de Petri Colorida, no qual se especificam todas as regras, propriedades e estruturas do jogo. O modelo criado para o jogo pode ser analisado formalmente, verificando-se, por exemplo, a existÃncia de bloqueios e de transiÃÃes mortas (caminhos invÃlidos), entre outros possÃveis problemas de concepÃÃo, o que pode ser feito com a utilizaÃÃo de ferramentas disponÃveis no CPN Tools. Para validar esse mÃtodo, foi concebida uma ferramenta, denominada CPN Games, que permite o desenvolvimento rÃpido e dinÃmico de jogos de concepÃÃo simples exclusivamente por Rede de Petri Colorida HierÃrquica. Os cÃdigos em XML de modelos constituÃdos com o CPN Tools sÃo interpretadas pelo CPN Games seguindo um conjunto de regras prà estabelecidas para instanciar diferentes jogos, sem a necessidade de programaÃÃo adicional. SÃo demonstrados os mecanismos de criaÃÃo, anÃlise e validaÃÃo dos modelos e diferentes exemplos de jogos construÃdos com a ferramenta.
16
GUIBERT-DUPLANTIER, CATHERINE. "Etude des effets mécaniques des explosions de gaz sur des structures de formes simples." Poitiers, 1993. http://www.theses.fr/1993POIT2342.
Full textAbstract:
L'etude concerne les effets produits sur l'environnement par l'explosion aerienne, en regime de deflagration, d'une charge gazeuse hemispherique de rayon fini, amorcee en son centre. La composition du melange combustible permet de faire varier la puissance de l'explosion. Le but de ce travail a ete d'apporter des precisions: i) sur l'evolution de la celerite de la deflagration pendant sa phase de ralentissement et d'arret sur le bord de la charge en fin d'explosion; ii) sur l'interaction de l'onde de pression, associee a la deflagration, avec des structures de formes simples (plaques, cubes, cylindres, spheres). Une loi empirique a ete proposee pour caracteriser le ralentissement et l'arret de la flamme en fin d'explosion. Cette loi de ralentissement et d'arret a permis d'estimer la phase negative de l'onde de pression et en particulier son amplitude maximale qui est comparable a celle de la surpression maximale atteinte au cours de l'explosion. Les variations de pression supportees par une structure placee dans le champ de l'explosion, ont ete mesurees en differents points de sa paroi. La pression incidente est amplifiee sur la surface de l'obstacle directement exposee au souffle de l'explosion et attenuee sur la surface cachee. Les coefficients caracterisant cette amplification (ou cette attenuation) dependent de la localisation du point sur l'obstacle mais aussi de la taille et de la forme de ce dernier. Ils varient peu avec la distance de l'obstacle au centre de l'explosion. L'amplification et l'attenuation des effets de l'onde incidente sont augmentees lorsqu'on modifie la forme de la structure dans l'ordre suivant: sphere-cylindre-plaque-cube. L'ensemble des resultats exposes trouve son application dans le domaine de l'analyse et de la prevention des risques d'explosion sur un site industriel
17
Melo, Ricardo Pereira de. "Estado e valor ou o processo de circulação simples como forma aparencial do Estado." Universidade Estadual do Oeste do Parana, 2008. http://tede.unioeste.br:8080/tede/handle/tede/2092.
Full textAbstract:
Made available in DSpace on 2017-07-10T18:26:17Z (GMT). No. of bitstreams: 1
Ricardo Pereira de Melo.pdf: 340519 bytes, checksum: 62c861355aa80df3ebe2a229edf8c649 (MD5)
Previous issue date: 2008-02-18The objective headquarters of this dissertation is to present how it is possible, through exposition dialectic, to think the category been since the beginning of the Capital. The great challenge that the Capital presents is to understand your exposition method that subjects the emergence of the concept since the beginning - not only in the beginning of the work, but the whole time - as totality. In the totality, already known by us , the State is there the whole time and during the whole exposition dialectic of the capital. In that way, I try to show that Marx thinks the category been as logical-historical presupposition in the beginning of the work, and like this, the State would be already present-absent in the first chapter of the Capital. Starting from the moment in that the categories go being put dialectically, the concept of State goes being built slowly through the dialectic of the exposition. For that work, only the first three chapters of the Capital were analyzed, contained in the Section I that corresponds to the process of simple circulation of commodities. In the process of simple circulation, while the purpose is the value of use of the commodities, the State he appears as the oasis of the alienable rights of the property and it seems to work just as auxiliary support of the ideal structure of the market. In the alienated conscience it is as if the State was, seemingly, be absent of the market. If the purpose of the change, however, it is the valorization of the value, then, the State is there the whole time (present for us ), but just showing the face that better it interests him. The movement of the exposition does with that the appearance neutrality of the State in the market is overcome turning visible the invisible. The legitimate and concentrated violence of the State also appears from I begin him of the exposition dialectic of the Capital, but just as presupposed, for in the end to be put with all your determinations. The State is there , but still non position, just presupposition, in the ambit of the simple circulation of commodities. The historical development is presupposed under each logical category that comes in the Capital. Same not appearing (explicitly) in the Capital, the State is always present while presupposition report of the violence of the fight of classes that is put by the way of exposition dialectic of that work. That theory is only possible to be thought inside of a theory of the negation of the negation, where the category been it is put and at the same time denied by your logical and historical presuppositions. The conflicting dimension of the capital and the extra-economical power of the State send, like this, to the rigorous subject of the exposition dialectic of the capital.
O objetivo central desta dissertação é apresentar como é possível, por meio de uma exposição dialética, pensar a categoria Estado desde o início de O Capital. O grande desafio que O Capital apresenta é entender seu método de exposição que sujeita o aparecimento do conceito desde o início não só no início da obra, mas o tempo todo como totalidade. Na totalidade, já conhecida por nós , o Estado está ali o tempo todo e durante toda a exposição dialética do capital. Dessa forma, procuro mostrar que Marx pensa a categoria Estado como pressuposto lógico-histórico no início da obra, e assim, o Estado estaria presente-ausente já no primeiro capítulo d O Capital. A partir do momento em que as categorias vão sendo postas dialeticamente, o conceito de Estado vai sendo lentamente construído através da dialética da exposição. Para esse trabalho, foram analisados somente os três primeiros capítulos do Capital, contidos na Seção I que corresponde ao processo de circulação simples de mercadorias. No processo de circulação simples, enquanto a finalidade é o valor de uso das mercadorias, o Estado aparece como o oásis dos direitos alienáveis da propriedade e parece funcionar apenas como suporte auxiliar da estrutura ideal do mercado. Na consciência alienada é como se o Estado estivesse, aparentemente, ausente do mercado. Se a finalidade da troca, porém, é a valorização do valor, então, o Estado está ali o tempo todo (presente para nós ), mas apenas mostrando a face que melhor o interessa. O movimento da exposição faz com que a aparência neutralidade do Estado no mercado seja superada tornando visível o invisível. A violência legítima e concentrada do Estado também aparece desde o inicio da exposição dialética do Capital, mas apenas como pressuposta, para no final ser posta com todas as suas determinações. O Estado está lá , mas ainda não posto, apenas pressuposto, no âmbito da circulação simples de mercadorias. O desenvolvimento histórico está pressuposto sob cada categoria lógica que se apresenta no Capital. Mesmo não aparecendo (explicitamente) em O Capital, o Estado está sempre presente enquanto pressuposto histórico da violência da luta de classes que é posta pelo modo de exposição dialético dessa obra. Essa teoria só é possível ser pensada dentro de uma teoria da negação da negação, onde a categoria Estado é posta e ao mesmo tempo negada pelos seus pressupostos lógicos e históricos. A dimensão conflituosa do capital e o poder extra-econômico do Estado remetem, assim, à questão rigorosa da exposição dialética do capital.
18
Silva, Renan Makoto Herculano. "Micro e pequenas empresas formais afetam o fato de seus empregados serem formais? Um estudo utilizando o SIMPLES como uma variável instrumental." Universidade de São Paulo, 2007. http://www.teses.usp.br/teses/disponiveis/96/96131/tde-15052007-153741/.
Full textAbstract:
Este trabalho estuda a relação entre a formalização das firmas, detentoras de licença municipal ou estadual, e a formalização de seus empregados. Em função da simultaneidade entre os indicadores, utiliza-se o SIMPLES, que representa uma variação exógena na carga tributária relevante para as micro e pequenas empresas, alterando, portanto, os incentivos à formalização para essas firmas. Para avaliar essa relação, o estudo utiliza a base de dados da Economia Informal Urbana (ECINF) de 2003, disponibilizado pelo IBGE em parceria com o SEBRAE, sobre micro e pequenos negócios em áreas não rurais no Brasil. Os resultados indicam que firmas com licença que poderiam aderir ao SIMPLES apresentam um impacto positivo e estatisticamente significante sobre a probabilidade de formalização dos empregados.This research studies the relationship between the formality of the enterprises, processing state or municipal license, and the formality of their employees. As result of the simultaneity between the indicators, it is used the Law of the Integrated System of Payment of Taxes and Contributions of the Micro and Small Enterprises (SIMPLES), that represents an exogenous variation on the tax burden that matters to micro and small enterprises. Therefore, modifying the incentives to the formality to these firms.. To analyze this relationship, the study uses the data base for Urban Informal Economy (ECINF) of 2003, available by IBGE in partnership with SEBRAE, about micro and small enterprises in non rural areas in Brazil. The results demonstrate that firms with license that could be benefited by SIMPLES show a positive impact and significant statistically on the probability of formalization of the employees.
19
Jacobsson, Henrik. "A Comparison of Simple Recurrent and Sequential Cascaded Networks for Formal Language Recognition." Thesis, University of Skövde, Department of Computer Science, 1999. http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-391.
Full textAbstract:
Two classes of recurrent neural network models are compared in this report, simple recurrent networks (SRNs) and sequential cascaded networks (SCNs) which are first- and second-order networks respectively. The comparison is aimed at describing and analysing the behaviour of the networks such that the differences between them become clear. A theoretical analysis, using techniques from dynamic systems theory (DST), shows that the second-order network has more possibilities in terms of dynamical behaviours than the first-order network. It also revealed that the second order network could interpret its context with an input-dependent function in the output nodes. The experiments were based on training with backpropagation (BP) and an evolutionary algorithm (EA) on the AnBn-grammar which requires the ability to count. This analysis revealed some differences between the two training-regimes tested and also between the performance of the two types of networks. The EA was found to be far more reliable than BP in this domain. Another important finding from the experiments was that although the SCN had more possibilities than the SRN in how it could solve the problem, these were not exploited in the domain tested in this project
20
ALMEIDA, Ariovaldo Fernandes de. "Análise experimental de vigas constituídas de perfis formados a frio com emendas soldadas submetidas à flexão simples." Universidade Federal de Goiás, 2009. http://repositorio.bc.ufg.br/tede/handle/tde/649.
Full textAbstract:
Made available in DSpace on 2014-07-29T15:03:30Z (GMT). No. of bitstreams: 1
Dissertacao ariovaldo ecivil 2009.pdf: 972968 bytes, checksum: 9d1288c7a6be7d0bce6e1136f5b34c12 (MD5)
Previous issue date: 2009-09-23The cold-formed steel sheets have been sufficiently used when it is thought of manufacturing a metallic structure with reduced weight. Its use until some time ago in construction was limited to the secondary structures, but, with considerable growth in research involving this type of material together with development of technical standards, made its use a good solution for certain types of light structures. The present work presents considerations on cold-formed steel sheets, the patened steel, processes of welding and the result of experimental tests with beams with composed section of two profiles U constituted with cold-formed steel sheets, manufactured with two types of patened steel produced in Brazil. In some of these beams, welded sections with coated electrode had been used and were made the comparison with the reference beam, where it was possible to study the influence of the process of welding in the ultimate resistance and the ductility of the beam.
Os perfis metálicos formados a frio tem sido bastante usados quando se pensa em fabricar uma estrutura metálica com peso próprio reduzido. O seu uso até a algum tempo atrás na construção civil estava limitado apenas a estruturas secundárias, mas, com o crescimento considerável de pesquisas envolvendo este tipo de material associadas ao desenvolvimento de normas técnicas, fez com que o seu uso apresentasse uma boa solução para determinados tipos de estruturas leves. O presente trabalho apresenta considerações sobre perfis formados a frio, aços patináveis, processos de soldagem e o resultado de ensaios experimentais de vigas bi-apoiadas constituídas de perfis formados a frio compostas pela junção de dois perfis U enrijecidos, fabricadas com dois tipos de aço patináveis produzidos no Brasil, comparando-se os resultados. Em algumas destas vigas foram feitas emendas soldadas com eletrodo revestido e foi feita a comparação com vigas de referência, sem emenda soldada, possibilitando o estudo da influência do processo de soldagem na resistência à flexão e na ductilidade das vigas.
21
Lei, Qingwen. "The effects of input format on simple multiplication of Chinese- and English-speaking adults." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp03/MQ26961.pdf.
Full text
22
Cortella, Anne. "Antiautomorphismes d'algèbres et objets reliés." Habilitation à diriger des recherches, Université de Franche-Comté, 2010. http://tel.archives-ouvertes.fr/tel-00497746.
Full textAbstract:
Ce mémoire porte sur l'étude des antiautomorphismes d'algèbres et en particulier sur les antiautomorphismes linéaires d'algèbres centrales simples (sur un corps commutatif). Si l'algèbre est une algèbre de matrices, alors un tel antiautomorphisme est l'adjonction pour une forme bilinéaire. Ainsi la classification des antiautomorphismes linéaires (resp. de type II) à isomorphisme près est une généralisation de celle des formes bilinéaires (resp. sesquilinéaires) à similitude près. Dans la première partie, on définit la notion d'asymétrie d'une forme sesquilinéaire, et on étudie les éléments d'une algèbre d'endomorphismes qui sont une asymétrie. La notion de produit de formes sesquilinéaires conduit à une théorie de Morita pour les algèbres à antiautomorphismes, qui permet de généraliser la notion de somme orthogonale connue pour les involutions d'algèbres centrales simples aux algèbres à antiautomorphisme Morita équivalentes avec asymétrie. Dans la deuxième partie, après avoir rappelé comment l'asymétrie permet d'obtenir une classification des formes bilinéaires, on généralise au cas non déployé linéaire la notion d'asymétrie et on explique comment on peut espérer obtenir de bons résultats en étudiant l'involution induite sur le centralisateur de l'asymétrie et la pseudo-involution linéaire associée à cette asymètrie. L'étude du principe de Hasse pour les similitudes de formes bilinéaires conduit natu- rellement au calcul de certains groupes de Tate-Schafarevich de tores algébriques de type normique. Ceci permet, dans une troisième partie, de donner des contre-exemples à ce principe sur des corps de nombres, ainsi qu'une interprétation de type corps de classe à l'obstruction à ce principe. Ce type de calculs pour d'autres tores normiques permet de démontrer qu'ils ne sont pas stablement rationnels. Ce résultat permet alors de déterminer les groupes algébriques simples dont le tore générique est rationnel, et délimite donc les cas pour lesquels l'étude du tore générique donne la rationalité du groupe. La quatrième partie est dédiée à la définition et à l'étude d'invariants des algèbres centrales simples à antiautomorphismes qui généralisent ceux donnant de bons résultats de classification pour les involutions : le discriminant, l'algèbre de Clifford et la forme trace. On y développe alors les résultats espérés en petite dimension cohomologique ou en petit degré.
23
Bockenek, Joshua A. "USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow." Thesis, Virginia Tech, 2017. http://hdl.handle.net/10919/81710.
Full textAbstract:
Writing bug-free code is fraught with difficulty, and existing tools for the formal verification of programs do not scale well to large, complicated codebases such as that of systems software. This thesis presents USIMPL, a component of the Orca project for formal verification that builds on Foster’s Isabelle/UTP with features of Schirmer’s Simpl in order to achieve a modular, scalable framework for deductive proofs of program correctness utilizing Hoare logic and Hoare-style algebraic laws of programming.Master of Science
Writing bug-free code is fraught with difficulty, and existing tools for the formal verification of programs do not scale well to large, complicated codebases such as that of systems software (OSes, compilers, and similar programs that have a high level of complexity but work on a lower level than typical user applications such as text editors, image viewers, and the like). This thesis presents USIMPL, a component of the Orca project for formal verification that builds on an existing framework for computer-aided, deductive mathematical proofs (Foster’s Isabelle/UTP) with features inspired by a simple but featureful language used for verification (Schirmer’s Simpl) in order to achieve a modular, scalable framework for proofs of program correctness utilizing the rule-based mathematical representation of program behavior known as Hoare logic and Hoare-style algebraic laws of programming, which provide a formal methodology for transforming programs to equivalent formulations.
24
Barry, Demba. "Eléments de carre central dans les algèbres d’exposant deux." Paris 13, 2012. http://www.theses.fr/2012PA132037.
Full textAbstract:
Cette thèse porte sur la décomposabilité des algèbres centrales simples d'exposant 2, sur des corps de caractéristique différente de 2, à travers l’étude des éléments de carré central. Dans un premier temps, nous étendons la théorie des espaces de similitudes au cadre général des algèbres à involution et après nous donnons une caractérisation de la décomposabilité totale des algèbres à involution en termes d’existence de (s, t)-familles maximales. L'étude des propriétés d'extension des espaces de similitudes nous conduit à l'étude des conditions pour lesquelles un élément de carré central, dans une algèbre d'exposant 2, est dans une sous-algèbre de quaternions. Il s'avère que l'existence dans une algèbre à division de dimension 64 et d'exposant 2, d'un élément de carré central qui ne soit dans aucune sous-algèbre de quaternions est liée à l'existence d'une algèbre indécomposable d'exposant 2. Des exemples d’algèbres indécomposables existent dans la littérature, mais tous ces exemples sont construits sur des corps de dimension cohomologique supérieure ou égale à 5. Comme application, nous améliorons ces exemples en construisant un exemple d'algèbre indécomposable d'exposant 2 et de dimension 64 sur un corps de dimension cohomologique 3 (qui est la plus petite possible) ; un autre exemple est donné en dimension cohomologique 4In this thesis, we further investigate the decomposability of exponent 2 central simple algebras over fields of characteristic different from 2. The problem will be addressed through the study of square-central elements. We first extend the notion of spaces of similitudes to the wide framework of algebras with involution, later we give a characterization of the totally decomposable involutions in terms of the existence of maximal (s, t)-families. The study of expansion properties of spaces of similitudes leads us to study conditions under which a square-central element, in an exponent 2 algebra, lies in a quaternion subalgebra. It turns out that the existence, in a 64-dimensional division algebra of exponent 2, of a square-central element which is not in a quaternion subalgebra is tied to the existence of an indecomposable algebra of exponent 2. Examples of indecomposable algebras of exponent 2 exist in the literature, but they are all constructed over fields of cohomological dimension greater than or equal to 5. As an application, we improve these examples by constructing an example of 64-dimensional indecomposable algebra of exponent 2 over a field of cohomological dimension as small as possible (that is 3) ; another example is given in cohomological dimension 4
25
Raillon, Raphaële. "Mécanisme de formation des échos ultrasonores transitoires sur des cibles immergées de formes simples : application au contrôle non destructif." Châtenay-Malabry, Ecole centrale de Paris, 1993. http://www.theses.fr/1993ECAP0286.
Full textAbstract:
On s'intéresse au mécanisme de formation des échos renvoyés par des cibles immergées de formes simples, insonifiées par des ondes ultrasonores transitoires issues d'un traducteur plan. Les outils utilises pour étudier ce mécanisme sont le formalisme de la réponse impulsionnelle, la description du champ transitoire en termes d'ondes géométrique et de bord ainsi qu'un code de calcul tridimensionnel (déjà existant) des réponses impulsionnelles de cibles de formes quelconques. L'interprétation géométrique des phénomènes de diffusion par les cibles nous permet de proposer un modèle simple de formation des échos, conduisant à des expressions analytiques des réponses impulsionnelles de certaines cibles. A l'aide de ce modèle et expérimentalement, on étudie l'influence des différents paramètres géométriques et électro-acoustiques en jeu. On applique ces résultats a deux problèmes du contrôle non destructif: l'effet du réflecteur sur les mesures des grandeurs caractéristiques des traducteurs plans et la discrimination des échos issus de bord de fissures et des petits défauts volumiques
26
Binh, Thanh Nguyen. "Localisation des fonctions propres du Laplacien dans des domaines simples et irréguliers." Phd thesis, Ecole Polytechnique X, 2012. http://pastel.archives-ouvertes.fr/pastel-00764806.
Full textAbstract:
The primary goal of the thesis is to study localization of Laplacian eigenfunctions in bounded domains when an eigenfunction is mainly supported by a small region of the domain and vanishing outside this region. The high-frequency and low-frequency localization in simple and irregular domains has been investigated for both Dirichlet and Neumann boundary conditions. Three types of high-frequency localization (whispering gallery, bouncing ball, and focusing eigemodes) have been revisited in circular, spherical and elliptical domains by deriving explicit inequalities on the norm of eigenfunctions. In turn, no localization has been found in most rectangular domains that led to formulating an open problem of characterization of domains that admit high-frequency localization. Using the Maslov-type differential inequalities, the exponential decay of low-frequency Dirichlet eigenfunctions has been extensively studied in various domains with branches of variable cross-sectional profiles. Under an explicit condition, the L2-norm of an eigenfunction has been shown to exponentially decay along the branch with an explicitly computed decay rate. This rigorous upper bound, which is applicable in any dimension and for both finite and infinite branches, presents a new achievement in the theory of classical and quantum waveguides, with potential applications in microelectronics, optics and acoustics. For bounded quantum waveguides with constant cross-sectional profiles, a sufficient condition on the branch lengths has been derived for getting a localized eigenfunction. The existence of trapped modes in typical finite quantum waveguides (e.g L-shape, bent strip and cross of two strips) has been proven provided that their branches are long enough, with an accurate estimate on the required minimal length. The high sensitivity of the localization character of eigenmodes to the length of branches and to the shape of the waveguide may potentially be used for switching devices in microelectronics and optics. The properties of localized eigenmodes in a class of planar spectral graphs have been analyzed. An efficient divide-and-conquer algorithm for solving the eigenproblem of the Laplacian matrix of undirected weighted graphs has been proposed and shown to run faster than traditional algorithms. A spectral approach has been developed to investigate the survival probability of reflected Brownian motion in reactive media. The survival probabilities have been represented in the form of a spectral decomposition over Laplacian eigenfunctions. The role of the geometrical structure of reactive regions and its influence on the overall reaction rate in the long-time regime has been studied. This approach presents a mathematical basis for designing optimal geometrical shapes of efficient catalysts or diffusive exchangers.
27
Coulter, John Edward, and n/a. "Entropy Analysis of an Economic Activity: A Case Study of Simple Brickmaking in China." Griffith University. Division of Asian and International Studies, 1993. http://www4.gu.edu.au:8080/adt-root/public/adt-QGU20070410.170509.
Full textAbstract:
1. There is a crisis in economics. The discipline evolved in nineteenth century Europe and is difficult to adapt to modern conditions, even in the West, and particularly in alien cultures. Application of conventional economic analysis to economic activity in a culture as alien as traditional China highlights the biases in assumptions of the paradigm. 2. The concepts, models and vocabulary evolved over one hundred years ago predate important developments in the natural sciences. It is now necessary for economists to concede no goods can ever be 'produced', and they are not 'consumed' either. In clear terms matter is transformed, but is not created or destroyed (First Law of Thermodynamics). 3. When people transform matter, in lay language we say energy is 'used'. In a simple cottage industry, 'raw material' is transformed into a commodity in front of our eyes by the use of human energy and the release of energy from a 'fuel'. In modem complex economic activity, it is difficult or impossible to keep track of the processes from raw matter to transformed 'product' although the principle is the same. 4. The Second Law of Thermodynamics states that in any transformation, energy is not created or destroyed, but becomes 'less available'. In short, entropy increases. This appears to work well for pure physics and chemistry, but its application to analysis of economic activity has only been notional. 5. There is a reason why economists borrowing terms from hard science experience difficulty. It is because physicists and chemists have addressed specific laboratory and engineering problems, but not the broader economic issues. The hypothesis gradually evolved in this research program that not only economic concepts and terms needed reworking, but those in physics as well. The definitions of energy as 'ability to do works and of entropy as 'unavailable energy' jar the logic of our commonsense. 6. The notion of 'available energy' was traced back to the phenomenon in physical chemistry known as exothermicity, or the release of energy during a chemical reaction. It was reasoned that while scientists had focussed on this phenomenon and measured it carefully they saw no need to ask where the energy came from, or to measure its transformation. From the perspective of analysing economic activity, the question was important. 7. It was hypothesised that the energy released from a fuel as electromagnetic radiation (mainly heat) was the residual of the set of coulombic forces within atoms that maintain the structure of shells of electrons around the protons. This idea in turn came from the presumption that molecular bonding is a residual of vectors of the set of coulombic forces within atoms, and the likelihood that in an exothermic reaction, after the reactants are said (by scientists) to 'seek equilibrium', product molecules have a portion of the coulombic forces 'left over' and not required to maintain their structures. An estimate was made of the coulombic forces extant in various fuels, and compared with the known data for their release of energy. 8. The idea was developed in detail. The concept we call in economics, 'production', and should call 'transformation' can only occur when forces locked within atoms are released as electromagnetic forces. (Gravitational forces exist because matter has been put 'there' by electromagnetic radiation). When 100 grams of dry grass fuel is burnt, about 2 megajoules of electromagnetic radiation are released. It was estimated that the coulombic forces between each electron and proton in that amount dry grass total 150 gigajoules (or giganewtons, since the reference is to forces). 9. Within the boundary of a simple economic activity, the ratio of aggregated coulombic forces locked up within atoms to the electromagnetic forces radiated out was estimated at the beginning of the activity, and then after a duration. The ratio of forces always tends towards 'evening out'. This measurement captures the entropy phenomenon which has been said by Georgescu-Roegen to be the basis of all economic activity. 10. At the roots of the economic paradigm founded by Adam Smith is the premise that the material world, as a set of substances, is a stage on which economic actors 'add value', bid prices up and down, and by their rational perception manage their livelihoods and surroundings well. From the findings of this research program it is contended that the surroundings of economic actors can be classed into two categories: locked up (coulombic) electromagnetic forces, and radiated electromagnetic forces. The former has a tendency to convert to the latter. All action, including all economic activity, and all life can be traced to a point in space and time where this conversion is (naturally) occurring. The phenomenon is analogous to a slope where water cascades, and gravitational potential energy converts to other (either useless or useful) forms of energy. To appreciate the nature of this phenomena, and to attempt to fathom its dimensions, sets our perceptions of ourselves as economic actors in a quite different and very humbling context.
28
VIRGOLINO, Fillipe Stephany de Souza. "Comportamento em fadiga termomecânica de fios de liga com memória de forma Ni-Ti-Cu." Universidade Federal de Pernambuco, 2017. https://repositorio.ufpe.br/handle/123456789/23926.
Full textAbstract:
Submitted by Rafael Santana (rafael.silvasantana@ufpe.br) on 2018-03-12T19:13:22Z
No. of bitstreams: 2
license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5)
COMPORTAMENTO EM FADIGA TERMOMECÂNICA DE FIOS DE LIGA COM MEMÓRIA DE FORMA Ni-Ti-Cu.pdf: 4577247 bytes, checksum: 80f553611587916c4a69ac3a78c41e28 (MD5)Made available in DSpace on 2018-03-12T19:13:22Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) COMPORTAMENTO EM FADIGA TERMOMECÂNICA DE FIOS DE LIGA COM MEMÓRIA DE FORMA Ni-Ti-Cu.pdf: 4577247 bytes, checksum: 80f553611587916c4a69ac3a78c41e28 (MD5) Previous issue date: 2017-02-22
Na maioria das aplicações tecnológicas os atuadores de liga de memória de forma (LMF) estão submetidos aos mais diversos tipos de carregamentos mecânicos, o que torna imprescindível o estudo da vida em fadiga destes tipos de materiais. Diante disto, o presente trabalho tem como objetivo analisar o comportamento dinâmico e a fadiga termomecânica de fios de LMF Ni-Ti-Cu, submetidos a ensaios dinâmicos em modo de flexão simples (Single Cantilever) utilizando um equipamento de Análise Mecânico Dinâmico (DMA – Dynamic Mechanical Analysis). Assim, foram realizadas análises para determinar a capacidade de amortecimento dos fios, além da fadiga estrutural nos estados martensítico e austenítico. A vida em fadiga dos fios foi avaliada por meio do número de ciclos até a ruptura em função das amplitudes de deformação aplicadas durante o processo de ciclagem mecânica. Os resultados demonstraram uma considerável capacidade de amortecimento dos fios, principalmente durante a transformação de fase e uma influência direta da amplitude de deformação imposta, nos valores de força e no tempo de vida dos fios, revelando que a fadiga situa-se numa faixa entre 103 a 105 ciclos, caracterizando uma fadiga de baixo ciclo.
In most technological applications, Shape Memory Alloy (SMA) actuators are subjected to the most diverse types of mechanical loads, which makes it essential to study the fatigue life of these types of materials. Therefore, the present work has the objective of analyzing the dynamic behavior and thermomechanical fatigue of SMA Ni-Ti-Cu wires, submitted to dynamic tests in single cantilever mode using a Dynamic Mechanical Analysis (DMA). Thus, analyzes were carried out to determine the damping capacity of the wires, besides the structural fatigue in the martensitic and austenitic states. The fatigue life of the wires was evaluated by means of the number of cycles until the rupture as a function of the strain amplitudes applied during the mechanical cycling process. The results demonstrated a considerable damping capacity of the wires, especially during phase transformation and a direct influence of the imposed strain amplitude, on the values of force and the life time of the wires, revealing that the fatigue is in the range of 103 To 105 cycles, characterizing a low cycle fatigue.
29
Zhou, Jian. "Novel Approaches to Cell Isolation in Simple Inertial Microfluidic Devices." University of Cincinnati / OhioLINK, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1337716948.
Full text
30
Shinto, Hiroyui. "Interfacial Microstructures and Interaction Forces between Colloidal Particles in Simple and complex Fluids-Molecular Dynamics Simulation-." Kyoto University, 1999. http://hdl.handle.net/2433/77943.
Full text
31
Mezdari, Ferid. "Fragmentation d' agrégats de carbone (multi) chargés formés par ionisation et excitation en collision de haute vitesse." Paris 6, 2005. https://tel.archives-ouvertes.fr/tel-00010075.
Full text
32
Charkaoui, Nasser. "Discrimination de classes à occurences simultanées par des approches de reconnaissance des formes : application à la détection et à la localisation de défaillances sur les véhicules en après-vente." Compiègne, 2005. http://www.theses.fr/2005COMP1589.
Full textAbstract:
Ce mémoire introduit deux nouvelles méthodes de diagnostic fondées sur une approche reconnaissance des formes afin de faciliter la détection et la localisation de défaillances sur les véhicules en après-vente. La formalisation du problème nous a amenée à considérer le cas de discrimination de classes à occurrences simultanées et des données symboliques. La première méthode est fondée sur une technique de sélection des variables par classe et sur l'utilisation d'un indice de dissimilarité, alors que la deuxième méthode est fondée sur les arbres de décision implantés dans une architecture un contre-tous. Ces méthodes ne nécessitent pas une transformation du problème considéré en un problème classique à classes exclusives et seules les observations appartenant à des classes simples sont utilisées pour la construction des règles de décision. Les deux méthodes ont été appliquées à la problématique détection et localisation de défaillances en présentant des résultats obtenus sur des données réelles.
33
Camargo, Eliene Nogueira de. "Modificação da superfície da liga Ni-Ti com efeito de memória de forma por implantação iônica por imersão em plasma de nitrogênio." Instituto Tecnológico de Aeronáutica, 2010. http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1060.
Full textAbstract:
As ligas Ti-Ni com efeito de memória de forma possuem aplicações em diversas áreas por apresentarem alta ductilidade e boa resistência à fadiga e a corrosão. É um material promissor na área biomédica devido às propriedades de efeito de memória de forma e superelasticidade. Uma possibilidade para melhorar as propriedades tribológicas e a biocompatibilidade desse material é modificação superficial através do processo de implantação iônica por imersão em plasma de nitrogênio (IIIP-N). Os materiais utilizados neste trabalho são as ligas Ti-49,93 at.% Ni, denominado VIM 47, e Ti-49,42 at.% Ni, denominado VIM 40. O processo IIIP-N foi realizado em baixa e alta temperatura. Para o material VIM 47, foram realizadas implantação em duas condições: no material fundido e em amostras solubilizadas a 900C durante 30 minutos. A implantação foi realizada em temperaturas menores que 250C e 320C. Para o material VIM 40, trabalhou-se apenas com amostras forjadas, sendo realizada IIIP-N em temperaturas menor que 250C, 290C e 560C. A técnica de espectroscopia Auger confirma a presença de nitreto de titânio nas superfícies das amostras, apresentando como melhor resultado na liga VIM 47 a amostra implantada a 320C com espessura próxima a 400 nm, duas vezes superior à camada da amostra fundida implantada na mesma condição experimental. A liga VIM 40, apresenta como melhor resultado a camada com espessura de 150 nm medida por GDOS ("Glow Discharge Optical Spectroscopy") na amostra implantada a 560C, três vezes superior à amostra implantada na temperatura menor que 250C. Nas análises de desgaste pino-sobre-disco, o coeficiente de atrito diminui significativamente através do processo IIIP-N. O melhor resultado obtido foi para amostra do material VIM 40, implantada a 560C, com coeficiente de atrito em torno de 0,1, resultado oito vezes menor comparado com a amostra de referência.
34
HARDY, LAURENT. "Conception et realisation d'une matrice de capteurs plats a courant de foucault en vue de la detection et de la reconnaissance de pieces metalliques de formes simples." Reims, 1989. http://www.theses.fr/1989REIMS009.
Full textAbstract:
Description de la realisation et de l'experimentation d'un capteur matriciel constitue de 88 capteurs plats a courants de foucault. Il est destine a l'acquisition d'image basseresolution de pieces metalliques planes de forme simple
35
Camussi-Ni, Marie-Armelle. "Analyse formelle et conceptuelle des formes verbales du français contemporain : A la croisée du passé simple et de l'imparfait, du futur et du conditionnel, les concepts "+/-potentiel" et "+/-défini"." Phd thesis, Université Rennes 2, 2006. http://tel.archives-ouvertes.fr/tel-00179141.
Full textAbstract:
L'analyse formelle des variantes fléchies du verbe à l'indicatif aboutit à la mise en évidence de la combinaison de deux morphèmes [Ø/(±R)] et [Ø/ai/a]. C'est ainsi que le conditionnel et le futur se différencient des autres temps de l'indicatif par la présence du (+R)- dont on peut postuler qu'il est commun également à l'infinitif- mais se distinguent l'un de l'autre par l'opposition ai/a, opposition qui différencie également l'imparfait du passé simple en se combinant au (–R). Ce constat éclaire de façon nouvelle la relation qui se construit entre les différents « temps » du mode indicatif. En effet, la prise en compte d'une opposition supplémentaire conduit à réinterroger la prédominance de la temporalité dans les analyses des « temps » de l'indicatif au profit d'une déconstruction de la combinaison des valeurs. Cette analyse permet alors de rendre compte de la diversité des effets de sens tout en évitant l'atomisation des explications temporelles, modales, aspectuelles au gré des occurrences.
La première partie de la thèse s'articule autour de la relation entre cette analyse morphologique et les différentes analyses formelles du futur et du conditionnel qui ont pu être menées auparavant.
Dans un second temps, se nourrissant de la confrontation avec les analyses conceptuelles existantes de l'infinitif, du passé simple, de l'imparfait, du futur et du conditionnel, elle explore le versant sémantique de l'hypothèse de l'existence d'un morphème ±R qui se combine avec un autre morphème a/ai. Hypothèse qui oblige, d'une part, à caractériser la valeur sémantique du morphème dénoté par ±R et c'est le concept ±potentiel qui lui sera associé, d'autre part, à redéfinir l'opposition imparfait/passé simple puisque c'est cette même opposition qui se retrouve dans le couple futur/conditionnel. C'est le trait ± défini qui sera proposé.
La prise en compte de la combinaison de ces deux traits sémantiques permet de déjouer la complexité d'énoncés dont la richesse n'a d'égal que la variété.
36
VIEIRA, Gregório Sandro. "Análise experimental de vigas de seção I compostas de perfis formados a frio com emendas soldadas, submetidas à flexão simples." Universidade Federal de Goiás, 2010. http://repositorio.bc.ufg.br/tede/handle/tde/648.
Full textAbstract:
Made available in DSpace on 2014-07-29T15:03:30Z (GMT). No. of bitstreams: 1
Gregorio Sandro Vieira.pdf: 2051926 bytes, checksum: 3f1641739e31761ce674bd4e06e87c0d (MD5)
Previous issue date: 2010-03-19This paper presents an experimental study done in bi-metal beams supported from 3000 mm in length, composed of thin-walled, resulting in a section of the "I". The beams were formed from the welding of the souls of two metal profiles of type U. The variables were the type of profile used, the quantity and positioning of the welded seams. The beams were divided into two groups where the first group used profiles of the "U" and the second group used simple profiles such as "U" stiff. Each group was composed of three beams so that a beam does not receive any amendment, another amendment received a girder high up in the middle of the span, and the third top beam was amended so that the position would result in an amendment pierced. The applied load was set so as to leave the central part of the beams, which served as a region of the present study, working in pure bending. Test results for beams without amendment were compared with the theoretical results and served as a parameter to compare the behavior of these beams, with beams that were amended. Also a comparison was made between the bearing capacity of the two groups of beams. The experiments showed that, by making the proper control of welding there is no problem in making welded seams in the rafters. We also observed that the simple addition of stiffening beams tables promotes a significant increase in the bearing capacity. There was no correlation between failure modes provided theoretically and observed experimentally, thus, further studies are needed to properly analyze the theoretical results with experimental results.
Este trabalho apresenta um estudo experimental feito em vigas metálicas bi-apoiadas de 3000 mm de comprimento, compostas por perfis formados a frio, resultando em uma seção do tipo I . As vigas foram formadas a partir da soldagem das almas de dois perfis metálicos do tipo U. As variáveis estudadas foram o tipo de perfil utilizado, a quantidade e o posicionamento das emendas soldadas. As vigas foram dividas em dois grupos onde, o primeiro grupo utilizou perfis do tipo U simples e o segundo grupo utilizou perfis do tipo U enrijecido. Cada grupo foi composto por três vigas de forma que uma viga não recebeu nenhum tipo de emenda, outra viga recebeu uma emenda de topo no meio do vão, e a terceira viga recebeu emendas de topo de forma que o posicionamento resultasse em uma emenda trespassada. O carregamento aplicado foi disposto de forma a deixar a parte central das vigas, que serviu como região de estudo deste trabalho, trabalhando em flexão pura. Os resultados dos ensaios para as vigas sem emenda foram comparados com os resultados teóricos e serviram de parâmetro para a comparação do comportamento destas vigas, com o das vigas que receberam emendas. Também foi feita uma comparação entre a capacidade portante dos dois grupos de vigas. Os experimentos constataram que, fazendo-se o controle adequado da soldagem não há problemas em se fazer emendas soldadas nas vigas. Também foi observado que o simples acréscimo de enrijecimento nas mesas das vigas promove um acréscimo significativo da capacidade portante. Não houve concordância entre os modos de ruptura previstos teoricamente e os observados experimentalmente, assim, são necessários mais estudos para se analisar adequadamente os resultados teóricos com os resultados experimentais.
37
Ammari, Kaïs. "Sur la stabilité des sous-algèbres paraboliques d'une algèbre de Lie simple." Thesis, Poitiers, 2014. http://www.theses.fr/2014POIT2256.
Full textAbstract:
Soit K un corps algébriquement clos de caractéristique nulle. Il est bien connu, d'après un résultat de Duflo, Khalgui et Torasso, qu'une algèbre de Lie algébrique quasi-réductive (définie sur K) est stable. La réciproque est fausse en général. Se pose la question de savoir, si pour certaines classes particulières d'algèbres de Lie non réductives, il y a équivalence entre ces deux notions. Plus généralement, les sous-algèbres biparaboliques forment une classe très intéressante (incluant la classe des sous-algèbres paraboliques et de Levi) d'algèbres de Lie qui ne sont pas toutes réductives. Panyushev conjecture que si une sous-algèbre biparabolique est stable, alors son stabilisateur générique est un tore. Cette conjecture peut être reformulée ainsi : une sous-algèbre de Lie biparabolique est stable si et seulement si elle est quasi-réductive. Compte tenu des résultats obtenus par ce dernier pour le cas des sous-algèbres paraboliques d'une algèbre de Lie simple de type A et C, on donne dans cette thèse une réponse positive à cette conjecture pour la classe des sous-algèbres paraboliques d'une algèbre de Lie simple. Au passage, nous montrons également qu'une sous-algèbre de Lie de gl(n, K) qui stabilise une forme bilinéaire alternée de rang maximal et un drapeau en position générique est stable si et seulement si elle est quasi-réductiveLet K be an algebraically closed field of characteristic 0. It is well known by work of Duflo, Khalgui and Torasso that any quasi-reductive algebraic Lie algebra (defined over K) is stable. However, there are stable Lie algebras which are not quasi-reductive. This raises the question, if for some particular class of non-reductive Lie algebras, there is equivalence between stability and quasi-reductivity. More generally, biparabolic subalgebras form a very interesting class (including the class of parabolic subalgebras and of Levi subalgebras) of non-reductive Lie algebras. It was conjectured by Panyushev that these two notions are equivalent for biparabolic subalgebras of a reductive Lie algebra. In this thesis, we give by considering the results of Panyushev for parabolic subalgerbras of simple Lie algebra of type A and C a positive answer to this conjecture in the case of parabolic subalgebras. In passing, we prove that these two notions are equivalent for certain subalgebras of gl(n,K) which stabilize an alternating bilinear form of maximal rank and a flag in generic position
38
Gannon, Mark Andrew. "Passeios aleatórios em redes finitas e infinitas de filas." Universidade de São Paulo, 2017. http://www.teses.usp.br/teses/disponiveis/45/45133/tde-16102017-154842/.
Full textAbstract:
Um conjunto de modelos compostos de redes de filas em grades finitas servindo como ambientes aleatorios para um ou mais passeios aleatorios, que por sua vez podem afetar o comportamento das filas, e desenvolvido. Duas formas de interacao entre os passeios aleatorios sao consideradas. Para cada modelo, e provado que o processo Markoviano correspondente e recorrente positivo e reversivel. As equacoes de balanceamento detalhado sao analisadas para obter a forma funcional da medida invariante de cada modelo. Em todos os modelos analisados neste trabalho, a medida invariante em uma grade finita tem forma produto. Modelos de redes de filas como ambientes para multiplos passeios aleatorios sao estendidos a grades infinitas. Para cada modelo estendido, sao especificadas as condicoes para a existencia do processo estocastico na grade infinita. Alem disso, e provado que existe uma unica medida invariante na rede infinita cuja projecao em uma subgrade finita e dada pela medida correspondente de uma rede finita. Finalmente, e provado que essa medida invariante na rede infinita e reversivel.A set of models composed of queueing networks serving as random environments for one or more random walks, which themselves can affect the behavior of the queues, is developed. Two forms of interaction between the random walkers are considered. For each model, it is proved that the corresponding Markov process is positive recurrent and reversible. The detailed balance equa- tions are analyzed to obtain the functional form of the invariant measure of each model. In all the models analyzed in the present work, the invariant measure on a finite lattice has product form. Models of queueing networks as environments for multiple random walks are extended to infinite lattices. For each model extended, the conditions for the existence of the stochastic process on the infinite lattice are specified. In addition, it is proved that there exists a unique invariant measure on the infinite network whose projection on a finite sublattice is given by the corresponding finite- network measure. Finally, it is proved that that invariant measure on the infinite lattice is reversible.
39
Curry, Emelda. ""It's This Simple, You Really Have to Want to Be Together": A Qualitative Study of African American Military Couples." Scholar Commons, 2013. http://scholarcommons.usf.edu/etd/4462.
Full textAbstract:
Recent studies have reported that African American couples in the military are less likely to divorce than their civilian counterparts. This dissertation was designed to document the experiences of African American military couples in order to understand the challenges they face while serving in the armed forces and the strategies they have used to maintain their marriages. A grounded theory approach was utilized to produce 12 main themes that categorize experiences of both the individual and the couple within the context of their respective military branch. Photo-elicitation was incorporated into semi-structured interviews with 10 couples to identify what they consider to be the important aspects of their marriage, the ways in which their relationships were impacted by the demands of duty, and their perspectives on the role that race plays in an institution that has been characterized as relatively race-neutral.
40
Camussi-Ni, Marie-Armelle Le Bot Marie-Claude. "Analyse formelle et conceptuelle des formes verbales du français contemporain à la croisée du passé simple et de l'imparfait, du futur et du conditionnel, les concepts "± potentiel" et "± défini" /." Rennes : Université Rennes 2, 2007. http://tel.archives-ouvertes.fr/tel-00179141/fr.
Full text
41
Camussi-Ni, Marie-Armelle. "Analyse formelle et conceptuelle des formes verbales du français contemporain : à la croisée du passé simple et de l’imparfait, du futur et du conditionnel, les concepts «± potentiel » et « ± défini »." Rennes 2, 2006. http://tel.archives-ouvertes.fr/tel-00179141/fr/.
Full textAbstract:
Analyse formelle et conceptuelle du système verbal du français contemporain. A la croisée du passé simple et de l’imparfait, du futur et du conditionnel, les concepts de « potentiel » et de « défini ». L'analyse formelle des variantes fléchies du verbe à l’indicatif aboutit à la mise en évidence de la combinaison de deux morphèmes [Ø/(±R)] et [Ø/ai/a]. C’est ainsi que le conditionnel et le futur se différencient des autres temps de l’indicatif par la présence du (+R)- dont on peut postuler qu’il est commun également à l’infinitif- mais se distinguent l’un de l’autre par l’opposition ai/a, opposition qui différencie également l’imparfait du passé simple en se combinant au (–R). Ce constat éclaire de façon nouvelle la relation qui se construit entre les différents « temps » du mode indicatif. En effet, la prise en compte d’une opposition supplémentaire conduit à réinterroger la prédominance de la temporalité dans les analyses des « temps » de l’indicatif au profit d’une déconstruction de la combinaison des valeurs. Cette analyse permet alors de rendre compte de la diversité des effets de sens tout en évitant l’atomisation des explications temporelles, modales, aspectuelles au gré des occurrences. La première partie de la thèse s’articule autour de la relation entre cette analyse morphologique et les différentes analyses formelles du futur et du conditionnel qui ont pu être menées auparavant. Dans un second temps, se nourrissant de la confrontation avec les analyses conceptuelles existantes de l’infinitif, du passé simple, de l’imparfait, du futur et du conditionnel, elle explore le versant sémantique de l’hypothèse de l’existence d’un morphème ±R qui se combine avec un autre morphème a/ai. Hypothèse qui oblige, d’une part, à caractériser la valeur sémantique du morphème dénoté par ±R et c’est le concept ±potentiel qui lui sera associé, d’autre part, à redéfinir l’opposition imparfait/passé simple puisque c’est cette même opposition qui se retrouve dans le couple futur/conditionnel. C’est le trait ± défini qui sera proposé. La prise en compte de la combinaison de ces deux traits sémantiques permet de déjouer la complexité d’énoncés dont la richesse n’a d’égal que la variétéA formal analysis of the verbal endings in the indicative mode draws special attention to the combination of two morphemes, [Ø/(±R)] and [Ø/(ai/a)]. Thus, the conditional and future tenses differ from the other indicative tenses in that they share the +R morpheme – and it can be postulated that it is also shared by the infinitive. Furthermore, they differ from one another in the opposition between ai and a, which also differentiates the imperfect tense from the past historic when it is combined with the morpheme –R. This statement sheds light on the relationship between the various indicative “tenses”. Indeed, taking into account a further opposition allows the predominance of temporality in analyses of “tenses” in the indicative to be questioned while focusing on the deconstruction of the value combinations. Thus, the analysis allows the diversity of meanings to be accounted for and at the same time avoids a too large panel of temporal, modal or aspectual explanations according to the context. The first part of the doctoral thesis turns on the relationship between the morphological analysis and the various formal studies that have been undertaken on the future and the conditional tenses. In a second part, in a confrontation with the already existing conceptual studies on the infinitive, the past historic, the imperfect tense, the future and the conditional, we will explore the semantic side of the hypothesis that states that there is a combination of a ±R morpheme with an ai/a morpheme. Such a hypothesis compels us to characterize the semantic value of the ±R morpheme on the one hand – the ± potential concept will be associated with it – and on the other hand, to redefine the opposition between the imperfect tense and the past historic, since it is this very opposition that can be found in the future/conditional pair – the ± definite concept will then be suggested. Taking into account the combination of the two semantic features enables us to undermine complexity in utterances whose richness is only equalled by their diversity
42
Delingette, Hervé. "Modélisation, déformation et reconnaissance d'objets tridimensionnels à l'aide de maillages simplexes." Phd thesis, Ecole Centrale Paris, 1994. http://tel.archives-ouvertes.fr/tel-00632191.
Full textAbstract:
Dans cette thèse, une représentation originale d'objets tridimensionnels est introduite: les maillages simplexes. un k-maillage simplexe est un maillage ou chaque sommet est connecte à k + 1 sommets voisins. Ainsi un contour est représenté par un 1-maillage simplexe et une surface tridimensionnelle par un 2-maillage simplexe. La structure d'un maillage simplexe est duale de celle des triangulations. Plusieurs propriétés topologiques et géométriques originales rendent l'utilisation des maillages simplexes particulièrement bien adaptée à la représentation de surfaces déformables. Nous introduisons la notion d'angle simplexe, de courbure moyenne discrète et de paramètre métrique à chaque sommet du maillage. La propriété géométrique essentielle des maillages simplexes est la possibilité de représenter localement la forme d'un k-maillage en un sommet à l'aide de (k + 1) quantités adimensionnées. Les maillages simplexes déformables sont alors utilisés dans un système de modélisation d'objets tridimensionnels. En présence d'images volumiques ou de profondeur, un maillage simplexe est déformé sous l'action de forces régularisantes et de forces externes. Les maillages simplexes sont adaptatifs à plusieurs titres. D'une part, les sommets se concentrent aux endroits de fortes courbure et d'autre part, le maillage peut être raffiné ou décimé en fonction de la proximité des sommets aux données. Enfin, l'utilisation de maillages simplexes sphériques quasi-réguliers permet la reconnaissance de forme d'objets tridimensionnels, même en présence d'occultations. La forme d'un objet est alors représentée par l'ensemble des valeurs des angles simplexes du maillage simplexe déformé, projeté sur le maillage sphérique originel. La forme de deux objets est comparée par l'intermédiaire de leur image simplexe (simplex angle image)
43
Quirant, Jérôme. "Systèmes de tenségrité et autocontrainte : qualification, sensibilité et incidence sur le comportement." Montpellier 2, 2000. https://tel.archives-ouvertes.fr/tel-00174699.
Full textAbstract:
Les systemes de tensegrite sont des systemes innovants dans le domaine du genie civil. Leur esthetique est une source d'inspiration nouvelle pour les architectes. Ce sont des systemes reticules, spatiaux et en etat d'autocontrainte. La premiere partie du manuscrit consiste en une presentation des differentes phases de leur conception. La recherche de forme, notamment, definit les geometries particulieres permettant l'instauration d'un etat de sollicitation interne qui va rigidifier le systeme. La deuxieme partie est l'occasion d'exposer des methodes qui, pour une geometrie autocontrainte donnee, permettent de rechercher tous les etats d'autocontrainte qui respectent la rigidite unilaterale des cables. Ces etats conformes sont utilises pour mettre en etat d'autocontrainte l'ensemble de la structure. Leur influence sur le comportement est evaluee pour realiser un dimensionnement suivant les eurocodes. La troisieme partie est consacree a une etude de la sensibilite de ces systemes aux imprecisions de fabrication des elements. Elle est un prealable a l'etude plus precise de fiabilite qui amenera a completer les eurocodes pour des systemes innovants qui n'ont pas ete pris en compte dans les reglements. Enfin, une etude de la mise en autocontrainte des systemes est proposee. Elle permet de montrer que l'assemblage des systemes de tensegrite peut se faire dans une geometrie non-autocontrainte, avec seulement quelques cables actifs assurant la mise en tension.
44
Mlaga, Kodjovi Dodji. "Real-time genomics to decipher atypical bacteria in clinical microbiology." Thesis, Aix-Marseille, 2017. http://www.theses.fr/2017AIXM0594/document.
Full textAbstract:
L'objectif de notre thèse est d'appliquer la génomique en temps réel pour déchiffrer les caractéristiques génomiques bactériennes et les événements de recombinaison du génome des bactéries atypiques ainsi que leur impact sur les maladies infectieuses. Au cours de ma thèse, nous avons effectué une revue sur les outils bioinformatiques les plus courants utilisés en microbiologie clinique et mis en évidence l’impact de la recombinaison sur le comportement des bacteries. Le deuxième projet de notre thèse est de déchiffrer une epidémis de Staphylococcus saprophyticus causant des infections urinaires en utilisant la technologie MALDI-TOF MS et une analyse comparative du génome de S. saprophyticus pour comprendre leur évolution génomique. Nous avons démontré qu'il existe un groupe de S. saprophyticus géographiquement restreint à Marseille comparé au souches de Nice. De plus, nous avons montré que S. saprophyticus qui était initialement considéré comme une bactérie saprophyte a evolué pour devenir une bactérie pathogène à travers des recombinaisons massives et des « single nucleotide polymorphism », résultant d'une perte significative de gènes. Le troisième projet de notre thèse est une analyse comparative des génomes d'Enterococcus faecalis et d'E.faecium isolé chez l'homme, les animaux et l'environnement pour déchiffrer la différence de propagation et l'acquisition de déterminants antimicrobiens. Nous avons démontré qu'il existe une association directe entre l'absence de système CRISPR, la présence du gène ardA et l'acquisition de gènes de résistance à la vancomycine, qui différencient E. faecalis de E. faecium. Enfin nous avons decrit un nouveau genre bacterien NissabacterThe objective of our thesis is to applied the Real-time genomic approaches to decipher bacterial genomic features and genome recombination events of atypical bacteria and their impact on infectious diseases. During my thesis, we have reviewed the most common bioinformatics tools applicable in clinical microbiology and highlight how bacterial genome recombination have impacted their behaviour. The second project of our PhD is to decipher a community outbreak of Staphylococcus saprophyticus involved in (UTI) using MALDI-TOF MS technology and a comparative genome analysis of clinical and non-clinical S. saprophyticus to understand their genomic evolution. We demonstrated that there is a geographically restricted cluster of S. saprophyticus circulating in Marseille community as compared to Nice. Moreover, we showed that S. saprophyticus which was initially considered as a saprophytic bacterium has drifted to becoming a pathogenic bacterium through massive genome recombination and single nucleotide polymorphism events, resulting from a significant loss of genes. The third project of our work is a comparative genome evolutionary analysis of Enterococcus faecalis and Enterococcus faecium isolated from human, animals, and environment to decipher the difference in spread and the acquisition of antimicrobial determinants. We demonstrated that there is a direct association between the absence of CRISPR system, the presence of gene ardA and the acquisition of vancomycin resistance genes, which differentiate E. faecalis from E. faecium. Our final project was focused on the discovering of a new genus Nissabacter and its description
45
Ao, Wai Kei. "Electromagnetic damping for control of vibration in civil structures." Thesis, University of Exeter, 2017. http://hdl.handle.net/10871/31145.
Full textAbstract:
This thesis investigates an alternative solution to deal with the civil structure vibration. Non-contact electromagnetic or Eddy current damping is selected as a score of vibration suppression. Electromagnetic damping relies on the interaction between a permanent magnet and conductor. An electromagnetic damper (EMD) is applied both to a laboratory footbridge structure and 6-storey model-scale aluminium moment resisting frame (AMRF). In this first study the EMD is connected in series with an electronic shunt circuit to construct an electromagnetic shunt damper (EMSD). A robust optimisation method is applied to develop the corresponding optimal design formula of the EMSD. The principle of an EMSD is to convert mechanical energy to electrical energy. Hence, the induced electromotive force (emf) is generated by electromagnetic induction. This emf induces an amount of shunt damping, which is fedback to the structure to achieve vibration suppression. It was found that when the impedance was applied, the shunt damping feature was of a similar nature to viscous dampers. In contrast, when an RLC (resistance-inductance-capacitance) circuit is connected, the shunt damping is analogous to a tuned mass damper. A second form of EMD is Eddy current damper (ECD), which relies on a geometrical arrangement of permanent magnets and conductors to produce damping forces. The vertical and horizontal orientation of the magnet, unidirectional and alternative pole projection and moving different direction of the conductor are investigated. A theoretical study involving the infinite boundary and finite boundary (the method of images current) is carried out to obtain an analytical calculation of the damping force. On the basis of this analysis, one type of ECD prototype was physically built. A performance test was carried out to determine the damping characteristics of the ECD, which agreed with the results of the numerical analysis. In addition, the ECD was applied to control the dynamics of the 6-storey AMRF. It was found that, the ECD can effectively increase system damping and have a satisfactory control effect.
46
Lefeuvre, Anais. "Sémantique des temps du français : une formalisation compositionnelle." Thesis, Bordeaux, 2014. http://www.theses.fr/2014BORD0065/document.
Full textAbstract:
Cette thèse s’inscrit dans le cadre du projet Région Aquitaine - INRIA : ITIPY. Ce projet vise à terme l’extraction automatique d’itinéraires à partir de récits de voyage du XIX ème et du début du XX ème siècle. Notre premier travail fut de caractériser le corpus comme échantillon du français, par une étude contrastive d’une part de données quantitatives et d’autre part de la structure des récits de voyage. Nous nous sommes ensuite consacrée à l’étude du temps, et plus particulièrement à l’analyse automatique de la sémantique des temps verbaux du français. Disposant d’un analyseur syntaxique et sémantique à large échelle du français, basé sur les grammaires catégorielles et la sémantique compositionnelle (λ-DRT), notre tâche a été de prendre en compte les temps des verbes pour reconstituer la temporalité des événements et des états, notions regroupées sous le termes d’éventualité. Cette thèse se concentre sur la construction d’un lexique sémantique traitant des temps verbaux du français. Nous proposons une extension et une adaptation d’un système d’opérateurs compositionnels conçu pour les temps du verbe anglais, aux temps et à l’aspect du verbe français du XIX ème siècle à nos jours. Cette formalisation est de facto opérationnelle, car elle est définie en terme d’opérateurs du λ-calcul dont la composition et la réduction, déjà programmées, calculent automatiquement les représentations sémantiques souhaitées, des formules multisortes de la logique d’ordre supérieur. Le passage de l’énoncé comportant une éventualité seule au discours, dont le maillage référentiel est complexe, est discuté et nous concluons par les perspectives qu’ouvre nos travaux pour l’analyse du discoursThis work has been lead in the frame of the ITIPY project which goal was to automatically extract itineraries from travel novels from the XIX th century and from the beginning of the XX th. Our thesis work is close to the text understanding task in the information retrieval field and we aim at building a representation of meaning of linguistic utterances, leaning on the compositionnality principle. More precisely, the itinerary extraction supposes to temporally represent displacement and localization events or states (that we actually call eventualities) of a traveler as far as we understand it through discourse. Working on an automatic parser for syntax (in categorial grammars) and semantics (in λ-DRT), we focused on the building of an semantic lexicon for tense in French. We actually characterized our corpora as a sample of French language, by the means of a quantitative and qualitative analysis as well as a study of the internal structure of this genre. The main contribution of this work deals with tense and aspect semantic processing of the event expressed by tensed verbs, and with its modelling. In this respect, we propose an adaptation and an extension for French from XIX th century to nowadays of a lexicon originally produced to deal with English verbs. This formalisation is operational, for it is defined in λ-calculus which composition and réduction, already implemented, calculate automatically semantics représentations, high order logic formulas. Transition from a single event uterrance to a whole discourse which contains a complex referential network is discussed and allows us to define the limits of this hereby work
47
Tasnimi, A. A. "Prediction of forces within prestressed sections : The behavior of simply supported prestressed concrete beams with boned and unbonded tendons predicted by mathematical model and investigated by testing to destruction using two point load." Thesis, University of Bradford, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.384298.
Full text
48
Decultot, Nicolas. "Formage incrémental de tôle d'aluminium : étude du procédé à l'aide de la mesure de champs et identification de modèles de comportement." Phd thesis, Université Paul Sabatier - Toulouse III, 2009. http://tel.archives-ouvertes.fr/tel-00593375.
Full textAbstract:
Ce travail est consacré à l'étude du procédé de formage incrémental simple point (Single Point Incremental Forming, SPIF). Ce nouveau procédé de mise en forme de tôles à froid est surtout utilisé pour le prototypage et la réalisation de petites séries. Son principe est basé sur le repoussage local de la matière par un poinçon de petite taille devant les dimensions de la tôle et contrôlé en déplacement. Dans un premier temps, un pilote de SPIF équipé d'un capteur de forces tri-axes et d'un banc multi-caméras permettant l'utilisation de la mesure de champs par stéréo-corrélation a été développé au laboratoire. Au moyen de celui-ci, une étude paramétrique du procédé SPIF concernant entre autre la formabilité et l'emboutissabilité de tôles d'alliage d'aluminium a été tout d'abord réalisée. Ensuite, plusieurs méthodes d'identification ont été mises en œuvre afin d'identifier les paramètres de critères de plasticité (Hill48, Hill90 et Barlat) et de lois d'écrouissage isotrope permettant de modéliser le comportement élastoplastique anisotrope des tôles étudiées. La méthode d'identification à partir de mesures de champs par recalage de modèle Eléments-Finis a notamment été développée. Enfin, à partir des modèles identifiés, une simulation éléments finis d'une trajectoire simple en formage incrémental a été réalisée, ces résultats sont comparés avec des résultats expérimentaux.
49
Líznarová, Gabriela. "Římské lázně a saunový svět." Master's thesis, Vysoké učení technické v Brně. Fakulta stavební, 2013. http://www.nusl.cz/ntk/nusl-225825.
Full textAbstract:
The theme of dissertation is to create the architectural study of a Roman bath and sauna World. Spa are part of a complex aqvapark. There is a defined a part of the aqvapark. Dedicated to recreation and clearing the body. I propose a new open space, allowing penetration of light and air. THe area comprising the impression of kontinuity and at the same time the idea of intimacy. Using simple geometric forms allows capturing the important principles of operation.
50
Scarlato, Michele. "Sicurezza di rete, analisi del traffico e monitoraggio." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2012. http://amslaurea.unibo.it/3223/.
Full textAbstract:
Il lavoro è stato suddiviso in tre macro-aree.
Una prima riguardante un'analisi teorica di come funzionano le intrusioni, di quali software vengono utilizzati per compierle, e di come proteggersi (usando i dispositivi che in termine generico si possono riconoscere come i firewall).
Una seconda macro-area che analizza un'intrusione avvenuta dall'esterno verso dei server sensibili di una rete LAN.
Questa analisi viene condotta sui file catturati dalle due interfacce di rete configurate in modalità promiscua su una sonda presente nella LAN.
Le interfacce sono due per potersi interfacciare a due segmenti di LAN aventi due maschere
di sotto-rete differenti. L'attacco viene analizzato mediante vari software.
Si può infatti definire una terza parte del lavoro, la parte dove vengono analizzati i file
catturati dalle due interfacce con i software che prima si occupano di analizzare i dati di
contenuto completo, come Wireshark, poi dei software che si occupano di analizzare i dati di
sessione che sono stati trattati con Argus, e infine i dati di tipo statistico che sono stati trattati
con Ntop.
Il penultimo capitolo, quello prima delle conclusioni, invece tratta l'installazione di Nagios, e
la sua configurazione per il monitoraggio attraverso plugin dello spazio di disco rimanente su
una macchina agent remota, e sui servizi MySql e DNS. Ovviamente Nagios può essere
configurato per monitorare ogni tipo di servizio offerto sulla rete.