On the implementation of real-time slotbased task-splitting scheduling algorithms for multiprocessor systems

In this paper we discuss challenges and design principles of an implementation of slot-based tasksplitting algorithms into the Linux 2.6.34 version. We show that this kernel version is provided with the required features for implementing such scheduling algorithms. We show that the real behavior of the scheduling algorithm is very close to the theoretical. We run and discuss experiments on 4-core and 24-core machines.

Implementing slot-based task-splitting multiprocessor scheduling

Consider the problem of scheduling a set of sporadic tasks on a multiprocessor system to meet deadlines using a task-splitting scheduling algorithm. Task-splitting (also called semi-partitioning) scheduling algorithms assign most tasks to just one processor but a few tasks are assigned to two or more processors, and they are dispatched in a way that ensures that a task never executes on two or more processors simultaneously. A particular type of task-splitting algorithms, called slot-based task-splitting dispatching, is of particular interest because of its ability to schedule tasks with high processor utilizations. Unfortunately, no slot-based task-splitting algorithm has been implemented in a real operating system so far. In this paper we discuss and propose some modifications to the slot-based task-splitting algorithm driven by implementation concerns, and we report the first implementation of this family of algorithms in a real operating system running Linux kernel version 2.6.34. We have also conducted an extensive range of experiments on a 4-core multicore desktop PC running task-sets with utilizations of up to 88%. The results show that the behavior of our implementation is in line with the theoretical framework behind it.

Practical aspects of slot-based task- splitting dispatching in its schedulability analysis

Consider the problem of scheduling a set of sporadic tasks on a multiprocessor system to meet deadlines using a tasksplitting scheduling algorithm. Task-splitting (also called semipartitioning) scheduling algorithms assign most tasks to just one processor but a few tasks are assigned to two or more processors, and they are dispatched in a way that ensures that a task never executes on two or more processors simultaneously. A certain type of task-splitting algorithms, called slot-based task-splitting, is of particular interest because of its ability to schedule tasks at high processor utilizations. We present a new schedulability analysis for slot-based task-splitting scheduling algorithms that takes the overhead into account and also a new task assignment algorithm.

Implementing multicore real-time scheduling algorithms based on task splitting using ada 2012

Multiprocessors, particularly in the form of multicores, are becoming standard building blocks for executing reliable software. But their use for applications with hard real-time requirements is non-trivial. Well-known realtime scheduling algorithms in the uniprocessor context (Rate-Monotonic [1] or Earliest-Deadline-First [1]) do not perform well on multiprocessors. For this reason the scientific community in the area of real-time systems has produced new algorithms specifically for multiprocessors. In the meanwhile, a proposal [2] exists for extending the Ada language with new basic constructs which can be used for implementing new algorithms for real-time scheduling; the family of task splitting algorithms is one of them which was emphasized in the proposal [2]. Consequently, assessing whether existing task splitting multiprocessor scheduling algorithms can be implemented with these constructs is paramount. In this paper we present a list of state-of-art task-splitting multiprocessor scheduling algorithms and, for each of them, we present detailed Ada code that uses the new constructs.

Unified overhead-aware schedulability analysis for slot-based task-splitting

Hard real- time multiprocessor scheduling has seen, in recent years, the flourishing of semi-partitioned scheduling algorithms. This category of scheduling schemes combines elements of partitioned and global scheduling for the purposes of achieving efficient utilization of the system’s processing resources with strong schedulability guarantees and with low dispatching overheads. The sub-class of slot-based “task-splitting” scheduling algorithms, in particular, offers very good trade-offs between schedulability guarantees (in the form of high utilization bounds) and the number of preemptions/migrations involved. However, so far there did not exist unified scheduling theory for such algorithms; each one was formulated in its own accompanying analysis. This article changes this fragmented landscape by formulating a more unified schedulability theory covering the two state-of-the-art slot-based semi-partitioned algorithms, S-EKG and NPS-F (both fixed job-priority based). This new theory is based on exact schedulability tests, thus also overcoming many sources of pessimism in existing analysis. In turn, since schedulability testing guides the task assignment under the schemes in consideration, we also formulate an improved task assignment procedure. As the other main contribution of this article, and as a response to the fact that many unrealistic assumptions, present in the original theory, tend to undermine the theoretical potential of such scheduling schemes, we identified and modelled into the new analysis all overheads incurred by the algorithms in consideration. The outcome is a new overhead-aware schedulability analysis that permits increased efficiency and reliability. The merits of this new theory are evaluated by an extensive set of experiments.

