Probability and statistics: selected problems

Probability and Statistics—Selected Problems is a unique book for senior undergraduate and graduate students to fast review basic materials in Probability and Statistics. Descriptive statistics are presented first, and probability is reviewed secondly. Discrete and continuous distributions are presented. Sample and estimation with hypothesis testing are presented in the last two chapters. The solutions for proposed excises are listed for readers to references.

Linear algebra: selected problems

Linear Algebra—Selected Problems is a unique book for senior undergraduate and graduate students to fast review basic materials in Linear Algebra. Vector spaces are presented first, and linear transformations are reviewed secondly. Matrices and Linear systems are presented. Determinants and Basic geometry are presented in the last two chapters. The solutions for proposed excises are listed for readers to references.

An integrated approach for distributed energy resource short term scheduling in smart grids considering realistic power system simulation

The large increase of distributed energy resources, including distributed generation, storage systems and demand response, especially in distribution networks, makes the management of the available resources a more complex and crucial process. With wind based generation gaining relevance, in terms of the generation mix, the fact that wind forecasting accuracy rapidly drops with the increase of the forecast anticipation time requires to undertake short-term and very short-term re-scheduling so the final implemented solution enables the lowest possible operation costs. This paper proposes a methodology for energy resource scheduling in smart grids, considering day ahead, hour ahead and five minutes ahead scheduling. The short-term scheduling, undertaken five minutes ahead, takes advantage of the high accuracy of the very-short term wind forecasting providing the user with more efficient scheduling solutions. The proposed method uses a Genetic Algorithm based approach for optimization that is able to cope with the hard execution time constraint of short-term scheduling. Realistic power system simulation, based on PSCAD , is used to validate the obtained solutions. The paper includes a case study with a 33 bus distribution network with high penetration of distributed energy resources implemented in PSCAD .

Análise e melhoria de processo de pintura e vulcanização na Continental

A indústria automóvel é um dos setores mais exigentes do mercado global, por este motivo empresas como a Continental Mabor S.A, líderes de mercado, necessitam estar na linha da frente no que toca a programas de melhoria contínua e de uma gestão orientada para um crescimento rentável e sustentado. Nesta perspetiva, este estudo de dissertação tem como objetivo encontrar uma solução para a gestão de stock e FiFo (First in First out) de pneus em verde na supracitada empresa, situada em Lousado, Vila Nova de Famalicão. Este projeto de dissertação iniciou-se com uma análise e diagnóstico do processo produtivo do pneu, entre a Construção e a Vulcanização. Nesta análise, foi possível identificar vários problemas, sendo o mais crítico associado à logística interna de transporte do pneu “em curso”, de fabrico entre as fases do mesmo, Construção e Vulcanização. Devido a condicionantes estruturais e de organização, a logística interna de transporte entre estes dois sectores enfrenta estrangulamentos nos fluxos, a falta de espaço para acomodar o material em curso, problemas organizacionais de controlo e monitorização do processo produtivo, dificuldades de regulação do fluxo e localização dos carros de transporte dos pneus em verde. Face aos problemas detetados ao longo do estudo, foram analisadas várias soluções para a resolução ou minimização dos mesmos. Entre as soluções propostas salientam-se: o alargamento do sistema de transporte por tapetes rolantes GTC (Green Tire Conveying) a todos os módulos de construção. Esta solução diminui o fluxo de carros para a área da construção, descongestionando a zona próxima do sistema de carregamento automático GTAL (Green Tire Automatic Loading) na vulcanização. A implementação dum sistema Wi-Fi RFID, que permite identificar e localizar artigos em curso utilizando etiquetas inteligentes numa rede wireless, conseguindo melhorar a programação de produção e o respetivo sequenciamento. Sabendo também que a Continental se encontra numa fase de expansão, designada Projeto Route 17/20, as soluções propostas tomaram em consideração essa nova realidade futura. Assim, foram estudados e propostos novos layouts para esse atual processo. Nestes novos layouts, procurou-se uma reorganização dos processos de fabrico, bem como um redimensionamento dos espaços de parqueamento de carros de pneus verdes adequado aos volumes produtivos. De igual forma, adequou-se os espaços físicos à possível implementação de um sistema de FiFo de pneus em verde na planta fabril, quando concluída a expansão. Este trabalho de dissertação apresenta como vantagens diretas da sua implementação: gerar a menor perturbação no atual método de trabalho seguido na empresa; previsivelmente aumentar a eficiência do processo produtivo; potenciar o crescimento tecnológico programado pela empresa; e oferecer uma boa relação custo/benefício no investimento necessário. Como apreciação final, pode-se concluir que este estudo foi finalizado com sucesso, visto que as soluções propostas foram apreciadas positivamente pela Administração da Continental Mabor S.A. e estão correntemente a ser avaliadas pelo grupo.

