Recent Progress on Nickel-Based Oxide/(Oxy)Hydroxide Electrocatalysts for the Oxygen Evolution Reaction

Developing clean and sustainable energies as alternatives to fossil fuels is in strong demand within modern society. The oxygen evolution reaction (OER) is the efficiency-limiting process in plenty of key renewable energy systems, such as electrochemical water splitting and rechargeable metal–air batteries. In this regard, ongoing efforts have been devoted to seeking high-performance electrocatalysts for enhanced energy conversion efficiency. Apart from traditional precious-metal-based catalysts, nickel-based compounds are the most promising earth-abundant OER catalysts, attracting ever-increasing interest due to high activity and stability. In this review, the recent progress on nickel-based oxide and (oxy)hydroxide composites for water oxidation catalysis in terms of materials design/synthesis and electrochemical performance is summarized. Some underlying mechanisms to profoundly understand the catalytic active sites are also highlighted. In addition, the future research trends and perspectives on the development of Ni-based OER electrocatalysts are discussed.     

On the Local Uniqueness of Solutions of Variational Inequalities Under H-Differentiability

In this paper, we give some sufficient conditions for the local uniqueness of solutions to nonsmooth variational inequalities where the underlying functions are H-differentiable and the underlying set is a closed convex set/polyhedral set/box/polyhedral cone. We show how the solution of a linearized variational inequality is related to the solution of the variational inequality. These results extend/unify various similar results proved for C ¹ and locally Lipschitzian variational inequality problems. When specialized to the nonlinear complementarity problem, our results extend/unify those of C ² and C ¹ nonlinear complementarity problems.     

Efficient Collocation Schemes for Singular Boundary Value Problems

We discuss an error estimation procedure for the global error of collocation schemes applied to solve singular boundary value problems with a singularity of the first kind. This a posteriori estimate of the global error was proposed by Stetter in 1978 and is based on the idea of Defect Correction, originally due to Zadunaisky. Here, we present a new, carefully designed modification of this error estimate which not only results in less computational work but also appears to perform satisfactorily for singular problems. We give a full analytical justification for the asymptotical correctness of the error estimate when it is applied to a general nonlinear regular problem. For the singular case, we are presently only able to provide computational evidence for the full convergence order, the related analysis is still work in progress. This global estimate is the basis for a grid selection routine in which the grid is modified with the aim to equidistribute the global error. This procedure yields meshes suitable for an efficient numerical solution. Most importantly, we observe that the grid is refined in a way reflecting only the behavior of the solution and remains unaffected by the unsmooth direction field close to the singular point.     

随机发展方程适度解的存在唯一性(Ⅱ)

讨论如下Hilbert空间中的半线性随机发展方程的Cauchy问题 dy(t)=[Ay(t) f(t,y(t))]dt G(t,y(t))dw(t) y(O)=V_u的适度解的存在唯一性,在更一般的条件下,得到了该问题的适度解的存在唯一性。     

An Improved Gradient Projection-based Decomposition Technique for Support Vector Machines

In this paper we propose some improvements to a recent decomposition technique for the large quadratic program arising in training support vector machines. As standard decomposition approaches, the technique we consider is based on the idea to optimize, at each iteration, a subset of the variables through the solution of a quadratic programming subproblem. The innovative features of this approach consist in using a very effective gradient projection method for the inner subproblems and a special rule for selecting the variables to be optimized at each step. These features allow to obtain promising performance by decomposing the problem into few large subproblems instead of many small subproblems as usually done by other decomposition schemes. We improve this technique by introducing a new inner solver and a simple strategy for reducing the computational cost of each iteration. We evaluate the effectiveness of these improvements by solving large-scale benchmark problems and by comparison with a widely used decomposition package.     

Mathematical modeling of flows through inelastic porous solids

We propose a framework, based on classical mixture theory, to describe the isothermal flow of an incompressible fluid through a deformable inelastic porous solid. The modeling of the behavior of the inelastic solid takes into account changes in the elastic response due to evolution in the microstructure of the material. We apply the model to a compression layer problem. The mathematical problem generated by the model is a free boundary problem.     

Finite-Band Potentials with Trigonal Curves

We construct Dubrovin equations and trace formulas for finite-band operators with trigonal curves and present some examples.     

Field Theory Methods in Classical Dynamics

A Dirac picture perturbation theory is developed for the time evolution operator in classical dynamics in the spirit of the Schwinger–Feynman–Dyson perturbation expansion and detailed rules are derived for computations. Complexification formalisms are given for the time evolution operator suitable for phase space analyses, and then extended to a two-dimensional setting for a study of the geometrical Berry phase as an example. Finally a direct integration of Hamilton's equations is shown to lead naturally to a path integral expression, as a resolution of the identity, as applied to arbitrary functions of generalized coordinates and momenta.     

A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

非线性奇异边值问题的正解

利用锥映射的不动点指数定量，研究了一类非线性奇异边值问题多个正解的存在性问题。在构造的解的存在条件之下，证明了奇异边值问题至少有两个正解的存在性定理。