Submitted by Aline Batista (alinehb.ufpel@gmail.com) on 2017-05-05T17:33:32Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Diferença Fuzzi intuicionista - robustez, dualidade e conjugação.pdf: 1119948 bytes, checksum: b732f8ac3cf0e1c348e50484c7cc1a05 (MD5) / Approved for entry into archive by Aline Batista (alinehb.ufpel@gmail.com) on 2017-05-05T22:17:27Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Diferença Fuzzi intuicionista - robustez, dualidade e conjugação.pdf: 1119948 bytes, checksum: b732f8ac3cf0e1c348e50484c7cc1a05 (MD5) / Made available in DSpace on 2017-05-05T22:17:38Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Diferença Fuzzi intuicionista - robustez, dualidade e conjugação.pdf: 1119948 bytes, checksum: b732f8ac3cf0e1c348e50484c7cc1a05 (MD5) Previous issue date: 2016-08-22 / Sem bolsa / Esta dissertação foca, sobretudo, nos conceitos fundamentais relativos ao estudo da robustez, dualidade e conjugação na Lógica Fuzzy (FL) e sua extensão intuicionista proposta por Atanassov (A-IFL). A metodologia de avaliação da sensibilidade ponto-a-ponto é aplicada a conectivos fuzzy e conectivos fuzzy intuicionistas, considerando a ação de negações fortes e automorfismos. O objetivo principal neste trabalho consiste na avaliação da robustez de operadores de diferença, representáveis por composição de negações e agregações da LF e da A-IFL. O operador de diferença tem aplicação direta em conceitos da FL e da A-IFL, quando do uso de conceitos de distância, medidas de similaridade e entropia. O trabalho colabora com a investigação da robustez na construção dual da classe de operadores de diferença em LF e A-IFL, incluindo possíveis construções conjugadas obtidas por automorfismos representáveis. / This dissertation focuses mainly on fundamental concepts relating to the study of robustness, duality and in conjunction Fuzzy Logic (FL) and its intuitionistic extension proposed by Atanassov (A-IFL). The methodology for assessing the sensitivity point-to-point is applied to fuzzy connectives and fuzzy connective intuitionists considering the action of strong denials and automorphisms. The main objective of this study is to assess the robustness of di?erence operators, representable by composition of denials and aggregations of LF and A-IFL. The di?erence operator has direct application of the concepts and the FL-IFL, when using distance concepts of similarity and entropy measures. The research work cooperates with the robustness of the dual construction di?erence operator class LF and A-IFL, including possible constructions conjugate obtained by automorphisms representable.

