No description available.

Les travaux réalisés dans le cadre de cette thèse ont pour objectif de proposer un langage de description temporelle pour des systèmes temps-réel et d’établir les conditions de leur ordonnançabilité sous l’algorithme Earliest Deadline First (EDF). Les langages de description temporelle permettent de spécifier le comportement temporel d’une application indépendamment de son comportement fonctionnel. Le programmeur déclare dans ces langages à quels instants précis doivent être déclenchées et terminées les activités du système. Cette gestion du temps, précise et explicite, apporte au système son caractère déterministe. Le langage proposé, Extended Timing Definition Language (E-TDL), étend des langages dirigés par le temps existants, en particulier Giotto et TDL, en introduisant un nouveau modèle de tâche donné par quatre paramètres : phase, pire temps d’exécution, temps d’exécution logique TEL (intervalle de temps séparant le lancement de la tâche et sa terminaison) et période. L’introduction de ce nouveau modèle de tâche nécessite de revisiter en particulier le problème de l’ordonnançabilité des tâches pour EDF. Cette thèse propose et développe une analyse basée sur la fonction de demande pour des ensembles de tâches décrites en E-TDL et s’exécutant en contexte monoprocesseur. Une condition nécessaire et suffisante est obtenue au travers d’une analyse précise des intervalles séparant les activations de tâches au sein de différents modules s’exécutant indépendamment et pouvant changer de mode à des instants prédéfinis. Une borne de la longueur des intervalles sur lesquels doit s’opérer la vérification est déterminée. Un outil mettant en œuvre cette analyse a été développé. / The goal of this research is to define a time-triggered language for modeling real-time systems and to provide the conditions for their schedulability under Earliest Deadline First (EDF). Time-triggered languages separate the functional part of applications from their timing definition. These languages permit to model the real-time system temporal behavior by assigning system activities to particular time instants. We propose a new time-triggered framework, Extended Timing Definition Language (E-TDL), that enhances the basic task model used in Giotto and TDL while keeping compositional and modular structure brought by the latter. An E-TDL task is characterized by: an offset, a worst case execution time, a Logical Execution Time (a time interval between task release and its termination) and a period. The schedulability analysis of the system based on this new task model should be, in particular for EDF, investigated. We develop, on the concept of the processor demand criterion, conditions for the feasibility of an E-TDL system running on a single CPU under EDF. A necessary and sufficient condition is obtained by considering the global schedules that are made up of execution traces occurring at the same time in distinct modules that are able to switch their modes at predefined instants. We estimate a maximal length of the interval on which the schedulability condition must be checked. A tool suite performing the schedulability analysis of the E-TDL systems is developed.

