Reintroduced solids increase inhibitor levels in a pretreated corn stover hydrolysate

Following detoxification of the liquid hydrolysate produced in a corn stover pretreatment process, inhibitor levels are seen to increase with the re-addition of solids for the ensuing hydrolysis and fermentation processes. The solids that were separated from the slurry before detoxification of the liquor contain approx 60% (w/w) moisture, and contamination occurs owing to the diffusion of inhibitors from the moisture entrained in the porous structure of the corn stover solids into the bulk fluid. This evidence suggests the need for additional separation and detoxification steps to purge residual inhibitors entrained in the moisture in the solids. An overliming process to remove furans from the hydrolysate failed to reduce total organic acids concentration, so acids were removed by treatment with an activated carbon powder. Smaller carbon doses proved more efficient in removing organic acids in terms of grams of acid removed per gram of carbon powder. Sugar adsorption by the activated carbon powder was minimal.     

Determining Modes for Continuous Data Assimilation in 2D Turbulence

We study the number of determining modes necessary for continuous data assimilation in the two-dimensional incompressible Navier–Stokes equations. Our focus is on how the spatial structure of the body forcing affects the rate of continuous data assimilation and the number of determining modes. We treat this problem analytically by proving a convergence result depending on the H ^–1 norm of f and computationally by considering a family of forcing functions with identical Grashof numbers that are supported on different annuli in Fourier space. The rate of continuous data assimilation and the number of determining modes is shown to depend strongly on the length scales present in the forcing.     

A computational strategy for multiscale systems with applications to Lorenz 96 model

Numerical schemes for systems with multiple spatio-temporal scales are investigated. The multiscale schemes use asymptotic results for this type of systems which guarantee the existence of an effective dynamics for some suitably defined modes varying slowly on the largest scales. The multiscale schemes are analyzed in general, then illustrated on a specific example of a moderately large deterministic system displaying chaotic behavior due to Lorenz. Issues like consistency, accuracy, and efficiency are discussed in detail. The role of possible hidden slow variables as well as additional effects arising on the diffusive time-scale are also investigated. As a byproduct we obtain a rather complete characterization of the effective dynamics in Lorenz model.     

Domain decomposition for an asymptotic geological fault modeling

We present in this paper a domain decomposition method to treat faults in geological basin modeling. The particularity of this model is that the faults whose widths are very small in comparison with the basin size, are not characterized as subdomains any more but as interfaces between sedimentary blocks. The originality of this work lies in the formulation of this new fault model and in the definition and the computation of the interface conditions between the subdomains. To cite this article: E. Flauraud et al., C. R. Mecanique 331 (2003).     

A graph-theoretic approach to modeling metabolic pathways

Summary The metabolic pathways of medazepam, oxazepam, and diazepam were modeled using graph-theoretic transforms which are incorporable into computer-assisted metabolic analysis programs. The information, represented in the form of a graph-theoretic transform kit, which was obtained from these pathways was then used to predict the metabolites of other benzodiazepine compounds. The transform kits gave statistically significant predictions with respect to a statistical method for evaluating the performance of the transform kits.     

Local algorithms in exterior tomography

Exterior tomographic data are taken over lines outside a central region, and such data occur in the industrial nondestructive evaluation of large objects such as rockets. We explain, using microlocal analysis, which singularities are well reconstructed from exterior data, and we explain how this phenomenon is reflected in the singular value decomposition for the exterior transform [E.T. Quinto, Singular value decompositions and inversion methods for the exterior Radon transform and a spherical transform, J. Math. Anal. Appl. 95 (1983) 437–448]. We extend Lambda Tomography to exterior data and to limited angle exterior data. The algorithm is tested on industrial data from Perceptics, Inc.     

A note on scheduling to meet two min-sum objectives

We consider a single machine scheduling problem with two min-sum objective functions: the sum of completion times and the sum of weighted completion times. We propose a simple polynomial time (1+(1/γ),1+γ)-approximation algorithm, and show that for γ>1, there is no (x,y)-approximation with 1<x<1+(1/γ) and 1<y<1+(γ-1)/(2+γ).     

Du discret au continu pour des modèles de réseaux aléatoires d'atomes

We study in this Note the continuum (macroscopic) limit for some atomistic models for crystals. The purpose is to derive densities of mechanical energies from microscopic models. In contrast to the setting of a previous study, where the microscopic structure was assumed to be periodic, it is modelled here by a stochastic lattice, which enjoys some stationarity and ergodicity properties, following notions previously introduced elsewhere. To cite this article: X. Blanc et al., C. R. Acad. Sci. Paris, Ser. I 342 (2006).     

Computation of Autocorrelations of Interdeparture Times by Numerical Transform Inversion

The generating function of the autocorrelations of the interdeparture times in stationary M/G/1 and GI/M/1 systems involves the probability generating function of the number of customers served in a busy period. The latter function is implicitly determined as a solution to a functional equation. Standard methods for the numerical inversion of generating functions require the values of these functions at many complex arguments. A recently discovered substitution method for contour integrals allows the numerical inversion of implicitly determined generating functions without the numerical solution of the functional equations.     

Exploring the Link Between Preservice Teachers' Conception of Proof and the Use of Dynamic Geometry Software

This case study investigated how secondary preservice mathematics teachers perceive the need for and the benefits of formal proof when given geometric tasks in the context of dynamic geometry software. Results indicate that preservice teachers are concerned that after using dynamic software high school students will not see the need for proofs. The participants stated that multiple examples are not equivalent to a proof but, nonetheless, questioned the value of formal proof for high school students. Finally, preservice teachers found the greatest value of geometric software to be in helping students understand key relationships within a problem or theorem. Participants also tended to study a problem more deeply with the software than without it.