数分布损伤失效率模型常应力下的参数估计

The TFR(Tampered Failure Rate) model was proposed by Bhattacharyya and Soejoeti(1989) for step-stress accelerated]ire tests. On step-stress completely accelerated test occasions, the paper gives a method of estimating parameters under a normal stress.     

颗粒增强复合材料相界面的动态应力分析

针对硬微粒填充高聚物复合材料因相界面脱粘开裂生成微孔洞的微损伤成核机制,取材料的代表体积单元进行动力分析,通过对粘弹性基体本构关系作Laplace变换建立了基本方程,并引入Hankel变换,得到了球对称动荷载作用下相界面应力变化规律的解析解,据此分析了惯性效应和粘性效应对界面脱粘的影响。     

The Effect of an Axial Magnetic Field at the Interface of a Crystal Grown by the Czochralski Method

A mathematical model has been developed which aims to give insightinto the transport phenomena in the vicinity of the interfaceof a crystal grown by the Czochralski method in the presenceof an axial magnetic field. The fluid flow, temperature andconcentration fields in this region have a strong effect onthe distribution of impurities and the occurrence of cracks,dislocations and other physical defects in the crystal and soknowledge and ultimately control of these factors is of greatpractical importance. The model incorporates rotation of both the crystal and crucibleby considering the crystal to be an infinite disc rotating ina semi-infinite fluid which may be rotating at infinity. Axialsymmetry is assumed and the magnetic Prandtl number is consideredto be very much less than unity. This means that induced currentscan be neglected and allows a similarity solution to be developed.The system of partial differential equations can then be replacedby an ordinary differential boundary-value problem which issolved numerically.     

回转对称结构应力分析新方法

提出了回转对称结构在任意荷载作用下的应力分析新方法。先利用离散Ｆｏｕｒｉｅｒ变换,将整个回转对称的分析等价地分解为一系列带有复数约束条件的单个扇区分析。然后以再构造了由两个完全相同扇区的构成的虚拟结构,并证明了吸要在虚拟结构上施加适当的外力实数约束条件,那么虚拟结构的位移结果与原来单个扇 区在复数约束条件的解答是完全一致的。虚拟结构在实数约束条件下的应力分析几乎所有的通用有限元素程序都可以解决。因     

The Immersed Interface Method for Simulating Two-Fluid Flows

We develop the immersed interface method (IIM) to simulate a two-fluid flow of two immiscible fluids with different density and viscosity. Due to the surface tension and the discontinuous fluid properties, the two-fluid flow has nonsmooth velocity and discontinuous pressure across the moving sharp interface separating the two fluids. The IIM computes the flow on a fixed Cartesian grid by incorporating into numerical schemes the necessary jump conditions induced by the interface. We present how to compute these necessary jump conditions from the analytical principal jump conditions derived in [Xu, DCDS, Supplement 2009, pp. 838-845]. We test our method on some canonical two-fluid flows. The results demonstrate that the method can handle large density and viscosity ratios, is second-order accurate in the infinity norm, and conserves mass inside a closed interface.     

A New Method for Estimating the Distribution of Scan Statistics for a Two-Dimensional Poisson Process

A method for estimating the distribution of scan statistics with high precisìon was introduced in Haiman (2000). Using that method sharp bounds for the errors were also established. This paper is concerned with the application of the method in Haiman (2000) to a two-dimensional Poisson process. The method involves the estimation by simulation of the conditional (fixed number of points) distribution of scan statistics for the particular rectangle sets of size 2 × 2, 2 × 3, 3 × 3, where the unit is the (1 × 1) dimension of the squared scanning window. In order to perform these particular estimations, we develop and test a perfect simulation algorithm. We then perform several numerical applications and compare our results with results obtained by other authors.     

Visualisation and proof: a brief survey of philosophical perspectives

The contribution of visualisation to mathematics and to mathematics education raises a number of questions of an epistemological nature. This paper is a brief survey of the ways in which visualisation is discussed in the literature on the philosophy of mathematics. The survey is not exhaustive, but pays special attention to the ways in which visualisation is thought to be useful to some aspects of mathematical proof, in particular the ones connected with explanation and justification.     

On the 3D Visualisation of Logical Relations

