Modules d'endo-permutation

Dans la th´eorie des repr´esentations modulaires des groupes finis, les modules d?endo-permutation occupent une place importante. En e_et, c?est le r?ole jou´e par ces modules dans l?analyse de la structure de certains modules simples pour des groupes finis p-nilpotents, qui a amen´e E. Dade `a en introduire le concept, en 1978. Quelques ann´ees plus tard, L. Puig a d´emontr´e que la source de n?importe quel module simple pour un groupe fini p-r´esoluble quelconque est un module d?endo-permutation. Plus r´ecemment, on s?est rendu compte que ces modules interviennent aussi dans l?analyse locale des cat´egories d´eriv´ees et dans l?´etude des syst`emes de fusion. La situation que l?on consid`ere est la suivante. On se donne un nombre premier p, un p-groupe fini P, un corps alg´ebriquement clos k de caract´eristique p et on veut d´eterminer tous les kP-modules d?endo-permutation couverts ind´ecomposables de type fini, c?est-`a-dire tous les kP-modules ind´ecomposables de type fini, tels que leur alg`ebre d?endomorphismes est un kP-module de permutation ayant un facteur direct trivial. On d´efinit une relation d?´equivalence sur l?ensemble de ces kP-modules et le produit tensoriel des modules induit une structure de groupe ab´elien sur l?ensemble des classes d?´equivalence. On appelle ce groupe, le groupe de Dade de P. Ainsi, classifier les modules d?endo-permutation couverts revient `a d´eterminer le groupe de Dade de P. Le groupe de Dade d?un p-groupe fini arbitraire est encore inconnu, bien qu?E. Dade, en 1978, ´etait d´ej`a parvenu `a la classification dans le cas o`u P est ab´elien. La premi`ere partie de ce travail de th`ese est consacr´ee au probl`eme de la classification dans le cas g´en´eral et r´esoud la question dans le cas de deux familles de p-groupes finis, `a savoir celle des p-groupes m´etacycliques, pour un nombre premier p impair, et celle des 2-groupes extrasp´eciaux, de la forme D8 _ · · · _ D8. Ces deux choix ont ´et´e motiv´es par le fait que ces groupes sont "presque" ab´eliens. De plus, certains r´esultats sur la structure du groupe de Dade d?un p-groupe fini quelconque rendent le groupe de Dade des groupes de ces deux familles plus simple `a ´etudier. Dans un deuxi`eme temps, nous nous sommes int´eress´es `a deux occurrences de ces modules dans la th´eorie de la repr´esentation des groupes finis, c?est-`a-dire `a deux raisons qui motivent leur ´etude. Ainsi, nous avons r´ealis´e des modules d?endo-permutation comme sources de modules simples. En particulier, il s?av`ere que, dans le cas d?un nombre premier p impair, tout module d?endo-permutation ind´ecomposable dont la classe est un ´el´ement de torsion dans le groupe de Dade est la source d?un module simple. Finalement, nous avons d´etermin´e, parmi tous les modules d?endo-permutation connus actuellement, lesquels poss`edent une r´esolution de permutation endo-scind´ee. Nous sommes arriv´es `a la conclusion que les seuls modules d?endo-permutation qui n?ont pas de r´esolution de permutation endo-scind´ee sont les modules "exceptionnels" apparaissant pour un 2-groupe de quaternions g´en´eralis´es.<br/><br/>In modular representation theory, endo-permutation modules occupy an important position. Indeed, the role that these modules play, in the analysis of the structure of some particular simple modules for finite p-nilpotent groups, induced E. Dade, in 1978, to give them their current name. A few years later, L. Puig proved that the source of any simple module for any finite psolvable group is an endo-permutation module. More recently, the occurrence of endo-permutation modules has also been noticed in the local analysis of splendid equivalences between derived categories and in the study of fusion systems. We consider the following situation. Given a prime number p, a finite pgroup P and an algebraically closed field k of characteristic p, we are looking for all finitely generated indecomposable capped endo-permutation kP-modules. That is, all finitely generated indecomposable kP-modules such that their endomorphism algebra is a permutation kP-module having a trivial direct summand. Then, we define an equivalence relation on the set of all isomorphism classes of such modules, and it turns out that the tensor product (over k) induces a structure of abelian group on this set. We call this group the Dade group of P. Hence, classifying all indecomposable finitely generated capped endo-permutation kPmodules is equivalent to determining the Dade group of P. At present, the Dade group of an arbitrary finite p-group is still unknown. However, E. Dade computed the Dade group of all finite abelian p-groups, in 1978 already. The first part of this doctoral thesis is concerned with the problem of the classification in the general case and solve it in the case of two families of finite p-groups, namely the metacyclic p-groups, for an odd prime number p, and the extraspecial 2-groups of the shape D8 _· · ·_D8. These two choices have been motivated by the fact that these groups are not far from being abelian. Moreover, some general results concerning the Dade group of arbitrary finite p-groups suggest that the Dade group of the groups belonging to these two families is easier to study. In the second part of this thesis, we have been looking at two particular occurrences of these modules in representation theory of finite groups which motivate the interest of their classification. Thus, we realised endo-permutation modules as sources of simple modules. In particular, it turns out that, in case p is an odd prime, any indecomposable module whose class in the Dade group is a torsion element is the source of some simple module. Finally, we considered all the modules we know at present and determined which ones have an endo-split permutation resolution. We could then conclude that all but the "exceptionnal" modules occurring in the generalized quaternion case have an endo-split permutation resolution.<br/><br/>"Module d?endo-permutation" n?est pas le nom d?une maladie exotique contagieuse (du moins pas `a ma connaissance), comme vous pourriez peut-?etre l?imaginer si vous faites partie des personnes qui croient que le titre de docteur n?est destin´e qu?aux m´edecins. Dans ce cas, il se peut que le sujet dont il est question ici vous cause quelques naus´ees et r´eveille de douloureux souvenirs d?´ecole, car un module d?endo-permutation est un objet math´ematique, alg´ebrique, plus pr´ecis´ement. Ce concept a ´et´e introduit il y a un quart de si`ecle, de l?autre c?ot´e de l?Atlantique, et il s?est r´ev´el´e su_samment int´eressant pour qu?aujourd?hui il ait franchi bien des fronti`eres, celles de l?alg`ebre y compris. Mais de quoi s?agit-il ? Si vous entendez le terme "endo-permutation" probablement pour la premi`ere fois, ce n?est certainement pas le cas pour celui de "module". Cependant, sa d´efinition dans le pr´esent contexte ne co¨ýncide avec aucune de celles figurant dans les dictionnaires ordinaires. Les personnes qui ont d´ej`a entendu parler de Frobenius, Burnside, Schur, ou encore Brauer, pourront vous dire qu?un module est une repr´esentation. "De quoi ?" vous demanderezvous. "Un spectacle de marionnettes, peut-?etre ?" Bien s?ur que non ! Un module d?endo-permutation est une repr´esentation particuli`ere de certains groupes finis, o`u un groupe n?est pas un groupe de rock, comme vous pouvez vous en douter, mais d´esigne un objet math´ematique connu par tous les ´etudiants en sciences au terme de leur premi`ere ann´ee universitaire (en th´eorie, du moins). La "popularit´e" de la notion de groupe, fini ou non, est due au fait que les groupes sont fr´equemment utilis´es, aussi bien dans le domaine abstrait des math´ematiques, que dans le monde r´eel des physiciens, chimistes et autres biologistes (pour ne citer qu?eux). "Mais comment peut-on utiliser concr`etement ces objets invisibles ?" vous demanderez-vous alors. Et bien, justement, en les consid´erant par l?interm´ediaire de leurs repr´esentations, c?est-`a-dire en leur associant des matrices, de fa¸con plus ou moins naturelle. Or, comme il y a "beaucoup trop" de matrices pour un groupe donn´e, elles sont classifi´ees selon certaines de leurs propri´et´es, ce qui permet de les r´epertorier dans diverses familles (celle des modules d?endo-permutation, par exemple). Un groupe est ainsi rendu "concret", car les donn´ees matricielles sont manipulables par tous les scienti- fiques (et leurs ordinateurs), qui peuvent alors les utiliser dans leurs recherches, afin de contribuer au progr`es de la science. En toute franchise, c?est bien loin de ces soucis terre-`a-terre que ce travail de th`ese sur la classification des modules d?endo-permutation a ´et´e accompli. En fait, quitte `a choquer certaines ?ames sensibles, sa r´ealisation est surtout due au caract`ere ´epicure de son auteur, qui, avouons-le, en a ´et´e pleinement satisfait !

