Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel

The Linux kernel does not export a stable, well-defined kernel interface, complicating the development of kernel-level services, such as device drivers and file systems. While there does exist a set of functions that are exported to external modules, this set of functions frequently changes, and the functions have implicit, ill-documented preconditions. No specific debugging support is provided. We present Diagnosys, an approach to automatically constructing a debugging interface for the Linux kernel. First, a designated kernel maintainer uses Diagnosys to identify constraints on the use of the exported functions. Based on this information, developers of kernel services can then use Diagnosys to generate a debugging interface specialized to their code. When a service including this interface is tested, it records information about potential problems. This information is preserved following a kernel crash or hang. Our experiments show that the generated debugging interface provides useful log information and incurs a low performance penalty.     

Multifidelity surrogate modeling based on radial basis functions

Multiple models of a physical phenomenon are sometimes available with different levels of approximation. The high fidelity model is more computationally demanding than the coarse approximation. In this context, including information from the lower fidelity model to build a surrogate model is desirable. Here, the study focuses on the design of a miniaturized photoacoustic gas sensor which involves two numerical models. First, a multifidelity metamodeling method based on Radial Basis Function, the co-RBF, is proposed. This surrogate model is compared with the classical co-kriging method on two analytical benchmarks and on the photoacoustic gas sensor. Then an extension to the multifidelity framework of an already existing RBF-based optimization algorithm is applied to optimize the sensor efficiency. The co-RBF method does not bring better results than co-kriging but can be considered as an alternative for multifidelity metamodeling.     

Adaptive records for volume irradiance caching

In this paper, we present a new irradiance caching scheme using Monte Carlo ray tracing for efficiently rendering participating media. The irradiance cache algorithm is extended to participating media. Our method allows to adjust the density of cached records depending on illumination changes. Direct and indirect contributions can be stored in the records but also multiple scattering. An adaptive shape of the influence zone of records, depending on geometrical features and irradiance variations, is introduced. To avoid a high density of cached records in low interest areas, a new method controls the density of the cache when adding new records. This record density control depends on the interpolation quality and on the photometric characteristics of the medium. Reducing the number of records accelerates both the computation pass and the rendering pass by decreasing the number of queries to the cache data structure (Kd-tree). Finally, instead of using an expensive ray marching to find records that cover the ray, we gather all the contributive records along the ray. With our method, pre-computing and rendering passes are significantly speeded-up.     

Indicators for choosing an optimal mix of major working postures

North American workers usually stand while working, and prolonged standing is associated with discomfort and cardiovascular problems. Since prolonged sitting is also associated with health problems, and standing postures differ as to mobility and access to seating, it is desirable to identify an optimal mix of postures. As a step towards this identification, it is desirable to develop indicators of potential health effects that respond to changes in work requirements. We observed 65 subjects who usually stood at work, in four types of workplaces. Pressure-pain threshold (PPT) recorded on the plantar surface was used as an indicator of discomfort and arterial blood pressure was used as an indicator of cardiovascular effects. PPT after work was significantly lower than that before work. Sitting for even a small part of the day appeared to be protective. The effects of static vs. dynamic work on PPT and arterial blood pressure may differ.     

Sufficiency conditions for existence of an optimal feedback control in stochastic mechanics

In the framework of stochastic mechanics, the following problem is considered: in a set of admissible feedback controls v, with range inE ⁿ , find one minimizing the expectationE _sx { _s ^T L(t, (t), (t, (t)))dt + W _T ((T))} for all (s, x) [0,T) E ⁿ , whereL(t, x, ) = (/12)m ² – U(t, x) is the classical action integrand and is an-dimensional diffusion process in the weak sense, (see Bensoussan, 1982) with drift and diffusion coefficientD constant > 0.W _T andU are given real functions. Sufficiency conditions for the existence of such an optimal feedback control are given. Dedicated to George Leitmann Recommended by G.J. Olsder Presented at the Third Workshop on Control Mechanics in honor of George Leitmann, January 22–24, 1990, University of Southern California, Los Angeles, California (USA).     

Environmental Fatigue and Static Behavior of RC Beams Strengthened with Carbon-Fiber-Reinforced Polymer