Made available in DSpace on 2014-06-11T19:30:54Z (GMT). No. of bitstreams: 0 Previous issue date: 2008-04-28Bitstream added on 2014-06-13T18:41:06Z : No. of bitstreams: 1 oliveira_lc_dr_sjrp.pdf: 1552331 bytes, checksum: ff9be69b536d540081c28a83bf038868 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / A topologia do estado nativo de uma proteína desempenha um papel crucial no processo de enovelamento. Neste trabalho uma nova aproximação utilizando aspectos topol ogicos para investigar a evolução protéica e apresentada. O modelo utiliza uma rede c ubica 3 3 3 de 27 monômeros e um mapa de conexões entre diferentes conformações em espa co de fase estrutural e de sequência. Desenhamos a melhor sequência não frustrada para cada uma das 103346 conformações maximamente compactas usando um algorítimo que maximiza o número de tipos de monômeros na sequência. Isto significa que cada sequência não pode possuir contatos desfavor aveis. O n umero m aximo de tipos de monômeros e 5. A sequência-conformação e considerada \protein-like se ela tem uma unica conformação de mais baixa energia, alem de acessibilidade e robustez. De todas as conformações maximamente compactas, somente 4; 75% geraram sequências \protein-like', o qual são o alvo neste estudo. Com esses dados realizamos simulações de Monte Carlo (MC) no qual examinamos as melhores sequêencias estruturas baseando-se no ZScore. A simulação e iniciada com uma sequência aleatória no qual e testada em todas as conformações, seguindo as regras estipuladas por MC. Se o ZScore aumenta, assumimos que a nova conformação e mais estável que a anterior. Esse processo e repetido até que as sequências otimamente desenhadas (com mais alto ZScore) são alcançadas. Mantendo as trajetórias originadas via MC, um mapa de conectividade sequências-estruturas e obtido. Os resultados mostram trajetórias conectadas com estruturas com baixos valores de ZScore. O aumento do ZScore ao longo da simulação conduz a um pequeno grupo de conformações preferenciais. O modelo sugere um funil de estruturas para a evolução de proteínas no qual as estruturas do fundo estão associadas com o ii \motif de uma proteína... / The topology of a protein native state plays a crucial role in the folding process. In this work a new approach using topological aspects to investigate the protein evolutions is presented. The model uses the 27-mer in a cubic lattice of 3 3 3, and a conection map between di erent conformations is found in the sequence and structural phase space. We designed the best unfrustrated sequence for each of the 103346 maximally compact conformation, using an algorithm that maximizes the number for monomers types in the sequence. This means that each sequence cannot have unfavorable contacts. The maximum number of types of monomer is 5. The sequence-conformation is considered protein-like if it has a unique lowest energy conformation, accessible and robust . Out of all maximally compact conformations, only 4,75% generated protein-like sequence, with are targeted in this study. With this data we performed a Monte Carlo simulations in which we probe for better sequence-structure based on Zscore. The simulation start which a random sequence and it is tested all conformations, nding its conformations according to the Monte Carlo rules. If the Zscore increases, we assume that the new conformation is more stable than the previous. This process is repeated until the optimally designed sequence (with the highest Zscore) is reached. Keeping track of all the Monte Carlo trajectories, a map of conectivity of sequence-structures is obtained. The results shows trajectories connected with structures of low Zscore values. The increase of Zscore along of the simulation leads to a small group of preferred conformations. The model suggest a funnel like structure for folding evolution, in which the structures at the bottom of the funnel are associated with the motif of a protein. This result can be a possible iv explanation for the restricted number of conformations compared to the large number of sequences... (Complete abstract click electronic access below)

La plupart des organes et organismes ont une forme remarquablement reproductible, malgré une très grande variabilité de forme et de croissance au niveau cellulaire. Des signaux supracellular, gradient de morphogène ou contraintes mécaniques, pourraient coordonner le comportement des cellules et via de multiples boucles de rétroaction canaliser les formes finales. Des progrès récents en imagerie du vivant, micromécanique et modélisation, permettent aujourd’hui d’analyser la relation entre la variabilité cellulaire, la communication intercellulaire et la forme globale d’un organe de façon quantitative. Nous avons choisi de travailler sur le sépale abaxial chez Arabidopsis thaliana, car sa forme est reproductible et il est facilement accessible pour l’imagerie. Nous avons choisi de nous concentrer sur l’analyse des microtubules corticaux : ils s’alignent le long des tensions maximales dans les tissus et, en guidant le dépôt des microfibrilles de cellulose, ils renforcent l’anisotropie mécanique des parois dans la direction des contraintes maximales. Nous avons observé un alignement supracellulaire des microtubules à la pointe du sépale et nous avons pu corréler ce comportement à un patron de tensions causé par un différentiel de croissance dans le sépale. En utilisant des approches micromécaniques et des mutants affectés dans la dynamique des microtubules, nous avons confirmé que les microtubules étaient capables de s’aligner en fonction des contraintes mécaniques, la forme finale du sépale dépendant de la force du rétrocontrôle. Nous proposons donc que cette réponse déclenche un arrêt de croissance de la pointe du sépale jusqu’à sa base et limite ainsi l'expansion des sépales. Plus localement, nous avons également analysé la contribution des conflits mécaniques entre cellules voisines, soit en utilisant le différentiel de croissance naturel autour d’un trichome, soit en générant des mosaïques artificielles avec le système cre-lox. Nos résultats suggèrent une contribution de l'hétérogénéité de croissance dans la forme finale des sépales, encore une fois par l'intermédiaire de la réponse des microtubules aux contraintes mécaniques. Ces résultats nous permettent donc d’élaborer un scénario dans lequel une rétroaction mécanique, locale et globale, sur les microtubules contrôle la forme finale du sépale. / Most organs and organisms have remarkably consistent final shapes, yet at the cellular level, growth and shape can be highly variable. Surpacellular signals, e.g. morphogen gradients or force fields, may coordinate cell behavior, involving multiple feedback loops, to yield such reproducible shapes. Because of the recent progress in live-imaging techniques, micromechanics and modeling, the relation between cellular noise, cell-cell communication and global shape is now amenable to quantitative analysis. We chose to work on the abaxial sepal, as it displays consistent shapes and is easily accessible for live imaging. We focus our analysis on cortical microtubules: they align along maximal tensile stress directions in plant tissues, and as they guide the deposition of cellulose microfibrils, the main load-bearing component in plant cell walls, they largely determine the mechanical anisotropy of cell walls, providing mechanical strength in the direction of maximal stress. We identified a supracellular alignment of microtubules at the tip of the sepal and we could match this pattern with predicted growth-derived tensile stress patterns. Using micromechanical approaches and mutants impaired in microtubule dynamics, we confirm that microtubules in the sepal can align along maximal tension directions, the final sepal shape depending on the strength of the feedback. We thus propose that this response triggers a wave of growth arrest from the tip of the sepal and thus restricts the expansion of the sepal. More locally, we also analyzed the contribution of mechanical conflicts between adjacent cells that grow at different rates, using the naturally occurring fast growing trichome cells as well as cre-lox induced artificial growth mosaics. Our results support a contribution of growth heterogeneity in final sepal shape, again via the microtubule response to mechanical forces. Altogether, this provides a scenario in which global and local mechanical feedback on microtubules channels the sepal final shape.

