3D resistive RAM cell design for high-density storage class memory—a review

In this article, we comprehensively review recent progress in the ReRAM cell technology for 3D integration focusing on a material/device level. First we briefly mention pioneering work on high-density crossbar ReRAM arrays which paved the way to 3D integration. We discuss the two main proposed 3D integration schemes—3D horizontally stacked ReRAM vs 3D Vertical ReRAM and their respective advantages and disadvantages. We follow with the detailed memory cell design on important work in both areas, utilizing either filamentary or interface-limited switching mechanisms. We also discuss our own contributions on HfO₂-based filamentary 3D Vertical ReRAM as well as TaO_x/TiO₂ bilayer-based self-rectifying 3D Vertical ReRAM. Finally, we summarize the present status and provide an outlook for the nearterm future.     

Construction and verification of PLC-programs by LTL-specification

An approach to construction and verification of PLC-programs for discrete problems is proposed. For the specification of program behavior we use the linear-time temporal logic LTL. Programming is carried out in the ST-language according to an LTL-specification. The correctness analysis of an LTL-specification is carried out by the symbolic model checking tool Cadence SMV. A new approach to programming and verification of PLC-programs is shown by an example. For a discrete problem we give a ST-program, its LTL-specification and an SMV-model. The purpose of the article is to describe an approach to programming PLC, which would provide the possibility of PLC-program correctness analysis by the model checking method. Under the proposed approach the change of the value of each program variable is described by a pair of LTL-formulas. The first LTL-formula describes situations that increase the value of the corresponding variable, the second LTL-formula specifies conditions leading to a decrease of the variable value. The LTL-formulas (used for specification of the corresponding variable behavior) are constructive in the sense that they construct the PLC-program, which satisfies temporal properties expressed by these formulas. Thus, the programming of PLC is reduced to the construction of LTL-specification of the behavior of each program variable. In addition, an SMV-model of a PLC-program is constructed according to LTL-specification. Then, the SMV-model is analysed by the symbolic model checking tool Cadence SMV.     

Geiringer theorems: from population genetics to computational intelligence, memory evolutive systems and Hebbian learning

The classical Geiringer theorem addresses the limiting frequency of occurrence of various alleles after repeated application of crossover. It has been adopted to the setting of evolutionary algorithms and, a lot more recently, reinforcement learning and Monte-Carlo tree search methodology to cope with a rather challenging question of action evaluation at the chance nodes. The theorem motivates novel dynamic parallel algorithms that are explicitly described in the current paper for the first time. The algorithms involve independent agents traversing a dynamically constructed directed graph that possibly has loops and multiple edges. A rather elegant and profound category-theoretic model of cognition in biological neural networks developed by a well-known French mathematician, professor Andree Ehresmann jointly with a neurosurgeon, Jan Paul Vanbremeersch over the last thirty years provides a hint at the connection between such algorithms and Hebbian learning.     

On quadratic two-parameter families of spheres and their envelopes

In the present paper we investigate rational two-parameter families of spheres and their envelope surfaces in Euclidean . The four dimensional cyclographic model of the set of spheres in is an appropriate framework to show that a quadratic triangular Bézier patch in corresponds to a two-parameter family of spheres with rational envelope surface. The construction shows also that the envelope has rational offsets. Further we outline how to generalize the construction to obtain a much larger class of surfaces with similar properties.     

Suboptimal robust synthesis for MIMO plant under coprime factor perturbations

Suboptimal robust synthesis for MIMO nominal system under coprime factor perturbations is considered in classical and non-classical statements. In the classical statement, weights of perturbations and upper bound on magnitude bounded exogenous disturbance are assumed to be known to controller designer. Suboptimal synthesis within ε tolerance is reduced to the solution of log₂(1/ε) standard mixed sensitivity problems of ℓ₁ optimization. In the non-classical statement, the upper bounds on perturbations and exogenous disturbance are to be estimated from measurement data and suboptimal synthesis is reduced to the solution of 1/ε mixed sensitivity problems.     

Adaptive suboptimal robust control of the first-order plant

For a linear first-order plant, consideration was given to minimization of the deviation of its output from the specified value in an uncertain environment. Both the parameters of the plant itself and the upper bounds of the external disturbances and operator perturbations in output and control were assumed to be unknown. The suboptimal adaptive control was constructed on the basis of an approximate solution of the problem of optimal identification from the measurement data where the performance of the problem of control was used as an identification criterion.     

Influence of grain boundary weak links on the nonequilibrium response of YBaCuO thin films to short laser pulses

The transient voltage response in both epitaxial and granular YBaCuO thin films to 80 ps pulses of YAGNd laser radiation of wavelength 0.63 and 1.54 m was studied. In the normal and resistive states both types of films demonstrate two components: a nonequilibrium picosecond component and a bolometric nanosecond one. The normalized amplitudes are almost the same for all films. In the superconducting state we observed a kinetic inductive response and two-component shape after integration. The normalized amplitude of the response in granular films is up to five orders of magnitude larger than in epitaxial films. We interpret the nonequilibrium response in terms of a suppression of the order parameter by the excess of quasiparticles followed by the change of resistance in the normal and resistive states or kinetic inductance in the superconducting state. The sharp rise of inductive response in granular films is explained both by a diminishing of the cross section for current percolation through the disordered network of Josephson weak links and by a decrease of condensate density in neighboring regions.     

Overcoming Anode Instability in Solid-State Batteries through Control of the Lithium Metal Microstructure

Enabling the lithium metal anode (LMA) in solid-state batteries (SSBs) is the key to developing high energy density battery technologies. However, maintaining a stable electrode–electrolyte interface presents a critical challenge to high cycling rate and prolonged cycle life. One such issue is the interfacial pore formation in LMA during stripping. To overcome this, either higher stack pressure or binary lithium alloy anodes are used. Herein, it is shown that fine-grained (d = 20 µm) polycrystalline LMA can avoid pore formation by exploiting the microstructural dependence of the creep rates. In a symmetric cell set-up, i.e., LiǀLi_6.25Al_0.25La₃Zr₂O₁₂(LLZO)ǀLi, fine-grained LMA achieves > 11.0 mAh cm⁻² compared to ≈ 3.6 mAh cm⁻² for coarse-grained LMA (d = 295 µm) at 0.1 mA cm⁻² and at moderate stress of 2.0 MPa. Smaller diffusion lengths (≈ 20 µm) and higher diffusivity pathway along dislocations (D_d ≈ 10⁻⁷ cm² s⁻¹), generated during cell fabrication, result in enhanced viscoplastic deformation in fine-grained polycrystalline LMA. The electrochemical performances corroborate well with estimated creep rates. Thus, microstructural control of LMA can significantly reduce the required stack pressure during stripping. These results are particularly relevant for “anode-free” SSBs wherein both the microstructure and the mechanical state of the lithium are critical parameters.