Numerical studies towards practical large-eddy simulation

Large-eddy simulation developments and validations are presented for an improved simulation of turbulent internal flows. Numerical methods are proposed according to two competing criteria: numerical qualities (precision and spectral characteristics), and adaptability to complex configurations. First, methods are tested on academic test-cases, in order to abridge with fundamental studies. Consistent results are obtained using adaptable finite volume method, with higher order advection fluxes, implicit grid filtering and "low-cost" shear-improved Smagorinsky model. This analysis particularly focuses on mean flow, fluctuations, two-point correlations and spectra. Moreover, it is shown that exponential averaging is a promising tool for LES implementation in complex geometry with deterministic unsteadiness. Finally, adaptability of the method is demonstrated by application to a configuration representative of blade-tip clearance flow in a turbomachine

Energy radiation of moving cracks

The energy radiated by moving cracks in a discrete background is analyzed. The energy flow through a given surface is expressed in terms of a generalized Poynting vector. The velocity of the crack is determined by the radiation by the crack tip. The radiation becomes more isotropic as the crack velocity approaches the instability threshold.Comment: 7 pages, embedded figure

Crack Front Waves and the dynamics of a rapidly moving crack

Crack front waves are localized waves that propagate along the leading edge of a crack. They are generated by the interaction of a crack with a localized material inhomogeneity. We show that front waves are nonlinear entities that transport energy, generate surface structure and lead to localized velocity fluctuations. Their existence locally imparts inertia, which is not incorporated in current theories of fracture, to initially "massless" cracks. This, coupled to crack instabilities, yields both inhomogeneity and scaling behavior within fracture surface structure.Comment: Embedded Latex file including 4 figure

NIMBY, YIMBY, or something else? Geographies of public perceptions of shale gas development in the Marcellus Shale

Much research exists on how social-psychological factors (e.g. political ideology), proximity to development, and contextual factors (e.g. state in which one resides) drive public attitudes toward various types of energy development. Yet, scholars have only recently begun to explore how these factors interact to create unique geographies of perception that defy the simplistic explanations suggested by not-in-my-backyard or yes-in-my-backyard labels. Using precisely geocoded well and survey data, we explore the interplay of political ideology, proximity and place in the context of public attitudes toward unconventional oil and natural gas development (UOGD) in the Marcellus Shale region of southern New York and northern Pennsylvania. For our full sample and similar to findings from recent national surveys on attitudes toward energy development, we found that respondents closer to UOGD were more supportive of it, a relationship that was moderated by political ideology with liberals or moderates located closer to UOGD more supportive than those located further away. However, when we examined these moderation effects within states, a different story emerged. For New York respondents, proximity did not appear to have a differential effect on conservatives vs. liberals/moderates. However, for Pennsylvania respondents, we observed opposing effects: conservatives were more supportive further away from development, while liberals/moderates were more supportive closer to development. Our results thus both reaffirm and challenge existing scholarship, highlighting the potential for middle range theorizing about geographies of perception in energy development

Theory of dynamic crack branching in brittle materials

The problem of dynamic symmetric branching of an initial single brittle crack propagating at a given speed under plane loading conditions is studied within a continuum mechanics approach. Griffith's energy criterion and the principle of local symmetry are used to determine the cracks paths. The bifurcation is predicted at a given critical speed and at a specific branching angle: both correlated very well with experiments. The curvature of the subsequent branches is also studied: the sign of $T$, with $T$ being the non singular stress at the initial crack tip, separates branches paths that diverge from or converge to the initial path, a feature that may be tested in future experiments. The model rests on a scenario of crack branching with some reasonable assumptions based on general considerations and in exact dynamic results for anti-plane branching. It is argued that it is possible to use a static analysis of the crack bifurcation for plane loading as a good approximation to the dynamical case. The results are interesting since they explain within a continuum mechanics approach the main features of the branching instabilities of fast cracks in brittle materials, i.e. critical speeds, branching angle and the geometry of subsequent branches paths.Comment: 41 pages, 15 figures. Accepted to International Journal of Fractur

Tactics for Reasoning modulo AC in Coq

We present a set of tools for rewriting modulo associativity and commutativity (AC) in Coq, solving a long-standing practical problem. We use two building blocks: first, an extensible reflexive decision procedure for equality modulo AC; second, an OCaml plug-in for pattern matching modulo AC. We handle associative only operations, neutral elements, uninterpreted function symbols, and user-defined equivalence relations. By relying on type-classes for the reification phase, we can infer these properties automatically, so that end-users do not need to specify which operation is A or AC, or which constant is a neutral element.Comment: 16

Positioning a coarse-calibrated camera with respect to an unknown object by 2D 1/2 visual servoing

International audienceIn this paper we propose a new vision-based robot control approach halfway between the classical position-based and image-based visual servoings. It allows to avoid their respective disadvantages. The homography between some planar feature points extracted from two images (corresponding to the current and desired camera poses) is computed at each iteration. Then, an approximate partial-pose, where the translational term is known only up to a scale factor, is deduced, from which can be designed a closed-loop control law controlling the six camera d.o.f.. Contrarily to the position-based visual servoing, our scheme does not need any geometric 3D model of the object. Furthermore and contrarily to the image-based visual servoing, our approach ensures the convergence of the control law in all the task space

Continuum field description of crack propagation

We develop continuum field model for crack propagation in brittle amorphous solids. The model is represented by equations for elastic displacements combined with the order parameter equation which accounts for the dynamics of defects. This model captures all important phenomenology of crack propagation: crack initiation, propagation, dynamic fracture instability, sound emission, crack branching and fragmentation.Comment: 4 pages, 5 figures, submitted to Phys. Rev. Lett. Additional information can be obtained from http://gershwin.msd.anl.gov/theor

Arrested Cracks in Nonlinear Lattice Models of Brittle Fracture

We generalize lattice models of brittle fracture to arbitrary nonlinear force laws and study the existence of arrested semi-infinite cracks. Unlike what is seen in the discontinuous case studied to date, the range in driving displacement for which these arrested cracks exist is very small. Also, our results indicate that small changes in the vicinity of the crack tip can have an extremely large effect on arrested cracks. Finally, we briefly discuss the possible relevance of our findings to recent experiments.Comment: submitted to PRE, Rapid Communication

Elastic forces that do no work and the dynamics of fast cracks

Elastic singularities such as crack tips, when in motion through a medium that is itself vibrating, are subject to forces orthogonal to the direction of motion and thus impossible to determine by energy considerations alone. This fact is used to propose a universal scenario, in which three dimensionality is essential, for the dynamic instability of fast cracks in thin brittle materials.Comment: 8 pages Latex, 1 Postscript figur