NoC contention analysis using a branch-and-prune algorithm

“Many-core” systems based on a Network-on-Chip (NoC) architecture offer various opportunities in terms of performance and computing capabilities, but at the same time they pose many challenges for the deployment of real-time systems, which must fulfill specific timing requirements at runtime. It is therefore essential to identify, at design time, the parameters that have an impact on the execution time of the tasks deployed on these systems and the upper bounds on the other key parameters. The focus of this work is to determine an upper bound on the traversal time of a packet when it is transmitted over the NoC infrastructure. Towards this aim, we first identify and explore some limitations in the existing recursive-calculus-based approaches to compute the Worst-Case Traversal Time (WCTT) of a packet. Then, we extend the existing model by integrating the characteristics of the tasks that generate the packets. For this extended model, we propose an algorithm called “Branch and Prune” (BP). Our proposed method provides tighter and safe estimates than the existing recursive-calculus-based approaches. Finally, we introduce a more general approach, namely “Branch, Prune and Collapse” (BPC) which offers a configurable parameter that provides a flexible trade-off between the computational complexity and the tightness of the computed estimate. The recursive-calculus methods and BP present two special cases of BPC when a trade-off parameter is 1 or ∞, respectively. Through simulations, we analyze this trade-off, reason about the implications of certain choices, and also provide some case studies to observe the impact of task parameters on the WCTT estimates.

Sistema de visão e laser para percepção em ambientes subaquáticos

A exploração do meio subaquático utilizando visão computacional é ainda um processo complexo. Geralmente são utilizados sistemas de visão baseados em visão stereo, no entanto, esta abordagem apresenta limitações, é pouco precisa e é exigente em termos computacionais quando o meio de operação é o subaquático. Estas limitações surgem principalmente em dois cenários de aplicação: quando existe escassez de iluminação e em operações junto a infraestruturas subaquáticas. Consequentemente, a solução reside na utilização de fontes de informação sensorial alternativas ou complementares ao sistema de visão computacional. Neste trabalho propõe-se o desenvolvimento de um sistema de percepção subaquático que combina uma câmara e um projetor laser de um feixe em linha, onde o projetor de luz estruturada _e utilizado como fonte de informação. Em qualquer sistema de visão computacional, e ainda mais relevante em sistemas baseados em triangulação, a sua correta calibração toma um papel fulcral para a qualidade das medidas obtidas com o sistema. A calibração do sistema de visão laser foi dividida em duas etapas. A primeira etapa diz respeito à calibração da câmara, onde são definidos os parâmetros intrínsecos e os parâmetros extrínsecos relativos a este sensor. A segunda etapa define a relação entre a câmara e o laser, sendo esta etapa necessária para a obtenção de imagens tridimensionais. Assim, um dos principais desafios desta dissertação passou por resolver o problema da calibração inerente a este sistema. Desse modo, foi desenvolvida uma ferramenta que requer, pelo menos duas fotos do padrão de xadrez, com perspectivas diferentes. O método proposto foi caracterizado e validado em ambientes secos e subaquáticos. Os resultados obtidos mostram que o sistema _e preciso e os valores de profundidade obtidos apresentam um erro significativamente baixo (inferiores a 1 mm), mesmo com uma base-line (distância entre a centro óptico da câmara e o plano de incidência do laser) reduzida.

Identificação forense de ossadas por tomografia computorizada

