Intra-type migrative scheduling of implicit-deadline sporadic tasks on two- type heterogeneous multiprocessor

Consider the problem of scheduling a set of implicit-deadline sporadic tasks to meet all deadlines on a two-type heterogeneous multiprocessor platform. Each processor is either of type-1 or type-2 with each task having different execution time on each processor type. Jobs can migrate between processors of same type (referred to as intra-type migration) but cannot migrate between processors of different types. We present a new scheduling algorithm namely, LP-Relax(THR) which offers a guarantee that if a task set can be scheduled to meet deadlines by an optimal task assignment scheme that allows intra-type migration then LP-Relax(THR) meets deadlines as well with intra-type migration if given processors 1/THR as fast (referred to as speed competitive ratio) where THR <= 2/3.

H-NAMe: specifying, implementing and testing a hidden-node avoidance mechanism for wireless sensor networks

The hidden-node problem has been shown to be a major source of Quality-of-Service (QoS) degradation in Wireless Sensor Networks (WSNs) due to factors such as the limited communication range of sensor nodes, link asymmetry and the characteristics of the physical environment. In wireless contention-based Medium Access Control protocols, if two nodes that are not visible to each other transmit to a third node that is visible to the formers, there will be a collision – usually called hidden-node or blind collision. This problem greatly affects network throughput, energy-efficiency and message transfer delays, which might be particularly dramatic in large-scale WSNs. This technical report tackles the hidden-node problem in WSNs and proposes HNAMe, a simple yet efficient distributed mechanism to overcome it. H-NAMe relies on a grouping strategy that splits each cluster of a WSN into disjoint groups of non-hidden nodes and then scales to multiple clusters via a cluster grouping strategy that guarantees no transmission interference between overlapping clusters. We also show that the H-NAMe mechanism can be easily applied to the IEEE 802.15.4/ZigBee protocols with only minor add-ons and ensuring backward compatibility with the standard specifications. We demonstrate the feasibility of H-NAMe via an experimental test-bed, showing that it increases network throughput and transmission success probability up to twice the values obtained without H-NAMe. We believe that the results in this technical report will be quite useful in efficiently enabling IEEE 802.15.4/ZigBee as a WSN protocol.

Effect of plug-filling, Testing velocity and temperature on the tensile strength of strap repairs on aluminium structures

In this work, an experimental study was performed on the influence of plug-filling, loading rate and temperature on the tensile strength of single-strap (SS) and double-strap (DS) repairs on aluminium structures. Whilst the main purpose of this work was to evaluate the feasibility of plug-filling for the strength improvement of these repairs, a parallel study was carried out to assess the sensitivity of the adhesive to external features that can affect the repairs performance, such as the rate of loading and environmental temperature. The experimental programme included repairs with different values of overlap length (L O = 10, 20 and 30 mm), and with and without plug-filling, whose results were interpreted in light of experimental evidence of the fracture modes and typical stress distributions for bonded repairs. The influence of the testing speed on the repairs strength was also addressed (considering 0.5, 5 and 25 mm/min). Accounting for the temperature effects, tests were carried out at room temperature (≈23°C), 50 and 80°C. This permitted a comparative evaluation of the adhesive tested below and above the glass transition temperature (T g), established by the manufacturer as 67°C. The combined influence of these two parameters on the repairs strength was also analysed. According to the results obtained from this work, design guidelines for repairing aluminium structures were

A simple approach to numerical modelling of propane combustion in fluidized beds

A mathematical model is proposed for the evolution of temperature, chemical composition, and energy release in bubbles, clouds, and emulsion phase during combustion of gaseous premixtures of air and propane in a bubbling fluidized bed. The analysis begins as the bubbles are formed at the orifices of the distributor, until they explode inside the bed or emerge at the free surface of the bed. The model also considers the freeboard region of the fluidized bed until the propane is thoroughly burned. It is essentially built upon the quasi-global mechanism of Hautman et al. (1981) and the mass and heat transfer equations from the two-phase model of Davidson and Harrison (1963). The focus is not on a new modeling approach, but on combining the classical models of the kinetics and other diffusional aspects to obtain a better insight into the events occurring inside a fluidized bed reactor. Experimental data are obtained to validate the model by testing the combustion of commercial propane, in a laboratory-scale fluidized bed, using four sand particle sizes: 400–500, 315–400, 250–315, and 200–250 µm. The mole fractions of CO2, CO, and O2 in the flue gases and the temperature of the fluidized bed are measured and compared with the numerical results.

