基于扩展串空间模型的新型安全协议拒绝服务分析形式化理论

Denial of Service (DoS) attack, especially Distributed Denial of Service (DDoS) attack, is one of the greatest threats to Internet. Much research has been done for it by now, however, it is always concentrated in the behaviors of the network and can not deal with the problem exactly. In this paper, we start from the security of the protocol, then we propose a novel theory for security protocol analysis of Denial of Service in order to deal with the DoS attack. We first introduce the conception of weighted graph to extend the strand space model, then we extend the penetrator model and define the goal of anti-DoS attack through the conception of the DoS-stop protocol, finally we propose two kinds of DoS test model and erect the novel formal theory for security protocol analysis of Denial of Service. Our new formal theory is applied in two example protocols. It is proved that the Internet key exchange (IKE) easily suffers from the DoS attacks, and the efficient DoSresistant secure key exchange protocol (JFK) is resistant against DoS attack for the server, respectively.     

综合布线系统在电信大楼中的应用———常州邮电大厦综合布线建设经验

综合布线系统在电信大楼中的应用———常州邮电大厦综合布线建设经验常州邮电局网管支撑中心蒋睿综合布线系统（ＰｒｅｍｉｓｅｓＤｉｓｔｒｉｂｕｔｉｏｎＳｙｓｔｅｍ，缩写ＰＤＳ）作为一种集成化通用传输系统，利用非屏蔽双绞线（ＵＴＰ）或光导纤维（Ｏｐｔｉｃａｌ...     

水泥快速试验方法的研究实践

为了满足水泥检验合格后再使用的要求,实现工程质量事前控制,故本试验研究了采用蒸汽养护代替标准养护的水泥强度快速试验方法。在大量试验数据基础上,对快速试验方法得到的1d强度与标准试验方法得到的28d强度进行线性回归,得出快速试验方法的28d强度推定公式。相关性计算表明,快速试验方法具有较好的准确性及可行性。     

从推崇到批判——王元化对黑格尔知性理论的批评

王元化对黑格尔知性论的认识经历了由推崇到反思批判的过程.他最初推崇黑格尔的知性论,提倡用感性一知性一理性的三段式代替感性一理性的两段式,后来意识到黑格尔在知性认识上的局限,开始怀疑和反思,从美学角度批评知性,归纳了知性作为终结范畴的作用及缺陷.他对黑格尔知性理论的批评,为人们认识黑格尔哲学提供了借鉴.     

重庆市万州区石桥河水生态修复实践与思考

为加强山区型小流域系统治理，重庆市万州区提出打造“一心六型”城市，以提升全域水质为中心，系统开展各流域水生态修复工程。该项目以石桥河两河口段作为治理范围，综合分析了河段生态环境现状，以提升河道防洪能力和改善生态环境为目标，实施生态护岸、水生态修复、滨水景观和河道截污4个方面治理措施，解决了河段沿线防洪安全和水生态环境问题，改善了周边人居环境，达到了“河畅、水清、坡绿、岸美”的效果。研究成果可为后续万州区流域水生态修复提供了一种方法和思路。     

低渗透应力敏感气藏压裂井产能分析

应用保角变换原理,将平面垂直裂缝气井的渗流问题转化为易于求解的一维带状渗流问题。基于Forchheimer二项式渗流方程,考虑启动压力梯度和渗透率应力敏感性的影响,推导得到低渗透应力敏感气藏中垂直裂缝井的产能公式,并简化得到低压、高压条件下的产量公式。用现场数据对公式进行验证,并绘制分析了理论产能曲线。结果表明:启动压力梯度和应力敏感性会影响压裂井的产能,压裂气井的产量随着启动压力梯度或者应力敏感性的增加而降低;当气井高产时,必须考虑非达西渗流效应。     

动态负压计算模型建立及其相关因素分析

斯伦贝谢公司提出动态负压射孔技术以来,对动态负压幅度大小及其变化特征的认识还存在较大争议,对动态负压作用机理的认识还不够完善,无法使其量化成为相应的数学模型,应进行动态负压变化规律的研究。通过考虑储层流体特征、井筒初始压力、射孔器参数、泄压器参数等因素,运用相关数学推演方法建立了动态负压计算模型,利用相关数据对该动态负压计算模型的正确性和实用性进行了理论验证,得到了与实际十分贴切的结果。利用所建立的动态负压计算模型对动态负压相关影响因素作了详细的对比分析,划分出了影响动态负压的主要因素以及次要因素,为动态负压射孔施工提供了理论支撑。     

地面交联酸与叙利亚灰岩的反应动力学

采用旋转岩盘装置在60、90、120和150℃进行了地面交联酸与叙利亚灰岩的反应动力学实验,建立了相应温度下表征该交联酸液与目的层灰岩反应的动力学方程。结果表明,反应体系的温度对其反应速率有重要影响,温度越高,反应越快,60、90、120和150℃下地面交联酸与灰岩的反应速率常数分别为5.68×10~(-8)(mol/L)~(-1.51)/(cm~2·s)、1.94×10~(-7)(mol/L)~(1.03)/(cm~2·s)、2.76×10~(-7)(mol/L)~(-0.72)/(cm~2·s)和1.62×10~(-6)(mol/L)~(-0.42)/(cm~2·s),反应级数分别为1.51、1.03、0.72和0.42;与常规胶凝酸相比,60℃时地面交联酸的反应速率常数小1个数量级,120℃时小2个数量级,缓速性优良,体现了在高温深井碳酸盐岩油藏酸压的优势,对增大酸压有效作用距离更为有利。     

考虑水分含量的煤岩渗透率动态变化特征

为探索考虑水分含量的煤岩渗透率模型描述渗透率动态变化特征的准确性以及渗透率在排采过程中的恢复程度,采用考虑水分含量的渗透率模型、P-M模型和S-D模型,研究了该3种渗透率模型的反弹压力p_rb值和恢复压力p_rc值以及渗透率的动态变化过程,研究结果表明：①考虑水分含量的渗透率模型、P-M模型和S-D模型计算的p_rb值和p_rc值中,P-M模型计算的值偏小,S-D模型与考虑水分含量的渗透率模型计算的值比较接近;②3种模型中考虑水分含量的渗透率模型预测的渗透率变化率与现场试井测得的渗透率变化率基本一致,说明考虑水分含量的渗透率模型预测值更接近实际值;③当恢复压力p_rc值小于0时,会出现渗透率降低后在开采过程中无法恢复到初始渗透率的现象。      

改进的旋挖钻进工艺在卵砾石地层中的应用

作者结合工程实例,从碎岩机理及钻头结构入手,简要介绍了旋挖钻进工艺和旋挖钻头的结构设计两个方面的改进及应用效果。