Mekanismien dynamiikan simuloinnissa sovellettavia numeerisia- ja mallinnusmenetelmiä

Koneet voidaan usein jakaa osajärjestelmiin, joita ovat ohjaus- ja säätöjärjestelmät, voimaa tuottavat toimilaitteet ja voiman välittävät mekanismit. Eri osajärjestelmiä on simuloitu tietokoneavusteisesti jo usean vuosikymmenen ajan. Osajärjestelmien yhdistäminen on kuitenkin uudempi ilmiö. Usein esimerkiksi mekanismien mallinnuksessa toimilaitteen tuottama voimaon kuvattu vakiona, tai ajan funktiona muuttuvana voimana. Vastaavasti toimilaitteiden analysoinnissa mekanismin toimilaitteeseen välittämä kuormitus on kuvattu vakiovoimana, tai ajan funktiona työkiertoa kuvaavana kuormituksena. Kun osajärjestelmät on erotettu toisistaan, on niiden välistenvuorovaikutuksien tarkastelu erittäin epätarkkaa. Samoin osajärjestelmän vaikutuksen huomioiminen koko järjestelmän käyttäytymissä on hankalaa. Mekanismien dynamiikan mallinnukseen on kehitetty erityisesti tietokoneille soveltuvia numeerisia mallinnusmenetelmiä. Useimmat menetelmistä perustuvat Lagrangen menetelmään, joka mahdollistaa vapaasti valittaviin koordinaattimuuttujiin perustuvan mallinnuksen. Numeerista ratkaisun mahdollistamiseksi menetelmän avulla muodostettua differentiaali-algebraaliyhtälöryhmää joudutaan muokkaamaan esim. derivoimalla rajoiteyhtälöitä kahteen kertaan. Menetelmän alkuperäisessä numeerisissa ratkaisuissa kaikki mekanismia kuvaavat yleistetyt koordinaatit integroidaan jokaisella aika-askeleella. Tästä perusmenetelmästä johdetuissa menetelmissä riippumattomat yleistetyt koordinaatit joko integroidaan ja riippuvat koordinaatit ratkaistaan rajoiteyhtälöiden perusteella tai yhtälöryhmän kokoa pienennetään esim. käyttämällä nopeus- ja kiihtyvyysanalyyseissä eri kiertymäkoordinaatteja kuin asema-analyysissä. Useimmat integrointimenetelmät on alun perin tarkoitettu differentiaaliyhtälöiden (ODE) ratkaisuunjolloin yhtälöryhmään liitetyt niveliä kuvaavat algebraaliset rajoiteyhtälöt saattavat aiheuttaa ongelmia. Nivelrajoitteiden virheiden korjaus, stabilointi, on erittäin tärkeää mekanismien dynamiikan simuloinnin onnistumisen ja tulosten oikeellisuuden kannalta. Mallinnusmenetelmien johtamisessa käytetyn virtuaalisen työn periaatteen oletuksena nimittäin on, etteivät rajoitevoimat tee työtä, eli rajoitteiden vastaista siirtymää ei tapahdu. Varsinkaan monimutkaisten järjestelmien pidemmissä analyyseissä nivelrajoitteet eivät toteudu tarkasti. Tällöin järjestelmän energiatasapainoei toteudu ja järjestelmään muodostuu virtuaalista energiaa, joka rikkoo virtuaalisen työn periaatetta, Tästä syystä tulokset eivät enää pidäpaikkaansa. Tässä raportissa tarkastellaan erityyppisiä mallinnus- ja ratkaisumenetelmiä, ja vertaillaan niiden toimivuutta yksinkertaisten mekanismien numeerisessa ratkaisussa. Menetelmien toimivuutta tarkastellaan ratkaisun tehokkuuden, nivelrajoitteiden toteutumisen ja energiatasapainon säilymisen kannalta.

