Supporting real-time parallel task models with work-stealing

Dynamic parallel scheduling using work-stealing has gained popularity in academia and industry for its good performance, ease of implementation and theoretical bounds on space and time. Cores treat their own double-ended queues (deques) as a stack, pushing and popping threads from the bottom, but treat the deque of another randomly selected busy core as a queue, stealing threads only from the top, whenever they are idle. However, this standard approach cannot be directly applied to real-time systems, where the importance of parallelising tasks is increasing due to the limitations of multiprocessor scheduling theory regarding parallelism. Using one deque per core is obviously a source of priority inversion since high priority tasks may eventually be enqueued after lower priority tasks, possibly leading to deadline misses as in this case the lower priority tasks are the candidates when a stealing operation occurs. Our proposal is to replace the single non-priority deque of work-stealing with ordered per-processor priority deques of ready threads. The scheduling algorithm starts with a single deque per-core, but unlike traditional work-stealing, the total number of deques in the system may now exceed the number of processors. Instead of stealing randomly, cores steal from the highest priority deque.

Strap repair optimization by using embedded patches

Adhesively-bonded techniques offer an attractive option for repair of aluminium structures, and currently there are three widely used configurations, i.e., single-strap (SS), double-strap (DS) and scarf repairs. SS and DS repairs are straightforward to execute but stresses in the adhesive layer peak at the ends of the overlap. DS repairs additionally require both sides of the damaged structures to be reachable for repair, which is often not possible. In these repair configurations, some limitations emerge such as the weight, aerodynamic performance and aesthetics. The scarf repair is more complex to fabricate but stresses are more uniform along the adhesive bondline. Few studies of SS and DS repairs with embedded patches, such that these are completely flush with the adherends, are available in the literature. Furthermore, no data is available about the effects of geometrical and material parameters (e.g. the Young’s modulus of adhesive, E) on the mechanical behaviour optimization of embedded repairs. For this purpose, in this work standard SS and DD repairs, and also with embedded patches in the adherends, were tested under tension to allow the geometry optimization, by varying the overlap length (LO), thus allowing the maximization of the repairs strength. The influence of the patch embedding technique, showing notorious advantages such as aerodynamic or aesthetics, was compared in strength with standard strap repairs, for the viability analysis of its implementation. As a result of this work, some conclusions were drawn for the design optimization of bonded repairs on aluminium structures.

A sensor classification strategy for robotic manipulators

In practice the robotic manipulators present some degree of unwanted vibrations. The advent of lightweight arm manipulators, mainly in the aerospace industry, where weight is an important issue, leads to the problem of intense vibrations. On the other hand, robots interacting with the environment often generate impacts that propagate through the mechanical structure and produce also vibrations. In order to analyze these phenomena a robot signal acquisition system was developed. The manipulator motion produces vibrations, either from the structural modes or from endeffector impacts. The instrumentation system acquires signals from several sensors that capture the joint positions, mass accelerations, forces and moments, and electrical currents in the motors. Afterwards, an analysis package, running off-line, reads the data recorded by the acquisition system and extracts the signal characteristics. Due to the multiplicity of sensors, the data obtained can be redundant because the same type of information may be seen by two or more sensors. Because of the price of the sensors, this aspect can be considered in order to reduce the cost of the system. On the other hand, the placement of the sensors is an important issue in order to obtain the suitable signals of the vibration phenomenon. Moreover, the study of these issues can help in the design optimization of the acquisition system. In this line of thought a sensor classification scheme is presented. Several authors have addressed the subject of the sensor classification scheme. White (White, 1987) presents a flexible and comprehensive categorizing scheme that is useful for describing and comparing sensors. The author organizes the sensors according to several aspects: measurands, technological aspects, detection means, conversion phenomena, sensor materials and fields of application. Michahelles and Schiele (Michahelles & Schiele, 2003) systematize the use of sensor technology. They identified several dimensions of sensing that represent the sensing goals for physical interaction. A conceptual framework is introduced that allows categorizing existing sensors and evaluates their utility in various applications. This framework not only guides application designers for choosing meaningful sensor subsets, but also can inspire new systems and leads to the evaluation of existing applications. Today’s technology offers a wide variety of sensors. In order to use all the data from the diversity of sensors a framework of integration is needed. Sensor fusion, fuzzy logic, and neural networks are often mentioned when dealing with problem of combing information from several sensors to get a more general picture of a given situation. The study of data fusion has been receiving considerable attention (Esteban et al., 2005; Luo & Kay, 1990). A survey of the state of the art in sensor fusion for robotics can be found in (Hackett & Shah, 1990). Henderson and Shilcrat (Henderson & Shilcrat, 1984) introduced the concept of logic sensor that defines an abstract specification of the sensors to integrate in a multisensor system. The recent developments of micro electro mechanical sensors (MEMS) with unwired communication capabilities allow a sensor network with interesting capacity. This technology was applied in several applications (Arampatzis & Manesis, 2005), including robotics. Cheekiralla and Engels (Cheekiralla & Engels, 2005) propose a classification of the unwired sensor networks according to its functionalities and properties. This paper presents a development of a sensor classification scheme based on the frequency spectrum of the signals and on a statistical metrics. Bearing these ideas in mind, this paper is organized as follows. Section 2 describes briefly the robotic system enhanced with the instrumentation setup. Section 3 presents the experimental results. Finally, section 4 draws the main conclusions and points out future work.

