Mathematical modelling of rock bolt systems II

The main goal of the paper is to describe a reinforcement consisting of fully grouted bolts, which is applied to stabilizing underground openings and tunnels. After a variational formulation is given, the existence and uniqueness is proved. Some asymptotic results that make it possible to replace the real system with a continuous one more suitable for discretization are presented. Some other types of reinforcements and properties are studied.     

Stability of the steady state for the Falk model system of shape memory alloys

In this article a stability result for the Falk model system is proven. The Falk model system describes the martensitic phase transitions in shape memory alloys. In our setting, the steady state is a nonlocal elliptic problem. We show the dynamical stability for the linearized stable critical point of the corresponding functional. Copyright © 2007 John Wiley & Sons, Ltd.     

Mathematical modelling of rock bolt systems I

The main goal of the paper is to give a variational formulation of the behaviour of bolt systems in rock mass. The problem arises in geomechanics where bolt systems are applied to reinforce underground openings by inserting steel bars or cables. After giving a variational formulation, we prove the existence and uniqueness and some other properties.     

Mathematical Model of Ice Melting on Transmission Lines

During ice storms, ice forms on high voltage electrical lines. This ice formation often results in downed lines and has been responsible for considerable damage to life and property as was evidenced in the catastrophic ice storm of Quebec recently. There are two main aspects, viz., the formation of ice and its timely mitigation. In this paper, we mathematically model the melting of ice due to a higher current applied to the transmission wire. The two dimensional cross-section contains four layers consisting of the transmission wire, water due to melting of ice, ice, and the atmosphere. The model includes heat equations for the various regions with suitable boundary conditions. Heat propagation and ice melting are expressed as a Stefan-like problem for the moving boundary between the layers of ice and water. The model takes into account gravity which leads to downward motion of ice and to forced convection of heat in the water layer. In this paper, the results are applied to the case when the cross-sections are concentric circles to yield melting times for ice dependent on the increase in intensity of the electrical flow in the line. This research has been supported in part by Manitoba Hydro and NSERC.     

Existence and uniqueness of solutions of elastic string with moving ends

A mathematical model for the small vibration of an elastic string is considered. The model takes into account the change of tension due to the movement of the end points of the string. Under the assumptions that the speed of the moving ends be less than the characteristic speed of the equation, the existence and the uniqueness of local weak solution and global strong solution are proved. Copyright © 2004 John Wiley & Sons, Ltd.     

Stationary solutions to the Falk system on shape memory alloys

We study the Falk model system describing martensitic phase transitions in shape memory alloys. Its physically closed stationary state is formulated as a nonlinear eigenvalue problem with a non‐local term. Then, some results on existence, stability, and bifurcation of the solution are proven. In particular, we prove the existence of dynamically stable nontrivial stationary solutions. Copyright © 2009 John Wiley & Sons, Ltd.     

一类奇异非线性边界值问题正解的存在性和非唯一性

本文研究了一类奇异非线性边界值问题ｇ^ｐ（ｘ）ｇ″（ｘ）＋ｈ（ｘ）＝０，－ｋ＜ｘ＜１，ｇ′（－ｋ）＝Ｃ，ｇ（１）＝０，ｋ＞０正解的存在性和非唯一性．问题起源于幂律流体理论中著名的边界层方程．     

Dynamic analysis of a non-conservative band-wheel system with a moving boundary Part 1: Mathematical modelling

The dynamic band/wheel system with a moving boundary is very different from that with a fixed length, it is a non-conservative mass system and the boundary position is not fixed. In this paper, the moving boundary is one unknown to be determined associated with the string displacement, and the partial differential equation of the transverse vibrations of the band and the transversality condition of the moving boundary are derived by the calculus of variation and Hamilton’s principle. In order to verify the dynamic formulation is correct, we reduce the governing equation and separation point to coincide with the previous studies. It is found that the physical properties of the moving boundary could be obtained from the geometric constraint of the band/wheel system.     

Mathematical modelling of heat transfer in a catalytic reformer

In this work we analyse heat transfer in a system of channelsconnected by thin conducting walls. The channels are packedwith catalytic pellets that promote exothermic catalytic combustionreactions and endothermic reforming reactions in adjacent channels.A model is developed in which the thermal conductivity and thethickness of the interconnecting wall can be used as controlparameters characterizing the heat exchange between the neighbouringchannels. The model is to be used as a mathematical tool toanalyse design alternatives and develop accurate numerical techniques.Our objective is to study how the heat is transferred acrossthe conducting walls and how this influences the temperaturedistribution in the channels. We use an asymptotic techniqueto do this. The structure of the walls is then examined in detail,focusing on the case when we have layered walls.     

Mathematical modelling of the catalyst layer of a polymer electrolyte fuel cell