Contexte: La dépression chez les jeunes est un problème de la santé publique croissant. L’activité physique (AP), les comportements sédentaires (CS) et le sommeil représentent des facteurs de risque modifiables des symptômes dépressifs. La compréhension de comment le temps passé quotidiennement dans l'ensemble de l'AP, des CS et du sommeil est associée aux symptômes dépressifs peut éclairer les interventions qui aident à prévenir les symptômes dépressifs chez les jeunes adultes. Objectifs: Ce mémoire vise à estimer l'association entre la proportion de temps sur une période de 24 heures alloué à l’AP d’intensité modérée à vigoureuse (APMV), la marche, les CS et le sommeil, et les symptômes dépressifs chez les jeunes adultes. Il vise à estimer le changement des symptômes dépressifs avec la réaffectation du temps entre les comportements. Méthodes: Les données de l'étude Nicotine Dependence in Teens (NDIT), une étude longitudinale en cours qui a recruté 1294 élèves de 7e année dans 10 écoles secondaires à Montréal, au Canada, ont été utilisées. Les données pour ce projet ont été collectées à 20 et 24 ans à l'aide de questionnaires auto-rapportés. Une analyse compositionnelle a été effectuée. La taille de l'effet de l'association a été estimée par un modèle de réaffectation du temps. Résultats: Aucune association statistiquement significative a été observée entre les proportions de temps passé en APMV (p = 0,273), la marche (p = 0,861), le CS (p = 0,723) et le sommeil (p = 0,948) et les symptômes dépressifs chez les jeunes adultes. La réaffectation de 15 minutes d’APMV aux CS est associée à une augmentation de 3% des symptômes dépressifs. La réaffectation de 15 minutes de CS à l’APMV est associée à une réduction de 1% des symptômes dépressifs. Cependant, ces changements étaient également non significatifs. Conclusion: Le temps alloué à l'APMV, la marche, les CS et le sommeil n’étaient pas associés aux symptômes dépressifs chez les jeunes adultes. La réaffectation du temps entre les comportements de mouvement a entraîné des changements non significatifs des symptômes dépressifs. Ces résultats devront être vérifier avant de formuler des recommandations. / Background: Depression among youth is a growing public health burden. Physical activity (PA), sedentary behaviours (SB) and sleep are modifiable risk factors for depressive symptoms. Understanding how the interplay between the mix of time spent in daily in all of PA, SB and sleep is associated with depressive symptoms may inform interventions that help prevent depressive symptoms in young adults Objectives: This thesis aims to estimate the association between the proportion of time spent during a 24-hour period in each of moderate-to-vigorous intensity PA (MVPA), walking, SB and sleep, and depressive symptoms in young adults. It also aims to estimate change in depressive symptoms with the reallocation of time across movement behaviours. Methods: Data were drawn from the Nicotine Dependence in Teens (NDIT) study, an ongoing longitudinal study that recruited 1294 7th grade students in 10 secondary schools in Montreal, Canada. Data were collected using self-report questionnaires at ages 20 and 24. PA, SB and sleep were analyzed using time-use compositional analysis. Effect size of the association was estimated using a compositional time reallocation model. Results: There was no statistically significant association between the proportion of time spent in MVPA (p=0.273),walking (p=0.861), SB (p=0.723) or sleep (p=0.948) and depressive symptoms in young adults. There was 3% increase in depressive symptoms with reallocation of 15 minutes from MVPA to SB and 1% reduction in depressive symptoms with reallocation of 15 minutes from SB to MVPA. However, these changes were similarly non-significant Conclusion: Time-use in MVPA, walking, SB and sleep overall was not associated with depressive symptoms in young adults in our study. Reallocating time between movement behaviours resulted in minimal non-significant changes in depressive symptoms. Replication is needed before our findings can be translated to recommendations.

No description available.

No description available.

Nástroj Atomer je statický analyzátor založený na myšlence, že pokud jsou některé sekvence funkcí vícevláknového programu prováděny v některých bězích pod zámky, je pravděpodobně zamýšleno, že mají být vždy provedeny atomicky. Analyzátor Atomer se tudíž snaží takové sekvence hledat a poté zjišťovat, pro které z nich může být v některých jiných bězích programu porušena atomicita. Autor této diplomové práce ve své bakalářské práci navrhl a implementoval první verzi nástroje Atomer jako zásuvný modul aplikačního rámce Facebook Infer. V této diplomové práci je navržena nová a výrazně vylepšená verze analyzátoru Atomer. Cílem vylepšení je zvýšení jak škálovatelnosti, tak přesnosti. Kromě toho byla přidána podpora pro několik původně nepodporovaných programovacích vlastností (včetně např. možnosti analyzovat programy napsané v jazycích C++ a Java nebo podpory pro reentrantní zámky nebo stráže zámků, tzv. "lock guards"). Prostřednictvím řady experimentů (včetně experimentů s reálnými programy a reálnými chybami) se ukázalo, že nová verze nástroje Atomer je skutečně mnohem obecnější, přesnější a lépe škáluje.