nÃo hà / Esta dissertaÃÃo tem como principal meta realizar um estudo comparativo do desempenho de algoritmos de redes neurais competitivas nÃo-supervisionadas em problemas de quantizaÃÃo vetorial (QV) e aplicaÃÃes correlatas, tais como anÃlise de agrupamentos (clustering) e compressÃo de imagens. A motivaÃÃo para tanto parte da percepÃÃo de que hà uma relativa escassez de estudos comparativos sistemÃticos entre algoritmos neurais e nÃo-neurais de anÃlise de agrupamentos na literatura especializada. Um total de sete algoritmos sÃo avaliados, a saber: algoritmo K -mÃdias e as redes WTA, FSCL, SOM, Neural-Gas, FuzzyCL e RPCL. De particular interesse à a seleÃÃo do nÃmero Ãtimo de neurÃnios. NÃo hà um mÃtodo que funcione para todas as situaÃÃes, restando portanto avaliar a influÃncia que cada tipo de mÃtrica exerce sobre algoritmo em estudo. Por exemplo, os algoritmos de QV supracitados sÃo bastante usados em tarefas de clustering. Neste tipo de aplicaÃÃo, a validaÃÃo dos agrupamentos à feita com base em Ãndices que quantificam os graus de compacidade e separabilidade dos agrupamentos encontrados, tais como Ãndice Dunn e Ãndice Davies-Bouldin (DB). Jà em tarefas de compressÃo de imagens, determinado algoritmo de QV à avaliado em funÃÃo da qualidade da informaÃÃo reconstruÃda, daà as mÃtricas mais usadas serem o erro quadrÃtico mÃdio de quantizaÃÃo (EQMQ) ou a relaÃÃo sinal-ruÃdo de pico (PSNR). Empiricamente verificou-se que, enquanto o Ãndice DB favorece arquiteturas com poucos protÃtipos e o Dunn com muitos, as mÃtricas EQMQ e PSNR sempre favorecem nÃmeros ainda maiores. Nenhuma das mÃtricas supracitadas leva em consideraÃÃo o nÃmero de parÃmetros do modelo. Em funÃÃo disso, esta dissertaÃÃo propÃe o uso do critÃrio de informaÃÃo de Akaike (AIC) e o critÃrio do comprimento descritivo mÃnimo (MDL) de Rissanen para selecionar o nÃmero Ãtimo de protÃtipos. Este tipo de mÃtrica mostra-se Ãtil na busca do nÃmero de protÃtipos que satisfaÃa simultaneamente critÃrios opostos, ou seja, critÃrios que buscam o menor erro de reconstruÃÃo a todo custo (MSE e PSNR) e critÃrios que buscam clusters mais compactos e coesos (Ãndices Dunn e DB). Como conseqÃÃncia, o nÃmero de protÃtipos obtidos pelas mÃtricas AIC e MDL à geralmente um valor intermediÃrio, i.e. nem tÃo baixo quanto o sugerido pelos Ãndices Dunn e DB, nem tÃo altos quanto o sugerido pelas mÃtricas MSE e PSNR. Outra conclusÃo importante à que nÃo necessariamente os algoritmos mais sofisticados do ponto de vista da modelagem, tais como as redes SOM e Neural-Gas, sÃo os que apresentam melhores desempenhos em tarefas de clustering e quantizaÃÃo vetorial. Os algoritmos FSCL e FuzzyCL sÃo os que apresentam melhores resultados em tarefas de quantizaÃÃo vetorial, com a rede FSCL apresentando melhor relaÃÃo custo-benefÃcio, em funÃÃo do seu menor custo computacional. Para finalizar, vale ressaltar que qualquer que seja o algoritmo escolhido, se o mesmo tiver seus parÃmetros devidamente ajustados e seus desempenhos devidamente avaliados, as diferenÃas de performance entre os mesmos sÃo desprezÃveis, ficando como critÃrio de desempate o custo computacional. / The main goal of this master thesis was to carry out a comparative study of the performance of algorithms of unsupervised competitive neural networks in problems of vector quantization (VQ) tasks and related applications, such as cluster analysis and image compression. This study is mainly motivated by the relative scarcity of systematic comparisons between neural and nonneural algorithms for VQ in specialized literature. A total of seven algorithms are evaluated, namely: K-means, WTA, FSCL, SOM, Neural-Gas, FuzzyCL and RPCL. Of particular interest is the problem of selecting an adequate number of neurons given a particular vector quantization problem. Since there is no widespread method that works satisfactorily for all applications, the remaining alternative is to evaluate the influence that each type of evaluation metric has on a specific algorithm. For example, the aforementioned vector quantization algorithms are widely used in clustering-related tasks. For this type of application, cluster validation is based on indexes that quantify the degrees of compactness and separability among clusters, such as the Dunn Index and the Davies- Bouldin (DB) Index. In image compression tasks, however, a given vector quantization algorithm is evaluated in terms of the quality of the reconstructed information, so that the most used evaluation metrics are the mean squared quantization error (MSQE) and the peak signal-to-noise ratio (PSNR). This work verifies empirically that, while the indices Dunn and DB or favors architectures with many prototypes (Dunn) or with few prototypes (DB), metrics MSE and PSNR always favor architectures with well bigger amounts. None of the evaluation metrics cited previously takes into account the number of parameters of the model. Thus, this thesis evaluates the feasibility of the use of the Akaikeâs information criterion (AIC) and Rissanenâs minimum description length (MDL) criterion to select the optimal number of prototypes. This type of evaluation metric indeed reveals itself useful in the search of the number of prototypes that simultaneously satisfies conflicting criteria, i.e. those favoring more compact and cohesive clusters (Dunn and DB indices) versus those searching for very low reconstruction errors (MSE and PSNR). Thus, the number of prototypes suggested by AIC and MDL is generally an intermediate value, i.e nor so low as much suggested for the indexes Dunn and DB, nor so high as much suggested one for metric MSE and PSNR. Another important conclusion is that sophisticated models, such as the SOM and Neural- Gas networks, not necessarily have the best performances in clustering and VQ tasks. For example, the algorithms FSCL and FuzzyCL present better results in terms of the the of the reconstructed information, with the FSCL presenting better cost-benefit ratio due to its lower computational cost. As a final remark, it is worth emphasizing that if a given algorithm has its parameters suitably tuned and its performance fairly evaluated, the differences in performance compared to others prototype-based algorithms is minimum, with the coputational cost being used to break ties.

