Plasma and lipoprotein fatty acid composition in glycogen storage disease type I

Nocturnal intragastric feeding has been shown to be an effective means to improve clinical and biochemical features in glycogen storage disease type I (GSD-I). In this study, we investigated the fatty acid patterns in a whole plasma and in circulating lipoproteins in patients on this therapy. The results demonstrated massive concentration of total fatty acids coupled with higher levels of triglycerides, free cholesterol, cholesterol ester and phospholipids. This hyperlipidemia involved all fatty acids without distinction of carbon or bond numbers. However, the increase was more pronounced for saturated than polyunsaturated fatty acids, as was demonstrated by the ratios of both oleic acid to linoleic acid (1.91±0.40 vs 0.80±0.09 in controls) and of ω3+ω6 to ω9 fatty acid families (0.92±0.11 vs 1.66±0.08 in controls). The fatty acid patterns in very low (VLDL), low (LDL) and high (HDL) density lipoprotein showed substantial differences in composition, reflecting an association between an abnormal lipoprotein pattern and essential fatty acid deficiency. Furthermore, GSD-I patients exhibited a significant increase in VLDL (17±2 vs 47±7 mg/dl) and LDL cholesterol (124±7 vs 206±24 mg/dl), coupled with a decrease in HDL cholesterol (49±4 vs 28±3 mg/dl). These data documenting high LDL cholesterol and low HDL cholesterol associated with an increased concentration and proportion of saturated fatty acids suggest that GSD-I patients on nocturnal intragastric feeding are at high risk for atherosclerosis and its complications.     

A memetic algorithm to solve an unrelated parallel machine scheduling problem with auxiliary resources in semiconductor manufacturing

In this paper, we propose a metaheuristic for solving an original scheduling problem with auxiliary resources in a photolithography workshop of a semiconductor plant. The photolithography workshop is often a bottleneck, and improving scheduling decisions in this workshop can help to improve indicators of the whole plant. Two optimization criteria are separately considered: the weighted flow time (to minimize) and the number of products that are processed (to maximize). After stating the problem and giving some properties on the solution space, we show how these properties help us to efficiently solve the problem with the proposed memetic algorithm, which has been implemented and tested on large generated instances. Numerical experiments show that good solutions are obtained within a reasonable computational time.     

Extracting Microfacet‐based BRDF Parameters from Arbitrary Materials with Power Iterations

We introduce a novel fitting procedure that takes as input an arbitrary material, possibly anisotropic, and automatically converts it to a microfacet BRDF. Our algorithm is based on the property that the distribution of microfacets may be retrieved by solving an eigenvector problem that is built solely from backscattering samples. We show that the eigenvector associated to the largest eigenvalue is always the only solution to this problem, and compute it using the power iteration method. This approach is straightforward to implement, much faster to compute, and considerably more robust than solutions based on nonlinear optimizations. In addition, we provide simple conversion procedures of our fits into both Beckmann and GGX roughness parameters, and discuss the advantages of microfacet slope space to make our fits editable. We apply our method to measured materials from two large databases that include anisotropic materials, and demonstrate the benefits of spatially varying roughness on texture mapped geometric models.     

The making of the Xian terra‐cotta soldiers

Abstract

This paper describes the making of a short film on the Xian terra‐cotta soldiers using our integrated HU‐MANOID software. The method of creating and animating the soldiers’ faces is first presented. Then, we show how our approach, based on metaballs and spline surfaces, was used for designing and deforming soldiers’ bodies. For the animation of the bodies, we describe the motion control methods. Clothes for the soldiers are then described as well as horses and decor design. For the rendering, we explained our strategy using parallel machines. Finally, problems of integration are addressed.     

Synchronized switch harvesting applied to self-powered smart systems: Piezoactive microgenerators for autonomous wireless receivers