In this paper, we derive a mathematical model for the cathodecatalyst layer of a polymer electrolyte fuel cell. The modelexplicitly incorporates the restriction placed on oxygen inreaching the reaction sites, capturing the experimentally observedfall in the current density to a limiting value at low cellvoltages. Temperature variations and interfacial transfer ofO₂ between the dissolved and gas phases are also included. Boundson the solutions are derived from which we provide a rigourousproof that the model admits a solution. Of particular interestare the maximum and minimum attainable values. We perform anasymptotic analysis in several limits inherent in the problemby identifying important groupings of parameters. This analysisreveals a number of key relationships between the solutions,including the current density, and the composition of the layer.A comparison of numerically computed solutions and asymptoticsolutions shows very good agreement. Implications of the resultsare discussed and future work is outlined.     

矩阵方程AoA-T=1/2J2的实数解的应用

相对增益阵列(RGA)大多数应用的矩阵阶数都是较小的(n=2,3或4). 我们从矩阵方程Φ(A)=1/2J2的实数解出发,应用矩阵方程Φ(A)=1/nJn的实数解在G-等价下的不变性和实数解的分块构造法,研究了Φ(A)=1/4J4的实数解的一些问题.     

On Periodic Solutions of Linear Control Systems

We prove a theorem of the alternative concerning periodic solutions of linear control systems. We show that, if the attainable sets have nonempty interior, then the main condition assumed in Theorem 4.2 of Ref. 1 (a tangential condition) can be weakened and simplified, and a stronger conclusion can be obtained.     

一类半线性积分微分方程初边值问题的爆破解和全局解

本文研究初边值问题的爆破解和全局解，证明了在ｆ的凸性假设和一定的增长性假定下解在有限时刻爆破，而在ｆ的其他假设下证明了全局解的存在性。     

一维$P$-Laplace二阶差分系统奇异边值问题正解的存在性

应用锥压缩锥拉伸不动点定理和Leray-Schauder 抉择定理研究了一类具有P-Laplace算子的奇异离散边值问题$$\left\{\begin{array}{l}\Delta[\phi (\Delta x(i-1))]+ q_{1}(i)f_{1}(i,x(i),y(i))=0, ~~~i\in \{1,2,...,T\}\\\Delta[\phi (\Delta y(i-1))]+ q_{2}(i)f_{2}(i,x(i),y(i))=0,\\x(0)=x(T+1)=y(0)=y(T+1)=0,\end{array}\right.$$的单一和多重正解的存在性,其中$\phi(s) = |s|^{p-2}s, ~p>1$,非线性项$f_{k}(i,x,y)(k=1,2)$在$(x,y)=(0,0)$具有奇性.     

四阶奇异边值问题的正解

研究了一类四阶奇异边值问题正解的存在性,在f和g满足比超线性和次线性条件更广泛的极限条件下,利用锥压缩和拉伸不动点定理获得了正解的存在性结果,推广和包含了一些已知结果.     

二阶奇异微分方程边值问题正解的存在性

该文通过构造一个特殊的锥,利用锥压缩与锥拉伸不动点定理,研究了一类二阶奇异微分方程边值问题两个正解的存在性,改进了最近的一些结果.     

四阶奇异边值问题的正解

该文利用锥不动点理论，分别给出了超线性四阶微分方程奇异边值问题正解存在的充分条件和充分必要条件.     

The transmission problem in bending of plates with transverse shear deformation

The existence of weak solutions is proved for contact problemsin bending of elastic plates with transverse shear deformation,and for various boundary integral equations arising from potentialrepresentations of such solutions.     

Numerical Simulation of Red Blood Cell Suspensions Behind a Moving Interface in a Capillary

Computational modeling and simulation are presented on the motion of red blood cells behind a moving interface in a capillary. The methodology is based on an immersed boundary method and the skeleton structure of the red blood cell (RBC) membrane is modeled as a spring network. As by the nature of the problem, the computational domain is moving with either a designated RBC or an interface in an infinitely long two-dimensional channel with an undisturbed flow field in front of the computational domain. The tanking-treading and the inclination angle of a cell in a simple shear flow are briefly discussed for the validation purpose. We then present and discuss the results of the motion of red blood cells behind a moving interface in a capillary, which show that the RBCs with higher velocity than the interface speed form a concentrated slug behind the moving interface.     

二阶两点边值问题的多解存在性

本文讨论一类二阶两点边值问题$x^{\prime\prime}(t)+f(t,x(t),x^{\prime}(t))=0, t\in (0, 1)$, $a x(0)-b x^\prime(0)=0, ~~c x(1)+d x^\prime(1)=0$,~~其中 $f:[0,1]\times R^2\longrightarrow R$ 是连续的, $ a>0,b\ge 0,c>0,d\ge 0$. 通过运用上下解方法和 Leray-Schauder 度理论,得到了三个解的存在性结果.