Constraint Programming-based Job Dispatching for Modern HPC Applications

A High-Performance Computing job dispatcher is a critical software that assigns the finite computing resources to submitted jobs. This resource assignment over time is known as the on-line job dispatching problem in HPC systems. The fact the problem is on-line means that solutions must be computed in real-time, and their required time cannot exceed some threshold to do not affect the normal system functioning. In addition, a job dispatcher must deal with a lot of uncertainty: submission times, the number of requested resources, and duration of jobs. Heuristic-based techniques have been broadly used in HPC systems, at the cost of achieving (sub-)optimal solutions in a short time. However, the scheduling and resource allocation components are separated, thus generates a decoupled decision that may cause a performance loss. Optimization-based techniques are less used for this problem, although they can significantly improve the performance of HPC systems at the expense of higher computation time. Nowadays, HPC systems are being used for modern applications, such as big data analytics and predictive model building, that employ, in general, many short jobs. However, this information is unknown at dispatching time, and job dispatchers need to process large numbers of them quickly while ensuring high Quality-of-Service (QoS) levels. Constraint Programming (CP) has been shown to be an effective approach to tackle job dispatching problems. However, state-of-the-art CP-based job dispatchers are unable to satisfy the challenges of on-line dispatching, such as generate dispatching decisions in a brief period and integrate current and past information of the housing system. Given the previous reasons, we propose CP-based dispatchers that are more suitable for HPC systems running modern applications, generating on-line dispatching decisions in a proper time and are able to make effective use of job duration predictions to improve QoS levels, especially for workloads dominated by short jobs.

Addressing challenges in heterogeneous embedded systems programming: security and performance

Embedded systems are increasingly integral to daily life, improving and facilitating the efficiency of modern Cyber-Physical Systems which provide access to sensor data, and actuators. As modern architectures become increasingly complex and heterogeneous, their optimization becomes a challenging task. Additionally, ensuring platform security is important to avoid harm to individuals and assets. This study primarily addresses challenges in contemporary Embedded Systems, focusing on platform optimization and security enforcement. The initial section of this study delves into the application of machine learning methods to efficiently determine the optimal number of cores for a parallel RISC-V cluster to minimize energy consumption using static source code analysis. Results demonstrate that automated platform configuration is not only viable but also that there is a moderate performance trade-off when relying solely on static features. The second part focuses on addressing the problem of heterogeneous device mapping, which involves assigning tasks to the most suitable computational device in a heterogeneous platform for optimal runtime. The contribution of this section lies in the introduction of novel pre-processing techniques, along with a training framework called Siamese Networks, that enhances the classification performance of DeepLLVM, an advanced approach for task mapping. Importantly, these proposed approaches are independent from the specific deep-learning model used. Finally, this research work focuses on addressing issues concerning the binary exploitation of software running in modern Embedded Systems. It proposes an architecture to implement Control-Flow Integrity in embedded platforms with a Root-of-Trust, aiming to enhance security guarantees with limited hardware modifications. The approach involves enhancing the architecture of a modern RISC-V platform for autonomous vehicles by implementing a side-channel communication mechanism that relays control-flow changes executed by the process running on the host core to the Root-of-Trust. This approach has limited impact on performance and it is effective in enhancing the security of embedded platforms.

Biased Random-key Genetic Algorithms For The Winner Determination Problem In Combinatorial Auctions.

Abstract In this paper, we address the problem of picking a subset of bids in a general combinatorial auction so as to maximize the overall profit using the first-price model. This winner determination problem assumes that a single bidding round is held to determine both the winners and prices to be paid. We introduce six variants of biased random-key genetic algorithms for this problem. Three of them use a novel initialization technique that makes use of solutions of intermediate linear programming relaxations of an exact mixed integer-linear programming model as initial chromosomes of the population. An experimental evaluation compares the effectiveness of the proposed algorithms with the standard mixed linear integer programming formulation, a specialized exact algorithm, and the best-performing heuristics proposed for this problem. The proposed algorithms are competitive and offer strong results, mainly for large-scale auctions.

Avoiding Pitfalls Of Intraoperative Peripheral Endovascular Surgery With The Aid Of Osirix: Expanding The Use Of Virtual Fluoroscopy.

We have shown how the analysis of the angiotomography reconstruction through OsiriX program has assisted in endovascular perioperative programming. We presented its application in situations when an unexpected existence of metallic overlapping artifact (orthopedic osteosynthesis) compromised the adequate visualization of the arterial lesion during the procedure. Through manipulation upon OsiriX software, with assistance of preview under virtual fluoroscopy, it was possible to obtain the angles that would avoid this juxtaposition. These angles were reproduced in the C-arm, allowing visualization of the occluded segment, reducing the need for repeated image acquisitions and contrast overload, allowing the continuation of the procedure.

