TV‐like regularization for backward parabolic problems

This paper investigates an inverse problem for parabolic equations backward in time, which is solved by total‐variation‐like (TV‐like, in abbreviation) regularization method with cost function ∥u_x∥². The existence, uniqueness and stability estimate for the regularization problem are deduced in the linear case. For numerical illustration, the variational adjoint method, which presents a simple method to derive the gradient of the optimization functional, is introduced to reconstruct the unknown initial condition for both linear and nonlinear parabolic equations. The conjugate gradient method is used to iteratively search for the optimal approximation. Numerical results validate the feasibility and effectiveness of the proposed algorithm. Copyright © 2016 John Wiley & Sons, Ltd.     

A new construction of the Clifford-Fourier kernel

In this paper, we develop a new method based on the Laplace transform to study the Clifford-Fourier transform. First, the kernel of the Clifford-Fourier transform in the Laplace domain is obtained. When the dimension is even, the inverse Laplace transform may be computed and we obtain the explicit expression for the kernel as a finite sum of Bessel functions. We equally obtain the plane wave decomposition and find new integral representations for the kernel in all dimensions. Finally we define and compute the formal generating function for the even dimensional kernels.     

An inexact alternating direction method of multipliers with relative error criteria

In this paper, we study an inexact version of the alternating direction method of multipliers (ADMM) for solving two-block separable linearly constrained convex optimization problems. Specifically, the two subproblems in the classic ADMM are allowed to be solved inexactly by certain relative error criteria, in the sense that only two parameters are needed to control the inexactness. Related convergence analysis are established under the assumption that the solution set to the KKT system of the problem is not empty. Numerical results on solving a class of sparse signal recovery problems are also provided to demonstrate the efficiency of the proposed algorithm.     

Perzyna粘塑性模型的参变量变分原理*

Perzyna模型是粘塑性本构关系的主要形式之一,本文给出该模型的参变量变分原理,该原理将原问题化为求解带约束条件的泛函极值,其约束条件就是由粘塑性本构关系推导出的系统状态方程,所讨论的问题其塑性流动不受Drucker假定的限制,文中给出原理的证明,并研究弹塑性蠕变问题.     

无穷级缺项整函数的亏值

研究不 指定级的 缺项整函 数的有 穷亏值的 存在性． 将 Ｆｕｃｈ 的一 些结果 推广到 了无 穷级缺项整函数     

一种基于Spring的轻量级面向服务组件框架

面向服务组件将面向服务的概念引入组件模型中,支持松耦合的面向服务应用软件的开发.本文提出一种基于Spring框架的轻量级面向服务组件框架SSCF(Spring-based Service Component Framework),利用Spring的依赖注入和远程服务访问技术,简化面向服务组件的编程模型、增加编程自由度、提高组件运行效率.给出了SSCF框架中服务组件模型的逻辑结构模型、描述方法和连接通信机制以及框架实现的关键技术.该框架简化了面向服务组件的开发,与SCA(Service Component Architecture)实现框架Apache Tuscany相比,性能上具有一定的优势.     

Rate effect and coupled evolution of atomic motions and potential landscapes

Since rate effect of materials plays a key role in impact engineering, the microscopic mechanism of rate effect is investigated at molecular level in this paper. The results show that rate effect on the strength of atomic system is closely related to the coupled evolution of atomic motions and potential landscapes. Accordingly, it becomes possible to develop a new algorithm of molecular simulation, which could properly and efficiently demonstrate strain rate effect under a wide range of loading rates and unveil the mecha- nisms underlying the strain rate effects.     

-196 ℃奥氏体不锈钢母材与焊缝的动态断裂韧性

在-196 ℃对S30408奥氏体不锈钢的母材和焊缝进行了夏比摆锤冲击实验,采用改进的柔度变化率法得到了低温下不锈钢母材夏比试样的起裂点。结果表明,采用改进的柔度变化率法得到的结果比采用传统的柔度变化率法得到的结果更准确。根据实验得到的载荷-位移曲线,结合采用Schindler法和关键曲线法各自所得结果的优点,得到了不锈钢母材的动态裂纹扩展阻力曲线（动态J-R曲线）。依据不锈钢焊缝在低温动载下的载荷-位移曲线及其断裂特征,通过线弹性断裂力学计算获得其动态断裂韧性。     

A continuous–discontinuous cellular automaton method for regular frictional contact problems

In the present paper, a continuous–discontinuous cellular automaton method is developed to model the discontinuous problems caused by regular frictional contact, in which level set method, discontinuous enriched shape function, discontinuous cellular automaton method and contact friction theory are combined, by which an analysis from continuity to discontinuity can be achieved, and no assembled stiffness matrix but only cell stiffness is needed in the whole calculation, because of the use of discontinuous cellular automaton method. In the present method, level set method is used to track the discontinuous surface, and discontinuous enriched shape function is employed to describe the discontinuity of displacement and stress. Contact friction theory is applied to construct the Coulomb frictional contact model of discontinuous surfaces; besides, combined with discontinuous cellular automaton method, a new mixed iteration method is proposed to obtain the solution of the problem, and no assembled stiffness matrix is constructed. And the frictional contact iterations are done simultaneously with the updating of cellular automaton, in which the contact states and contact areas can be previously obtained in the cellular automaton updating process, and the efficiency can get much higher. Finally, some numerical examples are given to show that the present method is effective and accurate and can be further extended into some practical engineering.     

基于时域间断有限元方法的生物组织非傅立叶热行为数值分析

在热传导分析中,当热流与温度梯度存在时间延迟时,需采用非傅立叶热传导模型进行分析。生物组织具有较强的热松弛时间系数,承受激光、微波及烧烫等作用时,其呈现出较强的非傅立叶行为。本文对脉冲热源作用下生物组织的非傅立叶热传导进行研究,针对强脉冲引起的温度场在空间域的高梯度变化、波阵面的间断行为以及通用传统时域数值方法会带来虚假数值振荡的特点,提出采用所发展的时域间断Galerkin有限元法（DG-FEM ）进行求解计算。对多种脉冲热源作用下的非傅立叶热传导过程进行数值模拟,通过考量强脉冲作用下温度场分布和热致生物组织损伤行为的影响,表明了本文所发展的DGFEM 能够有效、准确地描述温度场空间分布和热传导过程以及非傅立叶行为下的生物热损伤更为明显,在生物组织热行为分析中应该受到重视。