Total coloring of 1-toroidal graphs of maximum degree at least 11 and no adjacent triangles

A {\em total coloring} of a graph $G$ is an assignment of colors to the vertices and the edges of $G$ such that every pair of adjacent/incident elements receive distinct colors. The {\em total chromatic number} of a graph $G$, denoted by \chiup''(G), is the minimum number of colors in a total coloring of $G$. The well-known Total Coloring Conjecture (TCC) says that every graph with maximum degree $\Delta$ admits a total coloring with at most $\Delta + 2$ colors. A graph is {\em $1$-toroidal} if it can be drawn in torus such that every edge crosses at most one other edge. In this paper, we investigate the total coloring of $1$-toroidal graphs, and prove that the TCC holds for the $1$-toroidal graphs with maximum degree at least~$11$ and some restrictions on the triangles. Consequently, if $G$ is a $1$-toroidal graph with maximum degree $\Delta$ at least~$11$ and without adjacent triangles, then $G$ admits a total coloring with at most $\Delta + 2$ colors.Comment: 10 page

Evaluation of Directive-Based GPU Programming Models on a Block Eigensolver with Consideration of Large Sparse Matrices

Achieving high performance and performance portability for large-scale scientific applications is a major challenge on heterogeneous computing systems such as many-core CPUs and accelerators like GPUs. In this work, we implement a widely used block eigensolver, Locally Optimal Block Preconditioned Conjugate Gradient (LOBPCG), using two popular directive based programming models (OpenMP and OpenACC) for GPU-accelerated systems. Our work differs from existing work in that it adopts a holistic approach that optimizes the full solver performance rather than narrowing the problem into small kernels (e.g., SpMM, SpMV). Our LOPBCG GPU implementation achieves a 2.8$${\times }$$–4.3$${\times }$$ speedup over an optimized CPU implementation when tested with four different input matrices. The evaluated configuration compared one Skylake CPU to one Skylake CPU and one NVIDIA V100 GPU. Our OpenMP and OpenACC LOBPCG GPU implementations gave nearly identical performance. We also consider how to create an efficient LOBPCG solver that can solve problems larger than GPU memory capacity. To this end, we create microbenchmarks representing the two dominant kernels (inner product and SpMM kernel) in LOBPCG and then evaluate performance when using two different programming approaches: tiling the kernels, and using Unified Memory with the original kernels. Our tiled SpMM implementation achieves a 2.9$${\times }$$ and 48.2$${\times }$$ speedup over the Unified Memory implementation on supercomputers with PCIe Gen3 and NVLink 2.0 CPU to GPU interconnects, respectively

Modeling of a gas concentration measurement system

Energy expenditure can be calculated via measurement of oxygen consumption and carbon dioxide production. Precise measurement of expired gas concentrations and volume is required for this determination. For a given gas concentration measurement system, the establishment of a model is a good way to effectively use the equipments and achieve more accurate energy expenditure calculations. This paper proposes a simple but effective approach for the modeling of a gas concentration measurement system. © 2005 IEEE

Estimation of oxygen consumption for moderate exercises by using a hammerstein model

This paper aims to establish block-structured nonlinear model (Hammerstein model) to predict oxygen uptake during moderate treadmill exercises. In order to model the steady state relationship between oxygen uptake (oxygen consumption) and walking speed, six healthy male subjects walked on a motor driven treadmill at six different speed (2,3,4,5,6, and 7 km/h). The averaged oxygen uptake of exercisers at steady state was measured by a mixing chamber based gas analyzer(AEI Moxus Metabolic Cart). Based on these reliable experiment data, a nonlinear static function was obtained by using Support Vector Regression. In order to capture the dynamics of oxygen uptake, a suitable Pseudo Random Binary Signal (PRBS) input was designed and implemented on a computer controlled treadmill. Breath by breath analysis of all exercisers' dynamic responses (PRBS responses) to treadmill walking was performed. A useful ARX model is identified to justify the measured oxygen uptake dynamics within the aerobic range. Finally, a Hammerstein is achieved, which is useful for the control system design of oxygen uptake regulation during treadmill exercises. © 2006 IEEE

Direct laser acceleration of electrons assisted by strong laser-driven azimuthal plasma magnetic fields.