Sistemas Complexos são característicos por possuir uma rede interna representando o relacionamento estrutural entre seus elementos e uma forma natural de interpretar essa interação é através de um grafo. Neste trabalho, o sistema de transporte público urbano de São Paulo é reinterpretado de forma acoplada (ônibus e metrô juntos) como uma rede complexa, abstraindo detalhes operacionais e focando na conectividade. Pelo grafo empiricamente gerado, é feita uma caraterização estatística nas métricas de redes complexas, onde diferentes valores de raio de distância são usados para agrupar pontos e estações próximas que antes se apresentavam desconectados. Esse agrupamento pode ser interpretado como uma ferramenta de política pública, representando a disposição do usuário em se locomover ao ponto mais próximo para acessar o transporte. O processo mostrou que aumentar essa disposição gera grande redução na distância e número de passos entre ônibus, trens e linhas de metrô para atingir todos os destinos da rede. É utilizado um modelo exploratório que testa a robustez da rede aleatoriamente, deterministicamente e probabilisticamente tendo como alvo pontos e linhas. De acordo com os raios de agrupamento, definido como disposição, diferentes valores de fragmentação foram obtidos diante dos ataques simulados. Esses resultados suportam duas principais características observadas na literatura de redes deste tipo: possuem um elevado grau de robustez à falhas aleatórias, mas são vulneráveis a ataques tendo como alvo nós ou links importantes / Complex systems are characteristic by having an internal network representing the structural relationship between its elements and a natural way to interpret this interaction is through a graph. In this work, the urban public transport system of São Paulo is reinterpreted as a coupled (bus and subway) complex network, bypassing operational details and focusing on connectivity. Using the empirically generated graph, a statistical characterisation is made by network metrics where different radius values are used to group nearby stops and stations that were disconnected before. That can be interpreted as a public policy tool, representing the user\'s willingness to get around the nearest point to access transportation. This process has shown that increasing this willingness generates great reduction in the distance and in the number of jumps between buses, trains and subways lines to achieve all the network destinations. An exploratory model is used to test the robustness of the network by randomly, deterministically and preferentially targeting the stops and service lines. According to the grouping radius, aka willingness, different fragmentation values were obtained under attack simulations. These findings support two main characteristics observed in such networks literature: they have a high degree of robustness to random failures, but are vulnerable to targeted attacks

