Global Optimal Image Reconstruction from Blurred Noisy Data by a Bayesian Approach

In this paper, a procedure is presented which allows the optimal reconstruction of images from blurred noisy data. The procedure relies on a general Bayesian approach, which makes proper use of all the available information. Special attention is devoted to the informative content of the edges; thus, a preprocessing phase is included, with the aim of estimating the jump sizes in the gray level. The optimization phase follows; existence and uniqueness of the solution is secured. The procedure is tested against simple simulated data and real data.     

抓好数学建模竞赛 推动数学教学改革

本文通过近几年组织数学建模教学和指导学生参加竞赛的实践 ,探索抓好数学建模竞赛 ,促进数学教学改革 ,推动数学素质教育 ,提高人才培养质量的途径、措施和方法     

Fuzzy logic in measurements

Our main interest in this paper is to translate from “natural language” into “system theoretical language”. This is of course important since a statement in system theory can be analyzed mathematically or computationally. We assume that, in order to obtain a good translation, “system theoretical language” should have great power of expression. Thus we first propose a new frame of system theory, which includes the concepts of “measurement” as well as “state equation”. And we show that a certain statement in usual conversation, i.e., fuzzy modus ponens with the word “very”, can be translated into a statement in the new frame of system theory. Though our result is merely one example of the translation from “natural language” into “system theoretical language”, we believe that our method is fairly general.     

Spatial Lanchester models

Lanchester equations have been widely used to model combat for many years, nevertheless, one of their most important limitations has been their failure to model the spatial dimension of the problems. Despite the fact that some efforts have been made in order to overcome this drawback, mainly through the use of Reaction–Diffusion equations, there is not yet a consistently clear theoretical framework linking Lanchester equations with these physical systems, apart from similarity. In this paper, a spatial modeling of Lanchester equations is conceptualized on the basis of explicit movement dynamics and balance of forces, ensuring stability and theoretical consistency with the original model. This formulation allows a better understanding and interpretation of the problem, thus improving the current treatment, modeling and comprehension of warfare applications. Finally, as a numerical illustration, a new spatial model of responsive movement is developed, confirming that location influences the results of modeling attrition conflict between two opposite forces.     

Coupled Models and Parallel Simulations for Three-Dimensional Full-Stokes Ice Sheet Modeling

A three-dimensional full-Stokes computational model is considered for determining the dynamics,temperature,and thickness of ice sheets.The goveming thermomechanical equations consist of the three-dimensional full-Stokes system with nonlinear rheology for the momentum,an advective-diffusion energy equation for temperature evolution,and a mass conservation equation for ice-thickness changes.Here,we discuss the variable resolution meshes,the finite element discretizations,and the parallel algorithms employed by the model components.The solvers are integrated through a well-designed coupler for the exchange of parametric data between components.The discretization utilizes high-quality,variable-resolution centroidal Voronoi Delaunay triangulation meshing and existing parallel solvers.We demonstrate the gridding technology,discretization schemes,and the efficiency and scalability of the parallel solvers through computational experiments using both simplified geometries arising from benchmark test problems and a realistic Greenland ice sheet geometry.     

神经元的形态分类和识别

对神经元特性的认识,最基本问题是神经元的分类.神经元的形态复杂多样,神经元的识别分类问题有相当的困难.对提供的参考数据进行统计分析,将其转化成对应每类神经元的空间形态的指标参数,然后对每个指标进行定性分析和对比分析,确定对各类型神经元细胞识别起关键作用的指标,利用层次分析法、图形截面、几何相似性等分析方法建立神经元的分类模型.分类模型能够将附录提供的神经元进行准确的分类.数据分析采用开源科学计算软件Scilab进行处理,运行环境为Scilab5.2,部分代码采用C#基于VS2008开发.     

从对比中更好地把握微积分的教学改革

美国微积分教学改革的许多方面值得借鉴.从对比的角度反思微积分教改的不足和差距,以便更好地把握今后的教改工作,明确在点点滴滴的教学过程中,应当实实在在地做些什么、怎么做.     

Prediction of the penetrated rust into the microcracks of concrete caused by reinforcement corrosion

Consider a steel-rust-concrete composite consisting of a circular cylindrical concrete cover and a coaxial uniformly corroding steel reinforcement. Prediction of the amount of rust penetrated into the microcracks of concrete cover from a set of data measured at the surface of the concrete is of particular interest. The steel is assumed to be linear isotropic and rust follows a power law stress–strain relation. For the concrete, anisotropic behavior and post-cracking softening model is employed. The formulations lead to a nonlinear boundary value problem which is solved analytically. A key parameter β, defined as the ratio of the volume of corrosion products inside the cracks to the volume of the cracks, is calculated. With some efforts, this parameter is also extracted from the available theoretical and experimental studies for the purpose of comparison. The effects of the mechanical properties of rust and concrete on β is addressed.     

Assessment of turbulence modeling for gas flow in two-dimensional convergent–divergent rocket nozzle

In the present study, the turbulent gas flow dynamics in a two-dimensional convergent–divergent rocket nozzle is numerically predicted and the associated physical phenomena are investigated for various operating conditions. The nozzle is assumed to have impermeable and adiabatic walls with a flow straightener in the upstream side and is connected to a plenum surrounding the nozzle geometry and extended in the downstream direction. In this integrated component model, the inlet flow is assumed a two-dimensional, steady, compressible, turbulent and subsonic. The physics based mathematical model of the considered flow consists of conservation of mass, momentum and energy equations subject to appropriate boundary conditions as defined by the physical problem stated above. The system of the governing equations with turbulent effects is solved numerically using different turbulence models to demonstrate their numerical accuracy in predicting the characteristics of turbulent gas flow in such complex geometry. The performance of the different turbulence models adopted has been assessed by comparing the obtained results of the static wall pressure and the shock position with the available experimental and numerical data. The dimensionless shear stress at the nozzle wall and the separation point are also computed and the flow field is illustrated. The various implemented turbulence models have shown different behavior of the turbulent characteristics. However, the shear-stress transport (SST) k–ω model exhibits the best overall agreement with the experimental measurements. In general, the proposed numerical procedure applied in the present paper shows good capability in predicting the physical phenomena and the flow characteristics encountered in such kinds of complex turbulent flow.