Two-dimensional frequency-domain acoustic fullwaveform inversion with rugged topography

We studied finite-element-method-based two-dimensional frequency-domain acoustic FWI under rugged topography conditions. The exponential attenuation boundary condition suitable for rugged topography is proposed to solve the cutoff botmdary problem as well as to consider the requirement of using the same subdivision grid in joint multifrequency inversion. The proposed method introduces the attenuation factor, and by adjusting it, acoustic waves are sufficiently attenuated in the attenuation layer to minimize the cutoff boundary effect. Based on the law of exponential attenuation, expressions for computing the attenuation factor and the thickness of attenuation layers are derived for different frequencies. In multifrequency-domain FWI, the conjugate gradient method is used to solve equations in the Gauss-Newton algorithm and thus minimize the computation cost in calculating the Hessian matrix. In addition, the effect of initial model selection and frequency combination on FWI is analyzed. Examples using numerical simulations and FWI calculations are used to verify the efficiency of the proposed method.

法国减刑制度的最新发展

2004年3月9日法以来,法国的减刑制度经历了重要改革。在实体上更加放宽,规定了多样化的、极具特色的减刑种类,包括信用减刑、额外减刑、有条件减刑和特别减刑。这四种减刑分别独立适用,且所减刑期可以叠加。在程序上更加严格,引入司法化程序,由司法官主导,且赋予犯罪人辩护权、上诉权、聘请律师权等。法国种类多样、程序严格的减刑制度对我国减刑制度改革具有重要借鉴意义。