Validation Studies of Thermal-hydraulic Code for Safety Analysis of Nuclear Power Plants

This thesis gives an overview of the validation process for thermal hydraulic system codes and it presents in more detail the assessment and validation of the French code CATHARE for VVER calculations. Three assessment cases are presented: loop seal clearing, core reflooding and flow in a horizontal steam generator. The experience gained during these assessment and validation calculations has been used to analyze the behavior of the horizontal steam generator and the natural circulation in the geometry of the Loviisa nuclear power plant. The cases presented are not exhaustive, but they give a good overview of the work performed by the personnel of Lappeenranta University of Technology (LUT). Large part of the work has been performed in co-operation with the CATHARE-team in Grenoble, France. The design of a Russian type pressurized water reactor, VVER, differs from that of a Western-type PWR. Most of thermal-hydraulic system codes are validated only for the Western-type PWRs. Thus, the codes should be assessed and validated also for VVER design in order to establish any weaknesses in the models. This information is needed before codes can be used for the safety analysis. Theresults of the assessment and validation calculations presented here show that the CATHARE code can be used also for the thermal-hydraulic safety studies for VVER type plants. However, some areas have been indicated which need to be reassessed after further experimental data become available. These areas are mostly connected to the horizontal stem generators, like condensation and phase separation in primary side tubes. The work presented in this thesis covers a large numberof the phenomena included in the CSNI code validation matrices for small and intermediate leaks and for transients. Also some of the phenomena included in the matrix for large break LOCAs are covered. The matrices for code validation for VVER applications should be used when future experimental programs are planned for code validation.

