Foram estudados os efeitos da introdução de etapas de tratamento criogênico e do alívio de tensões no ciclo térmico do aço ferramenta para trabalho a frio AISI D2. Variaram-se as temperaturas de tratamento criogênico, sendo elas principalmente: criogênica (-196°C) e subzero (-80°C). Foram variados os tempos de permanência às temperaturas criogênicas: 2, 3, 10, 24 e 30 e 36 horas. Verificou-se o efeito da adição da etapa (130°C/90 minutos) de alívio de tensões previamente ao tratamento criogênico. As amostras com diferentes ciclos térmicos foram submetidas à caracterização metalográfica, difração de raios-X e ensaios de potencial termo-elétrico. Na caracterização metalográfica as amostras foram analisadas por MEV (microscopia eletrônica de varredura) e MEV-FEG (MEV com canhão com emissão por efeito de campo). Os carbonetos secundários (micrométricos) não apresentaram variação. Os carbonetos secundários de revenido (nanométricos) apresentaram-se mais finamente dispersos na matriz nas amostras com tratamento criogênico e sem alívio de tensões. A difração de Raios-X foi realizada no Laboratório Nacional de Luz Síncroton, a luz síncroton foi essencial para detectar as variações pequenas e em escala nanométrica que ocorreram devido às inserções dos tratamentos criogênicos e de alívio de tensões. Foram verificados: i) menor fração volumétrica de austenita retida nas amostras tratadas em temperatura subzero quando comparadas às amostras tratadas em temperaturas criogênicas, indicando um comportamento cinético em C da curva de transformação; ii) diminuição da relação c/a dos parâmetros do reticulado cristalino da martensita e aumento do parâmetro a da austenita (devido à partição de carbono da martensita supersaturada em carbono para a austenita) causando estabilização da austenita com a inserção da etapa de alívio de tensões; iii) aumento no parâmetro a da austenita retida residual após revenimentos, com consequente aumento no teor de carbono da mesma, devido à partição de carbono; iv) maior fração volumétrica de carbonetos de revenido (M7C3 e M2C) nas amostras com tratamento criogênico logo após a têmpera, seguido da amostra com tratamento criogênico + alívio de tensões, seguidos da amostra somente temperada e revenida e por fim da amostra com alívio de tensões e sem tratamento criogênico. Os ensaios de potencial termo-elétrico (realizados no INSA-Lyon) foram utilizados para verificar o comportamento das amostras nas temperaturas de revenimento. Foram realizados tratamentos isotérmicos (130°C, 210°C, 350°C, 450°C e 520°C) cumulativos com tempos de 1 minuto até 130 horas. Verificou-se que: i) nos primeiros estágios do revenimento a cinética é favorecida pelo tratamento criogênico (precipitação de carbonetos \'eta\' ou \'epsilon\'); ii) o alívio de tensões atrasa os dois primeiros estágios do revenimento; iii) há maior crescimento dos carbonetos de liga nas amostras sem tratamento criogênico. O refinamento dos carbonetos secundários de revenimento foi atribuído a uma sequência de precipitações de carbonetos de revenido in situ: \'eta\' -> \'teta\' -> M7C3 e M2C. / The effects of cryogenic treatments and of stress relief treatment introduced in the thermal cycle of the cold work tool steel AISI D2 were studied. The cryogenic temperatures were varied: cryogenic (-196°C) and subzero (-80°C). It was also varied the holding times at cryogenic temperatures: 2, 3, 10, 24, 30 and 36 hours. The effect of including a stress relief heat treatment previously to the cryogenic treatment was also verified. Samples submitted to different thermal cycles were studied using metallographic characterization, X-ray diffraction and electric power measurements. The metallographic characterization used SEM (scanning electron microscopy) and SEM-FEG (SEM with field emission gun), besides OM (optical microscopy). It was not found any variation in the secondary carbides (micrometrics) precipitation. The temper secondary carbides (nanometrics) showed to be more finely dispersed in the matrix of the samples with cryogenic treatment and without stress relief. The X-ray diffractions were carried out at the Brazilian Synchrotron Light Laboratory; synchrotron light was essential to detect small and nano sized variations occurring due to the addition of the cryogenics and stress relief treatments. It was verified: i) lower austenite volumetric fraction in the samples with subzero treatment if compared to the cryogenic treated samples, an indication of a C curve kinetic behavior of the transformation; ii) the stress relief treatment produced an decrease in the c/a relationship of the martensite lattice parameters and an increase in the austenite a parameter (explained by carbon atoms partition from the supersatured martensite to the retained austenite); iii) after double tempering occurred an increase in the a parameter of the remaining austenite lattice, indicating an increase in the carbon content of the residual retained austenite, due to carbon partition; iv) higher volumetric fraction of temper carbides (M7C3 and M2C) if the samples were cryogenic treated just after quench (to room temperature), followed by the sample with cryogenic treatment + stress relief, after the sample just quenched and tempered and finally by the samples with stress relief without cryogenic treatment. Thermo-electric power measurements (carried out at INSA-Lyon) characterized the samples behavior after tempering at different temperatures. Cumulative isothermal treatments (130°C, 210°C, 350°C, 450°C e 520°C) with increasing times (from 1 minute to 130 hours) were used. It was verified that: i) the kinetic is favoured by the cryogenic treatment in the first temper stage (\'eta\' or \'epsilon\' carbide precipitation); ii) the stress relief delayed the first and second temper stage; iii) the samples without cryogenic treatment showed to have a bigger growing for the alloys carbides in the last stage of temper. The refinement of the temper secondary carbides was attributed to an in situ carbide precipitation during tempering: \'eta\' -> \'teta\' -> M7C3 e M2C.

Usualmente a bataticultura no Brasil migra para novas áreas devido à alta ocorrência de doenças de solo, onde seu cultivo é realizado anualmente após a cultura do milho (Zea mays) com preparo de solo feito com grade aradora, implemento cujo uso frequente gera impedimentos físicos em subsuperfície. Atualmente, é limitado o esforço de pesquisa sobre sistemas sustentáveis baseados no baixo uso de insumos externos que minimizem impactos prejudiciais ao ambiente. Desse modo, o preparo profundo de solo em sucessão a poáceas, constitui uma alternativa viável a qual pode levar os produtores a manter altos níveis de produção e boa qualidade dos tubérculos, sem que seja necessária a mudança da área plantada. O presente estudo teve o objetivo de comparar dois sistemas de preparo de solo (preparo convencional e preparo profundo) para a cultura da batata (Solanum tuberosum L.) cv. Atlantic, em sucessão a poáceas, quanto aos atributos do solo, produtividade e dinâmica do crescimento da batateira. O experimento foi conduzido por um ano com inicio em setembro de 2011 em área do Departamento de Produção Vegetal, ESALQ/USP, situada na latitude 22°42\'09\'\' S e na longitude 47°38\'01\'\' W a 569 m de altitude. Foram estudadas quatro sucessões de poáceas com batata, sendo os tratamentos: T1: sucessão Panicum maximum cv. Tanzânia - batata, sob preparo profundo (Tanzânia PP), T2: sucessão Brachiaria brizantha cv. Marandu - batata, sob preparo profundo (Braquiária PP) e T3: sucessão milho (Zea mays cv. AG 6080) - batata, sob preparo profundo (Milho PP). Para efeito de comparação, foi utilizado como tratamento controle T4: a sucessão milho - batata em preparo convencional de solo (Milho PC), com uso de grade aradora a 0,20 m de profundidade antes do plantio. Para a análise estatística foi adotado o delineamento em blocos casualizados, com quatro tratamentos e seis repetições. As unidades experimentais foram constituídas por três linhas duplas de 10,0 m de comprimento. A linha dupla central teve 1,5 m de suas extremidades desconsideradas e os 7,0 m centrais, correspondente a 12,6 m² em área, definidos como unidade experimental útil ou unidade de observação. Foram avaliadas as características: produção de matéria seca da parte aérea das poáceas, resistência do solo à penetração, macroporosidade e densidade do solo, estande, número de hastes e sanidade da parte aérea da batateira, produtividade e danos aos tubérculos e dinâmica do crescimento. Os dados obtidos foram submetidos à análise de variância (ANOVA, p<=0,05). Posteriormente, as médias foram comparadas pelo teste de Tukey ao nível de 5% de probabilidade de erro, pelos programas estatísticos SAS e Sisvar. O preparo profundo de solo, em relação ao preparo convencional, independentemente da poácea utilizada em sucessão promoveu melhorias nos atributos físicos do solo, nos horizontes entre 0,20 e 0,60 m, propiciando redução da resistência à penetração, aumento da macroporosidade e diminuição da densidade, incrementou em 35,9% a produtividade da cv. Atlantic e proporcionou maior acúmulo de MS em todos os órgãos da planta. / Potato cropping in Brazil is marked by a constant need to migrate to new areas due to a high incidence of soil diseases, where the crop is annually planted after corn (Zea mays) and soil preparation is done by conventional tillage, using plow and harrow, a technique that when performed frequently can cause physical impediments in the soil\'s subsurface. There is limited research done on sustainable systems for potato production in Brazil, and these are characterized by lower use of chemical products, resulting in less detrimental impacts to the environment. Therefore, deep soil preparation for potato cropping succeeding grasses may be a viable alternative to producers attempting to reach and maintain high levels of production and quality of potato tubers without having to relocate to new cropping areas. The objective of the present study was to compare two types of soil preparation (i.e. conventional tillage and deep tillage) for potato crops (Solanum tuberosum) cv. Atlantic, succeeding the cultivation of a grass type, evaluating grass and soil characteristics, and productivity and growth dynamics of the potato crop. The experiment was conducted for one year starting in September 2011 in an area belonging to the Crop Science Department, ESALQ/USP , located at 22°42\'09\'\' South Latitude and 47°38\'01\'\' West Longitude at 569 m of altitude. It was studied the use of four grass types succeeded by potato cropping distributed in treatments: T1: Panicum maximum cv. Tanzania and deep tillage soil preparation (Tanzânia PP), T2: Brachiaria brizantha cv. Marandu and deep tillage soil preparation (Braquiária PP) and T3: corn \'AG 6080\', deep tillage soil preparation (Milho PP). A fourth treatment was used as control treatment, T4: corn \'AG 6080\', using conventional tillage soil preparation (Milho PC), preparing the soil at 0.20 m depth before planting the potato crop. For statistical analysis it was adopted a randomized block design with four treatments and six replications. Each experimental unit consisted of three double rows of 10.0 m in length. Plants located in the final 1.5 m ends of each row were discarded and the 7.0 m located in the center were used, which corresponded to 12.6 m² in total area. The grass characteristic evaluated was the dry matter (DM) production above ground level, the soil characteristics evaluated were: resistance to penetration, macroporosity, and density, and finally the potato characteristics studied were: bulk density, number and sanity of potato shoots, and tubers production and occurrence of damage to tubers and the growth dynamics of the potato crop. Data were subjected to analysis of variance (ANOVA p<=0.05). Tukey test was used to compare means adopting a 5% level to assess statistical significance using the softwares SAS and Sisvar. Deep soil tillage compared to conventional tillage promoted improvements in soil physical properties, for soil horizons between 0.20 and 0.60 m, providing lower resistance to penetration, increased macroporosity and lower soil density, regardless of the grass type, what resulted in increases of 35.9% in productivity of potato crop cv. Atlantic, with a greater DM accumulation in all plant organs evaluated.

Este trabalho propõe uma leitura dos aspectos estruturais de narração, construção de personagens e enredo a partir de uma perspectiva que os considera como dados essenciais para aquilo que Rancière (2004) chamou de política da literatura. Os textos escolhidos, A hora e a vez de Augusto Matraga, de Sagarana, e Buriti, de Corpo de baile, foram considerados dentro de uma tradição brasileira da fala sobre um outro cultural, presente desde os românticos até os modernos. Tentou-se compreender como as inovações estruturais principalmente a reformulação do discurso indireto livre podem ser lidas como mais ou menos democráticas, a partir de uma reflexão sobre a partilha do sensível (Rancière, 2005) e a letra muda (Rancière, 2004). / This dissertation proposes a study of the structural aspects of narration, character and plot through a perspective that considers them as essential for what Rancière (2004) called politics of literature. The texts chosen, A hora e a vez de Augusto Matraga, from Sagarana and Buriti, from Corpo de baile, were read within a Brazilian literary tradition of speaking about a cultural other, present from romantic to modern writings. The research tried to understand how structural innovations specially the rebuilding of the free indirect speech (discurso indireto livre) may be read as more or less democratic considering the concepts of partition of the sensible (RANCIÈRE, 2005) and the mute letter (RANCIÈRE, 2004).

Made available in DSpace on 2016-04-27T16:58:36Z (GMT). No. of bitstreams: 1 Marcilio Farias da Silva.pdf: 2141335 bytes, checksum: 164a0489f21f7f26a38436a8d2811b56 (MD5) Previous issue date: 2008-04-24 / Secretaria da Educação do Estado de São Paulo / The intention of this dissertation is the elaboration and analysis of a didactic sequence focused to the teaching and learning of examinations for students of the 9th school year in Brazil, using a computer tool. The whole experiment was developed in a Project of Argumentations and test in the Mathematics school (AProvaME), that he/she has as objective to prepare a map on the conceptions of arguments and the students tests in the state of São Paulo in Brazil. The elaboration of the didactic sequence was inspired in the questionaire of Álgebra of the project AProvaME, based and analyzed under the perspective from the levels of Balacheff (1988) classification of experiments and ideas related to the roles and functions of the experiments of Villiers (2001) and in the ideas suggested in PCN. We used as computer resource EXCEL, which allowed to the the students the electronic construction of spreadsheets enlarging the data for better analyze and elaborate their conjectures, arguments, justifications and validations. It was analyzed three protocols of three couples with ages between 13 and 14 years old of a private school in the city of Lorena in São Paulo which contributed voluntarialy with the experimentation. Analysing the results we can establish that predominated the formulations of the arguments and conjectures limked to conceptual pragmatic experiments described in the natural languages that in the whole process were empirically justified. A relevant and decisive fact in the successful research was the role of the mediator teacher during the moments of interventions that it provided the interaction student-teacher, necessary in the development of didactic sequences that aim the teaching and learning of arguments and mathematical experiments / O propósito desta dissertação é a elaboração e análise de uma seqüência didática para o ensino e aprendizagem de provas e argumentações, destinada a alunos do 9º ano do Ensino Fundamental, utilizando uma ferramenta computacional. Todo o experimento foi desenvolvido no âmbito do Projeto Argumentação e prova na Matemática Escolar (AProvaME), que tem como objetivo construir um mapa sobre as concepções de argumentação e prova de alunos do Estado de São Paulo. A elaboração da seqüência didática foi inspirada no questionário de Álgebra do projeto AProvaME e fundamentada e analisada sob a perspectiva da classificação de provas de Balacheff (1988), das idéias relacionadas aos papéis e funções das provas de De Villiers (2001) e nas sugestões apresentadas nos PCN. Utilizamos como recurso computacional o Excel, que permitiu aos alunos a construção de planilhas eletrônicas ampliando os dados para melhor analisar e elaborar suas conjecturas, argumentos, justificativas e validações. Foram analisados os protocolos de três duplas, com idades de 13 e 14 anos, de uma escola particular da cidade de Lorena-SP, que contribuíram voluntariamente com a experimentação. Analisando os resultados, constatamos que predominaram as formulações de argumentos e conjecturas vinculadas a provas pragmáticas descritas na língua natural, que, em todo o processo, foram justificadas empiricamente. Um fato relevante e determinante no sucesso da pesquisa foi o papel do professor mediador, durante os momentos de intervenções, favorecendo a interação aluno-professor, necessária no desenvolvimento de seqüências didáticas que visam o ensino e aprendizagem de argumentações e provas matemáticas

Made available in DSpace on 2017-05-12T14:47:01Z (GMT). No. of bitstreams: 1 Sergio_ Bazilio.pdf: 3134289 bytes, checksum: 8461a5a239e9c7674bb3db224824dc63 (MD5) Previous issue date: 2015-02-12 / Benthic macroinvertebrate community is very important to streams, since they make part of the energy flow and are also an important food source for adjacent and upper trophic levels. They form a very diversified fauna and their structure may be influenced by several environmental factors, which vary in time, space and in an analyzed scale. Samples were taken from benthic macroinvertebrates and environmental descriptors during winter, spring and summer of 2012 and autumn of 2013 in ten sampling points in Lontra river watershed (Paraná, Brazil). Thus, this study aimed at: a) characterizing the watershed morphometry in Lontra river with data from the Shuttle Radar Topography Mission (SRTM); b) analyzing the structure of benthic macroinvertebrate community according to their taxonomic family level and functional groups; c) investigating seasonal variation (during the four seasons) and spatial variation of this community structure due to spatial differences in morphological and physiographic characteristics of the sampled sections; d) identifying the community variability of benthic macroinvertebrates at three spatial scales (river, river segment and mesohabitat) emphasizing spatial scales, which best explain the community structure in this watershed; e) investigating which measured environmental descriptors influence on the community structure and f) which variability percentage in organisms richness can be explained by the measured local environmental descriptors. / Os macroinvertebrados bentônicos constituem uma importante comunidade em riachos, pois participam do fluxo de energia, logo são um importante recurso alimentar para níveis tróficos adjacentes e superiores. Formam uma fauna bastante diversificada e a estrutura dessa comunidade pode ser influenciada por diversos fatores ambientais, os quais variam no tempo, no espaço e na escala analisada. Realizaram-se amostragens de macroinvertebrados bentônicos e descritores ambientais nos períodos de inverno, primavera e verão de 2012 e outono de 2013 em dez pontos amostrais na bacia do Rio Lontra (PR, Brasil). O presente estudo objetivou: a) caracterizar morfometricamente a microbacia do Rio Lontra com dados do projeto da Missão do Radar Transportado Espacial (SRTM). b) analisar a estrutura da comunidade de macroinvertebrados bentônicos em nível taxonômico de família e de grupos funcionais; c) investigar a variação sazonal (nas quatro estações do ano) e a variação espacial da estrutura da comunidade em função de diferenças espaciais nas características morfofisiográficas dos trechos amostrados; d) identificar a variabilidade da comunidade de macroinvertebrados bentônicos em três escalas espaciais (rio, segmento de rio e mesohabitat) com ênfase nas escalas espaciais que melhor explicam a estrutura da comunidade nesta bacia; e) investigar quais descritores ambientais mensurados influenciam a estrutura da comunidade e f) qual porcentagem da variabilidade na riqueza de organismos pode ser explicada pelos descritores ambientais locais mensurados.

