Academic literature on the topic 'Propriétés fonctionnelles et non fonctionnelles'

La myopathie de Bethlem (BM) est une maladie caractérisée par des rétractions et une faiblesse musculaires. Cette pathologie résulte de mutations dans un des gènes codant l’une des trois chaînes α du collagène VI (COLVI), un composant de la matrice extracellulaire musculaire squelettique. Aujourd’hui, une question non résolue est de comprendre comment l’altération de COLVI présent à l’extérieur des cellules musculaires conduit à des modifications fonctionnelles dans les fibres musculaires. Le modèle poisson zèbre col6a1Δex14 est actuellement un modèle animal unique de la BM puisqu’il est le seul à reproduire spécifiquement l’une des mutations la plus fréquemment retrouvée chez les patients. Chez les patients et le poisson col6a1Δex14, la structure du réticulum sarcoplasmique est altérée, suggérant une perturbation de l’homéostasie calcique musculaire et/ou des canaux ioniques qui, en contrôlant cette homéostasie, jouent un rôle crucial dans la fonction et la pathogenèse musculaire. Notre projet vise ainsi à étudier à l’aide de techniques électrophysiologiques et de mesure de Ca2+ les propriétés des canaux ioniques et la régulation du Ca2+ intracellulaire au repos et en activité dans la fibre musculaire du poisson col6a1Δex14. Nos recherches devraient contribuer à mieux comprendre comment la perturbation de la matrice influe sur la fonction musculaire et conduire à terme à identifier des cibles thérapeutiques pour traiter cette maladie actuellement incurable. Enfin, du fait de la rareté des études fonctionnelles sur la cellule musculaire de poisson zèbre, ce projet permettra de constituer une base de données de référence sur les propriétés électrophysiologiques de ce modèle.

A Madagascar, la production halieutique annuelle est estimée à 150 000 tonnes. La crevette occupe une place importante dans l’économie malgache et constitue 73 p. 100 des exporta­tions de produits halieutiques (2). Cependant, une grande par­tie des produits entiers n’est pas destinée à la consommation humaine, étant constituée essentiellement par les carapaces et les têtes dont l’élimination peut poser un problème pour l’envi­ronnement. Pourtant, ces déchets contiennent des composants valorisables, notamment des protéines, des lipides et des miné­raux, pour l’amélioration de l’alimentation humaine. L’objectif de cette étude a été d’extraire par hydrolyse enzymatique les composés contenus dans les coproduits de crevettes, de les caractériser et de déterminer les propriétés fonctionnelles des fractions obtenues après hydrolyse.Pour l’hydrolyse, le processus décrit dans une étude antérieure (3) a été adopté avec quelques modifications : les carapaces et les têtes de crevettes ont été hydrolysées en présence de 2 p. 100 de pepsine pendant 2 h à 37 °C et à pH 2. Cette hydrolyse a permis d’obtenir trois fractions : le surnageant, l’eau de lavage du culot, et les résidus de lavage après inactivation de l’enzyme par neu­tralisation du milieu, centrifugation et lavage. Ces fractions ont été caractérisées (matières sèches, protéines, lipides et cendres brutes) et les propriétés fonctionnelles (propriété moussante, pro­priété d’absorption de lipides et propriété d’adsorption d’eau) du surnageant et de l’eau de lavage du culot ont été déterminées.Pour la détermination de la propriété moussante, 20 ml de la solu­tion préparée à 1 p. 100 de l’échantillon ont été homogénéisés à 9 500 tr/min pendant 1 min. Le volume de la mousse formée a été mesuré à 0, 30 s, et à 5, 10, 40 et 60 min. La capacité moussante a été exprimée par le pourcentage de l’augmenta­tion du volume de la mousse à 0 min tandis que la stabilité de la mousse a été exprimée par l’expansion de la mousse durant 60 min (1, 5). La propriété d’absorption de lipides a été obtenue par la détermination du volume d’huile absorbé par gramme de protéine après homogénéisation de 500 mg d’échantillon et 10 ml d’huile, avec agitation toutes les 10 min pendant 30 min et centrifugation à 2 500 tr/min pendant 25 min (1, 4). La pro­priété d’adsorption d’eau a été obtenue par la détermination du volume d’eau absorbé par gramme de protéine après homogé­néisation de 500 mg d’échantillon et 10 ml d’eau avec agitation toutes les 10 min pendant 30 min et centrifugation à 2 500 tr/min pendant 25 min (4).Les têtes de crevettes sont riches en protéines et les carapaces contiennent une quantité considérable de cendres brutes. Après hydrolyse pepsique, le taux d’hydrolyse des carapaces (57 p. 100) a été plus élevé que celui des têtes de crevettes (48 p. 100) (figure 1). Les résultats de la caractérisation des fractions obtenues ont montré que le surnageant contenait une quantité importante de protéines et présentait une propriété moussante intéressante (figures 2 et 3). En effet, l’hydrolyse enzymatique a donné lieu à des protéines de plus petite taille, augmentant leur solubilité et donc leur passage dans la phase soluble. Les résidus de lavage ont représenté une fraction chitineuse pauvre en cendres (tableau I). Le culot a montré une propriété d’absorption de lipides et d’adsorption d’eau non négligeable qui mérite d’être valorisée (figures 3 et 4).L’hydrolyse des coproduits de crevettes avec la pepsine a per­mis de séparer diverses molécules dans plusieurs fractions dont certaines possèdent des propriétés fonctionnelles intéressantes. Elle peut ainsi constituer une voie de valorisation permettant de récupérer différentes molécules d’intérêt.Actuellement, des études sur la toxicité des produits sont effec­tuées et leur utilisation en alimentation est envisagée. En outre, des études sur la composition des acides aminés des protéines du surnageant des carapaces et des têtes de crevettes, ainsi que sur la composition des acides gras contenus dans les lipides du culot sont envisagées pour la valorisation de chaque fraction issue de l’hydrolyse.