Real-time Task-Splitting scheduling algorithms framework

Nos dias de hoje, os sistemas de tempo real crescem em importância e complexidade. Mediante a passagem do ambiente uniprocessador para multiprocessador, o trabalho realizado no primeiro não é completamente aplicável no segundo, dado que o nível de complexidade difere, principalmente devido à existência de múltiplos processadores no sistema. Cedo percebeu-se, que a complexidade do problema não cresce linearmente com a adição destes. Na verdade, esta complexidade apresenta-se como uma barreira ao avanço científico nesta área que, para já, se mantém desconhecida, e isto testemunha-se, essencialmente no caso de escalonamento de tarefas. A passagem para este novo ambiente, quer se trate de sistemas de tempo real ou não, promete gerar a oportunidade de realizar trabalho que no primeiro caso nunca seria possível, criando assim, novas garantias de desempenho, menos gastos monetários e menores consumos de energia. Este último fator, apresentou-se desde cedo, como, talvez, a maior barreira de desenvolvimento de novos processadores na área uniprocessador, dado que, à medida que novos eram lançados para o mercado, ao mesmo tempo que ofereciam maior performance, foram levando ao conhecimento de um limite de geração de calor que obrigou ao surgimento da área multiprocessador. No futuro, espera-se que o número de processadores num determinado chip venha a aumentar, e como é óbvio, novas técnicas de exploração das suas inerentes vantagens têm de ser desenvolvidas, e a área relacionada com os algoritmos de escalonamento não é exceção. Ao longo dos anos, diferentes categorias de algoritmos multiprocessador para dar resposta a este problema têm vindo a ser desenvolvidos, destacando-se principalmente estes: globais, particionados e semi-particionados. A perspectiva global, supõe a existência de uma fila global que é acessível por todos os processadores disponíveis. Este fato torna disponível a migração de tarefas, isto é, é possível parar a execução de uma tarefa e resumir a sua execução num processador distinto. Num dado instante, num grupo de tarefas, m, as tarefas de maior prioridade são selecionadas para execução. Este tipo promete limites de utilização altos, a custo elevado de preempções/migrações de tarefas. Em contraste, os algoritmos particionados, colocam as tarefas em partições, e estas, são atribuídas a um dos processadores disponíveis, isto é, para cada processador, é atribuída uma partição. Por essa razão, a migração de tarefas não é possível, acabando por fazer com que o limite de utilização não seja tão alto quando comparado com o caso anterior, mas o número de preempções de tarefas decresce significativamente. O esquema semi-particionado, é uma resposta de caráter hibrido entre os casos anteriores, pois existem tarefas que são particionadas, para serem executadas exclusivamente por um grupo de processadores, e outras que são atribuídas a apenas um processador. Com isto, resulta uma solução que é capaz de distribuir o trabalho a ser realizado de uma forma mais eficiente e balanceada. Infelizmente, para todos estes casos, existe uma discrepância entre a teoria e a prática, pois acaba-se por se assumir conceitos que não são aplicáveis na vida real. Para dar resposta a este problema, é necessário implementar estes algoritmos de escalonamento em sistemas operativos reais e averiguar a sua aplicabilidade, para caso isso não aconteça, as alterações necessárias sejam feitas, quer a nível teórico quer a nível prá

Concepção e implementação de um website de uma associação sindical

Dissertação apresentada ao Instituto Superior de Contabilidade para a obtenção do Grau de Mestre em Assessoria de Administração

Sistema de neurónios espelho no síndrome de down: estudo das variações dos ritmos Mu No Eeg