Le fuseau mitotique assure la ségrégation des chromatides sœurs et le maintien de la poïdie des cellules filles. Le fuseau est composé de microtubules dynamiques (qui polymérisent et dépolymérisent continuellement), de nombreux moteurs moléculaires, d'agents de réticulations et de régulateurs. Bien que la structure du fuseau au niveau moléculaire soit connue, son fonctionnement reste délicat à comprendre, et nécessite la prise en compte de la dynamique de ses composants et leurs interactions. Les approches utilisées pour répondre à ces problématiques sont jusqu'à maintenant plutôt des approches in silico et in vitro. Il manque aujourd'hui une caractérisation de la mécanique du fuseau dans son contexte physiologique. Nous proposons une méthode non invasive basée sur de l'analyse d'image, combiné à une modélisation heuristique pour mesurer les paramètres mécaniques durant toute la division. Nous suivons les pôles du fuseau marqués par protéine fluorescente avec un taux acquisition rapide et une bonne résolution spatiale ce qui nous permet d'accéder aux fluctuations de longueur du fuseau in vivo. Avec la transformée de Fourier aux temps courts, nous calculons leurs densités spectrales de puissances — leurs signatures mécaniques. Ces spectres sont alors ajustés avec un modèle Kelvin — Voigt avec inertie (un ressort, un amortisseur et un terme inertiel en parallèle). Nous avons validé la méthode par des expériences numériques où nous retrouvons les évolutions des paramètres sur des données simulées et la calibration a été réalisée par l'utilisation de la rupture du fuseau induite par micro chirurgie laser ou par la génétique. Nous avons caractérisé le fuseau de l'embryon unicellulaire du nématode C. elegans. La méthaphase apparaît dominée par l'amortisseur, ce qui est cohérent avec la lente élongation du fuseau que nous observons. Mais contraste l'idée répandue de l'existence d'un mécanisme de maintien de la longueur du fuseau durant la métaphase. Au passage en anaphase, les trois paramètres mécaniques chutent, avant de réaugmenter environ 50 secondes après la transition pour réatindre un régime dominé de nouveau par l'amortisseur, ce qui suggère que les microtubules interpolaires jouent un rôle mineur durant l'élongation du fuseau en début d'anaphase. Dans la perspective de comprendre le lien entre la mécanique du fuseau et les interactions des acteurs moléculaires, nous avons partiellement supprimé un gène par sous-structure du fuseau. Nous avons alors retrouvé des comportements connus avec une perspective augmentée offerte par notre méthode. Cette méthode, ne va pas seulement permettre la compréhension fondamentale de la mécanique du fuseau, en remplaçant la modélisation du fuseau basé uniquement sur la longueur, mais aussi d'aller vers la prise en compte de la robustesse de fonctionnement du fuseau mitotique face aux défauts tel que la polyou l'aneuploïdie. / The mitotic spindle ensures the correct segregation of the sister chromatids to maintain ploidy in daughter cells. The spindle comprises dynamical microtubules (alternating polymerizing and depolymerizing), a variety of molecular motors, crosslinker and the regulators. Although the molecular grounds of spindle structure is well known, the link to its functions remain elusive, calling for including the dynamics of its components and their interactions. These questions were mostly investigated by in silico or in vitro approaches. But a detailed characterizing of spindle mechanics, in physiological conditions, is missing. We propose an image processing based, non invasive, method combined to an heuristic model to measure mechanical parameters of the mitotic spindle along time. We tracked fluorescently labeled spindle pole at high temporal and spatial resolution and measured the variations of spindle length, in vivo. We computed their power density spectrum using short time Fourier transform (sliding window) — a blueprint of spindle mechanics. Such a spectrum is then fitted with a Kelvin —Voigt model with inertia (a spring, a damper, an inertial element in parallel). We validated this method by recovering the mechanical parameters over time from simulated data and calibrated it uses laser and genetically induced spinlde cut. We characterized the mitotic spindle of the one-cell embryo of nematode C. elegans. Metaphase appeared dominated by damping element, consistent with the slow spindle elongation observed. But in contrast with the common thought that a mechanism maintains the spindle length during metaphase. At anaphase onset, all three parameters collapsed, before increasing about 50s later to reach a regime where damping dominated again, suggesting the overlapping spinlde microtubules may play a minor role in early anaphase spinlde elongation. In perspective of understanding how spindle mechanics emerge of molecular players interactions, we depleted one gene per splindle sub-structure — overlapped microtubules, kinetochore microtubules, central spindle and astral microtubules. We succefully recovered some known behavior but with the augmented insight offered by our method. This method paves the way not only towards understanding the fundamentals of spindle mechanics, superseding the degenerated modeling based on the sole spindle length but also towards acounting for spindle functional robustness towards defect as polyor aneuploidy.

