The Superconductivity of the Double Correlated Linear Aggregations of Holes in the Cuprates

Here, I extend my last work about the origin of the pseudogaps in underdoped cuprates (Dayan in arXiv:1011.3206 cond-mat, 2010) to include the mechanism of superconductivity. This is done by adapting the formalism of the double correlations in systems with nested Fermi surfaces to the semi one-dimensional system of strings of holes. It is proposed that magnetic interaction is crucial for the establishment of the pseudogap and the high temperature superconductivity. It is shown that superconductivity disturbs the completeness of the strings of holes, and creates fluctuations in them. This, in turn, reduces the magnetic interaction and the pseudogap order.     

Accelerated Life Testing for a Class of Linear Hazard Rate Type Distributions

Accelerated life testing for distributions with hazard rate functions of the form r(t) = Ag(t) + Bh(t) are considered. Let V ₁, …, V _k be stress levels larger than V ₀—the stress level under normal conditions [V ₀ > 0]—and let a(v) be a nondecreasing function on (0, ∞). We discuss a generalization of the common accelerated models (the power rule model and the Arrhenius model) by assuming that the hazard rate under the stress level V, is of the form (a(V _t )) ^P (Ag(t) + Bh(t)). The maximum likelihood estimators of A, B and P for complete and censored samples are studied. The estimation procedure reduces to a solution of one equation with one unknown parameter. The estimation procedure under the assumption of aging is also described. The asymptotic variance-covariance matrix is given.     

Monitoring the effects of divalent ions (Mn and Ca) in heat-set whey protein gels

Exploring the effects of cations in whey protein-based gels (WPG) is of importance when these gels are used for controlled release applications in food systems. The objective of this study was to evaluate both water uptake and cation release from heat-set WPGs. Magnetic Resonance Imaging and NMR relaxometry were employed to study the uptake and release. A non-paramagnetic (Ca⁺²) and a paramagnetic cation (Mn⁺²) were incorporated into the WPG as model divalent cations. Cylindrical pieces of WPGs with manganese were immersed in water (pH 2.40, 7.00, 10.40) or in EDTA solution whereas WPGs with calcium were immersed in water at pH 2.40. Water uptake by the gels was influenced by both ionic environment and pH. The release of Mn⁺² from WPG was enhanced by the presence of EDTA. Relaxation spectra of Mn⁺²-loaded gels were significantly influenced by pH of the suspending fluid and by the presence of EDTA. Results of relaxometry experiments, obtained with Ca⁺²-loaded gels immersed in water at pH 2.40, indicated a strong correlation (R² > 0.99) between relative areas of the proton pools and the amount of calcium released to the medium. Results support the use of MRI and NMR to monitor cation release and water uptake in WPG, non-destructively.     

Transversal thermal patterns in packed‐bed reactors with simple kinetics: Bifurcation criterion and simulations

We derive a new criterion for transversal instability of planar fronts based on the bifurcation condition dV_f/dK|_K=0 = 0, where V_f and K are the front velocity and its curvature, respectively. This refines our previously obtained condition, which was formulated as α = (ΔT_adPe_T)/(ΔT_mPe_C) > 1 to α > 1 + |δ|, where ΔT_ad and ΔT_m are the adiabatic and maximal temperature rise, respectively, Pe_C and Pe_T are the axial mass and the heat Pe numbers, respectively, and δ is a small parameter. The criterion is based on approximate relations for ΔT_m and V_f, which account for the local curvature of a propagating front in a packed bed reactor with a first‐order activated kinetics. The obtained relations are verified by linear stability analysis of planar fronts. Simulations of a simplified 2D model in the form of a thin cylindrical shell are in good agreement with the critical parameters predicted by dispersion relations. Three types of patterns were detected in simulations: “frozen” multiwave patterns, spinning waves, and complex rotating–oscillating patterns. We map bifurcation diagrams showing domains of different modes using the shell radius as the bifurcation parameter. The possible translation of the 2D cylindrical shell model results to the 3D case is discussed. © 2010 American Institute of Chemical Engineers AIChE J, 2011     

汽车发动机节温器总成生产技术的研究和应用

介绍了汽车发动机铝合金节温器总成的研制和开发过程中,通过攻克节温器本体铝合金压铸、CNC高精密加工、压管涂胶装配、总成密封性检查等关键工艺难题,成功地实现了节温器总成的产业化生产。该项目精度要求高,投产难度大,目前已成功装机50余万辆。     

