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.

Analysis of the domain of applicability of an algorithm for a resources system selection problem for Distributed/Agile/Virtual Enterprises integration

The process of resources systems selection takes an important part in Distributed/Agile/Virtual Enterprises (D/A/V Es) integration. However, the resources systems selection is still a difficult matter to solve in a D/A/VE, as it is pointed out in this paper. Globally, we can say that the selection problem has been equated from different aspects, originating different kinds of models/algorithms to solve it. In order to assist the development of a web prototype tool (broker tool), intelligent and flexible, that integrates all the selection model activities and tools, and with the capacity to adequate to each D/A/V E project or instance (this is the major goal of our final project), we intend in this paper to show: a formulation of a kind of resources selection problem and the limitations of the algorithms proposed to solve it. We formulate a particular case of the problem as an integer programming, which is solved using simplex and branch and bound algorithms, and identify their performance limitations (in terms of processing time) based on simulation results. These limitations depend on the number of processing tasks and on the number of pre-selected resources per processing tasks, defining the domain of applicability of the algorithms for the problem studied. The limitations detected open the necessity of the application of other kind of algorithms (approximate solution algorithms) outside the domain of applicability founded for the algorithms simulated. However, for a broker tool it is very important the knowledge of algorithms limitations, in order to, based on problem features, develop and select the most suitable algorithm that guarantees a good performance.

The effect of method, standard and sample components on the total antioxidant capacity of commercial waters assessed by optical conventional assays

The total antioxidant capacity (TAC) of 28 flavoured water samples was assessed by ferric reducing antioxidant potential (FRAP), oxygen radical absorbance capacity (ORAC), trolox equivalent antioxidant capacity (TEAC) and total reactive antioxidant potential (TRAP) methods. It was observed that flavoured waters had higher antioxidant activity than the corresponding natural ones. The observed differences were attributed to flavours, juice and vitamins. Generally, higher TAC contents were obtained on lemon waters and lower values on guava and raspberry flavoured waters. Lower and higher TACs were obtained by TRAP and ORAC method, respectively. Statistical analysis suggested that vitamins and flavours increased the antioxidant content of the commercial waters.

Scalable and Efficient Configuration of TimeDivision Multiplexed Resources

Consumer-electronics systems are becoming increasingly complex as the number of integrated applications is growing. Some of these applications have real-time requirements, while other non-real-time applications only require good average performance. For cost-efficient design, contemporary platforms feature an increasing number of cores that share resources, such as memories and interconnects. However, resource sharing causes contention that must be resolved by a resource arbiter, such as Time-Division Multiplexing. A key challenge is to configure this arbiter to satisfy the bandwidth and latency requirements of the real-time applications, while maximizing the slack capacity to improve performance of their non-real-time counterparts. As this configuration problem is NP-hard, a sophisticated automated configuration method is required to avoid negatively impacting design time. The main contributions of this article are: 1) An optimal approach that takes an existing integer linear programming (ILP) model addressing the problem and wraps it in a branch-and-price framework to improve scalability. 2) A faster heuristic algorithm that typically provides near-optimal solutions. 3) An experimental evaluation that quantitatively compares the branch-and-price approach to the previously formulated ILP model and the proposed heuristic. 4) A case study of an HD video and graphics processing system that demonstrates the practical applicability of the approach.

Validation of QuEChERS method for organochlorine pesticides analysis in tamarind (Tamarindus indica) products: Peel, fruit and commercial pulp

In this study a citrate-buffered version of QuEChERS (Quick, Easy, Cheap, Effective, Rugged and Safe) method for determination of 14 organochlorine pesticides (OCPs) residues in tamarind peel, fruit and commercial pulp was optimized using gas chromatography (GC) coupled with electron-capture detector (ECD) and confirmation by GC tandem mass spectrometry (GC–MS/MS). Five procedures were tested based on the original QuEChERS method. The best one was achieved with increased time in ultrasonic bath. For the extract clean-up, primary secondary amine (PSA), octadecyl-bonded silica (C18) and magnesium sulphate (MgSO4) were used as sorbents for tamarind fruit and commercial pulp and for peel was also added graphitized carbon black (GCB). The samples mass was optimized according to the best recoveries (1.0 g for peel and fruit; 0.5 g for pulp). The method results showed the matrix-matched calibration curve linearity was r2 > 0.99 for all target analytes in all samples. The overall average recoveries (spiked at 20, 40 and 60 μg kg−1) have been considered satisfactory presenting values between 70 and 115% with RSD of 2–15 % (n = 3) for all analytes, with the exception of HCB (in peel sample). The ranges of limits of detection (LOD) and quantification (LOQ) for OCPs were for peel (LOD: 8.0–21 μg kg−1; LOQ: 27–98 μg kg−1); for fruit (LOD: 4–10 μg kg−1; LOQ: 15–49 μg kg−1) and for commercial pulp (LOD: 2–5 μg kg−1; LOQ: 7–27 μg kg−1). The method was successfully applied in tamarind samples being considered a rapid, sensitive and reliable procedure.

