Inverse identification of constitutive parameters from heat source fields: A local approach applied to hyperelasticity

In this paper, a new inverse identification method of constitutive parameters is developed from full kinematic and thermal field measurements. It consists in reconstructing the heat source field from two different approaches by using the heat diffusion equation. The first one requires the temperature field measurement and the value of the thermophysical parameters. The second one is based on the kinematic field measurement and the choice of a thermo-hyperelastic model that contains the parameters to be identified. The identification is carried out at the local scale, ie, at any point of the heat source field, without using the boundary conditions. In the present work, the method is applied to the challenging case of hyperelasticity from a heterogeneous test. Due to large deformations undergone by the rubber specimen tested, a motion compensation technique is developed to plot the kinematic and the thermal fields at the same points before reconstructing the heterogeneous heat source field. In the present case, the constitutive parameter of the Neo-Hookean model has been identified, and its distribution has been characterized with respect to the strain state at the surface of a cross-shaped specimen.     

Canadian research activity in aquaculture: A bibliometric analysis

Analysis of the Canadian publications in the field of aquaculture reveals that Canada is one of the word's major contributors in this area. This confirms that Canada's expertise in science and technology often finds its stimulus in its resource-based industries. Several bibliometric indicators were used to enlighten the peculiar features of the Canadian research system. These include the channels of communication used by scientists, the authorship pattern, the level of collaboration, the identification of the institutions in which the research is performed and the uneven research effort distribution inside the country. The relevance of such quantitative measures for science policy-making is emphasized. The present study shows how bibliometric analysis, by describing the actual strengths and weaknesses of Canadian research and identifying the agents of this research activity, might foster a better understanding of the Canadian research enterprise as a whole.     

Coverage-biased random exploration of large models and application to testing

This paper presents several randomised algorithms for generating paths in large models according to a given coverage criterion. Using methods for counting combinatorial structures, these algorithms can efficiently explore very large models, based on a graphical representation by an automaton or by a product of several automata. This new approach can be applied to random exploration in order to optimise path coverage and can be generalised to take into account other coverage criteria, via the definition of a notion of randomised coverage satisfaction. Our main contributions are a method for drawing paths uniformly at random in composed models, i.e. models that are given as products of automata, first without and then with synchronisation; a new efficient approach to draw paths at random taking into account some other coverage criterion. Experimental results show promising agreement with theoretical predictions and significant improvement over previous randomised approaches. This work opens new perspectives for future studies of statistical testing and model checking, mainly to fight the combinatorial explosion problem.     

Comparison of a contactor catalytic membrane reactor with a conventional reactor: example of wet air oxidation

A wet air oxidation reaction was carried out in a gas/liquid catalytic membrane reactor of the contactor type. The oxidation of formic acid was used as a model reaction. The mesoporous top-layer of a ceramic tubular membrane was used as catalyst (Pt) support, and was placed at the interface of the gas (air) and liquid (HCOOH solution) phases.

A similar reaction was carried out in a conventional batch reactor, using a steering rate high enough to avoid gas-diffusion limitations, and exactly identical conditions than for the CMR (amount of catalyst, pressure, etc.). At room temperature, the CMR showed an initial activity three to six times higher than the conventional reactor. This activity increase was attributed to an easier oxygen access to the catalytic sites. Nevertheless, the catalytic membrane gradually deactivated after a few hours of operation. Different deactivation mechanisms are presented.     

Self-Propagating High-Temperature Synthesis of Ti3SiC2: Study of the Reaction Mechanisms by Time-Resolved X-Ray Diffraction and Infrared Thermography

Ti₃SiC₂ is synthesized by self-propagating high-temperature synthesis (SHS) of elemental titanium, silicon, and graphite powders. The reaction paths and structure evolution are studied in situ during the SHS of the 3Ti+Si+2C mixture by time-resolved X-ray diffraction coupled with infrared thermography. The proposed reaction mechanism suggests that Ti₃SiC₂ might be formed from Ti–Si liquid phase and solid TiC _x . Finally, the effect of the powders starting composition on the Ti₃SiC₂ synthesis is studied. For the investigated initial mixtures, TiC _x is always formed as a major impurity together with the Ti₃SiC₂ phase.     

Effects of the sintering atmosphere on Nb-based dielectrics

