915 resultados para State-based Specifications
Resumo:
OBJECTIVE: We assessed the association between birth weight, weight change, and current blood pressure (BP) across the entire age-span of childhood and adolescence in large school-based cohorts in the Seychelles, an island state in the African region. METHODS: Three cohorts were analyzed: 1004 children examined at age 5.5 and 9.1 years, 1886 children at 9.1 and 12.5, and 1575 children at 12.5 and 15.5, respectively. Birth and 1-year anthropometric data were gathered from medical files. The outcome was BP at age 5.5, 9.1, 12.5 or 15.5 years, respectively. Conditional linear regression analysis was used to estimate the relative contribution of changes in weight (expressed in z-score) during different age periods on BP. All analyses were adjusted for height. RESULTS: At all ages, current BP was strongly associated with current weight. Birth weight was not significantly associated with current BP. Upon adjustment for current weight, the association between birth weight and current BP tended to become negative. Conditional linear regression analyses indicated that changes in weight during successive age periods since birth contributed substantially to current BP at all ages. The strength of the association between weight change and current BP increased throughout successive age periods. CONCLUSION: Weight changes during any age period since birth have substantial impact on BP during childhood and adolescence, with BP being more responsive to recent than earlier weight changes.
Resumo:
This article presents an optimization methodology of batch production processes assembled by shared resources which rely on a mapping of state-events into time-events allowing in this way the straightforward use of a well consolidated scheduling policies developed for manufacturing systems. A technique to generate the timed Petri net representation from a continuous dynamic representation (Differential-Algebraic Equations systems (DAEs)) of the production system is presented together with the main characteristics of a Petri nets-based tool implemented for optimization purposes. This paper describes also how the implemented tool generates the coverability tree and how it can be pruned by a general purpose heuristic. An example of a distillation process with two shared batch resources is used to illustrate the optimization methodology proposed.
Resumo:
The aim of this thesis was to examine emotions in a web-based learning environment (WBLE). Theoretically, the thesis was grounded on the dimensional model of emotions. Four empirical studies were conducted. Study I focused on students’ anxiety and their self-efficacy in computer-using situations. Studies II and III examined the influence of experienced emotions on students’ collaborative visible and non-collaborative invisible activities and lurking in a WBLE. Study II also focused on the antecedents of the emotions students experience in a web-based learning environment. Study IV concentrated on clarifying the differences between emotions experienced in face-to-face and web-based collaborative learning. The results of these studies are reported in four original research articles published in scientific journals. The present studies demonstrate that emotions are important determinants of student behaviour in a web-based learning, and justify the conclusion that interactions on the web can and do have an emotional content. Based on the results of these empirical studies, it can be concluded that the emotions students experience during the web-based learning result mostly from the social interactions rather than from the technological context. The studies indicate that the technology itself is not the only antecedent of students’ emotional reactions in the collaborative web-based learning situations. However, the technology itself also exerted an influence on students’ behaviour. It was found that students’ computer anxiety was associated with their negative expectations of the consequences of using technology-based learning environments in their studies. Moreover, the results also indicated that student behaviours in a WBLE can be divided into three partially overlapping classes: i) collaborative visible ii) non-collaborative invisible activities, and iii) lurking. What is more, students’ emotions experienced during the web-based learning affected how actively they participated in such activities in the environment. Especially lurkers, i.e. students who seldom participated in discussions but frequently visited the online environment, experienced more negatively valenced emotions during the courses than did the other students. This result indicates that such negatively toned emotional experiences can make the lurking individuals less eager to participate in other WBLE courses in the future. Therefore, future research should also focus more precisely on the reasons that cause individuals to lurk in online learning groups, and the development of learning tasks that do not encourage or permit lurking or inactivity. Finally, the results from the study comparing emotional reactions in web-based and face-to-face collaborative learning indicated that the learning by means of web-based communication resulted in more affective reactivity when compared to learning in a face-to-face situation. The results imply that the students in the web-based learning group experienced more intense emotions than the students in the face-to-face learning group.The interpretations of this result are that the lack of means for expressing emotional reactions and perceiving others’ emotions increased the affectivity in the web-based learning groups. Such increased affective reactivity could, for example, debilitate individual’s learning performance, especially in complex learning tasks. Therefore, it is recommended that in the future more studies should be focused on the possibilities to express emotions in a text-based web environment to ensure better means for communicating emotions, and subsequently, possibly decrease the high level of affectivity. However, we do not yet know whether the use of means for communicating emotional expressions via the web (for example, “smileys” or “emoticons”) would be beneficial or disadvantageous in formal learning situations. Therefore, future studies should also focus on assessing how the use of such symbols as a means for expressing emotions in a text-based web environment would affect students’ and teachers’ behaviour and emotional state in web-based learning environments.
Resumo:
This paper presents a novel image classification scheme for benthic coral reef images that can be applied to both single image and composite mosaic datasets. The proposed method can be configured to the characteristics (e.g., the size of the dataset, number of classes, resolution of the samples, color information availability, class types, etc.) of individual datasets. The proposed method uses completed local binary pattern (CLBP), grey level co-occurrence matrix (GLCM), Gabor filter response, and opponent angle and hue channel color histograms as feature descriptors. For classification, either k-nearest neighbor (KNN), neural network (NN), support vector machine (SVM) or probability density weighted mean distance (PDWMD) is used. The combination of features and classifiers that attains the best results is presented together with the guidelines for selection. The accuracy and efficiency of our proposed method are compared with other state-of-the-art techniques using three benthic and three texture datasets. The proposed method achieves the highest overall classification accuracy of any of the tested methods and has moderate execution time. Finally, the proposed classification scheme is applied to a large-scale image mosaic of the Red Sea to create a completely classified thematic map of the reef benthos
Resumo:
Multiple sclerosis (MS), a variable and diffuse disease affecting white and gray matter, is known to cause functional connectivity anomalies in patients. However, related studies published to-date are post hoc; our hypothesis was that such alterations could discriminate between patients and healthy controls in a predictive setting, laying the groundwork for imaging-based prognosis. Using functional magnetic resonance imaging resting state data of 22 minimally disabled MS patients and 14 controls, we developed a predictive model of connectivity alterations in MS: a whole-brain connectivity matrix was built for each subject from the slow oscillations (<0.11Hz) of region-averaged time series, and a pattern recognition technique was used to learn a discriminant function indicating which particular functional connections are most affected by disease. Classification performance using strict cross-validation yielded a sensitivity of 82% (above chance at p<0.005) and specificity of 86% (p<0.01) to distinguish between MS patients and controls. The most discriminative connectivity changes were found in subcortical and temporal regions, and contralateral connections were more discriminative than ipsilateral connections. The pattern of decreased discriminative connections can be summarized post hoc in an index that correlates positively (ρ=0.61) with white matter lesion load, possibly indicating functional reorganisation to cope with increasing lesion load. These results are consistent with a subtle but widespread impact of lesions in white matter and in gray matter structures serving as high-level integrative hubs. These findings suggest that predictive models of resting state fMRI can reveal specific anomalies due to MS with high sensitivity and specificity, potentially leading to new non-invasive markers.
Resumo:
Thermal energy storage (TES) can increase the thermal energy effieresa, of a process by reusing the waste heat from industrial process, solar energy or other sources. There are different ways to store thermal energy: by sensible heat, by latest heat, by sorption process or by chemical reaction. This thesrs provides a-state-of-the-art review of the experimental performance of TES systems based on solid gas sorption process and chemical reactions. The importance of theses processes is that provides a heat loss free storage system with a high energy density.
Resumo:
Life cycle analysis (LCA) is a comprehensive method for assessing the environmental impact of a product or an activity over its entire life cycle. The purpose of conducting LCA studies varies from one application to another. Different applications use LCA for different purposes. In general, the main aim of using LCA is to reduce the environmental impact of products through guiding the decision making process towards more sustainable solutions. The most critical phase in an LCA study is the Life Cycle Impact Assessment (LCIA) where the life cycle inventory (LCI) results of the considered substances related to the study of a certain system are transformed into understandable impact categories that represent the impact on the environment. In this research work, a general structure clarifying the steps that shall be followed ir order to conduct an LCA study effectively is presented. These steps are based on the ISO 14040 standard framework. In addition, a survey is done on the most widely used LCIA methodologies. Recommendations about possible developments and suggetions for further research work regarding the use of LCA and LCIA methodologies are discussed as well.
Resumo:
Theultimate goal of any research in the mechanism/kinematic/design area may be called predictive design, ie the optimisation of mechanism proportions in the design stage without requiring extensive life and wear testing. This is an ambitious goal and can be realised through development and refinement of numerical (computational) technology in order to facilitate the design analysis and optimisation of complex mechanisms, mechanical components and systems. As a part of the systematic design methodology this thesis concentrates on kinematic synthesis (kinematic design and analysis) methods in the mechanism synthesis process. The main task of kinematic design is to find all possible solutions in the form of structural parameters to accomplish the desired requirements of motion. Main formulations of kinematic design can be broadly divided to exact synthesis and approximate synthesis formulations. The exact synthesis formulation is based in solving n linear or nonlinear equations in n variables and the solutions for the problem areget by adopting closed form classical or modern algebraic solution methods or using numerical solution methods based on the polynomial continuation or homotopy. The approximate synthesis formulations is based on minimising the approximation error by direct optimisation The main drawbacks of exact synthesis formulationare: (ia) limitations of number of design specifications and (iia) failure in handling design constraints- especially inequality constraints. The main drawbacks of approximate synthesis formulations are: (ib) it is difficult to choose a proper initial linkage and (iib) it is hard to find more than one solution. Recentformulations in solving the approximate synthesis problem adopts polynomial continuation providing several solutions, but it can not handle inequality const-raints. Based on the practical design needs the mixed exact-approximate position synthesis with two exact and an unlimited number of approximate positions has also been developed. The solutions space is presented as a ground pivot map but thepole between the exact positions cannot be selected as a ground pivot. In this thesis the exact synthesis problem of planar mechanism is solved by generating all possible solutions for the optimisation process ¿ including solutions in positive dimensional solution sets - within inequality constraints of structural parameters. Through the literature research it is first shown that the algebraic and numerical solution methods ¿ used in the research area of computational kinematics ¿ are capable of solving non-parametric algebraic systems of n equations inn variables and cannot handle the singularities associated with positive-dimensional solution sets. In this thesis the problem of positive-dimensional solutionsets is solved adopting the main principles from mathematical research area of algebraic geometry in solving parametric ( in the mathematical sense that all parameter values are considered ¿ including the degenerate cases ¿ for which the system is solvable ) algebraic systems of n equations and at least n+1 variables.Adopting the developed solution method in solving the dyadic equations in direct polynomial form in two- to three-precision-points it has been algebraically proved and numerically demonstrated that the map of the ground pivots is ambiguousand that the singularities associated with positive-dimensional solution sets can be solved. The positive-dimensional solution sets associated with the poles might contain physically meaningful solutions in the form of optimal defectfree mechanisms. Traditionally the mechanism optimisation of hydraulically driven boommechanisms is done at early state of the design process. This will result in optimal component design rather than optimal system level design. Modern mechanismoptimisation at system level demands integration of kinematic design methods with mechanical system simulation techniques. In this thesis a new kinematic design method for hydraulically driven boom mechanism is developed and integrated in mechanical system simulation techniques. The developed kinematic design method is based on the combinations of two-precision-point formulation and on optimisation ( with mathematical programming techniques or adopting optimisation methods based on probability and statistics ) of substructures using calculated criteria from the system level response of multidegree-of-freedom mechanisms. Eg. by adopting the mixed exact-approximate position synthesis in direct optimisation (using mathematical programming techniques) with two exact positions and an unlimitednumber of approximate positions the drawbacks of (ia)-(iib) has been cancelled.The design principles of the developed method are based on the design-tree -approach of the mechanical systems and the design method ¿ in principle ¿ is capable of capturing the interrelationship between kinematic and dynamic synthesis simultaneously when the developed kinematic design method is integrated with the mechanical system simulation techniques.
Resumo:
The tropical north region of Minas Gerais State is one of the least developed of Brazil and viticulture could be an alternative to develop its agriculture zone. The objective of this work was to evaluate the climatic potential of that region for wine grape production. The evaluations were carried out applying the Multicriteria Climatic Classification System (Geoviticulture MCC System), that utilizes three reference climatic indexes (Dryness Index - DI, Heliothermal Index - HI and Cool Night Index - CI). Three locations - Pirapora (17º 21'S, 44º56'W, 489m), Montes Claros (16º43'S, 43º52'W, 647m) and Diamantina (18º15'S, 43º36'W, 1297m) - and two potential production cycles along the year - October to March (spring-summer period) and April to September (autumn-winter period) - were evaluated. The results showed that in the spring-summer period (SS period) Pirapora and Montes Claros presented a 'humid, very warm and with warm nights' of viticultural climate, according to MCC System. For the autumn-winter period (AW period), those two regions presented a 'moderately dry, warm and with temperate nights' according to MCC System. Otherwise, the Diamantina SS period presented a 'humid, temperate warm and with temperate nights' viticultural climate. In the AW period, the Diamantina climatic condition values represent a 'subhumid, temperate and with cool nights' viticultural climate. Based on those results it can be concluded that the North Region of Minas Gerais State has a great climatic potential to became a grape-growing region for wine-making, specially in the autumn-winter period.
Resumo:
Background: Design of newly engineered microbial strains for biotechnological purposes would greatly benefit from the development of realistic mathematical models for the processes to be optimized. Such models can then be analyzed and, with the development and application of appropriate optimization techniques, one could identify the modifications that need to be made to the organism in order to achieve the desired biotechnological goal. As appropriate models to perform such an analysis are necessarily non-linear and typically non-convex, finding their global optimum is a challenging task. Canonical modeling techniques, such as Generalized Mass Action (GMA) models based on the power-law formalism, offer a possible solution to this problem because they have a mathematical structure that enables the development of specific algorithms for global optimization. Results: Based on the GMA canonical representation, we have developed in previous works a highly efficient optimization algorithm and a set of related strategies for understanding the evolution of adaptive responses in cellular metabolism. Here, we explore the possibility of recasting kinetic non-linear models into an equivalent GMA model, so that global optimization on the recast GMA model can be performed. With this technique, optimization is greatly facilitated and the results are transposable to the original non-linear problem. This procedure is straightforward for a particular class of non-linear models known as Saturable and Cooperative (SC) models that extend the power-law formalism to deal with saturation and cooperativity. Conclusions: Our results show that recasting non-linear kinetic models into GMA models is indeed an appropriate strategy that helps overcoming some of the numerical difficulties that arise during the global optimization task.
Resumo:
Challenging the view of asymmetrical power relations between China and Africa, this thesis questions the "Chinese comparative advantages" (monolithic state power and economic advantages) of Chinese state-owned enterprises (SOEs) in Africa. It argues that the power dynamics between Chinese and African actors are dialectical and pluralistic, with localized social capital representing the true Chinese competitive advantage in Africa. Based on ethnographical fieldwork conducted in Ghana, this thesis shows that Chinese SOEs pursue their globalization in a double context - that of the deliberate "retreat" of the Chinese state, and more importantly, that of Ghanaian governance and society (characterized by political party patronage, extraversion dynamics, and worker agency). The trajectories of Chinese expatriates' expatriation/ social promotion and their SOEs' globalization/ localization are mutually influenced and reinforced. By cultivating local relationships and knowledge, a provincial Chinese SOE in Ghana can outperform a large Chinese central SOE, even if the latter has more support from the Chinese state. Moreover, the recent effort to build a "socially acceptable Chinese community" in Ghana has renewed the power dynamics between the Chinese state and the SOEs. All these observations provide for constructing a new perspective of Chinese SOEs in Africa - a "second-class" Chinese globalization - the SOEs may begin with few privileges, but promotion over time is possible. -- A contre pied des approches postulant des relations de pouvoir asymétriques entre la Chine et l'Afrique, cette thèse interroge les « avantages comparatifs chinois » (pouvoir de l'État monolithique et avantages économiques) des entreprises publiques chinoises (EPC) en Afrique. Elle soutient l'idée selon laquelle les dynamiques de pouvoir entre les acteurs chinois et africains est dialectique et pluraliste, et le capital social localisé étant le véritable avantage compétitif chinois en Afrique. S'appuyant sur un travail de terrain ethnographique au Ghana, cette thèse montre que les EPC poursuivent leur mondialisation dans un double contexte - celui de la «retraite» délibérée de l'État chinois, et, de façon plus importante, celui de la gouvernance et de la société ghanéennes (caractérisées par un clientélisme des partis politiques, une dynamique d'extraversion et le pouvoir de négociation des travailleurs). Les trajectoires d'expatriation / de promotion sociale des expatriés chinois et la mondialisation / localisation de leurs EPC s'influencent et se renforcent mutuellement. En cultivant des relations et des connaissances locales, une EPC provinciale au Ghana peut surpasser une grande EPC centrale, même si cette dernière reçoit plus de soutien de l'État chinois. En outre, les efforts récents visant à construire une «communauté chinoise socialement acceptable» au Ghana ont renouvelé la dynamique du pouvoir entre l'État chinois et les EPC. Ces observations permettent de construire une nouvelle perspective des EPC en Afrique - la globalisation chinoise de « deuxième classe » - les EPC peuvent débuter avec peu de privilèges, mais leur promotion reste possible avec le temps.
Resumo:
Tässä diplomityössä perehdytään WAP:in Push -viitekehykseen. WAP-standardit määrittelevät kuinka Internet-tyyppisiä palveluita, joita voidaan käyttää erilaisia mobiileja päätelaiteitteita käyttäen, toteutetaan tehokkaalla ja verkkoteknologiasta riippumattomalla tavalla. WAP pohjautuu Internet:iin, mutta huomioi pienten päätelaitteiden ja mobiiliverkkojen rajoitukset ja erikoisominaisuudet. WAP Push viitekehys määrittelee verkon aloittaman palvelusisällön toimittamisen. Työn teoriaosassa käydään läpi yleinen WAP-arkkitehtuuri ja WAP-protokollapino käyttäen vertailukohtina lanka-Internetin arkkitehtuuria ja protokollapinoa. Edellistä perustana käyttäen tutustaan WAP Push -viitekehykseen. Käytännönosassa kuvataan WAP Push -välityspalvelimen suunnittelu ja kehitystyö. WAP Push -välityspalvelin on keskeinen verkkoelementti WAP Push -viitekehyksessä. WAP Push -välityspalvelin yhdistää Internetin ja mobiiliverkon tavalla, joka piilottaa teknologiaeroavaisuudet Internetissä olevalta palveluntuottajalta.
Resumo:
Simulaattorit ovat yksinkertaistettuja malleja tietyistä järjestelmän osioista. Niitä käytetään mallintamaan testattavan osion ympärillä olevien muiden osioiden ulkoista toimintaa, jotta testattavalle osiolle saadaan oikeanlainen toimintaympäristö aikaiseksi. Tilakoneita käytetään mallintamaan ohjelmistojen tai niiden osien toimintaa. Sanomaohjatuissa tilakoneissa tilojen vaihdot perustuvat saapuviin sanomiin. Tässä työssä esitellään erään ohjelmiston alijärjestelmän testaamisessa käytettävä arkkitehtuuri, joka perustuu suurelta osin simulaattoreiden käyttöön muiden alijärjestelmien mallintamisessa. Testattava ohjelmisto koostuu enimmäkseen tilakoneista, jotka vaihtavat keskenään sanomia ja ohjaavat näin toistensa tilasiirtymiä. Työn testausympäristö on suunniteltu juuri tämänkaltaisen ohjelmiston testaamiseen. Työssä esiteltävää testausympäristöä myöskin käytettiin useamman kuukauden ajan ja se todettiin toimivaksi. Joitakin testausympäristön käyttöohjeita, käyttökokemuksia sekä siihen liittyviä parannusehdotuksia käydään läpi työn loppuosassa. Erityisesti havaittiin miten tärkeää on testata implementaatiota jo luokka tasolla ennen alijärjestelmä tason testaukseen siirtymistä sekä päädyttiin siihen, että suunnitteluvaiheen pitäisi olla lähemmin liitoksissa alijärjestelmätestaukseen.
Resumo:
Because of their unique capacity to cross-present Ags to CD8(+) T cells, mouse lymphoid tissue-resident CD8(+) dendritic cells (DCs) and their migratory counterparts are critical for priming antiviral T cell responses. High expression of the dsRNA sensor TLR3 is a distinctive feature of these cross-presenting DC subsets. TLR3 engagement in CD8(+) DCs promotes cross-presentation and the acquisition of effector functions required for driving antiviral T cell responses. In this study, we performed a comprehensive analysis of the TLR3-induced antiviral program and cell-autonomous immunity in CD8(+) DC lines and primary CD8(+) DCs. We found that TLR3-ligand polyinosinic-polycytidylic acid and human rhinovirus infection induced a potent antiviral protection against Sendai and vesicular stomatitis virus in a TLR3 and type I IFN receptor-dependent manner. Polyinosinic-polycytidylic acid-induced antiviral genes were identified by mass spectrometry-based proteomics and transcriptomics in the CD8(+) DC line. Nanostring nCounter experiments confirmed that these antiviral genes were induced by TLR3 engagement in primary CD8(+) DCs, and indicated that many are secondary TLR3-response genes requiring autocrine IFN-β stimulation. TLR3-activation thus establishes a type I IFN-dependent antiviral program in a DC subtype playing crucial roles in priming adaptive antiviral immune responses. This mechanism is likely to shield the priming of antiviral responses against inhibition or abrogation by the viral infection. It could be particularly relevant for viruses detected mainly by TLR3, which may not trigger type I IFN production by DCs that lack TLR3, such as plasmacytoid DCs or CD8(-) DCs.
Resumo:
Social interactions are a very important component in people"s lives. Social network analysis has become a common technique used to model and quantify the properties of social interactions. In this paper, we propose an integrated framework to explore the characteristics of a social network extracted from multimodal dyadic interactions. For our study, we used a set of videos belonging to New York Times" Blogging Heads opinion blog. The Social Network is represented as an oriented graph, whose directed links are determined by the Influence Model. The links" weights are a measure of the"influence" a person has over the other. The states of the Influence Model encode automatically extracted audio/visual features from our videos using state-of-the art algorithms. Our results are reported in terms of accuracy of audio/visual data fusion for speaker segmentation and centrality measures used to characterize the extracted social network.