Maximização da valorização energética em aterros sanitários recorrendo a equipamentos baseados no Ciclo Orgânico de Rankine (ORC)

Atualmente, os aterros sanitários representam uma solução para a gestão e tratamento dos resíduos sólidos urbanos. Da deposição, ocorrem duas formas de emissões ao longo do tempo, a produção de biogás e de lixiviados, que resultam sobretudo da decomposição da matéria orgânica. Um dos principais constituintes do biogás é o metano, o qual tem elevado poder calorífico. O presente trabalho aborda, a maximização da valorização energética em aterros sanitários, recorrendo a equipamentos baseados no Ciclo Orgânico de Rankine (ORC) para a produção de eletricidade. É apresentado como caso de estudo a central de valorização energética da Suldouro, em Sermonde, que produz eletricidade a partir do biogás resultante da decomposição da matéria orgânica depositada em aterro. O biogás é utilizado como combustível para os motogeradores utilizados para o seu aproveitamento energético, sendo que apenas cerca de 40% do potencial energético contido no biogás é transformado em eletricidade, registando-se perdas sobretudo nas emissões dos gases de exaustão e na água de arrefecimento dos motores. Para avaliação do potencial da recuperação energética dos gases de escape é avaliado o desempenho termodinâmico do ciclo ORC. Para tal foi desenvolvida uma ferramenta em MATLAB utilizando como modelo a configuração do ORC com recuperador de calor. O cálculo das propriedades termodinâmicas dos fluidos foi obtido através da criação de uma sub-rotina que chama o programa CoolProp. Este programa restitui propriedades como a entalpia, entropia, pressões e temperaturas em cada ponto do ciclo, permitindo assim ao utilizador otimizar o tempo na obtenção de resultados. A avaliação económica é fundamental na tomada de decisões por parte do investidor e dos financiadores do projeto. É então apresentada a análise económica e efetuada uma análise de sensibilidade, onde foram efetuadas variações nos vetores mais importantes de forma a poder avaliar-se o impacto em termos da sua rentabilidade. A ferramenta desenvolvida permite obter de forma prática, os três indicadores económicos extremamente influentes no que se refere à tomada de decisão. A utilização dos sistemas ORC e os seus benefícios não se esgotam na maximização dos aproveitamentos da valorização energética em aterros sanitários. Também a recuperação de calor para a produção de energia elétrica pode ter um impacto importante em muitos setores intensivos de energia, contribuindo significativamente para a redução do consumo e aumentando a eficiência de todo o processo de produção.

Gestão de stocks aplicada a uma instituição de saúde privada

A gestão de stocks tem-se tornado uma ferramenta fundamental na racionalização de custos das empresas permitindo uma maior eficiência operacional. Os modelos de gestão de stocks procuram ajudar a determinar as quantidades a encomendar e quando encomendar, com um custo total de aprovisionamento mínimo. Este trabalho visa o estudo da gestão de stocks, dos modelos existentes e a aplicação de um deles num prestador de saúde, em particular, na área da imagiologia. Neste estudo optou-se por efectuar a classificação ABC dos produtos e posteriormente procurou-se definir o modelo de gestão de stocks que melhor se adeqúe à realidade empresarial em estudo de modo a manter o nível de stock correcto associado a um menor custo. Optou-se pelo modelo de revisão periódica de stocks que permite efectuar a encomenda sempre com o mesmo intervalo de tempo e efectuar ajustes nas quantidades necessárias. Com base nos dados fornecido efectuou-se uma previsão da procura e assim definiram-se as quantidades a encomendar, bem como o stock de segurança necessário. Implementaram-se as quantidades e o stock de segurança e efectuou-se uma avaliação dos resultados obtidos e analisou-se o impacto da gestão de stocks no prestador de saúde.

A hierarquia dos determinantes da estrutura de capital em empresas portuguesas

Dissertação de Mestrado apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Contabilidade e Finanças, sob orientação de Adalmiro Álvaro Malheiro de Castro Andrade Pereira

Dificuldades encontradas no processo de internacionalização: estudo nas PME de mobiliário nos concelhos de Paços de Ferreira e Paredes

Dissertação de Mestrado apresentada ao Instituto Superior de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Auditoria, sob orientação do Mestre Adalmiro Álvaro Malheiro de Castro Andrade Pereira

Negotiation mechanism for self-organized scheduling system with collective intelligence

