We study the current-phase relation (CPR) of an InSb-Al nanowire Josephson junction in parallel magnetic fields up to 700 mT. At high magnetic fields and in narrow voltage intervals of a gate under the junction, the CPR exhibits π shifts. The supercurrent declines within these gate intervals and shows asymmetric gate voltage dependence above and below them. We detect these features sometimes also at zero magnetic field. The observed CPR properties are reproduced by a theoretical model of supercurrent transport via interference between direct transmission and a resonant localized state.

@en

Large data centers are currently the mainstream infrastructures for big data processing. As one of the most fundamental tasks in these environments, the efficient execution of distributed data operators (e.g., join and aggregation) are still challenging current data systems, and one of the key performance issues is network communication time. State-of-the-art methods trying to improve that problem focus on either application-layer data locality optimization to reduce network traffic or on network-layer data flow optimization to increase bandwidth utilization. However, the techniques in the two layers are totally independent from each other, and performance gains from a joint optimization perspective have not yet been explored. In this article, we propose a novel approach called NEAL (NEtwork-Aware Locality scheduling) to bridge this gap, and consequently to further reduce communication time for distributed big data operators. We present the detailed design and implementation of NEAL, and our experimental results demonstrate that NEAL always performs better than current approaches for different workloads and network bandwidth configurations.

@en

Emerging memristor-based architectures are promising for data-intensive applications as these can enhance the computation efficiency, solve the data transfer bottleneck and at the same time deliver high energy efficiency using their normally-off/instant-on attributes. However, their storing devices are more susceptible to manufacturing defects compared to the traditional memory technologies because they are fabricated with new materials and require different manufacturing processes. Hence, in order to ensure correct functionalities for these technologies, it is necessary to have accurate fault modeling as well as proper test methodologies with high test coverage. In this paper, we propose technology specific cell-level defect modeling, accurate fault analysis and yield improvement solutions for memristor-based memory as well as Computation-In-Memory (CIM) architectures. Our overall contributions cover three abstraction levels, namely, device, architecture and system. First, we propose a device-aware test methodology in which we have introduced a key device-level characteristic to develop accurate defect model. Second, we demonstrate a yield analysis framework for memristor arrays considering reliability and permanent faults due to parametric variations and explore fault-tolerant solutions. Third, a lightweight on-line test and repair schemes is proposed for emerging CIM devices in machine learning applications.

@en

Train unit routing problem determines the number of train units needed to carry out involved trips, which is a significant part of railway operation cost. In this paper, we focus on high-speed train unit routing problems, in which maintenance resource constraints both on time and distance are taken into account. Based on a connection network, this paper first proposes a general train unit routing model. Then, the general model is specialized to meet the circulation and maintenance conditions of high-speed train units in China, which is based on a special connection network with a two-day time horizon. A strategy is proposed to reduce the scale of the connection network, which improves the model's solvability. Furthermore, an extension on multi-depot train unit routing problem is discussed. Finally, numerical experiments based on the real data of Chinese high-speed railway are carried out to verify the effectiveness and efficiency of the proposed mode and method.@en

The ubiquitous biomacromolecule DNA has an axial rigidity persistence length of ~50 nm, driven by its elegant double helical structure. While double and multiple helix structures appear widely in nature, only rarely are these found in synthetic non-chiral macromolecules. Here we report a double helical conformation in the densely charged aromatic polyamide poly(2,2′-disulfonyl-4,4′-benzidine terephthalamide) or PBDT. This double helix macromolecule represents one of the most rigid simple molecular structures known, exhibiting an extremely high axial persistence length (~1 micrometer). We present X-ray diffraction, NMR spectroscopy, and molecular dynamics (MD) simulations that reveal and confirm the double helical conformation. The discovery of this extreme rigidity in combination with high charge density gives insight into the self-assembly of molecular ionic composites with high mechanical modulus (~ 1 GPa) yet with liquid-like ion motions inside, and provides fodder for formation of other 1D-reinforced composites.@en

A novel adaptive fuzzy dynamic surface control (DSC) scheme is for the first time constructed for a larger class of (multi-input multi-output) MIMO non-affine pure-feedback systems in the presence of input saturation nonlinearity. First of all, the restrictive differentiability assumption on non-affine functions has been canceled after using the piecewise functions to reconstruct the model for non-affine nonlinear functions. Then, a novel auxiliary system with bounded compensation term is firstly introduced to deal with input saturation, and the dynamic system employed in this work designs a bounded compensation term of tangent function. Thus, we successfully relax the strictly bounded assumption of the dynamic system. Additionally, the fuzzy logic systems (FLSs) are used to approximate unknown continuous systems functions, and the minimal learning parameter (MLP) technique is exploited to simplify control design and reduce the number of adaptive parameters. Finally, two simulation examples with input saturation are given to validate the effectiveness of the developed method.@en