The central aim of this paper is to present a Boolean algebraic approach to the classical Aristotelian Relations of Opposition, namely Contradiction and (Sub)contrariety, and to provide a 3D visualisation of those relations based on the geometrical properties of Platonic and Archimedean solids. In the first part we start from the standard Generalized Quantifier analysis of expressions for comparative quantification to build the Comparative Quantifier Algebra CQA. The underlying scalar structure allows us to define the Aristotelian relations in Boolean terms and to propose a 3D visualisation by transforming a cube into an octahedron. In part two, the architecture of the CQA is shown to carry over, both to the classical quantifiers of Predicate Calculus and to the modal operators—which are given a Generalized Quantifier style re-interpretation. In this way we provide an algebraic foundation for Blanché’s Aristotelian hexagon as well as a 3D alternative to his 2D star-like visualisation. In a final part, a richer scalar structure is argued to underly the realm of Modality, thus generalizing the 3D algebra with eight (2³) operators to a 4D algebra with sixteen (2⁴) operators. The visual representation of the latter structure involves a transformation of the hypercube to a rhombic dodecahedron. The resulting 3D visualisation allows a straightforward embedding, not only of the classical Blanché star of Aristotelian relations or the paracomplete and paraconsistent stars of Béziau (Log Investig 10, 218–232, 2003) but also of three additional isomorphic Aristotelian constellations.     

Field Theory Method for Reconstructing the Stress Tensor in the Earth with a Movable Core

We reconstruct the stress tensor in the Earth's crust taking perturbations due to the motion of the Earth's hard core into account. In the first-order approximation, the density and pressure are functions of the total potential of all forces under consideration. We estimate the total free-energy balance and calculate the dependence of the free-energy density on latitude.     

杂交应力元的应力子空间和柔度矩阵H对角化方法

证明了：1）杂交元假设应力模式线性无关是柔度矩阵非奇异的充分必要条件;以及2）等价假设应力模式形成相同的杂交元,在此基础上建立了假设应力模式的希尔伯特应力子空间,从而可以持方法简单地得到等价的正交归一化应力模式,实现了柔度矩阵对角化,使得杂交元形成过程中完全避免了繁杂的矩阵求逆运算,极大地提高了杂交元分析的计算效率,数值算例表明该方法是确实有效的。     

Distribution of Deficit at Ruin for a PDMP Insurance Risk Model

In this paper we consider the risk process described by a piecewise deterministic Markov processes(PDMP). We mainly discuss the distribution of the deficit at ruin for the risk process. We derive the integrodifferential equation satisfied by this distribution. We obtain the explicit expressions for it for certain choices of the claim amount distribution.     

二流体系统中自由面及界面上的二阶椭圆余弦波*

本文考虑[1]中所建立的模式,采用约化摄动法及PLK方法,求得了自由面及界面上的二阶椭圆余弦波。在退化情况下与文[3]和[4]的结果符合。     

The Immersed Interface Method for a Nonlinear Chemical Diffusion Equation with Local Sites of Reactions

A diffusion equation with nonlinear localized chemical reactions is considered in this paper. As a result of the reactions, although the equation is parabolic, the derivatives of the solution are discontinuous across the interfaces (local sites of reactions). A second-order accurate immersed interface method is constructed for the diffusion equation involving interfaces. The new method is more accurate than the standard approach and it does not require the interfaces to be grid points. Several experiments that confirm second-order accuracy are presented. The efficiency of the proposed algorithm is also demonstrated for solving blow up problems. The proposed technique could be extended for construction of efficient numerical algorithms on uniform grids for the present equations with moving interfaces [9] but more analysis is required.     

On the Convergence of Finite Element Method for Second Order Elliptic Interface Problems

The purpose of this paper is to study the convergence of finite element approximation to the exact solution of general self-adjoint elliptic equations with discontinuous coefficients. Due to low global regularity of the solution, it is difficult to achieve optimal order of convergence with classical finite element methods [Numer. Math. 1998; 79:175–202]. In this paper, an isoparametric type of discretization is used to prove optimal order error estimates in L ² and H ¹ norms when the global regularity of the solution is low. The interface is assumed to be of arbitrary shape and is smooth for our purpose. Further, for the purpose of numerical computations, we discuss the effect of numerical quadrature on finite element solution, and the related optimal order estimates are also established.