离散事件动态系统的GSMP模型及扰动分析

对离散事件动态系统（ＤＥＤＳ）的仿真过程建立了包含中断事件集和驱动事件集的广义半马尔可夫过程（ＧＳＭＰ）模型，对参数的无穷小扰动所引起的系统状态转移时刻进行了扰动分析．最后，讨论了扰动分析所需要的可交换条件和样本性能函数的关系。

GSMP2004春季会议在巴黎召开

2004年4月26～29日．GSMP2004春季会议在巴黎召开．中国物品编码中心派人参会。这次会议规模空前．来自29个国家和地区共310位代表出席。

宽频高分辨率处理与多次波衰减新方法在南海珠江口盆地X工区的应用

南海珠江口盆地是我国重要的油气资源产区,该产区的浅海区域内多次波发育严重。文中以信号预处理得到的高信噪比数据为基础,测试了一套宽频提高分辨率及多次波衰减的处理思路。在宽频高分辨率处理方面,通过应用自适应鬼波压制技术结合成像域保幅性BWXT拓频技术得到高分辨率数据体。针对浅海自由表面多次波,在数据域采用确定性水层多次波预测技术与广义表层多次波预测技术进行联合压制,结果显示该两种方法的组合使用能有效压制该区域内的水面相关多次波。通过对各技术方法处理前后的道集、频谱、叠前时间偏移剖面的质控分析可以发现,该处理流程在珠江口盆地X工区的地震资料处理中有很好的应用效果,多次波得到有效衰减。最终生成的宽频高分辨率地震数据为后期高精度储层预测及地质研究工作奠定了坚实的基础。且文中提出的处理思路对浅海海洋资料高分辨率处理具有很强的适用性,可推广应用于类似海洋环境的数据处理中。

IP波长路由器的设计研究

将IP路由器和光交叉连接器集成在一起构成一种新的节点结构 ,由这种节点所组成的网络成为一种很有吸引力的下一代光互联网结构。IP波长路由技术就是基于这种网络结构而提出的 ,它包含了GMPLS(广义多协议标记交换 )交换和转发序列中的两种粒度 :分组和波长。研究了IP波长路由器的设计问题。首先分析了有关文献中给出的一种节点结构所存在的问题和局限 ,然后提出一种新型节点结构以解决这些问题。另外 ,将IP交换的两个协议IFMP(Ipsilon数据流管理协议 )和GSMP(通用交换机管理协议 )进行适当扩展 ,用来支持IP波长路由网络。最后对IP波长路由器的主要模块———流分类器的选择以及IP波长路由器性能参量的确定进行了讨论。

东海多次波压制的关键技术

东海陆架属于典型的浅水区,受海面、海底以及新近系底界面等强反射界面的影响,普遍发育多种类型多次波干扰,使得中深部地震反射信号被掩盖,影响了深部的成像品质。常规SRME或者DWD的方法无法有效地对多次波进行压制。笔者采用组合压制方法对东海陆架二维地震数据进行处理。首先针对海底相关短周期多次波使用DWD方法衰减;然后运用三维GSMP二维化方法去除跟地层相关的长周期多次波;最后残留的近远偏移距多次波分别用PRIMAL和高精度RADON变换进行压制。结果表明,这种组合思路能较好地解决东海多次波问题,使中深部有效反射信号得以呈现,有助于提升中生界的成像质量。

基于模型优化的广义自由表面多次波压制技术在印度洋深水海域的应用

印度洋深水海域海底地形整体较为平坦,存在的多次波主要是海底相关多次波,能量强,频带宽,利用常规的广义自由表面多次波预测技术很难去除干净。本文首先利用广义自由表面多次波预测技术预测出多次波模型,然后将原始数据和多次波模型分为低频数据和高频数据,低频数据利用常规的自适应减得到低频多次波模型,高频数据转成曲波域对多次波模型进行优化,最终得到优化后的多次波模型,再利用原始数据直接减多次波模型,达到压制多次波的目的。该技术在印度洋深水海域的应用效果较好,海底相关多次波得到了较好的压制,有效信号得到了凸显,剖面的信噪比明显提高,剖面质量得以提升。

基于各向异性理论的深水区地震资料叠前处理技术