A antropologia forense é uma disciplina das ciências forenses que trata da análise de restos cadavéricos humanos para fins legais. Uma das suas aplicações mais populares é a identificação forense que consiste em determinar o perfil biológico (idade, sexo, ancestralidade e estatura) de um indivíduo. No entanto, este processo muitas vezes é dificultado quando o corpo se encontra em avançado estado de decomposição apenas existindo restos esqueléticos. Neste caso, áreas médicas comummente utilizadas na identificação de cadáveres, como a patologia, tem de ser descartadas e surge a necessidade de aplicar outras técnicas. Neste contexto, muitos métodos antropométricos são propostos de forma a caracterizar uma pessoa através do seu esqueleto. Contudo, constata-se que a maioria dos procedimentos sugeridos é baseada em equipamentos básicos de medição, não usufruindo da tecnologia contemporânea. Assim, em parceria com a Delegação Norte do NMLCF, I. P., esta Tese teve na sua génese a criação de um sistema computacional baseado em imagens de Tomografia Computorizada (TC) de ossadas que, através de ferramentas open source, permita a realização de identificação forense. O trabalho apresentado baseia-se no processo de gestão de informação, aquisição, processamento e visualização de imagens TC. No decorrer da realização da presente Tese foi desenvolvida uma base de dados que permite organizar a informação de cada ossada e foram implementados algoritmos que levam a uma extracção de características muito mais vasta que a efetuada manualmente com os equipamentos de medição clássicos. O resultado final deste estudo consistiu num conjunto de técnicas que poderão ser englobadas num sistema computacional de identificação forense e deste modo criar uma aplicação com vantagens tecnológicas evidentes.

Vitamin D Intake and Cardiometabolic: Risk Factors in Adolescents

Background: A growing body of research suggests that vitamin D might play an important role in overall health. No data exist on vitamin D intake for the Azorean adolescent population. The purpose of this study was to assess vitamin D intake and investigate a possible association between vitamin D intake and cardiometabolic risk factors in Azorean adolescents. Methods: A cross-sectional school-based study was conducted on 496 adolescents (288 girls) aged 15–18 years from the Azorean Islands, Portugal. Anthropometric measurements (waist circumference and height), blood pressure (systolic), and plasma biomarkers [fasting glucose, insulin, total cholesterol (TC), high-density lipoprotein cholesterol (HDL-C), and triglycerides (TGs)] were measured to assess metabolic risk. Homeostasis model assessment (HOMA), TC-to-HDL-C ratio, and waist-to-height ratio were calculated. For each of these variables, a Z-score was computed by age and sex. A metabolic risk score was constructed by summing the Zscores of all individual risk factors. High risk was considered when the individual had ‡ 1 standard deviation(SD) of this score. Vitamin D intake was assessed with a semiquantitative food frequency questionnaire. Participants were classified into quartiles of vitamin D intake. Logistic regression was used to determine odds ratios for high cardiometabolic risk scores after adjusting for total energy intake, pubertal stage, fat mass percentage, and cardiorespiratory fitness. Results: Mean (SD) vitamin D intake was 5.8 (6.5) mg/day, and 9.1% of Azorean adolescents achieved the estimated average requirement of vitamin D (10 mg/day or 400 IU). Logistic regression showed that the odds ratio for a high cardiometabolic risk score was 3.35 [95% confidence interval (CI) 1.28–8.75] for adolescents in the lowest vitamin D intake quartile in comparison with those in the highest vitamin D intake quartile, even after adjustment for confounders. Conclusion: A lower level of vitamin D intake was associated with worse metabolic profile among Azorean adolescents.

Intake of milk, but not total dairy, yogurt, or cheese, is negatively associated with the clustering of cardiometabolic risk factors in adolescents

Epidemiologic studies have reported an inverse association between dairy product consumption and cardiometabolic risk factors in adults, but this relation is relatively unexplored in adolescents. We hypothesized that a higher dairy product intake is associated with lower cardiometabolic risk factor clustering in adolescents. To test this hypothesis, a cross-sectional study was conducted with 494 adolescents aged 15 to 18 years from the Azorean Archipelago, Portugal. We measured fasting glucose, insulin, total cholesterol, high-density lipoprotein cholesterol, triglycerides, systolic blood pressure, body fat, and cardiorespiratory fitness. We also calculated homeostatic model assessment and total cholesterol/high-density lipoprotein cholesterol ratio. For each one of these variables, a z score was computed using age and sex. A cardiometabolic risk score (CMRS) was constructed by summing up the z scores of all individual risk factors. High risk was considered to exist when an individual had at least 1 SD from this score. Diet was evaluated using a food frequency questionnaire, and the intake of total dairy (included milk, yogurt, and cheese), milk, yogurt, and cheese was categorized as low (equal to or below the median of the total sample) or “appropriate” (above the median of the total sample).The association between dairy product intake and CMRS was evaluated using separate logistic regression, and the results were adjusted for confounders. Adolescents with high milk intake had lower CMRS, compared with those with low intake (10.6% vs 18.1%, P = .018). Adolescents with appropriate milk intake were less likely to have high CMRS than those with low milk intake (odds ratio, 0.531; 95% confidence interval, 0.302-0.931). No association was found between CMRS and total dairy, yogurt, and cheese intake. Only milk intake seems to be inversely related to CMRS in adolescents.