Replicabilidad de los factores de segundo orden del 16PF-5 en muestras americanas y españolas

El objetivo de este estudio fue replicar las estructuras de 5 y 6 factores de segundo orden del 16PF-5. Para la estructura de 5 factores se toma como referencia teórica la estructura obtenida por Russell y Karol (1995), y para la estructura de 6 factores (incluyendo un factor adicional de Razonamiento) la obtenida en muestras americanas por Cattell y Cattell (1995). Se utilizan tres procedimientos para el estudio de la replicabilidad, a) análisis factorial exploratorio, b) análisis de la estructura ortogonal Procrustes, y c) análisis de los índices de congruencia entre las tres matrices factoriales. Las matrices factoriales obtenidas en el presente estudio son similares a las informadas en los estudios de referencia, aunque la solución Procrustes se revela ligeramente más parecida. Los índices de congruencia en ge- neral son aceptables por lo que se concluye que el 16PF-5 demuestra buena replicabilidad.

Clonal growth and demography of a hemicryptophyte alpine plant: Leontopodium alpinum Cassini

Clonally reproducing hemicryptophytic rosette plants are common in the alpine belt. However, their demography, and indirectly their growth and reproductive strategy in these harsh conditions, was rarely studied. We analysed the morphology, clonal reproduction and demography of one such species, Leontopodium alpinum, in two populations of the Swiss Alps. The species forms small colonies of 1-5 (maximum 30) sterile rosettes with a few flowering stalks. After flowering, the apical meristem dies and one or two new axillary buds grow below the previous rosette in the following year, developing into short rhizomes (<2 cm), which decay after four years. The new stalk produces sterile rosettes before flowering after two to four years, depending on climatic conditions. The apical meristem often dies during the sterile stage, and is replaced by a new axillary bud. Levkovitch matrices on two stages (sterile and flowering rosettes) showed that rosette survival and clonal reproduction maintain long-lived populations (λ = 0.96). Elasticities indicated that a change in the survival of sterile rosettes had the strongest effect on population dynamics, and this stage lasts, on average, 6.8 years at 2480 m. Altogether, L. alpinum is following Tomlinson's architectural model. This growth form appears perfectly adapted to harsh alpine conditions: the clonal ramification ensures longevity to genets and the semelparous behaviour of the rosettes allows an efficient flowering, whatever the climatic conditions. L. alpinum appears to follow a common growth model among rosette possessing hemicryptophytes in the alpine belt.

Spatially varying selection shapes life history clines among populations of Drosophila melanogaster from sub-Saharan Africa.

Clines in life history traits, presumably driven by spatially varying selection, are widespread. Major latitudinal clines have been observed, for example, in Drosophila melanogaster, an ancestrally tropical insect from Africa that has colonized temperate habitats on multiple continents. Yet, how geographic factors other than latitude, such as altitude or longitude, affect life history in this species remains poorly understood. Moreover, most previous work has been performed on derived European, American and Australian populations, but whether life history also varies predictably with geography in the ancestral Afro-tropical range has not been investigated systematically. Here, we have examined life history variation among populations of D. melanogaster from sub-Saharan Africa. Viability and reproductive diapause did not vary with geography, but body size increased with altitude, latitude and longitude. Early fecundity covaried positively with altitude and latitude, whereas lifespan showed the opposite trend. Examination of genetic variance-covariance matrices revealed geographic differentiation also in trade-off structure, and QST -FST analysis showed that life history differentiation among populations is likely shaped by selection. Together, our results suggest that geographic and/or climatic factors drive adaptive phenotypic differentiation among ancestral African populations and confirm the widely held notion that latitude and altitude represent parallel gradients.