A capacidade de compreensão das acções dos outros e de imitação tem sido descrita como fundamental para a cognição social do ser humano. Recentemente tem sido atribuída a responsabilidade desta capacidade a um sistema neuronal denominado de Sistema de Neurónios Espelho, que se tem demonstrado estar afectado em perturbações mentais que se caracterizam por alterações severas da teoria da mente e da empatia, como é o caso do autismo. No caso do Síndrome de Down, verifica-se a coexistência de boas competências sociais e de capacidades práxicas e de imitação intactas, com dificuldades de interpretação de situações sociais e de reconhecimento de emoções, que nos levam a questionar acerca da actividade do seu Sistema de Neurónios Espelho. As oscilações do ritmo de frequências um (8-13 Hz) no córtex sensório-motor perante a observação de acções são consideradas um reflexo da actividade dos neurónios espelho, estando estabelecido que em pessoas saudáveis ocorre uma supressão mu na realização de movimentos com o membro superior e na sua observação quando realizados por outras pessoas. Neste estudo registou-se electroencefalograficamente a supressão dos ritmos mu em 11 pessoas com SD e em 20 pessoas sem SD nas seguintes condições: observação de um vídeo com duas bolas em movimento, observação de um vídeo com um movimento repetido de uma mão e realização movimentos com a mão. A baseline foi registada através da observação de um ponto estático. Constatamos que existe supressão dos ritmos mu na observação das acções dos outros em pessoas com Síndrome Down da mesma forma que ocorre na realização do próprio movimento, sugerindo uma relativa preservação do funcionamento dos neurónios espelho e dos mecanismos básicos de cognição social. Estes resultados vão de encontro aos estudos que apontam para a integridade das capacidades de imitação no Síndrome Down. Verificamos também que não se encontram diferenças significativas na supressão dos ritmos mu entre os grupos de pessoas com Síndrome Down e de Controlo em relação às condições usadas na investigação.

Dynamical analysis of compositions

This paper analyzes musical opus from the point of view of two mathematical tools, namely the entropy and the multidimensional scaling (MDS). The Fourier analysis reveals a fractional dynamics, but the time rhythm variations are diluted along the spectrum. The combination of time-window entropy and MDS copes with the time characteristics and is well suited to treat a large volume of data. The experiments focus on a large number of compositions classified along three sets of musical styles, namely “Classical”, “Jazz”, and “Pop & Rock” compositions. Without lack of generality, the present study describes the application of the tools and the sets of musical compositions in a methodology leading to clear conclusions, but extensions to other possibilities are straightforward. The results reveal significant differences in the musical styles, demonstrating the feasibility of the proposed strategy and motivating further developments toward a dynamical analysis of musical compositions.

Caracterização de águas do processo e optimização dos consumos de água nos vários circuitos da Petibol, S.A. – Embalagens de Plástico

