31 resultados para Program refinement theory
Resumo:
Existent computer programming training environments help users to learn programming by solving problems from scratch. Nevertheless, initiating the resolution of a program can be frustrating and demotivating if the student does not know where and how to start. Skeleton programming facilitates a top-down design approach, where a partially functional system with complete high level structures is available, so the student needs only to progressively complete or update the code to meet the requirements of the problem. This paper presents CodeSkelGen - a program skeleton generator. CodeSkelGen generates skeleton or buggy Java programs from a complete annotated program solution provided by the teacher. The annotations are formally described within an annotation type and processed by an annotation processor. This processor is responsible for a set of actions ranging from the creation of dummy methods to the exchange of operator types included in the source code. The generator tool will be included in a learning environment that aims to assist teachers in the creation of programming exercises and to help students in their resolution.
Resumo:
57Th EOQ Congress, Quality Renaissance - Co-creating a Viable Future"
Resumo:
A distributed, agent-based intelligent system models and simulates a smart grid using physical players and computationally simulated agents. The proposed system can assess the impact of demand response programs.
Resumo:
Consider scheduling of real-time tasks on a multiprocessor where migration is forbidden. Specifically, consider the problem of determining a task-to-processor assignment for a given collection of implicit-deadline sporadic tasks upon a multiprocessor platform in which there are two distinct types of processors. For this problem, we propose a new algorithm, LPC (task assignment based on solving a Linear Program with Cutting planes). The algorithm offers the following guarantee: for a given task set and a platform, if there exists a feasible task-to-processor assignment, then LPC succeeds in finding such a feasible task-to-processor assignment as well but on a platform in which each processor is 1.5 × faster and has three additional processors. For systems with a large number of processors, LPC has a better approximation ratio than state-of-the-art algorithms. To the best of our knowledge, this is the first work that develops a provably good real-time task assignment algorithm using cutting planes.
Resumo:
Lean Thinking is an important pillar in the success of any program of continuous improvement process. Its tools are useful means in the analysis, control and organization of important data for correct decision making in organizations. This project had as main objective the design of a program of quality improvement in Eurico Ferreira, S.A., based on the evaluation of customer satisfaction and the implementation of 5S. Subsequently, we have selected which business area of the company to address. After the selection, there was an initial diagnostic procedure, identifying the various points of improvement to which some tools of Lean Thinking have been applied, in particular Value Stream Mapping and 5S methodology. With the first, we were able to map the current state of the process in which all stakeholders were represented as well as the flow of materials and information throughout the process. The 5S methodology allowed to act on the wastage, identifying and implementing various process improvements.
Resumo:
Electricity markets are complex environments, involving a large number of different entities, with specific characteristics and objectives, making their decisions and interacting in a dynamic scene. Game-theory has been widely used to support decisions in competitive environments; therefore its application in electricity markets can prove to be a high potential tool. This paper proposes a new scenario analysis algorithm, which includes the application of game-theory, to evaluate and preview different scenarios and provide players with the ability to strategically react in order to exhibit the behavior that better fits their objectives. This model includes forecasts of competitor players’ actions, to build models of their behavior, in order to define the most probable expected scenarios. Once the scenarios are defined, game theory is applied to support the choice of the action to be performed. Our use of game theory is intended for supporting one specific agent and not for achieving the equilibrium in the market. MASCEM (Multi-Agent System for Competitive Electricity Markets) is a multi-agent electricity market simulator that models market players and simulates their operation in the market. The scenario analysis algorithm has been tested within MASCEM and our experimental findings with a case study based on real data from the Iberian Electricity Market are presented and discussed.
Resumo:
Low back problems are associated with decreased quality of life. Specific exercises can improve quality of life, resulting in better professional performance and functionality. The purpose of this study was to evaluate the effect of following a 21-month exercise program on the quality of life of warehouse workers. The population included 557 male warehouse workers from a food distribution company in Oporto, Portugal. Upon application of the selection criteria, 249 workers were deemed eligible, which were randomized into two groups (125 in the intervention group and 124 in the control group). Then, subjects were asked to volunteer for the study, the sample being formed by 229 workers (112 in the intervention group and 117 in the control group). All subjects completed the SF-36 questionnaire prior to beginning the program and on the 11th and 21st months following it. The exercises were executed in the company facilities once a day for 8 min. Data were analyzed using SPSS® 17.0 for Windows®. After 11 months of following the exercise program, there was an increase in all scores for the experimental group, with statistically significant differences in the dimensions physical functioning (0.019), bodily pain (0.010), general health (0.004), and rolephysical (0.037). The results obtained at the end of the study (21 months) showed significant improvements in the dimensions physical functioning (p = 0.002), rolephysical (p = 0.007), bodily pain (p = 0.001), social functioning (p = 0.015), role-emotional (p = 0.011), and mental health (p = 0.001). In the control group all dimensions showed a decrease in mean scores. It can be concluded that the implementation of a low back specific exercise program has changed positively the quality of life of warehouse workers.
Resumo:
Introduction: Coronary artery disease and aging seems to be associated with a sedentary lifestyle, contributing to increased abdominal fat and consequently metabolic complications. The exercise can break this cycle by stimulating lipolysis and the use of fatty acids. In Europe there is still a lack of cardiac rehabilitation programmes in hospitals, therefore, this study aims to demonstrate the advantages of implementing home-based exercise programmes, as well as, their effects on cardiovascular prevention. This study analyzed the effects of a home-based exercise programme, in patients with coronary artery disease (myocardial infarction for 1 year), in body composition, abdominal fat, lipid profile. Methods: An ongoing randomized controlled trial with a sample of 20 participants were randomly allocated to intervention (n = 10) and control groups (n = 10). Intervention group performed a specific exercise programme during 8 weeks, consisting of ten home based exercises taking into account flexibility, muscle endurance and strength as well as cardiovascular endurance. Skinfolds thickness were measure to calculate the percentage of total fat: Skinfolds used were suprailiac, abdominal horizontal and vertical. Body mass index calculation and blood tests for lipidic profile were performed. Results: After eight weeks the intervention group decreased significantly the percentage of total fat (p < 0.05), the suprailiac skinfold (p < 0.05), the abdominal horizontal and vertical skinfold (p < 0.05) when compared with control group. In the intervention group it was observed after 8 weeks a significant decrease in body mass index, LDL-cholesterol and triglycerides. Conclusions: Home-based exercise programme influenced body composition, abdominal fat and lipid profile. These results highlight the importance of implementing home based exercises that are easy and cheap to implement in cardiac patients, in order to promote health and reduce cardiovascular risk factors.
Resumo:
Objective: The aim of this study was to compare the factors of adherence to physical activity in subjects attending a cardiac rehabilitation program, and subjects who have withdrawal this same program using the Transtheoretical Model of behavior change. Methods: We conducted an observational, cross sectional type study, with a sample of 33 individuals (15 currently participating in the Cardiac Rehabilitation Program and 18 who no more attended the same program), with the questionnaires being personally delivered or sent by mail. For data analysis, we used the computer program SPSS® version 16.0. The significance level was set at 0.05. Results: There were no significant differences in the states of Change, Self-efficacy, Decisional Balance and Change Processes in both groups. We obtained a high Spearman correlation between States of Change and Self-efficacy (r2 = 0.778) and the Pros (r2 = 0.764) and Againsts (r2 = -0.744) in Decisional Balance. However, there were no significant evidence to affirm that States of Change and experiential processes of change (p = 0.465) andbehavioral (p = 0.300) had a correlation. A relationship was found, in terms of proportions between physical activity incorporated or not in a Cardiac Rehabilitation Program and age (p = 0.003), occupation (p = 0.010) and the entity paying the costs of program (p = 0.027). Conclusion: It was concluded that perceived self-efficacy and Pros and Againsts of the Decisional Balance are related to adherence to physical activity. Results also point out that age, profession and the entity paying the costs of the program influences the dropout of Cardiac Rehabilitation Programs.
Resumo:
Smart Grids (SGs) have emerged as the new paradigm for power system operation and management, being designed to include large amounts of distributed energy resources. This new paradigm requires new Energy Resource Management (ERM) methodologies considering different operation strategies and the existence of new management players such as several types of aggregators. This paper proposes a methodology to facilitate the coalition between distributed generation units originating Virtual Power Players (VPP) considering a game theory approach. The proposed approach consists in the analysis of the classifications that were attributed by each VPP to the distributed generation units, as well as in the analysis of the previous established contracts by each player. The proposed classification model is based in fourteen parameters including technical, economical and behavioural ones. Depending of the VPP strategies, size and goals, each parameter has different importance. VPP can also manage other type of energy resources, like storage units, electric vehicles, demand response programs or even parts of the MV and LV distribution network. A case study with twelve VPPs with different characteristics and one hundred and fifty real distributed generation units is included in the paper.
Resumo:
This paper presents a decision support methodology for electricity market players’ bilateral contract negotiations. The proposed model is based on the application of game theory, using artificial intelligence to enhance decision support method’s adaptive features. This model is integrated in AiD-EM (Adaptive Decision Support for Electricity Markets Negotiations), a multi-agent system that provides electricity market players with strategic behavior capabilities to improve their outcomes from energy contracts’ negotiations. Although a diversity of tools that enable the study and simulation of electricity markets has emerged during the past few years, these are mostly directed to the analysis of market models and power systems’ technical constraints, making them suitable tools to support decisions of market operators and regulators. However, the equally important support of market negotiating players’ decisions is being highly neglected. The proposed model contributes to overcome the existing gap concerning effective and realistic decision support for electricity market negotiating entities. The proposed method is validated by realistic electricity market simulations using real data from the Iberian market operator—MIBEL. Results show that the proposed adaptive decision support features enable electricity market players to improve their outcomes from bilateral contracts’ negotiations.
Resumo:
The integration of wind power in eletricity generation brings new challenges to unit commitment due to the random nature of wind speed. For this particular optimisation problem, wind uncertainty has been handled in practice by means of conservative stochastic scenario-based optimisation models, or through additional operating reserve settings. However, generation companies may have different attitudes towards operating costs, load curtailment, or waste of wind energy, when considering the risk caused by wind power variability. Therefore, alternative and possibly more adequate approaches should be explored. This work is divided in two main parts. Firstly we survey the main formulations presented in the literature for the integration of wind power in the unit commitment problem (UCP) and present an alternative model for the wind-thermal unit commitment. We make use of the utility theory concepts to develop a multi-criteria stochastic model. The objectives considered are the minimisation of costs, load curtailment and waste of wind energy. Those are represented by individual utility functions and aggregated in a single additive utility function. This last function is adequately linearised leading to a mixed-integer linear program (MILP) model that can be tackled by general-purpose solvers in order to find the most preferred solution. In the second part we discuss the integration of pumped-storage hydro (PSH) units in the UCP with large wind penetration. Those units can provide extra flexibility by using wind energy to pump and store water in the form of potential energy that can be generated after during peak load periods. PSH units are added to the first model, yielding a MILP model with wind-hydro-thermal coordination. Results showed that the proposed methodology is able to reflect the risk profiles of decision makers for both models. By including PSH units, the results are significantly improved.
Resumo:
Nos últimos anos, o número de expatriados tem apresentado uma tendência de crescimento a nível mundial. Desta forma, a gestão de expatriados, que integra o subsistema da gestão internacional de recursos humanos, passa a ter uma atenção renovada e tem vindo a crescer enquanto área de intervenção de gestão de recursos humanos. Por sua vez, o contrato psicológico tem sido visto, cada vez mais, como um fator relevante na explicação das relações laborais e o número de estudos em torno desta temática tem aumentado. O sucesso da expatriação é diretamente influenciado pelo contrato psicológico e depende, em grande parte, da forma como são desenvolvidas as práticas de GRH (Homem & Tolfo, 2008). Desta forma, é essencial compreender a reação dos trabalhadores perante a mudança (Bligh & Carsten, 2005; Shield, Thorpe, & Nelson, 2002), uma vez que o comportamento de resposta aos mesmos pode ser um contributo para marcar a diferença decisiva entre o sucesso ou o fracasso da missão internacional. Neste mesmo contexto, assiste-se a uma crescente atenção sobre o contributo que o Contrato Psicológico pode ter em contextos de incerteza. O individuo, enquanto trabalhador de uma organização que decide aceitar uma missão internacional e ir viver para outro país, tem necessidade de se enquadrar num relacionamento contínuo e motivador com a entidade empregadora. A noção do contrato psicológico torna-se fundamental para o entendimento das relações de trabalho, a partir das perceções das pessoas envolvidas. Muitos dos aspetos destes relacionamentos são implícitos (não escritos) o que pode provocar diferentes interpretações sobre as expectativas, promessas e obrigações entre partes. Vários autores defendem que o contrato psicológico é um meio fundamental na compreensão e gestão das atitudes e comportamentos dos indivíduos nas organizações (Bunderson, 2001; Kraimer, Wayne, Liden, & Sparrow, 2005; Lemire & Rouillard, 2005). O objetivo deste trabalho é conhecer o estado do contrato psicológico nos expatriados: antes da missão, após a fase de adaptação ao país de destino e na repatriação. Foi utilizada a metodologia qualitativa e para tal, foi aplicada uma entrevista individual semiestruturada e um questionário sociográfico às pessoas que se encontravam, à data, expatriadas. No total foram realizadas dez entrevistas e a análise das entrevistas foi efetuada através da Grounded Theory. Os resultados sugerem que há apenas cumprimento do contrato psicológico na fase da preparação da missão internacional, havendo, por outro lado, incumprimento do contrato psicológico durante a expatriação e na repatriação, de acordo com a perceção que os expatriados têm acerca do fim da expatriação. No entanto, a maioria dos expatriados entrevistados avalia positivamente a experiência da expatriação, apesar de as organizações parecerem ter apenas algumas regras estabelecidas de suporte ao expatriado, nomeadamente suporte logístico e financeiro, e não disporem de um programa completo e aprofundado de suporte à gestão da expatriação. Os resultados sugerem ainda que é essencial que as organizações estimulem a comunicação com os expatriados e fomentem o suporte que deve ser constante e intrínseco a todas as fases da expatriação, a fim de evitar a sensação de “abandono”.