Anchoring single Pt atoms on hollow Ag3VO4 spheres for improved activity towards photocatalytic H2 evolution reaction

The high cost of noble metal catalysts has been a great bottleneck for the catalyst industry. Using the noble metal at a single-atom level for catalytic applications could dramatically decrease the cost. The impacts of single Pt atoms on the photocatalytic performance of Ag₃VO₄ have been investigated and reported. In this report, single Pt atoms were anchored on the surface of Ag₃VO₄ (AVO) as a cocatalyst, and the resultant composite photocatalyst has been studied for photocatalytic H₂ production from water driven by visible light. The as-prepared AVO particles are hollow nanospheres in the monoclinic phase with a bandgap of 2.20 eV. The light absorption edge of AVO/Pt is slightly red-shifted compared to that of the pristine AVO, indicating more visible light absorption of AVO/Pt. The XPS peaks of Ag, V, and Pt exhibit a significant shift after AVO and Pt get into contact, suggesting the strong interaction between the surface Ag and V atoms, and single Pt atoms. After 3-h illumination, the photocatalytic H₂ evolution amount from AVO/Pt is improved up to 1400 μmol, which is 2.8 times that on the bare AVO. Such efficient photocatalytic H₂ evolution on AVO/Pt is still maintained after five reaction cycles. The better photocatalytic performance of AVO/Pt has been attributed to the more efficient visible light utilization and the lower interfacial charge transfer resistance, as demonstrated in the DRS and EIS spectra. The presence of the surface Pt atoms also leads to a higher amount of reactive radicals, which could efficiently promote the surface redox reactions.     

The geometric nature of plasticity laws

This paper concerns the plasticity constitutive laws in small strain. In the thermodynamic approach developed here, the key concept is that of internal variables. The differential nature of plasticity law has been pointed out for a long time. If we unite the invariance condition of these laws in a state variable transformation, this involves, ultimately, that the natural mathematic frame of plasticity theory is Differential Geometry. The system state is defined as a point of a differentiable manifold. The state variable are the local coordinates of this point in a chart. The internal stresses are the components of a covariant vector of the cotangent bundle to internal state manifold and the elastic domain is a convex part of cotangent vector space. The plastic yield criteria such as von Mises condition define a Riemannian structure over the manifold. The metric element is identified with the internal dissipation element. Constitutive laws link the covariant derivatives of the thermodynamic stress with the state variable. Hardening modulus splits up in two parts, kinematic hardening and metric hardening. This last is defined by Christoffel connection coefficients. Applied to von Mises isotropic yield condition, the metric hardening is identified with isotropic hardening. The Baltov-Sawczuk model is also analysed. The use of appropriate polar coordinates simplifies significantly the computations. Generalization to a significant category of non-differentiable yield criteria, such as Tresca condition, is considered by introducting a metric tensor family. The adaptation of Drucker's postulate to the proposed model requires the introduction of parallel transport of the internal stress covector. Generally, this transport is different over distinctive paths joining two points. This fact expresses internal state manifold curvature. The Riemann-Christoffel tensor is computed for von Mises, Baltov-Sawczuk and Tresca models.     

皮革真空鞣制新技术与设备的研究

本文对皮革在真空状态下鞣制进行了试验研究，使鞣制过程的物理—化学氛围得到改善，大大缩短了鞣制时间，废液排放量减少一半以上。     

Formal Analysis of Streaming Downloading Protocol for System Upgrading

For a PC-mobile download system which is embedded with streaming download protocol, there are problems that the data cannot be transmitted correctly from the PC to the mobile, or the transmission is unacceptably slow. To solve these problems, we carry out a formal analysis for the protocol with some timing parameters and a given probability of message loss and unordered data using a probabilistic model checking tool PRISM. We introduce a technique to reduce the state space of the system modeling the protocol which is a network of probabilistic timed automata. The experimental results in PRISM give us a clear explanation to the problems, and are helpful in identifying the optimal parameter settings to meet industrial requirements.     

高能气体压裂联作技术进展

国内高能气体压裂增产技术已经由单一的有壳弹、无壳弹、液体药、可控脉冲等高能气体压裂,进展到与射孔、水力压裂、酸化、化学解堵等技术相联作的综合压裂阶段。分别对高能气体压裂与射孔、水力压裂和化学解堵等联作技术的基本原理、现场试验、作业效果等进行了介绍。高能气体压裂已发展成一种基本成熟的、综合性油气田增产改造新技术。