Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices

Dynamic geometry systems (DGS) have become basic tools in many areas of geometry as, for example, in education. Geometry Automated Theorem Provers (GATP) are an active area of research and are considered as being basic tools in future enhanced educational software as well as in a next generation of mechanized mathematics assistants. Recently emerged Web repositories of geometric knowledge, like TGTP and Intergeo, are an attempt to make the already vast data set of geometric knowledge widely available. Considering the large amount of geometric information already available, we face the need of a query mechanism for descriptions of geometric constructions. In this paper we discuss two approaches for describing geometric figures (declarative and procedural), and present algorithms for querying geometric figures in declaratively and procedurally described corpora, by using a DGS or a dedicated controlled natural language for queries.Comment: 14 pages, 5 figures, accepted at CICM 201

Analytical study of the fracture of liquid- filled tanks impacted by hypervelocity particles

Shock waves in water and stress waves in tank walls of water-filled fuel tanks impacted by hypervelocity particle

Critical properties of the unconventional spin-Peierls system TiOBr

We have performed detailed x-ray scattering measurements on single crystals of the spin-Peierls compound TiOBr in order to study the critical properties of the transition between the incommensurate spin-Peierls state and the paramagnetic state at Tc2 ~ 48 K. We have determined a value of the critical exponent beta which is consistent with the conventional 3D universality classes, in contrast with earlier results reported for TiOBr and TiOCl. Using a simple power law fit function we demonstrate that the asymptotic critical regime in TiOBr is quite narrow, and obtain a value of beta_{asy} = 0.32 +/- 0.03 in the asymptotic limit. A power law fit function which includes the first order correction-to-scaling confluent singularity term can be used to account for data outside the asymptotic regime, yielding a more robust value of beta_{avg} = 0.39 +/- 0.05. We observe no evidence of commensurate fluctuations above Tc1 in TiOBr, unlike its isostructural sister compound TiOCl. In addition, we find that the incommensurate structure between Tc1 and Tc2 is shifted in Q-space relative to the commensurate structure below Tc1.Comment: 12 pages, 8 figures. Submitted to Physical Review

Wave propagation in stepped and joined shells Annual report, 1 Sep. 1968 - 1 Sep. 1969

Shell impact response and wave propagation in cylindrical and conical shells by experimental and analytical method

Commensurate Fluctuations in the Pseudogap and Incommensurate spin-Peierls Phases of TiOCl

X-ray scattering measurements on single crystals of TiOCl reveal the presence of commensurate dimerization peaks within both the incommensurate spin-Peierls phase and the so-called pseudogap phase above T_c2. This scattering is relatively narrow in Q-space indicating long correlation lengths exceeding ~ 100 A below T* ~ 130 K. It is also slightly shifted in Q relative to that of the commensurate long range ordered state at the lowest temperatures, and it coexists with the incommensurate Bragg peaks below T_c2. The integrated scattering over both commensurate and incommensurate positions evolves continuously with decreasing temperature for all temperatures below T* ~ 130 K.Comment: To appear in Physical Review B: Rapid Communications. 5 page

Flow field predictions for a slab delta wing at incidence

Theoretical results are presented for the structure of the hypersonic flow field of a blunt slab delta wing at moderately high angle of attack. Special attention is devoted to the interaction between the boundary layer and the inviscid entropy layer. The results are compared with experimental data. The three-dimensional inviscid flow is computed numerically by a marching finite difference method. Attention is concentrated on the windward side of the delta wing, where detailed comparisons are made with the data for shock shape and surface pressure distributions. Surface streamlines are generated, and used in the boundary layer analysis. The three-dimensional laminar boundary layer is computed numerically using a specially-developed technique based on small cross-flow in streamline coordinates. In the rear sections of the wing the boundary layer decreases drastically in the spanwise direction, so that it is still submerged in the entropy layer at the centerline, but surpasses it near the leading edge. Predicted heat transfer distributions are compared with experimental data

Local moment, itinerancy and deviation from Fermi liquid behavior in Nax_xCoO2_2 for 0.71≤x≤0.840.71 \leq x \leq 0.84

Here we report the observation of Fermi surface (FS) pockets via the Shubnikov de Haas effect in Na$_x$CoO$_2$ for $x = 0.71$ and 0.84, respectively. Our observations indicate that the FS expected for each compound intersects their corresponding Brillouin zones, as defined by the previously reported superlattice structures, leading to small reconstructed FS pockets, but only if a precise number of holes per unit cell is \emph{localized}. For $0.71 \leq x < 0.75$ the coexistence of itinerant carriers and localized $S =1/2$ spins on a paramagnetic triangular superlattice leads at low temperatures to the observation of a deviation from standard Fermi-liquid behavior in the electrical transport and heat capacity properties, suggesting the formation of some kind of quantum spin-liquid ground state.Comment: 4 pages, 4 figure

Suppression of the commensurate spin-Peierls state in Sc-doped TiOCl

We have performed x-ray scattering measurements on single crystals of the doped spin-Peierls compound Ti(1-x)Sc(x)OCl (x = 0, 0.01, 0.03). These measurements reveal that the presence of non-magnetic dopants has a profound effect on the unconventional spin-Peierls behavior of this system, even at concentrations as low as 1%. Sc-doping suppresses commensurate fluctuations in the pseudogap and incommensurate spin-Peierls phases of TiOCl, and prevents the formation of a long-range ordered spin-Peierls state. Broad incommensurate scattering develops in the doped compounds near Tc2 ~ 93 K, and persists down to base temperature (~ 7 K) with no evidence of a lock-in transition. The width of the incommensurate dimerization peaks indicates short correlation lengths on the order of ~ 12 angstroms below Tc2. The intensity of the incommensurate scattering is significantly reduced at higher Sc concentrations, indicating that the size of the associated lattice displacement decreases rapidly as a function of doping.Comment: 7 pages, 5 figure