Effects of microcurrents and physical exercise on the abdominal fat: a randomized controlled trial in patients with coronary artery disease

Objectives: Coronary artery disease are associated with decreased levels of physical activity, contributing to increases in abdominal fat and consequently the metabolic risk. The use of microcurrents is an innovative and effective method to increase lipolytic rate of abdominal adipocytes. This study aims to investigate the effects of microcurrents with a homebased exercise program on total, subcutaneous and visceral abdominal adipose tissue in subjects with coronary artery disease. Methods: This controlled trial included 44 subjects with myocardial infarction, randomly divided into Intervention Group 1 (IG1; n = 16), Intervention Group 2 (IG2; n = 12) and Control Group (CG; n = 16). IG1 performed a specific exercise program at home during 8 weeks, and IG2 additionally used microcurrents on the abdominal region before the exercise program. All groups were subjected to health education sessions. Computed Tomography was used to evaluate abdominal, subcutaneous and visceral fat, accelerometers to measure habitual physical activity and the semiquantitative Food Frequency Questionnaire for dietary intake. Results: After 8 weeks, IG2 showed a significantly decreased in subcutaneous fat (p ≤ 0.05) when compared to CG. Concerning visceral fat, both intervention groups showed a significant decrease in comparison to the CG (p ≤ 0.05). No significant changes were found between groups on dietary intake and habitual physical activity, except for sedentary activity that decreased significantly in IG2 in comparison with CG (p ≤ 0.05). Conclusions: This specific exercise program showed improvements in visceral fat in individuals with coronary artery disease. Microcurrent therapy associated with a home-based exercise program suggested a decreased in subcutaneous abdominal fat.

Incremental Recomputation of Pig Latin’s Nest and Unnest Operators

This master’s thesis addresses the maintenance of pre-computed structures, which store a frequent or expensive query, for the nested bag data type in the high level work-flow language Pig Latin. This thesis defines a model suitable to accommodate incremental expressions over nested bags on Pig Latin. Afterwards, the partitioned normal form for sets is extended with further restrictions, in order to accommodate the nested bag model, allow the Pig Latin nest and unnest operators revert each other, and create a suitable environment to the incremental computations. Subsequently, the extended operators – extended union and extended difference – are defined for the nested bag data model with the partitioned normal form for bags (PNF Bag) restriction, and semantics for the extended operators are given. Finally, incremental data propagation expressions are proposed for the nest and unnest operators on the data model proposed with the PNF Bag restriction, and the proof of correctness is given.

Distributed Linear Precoding and User Selection in Coordinated Multicell Systems

In this manuscript we tackle the problem of semidistributed user selection with distributed linear precoding for sum rate maximization in multiuser multicell systems. A set of adjacent base stations (BS) form a cluster in order to perform coordinated transmission to cell-edge users, and coordination is carried out through a central processing unit (CU). However, the message exchange between BSs and the CU is limited to scheduling control signaling and no user data or channel state information (CSI) exchange is allowed. In the considered multicell coordinated approach, each BS has its own set of cell-edge users and transmits only to one intended user while interference to non-intended users at other BSs is suppressed by signal steering (precoding). We use two distributed linear precoding schemes, Distributed Zero Forcing (DZF) and Distributed Virtual Signalto-Interference-plus-Noise Ratio (DVSINR). Considering multiple users per cell and the backhaul limitations, the BSs rely on local CSI to solve the user selection problem. First we investigate how the signal-to-noise-ratio (SNR) regime and the number of antennas at the BSs impact the effective channel gain (the magnitude of the channels after precoding) and its relationship with multiuser diversity. Considering that user selection must be based on the type of implemented precoding, we develop metrics of compatibility (estimations of the effective channel gains) that can be computed from local CSI at each BS and reported to the CU for scheduling decisions. Based on such metrics, we design user selection algorithms that can find a set of users that potentially maximizes the sum rate. Numerical results show the effectiveness of the proposed metrics and algorithms for different configurations of users and antennas at the base stations.