This study investigates how outliers of different magnitude impact the robustness of the twosample t-test. A simulation study approach is used to analyze the behavior of type I error rates when outliers are added to generated data. Outliers may distort parameter estimates such as the mean and variance and cause misleading test results. Previous research has shown that Welch’s ttest performs better than the traditional Student’s t-test when group variances are unequal. Therefore these two alternative statistics are compared in terms of type I error rates when outliers are added to the samples. The results show that control of type I error rates can be maintained in the presence of a single outlier. Depending on the magnitude of the outlier and the sample size, there are scenarios where the t-test is robust. However, the sensitivity of the t-test is illustrated by deteriorating type I error rates when more than one outlier are included. The comparison between Welch’s t-test and Student’s t-test shows that the former is marginally more robust against outlier influence.

Ces travaux ont pour but d’étudier le comportement au mouillage spontané (statique et dynamique) ainsi que le mouillage forcé, sous l’effet de la compression, de différentes structures textiles hydrophobes. Le mouillage forcé a permis d’évaluer la robustesse de l’hydrophobicité des structures textiles. En parallèle, un nouveau dispositif automatisé et plus approprié à l’étude du mouillage forcé a été mis au point. Les principaux résultats ont montré qu’une bonne hydrophobicité ne conduit pas forcément à une bonne robustesse : spontanément, la structure floquée est la seule à favoriser une configuration de Cassie-Baxter, cependant, sa robustesse est plus faible que celle des tissus. Les différents essais ont mis en évidence l’influence importante et majeure de certains paramètres, appropriés à chaque structure textile, sur son hydrophobicité et sa robustesse comme la densité et la finesse des poils pour les tissus floqués. Ils ont également montré que certains facteurs pouvaient améliorer l’hydrophobicité mais pas sa robustesse ou inversement. Ainsi, la robustesse de l’hydrophobicité n’est pas prévisible à partir des mesures du mouillage spontané. / This work aims to study the spontaneous (static and dynamic) and the forced (under the effect of compression) wetting behaviour of different water-repellent textile structures. Forced wetting allowed to evaluate the robustness of the hydrophobicity of textile structures. In parallel, a new automated and more suitable device was developed for the study of forced wetting. The main results showed that a good hydrophobicity does not necessarily lead to a good robustness: spontaneously, the flocked structure is the only one to foster the Cassie-Baxter state, however, its hydrophobicity’s robustness is lower than that of the tissue. The different tests have highlighted the important and major influence of some parameters, adapted to each textile structure, on its hydrophobicity and its robustness such as the density and fineness of bristles for flocked fabrics. They also showed that some factors can improve the hydrophobicity but not its robustness or vice versa. Thus, the robustness of the hydrophobicity is not predictable from the measures of spontaneous wetting.