The high prevalence and mortality of cerebrovascular disease has led to the development of several methods to measure cerebral blood flow (CBF) in vivo. One of these, arterial spin labeling (ASL), is a quantitative magnetic resonance imaging (MRI) technique with the advantage that it is completely non-invasive. The quantification of CBF using ASL requires correction for a tissue specific parameter called the brain-blood partition coefficient (BBPC). Despite regional and inter-subject variability in BBPC, the current recommended implementation of ASL uses a constant assumed value of 0.9 mL/g for all regions of the brain, all subjects, and even all species. The purpose of this dissertation is 1) to apply ASL to a novel population to answer an important clinical question in the setting of Down syndrome, 2) to demonstrate proof of concept of a rapid technique to measure BBPC in mice to improve CBF quantification, and 3) to translate the correction method by applying it to a population of healthy canines using equipment and parameters suitable for use with humans. Chapter 2 reports the results of an ASL study of adults with Down syndrome (DS). This population is unique for their extremely high prevalence of Alzheimer’s disease (AD) and very low prevalence of systemic cardiovascular risk factors like atherosclerosis and hypertension. This prompted the hypothesis that AD pathology would lead to the development of perfusion deficits in people with DS despite their healthy cardiovascular profile. The results demonstrate that perfusion is not compromised in DS participants until the middle of the 6th decade of life after which measured global CBF was reduced by 31% (p=0.029). There was also significantly higher prevalence of residual arterial signal in older participants with DS (60%) than younger DS participants (7%, p = 0.005) or non-DS controls (0%, p < 0.001). This delayed pattern of perfusion deficits in people with DS differs from observations in studies of sporadic AD suggesting that adults with DS benefit from an improved cardiovascular risk profile early in life. Chapter 3 introduces calibrated short TR recovery (CaSTRR) imaging as a rapid method to measure BBPC and its development in mice. This was prompted by the inability to account for potential changes in BBPC due to age, brain atrophy, or the accumulation of hydrophobic A-β plaques in the ASL study of people with DS in Chapter 2. The CaSTRR method reduces acquisition time of BBPC maps by 87% and measures a significantly higher BBPC in cortical gray matter (0.99±0.04 mL/g,) than white matter in the corpus callosum (0.93±0.05 mL/g, p=0.03). Furthermore, when CBF maps are corrected for BBPC, the contrast between gray and white matter regions of interest is improved by 14%. This demonstrates proof of concept for the CaSTRR technique. Chapter 4 describes the application of CaSTRR on healthy canines (age 5-8 years) using a 3T human MRI scanner. This represents a translation of the technique to a setting suitable for use with a human subject. Both CaSTRR and pCASL acquisitions were performed and further optimization brought the acquisition time of CaSTRR down to 4 minutes which is comparable to pCASL. Results again show higher BBPC in gray matter (0.83 ± 0.05 mL/g) than white matter (0.78 ± 0.04 mL/g, p = 0.007) with both values unaffected by age over the range studied. Also, gray matter CBF is negatively correlated with age (p = 0.003) and BBPC correction improved the contrast to noise ratio by 3.6% (95% confidence interval = 0.6 – 6.5%). In summary, the quantification of ASL can be improved using BBPC maps derived from the novel, rapid CaSTRR technique.

