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

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_

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.

Driver drowsiness detection using Gray Wolf Optimizer based on voice recognition

Globally, drowsiness detection prevents accidents. Blood biochemicals, brain impulses, etc., can measure tiredness. However, due to user discomfort, these approaches are challenging to implement. This article describes a voice-based drowsiness detection system and shows how to detect driver fatigue before it hampers driving. A neural network and Gray Wolf Optimizer are used to classify sleepiness automatically. The recommended approach is evaluated in alert and sleep-deprived states on the driver tiredness detection voice real dataset. The approach used in speech recognition is mel-frequency cepstral coefficients (MFCCs) and linear prediction coefficients (LPCs). The SVM algorithm has the lowest accuracy (71.8%) compared to the typical neural network. GWOANN employs 13-9-7-5 and 30-20-13-7 neurons in hidden layers, where the GWOANN technique had 86.96% and 90.05% accuracy, respectively, whereas the ANN model achieved 82.50% and 85.27% accuracy, respective