Projeto de um cortador de base para colhedora de cana-de-açúcar utilizando otimização matemática

A base-cutter represented for a mechanism of four bars, was developed using the Autocad program. The normal force of reaction of the profile in the contact point was determined through the dynamic analysis. The equations of dynamic balance were based on the laws of Newton-Euler. The linkage was subject to an optimization technique that considered the peak value of soil reaction force as the objective function to be minimized while the link lengths and the spring constant varied through a specified range. The Algorithm of Sequential Quadratic Programming-SQP was implemented of the program computational Matlab. Results were very encouraging; the maximum value of the normal reaction force was reduced from 4,250.33 to 237.13 N, making the floating process much less disturbing to the soil and the sugarcane rate. Later, others variables had been incorporated the mechanism optimized and new otimization process was implemented .

Modelo de programação quadrática para análise da movimentação logística e comercialização da soja brasileira

The purpose of this work was to analyze the logistical distribution of Brazilian soybean by applying a quadratic programming to a spatial equilibrium model. The soybean transportation system is an important part of the soybean complex in Brazil, since the major part of the costs of this commodity derives from the transportation costs. Therefore, the optimization of this part of the process is essential to a better competitiveness of the Brazilian soybean in the international market. The Brazilian soybean complex have been increasing its agricultural share in the total of the exportation value in the last ten years, but due to other countries' investments the Brazilian exportations cannot be only focused on increasing its production but it still have to be more efficient. This way, a model was reached which can project new frames by switching the transportation costs and conduce the policy makers to new investments in the sector.

Programação esportiva na TV Brasil : a influência da ideologia e indústria cultural

Universidade Estadual de Campinas . Faculdade de Educação Física

Socorros de urgencia e a preparação do profissional de Educação Fisica

Universidade Estadual de Campinas. Faculdade de Educação Física

Pode a atividade física materna modular a programação fetal induzida pela nutrição?

Existe considerável evidência para a indução de diferentes fenótipos em reposta às variações no ambiente fetal e neonatal. O aporte inadequado de nutrientes no período crítico do desenvolvimento está associado ao risco alto de doenças metabólicas na vida adulta, este fenômeno biológico é chamado de programação. A atividade física durante a gestação resulta em adaptações fisiológicas da mãe e no aumento da disponibilidade de nutrientes e oxigênio no espaço feto-placentário. Este trabalho tem como objetivo discutir os mecanismos da indução de programação fetal pela nutrição e o provável efeito modulador da atividade física durante a gestação. Foram utilizadas as bases de dados do Medline Pubmed, Lilacs e Bireme, com publicações entre 1990 até 2008. Os termos de indexação utilizados foram: nutrition, fetal programming, gestation, physical activity, physical exercise, metabolism. Em conclusão, o aporte inadequado de nutrientes programa o aparecimento de doenças metabólicas na vida adulta, enquanto que a atividade física durante a gestação aumenta a disponibilidade de nutrientes e oxigênio, repercutindo positivamente no crescimento fetal e no peso ao nascer.

Using sentinels to detect intersections of convex and nonconvex polygons

We describe finite sets of points, called sentinels, which allow us to decide if isometric copies of polygons, convex or not, intersect. As an example of the applicability of the concept of sentinel, we explain how they can be used to formulate an algorithm based on the optimization of differentiable models to pack polygons in convex sets. Mathematical subject classification: 90C53, 65K05.

Relationship between birthweight and arterial elasticity in childhood

There is a considerable debate about the potential influence of fetal programming on cardiovascular diseases in adulthood. In the present prospective epidemiological cohort study, the relationship between birthweight and arterial elasticity in 472 children between 5 and 8 years of age was assessed. LAEI (large artery elasticity index), SAEI (small artery elasticity index) and BP (blood pressure) were assessed using the HDI/PulseWave CR-2000 CardioVascular Profiling System. Blood concentrations of glucose, total cholesterol and its fractions [LDL (low-density lipoprotein)-cholesterol and HDL (high-density lipoprotein)-cholesterol] and triacylglycerols (triglycerides) were determined by automated enzymatic methods. Insulin was assessed by a chemiluminescent method, insulin resistance by HOMA (homoeostasis model assessment) and CRP (C-reactive protein) by immunonephelometry. Two linear regression models were applied to investigate the relationship between the outcomes, LAEI and SAEI, and the following variables: birthweight, gestational age, glucose, LDL-cholesterol, HDL-cholesterol, triacylglycerols, insulin, CRP, HOMA, age, gender, waist circumference, per capita income, SBP (systolic BP) and DBP (diastolic BP). LAEI was positively associated with birthweight (P=0.036), waist circumference (P<0.001) and age (P<0.001), and negatively associated with CRP (P=0.024) and SBP (P<0.001). SAEI was positively associated with birthweight (P=0.04), waist circumference (P=0.001) and age (P<0.001), and negatively associated with DBP (P<0.001). Arterial elasticity was decreased in apparently healthy children who had lower birthweights, indicating an earlier atherogenetic susceptibility to cardiovascular diseases in adolescence and adult life. Possible explanations for the results include changes in angiogenesis during critical phases of intrauterine life caused by periods of fetal growth inhibition and local haemodynamic anomalies