Aplicación de imágenes radar de satélite a la cartografía de la vegetación en zonas boreales

El presente estudio se enmarca en el proyecto europeo SIBERIA. Trata de explorar el uso de imágenes radar de satélite (ERS y JERS) para la actualización de la cartografía de vegetación de zonas boreales. Se dispone de 8 imágenes de amplitud y coherencia tomadas en 1998, así como de un inventario de vegetación georreferenciado de dos pequeñas zonas. Se proponen tres tipos de clasificaciones supervisadas por el método de máxima verosimilitud. La primera con las imágenes de satélite, la segunda añadiendo algunas imágenes texturales, y la tercera utilizando sólo las imágenes de los componentes principales más significativos. Se siguen los criterios establecidos en el proyecto SIBERIA para la obtención de áreas de entrenamiento. Se propone una doble validación, por una parte vía matrices de confusión a partir de áreas de verdad-terreno obtenidas por el mismo método que las áreas de entrenamiento, y por otra parte contrastando y correlacionando las clasificaciones con los parámetros de inventario disponibles para dos pequeñas áreas de verdad-terreno. Los resultados indican una sensible mejora en la clasificación con la incorporación de imágenes texturales (la precisión aumenta de un 66% a un 75%), y señalan el parámetro biomasa como el mejor correlacionado con las clasificaciones derivadas (coeficiente de correlación r de hasta 0,49). Diferentes fuentes de error permiten augurar un margen de mejora para posteriores estudios.

Affinity distribution functions in multicomponent heterogeneous adsorption. Analytical inversion of isotherms to obtain affinity spectra

An analytical approach for the interpretation of multicomponent heterogeneous adsorption or complexation isotherms in terms of multidimensional affinity spectra is presented. Fourier transform, applied to analyze the corresponding integral equation, leads to an inversion formula which allows the computation of the multicomponent affinity spectrum underlying a given competitive isotherm. Although a different mathematical methodology is used, this procedure can be seen as the extension to multicomponent systems of the classical Sips’s work devoted to monocomponent systems. Furthermore, a methodology which yields analytical expressions for the main statistical properties (mean free energies of binding and covariance matrix) of multidimensional affinity spectra is reported. Thus, the level of binding correlation between the different components can be quantified. It has to be highlighted that the reported methodology does not require the knowledge of the affinity spectrum to calculate the means, variances, and covariance of the binding energies of the different components. Nonideal competitive consistent adsorption isotherm, widely used in metal/proton competitive complexation to environmental macromolecules, and Frumkin competitive isotherms are selected to illustrate the application of the reported results. Explicit analytical expressions for the affinity spectrum as well as for the matrix correlation are obtained for the NICCA case. © 2004 American Institute of Physics.

Design and implementation of FPGA-based LQ control of active magnetic bearings

The need for high performance, high precision, and energy saving in rotating machinery demands an alternative solution to traditional bearings. Because of the contactless operation principle, the rotating machines employing active magnetic bearings (AMBs) provide many advantages over the traditional ones. The advantages such as contamination-free operation, low maintenance costs, high rotational speeds, low parasitic losses, programmable stiffness and damping, and vibration insulation come at expense of high cost, and complex technical solution. All these properties make the use of AMBs appropriate primarily for specific and highly demanding applications. High performance and high precision control requires model-based control methods and accurate models of the flexible rotor. In turn, complex models lead to high-order controllers and feature considerable computational burden. Fortunately, in the last few years the advancements in signal processing devices provide new perspective on the real-time control of AMBs. The design and the real-time digital implementation of the high-order LQ controllers, which focus on fast execution times, are the subjects of this work. In particular, the control design and implementation in the field programmable gate array (FPGA) circuits are investigated. The optimal design is guided by the physical constraints of the system for selecting the optimal weighting matrices. The plant model is complemented by augmenting appropriate disturbance models. The compensation of the force-field nonlinearities is proposed for decreasing the uncertainty of the actuator. A disturbance-observer-based unbalance compensation for canceling the magnetic force vibrations or vibrations in the measured positions is presented. The theoretical studies are verified by the practical experiments utilizing a custom-built laboratory test rig. The test rig uses a prototyping control platform developed in the scope of this work. To sum up, the work makes a step in the direction of an embedded single-chip FPGA-based controller of AMBs.