This paper introduces the conceptual architecture of a fully integrated, truly self-powered structural health monitoring (SHM) scheme. The challenge here is to power an array of numerous distributed actuators and sensors as well as wireless data transmission modules without recurring to heavy and costly wiring. Based on microgenerators which directly convert ambient mechanical energy into electrical energy, using the synchronized switch harvesting (SSH) method, the proposed solution allows avoiding the periodic replacement or reloading of batteries. This addresses environmental and economic issues at the same time, knowing that such elements are heavy, polluting and might be installed in rather inaccessible locations. Indeed, especially in airborne structures saving weight and maintenance cost is of priority importance.Previous work showed that such microgenerators provide a stand-alone power source, whose performances meet the requirements of autonomous wireless transmitters (AWTs) that comprise an acoustic Lamb wave's actuator and a radio frequency (RF) emitter (D. Guyomar, Y. Jayet, L. Petit, E. Lefeuvre, T. Monnier, C. Richard, M. Lallart, Synchronized switch harvesting applied to self-powered smart systems: Piezoactive microgenerators for autonomous wireless transmitters, Sens Actuators A: Phys. 138 (1) (2007) 151–160, doi:10.1016/j.sna.2007.04.009). Following this work, the present contribution presents a further step towards the integration of the SHM technique. It shows the ability of our microgenerators to provide enough energy to give logical autonomy to each self-powered sensing node, named autonomous wireless receiver (AWR), and thus to provide some local (decentralized) pre-processing ability to the SHM system.A preliminary design of the device using off-the-shelf electronics and surface mounted piezoelectric patches will be presented. Since the existence of a positive energy balance between the harvesting capabilities of the SSH technique and the energy requirements of the proposed device will be proved, the system formed by the combination of the AWR with the previously developed AWT, is a proof of concept of truly self-powered smart systems for damage detection in simple structures, setting apart application-specific optimization or miniaturization concerns that will be addressed in future works.     

Combination of convex theories: Modularity,deduction completeness,and explanation

Decision procedures are key components of theorem provers and constraint satisfaction systems. Their modular combination is of prime interest for building efficient systems, but their effective use is often limited by poor interface capabilities, when such procedures only provide a simple “sat/unsat” answer. In this paper, we develop a framework to design cooperation schemas between such procedures while maintaining modularity of their interfaces. First, we use the framework to specify and prove the correctness of classic combination schemas by Nelson–Oppen and Shostak. Second, we introduce the concept of deduction complete satisfiability procedures, we show how to build them for large classes of theories, then we provide a schema to modularly combine them. Third, we consider the problem of modularly constructing explanations for combinations by re-using available proof-producing procedures for the component theories.     

Regaining cut admissibility in deduction modulo using abstract completion

Deduction modulo is a way to combine computation and deduction in proofs, by applying the inference rules of a deductive system (e.g. natural deduction or sequent calculus) modulo some congruence that we assume here to be presented by a set of rewrite rules. Using deduction modulo is equivalent to proving in a theory corresponding to the rewrite rules, and leads to proofs that are often shorter and more readable. However, cuts may be not admissible anymore.We define a new system, the unfolding sequent calculus, and prove its equivalence with the sequent calculus modulo, especially w.r.t. cut-free proofs. It permits to show that it is even undecidable to know if cuts can be eliminated in the sequent calculus modulo a given rewrite system.Then, to recover the cut admissibility, we propose a procedure to complete the rewrite system such that the sequent calculus modulo the resulting system admits cuts. This is done by generalizing the Knuth–Bendix completion in a non-trivial way, using the framework of abstract canonical systems.These results enlighten the entanglement between computation and deduction, and the power of abstract completion procedures. They also provide an effective way to obtain systems admitting cuts, therefore extending the applicability of deduction modulo in automated theorem proving.     

Experimental analysis and numerical modelling of the forming process of polypropylene replicas of micro-cavities using hot embossing

Numerical modelling of the deformation of a polymer using the finite elements method in axisymetrical mode was performed using the LsDyna^® software to describe the filling of micro-cavities during the forming process of the material using the hot embossing. These simulations firstly allow verifying whether the chosen forming process conditions promote or not an optimized filling of the superficial cavities in order to achieve precise replicas which best reproduce the superficial topography of the mould. The simulations were carried out to evaluate the filling of the cavities taking into account the mechanical behaviour of the selected polymer into the model. Moreover, these models were developed to verify the effect of the distribution of the mould cavities on their filling. The influence of the mobility of non deformable rigid plates on the filling of the cavities represents an auxiliary variable. In the approach presented, the compression plates are assumed to be parallel and non deformable, whereas the polymer disk follows a rubbery behaviour around a temperature equal to 140°C. Globally the modelling results are satisfactory for they are rather close to the experimental observations conducted. In summary, the effect of the normal stress as also the distribution of micro-cavities at the mould surface seem to prevail in the case of the forming process by hot embossing.