Otimização energética na empresa Simoldes Plásticos S.A.

Mestrado em Engenharia Química - Ramo Optimização Energética na Indústria Química

Projeto de comportamento térmico, certificação energética e ensaios acústicos

O presente relatório incluído na Unidade Curricular de Dissertação/Projeto/Estágio do Mestrado (DIPRE) em Engenharia Civil do Instituto Superior de Engenharia do Porto (ISEP) e desenvolvido no âmbito do estágio curricular realizado na empresa Asl & Associados, tem como principais objetivos a minha integração no mercado de trabalho e obtenção de experiência profissional. Neste trabalho, serão abordados temas como as introduções teóricas ao Comportamento Térmico e Acústico de Edifícios de Habitação, estudos de casos práticos como o Projeto de Comportamento Térmico de uma grande intervenção, Certificação Energética de edifícios existentes com base no Regulamento de Desempenho Energético dos Edifícios de Habitação e Ensaios Acústicos de Edifícios de acordo com o Regulamento dos Requisitos Acústicos dos Edifícios. O projeto realizado consistiu no estudo do comportamento térmico do edifício na Avenida Marechal Gomes da Costa nº802, no Porto. Nesse estudo realizou-se a verificação das soluções construtivas, por vezes foram propostas alterações das mesmas de modo a verificar os requisitos impostos pelo REH e foi realizada a emissão do seu pré-certificado. A maior parte do período em que decorreu o estágio na empresa foi preenchida com a realização de certificados energéticos de frações autónomas e de moradias. Para a recolha da informação necessária à sua elaboração, foram efetuadas várias vistorias aos imóveis referidos. Foram também efetuados durante o estágio, ensaios acústicos a edifícios de habitação e comércio e elaborado o respetivo relatório de ensaio.

Learning sustainability by developing a solar dryer for microalgae retrieval

The development of nations depends on energy consumption, which is generally based on fossil fuels. This dependency produces irreversible and dramatic effects on the environment, e.g. large greenhouse gas emissions, which in turn cause global warming and climate changes, responsible for the rise of the sea level, floods, and other extreme weather events. Transportation is one of the main uses of energy, and its excessive fossil fuel dependency is driving the search for alternative and sustainable sources of energy such as microalgae, from which biodiesel, among other useful compounds, can be obtained. The process includes harvesting and drying, two energy consuming steps, which are, therefore, expensive and unsustainable. The goal of this EPS@ISEP Spring 2013 project was to develop a solar microalgae dryer for the microalgae laboratory of ISEP. A multinational team of five students from distinct fields of study was responsible for designing and building the solar microalgae dryer prototype. The prototype includes a control system to ensure that the microalgae are not destroyed during the drying process. The solar microalgae dryer works as a distiller, extracting the excess water from the microalgae suspension. This paper details the design steps, the building technologies, the ethical and sustainable concerns and compares the prototype with existing solutions. The proposed sustainable microalgae drying process is competitive as far as energy usage is concerned. Finally, the project contributed to increase the deontological ethics, social compromise skills and sustainable development awareness of the students.