Identification of carotenoids using mass spectrometry

The present review compiles positive MS fragmentation data of selected carotenoids obtained using various ionization techniques and matrices. In addition, new experimental data from the analysis of carotenoids in transgenic maize and rice callus are provided. Several carotenes and oxygen-functionalized carotenoids containing epoxy, hydroxyl, and ketone groups were ionized by atmospheric pressure chemical ionization (APCI)-tandem mass spectrometry (MS/MS) in positive ion mode. Thus, on the basis of the information obtained from the literature and our own experiments, we identified characteristic carotenoid ions that can be associated to functional groups in the structures of these compounds. In addition, pigments with a very similar structure were differentiated through comparison of the intensities of their fragments. The data provide a basis for the structural elucidation of carotenoids by mass spectrometry (MS).

AV38 - Cuadros morfológicos

Aplicación de las matrices morfológicas como metodología de rediseño industrial

Nelitietrukin ohjausjärjestelmän suunnittelu QFD-laatutyökalua hyväksikäyttäen

Tämä työ käsittelee tuotekehitysprojektia, jonka tarkoituksena on suunnitella uusi nelitietyöntömastotrukki asiakaslähtöisesti QFD-laatutyökalua hyväksi käyttäen. Työ esittelee QFD-laatutyökalun, sekä varsinkin sen nelivaiheisen ASI:n toimintamallin. Työ antaa myös perusvalmiudet ASI:n toimintamallin käyttöön tuotekehitysprojektissa. Työssä keskitytään tarkastelemaan uuden ohjausjärjestelmän mekaanista kehittelyä. Suunnittelutyössä käytetään hyväksi ASI:n (American Supplier Institute) nelivaiheista QFD-laatutyökalua, joka on autoteollisuuden toimintatapoihin perustuva QFD-tekniikka. QFD tulee sanoista Quality Funcktion Deployment ja vapaasti suomennettuna se merkitsee asiakaslähtöinen tuotesuunnittelu. Nelivaiheinen QFD-malli koostuu seuraavista matriiseista: 1. Tuotteen suunnittelu, 2. osien suunnittelu ja kehittäminen, 3. prosessin suunnittelu sekä 4. tuotannon suunnittelu. Matriisin tulokset muodostavat aina seuraavan matriisin lähtökohdat. Ensimmäisen matriisin lähtökohdat muodostuvat asiakastarvekuvauksesta, joka saadaan haastatteluista, tutkimuksista yms. Tuotekehitysprojektissa kehitetty TEM-monitietrukki, jossa rajattomasti ympäripyöriviä tukipyöriä ohjataan CAN-väylän kautta älykkäällä ohjauslogiikalla, on markkinoilla erittäin kilpailukykyinen sekä ominaisuuksiensa että hintansa puolesta. QFD yhdessä huolellisesti analysoidun asiakastarvekuvauksen kanssa selkeyttää ja priorisoi tuotteen spesifikaation määrittelyä sekä ohjaa tuotteen kehittelyä ja tuotannollistamista. Tuotekehitysprojekti pysyy aikataulussaan ja tuotannollistamisen kynnyksellä tehtävät muutokset vähenevät selkeän jäsentelyn ansiosta.

Chromatographic analysis of lignans supplemented in foods

