Macroscopic Anisotropy and Symmetry Breaking in the Pyrochlore Antiferromagnet Gd2_{2}Ti2_{2}O7_{7}}

In the Heisenberg antiferromagnet $Gd_2Ti_2O_7$, the exchange interactions are geometrically frustrated by the pyrochlore lattice structure. This ESR study reveals a strong temperature dependent anisotropy with respect to a [111] body diagonal below a temperature $T_A=80$ K, despite the spin only nature of the $Gd^{3+}$ ion. Anisotropy and symmetry breaking can nevertheless appear through the superexchange interaction. The presence of short range planar correlation restricted to specific Kagom\'{e} planes is sufficient to explain the two ESR modes studied in this work.Comment: 4 pages, 5 figure

A Supervisory Control Algorithm Based on Property-Directed Reachability

We present an algorithm for synthesising a controller (supervisor) for a discrete event system (DES) based on the property-directed reachability (PDR) model checking algorithm. The discrete event systems framework is useful in both software, automation and manufacturing, as problems from those domains can be modelled as discrete supervisory control problems. As a formal framework, DES is also similar to domains for which the field of formal methods for computer science has developed techniques and tools. In this paper, we attempt to marry the two by adapting PDR to the problem of controller synthesis. The resulting algorithm takes as input a transition system with forbidden states and uncontrollable transitions, and synthesises a safe and minimally-restrictive controller, correct-by-design. We also present an implementation along with experimental results, showing that the algorithm has potential as a part of the solution to the greater effort of formal supervisory controller synthesis and verification.Comment: 16 pages; presented at Haifa Verification Conference 2017, the final publication is available at Springer via https://doi.org/10.1007/978-3-319-70389-3_

Resistivity network and structural model of the oxide cathode for CRT application

In this paper, the electrical properties of oxide cathode and oxide cathode plus, supplied by LG Philips Displays, have been investigated in relation to different cathode activation regimes and methods. Oxide cathode activation treatment for different durations has been investigated. The formations of the compounds associated to the diffusion of reducing elements (Mg, Al, and W) to the Ni cap surface of oxide cathode were studied by a new suggestion method. Scanning electron microscopy (SEM) coupled with energy dispersive X-ray spectroscopy (EDX) was used as analytical techniques. Al, W, and Mg doping elements take place during heating to 1080 K (Ni-Brightness) under a rich controlled Ba–SrO atmosphere through an acceleration life test. The chemical transport of these elements was occurred mainly by the Ni cap grain boundary mechanism with significant pile-up of Mg compounds. Al and W show a superficial concentrations and distribution. A new structural and resistivity network model of oxide cathode plus are suggested. The new structural model shows a number of metallic and metallic oxide pathways are exist at the interface or extended through the oxide coating. The effective values of the resistances and the type of the equivalent circuit in the resistivity network model are temperature and activation time dependent.</p

Purification of genuine multipartite entanglement

In tasks, where multipartite entanglement plays a central role, state purification is, due to inevitable noise, a crucial part of the procedure. We consider a scenario exploiting the multipartite entanglement in a straightforward multipartite purification algorithm and compare it to bipartite purification procedures combined with state teleportation. While complete purification requires an infinite amount of input states in both cases, we show that for an imperfect output fidelity the multipartite procedure exhibits a major advantage in terms of input states used.Comment: 5 pages, 2 figure

Synthesis of Triazolo and Pyrazolo Derivatives of Quinoline Nucleus

New heterocyclic derivatives of quinoline are reported. Reaction of quinoline-2-thiol 4 with hydrazine hydrate gave 2-hydrazionoquinoline 5. Treatment of  5 with CS2 in pyridine afforded 1,2,4-triazolo-[4,3-a]-quinolin-1-2H-thione 6, whereas the reaction of 5 with carboxylic acids namely formic acid or acetic acid, yielded the 1,2,4-triazol-[4,3-a]-quinolin 7 or 5-methyl-1,2,4-triazolo [4,3-a]-quinoline 8 through ring closure. Diazotization of 5 under acidic conditions produced the fused tetrazole compound 9, tetrzolo-[1,5-a]-quinoline. Moreover, treatment of 5 with active methlyene compounds gave two pyrazole derivatives 10 and 11. Azomethines 12a-e were prepared through condensation of 5 with aromatic aldehydes or ketones. Keyword: triazoloquinoline, tetrazoloquinoline, pyrazoloquinolines, azomethines.

Accelerating dark energy models in bianchi Type-V space-time

Some new exact solutions of Einstein's field equations in a spatially homogeneous and anisotropic Bianchi type-V space-time with minimally interaction of perfect fluid and dark energy components have been obtained. To prevail the deterministic solution we choose the scale factor $a(t) = \sqrt{t^{n}e^{t}}$, which yields a time dependent deceleration parameter (DP), representing a model which generates a transition of the universe from the early decelerating phase to the recent accelerating phase. We find that for $n \geq 1$, the quintessence model is reproducible with present and expected future evolution of the universe. The other models (for $n < 1$), we observe the phantom scenario. The quintessence as well as phantom models approach to isotropy at late time. For different values of $n$, we can generate a class of physically viable DE models. The cosmic jerk parameter in our descended model is also found to be in good concordance with the recent data of astrophysical observations under appropriate condition. The physical and geometric properties of spatially homogeneous and anisotropic cosmological models are discussed.Comment: 12 pages, 6 figure

Vortex crystals

Vortex crystals is one name in use for the subject of vortex patterns that move without change of shape or size. Most of what is known pertains to the case of arrays of parallel line vortices moving so as to produce an essentially two-dimensional flow. The possible patterns of points indicating the intersections of these vortices with a plane perpendicular to them have been studied for almost 150 years. Analog experiments have been devised, and experiments with vortices in a variety of fluids have been performed. Some of the states observed are understood analytically. Others have been found computationally to high precision. Our degree of understanding of these patterns varies considerably. Surprising connections to the zeros of 'special functions' arising in classical mathematical physics have been revealed. Vortex motion on two-dimensional manifolds, such as the sphere, the cylinder (periodic strip) and torus (periodic parallelogram) has also been studied, because of the potential applications, and some results are available regarding the problem of vortex crystals in such geometries. Although a large amount of material is available for review, some results are reported here for the first time. The subject seems pregnant with possibilities for further development.published or submitted for publicationis peer reviewe