14,277 research outputs found
Mode-medium instability and its correction with a Gaussian reflectivity mirror
A high power CO2 laser beam is known to deteriorate after a few microseconds due to a mode-medium instability (MMI) which results from an intensity dependent heating rate related to the vibrational-to-translational decay of the upper and lower CO2 lasing levels. An iterative numerical technique is developed to model the time evolution of the beam as it is affected by the MMI. The technique is used to study the MMI in an unstable CO2 resonator with a hard-edge output mirror for different parameters like the Fresnel number and the gas density. The results show that the mode of the hard edge unstable resonator deteriorates because of the diffraction ripples in the mode. A Gaussian-reflectivity mirror was used to correct the MMI. This mirror produces a smoother intensity profile which significantly reduces the effects of the MMI. Quantitative results on peak density variation and beam quality are presented
"The fridge door is open" : temporal verification of a robotic assistant's behaviours
Robotic assistants are being designed to help, or work with, humans in a variety of situations from assistance within domestic situations, through medical care, to industrial settings. Whilst robots have been used in industry for some time they are often limited in terms of their range of movement or range of tasks. A new generation of robotic assistants have more freedom to move, and are able to autonomously make decisions and decide between alternatives. For people to adopt such robots they will have to be shown to be both safe and trustworthy. In this paper we focus on formal verification of a set of rules that have been developed to control the Care-O-bot, a robotic assistant located in a typical domestic environment. In particular, we apply model-checking, an automated and exhaustive algorithmic technique, to check whether formal temporal properties are satisfied on all the possible behaviours of the system. We prove a number of properties relating to robot behaviours, their priority and interruptibility, helping to support both safety and trustworthiness of robot behaviours
Generation of spin-motion entanglement in a trapped ion using long-wavelength radiation
Applying a magnetic-field gradient to a trapped ion allows long-wavelength radiation to produce a mechanical force on the ion's motion when internal transitions are driven. We demonstrate such a coupling using a single trapped Yb+171 ion and use it to produce entanglement between the spin and motional state, an essential step toward using such a field gradient to implement multiqubit operations
eHealth interventions for people with chronic kidney disease
This is a protocol for a Cochrane Review (Intervention). The objectives are as follows: This review aims to look at the benefits and harms of using eHealth interventions in the CKD population
Simple manipulation of a microwave dressed-state ion qubit
Many schemes for implementing quantum information processing require that the atomic states used have a non-zero magnetic moment, however such magnetically sensitive states of an atom are vulnerable to decoherence due to fluctuating magnetic fields. Dressing an atom with an external field is a powerful method of reducing such decoherence [N. Timoney et al., Nature 476, 185], even if the states being dressed are strongly coupled to the environment. We introduce an experimentally simpler method of manipulating such a dressed-state qubit, which allows the implementation of general rotations of the qubit, and demonstrate this method using a trapped ytterbium ion
Formal verification of an autonomous personal robotic assistant
Human–robot teams are likely to be used in a variety of situations wherever humans require the assistance of robotic systems. Obvious examples include healthcare and manufacturing, in which people need the assistance of machines to perform key tasks. It is essential for robots working in close proximity to people to be both safe and trustworthy. In this paper we examine formal verification of a high-level planner/scheduler for autonomous personal robotic assistants such as Care-O-bot ™ . We describe how a model of Care-O-bot and its environment was developed using Brahms, a multiagent workflow language. Formal verification was then carried out by translating this to the input language of an existing model checker. Finally we present some formal verification results and describe how these could be complemented by simulation-based testing and realworld end-user validation in order to increase the practical and perceived safety and trustworthiness of robotic assistants
Role of the exchange and correlation potential into calculating the x-ray absorption spectra of half-metallic alloys: the case of Mn and Cu K-edge XANES in CuMnM (M = Al, Sn, In) Heusler alloys
This work reports a theoretical study of the x-ray absorption near-edge
structure spectra at both the Cu and the Mn K-edge in several CuMnM (M= Al,
Sn and In) Heusler alloys. Our results show that {\it ab-initio} single-channel
multiple-scattering calculations are able of reproducing the experimental
spectra. Moreover, an extensive discussion is presented concerning the role of
the final state potential needed to reproduce the experimental data of these
half-metallic alloys. In particular, the effects of the cluster-size and of the
exchange and correlation potential needed in reproducing all the experimental
XANES features are discussed.Comment: 15 pages, 5 figure
Interventions for improving health literacy in people with chronic kidney disease
This is the protocol for a review and there is no abstract. The objectives are as follows: This review aims to look at the benefits and harms of interventions for improving health literacy in patients with CKD
Polyaryl ethers and related polysiloxane copolymer molecular coatings preparation and radiation degrdation
Poly(arylene ether sulfones) comprise a class of materials known as engineering thermoplastics which have a variety of important applications. These polymers are tough, rigid materials with good mechanical properties over a wide temperature range, and they are processed by conventional methods into products typically having excellent hydrolytic, thermal, oxidative and dimensional stability. Wholly aromatic random copolymers of hydroquinone and biphenol with 4.4 prime dichlorodiphenyl sulfone were synthesized via mechanical nucleophilic displacement. Their structures were characterized and mechanical behavior studied. These tough, ductile copolymers show excellent radiation resistance to electron beam treatment and retain much of the mechanical properties up to at least 700 Mrads under argon
- …