Analysis of polycyclic aromatic hydrocarbons in fish: optimisation and validation of microwave-assisted extraction

An accurate and sensitive method for determination of 18 polycyclic aromatic hydrocarbons (PAHs) (16 PAHs considered by USEPA as priority pollutants, dibenzo[a,l]pyrene and benzo[j]fluoranthene) in fish samples was validated. Analysis was performed by microwave-assisted extraction and liquid chromatography with photodiode array and fluorescence detection. Response surface methodology was used to find the optimal extraction parameters. Validation of the overall methodology was performed by spiking assays at four levels and using SRM 2977. Quantification limits ranging from 0.15–27.16 ng/g wet weight were obtained. The established method was applied in edible tissues of three commonly consumed and commercially valuable fish species (sardine, chub mackerel and horse mackerel) originated from Atlantic Ocean. Variable levels of naphthalene (1.03–2.95 ng/g wet weight), fluorene (0.34–1.09 ng/g wet weight) and phenanthrene (0.34–3.54 ng/g wet weight) were detected in the analysed samples. None of the samples contained detectable amounts of benzo[a]pyrene, the marker used for evaluating the occurrence and carcinogenic effects of PAHs in food.

Organochlorine pesticide residues in strawberries from integrated pest management and organic farming

A rapid, specific, and sensitive method based on theQuick Easy Cheap Effective Rugged and Safe (QuEChERS) method and a cleanup using dispersive solid-phase extraction with MgSO4, PSA, and C18 sorbents has been developed for the routine analysis of 14 pesticides in strawberries. The analyses were performed by three different analytical methodologies: gas chromatography (GC) with electron capture detection (ECD), mass spectrometry (MS), and tandem mass spectrometry (MS/MS). The recoveries for all the pesticides studied were from 46 to 128%, with relative standard deviation of <15% in the concentration range of 0.005-0.250 mg/kg. The limit of detection (LOD) for all compoundsmetmaximumresidue limits (MRL) accepted in Portugal for organochlorine pesticides (OCP). A survey study of strawberries produced in Portugal in the years 2009-2010 obtained from organic farming (OF) and integrated pest management (IPM) was developed. Lindane and β-endosulfan were detected above the MRL in OF and IPM. Other OCP (aldrin, o,p0-DDT and their metabolites, and methoxychlor) were found below the MRL. The OCP residues detected decreased from 2009 to 2010. The QuEChERS method was successfully applied to the analysis of strawberry samples.

Filters method in direct search optimization, new measures to admissibility

Constrained nonlinear optimization problems are usually solved using penalty or barrier methods combined with unconstrained optimization methods. Another alternative used to solve constrained nonlinear optimization problems is the lters method. Filters method, introduced by Fletcher and Ley er in 2002, have been widely used in several areas of constrained nonlinear optimization. These methods treat optimization problem as bi-objective attempts to minimize the objective function and a continuous function that aggregates the constraint violation functions. Audet and Dennis have presented the rst lters method for derivative-free nonlinear programming, based on pattern search methods. Motivated by this work we have de- veloped a new direct search method, based on simplex methods, for general constrained optimization, that combines the features of the simplex method and lters method. This work presents a new variant of these methods which combines the lters method with other direct search methods and are proposed some alternatives to aggregate the constraint violation functions.

Self-adaptive combination of global tabu search and local search for nonlinear equations

Solving systems of nonlinear equations is a very important task since the problems emerge mostly through the mathematical modelling of real problems that arise naturally in many branches of engineering and in the physical sciences. The problem can be naturally reformulated as a global optimization problem. In this paper, we show that a self-adaptive combination of a metaheuristic with a classical local search method is able to converge to some difficult problems that are not solved by Newton-type methods.

Auditoria de resultados no Ministério da Defesa Nacional, ramo Exército

Trabalho de Projeto apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Auditoria, sob orientação do Dr. Rodrigo Carvalho e co-orientação do Major de Artilharia António Rabaço

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.