The influence of birthweight on arterial blood pressure of children

Background & aims.This study examined the relationship between birthweight and blood pressure in childhood. Methods.Prospective cohort study involving 472 Brazilian children ranging in age from 5 to 8 years. Birthweight, systolic blood pressure (SBP), diastolic blood pressure (DBP), body mass index (BMI), total cholesterol and fractions (LDL-c, HDL-c), and triglycerides were determined. Total cholesterol, LDL-c, HDL-c, and triglycerides were assessed by automated enzymatic methods. Blood pressure was measured with the HDI/Pulse Wave™ CR-2000 equipment. Multiple regression models were used to investigate the relationship between birthweight and SBP and DBP, controlling for the following variables: gender, age, BMI, total cholesterol, triglycerides, per capita income, and maternal education. Results.When adjusting for gender and BMI, we found a systolic blood pressure increase of 2.9 (95per cent CI = −5.33 to −0.56) mmHg per kilogram birthweight reduction. The unadjusted association was insignificant. Conclusion.Our data suggest that low birthweight is one of the factors contributing to blood pressure elevation at early ages. A way to prevent these diseases is by implementing public policies focused on good nutrition and adequate prenatal care for pregnant women

The relationship between cortisol concentrations in pregnancy and systemic vascular resistance in childhood

Objective. To assess the relationship between cortisol concentrations in the last trimester of pregnancy and systemic vascular resistance — SVR in childhood. Materials and methods. This study is part of a cohort involving 130 Brazilian pregnant women and their children, ages 5 to 7 years. Maternal cortisol was determined in saliva by an enzyme immunoassay utilizing the mean concentration of 9 samples of saliva (3 in each different day), collected at the same time, early in the morning. SVR was assessed by the HDI/PulseWave CR-2000 Cardiovascular Profiling System®. Socioeconomic and demographic characteristics and life style factors were determined by a questionnaire. The nutritional status of the women and children was assessed by the body mass index — BMI. The association between maternal cortisol and SVR in childhood was calculated by multivariate linear regression analysis. Results.There were statistically significant associations between maternal cortisol and SVR (p = 0.043) and BMI-z score of the children (p = 0.027), controlling for maternal BMI, birth weight, age, and gender of the children. Conclusion. As far as we know this is the first study in the literature assessing the association between cortisol concentrations in pregnancy and SVR in childhood. Overall, the data suggest that exposure to excess glucocorticoid in the prenatal period is associated to vascular complications in childhood, predisposing to cardiovascular diseases in later life

Gênero, saúde materna e o paradoxo perinatal

Nos últimos 20 anos, houve uma melhoria de praticamente todos os indicadores da saúde materna no Brasil, assim como grande ampliação do acesso aos serviços de saúde. Paradoxalmente, não há qualquer evidência de melhoria na mortalidade materna. Este texto tem como objetivo trazer elementos para a compreensão deste paradoxo, através do exame dos modelos típicos de assistência ao parto, no SUS e no setor privado. Analisaremos as propostas de mudança para uma assistência mais baseada em evidências sobre a segurança destes modelos, sua relação com os direitos das mulheres, e com os conflitos de interesse e resistências à mudança dos modelos. Examinamos os pressupostos de gênero que modulam a assistência e os vieses de gênero na pesquisa neste campo, expressos na superestimação dos benefícios da tecnologia, e na subestimação ou na negação dos desconfortos e efeitos adversos das intervenções. Crenças da cultura sexual não raro são tidas como explicações 'científicas' sobre o corpo, a parturição e a sexualidade, e se refletem na imposição de sofrimentos e riscos desnecessários, nas intervenções danosas à integridade genital, e na negação do direito a acompanhantes. Esta 'pessimização do parto' é instrumental para favorecer, por comparação, o modelo da cesárea de rotina. Por fim, discutimos como o uso da categoria gênero pode contribuir para promover direitos e mudanças institucionais, como no caso dos acompanhantes no parto

The right to screens: from media education to educommunication in Brazil

Social organizations, local governments and the media in Brazil are confronting them, selves over the need for an oversight board to guarantee quality television programming, and establishing a system to determine which television programs are appropriate for which television time slots. Across Brazil, a representative body of children and young adults have determined that the right to receive quality programming is not currently being met. Children of the new generation see themselves as having a right to access new technologies which enable them to produce their own messages according to their own creativity, interests, and social participation. This new generation wants to go beyond education in order to watch and conquer their ""right to screens"".