Les travaux effectués durant cette thèse portent sur l’étude du comportement mécanique dynamique de solutions amortissantes passives utilisées pour la réduction des niveaux vibratoires et la stabilisation des systèmes optroniques embarqués au sein de l’entreprise Thales LAS France. Ces solutions intègrent des matériaux élastomères au fort pouvoir dissipatif dont le comportement doit être parfaitement maîtrisé pour un bon dimensionnement de l’isolation vibratoire, et ce malgré leur dépendance à la température et à la fréquence. L’objectif général est d’améliorer la connaissance du comportement de ces matériaux, leur caractérisation, leur prise en compte dans les simulations numériques afin d’améliorer les pratiques employées dans les bureaux d’études qui conçoivent les structures accueillant ces systèmes.Dans ce cadre, les travaux présentés portent tout d’abord sur la caractérisation, la modélisation et l’identification du comportement viscoélastique des élastomères employés dans des amortisseurs de Thales LAS France. Un modèle de type Maxwell généralisé (GMM) est utilisé pour décrire ce comportement, et est introduit dans un modèle éléments finis de l’amortisseur afin d’obtenir une représentation physique satisfaisante de son comportement mécanique dynamique. Le problème est réécrit sous la forme d’une représentation d’état originale qui est associée à une stratégie de réduction de modèle pour réduire les temps de calcul. Différentes simulations sont alors réalisées pour illustrer le potentiel de l’approche proposée, analyse modale complexe, réponse fréquentielle et réponse temporelle. La température ayant une influence primordiale sur le comportement mécanique des élastomères, un modèle matériau thermomécanique spécifique est proposé en identifiant l’évolution en température de paramètres du GMM, et une analyse de robustesse portant sur la capacité de dissipation de l’amortisseur témoin en présence de méconnaissances sur cette variable est réalisée en se basant sur la théorie Info-Gap.L’analyse d’une campagne d’essais a permis de constater l’apparition d’un assouplissement de la structure sous de fortes sollicitations, laissant augurer la présence de non-linéarités. Un autre aspect abordé durant cette thèse porte ainsi sur la caractérisation, la modélisation et l’identification des phénomènes non-linéaires pouvant impacter le comportement dynamique de l’amortisseur. Deux sources ont été mises en évidence : une non-linéarité matérielle liée à la dépendance des caractéristiques mécaniques des élastomères au taux de déformation (effet Payne), et une non-linéarité de type contact liée à la présence de butées. Ces comportements ont été implémentés dans une représentation réduite de l’amortisseur afin d’expliquer les phénomènes non-linéaires observés expérimentalement au cours des campagnes de qualification du produit.Enfin, la dernière partie de ces travaux de thèse porte sur la conception d’un réseau d’absorbeurs à masses accordées (MTMD) afin de réduire le niveau vibratoire d’une pièce structurale supportant les systèmes optiques. Après une formulation du problème éléments finis, une procédure d’optimisation des paramètres du MTMD est mise en œuvre et une analyse de robustesse de la solution optimale en présence d’incertitudes sur la fréquence propre à contrôler est effectuée. Cette étude est menée pour différents jeux de paramètres et une méthode d’optimisation robuste est proposée en combinant la procédure d’optimisation et la théorie Info-Gap. Pour finir, une maquette du système étudié est réalisée ainsi qu’une version simplifiée de son MTMD associé afin de mettre à l’épreuve les règles d’accordage issues des études numériques grâce à une série d’essais vibratoires. / The work carried out during this thesis deals with the study of the dynamic mechanical behavior of passive damping solutions used for the reduction of vibration levels and the stabilization of embedded optronic systems within Thales LAS France company. These solutions integrate elastomer materials with high dissipative power, whose behavior must be perfectly controlled for a good mechanical dimensioning of vibration isolation, despite their dependence on temperature and frequency. The general objective is to improve the knowledge of these material behavior, the characterization techniques, and the method taking into account this behavior in the numerical simulations in order to improve the practices used in the engineering department that design the structures hosting these systems.In this context, the work presented first focuses on the characterization, the modeling and the identification of the viscoelastic behavior of elastomers used in Thales LAS France damping devices. A Generalized Maxwell Model (GMM) is used to describe this behavior, and is introduced into a finite element model of the damper to obtain a satisfactory physical representation of its dynamic mechanical behavior. The problem is rewritten as an original state space representation that is associated with a model reduction strategy to reduce computation times. Various simulations are moreover performed to illustrate the potential of the proposed approach, such as complex modal analysis, frequency response and temporal response. Since temperature has a major influence on the mechanical behavior of elastomers, a specific thermomechanical material model is proposed by identifying the temperature evolution of GMM parameters, and a robustness analysis on the dissipation ability of the damper in the presence of a lack-of-knowledge on this variable is carried out based on the Info-Gap theory.Experimental test results showed the appearance of a softening of the structure under heavy load, suggesting the presence of non-linearities. Another aspect of this thesis deals with the characterization, the modeling and the identification of non-linear phenomena that can impact the dynamic behavior of the damper. Two sources have been highlighted: a material non-linearity related to the dependence of the mechanical characteristics of the elastomers to the rate of deformation (Payne effect), and a contact non-linearity related to the presence of mechanical stops. These behaviors were implemented in a reduced representation of the damper to explain the nonlinear phenomena observed experimentally during the damping device qualification campaigns.Finally, the last part of this thesis deals with the design of a network of tuned mass absorbers (MTMD) in order to reduce the vibratory level of a structural part supporting optical systems. After a formulation of the finite element problem, a procedure for optimizing the parameters of the MTMD is implemented and a robustness analysis of the optimal solution in the presence of uncertainties on the specific eigenfrequency to be controlled is performed. This study is carried out for different sets of parameters and a robust design optimization method is proposed by combining the optimization procedure and the Info-Gap theory. Finally, a model of the studied system is realized as well as a simplified version of its associated MTMD in order to test the tuning rules resulting from numerical studies thanks to a series of experimental tests.