南海北部深水区白云凹陷海底地质构造复杂、速度变化剧烈,各向异性现象普遍存在,多次波极为发育,地震成像难度大。为了更好地提高该深水区地震资料的成像质量,笔者引入了基于各向异性介质的叠前地震资料处理技术,并将其应用到深水白云6-1工区。该技术系列主要由三维广义多次波衰减、各向异性速度分析和偏移成像等技术组成。深水资料应用结果表明:GSMP建立的多次波模型,能有效地压制多次波,使剖面更显著;基于各向异性的高密度速度分析可以更好地描述地质信息;剖面的断层能量在基于各向异性叠前时间偏移处理后得到聚焦,最终该技术系列提高了地震资料的成像质量。

基于频域分析方法模拟测量瞬发中子衰减常数

采用基于广义半马尔科夫过程(GSMP)建模的仿真方法模拟随机中子场的瞬态演化,利用相应程序MES模拟了252Cf源驱动噪声测量,通过对泄露中子时间谱的频谱分析给出了系统的瞬发中子衰减常数。模拟结果与实测结果比较表明:次缓发10分时,其误差为7%;次缓发100分时,其误差为3%;可为理论分析核装置安全性提供一种新的技术手段。

针对苏北盆地SN地区地震资料处理研究

SN地区位于苏北盆地北斜坡北部外坡带,整体勘探程度较低,勘探潜力大,具有较大的探索意义。但是该地区处于构造转换部位,构造破碎。通过对该地区地震资料进行分析研究,采取针对性处理对策,最终处理成果地震剖面的地质结构反映清晰,地震反射波组特征明显,目的层分辨率得到提高,断点清晰,断层归位准确。

IP交换与标记交换

IP交换与标记交换是两种比较新的在ATM上支持IP的技术,本文详细介绍了这两种技术的基本原理,同时分析比较了这两种技术的优缺点。

点堆中子动力学方程的蒙特卡罗方法

基于广义半马尔科夫过程(GSMP)模拟方法实现点堆中子动力学方程的蒙特卡罗求解。该方法模拟裂变系统内中子数和缓发中子先驱核数目的瞬态演化过程,并计算出任意时刻裂变功率和缓发中子源强等物理量。利用本文提出的方法研究快中子增殖堆(简称"快堆")和热堆参数下的点堆动力学方程,对反应性的阶跃输入、斜坡输入和振荡输入的点堆中子场瞬态过程进行模拟,并与传统数值算法的计算结果进行比较。该方法不存在数值计算的刚性问题,能方便地对复杂反应性输入过程进行计算,并能充分考虑瞬态过程中反应性变化对中子代时间的影响。

老爷庙火成岩发育区低信噪比资料处理关键技术探讨

老爷庙地区位于渤海湾盆地南堡凹陷的西北部,是冀东油田的重要油气分布区,高质量的地震资料是该区油气勘探的重要依据.但是,由于受到中浅层的复杂断裂、中深层发育的三套火成岩和强横向非均质性的影响,采集的地震资料信噪比低,多次波发育.为了提高探区资料的成像品质,采用了针对性的处理策略,本文详细的分析了每种策略的基本原理并展示了应用效果,首先通过近地表Q补偿技术改善由于地表吸收造成的振幅、频率损失及相位畸变;其次,基于稳健地表一致性反褶积技术较好地解决了低信噪比资料的高分辨率处理问题,避免传统反褶积方法引起的噪声能量加强;再次,应用可适应非规则观测系统的广义多次波衰减技术(GSMP)压制了部分强火成岩引起的多次波.针对性处理对策克服了常规处理的不足,提高了该地区地震资料的成像品质,获得较高分辨率和信噪比的成果数据,为老爷庙地区油气勘探奠定了良好的基础.

Verifying Automata Specification ofDistributed Probabilistic Real-Time Systems

In this paper, a qualitative model checking algorithm for verification of distributed probabilistic real-time systems (DPRS) is presented. The model of DPRS, called real-time probabilistic process model (RPPM), is over continuous time domain. The properties of DPRS aredescribed by using deterministic timed automata (DTA). The key part in the algorithm is tomap continuous time to finite time intervals with flag variables. Compared with the existingalgorithms, this algorithm uses more general delay time equivalence classes instead of the unitdelay time equivalence classes restricted by event sequence, and avoids generating the equivalence classes of states only due to the passage of time. The result shows that this algorithm ischeaper.