Many countries around the world have tremendous needs to repair and strengthen their transportation infrastructure. Almost everywhere, traffic loads have reached levels largely exceeding design expectations. Northern countries also experience severe winter conditions that are combined with an extensive use of deicing salts and accelerate structural deterioration. In Canada, the extent of deterioration has prompted many authorities, including the federal and provincial governments, to investigate the potential use of fiber-reinforced polymer products to extend the life of their existing structures. However, it is widely recognized that the large-scale implementation of these products is often impaired by the lack of data on their durability. This paper presents an experimental project undertaken in order to assess the durability of reinforced concrete beams externally strengthened with two types of carbon-fiber-reinforced polymer (CFRP). The beams were first exposed to either wet-dry cycles or continuous immersion in water and then were loaded in fatigue. Finally, they were tested quasi-statically under four-point bending up to failure. The test results presented here provide some insights on the potential long-term performance of CFRP-strengthened beams exposed to severe environmental conditions.     

Experimental investigation of the real-time micro-control of the WEDM process

The wire electrical discharge machining (WEDM) process has inherent instability due to its high complexity and stochastic characteristics. For more stable and efficient machining, the process must be actively controlled in real time while precisely determining the state of the instantaneous machining process. Feedback information when used in conjunction with an unstable discharge pulse ratio and instantaneous discharge energy can be applied to this micro-control system. This study presents the design and implementation of a system that fulfills these demands. Experimental results demonstrate that the proposed system is capable of simultaneously enhancing the machining stability, machining efficiency, and machining performance. For fine machining, the surface quality was enhanced by approximately 10 % without a loss of machining efficiency. Overall, both the feedrate and the surface roughness could be improved concurrently by more than 5 %.     

A study on the improvement of release application characteristics of pneumatic brakes for freight train

We have performed experimental studies for the improvements of pneumatic brake systems of freight trains. Currently, most of the freight trains operated by the Korean National Railroad have either empty-load or diaphragm type brake systems. In this study, appropriate methods that the air pressure characteristics in both type of brake systems are in accordance with each other have been investigated. We have also performed running tests using a 30 car-train set to design optimum capacity of a quick release valve. The test results show that the quick release valve is considerably effective in shortening the release time of the diaphragm type brake system. In the case of a normal brake application, the diaphragm type brake system with the quick release valve reduces the release time to 34% of that of the system without the quick release valve. This release time is almost equivalent to that of the empty-load type brake system. Accordance of braking performance in different types of brake systems in a train set is expected to prevent wheel flats and to reduce maintenance costs.     

Postconditioning by Delayed Administration of Ciclosporin A: Implication for Donation after Circulatory Death (DCD)

Heart transplantation is facing a shortage of grafts. Donation after Circulatory Death (DCD) would constitute a new potential of available organs. In the present work, we aimed to evaluate whether Postconditioning (ischemic or with ciclosporin-A (CsA)) could reduce ischemia-reperfusion injury in a cardiac arrest model when applied at the start of reperfusion or after a delay. An isolated rat heart model was used as a model of DCD. Hearts were submitted to a cardiac arrest of 40 min of global warm ischemia (37 °C) followed by 3 h of 4 °C-cold preservation, then 60 min reperfusion. Hearts were randomly allocated into the following groups: control, ischemic postconditioning (POST, consisting of two episodes each of 30 s ischemia and 30 s reperfusion at the onset of reperfusion), and CsA group (CsA was perfused at 250 nM for 10 min at reperfusion). In respective subgroups, POST and CsA were applied after a delay of 3, 10, and 20 min. Necrosis was lower in CsA and POST versus controls (p < 0.01) whereas heart functions were improved (p < 0.01). However, while the POST lost its efficacy if delayed beyond 3 min of reperfusion, CsA treatment surprisingly showed a reduction of necrosis even if applied after a delay of 3 and 10 min of reperfusion (p < 0.01). This cardioprotection by delayed CsA application correlated with better functional recovery and higher mitochondrial respiratory index. Furthermore, calcium overload necessary to induce mitochondrial permeability transition pore (MPTP) opening was similar in all cardioprotection groups, suggesting a crucial role of MPTP in this delayed protection of DCD hearts.     

Automatic code generator for higher order integrators

Some explicit algorithms for higher order symplectic integration of a large class of Hamilton’s equations have recently been discussed by Mushtaq et al. Here we present a Python program for automatic numerical implementation of these algorithms for a given Hamiltonian, both for double precision and multiprecision computations. We provide examples of how to use this program, and illustrate behavior of both the code generator and the generated solver module(s).