47 resultados para distributed constraint satisfaction


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Tutkimuksen tarkoituksena oli analysoida vanhusten ympärivuorokautisen hoidon yksiköissä työskentelevien työntekijöiden työn fyysistä ja psyykkistä kuormittavuutta ja työhön liittyviä fyysisiä riskejä. Lisäksi haluttiin selvittää, millaisia vaikutuksia fyysisen kuormittavuuden vähentämistä tavoitelleella ergonomisella kehittämisinterventiolla saadaan aikaan. Tutkimuksessa hyödynnettiin Turun kaupungin vanhuspalveluissa vuosina 2010–2012 toteutuneessa ergonomisessa kehittämisinterventiossa (47 työyksikköä) kertynyttä ja vuosien 2010 ja 2012 Kunta10-kyselyn (120 työyksikköä) tuottamaa tietoa. Intervention ydin oli Työterveyslaitoksen Fyysisten riskien hallintamalli hoitoalalla -mallin käyttööotto. Käytetyt mittarit olivat seuraavat: Työn kuormitus- ja työtyytyväisyyskysely työntekijöille, asiakkaiden toimintakykyä mittaava RAVATM -indeksi, fyysistä kuormitusta ja työn riskejä mittava Care ThermometerTM-menetelmä, potilassiirtojen turvallisuusjohtamisen (PHOQS) arviointi sekä esimies- ja ergonomiavastaavien kysely. Lisäksi käytössä olivat Kunta10-kyselyn tulokset valittujen muuttujien osalta kaikista tutkimukseen osallistuvista kaupungeista sekä ympärivuorokautisen hoidon asiakkaita ja hoitohenkilöstöä kuvaavia tilastoja. Työ vanhusten ympärivuorokautisessa hoidossa on fyysisesti ja psyykkisesti kuormittavaa. Interventiotoimenpiteistä huolimatta koettu fyysinen ja psyykkinen kuormittavuus kasvoivat, tosin fyysinen psyykkistä vähemmän. Kuormittavuus vaihteli toimintamuodoittain ja ammattiryhmittäin. Fyysisesti kuormittavimmaksi työ koettiin pitkäaikaissairaanhoidossa, psyykkinen kuormitus kasvoi eniten tehostetussa palveluasumisessa. Vanhainkodit sijoittuivat näiden väliin. Lähihoitajat kokivat työnsä fyysisesti kuormittavimmaksi, kun taas sairaanhoitajien työ oli psyykkisesti lähihoitajien työtä kuormittavampaa. Ergonomiakoulutus vähensi eniten koettua fyysistä kuormittavuutta. Kehityskeskustelut ja aiempaa paremmaksi arvioitu työkyky vähensivät mutta tyytymättömyys työhön lisäsi koettua fyysistä ja psyykkistä kuormittavuutta. Työntekijöiden ikä, RAVATM -indeksi, Care ThermometerTM -mittaukset ja PHOQS-pisteet eivät olleet tilastollisesti merkitsevästi yhteydessä kuormittavuuden muutoksiin. Työn kuormittavuuden vähentäminen ja turvallisen työskentelyn edistäminen vaativat pitkäkestoista toimintaa ja hyvää johtamista erityisesti lähiesimiehiltä. Fyysisten riskien hallintamallin käyttöönotto ja ergonomiavastaavien toiminnan vakiinnuttaminen tukevat tavoitteiden saavuttamista.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Denna avhandling handlar om metoder för att hitta begränsningar för det asymptotiska beteendet hos en förväntad uthoppstid från ett område omkring en xpunkt för processer som har normalfördelad störning. I huvudsak behandlas olika typer av autoregressiva processer. Fyra olika metoder används. En metod som använder principen för stora avvikelser samt en metod som jämför uthoppstiden med en återkomsttid ger övre begränsningar för den förväntade uthoppstiden. En martingalmetod och en metod för normalfördelade stokastiska variabler ger undre begränsningar. Metoderna har alla både förtjänster och nackdelar. Genom att kombinera de olika metoderna får man de bästa resultaten. Vi får fram gränsvärdet för det asymptotiska beteendet hos en uthoppstid för den multivariata autoregressiva processen, samt motsvarande gränsvärde för den univariata autoregressiva processen av ordning n.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In today’s knowledge intense economy the human capital is a source for competitive advantage for organizations. Continuous learning and sharing the knowledge within the organization are important to enhance and utilize this human capital in order to maximize the productivity. The new generation with different views and expectations of work is coming to work life giving its own characteristics on learning and sharing. Work should offer satisfaction so that the new generation employees would commit to organizations. At the same time organizations have to be able to focus on productivity to survive in the competitive market. The objective of this thesis is to construct a theory based framework of productivity, continuous learning and job satisfaction and further examine this framework and its applications in a global organization operating in process industry. Suggestions for future actions are presented for this case organization. The research is a qualitative case study and the empiric material was gathered by personal interviews concluding 15 employee and one supervisor interview. Results showed that more face to face interaction is needed between employees for learning because much of the knowledge of the process is tacit and so difficult to share in other ways. Offering these sharing possibilities can also impact positively to job satisfaction because they will increase the sense of community among employees which was found to be lacking. New employees demand more feedback to improve their learning and confidence. According to the literature continuous learning and job satisfaction have a relative strong relationship on productivity. The employee’s job description in the case organization has moved towards knowledge work due to continuous automation and expansion of the production process. This emphasizes the importance of continuous learning and means that productivity can be seen also from quality perspective. The normal productivity output in the case organization is stable and by focusing on the quality of work by improving continuous learning and job satisfaction the upsets in production can be handled and prevented more effectively. Continuous learning increases also the free human capital input and utilization of it and this can breed output increasing innovations that can increase productivity in long term. Also job satisfaction can increase productivity output in the end because employees will work more efficiently, not doing only the minimum tasks required. Satisfied employees are also found participating more in learning activities.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Distributed storage systems are studied. The interest in such system has become relatively wide due to the increasing amount of information needed to be stored in data centers or different kinds of cloud systems. There are many kinds of solutions for storing the information into distributed devices regarding the needs of the system designer. This thesis studies the questions of designing such storage systems and also fundamental limits of such systems. Namely, the subjects of interest of this thesis include heterogeneous distributed storage systems, distributed storage systems with the exact repair property, and locally repairable codes. For distributed storage systems with either functional or exact repair, capacity results are proved. In the case of locally repairable codes, the minimum distance is studied. Constructions for exact-repairing codes between minimum bandwidth regeneration (MBR) and minimum storage regeneration (MSR) points are given. These codes exceed the time-sharing line of the extremal points in many cases. Other properties of exact-regenerating codes are also studied. For the heterogeneous setup, the main result is that the capacity of such systems is always smaller than or equal to the capacity of a homogeneous system with symmetric repair with average node size and average repair bandwidth. A randomized construction for a locally repairable code with good minimum distance is given. It is shown that a random linear code of certain natural type has a good minimum distance with high probability. Other properties of locally repairable codes are also studied.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Several companies are trying to improve their operation efficiency by implementing an enterprise resource planning (ERP) system that makes it possible to control the resources of the company in real time. However, the success of the implementation project is not a foregone conclusion; a significant part of these projects end in a failure, one way or another. Therefore it is important to investigate ERP system implementation more closely in order to increase understanding about factors influencing ERP system success and to improve the probability of a successful ERP implementation project. Consequently, this study was initiated because a manufacturing case company wanted to review the success of their ERP implementation project. To be exact, the case company hoped to gain both information about the success of the project and insight for future implementation improvement. This study investigated ERP success specifically by examining factors that influence ERP key-user satisfaction. User satisfaction is one of the most commonly applied indicators of information system success. The research data was mainly collected by conducting theme interviews. The subjects of the interviews were six key-users of the newly implemented ERP system. The interviewees were closely involved in the implementation project. Furthermore, they act as representative users that utilize the new system in everyday business processes. The collected data was analyzed by thematizing. Both data collection and analysis were guided by a theoretical frame of reference. This frame was based on previous research on the subject. The results of the study aligned with the theoretical framework to large extent. The four principal factors influencing key-user satisfaction were change management, contractor service, key-user’s system knowledge and characteristics of the ERP product itself. One of the most significant contributions of the research is that it confirmed the existence of a connection between change management and ERP key-user satisfaction. Furthermore, it discovered two new sub-factors influencing contractor service related key-user satisfaction. In addition, the research findings indicated that in order to improve the current level of key-user satisfaction, the case company should pay special attention to system functionality improvement and enhancement of the key-users’ knowledge. During similar implementation projects in the future, it would be important to assure the success of change management and contractor service related processes.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The purpose of this Master’s thesis is to study sponsor satisfaction in charity sport events. Lack of research in regional charity sport events, emergence of corporate social responsibility and increasing popularity of charity sport events have created a research gap to be further explored. Theoretical part of the thesis focuses in development of sponsorships, charity sport event sponsorships and sponsorship as a marketing tool. Concept of satisfaction is discussed by implementing marketing theories to weight options on measuring sponsor satisfaction as a part of sponsorship evaluation process. Empirical analysis of the thesis was conducted in a regional charity sport event – Maailman Pisin Salibandyottelu. Evidences were collected in qualitative research method through semi-structured theme interviews. Altogether 12 major and minor sponsors were selected for the primary source of data. The data was analyzed by comparing sponsors’ expectations and experiences, and by displaying sponsors’ perceived satisfaction. The results indicated that sponsors were involved by partly altruistic and partly selfish motives as suggested by previous research. Respondents expressed very few, mainly non-financial expectations, yet were hoping to gain positive image association via event exposure. Negative experiences appear to have relatively small impact in overall satisfaction. Exceeding or fulfilling expectations appears to increase perceived satisfaction which was mainly driven by contribution towards the goodwill, perceived success of the event (successful record attempt, visibility (on- and off-line) and event execution.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

With the new age of Internet of Things (IoT), object of everyday such as mobile smart devices start to be equipped with cheap sensors and low energy wireless communication capability. Nowadays mobile smart devices (phones, tablets) have become an ubiquitous device with everyone having access to at least one device. There is an opportunity to build innovative applications and services by exploiting these devices’ untapped rechargeable energy, sensing and processing capabilities. In this thesis, we propose, develop, implement and evaluate LoadIoT a peer-to-peer load balancing scheme that can distribute tasks among plethora of mobile smart devices in the IoT world. We develop and demonstrate an android-based proof of concept load-balancing application. We also present a model of the system which is used to validate the efficiency of the load balancing approach under varying application scenarios. Load balancing concepts can be apply to IoT scenario linked to smart devices. It is able to reduce the traffic send to the Cloud and the energy consumption of the devices. The data acquired from the experimental outcomes enable us to determine the feasibility and cost-effectiveness of a load balanced P2P smart phone-based applications.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the complexity of system development. Therefore, advanced development technologies are required to build robust and flexible system architectures capable of adapting to such changes. Moreover, powerful quantitative techniques are needed to assess the impact of these changes on various system characteristics. Architectural flexibility is achieved by embedding into the system design the mechanisms for identifying changes and reacting on them. Hence a resilient system should have both advanced monitoring and error detection capabilities to recognise changes as well as sophisticated reconfiguration mechanisms to adapt to them. The aim of such reconfiguration is to ensure that the system stays operational, i.e., remains capable of achieving its goals. Design, verification and assessment of the system reconfiguration mechanisms is a challenging and error prone engineering task. In this thesis, we propose and validate a formal framework for development and assessment of resilient systems. Such a framework provides us with the means to specify and verify complex component interactions, model their cooperative behaviour in achieving system goals, and analyse the chosen reconfiguration strategies. Due to the variety of properties to be analysed, such a framework should have an integrated nature. To ensure the system functional correctness, it should rely on formal modelling and verification, while, to assess the impact of changes on such properties as performance and reliability, it should be combined with quantitative analysis. To ensure scalability of the proposed framework, we choose Event-B as the basis for reasoning about functional correctness. Event-B is a statebased formal approach that promotes the correct-by-construction development paradigm and formal verification by theorem proving. Event-B has a mature industrial-strength tool support { the Rodin platform. Proof-based verification as well as the reliance on abstraction and decomposition adopted in Event-B provides the designers with a powerful support for the development of complex systems. Moreover, the top-down system development by refinement allows the developers to explicitly express and verify critical system-level properties. Besides ensuring functional correctness, to achieve resilience we also need to analyse a number of non-functional characteristics, such as reliability and performance. Therefore, in this thesis we also demonstrate how formal development in Event-B can be combined with quantitative analysis. Namely, we experiment with integration of such techniques as probabilistic model checking in PRISM and discrete-event simulation in SimPy with formal development in Event-B. Such an integration allows us to assess how changes and di erent recon guration strategies a ect the overall system resilience. The approach proposed in this thesis is validated by a number of case studies from such areas as robotics, space, healthcare and cloud domain.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

IoT consists of essentially thousands of tiny sensor nodes interconnected to the internet, each one of which executes the programmed functions under memory and power limita- tions. The sensor nodes are distributed mainly for gathering data in various situations. IoT envisions the future technologies such as e-health, smart city, auto-mobiles automa- tion, construction sites automation, and smart home. Secure communication of data under memory and energy constraints is major challenge in IoT. Authentication is the first and important phase of secure communication. This study presents a protocol to authenticate resource constraint devices in physical proximity by solely using the shared wireless communication interfaces. This model of authentication only relies on the abundance of ambient radio signals to authenticate in less than a second. To evaluate the designed protocol, SkyMotes are emulated in a network environment simulated by Contiki/COOJA. Results presented during this study proves that this approach is immune against passive and active attacks. An adversary located as near as two meters can be identified in less than a second with minimal expense of energy. Since, only radio device is used as required hardware for the authentication, this technique is scalable and interoperable to heterogeneous nature of IoT.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The goal of this thesis is to define and validate a software engineering approach for the development of a distributed system for the modeling of composite materials, based on the analysis of various existing software development methods. We reviewed the main features of: (1) software engineering methodologies; (2) distributed system characteristics and their effect on software development; (3) composite materials modeling activities and the requirements for the software development. Using the design science as a research methodology, the distributed system for creating models of composite materials is created and evaluated. Empirical experiments which we conducted showed good convergence of modeled and real processes. During the study, we paid attention to the matter of complexity and importance of distributed system and a deep understanding of modern software engineering methods and tools.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Liberalization of electricity markets has resulted in a competed Nordic electricity market, in which electricity retailers play a key role as electricity suppliers, market intermediaries, and service providers. Although these roles may remain unchanged in the near future, the retailers’ operation may change fundamentally as a result of the emerging smart grid environment. Especially the increasing amount of distributed energy resources (DER), and improving opportunities for their control, are reshaping the operating environment of the retailers. This requires that the retailers’ operation models are developed to match the operating environment, in which the active use of DER plays a major role. Electricity retailers have a clientele, and they operate actively in the electricity markets, which makes them a natural market party to offer new services for end-users aiming at an efficient and market-based use of DER. From the retailer’s point of view, the active use of DER can provide means to adapt the operation to meet the challenges posed by the smart grid environment, and to pursue the ultimate objective of the retailer, which is to maximize the profit of operation. This doctoral dissertation introduces a methodology for the comprehensive use of DER in an electricity retailer’s short-term profit optimization that covers operation in a variety of marketplaces including day-ahead, intra-day, and reserve markets. The analysis results provide data of the key profit-making opportunities and the risks associated with different types of DER use. Therefore, the methodology may serve as an efficient tool for an experienced operator in the planning of the optimal market-based DER use. The key contributions of this doctoral dissertation lie in the analysis and development of the model that allows the retailer to benefit from profit-making opportunities brought by the use of DER in different marketplaces, but also to manage the major risks involved in the active use of DER. In addition, the dissertation introduces an analysis of the economic potential of DER control actions in different marketplaces including the day-ahead Elspot market, balancing power market, and the hourly market of Frequency Containment Reserve for Disturbances (FCR-D).