942 resultados para Heterogeneous catalysts
Resumo:
Consider the problem of scheduling a set of implicit-deadline sporadic tasks to meet all deadlines on a heterogeneous multiprocessor platform. We consider a restricted case where the maximum utilization of any task on any processor in the system is no greater than one. We use an algorithm proposed in [1] (we refer to it as LP-EE) from state-of-the-art for assigning tasks to heterogeneous multiprocessor platform and (re-)prove its performance guarantee for this restricted case but for a stronger adversary. We show that if a task set can be scheduled to meet deadlines on a heterogeneous multiprocessor platform by an optimal task assignment scheme that allows task migrations then LP-EE meets deadlines as well with no migrations if given processors twice as fast.
Resumo:
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.
Resumo:
Consider the problem of scheduling a set of implicitdeadline sporadic tasks on a heterogeneous multiprocessor so as to meet all deadlines. Tasks cannot migrate and the platform is restricted in that each processor is either of type-1 or type-2 (with each task characterized by a different speed of execution upon each type of processor). We present an algorithm for this problem with a timecomplexity of O(n·m), where n is the number of tasks and m is the number of processors. It offers the guarantee that if a task set can be scheduled by any non-migrative algorithm to meet deadlines then our algorithm meets deadlines as well if given processors twice as fast. Although this result is proven for only a restricted heterogeneous multiprocessor, we consider it significant for being the first realtime scheduling algorithm to use a low-complexity binpacking approach to schedule tasks on a heterogeneous multiprocessor with provably good performance.
Resumo:
A significant number of process control and factory automation systems use PROFIBUS as the underlying fieldbus communication network. The process of properly setting up a PROFIBUS network is not a straightforward task. In fact, a number of network parameters must be set for guaranteeing the required levels of timeliness and dependability. Engineering PROFIBUS networks is even more subtle when the network includes various physical segments exhibiting heterogeneous specifications, such as bus speed or frame formats, just to mention a few. In this paper we provide underlying theory and a methodology to guarantee the proper operation of such type of heterogeneous PROFIBUS networks. We additionally show how the methodology can be applied to the practical case of PROFIBUS networks containing simultaneously DP (Decentralised Periphery) and PA (Process Automation) segments, two of the most used commercial-off-the-shelf (COTS) PROFIBUS solutions. The importance of the findings is however not limited to this case. The proposed methodology can be generalised to cover other heterogeneous infrastructures. Hybrid wired/wireless solutions are just an example for which an enormous eagerness exists.
Resumo:
The scarcity and diversity of resources among the devices of heterogeneous computing environments may affect their ability to perform services with specific Quality of Service constraints, particularly in dynamic distributed environments where the characteristics of the computational load cannot always be predicted in advance. Our work addresses this problem by allowing resource constrained devices to cooperate with more powerful neighbour nodes, opportunistically taking advantage of global distributed resources and processing power. Rather than assuming that the dynamic configuration of this cooperative service executes until it computes its optimal output, the paper proposes an anytime approach that has the ability to tradeoff deliberation time for the quality of the solution. Extensive simulations demonstrate that the proposed anytime algorithms are able to quickly find a good initial solution and effectively optimise the rate at which the quality of the current solution improves at each iteration, with an overhead that can be considered negligible.
Resumo:
Our society relies on energy for most of its activities. One application domain inciding heavily on the energy budget regards the energy consumption in residential and non-residential buildings. The ever increasing needs for energy, resulting from the industrialization of developing countries and from the limited scalability of the traditional technologies for energy production, raises both problems and opportunities. The problems are related to the devastating effects of the greenhouse gases produced by the burning of oil and gas for energy production, and from the dependence of whole countries on companies providing gas and oil. The opportunities are mostly technological, since novel markets are opening for both energy production via renewable sources, and for innovations that can rationalize energy usage. An enticing research effort can be the mixing of these two aspects, by leveraging on ICT technologies to rationalize energy production, acquisition, and consumption. The ENCOURAGE project aims to develop embedded intelligence and integration technologies that will directly optimize energy use in buildings and enable active participation in the future smart grid environment.The primary application domains targeted by the ENCOURAGE project are non-residential buildings (e.g.: campuses) and residential buildings (e.g.: neighborhoods). The goal of the project is to achieve 20% of energy savings through the improved interoperability between various types of energy generation, consumption and storage devices; interbuilding energy exchange; and systematic performance monitoring.
Resumo:
MSC Dissertation in Computer Engineering
Resumo:
Biodiesel production by methanolysis of semi-refined rapeseed oil was studied over lime based catalysts. In order to improve the catalysts basicity a commercial CaO material was impregnated with aqueous solution of lithium nitrate (Li/Ca = 03 atomic ratio). The catalysts were calcined at 575 degrees C and 800 degrees C, for 5 h, to remove nitrate ions before reaction. The XRD patterns of the fresh catalysts, including the bare CaO, showed lines ascribable to CaO and Ca(OH)(2). The absence of XRD lines belonging to Li phases confirms the efficient dispersion of Li over CaO. In the tested condition (W-cat/W-oil = 5%; CH3OH/oil = 12 molar ratio) all the fresh catalysts provided similar biodiesel yields (FAME >93% after 4 h) but the bare CaO catalyst was more stable. The activity decay of the Li modified samples can be related to the enhanced, by the higher basicity, calcium diglyceroxide formation during methanolysis which promotes calcium leaching. The calcination temperature for Li modified catalysts plays an important role since encourages the crystals sinterization which appears to improve the catalyst stability. (C) 2013 Elsevier B.V. All rights reserved.
Resumo:
Dissertação apresentada para a obtenção do Grau de Doutor em Química, especialidade em Química-Física, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia
Resumo:
The activity and selectivity of bi-functional carbon-supported platinum catalysts for the hydroisomerization of n-alkanes have been studied. The influence of the properties of the carbon support on the performance of the catalysts were investigated by incorporating the metallic function on a series of carbons with varied porosity (microporous: GL-50 from Norit, and mesoporous: CMK-3) and surface chemistry (modified by wet oxidation). The characterization results achieved with H-2 chemisorption and TEM showed differences in surface metal concentrations and metal-support interactions depending on the support composition. The highest metal dispersion was achieved after oxidation of the carbon matrix in concentrated nitric acid, suggesting that the presence of surface functional sites distributed in inner and outer surface favors a homogeneous metal distribution. On the other hand, the higher hydrogenating activity of the catalysts prepared with the mesoporous carbon pointed out that a fast molecular traffic inside the pores plays an important role in the catalysts performance. For n-decane hydroisomerization of long chain n-alkanes, higher activities were obtained for the catalysts with an optimized acidity and metal dispersion along with adequate porosity, pointing out the importance of the support properties in the performance of the catalysts.
Resumo:
In recent years emerged several initiatives promoted by educational organizations to adapt Service Oriented Architectures (SOA) to e-learning. These initiatives commonly named eLearning Frameworks share a common goal: to create flexible learning environments by integrating heterogeneous systems already available in many educational institutions. However, these frameworks were designed for integration of systems participating in business like processes rather than on complex pedagogical processes as those related to automatic evaluation. Consequently, their knowledge bases lack some fundamental components that are needed to model pedagogical processes. The objective of the research described in this paper is to study the applicability of eLearning frameworks for modelling a network of heterogeneous eLearning systems, using the automatic evaluation of programming exercises as a case study. The paper surveys the existing eLearning frameworks to justify the selection of the e-Framework. This framework is described in detail and identified the necessary components missing from its knowledge base, more precisely, a service genre, expression and usage model for an evaluation service. The extensibility of the framework is tested with the definition of this service. A concrete model for evaluation of programming exercises is presented as a validation of the proposed approach.
Resumo:
Toluene hydrogenation was studied over catalysts based on Pt supported on large pore zeolites (HUSY and HBEA) with different metal/acid ratios. Acidity of zeolites was assessed by pyridine adsorption followed by FTIR showing only small changes before and after Pt introduction. Metal dispersion was determined by H2–O2 titration and verified by a linear correlation with the intensity of Pt0–CO band obtained by in situ FTIR. It was also observed that the electronic properties of Pt0 clusters were similar for the different catalysts. Catalytic tests showed rapid catalyst deactivation with an activity loss of 80–95% after 60 min of reaction. The turnover frequency of fresh catalysts depended both on metal dispersion and the support. For the same support, it changed by a 1.7-fold (HBEA) and 4.0-fold (HUSY) showing that toluene hydrogenation is structure-sensitive, i.e. hydrogenating activity is not a unique function of accessible metal. This was proposed to be due to the contribution to the overall activity of the hydrogenation of adsorbed toluene on acid sites via hydrogen spillover. Taking into account the role of zeolite acidity, the catalysts series were compared by the activity per total adsorbing sites which was observed to increase steadily with nPt/(nPt + nA). An increase of the accessible Pt atoms leads to an increase on the amount of spilled over hydrogen available in acid sites therefore increasing the overall activity. Pt/HBEA catalysts were found to be more active per total adsorbing site than Pt/HUSY which is proposed to be due to an augmentation in the efficiency of spilled over hydrogen diffusion related to the proximity between Pt clusters and acid sites. The intervention of Lewis acid sites in a greater extent than that measured by pyridine adsorption may also contribute to this higher activity of Pt/HBEA catalysts. These results reinforce the importance of model reactions as a closer perspective to the relevant catalyst properties in reaction conditions.
Resumo:
Consider the problem of assigning implicit-deadline sporadic tasks on a heterogeneous multiprocessor platform comprising two different types of processors—such a platform is referred to as two-type platform. We present two low degree polynomial time-complexity algorithms, SA and SA-P, each providing the following guarantee. For a given two-type platform and a task set, if there exists a task assignment such that tasks can be scheduled to meet deadlines by allowing them to migrate only between processors of the same type (intra-migrative), then (i) using SA, it is guaranteed to find such an assignment where the same restriction on task migration applies but given a platform in which processors are 1+α/2 times faster and (ii) SA-P succeeds in finding a task assignment where tasks are not allowed to migrate between processors (non-migrative) but given a platform in which processors are 1+α times faster. The parameter 0<α≤1 is a property of the task set; it is the maximum of all the task utilizations that are no greater than 1. We evaluate average-case performance of both the algorithms by generating task sets randomly and measuring how much faster processors the algorithms need (which is upper bounded by 1+α/2 for SA and 1+α for SA-P) in order to output a feasible task assignment (intra-migrative for SA and non-migrative for SA-P). In our evaluations, for the vast majority of task sets, these algorithms require significantly smaller processor speedup than indicated by their theoretical bounds. Finally, we consider a special case where no task utilization in the given task set can exceed one and for this case, we (re-)prove the performance guarantees of SA and SA-P. We show, for both of the algorithms, that changing the adversary from intra-migrative to a more powerful one, namely fully-migrative, in which tasks can migrate between processors of any type, does not deteriorate the performance guarantees. For this special case, we compare the average-case performance of SA-P and a state-of-the-art algorithm by generating task sets randomly. In our evaluations, SA-P outperforms the state-of-the-art by requiring much smaller processor speedup and by running orders of magnitude faster.
Resumo:
Consider the problem of assigning implicit-deadline sporadic tasks on a heterogeneous multiprocessor platform comprising a constant number (denoted by t) of distinct types of processors—such a platform is referred to as a t-type platform. We present two algorithms, LPGIM and LPGNM, each providing the following guarantee. For a given t-type platform and a task set, if there exists a task assignment such that tasks can be scheduled to meet their deadlines by allowing them to migrate only between processors of the same type (intra-migrative), then: (i) LPGIM succeeds in finding such an assignment where the same restriction on task migration applies (intra-migrative) but given a platform in which only one processor of each type is 1 + α × t-1/t times faster and (ii) LPGNM succeeds in finding a task assignment where tasks are not allowed to migrate between processors (non-migrative) but given a platform in which every processor is 1 + α times faster. The parameter α is a property of the task set; it is the maximum of all the task utilizations that are no greater than one. To the best of our knowledge, for t-type heterogeneous multiprocessors: (i) for the problem of intra-migrative task assignment, no previous algorithm exists with a proven bound and hence our algorithm, LPGIM, is the first of its kind and (ii) for the problem of non-migrative task assignment, our algorithm, LPGNM, has superior performance compared to state-of-the-art.
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.