A high-intensity laser beam propagating through a dense plasma drives a strong current that robustly sustains a strong quasistatic azimuthal magnetic field. The laser field efficiently accelerates electrons in such a field that confines the transverse motion and deflects the electrons in the forward direction. Its advantage is a threshold rather than resonant behavior, accelerating electrons to high energies for sufficiently strong laser-driven currents. We study the electron dynamics via a test-electron model, specifically deriving the corresponding critical current density. We confirm the model's predictions by numerical simulations, indicating energy gains two orders of magnitude higher than achievable without the magnetic field

Identification and control for heart rate regulation during treadmill exercise

This paper proposes a novel integrated approach for the identification and control of Hammerstein systems to achieve desired heart rate profile tracking performance for an automated treadmill system. For the identification of Hammerstein systems, the pseudorandom binary sequence input is employed to decouple the identification of dynamic linear part from input nonlinearity. The powerful ε-insensitivity support vector regression method is adopted to obtain sparse representations of the inverse of static nonlinearity in order to obtain an approximate linear model of the Hammerstein system. An H ∞ controller is designed for the approximated linear model to achieve robust tracking performance. This new approach is successfully applied to the design of a computer-controlled treadmill system for the regulation of heart rate during treadmill exercise. Minimizing deviations of heart rate from a preset profile is achieved by controlling the speed of the treadmill. Both conventional proportional-integral-derivative (PID) control and the proposed approaches have been employed for the controller design. The proposed algorithm achieves much better heart rate tracking performance. © 2007 IEEE

A nonlinear dynamic model for heart rate response to treadmill walking exercise

A dynamic model of the heart rate response to treadmill walking exercise is presented. The model is a feedback interconnected system; the subsystem in the forward path represents the neural response to exercise, while the subsystem in the feedback path describes the peripheral local response. The parameters of the model were estimated from 5 healthy adult male subjects, each undertaking 3 sets of walking exercise at different speeds. Simulated responses from the model closely match the experimental data both in the exercise and the recovery phases. The model will be useful in explaining the cardiovascular response to exercise and in the design of exercise protocols for individuals. © 2007 IEEE

Exercise rate estimation using a triaxial accelerometer

In this paper, we propose an algorithm for the estimation of exercise rate during a variety of exercises by using measurements from triaxial accelerometry. The algorithm involves the detection of the periodicity of the body's accelerations, and the detected periods are then fused to form an estimate of exercise rate. Experimental results demonstrate that the algorithm is effective in different modes of exercise. The proposed algorithm will be useful in monitoring training exercises for healthy individuals and rehabilitation exercises for cardiac patients. ©2009 INSTICC - Institute for Systems and Technologies of Information, Control and Communication

A Rule-Based Approach to Analyzing Database Schema Objects with Datalog

Database schema elements such as tables, views, triggers and functions are typically defined with many interrelationships. In order to support database users in understanding a given schema, a rule-based approach for analyzing the respective dependencies is proposed using Datalog expressions. We show that many interesting properties of schema elements can be systematically determined this way. The expressiveness of the proposed analysis is exemplarily shown with the problem of computing induced functional dependencies for derived relations. The propagation of functional dependencies plays an important role in data integration and query optimization but represents an undecidable problem in general. And yet, our rule-based analysis covers all relational operators as well as linear recursive expressions in a systematic way showing the depth of analysis possible by our proposal. The analysis of functional dependencies is well-integrated in a uniform approach to analyzing dependencies between schema elements in general.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

Heart rate control during treadmill exercise

A computer-controlled treadmill and related data collection and processing systems have been developed for the control of heart rate during treadmill exercise. Minimizing deviations of heart rate from a preset profile is achieved by controlling the speed and/or the gradient of the treadmill. A simple and practical heart rate measurement algorithm has been developed to robustly measure the variations of heart rate. Both conventional Proportional-Integral- Derivative (PID) control and fuzzy Proportional-Integral (PI) control approaches have been employed for the controller design. The fuzzy Proportional-Integral algorithm achieved better heart rate tracking performance. Finally, a heart rate based exercising protocol was successfully implemented on the newly designed exercise system. © 2005 IEEE