21 resultados para Wigner type representations


Relevância:

20.00% 20.00%

Publicador:

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.

Relevância:

20.00% 20.00%

Publicador:

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.

Relevância:

20.00% 20.00%

Publicador:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The cyanobacteria are known to be a rich source of metabolites with a variety of biological activities in different biological systems. In the present work, the bioactivity of aqueous and organic (methanolic and hexane) crude extracts of cyanobacteria isolated from estuarine ecosystems was studied using different bioassays. The assessment of DNA damage on the SOS gene repair region of mutant PQ37 strain of Escherichia coli was performed. Antiviral activity was evaluated against influenza virus, HRV-2, CVB3 and HSV-1 viruses using crystal violet dye uptake on HeLa, MDCK and GMK cell lines. Cytotoxicity evaluation was performed with L929 fibroblasts by MTT assay. Of a total of 18 cyanobacterial isolates studied, only the crude methanolic extract of LEGE 06078 proved to be genotoxic (IF > 1.5) in a dose-dependent manner and other four were putative candidates to induce DNA damage. Furthermore, the crude aqueous extract of LEGE 07085 showed anti- herpes type 1 activity (IC50 = 174.10 μg dry extract mL−1) while not presenting any cytotoxic activity against GMK cell lines. Of the 54 cyanobacterial extracts tested, only the crude methanolic and hexane ones showed impair on metabolic activity of L929 fibroblasts after long exposure (48–72 h). The inhibition of HSV-1 and the strong cytotoxicity against L929 cells observed emphasizes the importance of evaluating the impact of those estuarine cyanobacteria on aquatic ecosystem and on human health. The data also point out their potential application in HSV-1 treatment and pharmacological interest.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

As aplicações móveis de serviços baseados na localização, denominados LBS (Location-based services), disponibilizam serviços ao utilizador baseadas na sua localização geográfica. Este tipo de serviços começou a surgir ainda na década de 90 e, à medida que o número de dispositivos móveis cresceu de forma exponencial, a sua oferta disparou consideravelmente. Existem várias áreas com aplicabilidade prática, mas o foco desta tese é a pesquisa e localização de pontos de interesse (POI’s). Através dos sensores que os dispositivos móveis atualmente disponibilizam, torna-se possível localizar a posição do utilizador e apresentar-lhe os pontos de interesse que estão situados em seu redor. No entanto essa informação isolada revela-se por vezes insuficiente, uma vez que esses pontos de interesse são à partida desconhecidos para o utilizador. Através do serviço coolplaces, um projeto que pretende dedicar-se à pesquisa e partilha de POI’s, podemos criar a nossa rede de amigos e de locais, beneficiando assim da respetiva informação de contexto de um determinado POI. As inovações tecnológicas permitiram também o aparecimento de aplicações de Realidade Aumentada nos dispositivos móveis, isto é, aplicações capazes de sobrepor imagens virtuais a visualizações do mundo real. Considerando a visualização de POI’s num dado ambiente, se encararmos a Realidade Aumentada como um potenciador da interação do utilizador com o mundo real, rapidamente identificamos as potencialidades da junção destes conceitos numa só aplicação. Sendo assim, o trabalho desenvolvido nesta tese pretende constituir um estudo sobre a implementação e desenvolvimento de um módulo de Realidade Aumentada para a aplicação móvel do serviço coolplaces, fazendo uso da tecnologia disponível no mercado de forma a proporcionar uma experiência inovadora e acrescentar valor à referida aplicação.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Os paradigmas concernentes à educação e ao atendimento de crianças com necessidades educativas especiais têm evoluído ao longo do tempo. De facto, se no paradigma da segregação o foco de incapacidade se situava no indivíduo, com o paradigma da inclusão o foco desloca-se para o ambiente, na medida em que este se deve organizar e preparar para dar resposta aos indivíduos com incapacidade. Por conseguinte, o meio deve assumir-se como facilitador à participação de todas as crianças. Tal fundamento comporta desafios para os professores e educadores, aos quais compete identificar as pressões de exclusão que inibem a participação plena de todos os alunos em todas as atividades inerentes ao meio escolar e acionar os suportes necessários para que tal não suceda. Com a realização deste estudo pretendemos conhecer de modo mais aprofundado as representações dos professores acerca da participação de alunos com diferentes tipos de incapacidade em variadas atividades e contextos escolares, identificando barreiras e facilitadores à sua participação e analisando os possíveis contributos pessoais dos professores para incrementar o nível de participação dos alunos com incapacidade em atividades inerentes ao meio escolar. O estudo operacionalizou-se através da aplicação de um inquérito por questionário, destinado a professores de todos os níveis de ensino e grupos de recrutamento. Através da aplicação deste instrumento, procurámos obter informações sobre os inquiridos, as representações dos professores acerca da participação de alunos com diferentes tipos de incapacidade em diversas atividades escolares, e, por fim, possíveis contributos para incrementar o nível de participação desses mesmos alunos. Os resultados sugerem que o tipo de incapacidade apresentado pelo aluno influencia as expetativas de participação de educadores e professores do ensino regular e da educação especial. Contudo, não confirmámos a existência de diferenças estatisticamente significativas entre os dois grupos de professores. No que concerne a possíveis contributos para incrementar a participação de alunos com incapacidade em diversas atividades escolares, identificámos a necessidade de se fomentar e desenvolver uma cultura de inclusão na escola.