Soit Ω un domaine borné de RN, et soit f:Ω × R → R une fonction satisfaisant à la condition de Carathéodory (i.e., f(s, ·) est continue pour presque tout s ∊ Ω, et f (·, u) est mesurable pour tout u ∊ R). Considérons l'opérateur de la superposition(1.1)(encore appelé opérateur de Nemyckii), engendré par la fonction f. Cet opérateur joue un grand rôle dans la théorie des équations intégrales, différentielles (ordinaires et aux dérivées partielles), et fonctionnelles-différentielles, où il est important de connaître les propriétés analytiques et topologiques de F dans certains espaces de fonctions mesurables, intégrables, continues, différentiables, analytiques etc., les propriétés les plus importantes étant : théorèmes de transfert, de continuité, de bornage, et de compacité. Par exemple, on connaît de nombreux résultats sur l'opérateur (1) dans les espaces de Lebesgue L (voir [10] pour une présentation assez complète); en effet, si l'opérateur (1) envoie une partie de L , d'intérieur non vide, dans L, alors, il est automatiquement continu et borné sur chaque boule.

RÉSUMÉ Cet article traite de l’emprunt, à savoir les anglicismes en français du Québec (FQ), dans le cadre d’une théorie grammaticale. Le programme minimaliste de Chomsky (1995) émet l’hypothèse que la variation est restreinte aux parties non substantives du lexique et aux propriétés générales des éléments lexicaux. En d’autres termes, nous posons que les propriétés des catégories fonctionnelles de la grammaire créditrice sont toujours exclues de cet échange. Notre étude de cas porte sur l’étude du système du déterminant et du mot fun en FQ : c’est l’fun/*it's the fun, on a eu un fun noir/*we had a black fun (on s’est follement amusés), c'est full fun/*it's full fun (c’est très amusant). On y montre que les valeurs catégorielles doubles, en tant que N ou A attribuées exceptionnellement à ce mot dans la grammaire de l’anglais, se retrouvent également en FQ, mais d’une façon totalement nouvelle, innovatrice.

De nombreux désaccords existent quant à l’interprétation des aptitudes locomotrices des premiers homininés. En effet, la signification fonctionnelle à donner aux caractères à la fois dérivés et archaïques chez une même espèce fossile, comme par exemple chez l’Australopithecus afarensis, reste difficile. Les travaux intégratifs portant sur les primates non humains actuels (morphologie, biomécanique, répertoire posturo-locomoteur) sont des approches pertinentes à ces questions paléoanthropologiques, car les primates adoptent une multitude de modes locomoteurs avec des spécialisations plus ou moins importantes. Dans ce contexte, le babouin olive, Papio anubis, en tant que catarrhinien quadrupède spécialisé, mais possédant pourtant un répertoire posturolocomoteur varié, représente un bon modèle d’étude. Cette espèce est accessible à la station de primatologie du CNRS (UPS 846) de Rousset pour des études à la fois transversales et longitudinales. Des échantillons ontogénétiques permettent d’observer des variations morphologiques liées au développement allométrique et ainsi d’éclaircir la nature des relations entre morphologie, biomécanique de la marche et répertoire posturo-locomoteur. Cette note est une synthèse des résultats obtenus dans le cadre d’une étude intégrative et longitudinale. Au-delà de la spécialisation à la quadrupédie, il existe chez le babouin olive, comme chez l’ensemble des primates, des compromis morphologiques permettant la réalisation d’un répertoire varié, incluant des proportions quantifiables de bipédie, de grimper, de suspension, etc. Dans une perspective paléoanthropologique, ce constat sur des espèces actuelles suggère que les primates éteints, incluant les premiers homininés, devaient posséder de multiples capacités posturolocomotrices avec différents degrés de spécialisation. Dans ce contexte, la compréhension des relations fonctionnelles entre les morphologies actuelles, à la fois au niveau des morphotypes globaux (propriétés d’inerties) et de la morphologie osseuse, avec les répertoires posturo-locomoteurs est fondamentale. En effet, plutôt que rechercher un mode locomoteur unique chez nos ancêtres homininés, ces études sur les primates non humains permettront l’interprétation de répertoires posturo-locomoteurs ancestraux.

Les polysaccharides à base de mannose sont très largement répandus dans le monde vivant. D’un organisme à un autre, la longueur du squelette de mannose, le type de liaison entre les sucres, la composition et la longueur des ramifications sont extrêmement variables et confèrent à ces polymères des propriétés fonctionnelles et biologiques différentes. Au-delà de leur rôle structural ou encore de capteur de molécules d’eau dans les plantes, ils participent en particulier à la glycosylation des protéines et sont clairement impliqués dans les phénomènes d’interaction ligand-récepteur. Certains polymères de mannose viraux ou bactériens hautement conservés sont ainsi, chez les animaux supérieurs, reconnus très rapidement par l’hôte qui se défend en initiant une réponse non spécifique, dite « réaction immunitaire innée ». Plutôt reliées par les liaisons α chez les virus, les bactéries et les levures, les unités de mannose sont reliées par des liaisons β chez les végétaux supérieurs. Les β-mannanes sont présents dans tous les produits d’origine végétale, et à des teneurs particulièrement élevées dans certaines familles (palme, guar, coprah) et certains tourteaux utilisés en alimentation animale. Leurs propriétés anti-nutritionnelles observées chez les porcs et les volailles s’expliqueraient principalement par l’apparition d’inflammation intestinale induisant des baisses de performances, des baisses d’efficacité alimentaire et une augmentation des dépenses énergétiques associées à la mise en œuvre du système immunitaire.

Dans cette contribution, les auteurs mobilisent les concepts centraux d’une théorie des dispositifs pour s’intéresser à la formation en alternance. Ils insistent sur sa nature ensemblière à travers laquelle des dispositions idéelles, fonctionnelles et actorielles font système. Ils peuvent ainsi contribuer à une réflexion capable de rendre intelligibles les processus fondamentaux dont est porteur ce type de formations. L’alternance devient ici une propriété émergente en relation avec certains vécus en formation, et non forcément la caractéristiquea priorid’un dispositif. Dans cet article, ils revisitent tout d’abord la notion de dispositif. Ensuite, ils posent les bases d’un modèle de compréhension des dispositifs de formation, ce qui leur permet, enfin, de revenir à la spécificité des dispositifs de formation alternée et d’illustrer empiriquement leur propos avec deux études de cas issues de l’enseignement universitaire français.

Le but de cet article est de rapprocher l’évolution des règlements français puis européens relatifs à l’oeuf de consommation, et celle de la perception de la qualité de ce produit. Les règlements ont eu pour premiers objectifs d’identifier l’origine de l’oeuf et d’en garantir le statut microbiologique sous-tendant la notion de fraîcheur. Cette dernière a été clairement comprise par les consommateurs jusqu’à la fin des années 70. Elle semble aujourd’hui recouvrir une perception élargie de la qualité et englober, pour certains consommateurs des composantes telles que le mode d’élevage des poules (en cages ou non) ou la coloration du produit, totalement indépendantes de l’âge de l’oeuf après la ponte. A partir des années 80, en réponse à un mouvement de l’Europe du nord, la réglementation européenne a en effet autorisé l’indication du mode d’élevage des poules, ouvrant ainsi la porte à un nouveau champ de marketing mais aussi à l’ambiguïté soulevée plus haut dans la perception de la qualité. Le seul autre aspect véritablement réglementé et connu des consommateurs est le poids de l’oeuf, classé en un nombre de catégories sans doute trop élevé. Il n’est pas exclu que, dans les années à venir, des critères de qualité interne liés aux propriétés fonctionnelles ou à la composition des contenus fassent l’objet de nouveaux règlements ou comme c’est déjà le cas pour certains d’entre eux, de certifications de conformité.

RÉSUMÉ Kim attribue aux émergentistes un modèle de « réduction logique » dans lequel la prédiction ou l’explication d’une occurrence de la propriété réduite ne requiert, outre des informations sur le niveau réducteur, que des principes logiques et mathématiques. Sur la base de cette interprétation, je conteste deux thèses de Kim. La première concerne la légitimité du modèle émergentiste de réduction. J’essaie de montrer, à l’aide de l’exemple de l’addition des masses, que l’adoption de la réduction logique rendrait irréductibles certaines propriétés qui sont clairement réductibles. La deuxième est la thèse selon laquelle la réduction fonctionnelle correspond aux exigences émergentistes sur la réduction. Telle que Kim la caractérise, la réduction fonctionnelle comporte, outre une définition fonctionnelle de la propriété à réduire, l’indication des propriétés réalisatrices. Or cette information, qui correspond à la découverte d’une loi de correspondance (locale), est empirique et non seulement logique.

Au niveau système, un ensemble d'experts spécifient des propriétés fonctionnelles et non fonctionnelles en utilisant chacun leurs propres modèles théoriques, outils et environnements. Chacun essaye d'utiliser les formalismes les plus adéquats en fonction des propriétés à vérifier. Cependant, chacune des vues d'expertise pour un domaine s'appuie sur un socle commun et impacte direct ou indirectement les modèles décrits par les autres experts. Il est donc indispensable de maintenir une cohérence sémantique entre les différents points de vue, et de pouvoir réconcilier et agréger chacun des points de vue avant de poursuivre les différentes phases d'analyse. Cette thèse propose un modèle, dénommé PRISMSYS, qui s'appuie sur une approche multi-vue dirigée par les modèles et dans laquelle pour chacun des domaines, chaque expert décrit les concepts de son domaine et la relation que ces concepts entretiennent avec le modèle socle. L'approche permet de maintenir la cohérence sémantique entre les différentes vues à travers la manipulation d'événements et d'horloges logiques. PRISMSYS est basé sur un profil UML qui s'appuie autant que possible sur les profils SysML et MARTE. Le modèle sémantique qui maintien la cohérence est spécifié avec le langage CCSL qui est un langage formel déclaratif pour la spécification de relations causales et temporelles entre les événements de différentes vues. L'environnement proposé par PRISMSYS permet la co-simulation du modèle et l'analyse. L'approche est illustrée en s'appuyant sur une architecture matérielle dans laquelle le domaine d'analyse privilégié est un domaine de consommation de puissance.

Une séparation existe de longue date entre les domaines de la compilation et de l'ordonnancement temps-réel. Si ces deux domaines ont le même objectif - la construction d'implantations correctes - la séparation se justifie historiquement par des différences significatives entre les modèles et les méthodes utilisés. Cependant, avec la complexification des applications et du materiel qui les exécute, les problèmes étudiés dans ces deux domaines se confondent désormais largement. Dans cette thèse, nous nous concentrons sur la génération automatique de code pour des systèmes de contrôle embarqué incluant des contraintes complexes (notamment temps-réel). A ces fins, nous défendons l'idée qu'il est profitable de fournir un effort commun de recherche entre ces deux communautés. En adaptant une technique de compilation au problème d'ordonnancement temps réel d'applications sur des architectures multiprocessurs, nous montrons à la fois les difficultés inhérentes à cet effort commun, mais aussi les possibles avancées qu'il porte. En effet, nous montrons que l'adaptation de techniques d'optimisation à de nouveaux objectifs, dans un contexte différent facilite le développement de systèmes de meilleure qualité. Nous proposons d'utiliser les formalismes et langages synchrones comme base formelle commune dans ce travail d'adaptation. Ceux-cis étendent naturellement les modèles classiques utilisés pour l'ordonnancement temps réel (graphes de tâches dépendentes) et la compilation (SSA et graphes de dépendence de données), et fournissent également des techniques efficaces pour la manipulation de structures de contrôle complexes. Nous avons implanté nos résultats dans le compilateur LoPhT
There is a long standing separation between the fields of compiler construction and real-time scheduling. While both fields have the same objective - the construction of correct implementations – the separation was historically justified by significant differences in the models and methods that were used. Nevertheless, with the ongoing complexification of applications and of the hardware of the execution platforms, the objects and problems studied in these two fields are now largely overlapping. In this thesis, we focus on the automatic code generation for embedded control systems with complex constraints, including hard real-time requirements. To this purpose, we advocate the need for a reconciled research effort between the communities of compilation and real-time systems. By adapting a technique usually used in compilers (software pipelining) to the system-level problem of multiprocessor scheduling of hard real-time applications, we shed light on the difficulties of this unified research effort, but also show how it can lead to real advances. Indeed we explain how adapting techniques for the optimization of new objectives, in a different context, allows us to develop more easily systems of better quality than what was done until now. In this adaptation process, we propose to use synchronous formalisms and languages as a common formal ground. These can be naturally seen as extensions of classical models coming from both real-time scheduling (dependent task graphs) and compilation (single static assignment and data dependency graphs), but also provide powerful techniques for manipulating complex control structures. We implemented our results in the LoPhT compiler

Nous avons étudié plusieurs séries de molécules, en mettant en œuvre des calculs en Théorie de la Fonctionnelle de la Densité (DFT) et en DFT dépendante du temps (TDDFT) en nous intéressant aux propriétés de l'Optique Non Linéaire (ONL) de premier et second ordre, de photochromisme et de luminescence. Des calculs d’hyperpolarisabilité quadratique β ont été réalisés sur des composés octupolaires dérivés de la boroxine. Nous avons mis en évidence des structures présentant un bon compromis entre valeurs élevées de β et transparence dans le visible. Nous avons constaté l'augmentation de l’hyperpolarisabilité cubique γ avec l’énergie de la HOMO dans une série de bis(E-dimesitylborylethenyl) arènes et proposé des structures exaltant cette propriété. L’étude d’une série de complexes 4,4’-bis (X-styryl)-2,2’-bipyridine M(II) dichlorés nous a permis de déterminer leurs états de spin, leurs géométries ainsi que leurs propriétés en ONL quadratique. L’étude d’un ligand photochrome (L) obtenu en fonctionnalisant la 2,2’-bipyridine en position 4, 4’ par un motif R-Phényle – DTE styryl, avec R=H, OMe, NMe2 (DTE = dithiényléthène) conduisant par complexation à des molécules dipolaires et octupolaires de symétrie D3 ou D2d présentant de fortes non-linéarités quadratiques, a été effectuée. β Un bon accord entre les spectres UV-visible théoriques et expérimentaux a été obtenu permettant l’indexation des bandes d’absorption. Le photochromisme du DTE commute effectivement la propriété d’ONL. La complexation avec Zn(II) conduit à une nette augmentation de l’hyperpolarisabilité β. Nous avons mis en évidence un co-ligand conduisant à une exaltation de cette propriété
We investigated using theoretical tools, namely Density Functional Theory (DFT) and Time Dependent DFT (TDDFT) computations, several series of molecules. We focused our study on photochromic, luminescence and first and second order nonlinear optical (NLO) properties. Thus, quadratic β hyperpolarizability calculations were carried out on boroxine derivatives octupolar species. We highlighted structures exhibiting a good compromise between high βvalues and transparency in the visible region. We noted the increase of cubic γhyperpolarizability with the HOMO energy in a series of bis(E-dimesitylborylethenyl)-substituted arenes and proposed structures which enhance this property. The theoretical study of a series of 4,4′-bis(X-styryl)-2,2′-bipyridine M(II) dichloride complexes enabled us to determine their spin states, geometries and their quadratic NLO properties. The study of a photochromic ligand (L) derived from 4,4’-bis(ethenyl)-2,2’-bipyridine ligand functionalized by R-phenyl and DTE styryl groups with R=H, OMe, NMe2 (DTE = dithienylethene) which should lead by complexation to dipolar and octupolar systems with D3 or D2d symmetry exhibiting strong quadratic hyperpolarizabilities, has been done. A good agreement was obtained between theoretical and experimental UV-visible spectra permitting the assignment of the observed bands. Moreover, the photochromism of DTE commutes NLO βactivity of the ligand and the complexes. Zn(II) complexes exhibit a strong increase of β relatively to the isolated L ligand. We highlighted a co-ligand leading to an enhancement of this property

Les travaux de cette thèse portent sur les problèmes d’estimation non paramétrique des fonctions de densité, de régression et du mode conditionnel associés à des processus stationnaires à temps continu. La motivation essentielle est d’établir des propriétés asymptotiques tout en considérant un cadre de dépendance des données assez général qui puisse être facilement utilisé en pratique. Cette contribution se compose de quatre parties. La première partie est consacrée à l’état de l’art relatif à la problématique qui situe bien notre contribution dans la littérature. Dans le deuxième partie, nous nous intéressons à l’estimation, par la méthode du noyau, de la densité pour laquelle nous établissons des résultats de convergence presque sûre, ponctuelle et uniforme, avec des vitesses de convergence. Dans les parties suivantes, les données sont supposées stationnaires et ergodiques. Dans la troisième partie, des propriétés asymptotiques similaires sont établies pour l’estimation à noyau de la fonction de régression. Dans le même esprit, nous étudions dans la quatrième partie, l’estimation à noyau de la fonction mode conditionnel pour lequel nous établissons des propriétés de consistance avec des vitesses de convergence. L’estimateur proposé ici se positionne comme une alternative à celui de la fonction de régression dans les problèmes de prévision
The work of this thesis focuses upon some nonparametric estimation problems. More precisely, considering kernel estimators of the density, the regression and the conditional mode functions associated to a stationary continuous-time process, we aim at establishing some asymptotic properties while taking a sufficiently general dependency framework for the data as to be easily used in practice. The present manuscript includes four parts. The first one gives the state of the art related to the field of our concern and identifies well our contribution as compared to the existing results in the literature. In the second part, we focus on the kernel density estimation. In a rather general dependency setting, where we use a martingale difference device and a technique based on a sequence of projections on -fields, we establish the almost sure pointwise and uniform consistencies with rates of our estimate. In the third part, similar asymptotic properties are established for the kernel estimator of the regression function. Here and below, the processes are assumed to be ergodic In the same spirit, we study in the fourth part, the kernel estimate of conditional mode function for which we establish consistency properties with rates of convergence. The proposed estimator may be viewed as an alternative in the prediction issues to the usual regression function

Les propriétés optiques (, , ) de séries des anions aromatiques de S-, , et groupes de substituant avec n = 1,2,3 anneaux benzéniques ont été étudiées utilisant la paramétrisation de MP3, Ab-initio, au niveau de Hatree-Fock, M¢ller-Plesset MP2 et MP4 et la méthode DFT au niveau B3LYP avec les ensembles de bases 6-31+G(d,p) et 6-311++G(3d,3p). Les propriétés dynamiques ont été évaluées par la méthode Hartree-Fock dépendante du temps (TDHF). La méthode d’agrégats couplés (Coupled Cluster) est utilisée seulement pour étudier les propriétés optiques de l’anion benzène thiolate. Additionnellemnt, les propiétés ONL des complexes organo-métalliques , avec M = Zn, Cd,Hg, Pb et m = 3, 4 ont été calculées au niveau de MP3. Expérimentalement, nous avons déterminé par la diffusion Hyper-Rayleigh le de quelques sels carboxylates chiraux nouvellement synthétisés, le solvant étant le méthanol et aussi le d’une série de base d’acide nucléique comme les composés uracil, thymine, adenine, cytosine et 5-fluorouracil en solutions dans l’eau. Les résultats expérimentaux ont été confrontés au calcul de la composante principale zzz associée à la réponse HRS
We study theoretically the optical properties (, , ) of a series of aromatic anions of the S-, , and substituent groups, with n = 1, 2, 3 benzene rings, by using PM3 parametrization, Ab Initio at Hartree-Fock HF, M¢ller-Plesset MP2 and MP4 levels, and DFT methods at B3LYP level with the 6-31+G(d,p) and 6-311++G(3d,3p) basis sets. The dynamic properties where also evaluated with the Time Dependent Hartree-Fock (TDHF). Coupled Clusters CC methods were used for the benzene-thiolate anion properties only. Additionally, the nonlinear properties at PM3 level of some organometallic thiolates complexes: , where M = Zn, Cd,Hg, Pb and m = 3, 4, were also studied. On the other hand, we determined using the hyper Rayleigh-Scattering HRS experimental technique of some new synthesized chiral carboxylates salts using methanol as solvent and we also measured a series of bases of nucleic acid such as uracil, thymine, adenine, cytosine and 5-fluorouracil compounds in water solutions. Also, was studied the first hyperpolarizability of para-Nitroaniline in methanol solution. The experimental results are supported by calculations of the zzz main component associated to the HRS response

Pour remplir la mission qui lui est assignée et atteindre les objectifs fixés, un système complexe doit satisfaire un ensemble d’exigences fonctionnelles et non fonctionnelles identifiées et formalisées. Parmi les exigences non fonctionnelles certaines sont identifiées comme mettant à disposition du système un ensemble de capacités lui permettant de satisfaire aux objectifs de sa mission. Ce référentiel intégré les exigences connues sous le nom d’ « -ilities » telles que la résilience, l’interopérabilité (De Weck , 2012). La résilience apparait comme une exigence importante et devant être maitrisée et maximisée par un système qui souhaite faire face à des perturbations et maintenir des niveaux de services et de performances acceptables. En effet, elle se définie comme « la capacité à résister, absorber, se rétablir ou s’adapter à une épreuve ou des changements » (Hollnagel, 2011). Dans ce contexte, une évaluation de la résilience peut permettre à des opérateurs humains d’identifier plus facilement les éléments (activités, techniques, humains…) qui pourraient tendre à améliorer le niveau de résilience. Les travaux présentés dans ce manuscrit portent sur la définition, la spécification et le développement d’une méthode pour l’évaluation de la résilience des systèmes. Si le concept de résilience n’est pas nouveau, les études existantes se limitent majoritairement au développement de méthodes d’évaluation basée sur la performance et la qualité de service d’un système. De plus ces méthodes se concentre souvent sur l’évaluation d’une seule des phases du cycle de vie de la résilience : anticipation ou réponse ou rétablissement. En ce sens ces méthodes n’intègrent pas les interactions existantes entre la résilience et les autres exigences. Dans cette thèse, nous nous intéressons à l’étude des interactions entre les exigences et la résilience afin de fournir une évaluation globale de la résilience du système et, ceci, dans chacune des phases du cycle de vie de la résilience. En conséquence, la méthode développée pour évaluer la résilience s’appuie sur l’analyse du réseau d’« -ilities » et à la caractérisation de la nature des relations qui existent entre la résilience et ces « -ilities ». La méthode proposée s’appuie sur deux contributions : la réalisation d’une cartographie de la résilience et la formalisation d’un indicateur de résilience nommé « opérabilité ». La cartographie permet d’identifier l’ensemble des « -ilities » qui sont en relation avec la résilience et, de les positionner relativement à leur implication dans le cycle de vie de la résilience (anticipation, réponse, rétablissement). Cette cartographie est réalisée à partir de l’analyse des travaux existants sur les « -ilities » et de son réseau (De Weck, 2012). C’est sur la base de ses relations et de la définition de leur nature l’indicateur de résilience est développé. L’évaluation fourni par notre indicateur (« opérabilité ») est qualitative. Elle s’appuie sur la définition d’un ensemble de paramètres (valeur courante, impact, priorité et existence) décrivant les interactions des autres « -ilities » sur la résilience. L’indicateur construit permet d’agréger tous ces paramètres afin de donner une évaluation de la résilience pour chaque phase de son cycle de vie. L’interprétation résultante est alors facilement exploitable par des opérateurs humains afin de leur de vérifier l’état courant de résilience voire de l’améliorer
To fulfill its mission and achieve its objectives, a complex system must satisfy a set of identified and formalized functional and non-functional requirements. Some non-functional requirements are identified as providing a set of capabilities allowing a system to reach its objectives. This repository includes the requirements known as « -ilities » such as the resilience or the interoperability (De Weck, 2012). The resilience is an important requirement that must be managed and maximized by a system that aims to face up to disruptions and maintain acceptable levels of service and performance. It is defined as "the ability to resist, absorb, recover or adapt to a test or change" (Hollnagel, 2011). In this context, the assessment of resilience enables human operators to easily identify the elements (activities, techniques, humans ...) that can improve the level of resilience. The here presented research work focuses on the definition, the specification and the development of a method to evaluate the resilience. Although the concept of resilience is not new, existing studies are mainly limited to the development of evaluation methods based on the performance and quality of service of a system. In addition, these methods often focus only on one phase of the resilience lifecycle: anticipation or response or recovery. In this sense, these methods do not integrate existing interactions between resilience and other requirements. In this research work, we focus on the study of the interactions between requirements and resilience to provide an overall assessment of the resilience in each of its lifecycle phases. As a result, the method developed to assess resilience is based on the analysis of the network of "-ilities" and the characterization of the nature of the relationships that exist between resilience and these « -ilities ». The proposed method is based on two contributions: the mapping of the resilience and the formalization of a resilience metric called "operability". Mapping allows to identify all « -ilities » linked to resilience and to position them according to their involvement in the life cycle of the resilience (anticipation, response, recovery). This mapping is based on the analysis of existing work on « -ilities » and its network (De Weck, 2012). According to its relationships and the definition of their nature the indicator of resilience is developed. The evaluation provided by the metric ("operability") is qualitative. It relies on the definition of a set of parameters (current value, impact, priority and existence) describing the interactions of other « -ilities » on resilience. The developed metric allows to aggregate all these parameters to give an evaluation of the resilience for each phase of its life cycle. The resulting interpretation is then easily exploitable by human operators in order to check the current state of resilience or improve it

Bien que présentant de nombreux avantages, l'Ingénierie Dirigée par les Modèles manque d’une part de mécanismes pour spécifier les aspects non-fonctionnels (par ex. Performance) des applications temps réel, et d’autre part de méthodologies pour intégrer des outils d’analyse non-fonctionnelle dans un processus global d'aide à la conception. En réponse à ces limitations, cette thèse propose trois extensions à UML (Unified Modeling Language): 1) une infrastructure générique pour spécifier précisément des propriétés non-fonctionnelles, 2) un profil spécialisé pour annoter des modèles de conception afin de permettre leur analyse d'ordonnançabilité, et 3) un ensemble de concepts génériques de haut-niveau pour composer des contextes d'analyse à partir de modules paramétrés. Des règles méthodologiques sont également proposées pour favoriser l’intégration de multiples techniques d'analyse afin d’évaluer des choix d’allocation et de configuration de ressources d’une manière globalement optimale
Despite the potential benefits of Model Driven Engineering in the real-time systems domain, there is a lack of suitable mechanisms for specifying non-functional aspects (e. G. Performance, reliability) as well as of efficient methodologies for integrating non-functional analysis techniques and tools in a global design decision process. To overcome these limitations, this thesis proposes a set of extensions to UML (Unified Modeling Language): 1) a generic framework for specifying accurate non-functional properties, 2) a specialized profile that allows annotating design models for enabling their schedulability analysis, and 3) a generic set of high-level constructs to compose complex analysis contexts from parameterized building blocks. Besides, we also define methodological guidelines and usage constraints that help users to integrate multiple analysis techniques in order to evaluate globally optimal resource selection, allocation and configuration

Dans cette thèse, nous étudions un concept de dépendance plus général que ceux d'association positive et négative appelé ``quasi-association''. Dans la première partie de ce travail, nous rappelons d'abord les définitions et les propriétés de l'association positive et négative. Nous nous intéressons ensuite aux théorèmes limites des variables quasi-associées à valeurs dans un espace de Hilbert séparable. La deuxième partie est consacrée à l'étude des propriétés asymptotiques des estimateurs à noyau de la densité et de la régression pour des variables quasi-associées à valeurs dans (dollar) R^d (dollar), (dollar) d\geq 1 (dollar). Pour finir, nous étudions l'estimation de la fonction de régression dans le cas o\`u la variable explicative est à valeurs dans un espace de Hilbert.

Ce travail s'inscrit dans le cadre du développement formel de programmes. Ces programmes sont obtenus par transformation de spécifications formelles (algébriques) en appliquant des règles de base du système fold/unfold ou des tactiques de développement les combinant. A cet effet un langage de développement par transformation a été défini. Il est supporté par un système de types d'ordre supérieur appelé DEVA développé dans le cadre du projet ESPRIT-TOOL'USE. Les développements sont exprimés dans ce langage. L'isomorphisme de Curry-Howard établissant la correspondance entre type et proposition garantit la correction des développements. Un des objectifs principaux a été la prise en compte des propriétés non fonctionnelles durant les phases du développement. Nous nous sommes particulièrement intéressés à la complexité en temps et à la précision des programmes numériques. L'interprétation abstraite étendue aux développements formels de programmes a permis l'évaluation et la vérification de ces propriétés et donc l'utilisation de celles-ci pour diriger les transformations. Le contrôle d'une propriété permet la sélection d'une tactique de transformation ou le choix de représentation de données. Les schémas de programmes de Huet & Lang ont été étendus aux schémas de développement. Ceci a permis d'envisager la réutilisation des programmes obtenus mais aussi des développements grâce au filtrage (matching) des spécifications. Une analyse des développements pour détecter les propriétés pertinentes a été développée: elle permet l'extraction des propriétés à vérifier lors de la réutilisation.

HEMARINA est une société de biotechnologie créée en 2007, qui développe un transporteur doxygène universel à partir de lhémoglobine M101 issue d’un annélide marin, Arenicola marina. Les caractéristiques de M101 sont déjà exploitées ou évaluées à des fins médicales par la société HEMARINA pour la préservation des organes dans les cas de transplantation (HEMO2life®, Thuillier et al, 2011, Teh et al, 2017 ; Mallet et al., 2014), en tant que pansement actif favorisant la cicatrisation et loxygénation de plaies hypoxiques (HEMHealing®, brevet international Ref. WO2009/007532, intitulé « Utilisation d’une hémoglobine pour la préparation de pansements, et pansements ainsi preparés »), comme transporteur doxygène universel en transfusion (HEMOXYCarrier®, Rousselot et al., 2006), et comme activateur de croissance cellulaire in vitro (HEMOXCell®/HEMUPStream®, Le Pape et al, 2015). Depuis 2018, HEMARINA a élargi son champ dapplication en souvrant au domaine dentaire. Les maladies parodontales en tant quinfections polymicrobiennes sont un danger pour la santé surtout chez les patients à risque. Elles sont impliquées dans la survenue ou laggravation des certaines situations pathologiques tels que les cardiopathies, les maladies respiratoires, le déséquilibre du diabète et les accouchements prématurés (Ide et al, 2011, Detert et al., 2010, Huck et al., 2011). Les parodontites sont un enjeu de santé publique et leur traitement vise non seulement à conserver les organes et implants dentaires fonctionnels, mais surtout à protéger lorganisme contre les pathologies générales associées (Fremont et al, 2008). HEMARINA développe HEMDental-Care, M101 formulé sous forme de gel, destiné à ê tre utilisé comme adjuvent aux traitements parodontaux pour ses propriétés antibactériennes. En plus d’un possible effet sur les dysbioses, M101 pourrait in vivo favoriser les processus de réparation des tissus (mous et durs) (HEMDental-Regenerativ). En effet, il a été démontré que lajout de M101 dans les milieux de culture favorise la croissance de lignées cellulaires in vitro (Le Pape et al., 2017 a) et favorise la recolonisation de greffons osseux allogéniques par les cellules souches mésenchymateuses ( Le Pape et al., 2017 b).

La reconstruction palpébrale fonctionnelle et esthétique implique une réhabilitation de tous les plans palpébraux. Elle se base sur la distinction de deux entités fonctionnelles: la lamelle postérieure qui comporte le tarse, la conjonctive et les rétracteurs qui assurent l’abaissement de la paupière dans le regard vers le bas; la lamelle antérieure cutanéo- musculaire qui assure l’occlusion palpébrale. Toute technique doit impérativement restaurer les deux lamelles fonctionnelles. La réhabilitation du plan postérieur tarsoconjonctival peut utiliser différents greffons autologues: identiques (greffes et lambeaux tarsoconjonctival), soit analogues (greffes cartilagineuses, chondro muqueuses ou fibro muqueuses). Le recouvrement cutané dépend lui de la situation de la perte de substance et de la paupière concernée. L’utilisation de la fibromuqueuse palatine en chirurgie palpébrale fut décrite pour la première fois par Siegel en 1985. Histologiquement, le greffon palatin comporte trois couches de la superficie à la profondeur : la couche muqueuse, épithélium malpighien kératinisé, la couche glandulaire sous-muqueuse et le périoste. Cette technique à trouvée son application au centre hospitalier de Pau, dans la reconstruction de la paupière inférieure d’une patiente, après exérèse carcinologique d’un carcinome basocellulaire du bord libre. Egalement dans la reconstruction d’un plan tarso conjonctival chez un patient enophtalme pour permettre un soutien de la prothèse oculaire. Ces chirurgies sont réalisées en doubles équipes afin de mutualiser les compétences. La fibromuqueuse palatine trouve une indication de choix dans la reconstruction de tout ou partie de la lamelle postérieure de la paupière inférieure. Elle est indiquée en seconde intention pour la paupière supérieure car le taux de complications semble y être plus élevé (Leibovitch 2006). Il est nécessaire de prélever un greffon 10% plus large que la taille du défect muqueux car la greffe palatine se rétracte légèrement à moyen terme (Hatoko 1999). La fibromuqueuse palatine offre de nombreux avantages : une incurvation adéquate « moulant » le globe oculaire, une rigidité satisfaisante, une excellente survie en association à un lambeau et une morbidité acceptable au niveau du site donneur. Cohen et Shorr ont également montré que la muqueuse palatine subit une métaplasie en épithélium non kératinisé limitant ainsi à terme les risques d’irritation cornéenne et de kératite. Par opposition aux greffes tarso conjonctivales, l’intérêt majeur est la préservation de la paupière antagoniste. Les inconvénients sont surtout liés aux complications possibles: un saignement palatin souvent précoce dans les 48h postopératoires (10% des cas) (Wearne 2001); un retard de cicatrisation; une infection palpébrale à Candida; une sécrétion salivaire palpébrale due à la persistance de glandes salivaires dans le greffon et qui peut être tarie par cryothérapie.