[pt] A parte mais difícil de modelar os problemas de tomada de decisão do mundo real, é a incerteza associada a realização de eventos futuros. A programação estocástica se encarrega desse assunto; o objetivo é achar soluções que sejam factíveis para todas as possíveis realizações dos dados, otimizando o valor esperado de algumas funções das variáveis de decisão e de incerteza. A abordagem mais estudada está baseada em simulação de Monte Carlo e o método SAA (Sample Average Appmwimation) o qual é uma formulação do problema verdadeiro para cada realização da data incerta, que pertence a um conjunto finito de cenários uniformemente distribuídos. É possível provar que o valor ótimo e a solução ótima do problema SAA converge a seus homólogos do problema verdadeiro quando o número de cenários é suficientemente grande.Embora essa abordagem seja útil ali existem fatores limitantes sobre o custo computacional para obter soluções mais precisas aumentando o número de cenários; no entanto o fato mais importante é que o problema SAA é função de cada amostra gerada e por essa razão é aleatório, o qual significa que a sua solução também é incerta, e para medir essa incerteza e necessário considerar o número de replicações do problema SAA afim de estimar a dispersão da solução, aumentando assim o custo computacional. O propósito deste trabalho é apresentar uma abordagem alternativa baseada em um método de partição que permite obter cotas para estimar deterministicamente a solução do problema original, com aplicação da desigualdade de Jensen e de técnicas de otimização robusta. No final se analisa a convergência dos algoritmos de solução propostos. / [en] The hardest part of modelling decision-making problems in the real world, is the uncertainty associated to realizations of futures events. The stochastic programming is responsible about this subject; the target is finding solutions that are feasible for all possible realizations of the unknown data, optimizing the expected value of some functions of decision variables and random variables. The approach most studied is based on Monte Carlo simulation and the Sample Average Approximation (SAA) method which is a kind of discretization of expected value, considering a finite set of realizations or scenarios uniformly distributed. It is possible to prove that the optimal value and the optimal solution of the SAA problem converge to their counterparts of the true problem when the number of scenarios is sufficiently big. Although that approach is useful, there exist limiting factors about the computational cost to increase the scenarios number to obtain a better solution; but the most important fact is that SAA problem is function of each sample generated, and for that reason is random, which means that the solution is also uncertain, and to measure its uncertainty it is necessary consider the replications of SAA problem to estimate the dispersion of the estimated solution, increasing even more the computational cost. The purpose of this work is presenting an alternative approach based on robust optimization techniques and applications of Jensen s inequality, to obtain bounds for the optimal solution, partitioning the support of distribution (without scenarios creation) of unknown data, and taking advantage of the convexity. At the end of this work the convergence of the bounding problem and the proposed solution algorithms are analyzed.