Fytoestrogeenit ovat kasvimateriaalista peräisin olevia yhdisteitä, joilla on ihmisen estrogeeni-hormonin kaltaista aktiivisuutta. Fytoestrogeenit voidaan jakaa kolmeen pääryhmään, joista yksi merkittävä ryhmä on lignaanit. Lignaaneilla on todettu olevan antioxidatiivisia, antiviraalisia ja antibakteriaalisia ominaisuuksia. Niillä on todettu olevan myös positiivisia vaikutuksia hormoniperäisten syöpien ehkäisyssä. Näiden ominaisuuksien vuoksi lignaaneja pyritään hyödyntämään esimerkiksi aktiivisina ainesosina funktionaalisissa elintarvikkeissa. Tässä työssä tutkittiin lignaanin, hydroksimatairesinolin (HMRlignanTM) kemiallisia ominaisuuksia ja soveltuvuutta eri ruoka-aineisiin. Työn tarkoituksena oli selvittää ruoka-aineisiin lisätyn hydroksimatairesinolin kemiallista pysyvyyttä erilaisissa säilytys- ja prosessointioloissa sekä tutkia lignaanin liukoisuutta erilaisiin liuottimiin. Hydroksimatairesinolin analysoimiseksi ruoka-aineista käytettiin korkean erotuskyvyn omaavaa nestekromatografista menetelmää. Menetelmä validoitiin ennen varsinaista analysointia ICH-ohjeiston mukaisesti. Validoinnissa tutkittiin kromatografiamenetelmän spesifisyys, lineaarisuus, tarkkuus, oikeellisuus sekä detektointi- ja määritysrajat tutkittavalle lignaanille. Käytetty menetelmä soveltui hyvin lignaanin analysoimiseen ruoka-aineista. Hydroksimatairesinolin vesiliukoisuuden todettiin olevan noin 1 mg/ml. Tutkimukset osoittivat hydroksimatairesinolin olevan stabiili alle 50ºC:en lämpötiloissa. Korkeammissa lämpötiloissa hydroksimatairesinoli oli stabiili jauhemuodossa lisättynä.

Sherali-Adams Relaxations and Indistinguishability in Counting Logics

Two graphs with adjacency matrices $\mathbf{A}$ and $\mathbf{B}$ are isomorphic if there exists a permutation matrix $\mathbf{P}$ for which the identity $\mathbf{P}^{\mathrm{T}} \mathbf{A} \mathbf{P} = \mathbf{B}$ holds. Multiplying through by $\mathbf{P}$ and relaxing the permutation matrix to a doubly stochastic matrix leads to the linear programming relaxation known as fractional isomorphism. We show that the levels of the Sherali--Adams (SA) hierarchy of linear programming relaxations applied to fractional isomorphism interleave in power with the levels of a well-known color-refinement heuristic for graph isomorphism called the Weisfeiler--Lehman algorithm, or, equivalently, with the levels of indistinguishability in a logic with counting quantifiers and a bounded number of variables. This tight connection has quite striking consequences. For example, it follows immediately from a deep result of Grohe in the context of logics with counting quantifiers that a fixed number of levels of SA suffice to determine isomorphism of planar and minor-free graphs. We also offer applications in both finite model theory and polyhedral combinatorics. First, we show that certain properties of graphs, such as that of having a flow circulation of a prescribed value, are definable in the infinitary logic with counting with a bounded number of variables. Second, we exploit a lower bound construction due to Cai, Fürer, and Immerman in the context of counting logics to give simple explicit instances that show that the SA relaxations of the vertex-cover and cut polytopes do not reach their integer hulls for up to $\Omega(n)$ levels, where $n$ is the number of vertices in the graph.

The effects of milk as a food matrix for polyphenols on the excretion profile of cocoa (-)-Epicatechin metabolites in healthy humans subjects

The effect of different food matrices on the metabolism and excretion of polyphenols is uncertain. The objective of the study was to evaluate the possible effect of milk on the excretion of (2)-epicatechin metabolites from cocoa powder after its ingestion with and without milk. Twenty-one volunteers received the following three test meals each in a randomised cross-over design with a 1-week interval between meals: (1) 250 ml whole milk as a control; (2) 40 g cocoa powder dissolved in 250 ml whole milk (CC-M); (3) 40 g cocoa powder dissolved in 250 ml water (CC-W). Urine was collected before consumption and during the 0-6, 6-12 and 12-24 h periods after consumption. (2)-Epicatechin metabolite excretion was measured using liquid chromatography-MS. One (2)-epicatechin glucuronide and three (2)-epicatechin sulfates were detected in urine excreted after the intake of the two cocoa beverages (CC-M and CC-W). The results show that milk does not significantly affect the total amount of metabolites excreted in urine. However, differences in metabolite excretion profiles were observed; there were changes in the glucuronide and sulfate excretion rates, and the sulfation position between the period of excretion and the matrix. The matrix in which polyphenols are consumed can affect their metabolism and excretion, and this may affect their biological activity. Thus, more studies are needed to evaluate the effect of these different metabolite profiles on the body.