Método de correspondência para sistemas de visão multi-câmara

Os sistemas de perceção visual são das principais fontes de informação sensorial utilizadas pelos robôs autónomos, para localização e navegação em diferentes meios de operação. O objetivo passa por obter uma grande quantidade de informação sobre o ambiente que a câmara está a visualizar, processar e extrair informação que permita realizar as tarefas de uma forma e ciente. Uma informação em particular que os sistemas de visão podem fornecer, e a informação tridimensional acerca do meio envolvente. Esta informação pode ser adquirida recorrendo a sistemas de visão monoculares ou com múltiplas câmaras. Nestes sistemas a informação tridimensional pode ser obtida recorrendo a técnica de triangulação, tirando partido do conhecimento da posição relativa entre as câmaras. No entanto, para calcular as coordenadas de um ponto tridimensional no referencial da câmara e necessário existir correspondência entre pontos comuns às imagens adquiridas pelo sistema. No caso de más correspondências a informação 3D e obtida de forma incorreta. O problema associado à correspondência de pontos pode ser agravado no caso das câmaras do sistema terem características intrínsecas diferentes nomeadamente: resolução, abertura da lente, distorção. Outros fatores como as orientações e posições das câmaras também podem condicionar a correspondência de pontos. Este trabalho incide sobre problemática de correspondência de pontos existente no processo de cálculo da informação tridimensional. A presente dissertação visa o desenvolvimento de uma abordagem de correspondência de pontos para sistemas de visão no qual é conhecida a posição relativa entre câmaras.

Heparinized nanohydroxyapatite/collagen granules for controlled release of vancomycin

The purpose of this study was to develop a bone substitute material capable of preventing or treating osteomyelitis through a sustainable release of vancomycin and simultaneously inducing bone regeneration. Porous heparinized nanohydroxyapatite (nanoHA)/collagen granules were characterized using scanning electron microscopy, micro-computed tomography and attenuated total reflectance Fourier transform infrared spectroscopy. After vancomycin adsorption onto the granules, its releasing profile was studied by UV molecular absorption spectroscopy. The heparinized granules presented a more sustainable release over time, in comparison with nonheparinized nanoHA and nanoHA/collagen granules. Vancomycin was released for 360 h and proved to be bioactive until 216 h. Staphylococcus aureus adhesion was higher on granules containing collagen, guiding the bacteria to the material with antibiotic, improving their eradication. Moreover, cytotoxicity of the released vancomycin was assessed using osteoblast cultures, and after 14 days of culture in the presence of vancomycin, cells were able to remain viable, increasing their metabolic activity and colonizing the granules, as observed by scanning electron microscopy and confocal laser scanning microscopy. These findings suggest that heparinized nanoHA/collagen granules are a promising material to improve the treatment of osteomyelitis, as they are capable of releasing vancomycin, eliminating the bacteria, and presented morphological and chemical characteristics to induce bone regeneration.

From Mind to Body: Is Mental Practice Effective on Strength Gains? A Meta-Analysis

Mental practice is an internal reproduction of a motor act (whose intention is to promote learning and improving motor skills). Some studies have shown that other cognitive strategies also increase the strength and muscular resistance in healthy people by the enhancement of the performance during dynamic tasks. Mental training sessions may be primordial to improving muscle strength in different subjects. The aim of this study was to systematically review and meta-analiyze studies that assessed whether mental practice is effective in improving muscular strength. We conducted an electronic-computed search in Pub-Med/Medline and ISI Web of Knowledge, Scielo and manual searchs, searching papers written in English between 1991 and 2014. There were 44 studies in Pub-Med/Medline, 631 in ISI Web of Knowledge, 11 in Scielo and 3 in manual searchs databases. After exclusion of studies for duplicate, unrelated to the topic by title and summary, different samples and methodologies, a meta-analysis of 4 studies was carried out to identify the dose-response relationship. We did not find evidence that mental practice is effective in increasing strength in healthy individuals. There is no evidence that mental practice alone can be effective to induce strength gains or to optimize the training effects.

