4,758 research outputs found
Kink Chains from Instantons on a Torus
We describe how the procedure of calculating approximate solitons from
instanton holonomies may be extended to the case of soliton crystals. It is
shown how sine-Gordon kink chains may be obtained from CP1 instantons on a
torus. These kink chains turn out to be remarkably accurate approximations to
the true solutions. Some remarks on the relevance of this work to Skyrme
crystals are also made.Comment: latex 17 pages, DAMTP 94-7
Recommended from our members
Spiral Growth Manufacturing (SGM) – A Continuous Additive Manufacturing Technology for Processing Metal Powder by Selective Laser Melting
Spiral growth manufacturing is a new innovative powder based rapid manufacturing
technique. The innovation exists in the methodology in which powder layers are deposited.
Unlike other pre-placed powder systems, the deposited layers move relative to the location at
which they are processed. This is made possible by a rotating build drum into which powder is
deposited, in spiralled layers, from a stationary hopper. With this configuration powder can be
continuously deposited and levelled and simultaneously processed, eliminating delays in the
build cycle. Stainless steel and cobalt-chrome powder is selectively melted using a 100W flash
lamp pumped Nd:YAG laser. This paper reports on factors affecting build rate and on build
strategies for creating a number of axis-symmetric thin and thick walled cylinders. Experimental
results suggest that build rate for thin walled structures bonded to a substrate will ultimately be
governed by tangential movements of the powder particles when frictional forces are not
sufficient to accelerate the particles along a curved path, provided that enough laser power is
available for melting. Even melt pool balling, which is evident when melting one layer at high
speeds, diminishes in multiple layer builds due to re-melting and infilling.Mechanical Engineerin
The moduli space metric for tetrahedrally symmetric 4-monopoles
The metric on the moduli space of SU(2) charge four BPS monopoles with tetrahedral symmetry is calculated using numerical methods. In the asymptotic region, in which the four monopoles are located on the vertices of a large tetrahedron, the metric is in excellent agreement with the point particle metric. We find that the four monopoles are accelerated through the cubic monopole configuration and compute the time advance. Numerical evidence is presented for a remarkable equivalence between a proper distance in the 4-monopole moduli space and a related proper distance in the point particle moduli space
The Vampire and the FOOL
This paper presents new features recently implemented in the theorem prover
Vampire, namely support for first-order logic with a first class boolean sort
(FOOL) and polymorphic arrays. In addition to having a first class boolean
sort, FOOL also contains if-then-else and let-in expressions. We argue that
presented extensions facilitate reasoning-based program analysis, both by
increasing the expressivity of first-order reasoners and by gains in
efficiency
Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
This paper presents a combination of several automated reasoning and proof
presentation tools with the Mizar system for formalization of mathematics. The
combination forms an online service called MizAR, similar to the SystemOnTPTP
service for first-order automated reasoning. The main differences to
SystemOnTPTP are the use of the Mizar language that is oriented towards human
mathematicians (rather than the pure first-order logic used in SystemOnTPTP),
and setting the service in the context of the large Mizar Mathematical Library
of previous theorems,definitions, and proofs (rather than the isolated problems
that are solved in SystemOnTPTP). These differences poses new challenges and
new opportunities for automated reasoning and for proof presentation tools.
This paper describes the overall structure of MizAR, and presents the automated
reasoning systems and proof presentation tools that are combined to make MizAR
a useful mathematical service.Comment: To appear in 10th International Conference on. Artificial
Intelligence and Symbolic Computation AISC 201
Octahedral and dodecahedral monopoles
It is shown that there exists a charge five monopole with octahedral symmetry and a charge seven monopole with icosahedral symmetry. A numerical implementation of the ADHMN construction is used to calculate the energy density of these monopoles and surfaces of constant energy density are displayed. The charge five and charge seven monopoles look like an octahedron and a dodecahedron respectively. A scattering geodesic for each of these monopoles is presented and discussed using rational maps. This is done with the aid of a new formula for the cluster decomposition of monopoles when the poles of the rational map are close together
Reducing the energy consumption of heavy goods vehicles through the application of lightweight trailers: Fleet case studies
Reducing the empty weight of articulated heavy goods vehicle trailers is one avenue that needs to be explored in reducing the carbon footprint of the road freight industry as a whole. A statistical analysis of two heavy goods vehicle fleets operating in the United Kingdom has helped to identify double-deck trailers used in grocery haulage and 'walking-floor' trailers used in bulk haulage as two examples of trailers that can benefit significantly from lightweighting. Energy consumption of numerous articulated heavy goods vehicles is quantified through an idealised drive cycle analysis reflecting a long haul journey over a highway. This energy analysis allows for a mass energy performance index to be established. The analysis has shown that reducing the empty weight of trailers by 30% can cause reductions of up to 18% and 11% in mass energy performance index for double-deck trailers and 'walking-floor' trailers respectively. Using this approach, trailers that will benefit the most from weight reduction can be identified systematically, allowing for lightweighting strategies to be implemented more effectively. Strategies to reduce empty trailer weight and improve vehicle utilisation are also discussedThe authors would like to acknowledge the financial support from the members of the Centre for Sustainable Road Freight and from the Engineering and Physical Sciences Research Council (Grant Reference EP/K00915X/1).This is the final version of the article. It first appeared from Elsevier via http://dx.doi.org/10.1016/j.trd.2015.09.01
Total hip replacement for the treatment of end stage arthritis of the hip : a systematic review and meta-analysis
Background: Evolvements in the design, fixation methods, size, and bearing surface of implants for total hip replacement (THR) have led to a variety of options for healthcare professionals to consider. The need to determine the most optimal combinations of THR implant is warranted. This systematic review evaluated the clinical effectiveness of different types of THR used for the treatment of end stage arthritis of the hip.
Methods: A comprehensive literature search was undertaken in major health databases. Randomised controlled trials (RCTs) and systematic reviews published from 2008 onwards comparing different types of primary THR in patients with end stage arthritis of the hip were included.
Results: Fourteen RCTs and five systematic reviews were included. Patients experienced significant post-THR improvements in Harris Hip scores, but this did not differ between impact types. There was a reduced risk of implant dislocation after receiving a larger femoral head size (36 mm vs. 28 mm; RR = 0.17, 95% CI: 0.04, 0.78) or cemented cup (vs. cementless cup; pooled odds ratio: 0.34, 95% CI: 0.13, 0.89). Recipients of cross-linked vs. conventional polyethylene cup liners experienced reduced femoral head penetration and revision. There was no impact of femoral stem fixation and cup shell design on implant survival rates. Evidence on mortality and complications (aseptic loosening, femoral fracture) was inconclusive.
Conclusions: The majority of evidence was inconclusive due to poor reporting, missing data, or uncertainty in treatment estimates. The findings warrant cautious interpretation given the risk of bias (blinding, attrition), methodological limitations (small sample size, low event counts, short follow-up), and poor reporting. Long-term pragmatic RCTs are needed to allow for more definitive conclusions. Authors are encouraged to specify the minimal clinically important difference and power calculation for their primary outcome(s) as well CONSORT, PRISMA and STROBE guidelines to ensure better reporting and more reliable production and assessment of evidence
Analysis of industrial reactive powders flow properties at high temperature
Changes of bulk flow properties of two different types of titanium dioxide powders were measured at room temperature and 500 °C using the High Temperature Annular Shear Cell. A significant increase of the macroscopic bulk flow properties was observed with increasing temperature, in particular with regard to the unconfined yield strength. A theoretical modelling procedure was proposed with the aim to relate the measured properties to the microscopic interactions between particles. The results indicated that the model might provide a good match with the experimental data if proper values for the model's parameters are taken into account
- …