In dynamic surface control (DSC) methods, the control gain functions of systems are always assumed to be bounded, which is a restrictive assumption. This work proposes a novel DSC approach for an extended class of strict-feedback nonlinear systems whose control gain functions are continuous and possibly unbounded. Appropriate compact sets are constructed in such a way that the trajectories of the closed-loop system do not leave these sets, therefore, in these sets, maximums and minimums values of the continuous control gain functions are well defined even if the control gain functions are possibly unbounded. By using Lyapunov theory and invariant set theory, semi-globally uniformly ultimately boundedness is analytically proved: all the signals of closed-loop system will always stay in these compact sets, while the tracking error is shown to converge to a residual set that can be made as small as desired by adjusting design parameters appropriately. Finally, the effectiveness of the designed method is demonstrated via two examples.@en

The effect of circular notch has been evaluated for three different architectures of three-dimensional (3D) carbon fibre woven composites (orthogonal, ORT; layer-to-layer, LTL; angle interlock, AI) through open-hole quasi-static tension and double-lap bearing strength tests in the off-axis (45textdegree) direction. Damage characterisation is monitored using Digital Image correlation (DIC) for open-hole testing and X-ray Computed Tomography (CT) for double-lap bearing strength test. The off-axis notched 3D woven composites exhibits minor reduction (less than 10 %) of the notched strength compared to the un-notched strength. DIC strain contour clearly show stress/strain localisation regions around the hole periphery and stress/strain redistribution away from the whole due to the z-binder existence, especially for ORT architecture. Up to 50 % bearing strain, no significant difference in the bearing stress/bearing strain response is observed. However when ORT architecture was loaded up to failure, it demonstrates higher strain to failure (textasciitilde140 %) followed by AI (textasciitilde105 %) and lastly LTL (textasciitilde85 %). X-ray CT scans reveal the effect of the z-binder architecture on damage evolution and delamination resistance. The study suggests that off-axis loaded 3D woven composites, especially ORT architecture, has a great potential of overcoming the current challenges facing composite laminates when used in composite joints' applications.@en

For the pure feedback systems with uncertain actuator nonlinearity and non-differentiable non-affine function, a novel adaptive neural control scheme is proposed. Firstly, the assumption that the non-affine function must be differentiable everywhere with respect to control input has been canceled; in addition, the proposed approach can not only be applicable to actuator input dead zone nonlinearity, but also to backlash nonlinearity without changing the controller. Secondly, the neural network (NN) is used to approximate unknown nonlinear functions of system generated in the process of control design and a nonlinear robust term is introduced to eliminate the actuator nonlinearity modeling error, the NN approximation error and the external disturbances. Semi-globally uniformly ultimately boundedness of all signals in the closed loop system is analytically proved by utilizing Lyapunov theory. Finally, the effectiveness of the designed method is demonstrated via two examples.

@en

Efficient execution of distributed database operators such as joining and aggregating is critical for the performance of big data analytics. With the increase of the compute speedup of modern CPUs, reducing the network
communication time of these operators in large systems is becoming increasingly important, and also challenging current techniques. Significant performance improvements have been achieved by using state-of-the-art methods, such as reducing network traffic designed in the data management domain, and data flow scheduling in the data communications domain.
However, the proposed techniques in both fields just view each other as a black box, and performance gains from a co-optimization perspective have not yet been explored.
In this paper, based on current research in coflow scheduling,
we propose a novel Coflow-based Co-optimization Framework
(CCF), which can co-optimize application-level data movement
and network-level data communications for distributed operators,
and consequently contribute to their performance in
large distributed environments. We present the detailed design
and implementation of CCF, and conduct an experimental
evaluation of CCF using large-scale simulations on large data
joins. Our results demonstrate that CCF can always perform
faster than current approaches on network communications in
large-scale distributed scenarios.@en

The search for alternative memory technologies has attracted significant attention toward emerging non-volatile memories. Among them, STT-MRAM, PCM, RRAM have shown promising characteristic to gain a position inside the memory hierarchy of computing platforms, and even enable new computing paradigms. However like any other emerging technology these devices are affected by concerns to be resolved before they could become a mainstream. This paper reviews the main reliability and testability challenges of aforementioned emerging non-volatile memories and highlights the main future considerations toward them.@en