UPR: deadlock-free dynamic network reconfiguration by exploiting channel dependency graph compatibility

The Journal of Supercomputing - Deadlock-free dynamic network reconfiguration process is usually studied from the routing algorithm restrictions and resource reservation perspective. The dynamic...     

Fulde–Ferrell State in Spin–Orbit-Coupled Superconductor: Application to Dresselhaus SOC

We show that in the presence of magnetic field, two superconducting phases with the center-of-mass momentum of Cooper pair parallel to the magnetic field are induced in Dresselhaus spin–orbit-coupled superconductor. Specifically, at small magnetic field, the center-of-mass momentum is induced due to the energy-spectrum distortion and no unpairing region with vanishing singlet correlation appears. We refer to this superconducting state as the drift-BCS state. By further increasing the magnetic field, the superconducting state falls into the Fulde–Ferrell state with the emergence of the unpairing regions. The observed abrupt enhancement of the center-of-mass momenta and suppression on the order parameters during the transition indicate the occurrence of a first-order phase transition. Enhanced Pauli limit and hence enlarged magnetic-field regime of the Fulde–Ferrell state, due to the spin-flip terms of the spin–orbit coupling, are revealed. We also address the triplet correlations induced by the spin–orbit coupling, and show that the Cooper-pair spin polarizations, generated by the magnetic field and center-of-mass momentum with the triplet correlations exhibit totally different magnetic-field dependences between the drift-BCS and Fulde–Ferrell states.     

Soret and Dufour effects between two rectangular plane walls with heat source/sink

This study addresses the thermo‐diffusion and the diffusion‐thermo phenomena in a semi‐infinite absorbent channel whose walls are contracting/expanding, with heat source/sink effects. The governing partial differential equations with suitable boundary conditions are transformed to a system of dimensionless ordinary differential equations. An analytic solution of the problem has been found using a technique called homotopy analysis method (HAM). HAM gives consistently valid answers to the problem over an extensive variety of parameters and also provides better accuracy. To validate the analytical results, a comparison has been presented with a numerical solution calculated by using the parallel shooting method. The effects of dimensionless parameters, that is, deformation parameter, Reynolds number, Soret and Dufour numbers, and heat source/sink parameter on the expressions of velocity, temperature, and concentration profiles are analyzed graphically to understand the physics of the deformable channel. It has been noted that the velocity across the channel is higher for the expanding channel, as compared to that for the contracting channel. Also the Soret and Dufour number increases the temperature of the fluid, and decreases the concentration. The temperature profile has an increasing behavior in the case of heat source, and a decreasing behavior in the case of heat sink.     

Linear friction welding of Ti6Al4V: experiments and modelling

Linear friction welding of the Ti6Al4V alloy is studied. A new definition of the energy input rate is proposed, based on an integration over time of the in-plane force and velocity; a strong correlation with the upset rate is then found. The effective friction coefficient is estimated to be 0·5±0·1 for varying frequencies and amplitudes, with only a weak dependence on the processing conditions displayed. A model is proposed that accounts for both the conditioning and equilibrium stages of the process, which is shown to be in good agreement with the experimental data. The model is used to study the mechanism by which the flash is formed. A criterion is proposed by which the rippled nature of its morphology can be predicted.     

Formalization of Ring Theory in PVS

This paper presents a PVS development of relevant results of the theory of rings. The PVS theory includes complete proofs of the three classical isomorphism theorems for rings, and characterizations of principal, prime and maximal ideals. Algebraic concepts and properties are specified and formalized as generally as possible allowing in this manner their application to other algebraic structures. The development provides the required elements to formalize important algebraic theorems. In particular, the paper presents the formalization of the general algebraic-theoretical version of the Chinese remainder theorem (CRT) for the theory of rings, as given in abstract algebra textbooks, proved as a consequence of the first isomorphism theorem. Also, the PVS theory includes a formalization of the number-theoretical version of CRT for the structure of integers, which is the version of CRT found in formalizations. CRT for integers is obtained as a consequence of the general version of CRT for the theory of rings.

     

Microwave dielectric properties of ultra-low loss Li2MgTi0.7(Mg1/3Nb2/3)0.3O4 ceramics sintered at low temperature by LiF addition

In this work, ultra-low loss Li₂MgTi_0.7(Mg_1/3Nb_2/3)_0.3O₄ ceramics were successfully prepared via the conventional solid-state method. X-ray photoelectron spectroscopy (XPS), thermally stimulated depolarization current (TSDC) and bond energy were used to determine the distinction between intrinsic and extrinsic dielectric loss in (Mg_1/3Nb_2/3)⁴⁺ ions substituted ceramics. The addition of (Mg_1/3Nb_2/3)⁴⁺ ions enhances the bond energy in unit cell without changing the crystal structure of Li₂MgTiO₄, which results in high Q·f value as an intrinsic factor. The extrinsic factors such as porosity and grain size influence the dielectric loss at lower sintering temperature, while the oxygen vacancies play dominant role when the ceramics densified at 1400?°C. The Li₂MgTi_0.7(Mg_1/3Nb_2/3)_0.3O₄ ceramics sintered at 1400?°C can achieve an excellent combination of microwave dielectric properties: ε_r =?16.19, Q·f?=?160,000?GHz and τ_f =??3.14?ppm/°C. In addition, a certain amount of LiF can effectively lower the sintering temperature of the matrix, and the Li₂MgTi_0.7(Mg_1/3Nb_2/3)_0.3O₄-3?wt% LiF ceramics sintered at 1100?°C possess balanced properties with ε_r?=?16.32, Q·f?=?145,384?GHz and τ_f =??16.33?ppm/°C.     

The organization of biological sequences into constrained and unconstrained parts determines fundamental properties of genotype–phenotype maps

Biological information is stored in DNA, RNA and protein sequences, which can be understood as genotypes that are translated into phenotypes. The properties of genotype–phenotype (GP) maps have been studied in great detail for RNA secondary structure. These include a highly biased distribution of genotypes per phenotype, negative correlation of genotypic robustness and evolvability, positive correlation of phenotypic robustness and evolvability, shape-space covering, and a roughly logarithmic scaling of phenotypic robustness with phenotypic frequency. More recently similar properties have been discovered in other GP maps, suggesting that they may be fundamental to biological GP maps, in general, rather than specific to the RNA secondary structure map. Here we propose that the above properties arise from the fundamental organization of biological information into ‘constrained'' and ‘unconstrained'' sequences, in the broadest possible sense. As ‘constrained'' we describe sequences that affect the phenotype more immediately, and are therefore more sensitive to mutations, such as, e.g. protein-coding DNA or the stems in RNA secondary structure. ‘Unconstrained'' sequences, on the other hand, can mutate more freely without affecting the phenotype, such as, e.g. intronic or intergenic DNA or the loops in RNA secondary structure. To test our hypothesis we consider a highly simplified GP map that has genotypes with ‘coding'' and ‘non-coding'' parts. We term this the Fibonacci GP map, as it is equivalent to the Fibonacci code in information theory. Despite its simplicity the Fibonacci GP map exhibits all the above properties of much more complex and biologically realistic GP maps. These properties are therefore likely to be fundamental to many biological GP maps.