本篇論文以裴氏網(Petri-Net)描述系統，提出一啟發式的演算法則 ， 將此裴氏網分割為數個子系統，以便建構為分散式系統中獨立運作的 伺服器。吾人設計一系列的模擬實驗，以測試此演算法的績效。而後，本 篇論文列出影響分割的變數及各變數間的關係，並分析本演算法之特性。 而根據模擬實驗的結果分析，吾人對分散式環境之應用系統發展提出建議 。 / In this thesis, we use the Petri-Net to model a system, and we propose a heuristic algorithm to partition the Petri-Net into several autonomous servers. We then conduct a series of simula- tion experiments to test the performance of the algorithm and to identify the variables which influence the partition of the Petri-Net. Some factors influencing the properties of a partition are identified and their inter-relationships are shown. Based upon the simulation, we provide some suggestions for the develop- ment of the application in the distributed system environment.

Dans cette thèse, nous nous intéressons à deux problèmes de reconnaissance de formes : l'option de rejet en classification supervisée, et la détermination du nombre de classes en classification non supervisée. Le premier problème consiste à déterminer les zones de l'espace des attributs où les observations n'appartiennent pas clairement à une seule classe. Le second problème repose sur l'analyse d'un nuage d'observations pour lesquelles on ne connait pas les classes d'appartenance. L'objectif est de dégager des structures permettant de distinguer les différentes classes, et en particulier de trouver leur nombre. Pour résoudre ces problèmes, nous fondons nos propositions sur des opérateurs d'agrégation, en particulier des normes triangulaires. Nous définissons de nouvelles mesures de similarité permettant la caractérisation de situations variées. En particulier, nous proposons de nouveaux types de mesures de similarité : la similarité d'ordre, la similarité par blocs, et enfin la similarité par une approche logique. Ces différentes mesures de similarité sont ensuite appliquées aux problèmes évoqués précédemment. Le caractère générique des mesures proposées permet de retrouver de nombreuses propositions de la littérature, ainsi qu'une grande souplesse d'utilisation en pratique. Des résultats expérimentaux sur des jeux de données standard des domaines considérés viennent valider notre approche.

