Laser driven launch vehicles for continuous access to space

The availability of megawatt laser systems in the next century will make laser launch systems from ground to orbit feasible and useful. Systems studies indicate launch capabilities of 1 ton payload per gigawatt laser power. Recent research in ground to orbit laser propulsion has emphasized laser supported detonation wave thrusters driven by repetitively pulsed infrared lasers. In this propulsion concept each laser repetition cycle consists of two pulses. A lower energy first pulse is used to vaporize a small amount of solid propellant and then after a brief expansion period, a second and higher energy laser pulse is used to drive a detonation wave through the expanded vapor. The results are reported of numerical studies comparing the detonation wave properties of various candidate propellants, and the simulation of thruster performance under realistic conditions. Experimental measurements designed to test the theoretical predictions are also presented. Measurements are discussed of radiance and opacity in absorption waves, and mass loss and momentum transfer. These data are interpreted in terms of specific impulse and energy conversion efficiency

High-order optical nonlinearity at low light levels

We observe a nonlinear optical process in a gas of cold atoms that simultaneously displays the largest reported fifth-order nonlinear susceptibility \chi^(5) = 1.9x10^{-12} (m/V)^4 and high transparency. The nonlinearity results from the simultaneous cooling and crystallization of the gas, and gives rise to efficient Bragg scattering in the form of six-wave-mixing at low-light-levels. For large atom-photon coupling strengths, the back-action of the scattered fields influences the light-matter dynamics. This system may have important applications in many-body physics, quantum information processing, and multidimensional soliton formation.Comment: 5 pages, 3 figure

Evidence for spin liquid ground state in SrDy2_2O4_4 frustrated magnet probed by muSR

