A surface-based DNA algorithm for the minimal vertex cover problem

Abstract DNA computing was proposed for solving a class of intractable computational problems, of which the computing timewill grow exponentially with the problem size. Up to now, many achievements have been made to improve its performance and increase itsreliability. It has been shown many times that the surface-based DNA computing technique has very low error rate, but the technique hasnot been widely used in the DNA computing algorithms design. In this paper, a surface-based DNA computing algorithm for minimal ver-tex cover problem, a problem well-known for its exponential difficulty, is introduced. This work provides further evidence for the abilityof surface-based DNA computing in solving NP-complete problems.     

Compact difference approximation with consistent boundary condition

For simulating multi-scale complex flow fields it should be noted that all the physical quantities we are interested in must be simulated well. With limitation of the computer resources it is preferred to use high order accurate difference schemes. Because of their high accuracy and small stencil of grid points computational fluid dynamics (CFD) workers pay more attention to compact schemes recently. For simulating the complex flow fields the treatment of boundary conditions at the far field boundary points and near far field boundary points is very important. According to authors' experience and published results some aspects of boundary condition treatment for far field boundary are presented, and the emphasis is on treatment of boundary conditions for the upwind compact schemes. The consistent treatment of boundary conditions at the near boundary points is also discussed. At the end of the paper are given some numerical examples. The computed results with presented method are satisfactory.     

边界单元法三维应力分析计算程序

以三维弹性力学问题的基本解 (Kelvin解 )为基础开发了边界单元法三维弹性应力分析计算程序 ,并对其进行了验证。结果表明 ,该程序可用来求解三维弹性应力问题 ,尤其适用于三维应力集中问题。程序中采用动态分配内存 ,自动选点积分 ,并利用分块解法求解方程组 ,有效地节省了计算机资源 ,扩大了求解问题的规模。     

Shakedown Analysis of 3-D Structures Using the Boundary Element Method Based on the Static Theorem

The static shakedown theorem was reformulated for the boundary element method (BEM) rather than the finite element method with Melan‘s theorem, then used to develop a numerical solution procedure for shakedown analysis. The self-equilibrium stress field was constructed by a linear combination of several basis self-equilibrium stress fields with undetermined parameters. These basis self-equilibrium stress fields were expressed as elastic responses of the body to imposed permanent strains obtained using a 3-D BEM elastic-plastic incremental analysis. The lower bound for the shakedown load was obtained from a series of nonlinear mathematical programming problems solved using the Complex method. Numerical examples verified the precision of the present method.     

测度链上非线性微分方程的特征值问题

讨论了非线性特征值问题 u△△(t) λa(t)f(u(δ(t) ) ) =0 ,t∈ [0 ,1]u(0 ) =0 =u(δ(1) ) 正解的存在性 .这里 [0 ,1]是一可测链 ,a与f取正值 ,且limx→ 0 f(x)x 与limx→∞f(x)x 不一定存在     

关于常微分方程初值问题数值解误差的探讨

引用B样条插值函数讨论了一阶常微分方程初值问题的数值解 ,给出一个隐式近似求解公式 ,并得到此公式的局部截断误差为O(h5) ,整体截断误差为O(h4 ) .在此基础上又给出了一个校正显式求解公式 ,其局部截断误差为O(h4 ) .     

具有Neumann边界及临界Sobolev指数的半线性抛物方程

主要运用能量方法及稳定集和不稳定集的观点,研究一类半线性抛物方程的整体解和局部解的存在性及爆破问题.这里Ω是RN(N≥3)上的光滑有界区域,2 是临界Sobolev指数.     

农地承包权的历史考察及法律问题

随着《农村土地承包法》的颁布,农村土地承包经营权的相关问题再一次成为法学界争论的焦点。土地承包经营权是农村家庭联产承包责任制在法律上的具体体现,是具有中国特色的一种新型权利。通过对土地承包经营权的历史性考察,可以对我国土地承包经营权相关立法和司法提供参考。     

两类熵密度规划的对偶规划和最优性条件

基于广义的Fenchel对偶定理及其相应的Kuhn-Tucker条件，给出了带有二次约束和熵密度约束的二次规划问题和熵密度问题的对偶规划，强对偶定理以及Kuhn-Tucker条件。     

带阻尼的弹性碰撞问题的周期解

运用延拓引理与逼近框架,对于一类带阻尼的二阶碰撞方程,证明了2π 周期碰撞允许(admissible)解的存在性.