An integrated reusable remote laboratory to complement electronics teaching

The great majority of the courses on science and technology areas where lab work is a fundamental part of the apprenticeship was not until recently available to be taught at distance. This reality is changing with the dissemination of remote laboratories. Supported by resources based on new information and communication technologies, it is now possible to remotely control a wide variety of real laboratories. However, most of them are designed specifically to this purpose, are inflexible and only on its functionality they resemble the real ones. In this paper, an alternative remote lab infrastructure devoted to the study of electronics is presented. Its main characteristics are, from a teacher's perspective, reusability and simplicity of use, and from a students' point of view, an exact replication of the real lab, enabling them to complement or finish at home the work started at class. The remote laboratory is integrated in the Learning Management System in use at the school, and therefore, may be combined with other web experiments and e-learning strategies, while safeguarding security access issues.

Extended immersive learning environment: a hybrid remote/virtual laboratory

This paper presents a collaborative virtual learning environment, which includes technologies such as 3D virtual representations, learning and content management systems, remote experiments, and collaborative learning spaces, among others. It intends to facilitate the construction, management and sharing of knowledge among teachers and students, in a global perspective. The environment proposes the use of 3D social representations for accessing learning materials in a dynamic and interactive form, which is regarded to be closer to the physical reality experienced by teachers and students in a learning context. A first implementation of the proposed extended immersive learning environment, in the area of solid mechanics, is also described, including the access to theoretical contents and a remote experiment to determine the elastic modulus of a given object.These instructions give you basic guidelines for preparing camera-ready papers for conference proceedings. Use this document as a template if you are using Microsoft Word 6.0 or later. Otherwise, use this document as an instruction set. The electronic file of your paper will be formatted further. Define all symbols used in the abstract. Do not cite references in the abstract.

Determinação do teor de compostos aromáticos policíclicos de óleos minerais isolantes para transformadores

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

Controlo da compactação com recurso a gamadensímetro – Caso de estudo: ETAR de Castelo Branco

Mestrado em Engenharia Geotécnica e Geoambiente

Comércio bilateral Portugal - Brasil

Dissertação apresentada ao Instituto Superior de Contabilidade e Administração do Porto para obtenção do Grau de Mestre em Empreendedorismo e Internacionalização Orientadora: Professora Doutora Celsa Maria de Carvalho Machado

Contextual and Environmental Awareness Laboratory for Energy Consumption Management

The recent changes on power systems paradigm requires the active participation of small and medium players in energy management. With an electricity price fluctuation these players must manage the consumption. Lowering costs and ensuring adequate user comfort levels. Demand response can improve the power system management and bring benefits for the small and medium players. The work presented in this paper, which is developed aiming the smart grid context, can also be used in the current power system paradigm. The proposed system is the combination of several fields of research, namely multi-agent systems and artificial neural networks. This system is physically implemented in our laboratories and it is used daily by researchers. The physical implementation gives the system an improvement in the proof of concept, distancing itself from the conventional systems. This paper presents a case study illustrating the simulation of real-time pricing in a laboratory.

Condicionamento acústico e certificação energética de edifícios

O presente relatório desenvolvido no âmbito do estágio curricular realizado na empresa – ASL & Associados, com duração de seis meses, tem como objetivo a elaboração e desenvolvimento de estudos acústicos de edifícios e elaboração de certificados energéticos de edifícios existentes. Inicialmente, será feita uma descrição da empresa acolhedora expondo a sua missão, valores e o portfólio abarcando projetos e revisão de projetos, certificação energética, ensaios acústicos, gestão e fiscalização de empreendimentos. As atividades desenvolvidas no estágio englobam a certificação energética de edifícios existentes aplicando a nova regulamentação térmica (REH), apresentando as simplificações de cálculo aplicadas a edifícios existentes e dois exemplos específicos de uma fração autónoma e um edifício unifamiliar. No campo da acústica foram estudados três edifícios, um habitacional, um misto e um de serviços. Para o condicionamento acústico dos casos de estudo serão aplicados métodos de cálculo utilizados na empresa e um método de cálculo para avaliação e classificação da qualidade acústica, o qual foi desenvolvido pelo Laboratório Nacional de Engenharia Civil – LNEC. Por fim, foram elaborados as ponderações sobre a experiência vivida, como considerações sobre os resultados obtidos tendo em conta os objetivos propostos para o desenvolvimento do estágio.