A empresa Petibol, S.A. – Embalagens de plástico centra-se na produção de embalagens de plástico a partir da matéria-prima Poliestireno Expandido (EPS) e Polipropileno Expandido (EPP). A empresa possui uma preocupação ao nível da qualidade da água e do aproveitamento energético, tendo desta forma surgido a realização do estudo na unidade industrial, com o objectivo de anular e/ou diminuir as possíveis lacunas existentes na unidade industrial. Numa primeira etapa foi realizada uma caracterização global à qualidade da água e à empresa, actualizando-se os esquemas já existentes, contabilizando-se os custos actuais relativamente aos processos no circuito da água (arrefecimento, aquecimento e pressurização), e por fim, efectuou-se um levantamento in loco do circuito de água, relativamente à pressão, temperatura e caudal. Numa fase posterior, foram propostos equipamentos e processos, tendo em vista a colmatação dos problemas identificados, realizando-se um subsequente estudo relativamente aos custos inerentes a esses novos processos. A caracterização à água foi avaliada em diferentes pontos do circuito industrial, tendo-se determinado na Sala de Bombagem que o filtro de areia não possuía as dimensões mais apropriadas, existindo também um problema a nível mecânico associado ao processo de contra-lavagem. Tais factos podem ser a causa da ocorrência de um aumento do teor de sólidos após a passagem na camada filtrante. Relativamente ao amaciador, este deveria amaciar de forma completa a água para alimentação à caldeira, embora se tenha registado à saída do amaciador uma dureza de 21,3 mg/L, denunciando problemas na troca iónica. No que toca à água de alimentação à caldeira, verifica-se a existência de parâmetros que não se encontram de acordo com os critérios enunciados para uma óptima qualidade, sendo eles o pH (10,14), condutividade (363 μS/cm), teor de ferro (1,21 mg/L) e a dureza (16 mg/L). De salientar que somente o teor de cobre, que se encontra em quantidades vestigiais, apresenta-se de acordo com os valores impostos. No que respeita à água da caldeira, esta apresenta parâmetros incompatíveis com os recomendados, sendo eles a condutividade (7350 μS/cm), teor de sólidos dissolvidos (5248 mg/L) e alcalinidade total (780 mg/L). De referir que o valor de pH (11,8) não se encontra de acordo com a aplicação do tratamento “fosfato-pH coordenado”. Em relação aos parâmetros com valores que se encontram dentro dos limites, estes correspondem à dureza (0 mg/L), ao teor de fosfatos (45 mg/L) e teor de sílica (0 mg/L). A água do circuito de arrefecimento foi sujeita a uma análise microbiológica, que corroborou a presença de um biofilme. Um dos problemas enunciados pela empresa, prendia-se com a impossibilidade de descarga, no colector municipal, dos condensados dos compressores, visto apresentarem uma quantidade de óleo de cerca de 43,3 mg/L, equivalente a quatro vezes o valor limite de emissão, de acordo com a legislação municipal. Por fim, o efluente de descarga industrial apresenta um valor de pH (10,3) acima do intervalo permitido por lei (6,0 – 9,0), sendo que a corrente que mais contribui para este acréscimo de pH corresponde à corrente proveniente da água de purga, visto esta apresentar um valor de pH de 12,22. De maneira a contornar os parâmetros enunciados, é proposto a substituição do filtro de areia da Sala de Bombagem, assim como a inserção de um conjunto de medidas de remoção de ferro e desinfecção, sendo a conjugação de arejamento, coagulação, filtração e desinfecção, por parte do hipoclorito, a proposta apresentada. Aos condensados dos compressores é apresentado um sistema de separação, que possibilita a remoção do óleo da água, e uma consequente descarga da mesma. Actualmente, não existe qualquer filtro de areia no circuito de arrefecimento da água, sendo proposto assim esse equipamento, de forma a minorar o desenvolvimento da população microbiana, bem como a permitir uma maior eficiência na transferência de calor na torre de arrefecimento. Relativamente à descarga industrial, é recomendável a colocação de um sistema de regularização automática de pH. A inserção de uma válvula de três vias permite um aproveitamento energético e de água, a partir da confluência da água oriunda dos furos com a água do tanque de água fria, sendo posteriormente alimentada à central de vácuo. No estudo da recuperação energética, um outro equipamento avaliado correspondeu à serpentina, no entanto, verificou-se que a poupança no consumo de gás natural era de apenas 0,005%, o que não se mostrou uma proposta viável. O orçamento de todos os equipamentos é de 11.720,76 €, possibilitando não só um melhor funcionamento industrial, como um menor impacto a nível ambiental. Os custos futuros de funcionamento aumentam em 3,36%, tendo a pressurização um aumento do seu custo em 3,4% em relação ao custo actual, verificando-se um custo anual de 10.781,21€, em relação aos processos de arejamento, coagulação e desinfecção.

Finnish Kullervo and chinese martial arts stories

Introduction: There are many important Finnish plays but, due to language barrier, Finnish drama is seldom exported, particularly to Hong Kong and China.. Objective: To find out differences in mentality between the Finnish and Chinese peoples by comparing the partially localized Chinese translation of Aleksis Kivi’s tragedy, Kullervo, with genuine Chinese martial arts literature. Methodology: 1. Chapman Chen has translated the Finnish classic, Kullervo, directly from Finnish into Chinese and published it in 2005. 2. In Chen’s Chinese translation, cultural markers are domesticated. On the other hand, values, characterization, plot, and rhythm remain unchanged. 3. According to Gideon Tory, the translator has to strike a golden mean between the norms of the source language and the target language. 4. Lau Tingci lists and explicates the essential components of martial arts drama. 5. According to Ehrnrooth’s “Mentality”, equality is the most important value in Finnish culture. Findings: i. Finland emphasizes independence while China emphasizes bilateral relationships. ii. The Finnish people loves freedom, but Gai Sizung argues that the Chinese people is slavish. iii. Finns are mature while many Chinese are, according to Sun Lung-kee (“The Deep Structure of Chinese Culture”; “The Deep Structure of Chinese Sexuality”), fixated at the oral and anal stages. iv. Finnish society highly values equality while Chinese interpersonal relationships are extremely complicated and hierachical. If Kullervo were a genuine Chinese kungfu story, the plot would be much more convoluted. Conclusion: The differences between Finnish and Chinese mentalities are so significant that partially localized or adapted Chinese translations of Finnish drama may still be able to introduce Finnish culture to the Chinese audience.

