Analysis of the Datagram Congestion Control Protocol’s connection management procedures using the sweep-line method

State space explosion is a key problem in the analysis of finite state systems. The sweep-line method is a state exploration method which uses a notion of progress to allow states to be deleted from memory when they are no longer required. This reduces the peak number of states that need to be stored, while still exploring the full state space. The technique shows promise but has never achieved reductions greater than about a factor of 10 in the number of states stored in memory for industrially relevant examples. This paper discusses sweep-line analysis of the connection management procedures of a new Internet standard, the Datagram Congestion Control Protocol (DCCP). As the intuitive approaches to sweep-line analysis are not effective, we introduce new variables to track progress. This creates further state explosion. However, when used with the sweep-line, the peak number of states is reduced by over two orders of magnitude compared with the original. Importantly, this allows DCCP to be analysed for larger parameter values. Somsak Vanit-Anunchai was partially supported by an Australian Research Council Discovery Grant (DP0559927) and Suranaree University of Technology. Guy Edward Gallasch was supported by an Australian Research Council Discovery Grant (DP0559927).     

对一起氮压机燃爆事故的原因分析

SVK8 3S型氮气压缩机是由沈阳鼓风机厂制造、为义马煤气配套的低压氮气压缩机 ,共两套 ,于 2 0 0 0年 1 2月开始调试。为节约工程基建资金 ,取消原设计两台中压氮气压缩机 ,由杭氧产两台3TYS89+2TYS60型氧气透平压缩机临时压送氮气 ,向外供中压氮 ,来取代中压氮气压缩机 ,流程示意图如图 1所示。图 1　氧、氮压机工艺流程配置图1　事故情况2 0 0 0年 1 2月 2 7日中午 1 1∶3 5 ,接总调度室通知 ,要求中午 1 2∶0 0向长输管线供中压氮气。当时 ,一台氮压机试车完毕正在运行 ,一台氧压机试车完毕压氧正在运行 ,将由氧压机临时压送氮气外供…     

长25-29井卡钻事故的处理

长２５－２９井在完井阶段通井过程中发生粘附卡钻事故，在处理卡钻过程中又发生卡套铣筒、井漏、溢流等事故及复杂情况。通过对井下情况的认真分析，采取先堵漏后循环再解卡的处理方案，顺利地解除了该次卡钻事故，大大地减少了经济损失。     

In the theory of blast waves

The behavior of the blast wave from an exploding spherical volume is investigated mathematically over the entire range of blast-wave propagation. The computational method uses analytical results for a similar problem for a point explosion with counter pressure and the theory of an asymptotically equivalent point explosion. The asymptotic solution of the gas-dynamic equations away from the explosion site is matched to the initial conditions of blast-wave formation due to the disintegration of the detonation shock upon its arrival at the boundary of the exploding volume. The spatial distribution of the blast-front pressure is found for combustible gaseous systems and solid explosives. The theoretical results obtained agree quantitatively with available experimental measurements. __________ Translated from Fizika Goreniya i Vzryva, Vol. 42, No. 4, pp. 93–99, July–August, 2006.     

准噶尔盆地腹部超压层分布研究

准噶尔盆地腹部普遍发育深层（大于4000m）超压系统，很多钻井都钻遇超压。通过对超压段钻井、地质、测井、地震特征系统研究发现，超压段泥浆密度大幅增加，具有高声波时差、低电阻率以及地震低速的超压响应特征。利用Dix公式计算地震层速度和利用Fillippone公式计算地层压力，得到超压数据体。准噶尔盆地腹部超压在白垩系及其以下沉积地层中均有分布，超压层的深度范围不同。分1井西凹陷边缘以及昌吉凹陷西南有空层现象。超压顶面分布的层位由北往南、从东到西逐渐变浅，从三叠系顶部到白垩系底部。深部超压对油气分布和富集有着重要的控制作用，准噶尔盆地腹部超压层分布的研究将对本区油气勘探起积极的推动作用。     

深孔预裂爆破在溢洪道高边坡开挖的应用

高边坡深孔预裂爆破是一项对施工质量、安全要求极高的爆破技术, 必须进行科学的爆破技术设计,确定合理的爆破参数;高度重视爆破钻孔工艺、装药工艺、网络工艺以及边坡稳定性地质分析.在洞巴水电站中不允许采用超欠平衡的开挖方法进行施工,利用设计台阶高度,采用深孔预裂爆破对溢洪道高边坡的稳定及开挖平整度进行有效控制,取得良好效果.     

油库防爆电气设备运行安全管理注意事项

分析了油库防爆电气设备运行中安全管理应注意的几个事项。     

基于不同爆轰产物的格尼速度估算新方法（英）

A new method for prediction of Gurney velocity of explosives is introduced in which energy output is correlated with the heat of detonation, the number of moles of gaseous products of detonation per gram of explosive and the average molecular weight of gaseous products. It is assumed that the CHNO explosive reacts to form products composed of N2 , CO, H2O, CO2, H2,O2 and C（s） as determined by the oxygen balance of the unreacted compound. Good agreement is obtained between measured and calculated values of Gurney velocity as compared to previous correlations which assumed the reaction products to consist of N2 , H2O, CO2 and either C（s） or O2.     

震源延迟叠加技术及应用效果

延迟叠加爆炸是针对高分辨率和深层地震勘探而提出来的一种激发方式。这种激发方式能在保证地震分辨率的前提下有效提高地震波能量 ,在地震波的入射角范围内 ,有效克服非球形炸药激发引起的地震波传播的方向性。应用弹性波动力学对多级延迟爆炸进行理论研究 ,结合实际试验资料 ,研究了延迟爆炸情况下激发参数对地震波能量、主频、频宽等的影响。从几何地震学出发 ,分析了不同时间激发的地震波在地下空间中的干涉情况 ,对其能量传播的方向性进行了研究。理论分析和试验效果表明 ,延迟叠加震源与相同药量的普通震源相比 ,激发地震波的主频高 ,频带宽 ,增强了下传能量 ,降低了次生干扰 ,在高分辨率和深层地震勘探中具有明显的优势。     

退火炉保护气氛的安全控制

钟罩室退火护采用微压氢气作为保护气体，炉内压力的监控是保证安全生产不可忽视的必要手段，该文针对该公司选用的国产钟罩式退火护作了简要介绍，对国产钟罩式退火炉压力监控系统作了分析，指出了存在的缺陷，提出了改进措施。