Intra-Task Device Scheduling for Real-Time Embedded Systems

An ever increasing need for extra functionality in a single embedded system demands for extra Input/Output (I/O) devices, which are usually connected externally and are expensive in terms of energy consumption. To reduce their energy consumption, these devices are equipped with power saving mechanisms. While I/O device scheduling for real-time (RT) systems with such power saving features has been studied in the past, the use of energy resources by these scheduling algorithms may be improved. Technology enhancements in the semiconductor industry have allowed the hardware vendors to reduce the device transition and energy overheads. The decrease in overhead of sleep transitions has opened new opportunities to further reduce the device energy consumption. In this research effort, we propose an intra-task device scheduling algorithm for real-time systems that wakes up a device on demand and reduces its active time while ensuring system schedulability. This intra-task device scheduling algorithm is extended for devices with multiple sleep states to further minimise the overall device energy consumption of the system. The proposed algorithms have less complexity when compared to the conservative inter-task device scheduling algorithms. The system model used relaxes some of the assumptions commonly made in the state-of-the-art that restrict their practical relevance. Apart from the aforementioned advantages, the proposed algorithms are shown to demonstrate the substantial energy savings.

Testing Nelder-Mead Based Repulsion Algorithms for Multiple Roots of Nonlinear Systems via a Two-Level Factorial Design of Experiments

This paper addresses the challenging task of computing multiple roots of a system of nonlinear equations. A repulsion algorithm that invokes the Nelder-Mead (N-M) local search method and uses a penalty-type merit function based on the error function, known as 'erf', is presented. In the N-M algorithm context, different strategies are proposed to enhance the quality of the solutions and improve the overall efficiency. The main goal of this paper is to use a two-level factorial design of experiments to analyze the statistical significance of the observed differences in selected performance criteria produced when testing different strategies in the N-M based repulsion algorithm. The main goal of this paper is to use a two-level factorial design of experiments to analyze the statistical significance of the observed differences in selected performance criteria produced when testing different strategies in the N-M based repulsion algorithm.

Estudo da antiga mina de volfrâmio das Aveleiras (Mire de Tibães): cartografia geotécnica e avaliação geomecânica

Este trabalho tem como objetivo sublinhar a importância de um estudo geológico‐geotécnico para apoiar a cartografia geotécnica do maciço rochoso subterrâneo da antiga mina de volfrâmio das Aveleiras (Mosteiro de Tibães, Braga). Foi realizado um trabalho de campo sistemático, ao longo de uma rede de galerias subterrâneas com uma extensão aproximada de 155 m. Estas galerias são constituídas, principalmente, por rochas metassedimentares, embora aflorem rochas graníticas num pequeno trecho de uma das galerias. A técnica de amostragem linear de descontinuidades aplicada ao grau de compartimentação do maciço rochoso esteve na base de todos os dados geológicos, geotécnicos e geomecânicos. Além disso, foram coligidos e integrados os dados de campanhas de campo anteriores, realizadas entre 2006 e 2011. Foram igualmente descritos os métodos de avaliação dos dados de campo, bem como a análise estatística dos parâmetros geológico‐geotécnicos. O zonamento geotécnico do maciço rochoso das Aveleiras foi desenvolvido tendo em conta o comportamento do maciço rochoso in situ, e foi apoiado por ensaios laboratoriais de resistência do material‐rocha através do Ensaio de Carga Pontual. Apresenta‐se uma proposta preliminar de zonamento geomecânico com o objectivo de apoiar o projeto de engenharia de maciços rochosos.

HIV Voluntary Testing among Portuguese Women Attending Family Planning Clinics: Implications for HIV Prevention Education and Testing

Objectives: The aim of this article is to analyze the factors associated with HIV testing among 767 sexually active women. Methods: Participants were administered several self-report questionnaires that assessed behavioral and psychosocial measures. Results: Overall, 59.8% of the participants reported ever having tested for HIV. Results show that higher levels of education, being pregnant or having been pregnant, concern about AIDS, AIDS knowledge, self-efficacy in condom negotiation and perception of no risk in partner significantly predicted the likelihood of testing among women. Attending the mass was negatively associated with HIV testing. Conclusions: These findings provide information that can be used in the development of a focused gender sensitive HIV prevention program to increase HIV testing.