Tesis por compendio / [ES] El objetivo de esta tesis doctoral ha sido proporcionar conocimientos fundamentales y prácticos relacionados con la valorización de la biomasa de setas, para comprender la relación estructura-funcionalidad de extractos acuosos ricos en ß-glucanos, en términos de capacidad inmunorreguladora, antioxidante y antiviral, así como las propiedades tecnológicas (gelificantes y emulsionantes). El objetivo de esta tesis doctoral también ha sido explorar la viabilidad de dicha biomasa en el desarrollo de materiales compostables para el envasado de alimentos. Inicialmente, se aplicó un proceso de extracción secuencial, que implicaba varios tratamientos consecutivos tanto acuosos con y sin temperatura como alcalinos, aplicados a setas de gran consumo (P. ostreatus, L. edodes y G. frondosa), con la finalidad de comprender cómo las diferencias iniciales en la composición y la arquitectura de la pared celular afectaban a la extracción de ß-glucano. A partir de los resultados obtenidos, se analizó en profundidad la aplicación potencial de extractos acuosos, ricos en ß-glucanos, del género Pleurotus, explorando cómo la composición de los extractos y la complejidad estructural de ß-glucanos afectaban a su capacidad inmunorreguladora. Los resultados evidenciaron que tanto Pleurotus ostreatus como sus estipes mostraron los mejores resultados, con una actividad inmunoestimulante mucho mayor que las otras especies de Pleurotus exploradas. En la segunda parte de esta tesis, se evaluaron las propiedades funcionales (antivirales y antioxidantes) y tecnológicas (gelificantes y emulsionantes) de los extractos acuosos de ß-glucano, purificados y sin purificar, de Pleurotus ostreatus y sus estipes. El proceso de purificación, como era de esperar, incrementó el porcentaje en carbohidratos (con un mayor aumento en los estipes), lo que se tradujo en una mayor viscosidad y capacidad gelificante. Además, el extracto obtenido de los estipes mostró una fuerte actividad antiviral frente a norovirus murino, probablemente atribuida a la mayor complejidad estructural de sus ß-glucanos. Aunque la presencia de proteínas en los extractos acuosos de ß-glucanos potenció sus propiedades emulsionantes, esta propiedad fue dependiente de la accesibilidad de la proteína para adsorberse en la interfase O/W, lo que también afectó a la viscosidad de las emulsiones resultantes. La quitina y los ß-glucanos son dos de los principales carbohidratos de las setas, y tienen un gran potencial en la formación de materiales de envasado. En la última parte de esta tesis, se investigó la viabilidad de la biomasa de residuos de setas para desarrollar materiales de envasado de alimentos biodegradables y compostables. Los resultados mostraron que la composición de la biomasa de champiñón y las temperaturas de procesado tuvieron un impacto en las propiedades fisicoquímicas de los films desarrollados y, todas fueron biodesintegrables en condiciones de compostaje según la norma ISO 20200. Por lo tanto, esta tesis doctoral representa un importante avance en la valorización de la biomasa de setas (seta entera y estipes) y pone de relieve su idoneidad para desarrollar nuevos ingredientes funcionales y materiales de envasado para aplicaciones alimentarias y de envasado de alimentos. / [CA] L'objectiu d'aquesta tesi ha sigut proporcionar els coneixements fonamentals i pràctics relacionats amb la valorització de la biomassa de bolets, per a comprendre la relació estructura-funcionalitat d'extractes aquosos rics en ß-glucans, en termes de capacitat immunoreguladora, antioxidant i antiviral, així com de les propietats tecnològiques (gelificants i emulsionants). L'objectiu d'aquesta tesi ha estat també l'exploració de la viabilitat d'aquesta biomassa pel desenvolupament de materials compostables per a l'envasat d'aliments. Inicialment, es va aplicar un procés d'extracció seqüencial, que implicava diversos tractaments consecutius, tant aquosos amb temperatura i sense, com alcalins, aplicats a bolets de gran consum (P. ostreatus, L. edodes i G. frondosa), per tal de comprendre com les diferències inicials en la composició i l'arquitectura de la paret cel·lular afectaven l'extracció de ß-glucà. A partir dels resultats obtinguts, es va analitzar en profunditat la potencial aplicació d'extractes aquosos, rics en ß-glucans, del gènere Pleurotus, explorant així com la composició dels extractes i la complexitat structural dels ß-glucans afectaven a la seua capacitat immunoreguladora. Els resultats van evidenciar que tant Pleurotus ostreatus com les seues estipes mostraren els millors resultats, amb una activitat immunoestimulant molt més gran que la obtinguda per a les altres espècies de Pleurotus explorades. A la segona part d'aquesta tesi, es van avaluar les propietats funcionals (antivirals i antioxidants) i tecnològiques (gelificants i emulsionants) dels extractes aquosos de ß-glucà, purificats i sense purificar, de Pleurotus ostreatus i les seues estipes. El procés de purificació, com calia esperar, va incrementar el percentatge en carbohidrats (amb un major augment en els estipes), cosa que es va traduir en una major viscositat i capacitat gelificant. A més, l'extracte obtingut dels estipes va mostrar una forta activitat antiviral contra norovirus murí, probablement atribuïda a la complexitat estructural més gran dels seus ß-glucans. Tot i que la presència de proteïnes en els extractes aquosos de ß-glucans va potenciar les seues propietats emulsionants, aquesta propietat va ser dependent de l'accessibilitat de la proteïna per adsorbir-se a la interfase O/W, cosa que també va afectar la viscositat de les emulsions resultants. La quitina i els ß-glucans són dos dels principals carbohidrats dels bolets, i tenen un gran potencial en la formació de materials d'envasament. Així, a la darrera part d'aquesta tesi, es va investigar la viabilitat de la biomassa de residus de bolets per desenvolupar materials biodegradables i compostables d'envasat d'aliments. Els resultats van mostrar que la composició de la biomassa de bolets i les temperatures de processament van tenir un impacte en les propietats fisicoquímiques de les pel·lícules desenvolupades i, totes elles van ser biodesintegrables en condicions de compostatge segons la norma ISO 20200. Per tant, aquesta tesi doctoral representa un important pas endavant en la valorització de la biomassa de bolets (sencers i estipes) i posa en relleu la seua idoneïtat per desenvolupar nous ingredients funcionals i materials d'envasament per a aplicacions alimentàries i d'envasat d'aliments. / [EN] This doctoral thesis was aimed at providing fundamental and practical knowledge related to the valorisation of underexploited mushroom biomass, in order to understand the structure-function relationship of ß-glucan aqueous extracts in terms of immunoregulatory, antioxidant and antiviral capacity as well as technological (gelling and emulsifying) properties. It was also the aim of this PhD thesis to explore the feasibility of mushroom biomass to develop compostable food packaging materials. Initially, a sequential fractionation process, involving several consecutive cold or hot aqueous and alkaline treatments, was applied to widely consumed mushrooms (P. ostreatus, L. edodes and G. frondosa), in order to understand how the initial differences in composition and cell wall architecture affected ß-glucan extraction. Based on the results, the potential application of ¿-glucan aqueous extracts from Pleurotus genus was deeply analysed, thus exploring how the composition of the extracts and structural complexity of ¿-glucans affected their immunoregulatory capacity. The results evidenced that both Pleurotus ostreatus and its stipes showed the best results, with a much higher immunostimulant activity than the other explored Pleurotus species. In the second part of the thesis, functional (antiviral and antioxidant) and technological (gelling and emulsifying) properties of purified and unpurified¿¿-glucan aqueous extracts from Pleurotus ostreatus and its stipes were evaluated. The purification process, as expected, increased the carbohydrates content (greater in those obtained from the stipes), which resulted in a greater viscosity and gelling capacity. Furthermore, the extract obtained from the stipes showed a strong antiviral activity against murine norovirus, probably ascribed to the higher structural complexity of ß-glucans. Although the presence of proteins in the ¿-glucan aqueous extracts enhanced their emulsifying properties, it depended on the accessibility of the protein to adsorb at the O/W interphase, which also affected the viscosity of the resulting emulsions. Chitin and ß-glucans are two of the major carbohydrates of mushrooms, having a great potential in the formation of packaging materials. Thus, in the last part of this thesis, the feasibility of mushroom waste biomass to develop biodegradable and compostable food packaging materials was investigated. The results showed that the composition of mushroom biomass and the processing temperatures had an impact on the physicochemical properties of the developed films and, all of them were biodisintegrated under composting conditions according to ISO 20200. Therefore, this PhD thesis represents a significant step forward in the understanding of the discarded mushroom biomass (whole biomass and stipes) for valorisation purposes and highlights its suitability to develop new cost-efficient functional ingredients and packaging materials for food and food packaging applications. / This work was performed with the financial support of the CIEN project BIOPRO from “Centro para el Desarrollo Tecnológico Industrial” (CDTI), Ministry of Science and Innovation, Government of Spain. The Accreditation as Center of Excellence Severo Ochoa CEX2021-001189-S funded by MCIN/AEI/10.13039/501100011033 is also fully acknowledged. his study forms part of the AGROALNEXT programme and was supported by MCIN with funding from European Union NextGenerationEU (PRTR-C17. I1) and by Generalitat Valenciana. Synchrotron experiments were performed at NCD beamline at ALBA Synchrotron with the collaboration of ALBA staff (proposal 2,022,025,569). IF was supported by a postdoctoral contract grant for the requalification of the Spanish university system from the Ministry of Universities of the Government of Spain, financed by the European Union (NextGeneration EU) (MS21-006). / Pérez Bassart, Z. (2024). Fungal Biomass Valorization for Obtaining Functional Food-Related Materials [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/203841 / Compendio