Current Manufacturing Systems challenges due to international economic crisis, market globalization and e-business trends, incites the development of intelligent systems to support decision making, which allows managers to concentrate on high-level tasks management while improving decision response and effectiveness towards manufacturing agility. This paper presents a novel negotiation mechanism for dynamic scheduling based on social and collective intelligence. Under the proposed negotiation mechanism, agents must interact and collaborate in order to improve the global schedule. Swarm Intelligence (SI) is considered a general aggregation term for several computational techniques, which use ideas and inspiration from the social behaviors of insects and other biological systems. This work is primarily concerned with negotiation, where multiple self-interested agents can reach agreement over the exchange of operations on competitive resources. Experimental analysis was performed in order to validate the influence of negotiation mechanism in the system performance and the SI technique. Empirical results and statistical evidence illustrate that the negotiation mechanism influence significantly the overall system performance and the effectiveness of Artificial Bee Colony for makespan minimization and on the machine occupation maximization.

Strap repairs using embedded patches: numerical analysis and experimental results

Adhesively bonded repairs offer an attractive option for repair of aluminium structures, compared to more traditional methods such as fastening or welding. The single-strap (SS) and double-strap (DS) repairs are very straightforward to execute but stresses in the adhesive layer peak at the overlap ends. The DS repair requires both sides of the damaged structures to be reachable for repair, which is often not possible. In strap repairs, with the patches bonded at the outer surfaces, some limitations emerge such as the weight, aerodynamics and aesthetics. To minimize these effects, SS and DS repairs with embedded patches were evaluated in this work, such that the patches are flush with the adherends. For this purpose, in this work standard SS and DS repairs, and also with the patches embedded in the adherends, were tested under tension to allow the optimization of some repair variables such as the overlap length (LO) and type of adhesive, thus allowing the maximization of the repair strength. The effect of embedding the patch/patches on the fracture modes and failure loads was compared with finite elements (FE) analysis. The FE analysis was performed in ABAQUS® and cohesive zone modelling was used for the simulation of damage onset and growth in the adhesive layer. The comparison with the test data revealed an accurate prediction for all kinds of joints and provided some principles regarding this technique.

Effect of Adherend Recessing on the Tensile Strength of Single Lap Joints

Bonded joints are gaining importance in many fields of manufacturing owing to a significant number of advantages to the traditional methods. The single lap joint (SLJ) is the most commonly used method. The use of material or geometric changes in SLJ reduces peel and shear peak stresses at the damage initiation sites. In this work, the effect of adherend recessing at the overlap edges on the tensile strength of SLJ, bonded with a brittle adhesive, was experimentally and numerically studied. The recess dimensions (length and depth) were optimized for different values of overlap length (LO), thus allowing the maximization of the joint’s strength by the reduction of peak stresses at the overlap edges. The effect of recessing was also investigated by a finite element (FE) analysis and cohesive zone modelling (CZM), which allowed characterizing the entire fracture process and provided joint strength predictions. For this purpose, a static FE analysis was performed in ABAQUS1 considering geometric nonlinearities. In the end, the experimental and FE results revealed the accuracy of the FE analysis in predicting the strength and also provided some design principles for the strength improvement of SLJ using a relatively simple and straightforward technique.

Conceção e implementação do método das secções homogéneas numa empresa industrial de metalomecânica

Trabalho de projeto apresentado ao Instituto Superior de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Contabilidade e Finanças, sob a orientação do Mestre Paulino Manuel Leite da Silva

Estrutura a partir do Movimento em Sistemas Autónomos

Mestrado em Engenharia Electrotécnica e de Computadores - Ramo de Sistemas Autónomos

Maximizing the Social Welfare of Virtual Power Players Operation in Case of Excessive Wind Power

The integration of growing amounts of distributed generation in power systems, namely at distribution networks level, has been fostered by energy policies in several countries around the world, including in Europe. This intensive integration of distributed, non-dispatchable, and natural sources based generation (including wind power) has caused several changes in the operation and planning of power systems and of electricity markets. Sometimes the available non-dispatchable generation is higher than the demand. This generation must be used; otherwise it is wasted if not stored or used to supply additional demand. New policies and market rules, as well as new players, are needed in order to competitively integrate all the resources. The methodology proposed in this paper aims at the maximization of the social welfare in a distribution network operated by a virtual power player that aggregates and manages the available energy resources. When facing a situation of excessive non-dispatchable generation, including wind power, real time pricing is applied in order to induce the increase of consumption so that wind curtailment is minimized. This method is especially useful when actual and day-ahead resources forecast differ significantly. The distribution network characteristics and concerns are addressed by including the network constraints in the optimization model. The proposed methodology has been implemented in GAMS optimization tool and its application is illustrated in this paper using a real 937-bus distribution network with 20.310 consumers and 548 distributed generators, some of them non-dispatchable and with must take contracts. The implemented scenario corresponds to a real day in Portuguese power system.

Segurança Alimentar no Quotidiano das Famílias Amarantinas

Dissertação de Mestrado em Gestão Integrada da Qualidade, Ambiente e Segurança

O relato financeiro e a contabilidade forense

Dissertação de Mestrado apresentada ao Instituto Superior de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Contabilidade e Finanças, sob orientação do Dr. Rodrigo Mário de Oliveira Carvalho