Solving a signalized traffic intersection problem with an hyperbolic penalty function

Mathematical Program with Complementarity Constraints (MPCC) finds many applications in fields such as engineering design, economic equilibrium and mathematical programming theory itself. A queueing system model resulting from a single signalized intersection regulated by pre-timed control in traffic network is considered. The model is formulated as an MPCC problem. A MATLAB implementation based on an hyperbolic penalty function is used to solve this practical problem, computing the total average waiting time of the vehicles in all queues and the green split allocation. The problem was codified in AMPL.

Adaptação ocupacional de indivíduos obesos a partir dos conceitos de identidade e competência ocupacional: associação com os níveis de atividade física e os valores máximos de pressão plantar

A Obesidade é considerada um grave problema de saúde pública, com consequências negativas para os indivíduos obesos, nomeadamente dificuldades no desempenho de atividades de vida diária, na locomoção e na prática de exercício físico, o que pode restringir a participação em atividades sociais e de lazer. Esta investigação consiste num estudo quantitativo descritivo e tem como objetivo principal descrever de que forma os indivíduos adultos obesos classificam a sua adaptação ocupacional, a partir dos conceitos de identidade e competência ocupacional. Com este estudo, pretende-se ainda verificar se os indivíduos obesos apresentam níveis de atividade física mais baixos e valores mais elevados de pressão plantar, em relação a indivíduos com peso normal. A amostra é constituída por dez indivíduos adultos, de ambos os sexos, com índice de massa corporal igual (IMC) ou superior a 30 Kg/m2, e os instrumentos de avaliação utilizados são o Questionário Ocupacional (adaptado por N. Riopel com assistência de G. Kielhofner e J. Hawkins Watts – 1986), o IPAQ – Versão Curta e o Sistema de Palmilhas Pedar. A partir dos resultados, pode-se verificar que os indivíduos obesos apresentam uma rotina diária em que a maioria das atividades realizadas está relacionada com a casa, o trabalho e o descanso e que a percentagem de atividades de lazer em que participam é reduzida. No entanto, parecem satisfeitos com o seu desempenho na maior parte das atividades, consideram que muitas delas são importantes para si e estão motivados para as realizar. Dos resultados obtidos, podemos sugerir que os indivíduos obesos apresentam boa adaptação ocupacional. Pode-se ainda dizer que os indivíduos obesos apresentam um baixo nível de intensidade de atividade física, não se observando diferenças significativas relativamente aos indivíduos com peso normativo e que os seus valores máximos de pressão plantar normalizados são inferiores quando comparados com a população de peso normal.

Real-Time Application Mapping for Many-Cores Using a Limited Migrative Model

Many-core platforms are an emerging technology in the real-time embedded domain. These devices offer various options for power savings, cost reductions and contribute to the overall system flexibility, however, issues such as unpredictability, scalability and analysis pessimism are serious challenges to their integration into the aforementioned area. The focus of this work is on many-core platforms using a limited migrative model (LMM). LMM is an approach based on the fundamental concepts of the multi-kernel paradigm, which is a promising step towards scalable and predictable many-cores. In this work, we formulate the problem of real-time application mapping on a many-core platform using LMM, and propose a three-stage method to solve it. An extended version of the existing analysis is used to assure that derived mappings (i) guarantee the fulfilment of timing constraints posed on worst-case communication delays of individual applications, and (ii) provide an environment to perform load balancing for e.g. energy/thermal management, fault tolerance and/or performance reasons.