MyListBox

As redes sociais são estruturas compostas por indivíduos ou grupos que estão relacionados por gostos e preferências, culturas ou origens e valores ou ideais. Há alguns anos para cá, o conceito de rede social expandiu-se para a internet, e de um modo geral as redes sociais online têm como objectivo a criação de um perfil e a partilha do mesmo com amigos. Hoje em dia, há redes sociais que cumprem vários objectivos diferentes, seja apenas para partilhar o perfil de uma identidade (pessoa, grupo ou organização), seja para atingir um serviço específico, por exemplo partilhar o Curriculum Vitae. Embora haja muitos cépticos, as redes sociais ganham novos adeptos todos os dias, como tal, as redes sociais disponibilizam aplicações para dispositivos móveis para assim os seus utilizadores poderem obter a informação mais rápido, em qualquer altura, em qualquer lugar, no seu smartphone ou tablet. É imperativo que as aplicações para dispositivos móveis estão continuamente fornecer funcionalidades mais ricas, e mesmo apesar da actual aceitação das pessoas em relação aos dispositivos móveis, a tendência é para continuarem neste ritmo, ou até mesmo aumentar, pois os utilizadores estarão sempre a pedir mais, além disso, a concorrência entre os vendedores irá manter viva a evolução natural da tecnologia. Para construir uma empresa por trás de uma rede social exige um perfil empreendedor, e a vocação para o empreendedorismo não é baseada em Dna, cultura, origem ou religião, em breves palavras, não se nasce empreendedor. É algo que se desenvolve no tempo, e que se melhora com os erros cometidos, não só com os nossos mas como os erros de outros empreendedores. O espírito empreendedor é algo que cresce após a primeira ideia, e até mesmo antes, de forma inconsciente, através do desenvolvimento de competências específicas. A MyListBox é uma rede social que fornece um serviço específico, de criação de listas de presentes e partilha das mesmas com amigos e familiares, que disponibiliza aplicações para dispositivos móveis com iOS e Android, e futuramente aplicação para Windows Phone 7, que permitem os utilizadores acederem às suas listas, e às listas dos seus amigos a qualquer hora, em qualquer lugar mesmo não estando ligado à internet. No contexto do projecto MyListBox, o trabalho resultante desta tese teve como principais objectivos: - Apresentar as experiências no mundo do empreendedorismo - Resultados dos concursos de empreendedorismo - Estado da arte no universo das aplicações móveis - Avaliação dos mecanismos de segurança para aplicações móveis - Critérios da decisão na implementação dos métodos de consistência e replicação de dados.

Robôs quadrúpedes: geração de trajectórias em tempo real usando sistemas dinâmicos não-lineares

