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.     

Camera Control in Computer Graphics

Recent progress in modelling, animation and rendering means that rich, high fidelity virtual worlds are found in many interactive graphics applications. However, the viewer's experience of a 3D world is dependent on the nature of the virtual cinematography, in particular, the camera position, orientation and motion in relation to the elements of the scene and the action. Camera control encompasses viewpoint computation, motion planning and editing. We present a range of computer graphics applications and draw on insights from cinematographic practice in identifying their different requirements with regard to camera control. The nature of the camera control problem varies depending on these requirements, which range from augmented manual control (semi‐automatic) in interactive applications, to fully automated approaches. We review the full range of solution techniques from constraint‐based to optimization‐based approaches, and conclude with an examination of occlusion management and expressiveness in the context of declarative approaches to camera control.     

A review of smart homes- present state and future challenges

In the era of information technology, the elderly and disabled can be monitored with numerous intelligent devices. Sensors can be implanted into their home for continuous mobility assistance and non-obtrusive disease prevention. Modern sensor-embedded houses, or smart houses, cannot only assist people with reduced physical functions but help resolve the social isolation they face. They are capable of providing assistance without limiting or disturbing the resident's daily routine, giving him or her greater comfort, pleasure, and well-being. This article presents an international selection of leading smart home projects, as well as the associated technologies of wearable/implantable monitoring systems and assistive robotics. The latter are often designed as components of the larger smart home environment. The paper will conclude by discussing future challenges of the domain.     

Non-Hierarchical Architected Materials with Extreme Stiffness and Strength

Stretch-dominated truss and plate microstructures are contenders in the quest for realizing architected materials with extreme stiffness and strength. In the low volume fraction limit, closed-cell isotropic plate microstructures meet theoretical upper bounds on stiffness but have low buckling strength, whereas open-cell truss microstructures have high buckling strength at the cost of significantly reduced stiffness. At finite volume fractions, the picture becomes less clear but both are outperformed by hollow truss lattice and hierarchical microstructures in terms of buckling strength. Despite significant advances in manufacturing methods, hollow and multi-scale hierarchical microstructures are still challenging to build. The question is if there exist realizable microstructures providing stiffness and strength matching or even beating hard-to-realize hollow or hierarchical microstructures? Herein, single-scale non-hierarchical (first order) microstructures that beat the buckling strength of hollow truss lattice structures by a factor of 2.4 and first- and second-order plate microstructures by factors of 5 and 1.4, respectively, are systematically designed, built, and tested. Stiffness of the microstructures is within 40% of theoretical bounds and beats both truss and second order plate microstructures. The microstructures are realized with 3D printing. Experiments validate theoretical predictions and additional insight is provided through numerical modeling of a CT-scanned sample.     

Study of Magnetic Properties of Fe-Doped CuO: Monte Carlo Simulations

Using Monte Carlo simulations, we are studying the magnetic properties of Fe-doped CuO thin films. The total magnetizations and the susceptibilities are studied as a function of the effect doping, external magnetic field, and exchange coupling. The critical temperature is discussed as a function of the effect of iron concentration. On the other hand, we investigate the effect of increasing temperatures on the coercive field for a constant value of exchange coupling and a fixed concentration. The coercive magnetic field is found to decrease with increasing temperature values until reaching its null value. The effect of increasing the exchange coupling amount on the saturation magnetic field H _s is illustrated. A linear growth of the saturation magnetic field is found as a function of the exchange coupling interaction. To complete this study, we presented and discussed the magnetic hysteresis cycle loops.     

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.