Effects of microcurrents and physical exercise on the abdominal fat in patients with coronary artery disease

Introduction Coronary artery disease is associated with decreased levels of physical activity, contributing to increases in abdominal fat and consequently increasing metabolic risk. The innovative use of microcurrents may be an effective method to increase the lipolytic rate of abdominal adipocytes. This study aimed to investigate the effects of utilizing microcurrents in a home-based exercise program in subjects with coronary artery disease to assess changes in total, subcutaneous and visceral abdominal adipose tissue. Methods This controlled trial included 44 subjects with myocardial infarction, randomly divided into Intervention Group 1 (IG1; n = 16), Intervention Group 2 (IG2; n = 12) and Control Group (CG; n = 16). IG1 performed a specific exercise program at home during 8 weeks, and IG2 additionally used microcurrents on the abdominal region before the exercise program. All groups were given health education sessions. Computed tomography was used to evaluate abdominal, subcutaneous and visceral fat, accelerometers to measure habitual physical activity and the semi-quantitative food frequency questionnaire for dietary intake. Results After 8 weeks, IG2 showed a significantly decrease in subcutaneous fat (p ≤ 0.05) when compared to CG. Concerning visceral fat, both intervention groups showed a significant decrease in comparison to the CG (p ≤ 0.05). No significant changes were found between groups on dietary intake and habitual physical activity, except for sedentary activity that decreased significantly for IG2 in comparison with CG (p ≤ 0.05). Conclusion This specific home-based exercise program using microcurrent therapy for individuals with coronary artery disease showed improvements in visceral and subcutaneous abdominal fat.

Dynamic stability metrics for the container loading problem

The Container Loading Problem (CLP) literature has traditionally evaluated the dynamic stability of cargo by applying two metrics to box arrangements: the mean number of boxes supporting the items excluding those placed directly on the floor (M1) and the percentage of boxes with insufficient lateral support (M2). However, these metrics, that aim to be proxies for cargo stability during transportation, fail to translate real-world cargo conditions of dynamic stability. In this paper two new performance indicators are proposed to evaluate the dynamic stability of cargo arrangements: the number of fallen boxes (NFB) and the number of boxes within the Damage Boundary Curve fragility test (NB_DBC). Using 1500 solutions for well-known problem instances found in the literature, these new performance indicators are evaluated using a physics simulation tool (StableCargo), replacing the real-world transportation by a truck with a simulation of the dynamic behaviour of container loading arrangements. Two new dynamic stability metrics that can be integrated within any container loading algorithm are also proposed. The metrics are analytical models of the proposed stability performance indicators, computed by multiple linear regression. Pearson’s r correlation coefficient was used as an evaluation parameter for the performance of the models. The extensive computational results show that the proposed metrics are better proxies for dynamic stability in the CLP than the previous widely used metrics.

Robot Manipulator Systems: Analysis and Control

Manipulator systems are rather complex and highly nonlinear which makes difficult their analysis and control. Classic system theory is veil known, however it is inadequate in the presence of strong nonlinear dynamics. Nonlinear controllers produce good results [1] and work has been done e. g. relating the manipulator nonlinear dynamics with frequency response [2–5]. Nevertheless, given the complexity of the problem, systematic methods which permit to draw conclusions about stability, imperfect modelling effects, compensation requirements, etc. are still lacking. In section 2 we start by analysing the variation of the poles and zeros of the descriptive transfer functions of a robot manipulator in order to motivate the development of more robust (and computationally efficient) control algorithms. Based on this analysis a new multirate controller which is an improvement of the well known “computed torque controller” [6] is announced in section 3. Some research in this area was done by Neuman [7,8] showing tbat better robustness is possible if the basic controller structure is modified. The present study stems from those ideas, and attempts to give a systematic treatment, which results in easy to use standard engineering tools. Finally, in section 4 conclusions are presented.