The effects of a forming atmosphere on the stability, the sintering and the dielectric properties of Ba₅Nb₄O₁₅, BaNb₂O₆, ZnNb₂O₆ and Zn₃Nb₂O₈ ceramics were investigated, because of the primary importance of the sintering atmosphere in relation to copper sintering. These Nb-based materials were sintered in air and in Ar/H₂10%. Zn-containing samples are very sensitive to the reductive atmosphere. ZnO volatilises at 800–850 °C and the resulting compound does not exhibit the expected properties. BaNb₂O₆ and Ba₅Nb₄O₁₅ are more stable in term of relative weight loss. Nevertheless, the phase analysis reveals a modification of the BaNb₂O₆ phase, what induces the degradation of the dielectric property stability versus temperature. The properties of Ba₅Nb₄O₁₅ are not modified by a sintering in reductive atmosphere. A relative permittivity of 38.8, a permittivity temperature coefficient of −150 ppm °C⁻¹ and an insulating resistivity of 10^10.9 Ω cm were obtained for this latter.     

The Failure of the Strong Pumping Lemma for Multiple Context-Free Languages

Seki et al. (Theor. Comput. Sci. 88(2):191–229, 1991) showed that every m-multiple context-free language L is weakly 2m-iterative in the sense that either L is finite or L contains a subset of the form \(\{ u_{0} w_{1}^{i} u_{1} \cdots w_{2m}^{i} u_{2m} \mid i \in \mathbb {N}\}\) , where w ₁?w _2n ≠ε. Whether every m-multiple context-free language L is 2m-iterative, that is to say, whether all but finitely many elements z of L can be written as z=u ₀ w ₁ u ₁?w _2m u _2m with w ₁?w _2m ≠ε and \(\{ u_{0} w_{1}^{i} u_{1} \cdots w_{2m}^{i} u_{2m} \mid i \in \mathbb {N}\} \subseteq L\) , has been open. We show that there is a 3-multiple context-free language that is not k-iterative for any k.     

Texture Mapping Real‐World Objects with Hydrographics

In the digital world, assigning arbitrary colors to an object is a simple operation thanks to texture mapping. However, in the real world, the same basic function of applying colors onto an object is far from trivial. One can specify colors during the fabrication process using a color 3D printer, but this does not apply to already existing objects. Paint and decals can be used during post‐fabrication, but they are challenging to apply on complex shapes. In this paper, we develop a method to enable texture mapping of physical objects, that is, we allow one to map an arbitrary color image onto a three‐dimensional object. Our approach builds upon hydrographics, a technique to transfer pigments printed on a sheet of polymer onto curved surfaces. We first describe a setup that makes the traditional water transfer printing process more accurate and consistent across prints. We then simulate the transfer process using a specialized parameterization to estimate the mapping between the planar color map and the object surface. We demonstrate that our approach enables the application of detailed color maps onto complex shapes such as 3D models of faces and anatomical casts.     

Line-by-line spectroscopic simulations on graphics processing units

We report here on software that performs line-by-line spectroscopic simulations on gases. Elaborate models (such as narrow band and correlated-K) are accurate and efficient for bands where various components are not simultaneously and significantly active. Line-by-line is probably the most accurate model in the infrared for blends of gases that contain high proportions of H₂O and CO₂ as this was the case for our prototype simulation. Our implementation on graphics processing units sustains a speedup close to 330 on computation-intensive tasks and 12 on memory intensive tasks compared to implementations on one core of high-end processors. This speedup is due to data parallelism, efficient memory access for specific patterns and some dedicated hardware operators only available in graphics processing units. It is obtained leaving most of processor resources available and it would scale linearly with the number of graphics processing units in parallel machines. Line-by-line simulation coupled with simulation of fluid dynamics was long believed to be economically intractable but our work shows that it could be done with some affordable additional resources compared to what is necessary to perform simulations on fluid dynamics alone.

Program summary

Program title: GPU4RECatalogue identifier: ADZY_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/ADZY_v1_0.htmlProgram obtainable from: CPC Program Library, Queen's University, Belfast, N. IrelandLicensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.htmlNo. of lines in distributed program, including test data, etc.: 62 776No. of bytes in distributed program, including test data, etc.: 1 513 247Distribution format: tar.gzProgramming language: C++Computer: x86 PCOperating system: Linux, Microsoft Windows. Compilation requires either gcc/g++ under Linux or Visual C++ 2003/2005 and Cygwin under Windows. It has been tested using gcc 4.1.2 under Ubuntu Linux 7.04 and using Visual C++ 2005 with Cygwin 1.5.24 under Windows XP.RAM: 1 gigabyteClassification: 21.2External routines: OpenGL (http://www.opengl.org)Nature of problem: Simulating radiative transfer on high-temperature high-pressure gases.Solution method: Line-by-line Monte-Carlo ray-tracing.Unusual features: Parallel computations are moved to the GPU.Additional comments: nVidia GeForce 7000 or ATI Radeon X1000 series graphics processing unit is required.Running time: A few minutes.