BabeLO : an extensible converter of programming exercises formats

In the last two decades, there was a proliferation of programming exercise formats that hinders interoperability in automatic assessment. In the lack of a widely accepted standard, a pragmatic solution is to convert content among the existing formats. BabeLO is a programming exercise converter providing services to a network of heterogeneous e-learning systems such as contest management systems, programming exercise authoring tools, evaluation engines and repositories of learning objects. Its main feature is the use of a pivotal format to achieve greater extensibility. This approach simplifies the extension to other formats, just requiring the conversion to and from the pivotal format. This paper starts with an analysis of programming exercise formats representative of the existing diversity. This analysis sets the context for the proposed approach to exercise conversion and to the description of the pivotal data format. The abstract service definition is the basis for the design of BabeLO, its components and web service interface. This paper includes a report on the use of BabeLO in two concrete scenarios: to relocate exercises to a different repository, and to use an evaluation engine in a network of heterogeneous systems.

Orchestration of e-learning services for automatic evaluation of programming exercises

Managing programming exercises require several heterogeneous systems such as evaluation engines, learning objects repositories and exercise resolution environments. The coordination of networks of such disparate systems is rather complex. These tools would be too specific to incorporate in an e-Learning platform. Even if they could be provided as pluggable components, the burden of maintaining them would be prohibitive to institutions with few courses in those domains. This work presents a standard based approach for the coordination of a network of e-Learning systems participating on the automatic evaluation of programming exercises. The proposed approach uses a pivot component to orchestrate the interaction among all the systems using communication standards. This approach was validated through its effective use on classroom and we present some preliminary results.

Defining programming problems as learning objects

Standards for learning objects focus primarily on content presentation. They were already extended to support automatic evaluation but it is limited to exercises with a predefined set of answers. The existing standards lack the metadata required by specialized evaluators to handle types of exercises with an indefinite set of solutions. To address this issue we extended existing learning object standards to the particular requirements of a specialized domain. We present a definition of programming problems as learning objects that is compatible both with Learning Management Systems and with systems performing automatic evaluation of programs. The proposed definition includes metadata that cannot be conveniently represented using existing standards, such as: the type of automatic evaluation; the requirements of the valuation engine; and the roles of different assets - tests cases, program solutions, etc. We present also the EduJudge project and its main services as a case study on the use of the proposed definition of programming problems as learning objects.

PETCHA: a Programming Exercises Teaching Assistant

This paper presents a tool called Petcha that acts as an automated Teaching Assistant in computer programming courses. The ultimate objective of Petcha is to increase the number of programming exercises effectively solved by students. Petcha meets this objective by helping both teachers to author programming exercises and students to solve them. It also coordinates a network of heterogeneous systems, integrating automatic program evaluators, learning management systems, learning object repositories and integrated programming environments. This paper presents the concept and the design of Petcha and sets this tool in a service oriented architecture for managing learning processes based on the automatic evaluation of programming exercises. The paper presents also a case study that validates the use of Petcha and of the proposed architecture.

Bridging between programming exercises formats with BabeLO

Assessment plays a vital role in learning. This is certainly the case with assessment of computer programs, both in curricular and competitive learning. The lack of a standard – or at least a widely used format – creates a modern Ba- bel tower made of Learning Objects, of assessment items that cannot be shared among automatic assessment systems. These systems whose interoperability is hindered by the lack of a common format include contest management systems, evaluation engines, repositories of learning objects and authoring tools. A prag- matical approach to remedy this problem is to create a service to convert among existing formats. A kind of translation service specialized in programming prob- lems formats. To convert programming exercises on-the-fly among the most used formats is the purpose of the BabeLO – a service to cope with the existing Babel of Learning Object formats for programming exercises. BabeLO was designed as a service to act as a middleware in a network of systems typically used in auto- matic assessment of programs. It provides support for multiple exercise formats and can be used by: evaluation engines to assess exercises regardless of its format; repositories to import exercises from various sources; authoring systems to create exercises in multiple formats or based on exercises from other sources. This paper analyses several of existing formats to highlight both their differ- ences and their similar features. Based on this analysis it presents an approach to extensible format conversion. It presents also the features of PExIL, the pivotal format in which the conversion is based; and the function definitions of the proposed service – BabeLO. Details on the design and implementation of BabeLO, including the service API and the interfaces required to extend the conversion to a new format, are also provided. To evaluate the effectiveness and efficiency of this approach this paper reports on two actual uses of BabeLO: to relocate exercises to a different repository; and to use an evaluation engine in a network of heterogeneous systems.