Neural networks was shown to be very susceptible to small and imperceptible perturbations on its input. In this thesis, we study perturbations on two-layer piecewise linear networks. Such studies are essential in training neural networks that are robust to noisy input. One type of perturbations we consider is `1 norm bounded perturbations. Training Deep Neural Networks (DNNs) that are robust to norm bounded perturbations, or adversarial attacks, remains an elusive problem. While verification based methods are generally too expensive to robustly train large networks, it was demonstrated in [1] that bounded input intervals can be inexpensively propagated per layer through large networks. This interval bound propagation (IBP) approach lead to high robustness and was the first to be employed on large networks. However, due to the very loose nature of the IBP bounds, particularly for large networks, the required training procedure is complex and involved. In this work, we closely examine the bounds of a block of layers composed of an affine layer followed by a ReLU nonlinearity followed by another affine layer. In doing so, we propose probabilistic bounds, true bounds with overwhelming probability, that are provably tighter than IBP bounds in expectation. We then extend this result to deeper networks through blockwise propagation and show that we can achieve orders of magnitudes tighter bounds compared to IBP. With such tight bounds, we demonstrate that a simple standard training procedure can achieve the best robustness-accuracy tradeoff across several architectures on both MNIST and CIFAR10. We, also, consider Gaussian perturbations, where we build on a previous work that derives the first and second output moments of a two-layer piecewise linear network [2]. In this work, we derive an exact expression for the second moment, by dropping the zero mean assumption in [2].