Cette thèse étudie l'anticipation musicale, à la fois comme un processus cognitif et comme un principe de conception pour des applications d'informatique musicale et d'extraction de données musicales. Dans cette étude, nous reformulons le problème de modélisation d'anticipation abordé dans la littérature de la cognition musicale, à celui de modélisation anticipative, un principe de conception cognitive pour modéliser des systèmes artificiels. Nous proposons des modèles anticipatifs concernant trois préoccupations principales de l'attente musicale : quoi attendre?, comment attendre?, et quand attendre?.<br />Dans le traitement de la première question, nous introduisons un cadre mathématique nommé géométrie d'informations musicales combinant la théorie de l'information, la géométrie différentielle, et l'apprentissage statistique pour représenter les contenus pertinents de l'informations musicales. La deuxième question est abordée comme un problème d'apprentissage automatique des stratégies décisionnelles dans un environnement, en employant les méthodes d'apprentissage interactif. Nous proposons pour la troisième question, une nouvelle conception du problème de synchronisation temps réel entre une partition symbolique et un musicien. Ceci nous ramène à Antescofo, un outils préliminaire d'écriture du temps et de l'interaction dans l'informatique musicale. Malgré la variété des sujets abordés dans cette thèse, la conception anticipative est la facture commune entre toutes les propositions avec les prémices de réduire la complexité structurelle et computationnelle de modélisation, et d'aider à aborder des problèmes complexes dans l'informatique musicale.