基于波动方程的聚焦点控制照明叠前深度偏移

 基于波动方程的聚焦点控制照明叠前深度偏移技术借助于差分计算，把速度、密度等介质参数的影响体现在差分计算的矩阵方程中，能够自动适应速度场的任意变化，快速傅里叶变换的使用也加速了波场延拓的计算速度。因此此法兼具有限差分偏移方法和傅里叶偏移方法的优点，既可适应速度场的剧烈变化，又可保证对陡倾地层的成像效果，是目前针对复杂构造最有效的成像方法之一。对于单个聚焦点及其周围的成像步骤为：①采用矩形网格情况下绕射走时的有限差分计算方法生成合成算子；②应用合成算子来合成面炮震源和面波记录；③对合成的面炮震源和面波记录做傅里叶有限差分法波动方程叠前深度偏移，得到该聚焦点及其附近区域的成像结果。按照上述成像步骤，将震源波场和炮集记录依据相应的外推公式进行延拓，最终应用成像条件求取成像值。在地质目标处选取多个聚焦点，可以得到面向目标的控制照明偏移成像，在多个层位上选取多个聚焦点进行控制照明叠前深度偏移，可以得到整块区域的成像。通过对Marmousi模型的试算，取得了较好的效果。     

Using linear models in optimizing parameters of time-triggered protocols

A mechanism of synchronization of components of distributed systems in which communications are based on a common time schedule for all system components is illustrated by examples of simple Time-Triggered Protocols. For parametric linear models of synchronization, the optimization problem is considered for a parameter that should exclude the overlapping of messages in communication channels. The results of using numeric methods for estimation of the optimal value of this parameter are described. __________ Translated from Kibernetika i Sistemnyi Analiz, No. 3, pp. 24–32, May–June 2006.     

双光子Jaynes－Cummings模型的亚泊松光子统计特性研究

本文利用量子电动力学理论和缀饰原于方法，对双光子Ｊａｍｅｓ－Ｃｕｍｍｉｎｇｓ模型中单模激光场的稳态亚泊松光子统计性质进行了系统研究。结果表明：激光上能级相对泵浦参量Ｘａ具有一个确定的阈值Ｘａｔ；当Ｘａ＞Ｘａｔ时，光场呈现亚泊松光子统计；而当Ｘａ＞＞Ｘａｔ时，光场将呈现出深度且完全恒定的亚泊松光子统计。     

Conforming spectral methods for Poisson problems in cuboidal domains

A Chebyshev collocation strategy is introduced for the subdivision of cuboids into cuboidal subdomains (elements). These elements are conforming, which means that the approximation to the solution isC ⁰ continuous at all points across their interfaces.     

莺-琼盆地的独特埋藏史

通过沉积速率线性外推剥蚀厚度恢复、脱压实和异常高压以及古水深校正的单井埋藏史和连井埋藏剖面及构造沉降分析,发现莺-琼盆地是个多旋回沉积盆地,其沉积物埋藏过程可分为早期缓慢浅埋和晚期快速深埋两大阶段.这种独特的埋藏历史不仅是储层孔隙增生与保存的主要控制因素之一,而且极大地影响了烃源岩于酪根热解反应路径、烃类的运移和聚集,异常高压的发育以及所发生的复杂的水(气)—岩相互作用.涸11-4油田位于南海北部湾盆地涸西南凹陷,距广西北海市103km,离涸10-3油田17km.油田于1993年9月19日投产,目前开发形势较好,产量、压力稳定.在开发实践中我们体会到,要提高油田开发水平,搞好油藏监测是非常重要的.1钻井和完井过程中的油藏监测     

以数字搜索树表示的二值图象的几何变换

本文介绍以数字搜索树表示的二值图象的一种几何变换算法，文中讨论了四分区与正四边区的基本关系，输出ＤＳＴ结点成立的充分条件，给出了完整的几何变换算法并对算法的复杂性作了分析。     

Input-output finite-time stability of time-varying linear singular systems

This paper studies the input-output finite-time stabilization problem for time-varying linear singular systems. The output and the input refer to the controlled output and the disturbance input,respectively.Two classes of disturbance inputs are considered,which belong to L-two and L-infinity.Sufficient conditions are firstly provided which guarantee the input-output finite-time stability.Based on this,state feedback controllers are designed such that the resultant closed-loop systems are input-output finite-time stable.The conditions are presented in terms of differential linear matrix inequalities.Finally,an example is presented to show the validity of the proposed results.     

Stability analysis for discrete linear systems with state saturation by a saturation-dependent Lyapunov functional

This paper concerns the stability analysis problem of discrete linear systems with state saturation using a saturation-dependent Lyapunov functional.We introduce a free matrix characterized by the sum of the absolute value of each elements for each row less than 1,which makes the state with saturation constraint reside in a convex polyhedron.A saturation-dependent Lyapunov functional is then designed to obtain a sufficient condition for such systems to be globally asymptotically stable.Based on this stability criterion,the state feedback control law synthesis problem is also studied.The obtained results are formulated in terms of bilinear matrix inequalities that can be solved by the presented iterative linear matrix inequality algorithm.Two numerical examples are used to demonstrate the effectiveness of the proposed method.     

基于Matlab的线性规划问题求解

线性规划是运筹学中研究较早、发展较快、应用广泛、方法成熟的一个重要分支,它是辅助人们进行科学管理的一种重要的数学方法.文章首先介绍了线性规划的基本概念及标准形式,着重讨论了线性规划问题的三种常用解法:单纯形法、直接搜索法以及遗传算法,最后在Matlab R2009a环境下进行了仿真.通过结果可以看出,用Matlab求解线性规划问题,可以避免手工的烦琐计算,大大地提高工作效率和结果的准确性.     

一些特殊方程的计算机程序解法

在人们生产、生活、以及科学研究中,常常会出现一些不容易求解的非线性方程或非线性方程组等特殊方程。文章运用数学知识和计算机MATLAB语言,介绍了这些方程的求解,从而快速得到这些方程的解。