A posteriori error analysis of a quadratic finite volume method for nonlinear elliptic problems

In this article, we construct and analyze a residual-based a posteriori error estimator for a quadratic finite volume method (FVM) for solving nonlinear elliptic partial differential equations with homogeneous Dirichlet boundary conditions. We shall prove that the a posteriori error estimator yields the global upper and local lower bounds for the norm error of the FVM. So that the a posteriori error estimator is equivalent to the true error in a certain sense. Numerical experiments are performed to illustrate the theoretical results.     

Phase transition in the one-dimensional pair-hopping model with unusual one-electron hopping

By modifying the conventional one-electron hopping behavior, we study effects of an occupation-dependent hopping on the ground state of the half-filled one-dimensional pair-hopping model. At weak coupling, the use of bosonization and renormalization-group analysis techniques helps to derive the phase diagram. Such unusual hopping is shown to drive a spin-gap transition and to introduce a new region where the triplet superconducting instability dominates for positively small pair-hopping interaction.     

A unified theory for brittle and ductile shear mode fracture

A unified theory captures both brittle and ductile fracture. The fracture toughness is proportional to the applied stress squared and the length of the crack. For purely brittle solids, this criterion is equivalent to Griffith's theory. In other cases, it provides a theoretical basis for the Irwin-Orowan formula. For purely ductile solids, the theory makes direct contact with the Bilby-Cottrell-Swinden model. The toughness is highest in ductile materials because the shielding dislocations in the plastic zone provide additional resistance to crack growth. This resistance is the force opposing dislocation motion, and the Peach-Koehler force overcomes it. A dislocation-free zone separates the plastic zone from and the tip of the crack. The dislocation-free zone is finite because molecular forces responsible for the cohesion of the surfaces near the crack tip are not negligible. At the point of crack growth, the length of the dislocation-free zone is constant and the shielding dislocations advance in concert. As in Griffith's theory, the crack is in unstable equilibrium. The theory shows that a dimensionless variable controls the elastoplastic behaviour. A relationship for the size of the dislocation-free zone is derived in terms of the macroscopic and microscopic parameters that govern the fracture.     

Fluid‐structure coupling of linear elastic model with compressible flow models

Cavitation erosion is caused in solids exposed to strong pressure waves developing in an adjacent fluid field. The knowledge of the transient distribution of stresses in the solid is important to understand the cause of damaging by comparisons with breaking points of the material. The modeling of this problem requires the coupling of the models for the fluid and the solid. For this purpose, we use a strategy based on the solution of coupled Riemann problems that has been originally developed for the coupling of 2 fluids. This concept is exemplified for the coupling of a linear elastic structure with an ideal gas. The coupling procedure relies on the solution of a nonlinear equation. Existence and uniqueness of the solution is proven. The coupling conditions are validated by means of quasi‐1D problems for which an explicit solution can be determined. For a more realistic scenario, a 2D application is considered where in a compressible single fluid, a hot gas bubble at low pressure collapses in a cold gas at high pressure near an adjacent structure.     

高职院校图书馆新生入馆教育工作创新研究

对几种新生入馆教育方式的优缺点进行了比较分析,以山东商务职业学院图书馆为例,详细介绍了宣传片拍摄要领及技巧,提出了一种综合性的新生入馆教育新模式.     

A survey of surface tension,molar volume and density for Sn–Ag–Cu–Bi–Sb quinary alloys as lead-free solders

ABSTRACT

By applying the geometric models and the theoretical equation, the surface tension, the molar volume and the density were studied. The empirical calculations were carried out in temperature range 623?K?≤?T?≤?1123?K. Only few thermophysical properties were estimated for eight quinary alloys: Sn3.55Ag0.5Cu3Bi3Sb, Sn3.48Ag0.5Cu3Bi5Sb, Sn3.48 Ag0.5Cu5Bi3Sb, Sn3.40 Ag0.5Cu5Bi5Sb, Sn3.53Ag1Cu3Bi3Sb, Sn3.46Ag1Cu3Bi5Sb, Sn3.46Ag1Cu5Bi3Sb, Sn3.38Ag1Cu5Bi5Sb. The results show that surface tension and density have a linear appearance for all temperatures. We have also studied the influence of the composition and temperature in the studied alloys. The obtained theoretical results are compared with the experimental ones and with the conventional Pb–Sn welds.     

A Layer-Stripping Method for 3D Near-Surface Velocity Model Building Using Seismic First-Arrival Times

In order to improve the efficiency of 3D near-surface velocity model building, we develop a layer-stripping method using seismic first-arrival times. The velocity model within a Common Mid-Point (CMP) ...     

连续刚构铁路桥收缩徐变效应监测与分析

对连续刚构铁路桥箱梁温度场及桥梁线形进行长期、连续监测,通过主梁跨中下挠的理论与实测对比揭示了连续刚构铁路桥收缩徐变效应。对比了国内外常用收缩徐变估算模型,选择CEB-FIP徐变模型对黄河特大连续刚构桥进行了有限元分析。采用实测温度数据,以箱梁内测温度、外侧温度、顶底板温度梯度、左右侧温度梯度作为箱梁温度场的评判指标,对箱梁1年内的四季温度场分布进行分析。在基于相同温度场的条件下,通过理论值与实测值对比,发现分析成果与实测结果较吻合,说明混凝土的收缩徐变是引起连续刚构铁路桥跨中下挠的主要原因,对比结果还说明通过改善箱梁顶底板应力差能够改善收缩徐变长期效应。     

A modern approach to the solution and analysis of the Simha-Somcynsky model for the description of pressure-volume-temperature properties of polymer fluids

We revisit the Simha-Somcynsky model of polymer fluids with the purpose of developing novel theoretical and computational approaches to simplify and speed up its solution as well as the fitting of experimental data, and decrease its level of mathematical complexity. We report a novel method that allows us to solve one of the two equations of the model exactly, thus putting the level of mathematical difficulty on a par with the one of other models for polymer fluids. Moreover, we describe a computational algorithm capable of fitting all five parameters of the model in an unbiased way. The results obtained reproduce literature results and fit experimental pressure-volume-temperature and solubility parameter data for three polymers very accurately. Moreover, the new techniques allow for the investigation of the model at very low temperatures. Unexpectedly, the model predicts behaviors that could be interpreted as a glass transition, as routinely observed in dilatometry and differential scanning calorimetry, and a glass phase. We compared the predicted and experimental T g’s for cis poly(1,4-butadiene) and found an excellent quantitative agreement.     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.