Qualitative properties of stationary measures for three-dimensional Navier-Stokes equations

The paper is devoted to studying the distribution of stationary solutions for 3D Navier-Stokes equations perturbed by a random force. Under a non-degeneracy assumption, we show that the support of such a distribution coincides with the entire phase space, and its finite-dimensional projections are minorised by a measure possessing an almost surely positive smooth density with respect to the Lebesgue measure. Similar assertions are true for weak solutions of the Cauchy problem with a regular initial function. The results of this paper were announced in the short note [A. Shirikyan, Controllability of three-dimensional Navier-Stokes equations and applications, in: Sémin. Équ. Dériv. Partielles, 2005-2006, École Polytech., Palaiseau, 2006].     

Artificial time integration

Many recent algorithmic approaches involve the construction of a differential equation model for computational purposes, typically by introducing an artificial time variable. The actual computational model involves a discretization of the now time-dependent differential system, usually employing forward Euler. The resulting dynamics of such an algorithm is then a discrete dynamics, and it is expected to be “close enough” to the dynamics of the continuous system (which is typically easier to analyze) provided that small – hence many – time steps, or iterations, are taken. Indeed, recent papers in inverse problems and image processing routinely report results requiring thousands of iterations to converge. This makes one wonder if and how the computational modeling process can be improved to better reflect the actual properties sought. In this article we elaborate on several problem instances that illustrate the above observations. Algorithms may often lend themselves to a dual interpretation, in terms of a simply discretized differential equation with artificial time and in terms of a simple optimization algorithm; such a dual interpretation can be advantageous. We show how a broader computational modeling approach may possibly lead to algorithms with improved efficiency. AMS subject classification (2000)  65L05, 65M32, 65N21, 65N22, 65D18     

The Exact Solutions of Some (2 + 1)-Dimensional Integrable Systems

The equivalence of three (2 1)-dimensional soliton equations is proved, and the quite generalsolutionswitha some arbitrary functions of x, t and y respectively are obtained. By selecting the arbitrary functions, many specialtypes of the localized excitations like the solitoff solitons, multi-dromion solutions, lump, and multi-ring soliton solutionsare obtained.     

松纵坑切梢小蠹虫害的仿真模型与生态防治的优化策略

根据松纵坑切梢小蠹的主要生物学特征,通过分析抚育间伐持续控制松纵坑切梢小蠹虫害的机理,应用复杂适应系统(CA S)理论,建立了模拟松纵坑切梢小蠹虫害的一种动态演化数学模型,并讨论了模型的收敛性.然后选用昆明小哨林场为背景,进行了各种抚育间伐决策的仿真,从中优选抚育间伐决策.结果表明:模拟优化方案与实际调查统计分析结果一致:均为弱度间伐与中弱度间伐控制蠹害效果最好.最后通过森林积材量与虫害程度之间的优化,给出了抚育间伐的优化策略.     

小型建筑施工企业机械设备维修保养制度探析

小型建筑施工企业建立科学合理的机械设备维修保养制度，是保证工程质量和提高企业经济效益的重要环节。     

The Hamiltonian Canonical Form for Euler-Lagrange Equations

Based on the theory of calculus of variation, some suffcient conditions are given for some Euler-Lagrangcequations to be equivalently represented by finite or even infinite many Hamiltonian canonical equations. Meanwhile,some further applications for equations such as the KdV equation, MKdV equation, the general linear Euler Lagrangeequation and the cylindric shell equations are given.     

Finitely additive integration and local integration with respect to upper integrals

Summary We study the integration theory for general integral metrics when restricted to upper integrals q, finding improvements in the relation between the classes of the q-integrable and the q_l-integrable functions. We give new results and notions which lead to the desirable characterizations of q-integrable functions as q_l-integrable f with q(|f|) < ∞, and of q_l-integrable functions via the integrability of their upper truncations, under natural conditions which are fulfilled in most finitely additive integration theories.     

19F+27Al耗散反应中双核系统的转动与形变

测量了¹⁹F+²⁷Al耗散反应产物B,C,N,O,F和Ne的激发函数,入射束流的能量从110.25MeV到118.75MeV, 能量步长为250keV. 从产物的 能量自关联函数中提取了反应中所形成的中间双核系统的转动惯量, 与相粘模型计算的刚体转动惯量相比较, 结果表明形成的双核系统有大的形变.     

Generic Transport Aft-body Drag Reduction using Active Flow Control

Active flow-separation control is an effective and efficient mean for drag reduction and unsteady load alleviation resulting from locally or massively separated flow. Such a situation occurs in configurations where the aerodynamic performance is of secondary importance to functionality. The performance of heavy transport helicopters and aeroplanes, having a large, and almost flat, aft loading ramp suffer from the poor aerodynamics of the aft body. Hence, a combined experimental and numerical investigation was undertaken on a generic transport aeroplane/helicopter configuration. The experimental study provided surface pressures, direct drag measurements, surface and smoke flow visualization. The baseline flow was numerically analyzed, using finite volume solutions of the RANS equations. The baseline flow around the model was insensitive to the Reynolds number in the range it was tested. The flow separating from the aft body was characterized by two main sources of drag and unsteadiness. The first is a separation bubble residing at the lower ramp corner and the second is a pair of vortex systems developing and separating from the sides of the ramp. As the model incidence is decreased, the pair of vortex systems also penetrates deeper towards the centerline of the ramp, decreasing the pressure and increasing the drag. As expected, the ramp lower corner bubble was highly receptive to periodic excitation introduced from four addressable piezo-fluidic actuators situated at the ramp lower corner. Total drag was reduced by 3–11%, depending on the model incidence. There are indications that the flow in the wake of the model is also significantly steadier when the bubble at the lower ramp corner is eliminated. The vortex system is tighter and steadier when the ramp-corner bubble is eliminated.