A geração de trajectórias de robôs em tempo real é uma tarefa muito complexa, não existindo ainda um algoritmo que a permita resolver de forma eficaz. De facto, há controladores eficientes para trajectórias previamente definidas, todavia, a adaptação a variações imprevisíveis, como sendo terrenos irregulares ou obstáculos, constitui ainda um problema em aberto na geração de trajectórias em tempo real de robôs. Neste trabalho apresentam-se modelos de geradores centrais de padrões de locomoção (CPGs), inspirados na biologia, que geram os ritmos locomotores num robô quadrúpede. Os CPGs são modelados matematicamente por sistemas acoplados de células (ou neurónios), sendo a dinâmica de cada célula dada por um sistema de equações diferenciais ordinárias não lineares. Assume-se que as trajectórias dos robôs são constituídas por esta parte rítmica e por uma parte discreta. A parte discreta pode ser embebida na parte rítmica, (a.1) como um offset ou (a.2) adicionada às expressões rítmicas, ou (b) pode ser calculada independentemente e adicionada exactamente antes do envio dos sinais para as articulações do robô. A parte discreta permite inserir no passo locomotor uma perturbação, que poderá estar associada à locomoção em terrenos irregulares ou à existência de obstáculos na trajectória do robô. Para se proceder á análise do sistema com parte discreta, será variado o parâmetro g. O parâmetro g, presente nas equações da parte discreta, representa o offset do sinal após a inclusão da parte discreta. Revê-se a teoria de bifurcação e simetria que permite a classificação das soluções periódicas produzidas pelos modelos de CPGs com passos locomotores quadrúpedes. Nas simulações numéricas, usam-se as equações de Morris-Lecar e o oscilador de Hopf como modelos da dinâmica interna de cada célula para a parte rítmica. A parte discreta é modelada por um sistema inspirado no modelo VITE. Medem-se a amplitude e a frequência de dois passos locomotores para variação do parâmetro g, no intervalo [-5;5]. Consideram-se duas formas distintas de incluir a parte discreta na parte rítmica: (a) como um (a.1) offset ou (a.2) somada nas expressões que modelam a parte rítmica, e (b) somada ao sinal da parte rítmica antes de ser enviado às articulações do robô. No caso (a.1), considerando o oscilador de Hopf como dinâmica interna das células, verifica-se que a amplitude e frequência se mantêm constantes para -50.2. A extensão do movimento varia de forma directamente proporcional à amplitude. No caso das equações de Morris-Lecar, quando a componente discreta é embebida (a.2), a amplitude e a frequência aumentam e depois diminuem para - 0.170.5 Pode concluir-se que: (1) a melhor forma de inserção da parte discreta que menos perturbação insere no robô é a inserção como offset; (2) a inserção da parte discreta parece ser independente do sistema de equações diferenciais ordinárias que modelam a dinâmica interna de cada célula. Como trabalho futuro, é importante prosseguir o estudo das diferentes formas de inserção da parte discreta na parte rítmica do movimento, para que se possa gerar uma locomoção quadrúpede, robusta, flexível, com objectivos, em terrenos irregulares, modelada por correcções discretas aos padrões rítmicos.

Abordagem prática para execução de taludes em obras rodoviárias com recurso a pré‐corte

Este trabalho é realizado no domínio das obras de engenharia, área onde o desmonte de rocha com recurso a explosivos em obras rodoviárias é uma actividade específica e consistiu no acompanhamento e execução de três obras rodoviárias de média e grande dimensão. A necessidade de executar escavações, recorrendo a técnicas de desmonte cuidadoso de contorno, onde o plano de corte do talude final deve obedecer a requisitos de localização, alinhamento, inclinação, estabilidade e também estéticos, acrescendo a isto a necessidade de optimizar os meios envolvidos, obriga a que esta actividade seja encarada de uma forma sistematizada, visando o racional aproveitamento de recursos. A execução desta actividade requer conhecimentos no domínio das técnicas de desmonte de contorno, dos explosivos, do mecanismo de rotura de rochas, da operação de perfuração e da geomecânica dos maciços. A abordagem deste trabalho incide sobre a técnica denominada de pré‐corte e tem como objectivo encontrar uma equação característica que permita relacionar diferentes parâmetros envolvidos nesta actividade. Este objectivo é alcançado recorrendo à correlação entre equações relativas à pressão de detonação, à pressão no furo e ao espaçamento entre furos consecutivos, desenvolvidas por outros autores. Desta forma obteve‐se uma equação que relaciona parâmetros relativos ao maciço rochoso (resistência à tracção), ao explosivo (velocidade de detonação e densidade) e ao diagrama de fogo (concentração de carga – volume de explosivo e comprimento do furo – volume do furo). A comparação entre os valores destes parâmetros obtidos na produção e os obtidos com recurso à equação característica permite concluir que a sua aplicação para execução de futuras obras possibilita uma optimização dos meios envolvidos.

Estudo económico das energias renováveis: o caso português

Dissertação de Mestrado apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Empreendedorismo e Internacionalização, sob orientação de Maria Clara Dias Pinto Ribeiro