Muon spin relaxation ($\mu$SR) measurements were carried out on SrDy$_2$O$_4$, a frustrated magnet featuring short range magnetic correlations at low temperatures. Zero-field muon spin depolarization measurements demonstrate that fast magnetic fluctuations are present from $T=300$ K down to 20 mK. The coexistence of short range magnetic correlations and fluctuations at $T=20$ mK indicates that SrDy$_2$O$_4$ features a spin liquid ground state. Large longitudinal fields affect weakly the muon spin depolarization, also suggesting the presence of fast fluctuations. For a longitudinal field of $\mu_0H=2$ T, a non-relaxing asymmetry contribution appears below $T=6$ K, indicating considerable slowing down of the magnetic fluctuations as field-induced magnetically-ordered phases are approached.Comment: 6 pages, 4 figures, to be published as a proceeding of HFM2016 in Journal of Physics: Conference Series (JPCS

Testing statistical palaeomagnetic field models against directional data affected by measurement errors

International audienceIn a previous paper, Khokhlov et al. introduced a method to test the compatibility of so-called 'giant Gaussian process' (GGP) statistical models of the palaeomagnetic field against any palaeosecular variation database. This method did not take measurement errors into account. It therefore lacked practical usefulness. In the present paper, we remedy this and generalize the method to account for measurement errors in a way consistent with both the assumptions underlying the GGP approach and the nature of those errors. The method is implemented to test GGP models against any directional data set affected by Fisherian errors. Simulations show that the method can usefully discriminate which GGP model best explains a given data set. Applying the method to test six published GGP models against a test Bruhnes stable polarity data set extracted from the Quidelleur et al. database, it is found that all but one model (that of Quidelleur and Courtillot) should be rejected. Although this result should be taken with care, and does not necessarily imply that this model is superior to other models (Quidelleur and Courtillot precisely used the Quidelleur et al. database to infer their model), it clearly shows that in practice also, and with the databases currently available, the method can discriminate various candidate GGP models. It also shows that the statistical behaviour of the geomagnetic field at times of stable polarity can indeed be described in a consistent way in terms of a GGP model. This 'forward' testing method could ultimately be used to design an 'inverse' approach to GGP modelling of the palaeomagnetic field

Sharing HOL4 and HOL Light proof knowledge

New proof assistant developments often involve concepts similar to already formalized ones. When proving their properties, a human can often take inspiration from the existing formalized proofs available in other provers or libraries. In this paper we propose and evaluate a number of methods, which strengthen proof automation by learning from proof libraries of different provers. Certain conjectures can be proved directly from the dependencies induced by similar proofs in the other library. Even if exact correspondences are not found, learning-reasoning systems can make use of the association between proved theorems and their characteristics to predict the relevant premises. Such external help can be further combined with internal advice. We evaluate the proposed knowledge-sharing methods by reproving the HOL Light and HOL4 standard libraries. The learning-reasoning system HOL(y)Hammer, whose single best strategy could automatically find proofs for 30% of the HOL Light problems, can prove 40% with the knowledge from HOL4

Первый корпус Тверского университета в культурно-историческом ландшафте улицы Трёхсвятской

В статье рассматривается история корпуса №1 Тверского государственного университета, расположенного по улице Трехсвятской, в контексте культурного ландшафта улицы и тенденций развития вуза, выделяются этапы его развития, описываются наиболее значимые события в его жизни и трансформации, а также роль людей, непосредственно связанных с ним. Эта работа является попыткой рассмотреть историю вуза через призму истории одного здания. Статья написана на основе материалов периодической печати, воспоминаний преподавателей и членов их семей, студентов, сотрудников научной библиотеки ТвГУ и фотоматериало

All-Optical Switching with Transverse Optical Patterns

We demonstrate an all-optical switch that operates at ultra-low-light levels and exhibits several features necessary for use in optical switching networks. An input switching beam, wavelength $\lambda$, with an energy density of $10^{-2}$ photons per optical cross section [$\sigma=\lambda^2/(2\pi)$] changes the orientation of a two-spot pattern generated via parametric instability in warm rubidium vapor. The instability is induced with less than 1 mW of total pump power and generates several $\mu$Ws of output light. The switch is cascadable: the device output is capable of driving multiple inputs, and exhibits transistor-like signal-level restoration with both saturated and intermediate response regimes. Additionally, the system requires an input power proportional to the inverse of the response time, which suggests thermal dissipation does not necessarily limit the practicality of optical logic devices

PSS5 RESTOR® VERSUS ACRILISA® : ND-YAG LASER INCIDENCE RATE COMPARISON 18 MONTHS AFTER SURGERY

Digitalitzat per Artypla

Multidirectional chromosome painting substantiates the occurrence of extensive genomic reshuffling within Accipitriformes.

BACKGROUND: Previous cross-species painting studies with probes from chicken (Gallus gallus) chromosomes 1-10 and a paint pool of nineteen microchromosomes have revealed that the drastic karyotypic reorganization in Accipitridae is due to extensive synteny disruptions and associations. However, the number of synteny association events and identities of microchromosomes involved in such synteny associations remain undefined, due to the lack of paint probes derived from individual chicken microchromosomes. Moreover, no genome-wide homology map between Accipitridae species and other avian species with atypical karyotype organization has been reported till now, and the karyotype evolution within Accipitriformes remains unclear. RESULTS: To delineate the synteny-conserved segments in Accipitridae, a set of painting probes for the griffon vulture, Gyps fulvus (2n = 66) was generated from flow-sorted chromosomes. Together with previous generated probes from the stone curlew, Burhinus oedicnemus (2n = 42), a Charadriiformes species with atypical karyotype organization, we conducted multidirectional chromosome painting, including reciprocal chromosome painting between B. oedicnemus and G. fulvus and cross-species chromosome painting between B. oedicnemus and two accipitrid species (the Himalayan griffon, G. himalayensis 2n = 66, and the common buzzard, Buteo buteo, 2n = 68). In doing so, genome-wide homology maps between B. oedicnemus and three Accipitridae species were established. From there, a cladistic analysis using chromosomal characters and mapping of chromosomal changes on a consensus molecular phylogeny were conducted in order to search for cytogenetic signatures for different lineages within Accipitriformes. CONCLUSION: Our study confirmed that the genomes of the diurnal birds of prey, especially the genomes of species in Accipitriformes excluding Cathartidae, have been extensively reshuffled when compared to other bird lineages. The chromosomal rearrangements involved include both fusions and fissions. Our chromosome painting data indicated that the Palearctic common buzzard (BBU) shared several common chromosomal rearrangements with some Old World vultures, and was found to be more closely related to other Accipitridae than to Neotropical buteonine raptors from the karyotypic perspective. Using both a chromosome-based cladistic analysis as well as by mapping of chromosomal differences onto a molecular-based phylogenetic tree, we revealed a number of potential cytogenetic signatures that support the clade of Pandionidae (PHA) + Accipitridae. In addition, our cladistic analysis using chromosomal characters appears to support the placement of osprey (PHA) in Accipitridae