Effects of self-administered exercises based on Tuina techniques on musculoskeletal disorders of professional orchestra musicians: a randomized controlled trial

Background Musicians are frequently affected by playing-related musculoskeletal disorders (PRMD). Common solutions used by Western medicine to treat musculoskeletal pain include rehabilitation programs and drugs, but their results are sometimes disappointing. Objective To study the effects of self-administered exercises based on Tuina techniques on the pain intensity caused by PRMD of professional orchestra musicians, using numeric visual scale (NVS). Design, setting, participants and interventions We performed a prospective, controlled, single-blinded, randomized study with musicians suffering from PRMD. Participating musicians were randomly distributed into the experimental (n = 39) and the control (n = 30) groups. After an individual diagnostic assessment, specific Tuina self-administered exercises were developed and taught to the participants. Musicians were instructed to repeat the exercises every day for 3 weeks. Main outcome measures Pain intensity was measured by NVS before the intervention and after 1, 3, 5, 10, 15 and 20 d of treatment. The procedure was the same for the control group, however the Tuina exercises were executed in points away from the commonly-used acupuncture points. Results In the treatment group, but not the control group, pain intensity was significantly reduced on days 1, 3, 5, 10, 15 and 20. Conclusion The results obtained are consistent with the hypothesis that self-administered exercises based on Tuina techniques could help professional musicians controlling the pain caused by PRMD. Although our results are very promising, further studies are needed employing a larger sample size and double blinding designs.

EMG of the transverse abdominus and multifidus during pilates exercises

The purpose of this research study was to evaluate the intensity of muscle activation of Transverse Abdominus /Oblique Internal (TrA/OI) and Multifidus (Mu) during the performance of four Pilates exercises (and variations), compared, in order to understand the importance of these exercises in the lumbopelvic stability in healthy subjects. The sample consisted of 8 individuals. Using the surface electromyography (EMG), it was found that there are differences in the intensity of muscle activation in the analyzed exercises and, therefore, “Shoulder bridge” and “ShoulderBridge_extension (right and left legs)“ are the more appropriate exercises for co-activation between TrA/OI and Mu muscles for the reeducation of lumbopelvic stability.

Self-optimization module for scheduling using case-based reasoning

Metaheuristics performance is highly dependent of the respective parameters which need to be tuned. Parameter tuning may allow a larger flexibility and robustness but requires a careful initialization. The process of defining which parameters setting should be used is not obvious. The values for parameters depend mainly on the problem, the instance to be solved, the search time available to spend in solving the problem, and the required quality of solution. This paper presents a learning module proposal for an autonomous parameterization of Metaheuristics, integrated on a Multi-Agent System for the resolution of Dynamic Scheduling problems. The proposed learning module is inspired on Autonomic Computing Self-Optimization concept, defining that systems must continuously and proactively improve their performance. For the learning implementation it is used Case-based Reasoning, which uses previous similar data to solve new cases. In the use of Case-based Reasoning it is assumed that similar cases have similar solutions. After a literature review on topics used, both AutoDynAgents system and Self-Optimization module are described. Finally, a computational study is presented where the proposed module is evaluated, obtained results are compared with previous ones, some conclusions are reached, and some future work is referred. It is expected that this proposal can be a great contribution for the self-parameterization of Metaheuristics and for the resolution of scheduling problems on dynamic environments.