901 resultados para Formal Methods. Component-Based Development. Competition. Model Checking
Resumo:
Energy efficiency is one of the major objectives which should be achieved in order to implement the limited energy resources of the world in a sustainable way. Since radiative heat transfer is the dominant heat transfer mechanism in most of fossil fuel combustion systems, more accurate insight and models may cause improvement in the energy efficiency of the new designed combustion systems. The radiative properties of combustion gases are highly wavelength dependent. Better models for calculating the radiative properties of combustion gases are highly required in the modeling of large scale industrial combustion systems. With detailed knowledge of spectral radiative properties of gases, the modeling of combustion processes in the different applications can be more accurate. In order to propose a new method for effective non gray modeling of radiative heat transfer in combustion systems, different models for the spectral properties of gases including SNBM, EWBM, and WSGGM have been studied in this research. Using this detailed analysis of different approaches, the thesis presents new methods for gray and non gray radiative heat transfer modeling in homogeneous and inhomogeneous H2O–CO2 mixtures at atmospheric pressure. The proposed method is able to support the modeling of a wide range of combustion systems including the oxy-fired combustion scenario. The new methods are based on implementing some pre-obtained correlations for the total emissivity and band absorption coefficient of H2O–CO2 mixtures in different temperatures, gas compositions, and optical path lengths. They can be easily used within any commercial CFD software for radiative heat transfer modeling resulting in more accurate, simple, and fast calculations. The new methods were successfully used in CFD modeling by applying them to industrial scale backpass channel under oxy-fired conditions. The developed approaches are more accurate compared with other methods; moreover, they can provide complete explanation and detailed analysis of the radiation heat transfer in different systems under different combustion conditions. The methods were verified by applying them to some benchmarks, and they showed a good level of accuracy and computational speed compared to other methods. Furthermore, the implementation of the suggested banded approach in CFD software is very easy and straightforward.
Resumo:
In this doctoral thesis, a power conversion unit for a 10 kWsolid oxide fuel cell is modeled, and a suitable control system is designed. The need for research was identified based on an observation that there was no information available about the characteristics of the solid oxide fuel cell from the perspective of power electronics and the control system, and suitable control methods had not previously been studied in the literature. In addition, because of the digital implementation of the control system, the inherent characteristics of the digital system had to be taken into account in the characteristics of the solid oxide fuel cell (SOFC). The characteristics of the solid oxide fuel cell as well the methods for the modeling and control of the DC/DC converter and the grid converter are studied by a literature survey. Based on the survey, the characteristics of the SOFC as an electrical power source are identified, and a solution to the interfacing of the SOFC in distributed generation is proposed. A mathematical model of the power conversion unit is provided, and the control design for the DC/DC converter and the grid converter is made based on the proposed interfacing solution. The limit cycling phenomenon is identified as a source of low-frequency current ripple, which is found to be insignificant when connected to a grid-tied converter. A method to mitigate a second harmonic originating from the grid interface is proposed, and practical considerations of the operation with the solid oxide fuel cell plant are presented. At the theoretical level, the thesis discusses and summarizes the methods to successfully derive a model for a DC/DC converter, a grid converter, and a power conversion unit. The results of this doctoral thesis can also be used in other applications, and the models and methods can be adopted to similar applications such as photovoltaic systems. When comparing the results with the objectives of the doctoral thesis, we may conclude that the objectives set for the work are met. In this doctoral thesis, theoretical and practical guidelines are presented for the successful control design to connect a SOFC-based distributed generation plant to the utility grid.
Resumo:
This study examined relationships of organizational dependencies, change management and developed intellectual knowledge resources, in different intellectual capital based development programs on ICT-sector. Study was carried out in a research context, where high degree of external organizational contingencies existed and lots of changes in several development programs had taken place in the last years. From a scientific perspective the main contribution was that evidence between relationships of organizational dependencies, change model portfolio and developed knowledge resources could be suggested. From managerial perspective the primary implication was that in situations where sustainable competitive advantage is pursued by means of increasing knowledge based productivity of labor, firms should seek to pursue organizational settings where external dependencies have minimal amount of effect.
Resumo:
This paper describes a mathematical and graphical model for face aging. It considers the possibility of predicting the aging process by offering an initial quantification of this process as it applies to the face. It is concerned with physical measurements and a general law of time dependence. After measuring and normalizing a photograph of a person, one could predict, with a known amount of error, the appearance of that person at a different age. The technique described has served its purpose successfully, with a representative amount of patient data behaving sufficiently near the general aging curve of each parameter. That model uses a warping technique to emulate the aging changes on the face of women. Frequently the warping methods are based on the interpolation between images or general mathematical functions to calculate the pixel attributes. The implemented process considers the age features of selected parts of a face such as the face outline and the shape of the lips. These age features were obtained by measuring the facial regions of women that have been photographed throughout their lives. The present work is first concerned with discussing a methodology to define the aging parameters that can be measured, and second with representing the age effects graphically.
Resumo:
Tämän Pro gradu -tutkielman tavoitteena on löytää prosessikirjallisuudesta kohdeyrityksen taloushallinnon kehittämiseen soveltuvia menetelmiä ja tunnistaa taloushallinnosta ne osa-alueet, joiden parantamisesta olisi yritykselle hyötyä tulevaisuudessa. Tutkielmassa sovelletaan kvalitatiivista analyysitapaa ja tutkimusstrategiana on tapaustutkimus. Aineistonkeruu suoritetaan empiirisen osion osalta haastattelujen, kyselyn ja havainnoinnin avulla. Teoreettinen viitekehys rakentuu taloushallinnon entistä strategisemman roolin ympärille etsien apukeinoja johtamiseen sekä prosessi- että laatuajattelusta. Tutkielmassa kartoitetaan kohdeyrityksen taloushallinnon prosessit sekä mallinnetaan niiden kulku ja rajapinnat muiden prosessien kanssa. Lisäksi tuodaan esiin prosesseissa piilevät kriittiset pisteet ja kehityskohteet. Kehitysehdotuksia esitetään myös kohdeyrityksen taloushallinnon organisoinnin ja laskentatoimen teorian vertailun sekä prosessiajattelun eri sovellusmahdollisuuksien pohjalta.
Resumo:
Smart phones became part and parcel of our life, where mobility provides a freedom of not being bounded by time and space. In addition, number of smartphones produced each year is skyrocketing. However, this also created discrepancies or fragmentation among devices and OSes, which in turn made an exceeding hard for developers to deliver hundreds of similar featured applications with various versions for the market consumption. This thesis is an attempt to investigate whether cloud based mobile development platforms can mitigate and eventually eliminate fragmentation challenges. During this research, we have selected and analyzed the most popular cloud based development platforms and tested integrated cloud features. This research showed that cloud based mobile development platforms may able to reduce mobile fragmentation and enable to utilize single codebase to deliver a mobile application for different platforms.
Resumo:
This thesis is a literature study that develops a conceptual model of decision making and decision support in service systems. The study is related to the Ä-Logi, Intelligent Service Logic for Welfare Sector Services research project, and the objective of the study is to develop the necessary theoretical framework to enable further research based on the research project results and material. The study first examines the concepts of service and service systems, focusing on understanding the characteristics of service systems and their implications for decision making and decision support to provide the basis for the development of the conceptual model. Based on the identified service system characteristics, an integrated model of service systems is proposed that views service systems through a number of interrelated perspectives that each offer different, but complementary, implications on the nature of decision making and the requirements for decision support in service systems. Based on the model, it is proposed that different types of decision making contexts can be identified in service systems that may be dominated by different types of decision making processes and where different types of decision support may be required, depending on the characteristics of the decision making context and its decision making processes. The proposed conceptual model of decision making and decision support in service systems examines the characteristics of decision making contexts and processes in service systems, and their typical requirements for decision support. First, a characterization of different types of decision making contexts in service systems is proposed based on the Cynefin framework and the identified service system characteristics. Second, the nature of decision making processes in service systems is proposed to be dual, with both rational and naturalistic decision making processes existing in service systems, and having an important and complementary role in decision making in service systems. Finally, a characterization of typical requirements for decision support in service systems is proposed that examines the decision support requirements associated with different types of decision making processes in characteristically different types of decision making contexts. It is proposed that decision support for the decision making processes that are based on rational decision making can be based on organizational decision support models, while decision support for the decision making processes that are based on naturalistic decision making should be based on supporting the decision makers’ situation awareness and facilitating the development of their tacit knowledge of the system and its tasks. Based on the proposed conceptual model a further research process is proposed. The study additionally provides a number of new perspectives on the characteristics of service systems, and the nature of decision making and requirements for decision support in service systems that can potentially provide a basis for further discussion and research, and support the practice alike.
Resumo:
Companies require information in order to gain an improved understanding of their customers. Data concerning customers, their interests and behavior are collected through different loyalty programs. The amount of data stored in company data bases has increased exponentially over the years and become difficult to handle. This research area is the subject of much current interest, not only in academia but also in practice, as is shown by several magazines and blogs that are covering topics on how to get to know your customers, Big Data, information visualization, and data warehousing. In this Ph.D. thesis, the Self-Organizing Map and two extensions of it – the Weighted Self-Organizing Map (WSOM) and the Self-Organizing Time Map (SOTM) – are used as data mining methods for extracting information from large amounts of customer data. The thesis focuses on how data mining methods can be used to model and analyze customer data in order to gain an overview of the customer base, as well as, for analyzing niche-markets. The thesis uses real world customer data to create models for customer profiling. Evaluation of the built models is performed by CRM experts from the retailing industry. The experts considered the information gained with help of the models to be valuable and useful for decision making and for making strategic planning for the future.
Resumo:
The aim of the study and research questions: The aim of this study is to illuminate how caring communion can aid in promoting health as becoming in elderly people in the context of natural caring. The target group of the study consists of elderly citizens living at home. The focus of this thesis is on the concept of communion and how caring communion can affect the inner health resources in a patient’s inner health domain, as well as how caring communion can support health as becoming and inner health resources in the elderly. The main research questions of this study are the following: 1) what does communion mean? 2) what does caring communion mean? 3) what is the connection between caring communion and health? Theoretical perspective: The theoretical perspective of this qualitative study relies on the caritative caring theory as developed by scholars of caring sciences at the Åbo Academi University’s Vasa unit. The caritas motive is based on an ethos built on a consideration of togetherness, i.e. caring communion, a place where one feels at home and where one can be the person one was meant to be. Methodology: A hermeneutic research approach based on Gadamer (1997) permeates the study. This entails that understanding and interpretation become central. The study conducted in the thesis is divided into three sub-studies. Sub-study one and two are based on ontological determination whereas the third sub-study is carried out by contextual determination. The first sub-study is conducted by etymological and semantic analysis of the concept of communion (gemenskap) based on Koort (1975) and the second sub-study by determining the basic epistemological category of the concept based on Eriksson (2010b). Sub-study three is conducted through content analysis of 18 multidisciplinary and 13 caring science articles and dissertations based on Kvale (2009). The aim in the third sub-study is to define caring communions in various contexts of meaning based on Eriksson´s model of conceptual determination (2010b). All studies are interpreted through hermeneutic interpretation where the continuous movement from a part of a whole, to the whole, to part again, leads to new understanding. Finally, the findings from all the three sub-studies are compared to the concepts of pre-understanding and the inner-health-domain model of Wärnås (2002). Results: The results of the study offer a description of the dimensions of caring communion and a model that illuminates how caring communion can further health as becoming. The fundamentals of caring communion rest on the idea of a human being’s absolute right to dignity as a base for communion. The concept of communion contains a moral, an ethical, and a spiritual component. In communion, there exists a moral and ethical responsibility and a willingness to commit oneself. The individual is part of a connection or relation and knows the aim and course for the communion. A caring connection, a caring culture, a caring atmosphere and caring listening are characteristics of caring communion. In caring communion, the elderly feel trusting and see themselves as unique, powerful, and valuable. The model demonstrates that when the elderly are able to rest in caring communion, the virtues of courage and faith become strong and desire for life awaken within the elderly and health as becoming becomes possible. Conclusions: The outcome of the study is that all communion is not necessarily caring communion. In order for communion to be caring and for the elderly to achieve health as becoming, there are certain criteria that must be met. This is especially important when designing activities for the elderly in the context of natural caring.
Resumo:
Response Surface Methodology (RSM) was applied to evaluate the chromatic features and sensory acceptance of emulsions that combine Soy Protein (SP) and red Guava Juice (GJ). The parameters analyzed were: instrumental color based on the coordinates a* (redness), b* (yellowness), L* (lightness), C* (chromaticity), h* (hue angle), visual color, acceptance, and appearance. The analyses of the results showed that GJ was responsible for the high measured values of red color, hue angle, chromaticity, acceptance, and visual color, whereas SP was the variable that increased the yellowness intensity of the assays. The redness (R²adj = 74.86%, p < 0.01) and hue angle (R²adj = 80.96%, p < 0.01) were related to the independent variables by linear models, while the sensory data (color and acceptance) could not be modeled due to a high variability. The models of yellowness, lightness, and chromaticity did not present lack of fit but presented adjusted determination coefficients bellow 70%. Notwithstanding, the linear correlations between sensory and instrumental data were not significant (p > 0.05) and low Pearson coefficients were obtained. The results showed that RSM is a useful tool to develop soy-based emulsions and model some chromatic features of guava-based emulsions through RSM.
Resumo:
Tämän työn tavoitteena oli tutkia asiakasarvopohjaisten palveluiden kehittämistä ja luoda kiinteistöpalvelualan yritykselle kehitysprosessimalli, jonka avulla yritys voisi optimoida toimintojaan tulevaisuudessa. Tutkimuksen päätavoitteina oli tutkia asiakasarvoa kiinteistöpalveluissa, kartoittaa potentiaalisten uusien asiakkaiden palveluiden nykytila ja toiveet sekä tarkastella kohdeyrityksen palveluiden kehitysprosessia. Työn teoreettisessa osiossa tarkasteltiin palveluliiketoimintaa yleisellä tasolla, yrityksen palveluprosessin kehittämistä, asiakasarvon muodostumista sekä SERVQUAL- ja QFD-työkalujen avulla palvelun laatua ja asiakastarpeita. Työn teoriaosuuden kautta saatiin myös selville, että asiakasarvon hallinta on palveluiden kehitysprosessin ydin. Tutkimuksen empiirinen aineisto kerättiin syvähaastatteluiden avulla avainasiakkailta eri asiakassegmentteihin liittyen. Haastattelujen analysoinnissa hyödynnettiin laadullista sisällönanalyysiä. Työn tuloksissa määriteltiin asiakasarvo ja tärkeimmät asiakastarpeet kiinteistöpalveluissa, kartoitettiin asiakkaiden odotusten ja nykytilan väliset kuilut sekä luotiin yritykselle palveluiden kehitysprosessimalli, jota yritys voi toiminnoissaan tapauskohtaisesti hyödyntää tulevaisuudessa.
Resumo:
The purpose of this case study was to determine the effectiveness of sport for development (SDP) evaluation within one program in Gansbaai, South Africa through critical, independent participant inclusive program evaluation. Qualitative research was conducted on the Football Foundation of South Africa (FFSA), where semi-structured interview data were collected from administrators and participants, as were data from direct participant observations and organizational documents. Data analysis followed, according to Kvale and Brinkman’s (2008) methodology. FFSA goals were found, as were themes of social impact (i.e., regarding coach-player relationships, trust, and coaching impact on social integration). A further theme related to evaluation components and procedures. Further themes included life skill development, competition within programming, participants’ home life and social integration. Findings contribute to the SDP literature relating to program evaluation research and to FFSA administrators by providing an understanding of SDP program shortcomings, limitations, and suggested improvements.
Resumo:
Sport-for-development is the active practice of achieving social ideals through the use of sport and other traditional development programs. The purpose of this thesis was to evaluate SFD best practices from the context of an African organization development project. The case was a development organization in Zambia, Africa that was utilizing sport within its strategy. The data collection and analysis framed using Curado and Bontis (2007) MIC Matrix, the Sport For Development International Working Group’s (2007) best practices model, and B. Kidd’s (2011) Sport-in-Development Logic Model. The research supports that a SFD project is multi-faceted and should include the employment of strategic community programming on the basis of collaborative and integrative sport, health care and education. Further, the researcher found that the best practices include setting specific goals and objectives, as well as instituting regular monitoring and evaluation strategies
Resumo:
La réadaptation pulmonaire est une intervention dont l’efficacité est largement reconnue. Cette efficacité a été établie grâce à l’utilisation d’instruments de mesure d’impact global. Les patients bénéficiant des programmes de réadaptation pulmonaire possèdent des caractéristiques variées et souffrent généralement de maladie pulmonaire obstructive chronique à différents degrés. En fonction de leurs différents besoins, les patients répondent de façon variable aux composantes d’un programme de réadaptation pulmonaire. Il est recommandé d’individualiser les programmes en fonction des besoins des patients afin d’en optimiser les effets. À cette fin, l’évaluation des besoins de réadaptation des patients est nécessaire. Comme il n’existe actuellement aucun instrument standardisé pour procéder à cette évaluation, nous avons entrepris d’en développer un à l’aide de méthodes qualitatives et quantitatives de recherche. Un modèle conceptuel d’évaluation des besoins de réadaptation des patients a été élaboré suite aux résultats tirés de groupes de discussion, de la consultation de dossiers médicaux et d’une recension des écrits. À partir de ce modèle, des items devant être sélectionnés de façon individualisée parmi cinq domaines (reconnaissance des besoins, connaissance, motivation, attentes et buts) ont été pré-testés. Les tendances générales concernant la validité des items contenus dans le prototype d’instrument ont été vérifiées lors d’une étude pilote auprès de 50 répondants en réadaptation. Les pistes d’investigation dégagées dans ce mémoire serviront aux études de validation plus approfondies dont devrait faire l’objet ce prototype d’instrument dans le futur.
Resumo:
Trajectoires développementales de l’IMC durant l’enfance: Une étude longitudinale sur 8 ans. Introduction : L’obésité infantile, origine de nombreux problèmes de santé, représente un grand défi en santé publique. Récemment, l’importance d’étudier l’évolution du surpoids durant l’enfance ainsi que les facteurs de risques précoces pour l’obésité a été reconnue. Les trajectoires développementales d’indice de masse corporelle (IMC) chez les jeunes représentent une approche innovatrice qui nous permet de mieux comprendre cette problématique importante. Objectifs: 1) Identifier des trajectoires développementales distinctes de groupes d’enfants selon leur IMC durant l’enfance, et 2) Explorer les facteurs de risques précoces qui prédisent l’appartenance de l’enfant à la trajectoire d’IMC le plus élevé Hypothèses: 1) On s’attend à retrouver un groupe d’enfants qui suit une trajectoire d’IMC élevée durant l’enfance. 2) On s’attend à ce que certaines caractéristiques de la mère (ex : tabac pendant la grossesse et IMC élevé), soient associées à l’appartenance de l’enfant au groupe ayant la trajectoire «IMC élevé ». Méthodes: Estimation des trajectoires développementales d’IMC d’enfants, dans un échantillon populationnel (n=1957) au Québec (ELDEQ). Les IMC ont été calculés à partir de données fournies par les mères des enfants et recueillis chaque année sur une durée de 8 ans. Des données propres à l’enfant sa mère, ainsi que socioéconomiques, ont étés recueillies. Une régression logistique multinomiale a été utilisée pour distinguer les enfants avec un IMC élevé des autres enfants, selon les facteurs de risques précoces. Les programmes PROC TRAJ (extension de SAS), SPSS (version 16), et SAS (version 9.1.3) ont été utilisés pour ces analyses. Résultats: Trois trajectoires d’IMC ont étés identifiées : IMC « bas-stable » (54,5%), IMC « modéré » (41,0%) et IMC « élevé et en hausse » (4,5%). Le groupe « élevé et en hausse » incluait des enfants pour qui l’IMC à 8 ans dépassait la valeur limite pour l’obésité. Les analyses de régression logistique ont révélé que deux facteurs de risques maternels étaient significativement associés avec la trajectoire “en hausse” par rapport aux deux autres groupes : le tabac durant la grossesse et le surpoids maternel. Conclusions: Des risques d’obésité infantile peuvent êtres identifiés dès la grossesse. Des études d’intervention sont requises pour identifier la possibilité de réduire le risque d’obésité chez l’enfant en ciblant le tabac et le surpoids maternelle durant la grossesse. Mots clés: Indice de masse corporelle (IMC), obésité infantile, trajectoires développementales de groupe, facteurs de risque précoce, étude populationnelle, tabac pendant la grossesse, obésité maternelle.