新一类广义强非线性拟-似变分包含问题

在Hilbert空间研究了新一类广义强非线性拟—似变分包含问题，给出了其解的存在唯一性证明，所得结果改进和推广了文献中的一些已知结果。     

基于二维矢量地图自动构建DEM方法研究

针对城市三维GIS研究中涉及到的利用矢量地形图建立数字高程模型（digital elevation model-DEM)问题进行了研究与实验，提出一种基于高程控制点自动聚集、集合内邻近控制点协作来自动识别等高线高程的数据采集方法，并将该方法应用于三维GIS平台的开发，取得了较好的实验效果。     

变形双重介质分形油藏渗流流动分析

研究了变形双重介质分形油藏渗流问题的压力不稳定响应 ,考虑了储层的双重介质特征和分形特征以及应力敏感地层中介质的变形问题 ,建立了新的应力敏感地层双重分形介质数学模型 ,包括只有裂缝发生形变和裂缝与岩石同时发生形变时定产量生产的两类数学模型。渗透率依赖于孔隙压力变化的流动方程是强非线性的 ,故采用数值方法求解了这些数学模型。探讨了分形参数、变形参数和双重介质参数变化时压力的变化规律 ,给出了典型的压力曲线图板。这些结果可用于试井分析。     

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.     

冻土墙墙体时空扩展过程中热能消耗的有限元分析

用于人工冻土墙形成过程相关计算的Sanger—Sayles经验公式是，Fourier热传导方程在单值热物理参数轴对称条件下的求解结果，对结构形成过程中冻结管吸热的计算采用了不合理的温度分布假设，计算结果不能令人满意。运用有限元分析程序，完成了对热物理参数非线性变化土体材料的人工冻结过程的计算分析，模拟了冻土墙时空扩展过程，研究了土体内的温度分布以及能量消耗等问题，在此基础上推导出的关于冻结过程的能量消耗计算的一般形式，对人工冻土墙的工程设计具有重要的指导意义。     

Design and Implementation of a Novel Algorithm for Iterative Decoding of Product Codes

A novel product code iterative decoding algorithm and its high speed implementation scheme are proposed in this paper.Based on partial combination of selected columns of check matrix,the reduced-complexity syndrome decoding method is proposed to decode sub-codes of product code and deliver soft output information.So iterative decoding of product codes is possible.The fast sorting algorithm and a look-up method are proposed for high speed implementation of this algo-rithm.Compared to the conventional weighing iterative algorithm,the proposed algorithm has lower complexity while offering better performance,which is demonstrated by simulations and implementation analysis.The implementation scheme and verilog HDL simulation show that it is feasible to achieve high speed decoding with the proposed algorithm.     

Multisymplectic five-point scheme for the nonlinear wave equation

In this paper, we introduce the multisymplectic structure of the nonlinear wave equation, and prove that the classical five-point scheme for the equation is multisymplectic. Numerical simulations of this multisymplectic scheme on highly oscillatory waves of the nonlinear Klein-Gordon equation and the collisions between kink and anti-kink solitons of the sine-Gordon equation are also provided. The multisymplectic schemes do not need to discrete PDEs in the space first as the symplectic schemes do and preserve not only the geometric structure of the PDEs accurately, but also their first integrals approximately such as the energy, the momentum and so on. Thus the multisymplectic schemes have better numerical stability and long-time numerical behavior than the energy-conserving scheme and the symplectic scheme.     

In-vehicle GPS/DR navigation system development and test results in Singapore

This paper introduces the in-car navigation system prototype development and test results under the context of Singapore. In the system, integrated GPS/DR is used for continuous vehicle positioning. A digital road network map database is built for the whole Singapore. The database is designed to support map matching, route determination, and route guidance functions. The prototype system demonstrates GPS positioning of the vehicle in real-time, tracking the vehicle onto a digital map with fix updates every one or two seconds.With the map matched vehicle location on the map, voice and/or text guidance is provide to the driver. The vehicle position can also be transferred to control centre through communication data link for the purpose of fleet management.     

An iterative algorithm in potential-field inversion

1　Principle and MethodAll the problems of potential- field inversioncan be concluded that of solving nonlinear functionas follows:b =f( x) ( 1 )where x =( x1,x2 ,… .xn) T,xj( j =1 ,2 ,… ,n)indicate geometricparameters and physical parame-ters of the object;b=( b1,b2 ,… ,bm) T,bi( i=1 ,2 ,… ,m) indicate potential- field measurements.Main algorithms for expression( 1 ) are leastsquare method ( include damping least squaremethod ) ,gradient method ( conjugate gradientmethod and variable met…     

一类Neumann边值问题的多重正解

通过没有(PS)条件的山路引理和对最佳Sobolev常数及能量泛函的分析，得到了一类具有次线性及临界增长组合非线性项的齐次Neumann问题多重正解的存在性。