Sequential Change-Point Detection Procedures That are Nearly Optimal and Computationally Simple

Abstract

Sequential schemes for detecting a change in distribution often require that all of the observations be stored in memory. Lai (1995 Lai , T. L. ( 1995 ). Sequential Changepoint Detection in Quality Control and Dynamical Systems , Journal of Royal Statistical Society, Series B 57 : 613 – 658 . [Google Scholar], Journal of Royal Statistical Society, Series B 57: 613–658) proposed a class of detection schemes that enable one to retain a finite window of the most recent observations, yet promise first-order optimality. The asymptotics are such that the window size is asymptotically unbounded. We argue that what's of computational importance isn't having a finite window of observations, but rather making do with a finite number of registers. We illustrate in the context of detecting a change in the parameter of an exponential family that one can achieve eventually even second-order asymptotic optimality through using only three registers for storing information of the past. We propose a very simple procedure, and show by simulation that it is highly efficient for typical applications.     

Arabidopsis thaliana Plants with Different Levels of Aliphatic- and Indolyl-Glucosinolates Affect Host Selection and Performance of Bemisia tabaci

Generalist insects show reduced selectivity when subjected to similar, but not identical, host plant chemical signatures. Here, we produced transgenic Arabidopsis thaliana plants that over-express genes regulating the aliphatic- and indolyl- glucosinolates biosynthetic pathways with either a constitutive (CaMV 35S) or a phloem-specific promoter (AtSUC2). This allowed us to examine how exposure to high levels of aliphatic- or indolyl-glucosinolates in homogenous habitats (leaf cage apparatus containing two wild-type or two transgenic leaves) and heterogeneous habitats (leaf cage apparatus containing one wild-type and one transgenic leaf) affects host selection and performance of Bemsia tabaci, a generalist phloem-feeding insect. Data from homogenous habitats indicated that exposure to A. thaliana plants accumulating high levels of aliphatic- or indolyl-glucosinolates negatively affected the performance of both adult females and nymphs of B. tabaci. Data from heterogeneous habitats indicated that B. tabaci adult females selected for oviposition plants on which their offspring perform better (preference-performance relationship). However, the combinations of wild-type and transgenic plants in heterogeneous habitats increased the period of time until the first choice was made and led to increased movement rate on transgenic plants, and reduced fecundity on wild-type plants. Overall, our findings are consistent with the view that both performance and selectivity of B. tabaci decrease in heterogeneous habitats that contain plants with closely-related chemical signatures.     

Module Checking

In computer system design, we distinguish between closed and open systems. A closed system is a system whose behavior is completely determined by the state of the system. An open system is a system that interacts with its environment and whose behavior depends on this interaction. The ability of temporal logics to describe an ongoing interaction of a reactive program with its environment makes them particularly appropriate for the specification of open systems. Nevertheless, model-checking algorithms used for the verification of closed systems are not appropriate for the verification of open systems. Correct model checking of open systems should check the system with respect to arbitrary environments and should take into account uncertainty regarding the environment. This is not the case with current model-checking algorithms and tools. In this paper we introduce and examine the problem of model checking of open systems (module checking, for short). We show that while module checking and model checking coincide for the linear-time paradigm, module checking is much harder than model checking for the branching-time paradigm. We prove that the problem of module checking is EXPTIME-complete for specifications in CTL and 2EXPTIME-complete for specifications in CTL*. This bad news is also carried over when we consider the program-complexity of module checking. As good news, we show that for the commonly-used fragment of CTL (universal, possibly, and always possibly properties), current model-checking tools do work correctly, or can be easily adjusted to work correctly, with respect to both closed and open systems.     

Mass transfer around prolate spheroidal drops in an extensional flow

Mass transfer in the continuous phase around a small eccentricity prolate spheroidal drop in an axisymmetric extensional creeping flow and at large Peclet numbers was investigated theoretically. The results show that, at very short times, the total quantity of solute transferred to or from the drop represents, at O(Ca¹), mass transfer by diffusion only around a sphere. For long times, or at steady‐state, the total quantity of solute transferred is, at O(Ca¹), slightly smaller than that of a spherical drop, and it decreases with an increase of the capillary number or the viscosity ratio. © 2012 Canadian Society for Chemical Engineering