NS对称密钥认证协议安全性分析

安全协议的形式化验证与分析已成为国际研究的热点.本文应用BAN逻辑研究Needham-Schroeder对称密钥认证协议,指出该协议存在的安全缺陷,利用消息新鲜性对其进行相应改进,并在BAN逻辑下形式化证明改进的协议可以满足安全目标.     

程序脆弱性发现中的测试数据生成方法研究

为有效产生程序测试数据,提高Fuzzing测试数据的生成效率和测试覆盖率的问题,提出了一种新的Fuzzing测试数据生成算法--H-Fuzzing.其主要思想是通过程序静态分析结果和动态运行属性,收集程序关键分支谓词的相关信息,得到其与输入变量之间的关联关系,进而指导测试数据算法的收缩,达到能够在少量的随机输入产生过程中得到较高的测试覆盖率的目的.     

非刚性点集匹配的机载下视图像目标定位方法

机载下视目标定位在航空摄影和导航等领域有着广泛的应用,其定义为给定目标图像确定目标在参考图像中的位置。而机载下视目标定位中目标图像与参考图像之间存在的大尺度形变问题是有待攻克的难点问题,针对此问题本文提出了一种非刚性点集匹配的目标定位方法。首先,使用SIFT(Scale-Invariant Feature Transform)算法提取2幅图像的关键点,随机K-D树最近邻算法用于获得一致性关键点集;然后,使用K-means分类方法将一致性关键点集划分成多个子集,并在多个子集上使用随机采样微分同胚点集匹配方法确定空间变换模型,解决了大尺度形变问题;最后,通过SSD(Sum of Squared Difference)来确定最优目标位置。实验结果表明所提方法能够有效完成目标定位任务。     

中波红外火情遥感的大气辐射传输特性

分析2005年在广西武鸣机场进行的人工火情测量试验中获得的由BOMEM MR-154FT高光谱仪测定的火情光谱特征发现:在中波4.34～4.76μm光谱段的辐亮度比火情遥感监测常用通道3.5～4.0μm有更强的响应关系.用模拟计算方法进一步分析了中波红外光谱的大气辐射特性.分别对中波波段主要的吸收气体(水汽、水汽连续、二氧化碳混合、二氧化碳、一氧化二氮、臭氧和气溶胶)影响辐射传输的情况进行模拟计算;选择中国内陆地区18种大气廓线样本和4种大气模型,分别进行辐射传输计算,获得了3～5μm谱段分谱大气透过率和大气程辐射等,并比较了新选择通道(4.42～4.78μm)与传统通道(3.55～3.95μm)在地面和传输到大气层顸后辐亮度的变化情况,为今后应用新探测通道奠定了基础.     

GH4720Li合金中温区低周疲劳行为研究

奥氏体沉淀强化GH4720Li合金用于制备航空发动机涡轮盘,其服役条件下的疲劳性能是当前研究的热点.研究了GH4720Li合金在中温区(450和550 ℃)不同应变条件下的低周疲劳行为.结果表明,GH4720Li合金的剪切模量和杨氏模量随着温度的升高而不断降低,但是中温区的抗拉强度和屈服强度不随温度而剧烈下降.GH47...     

电动汽车电机用绝缘材料与变速箱油相容性研究

本文进行了油冷型电动汽车电机用绝缘材料漆包圆线、漆包扁线、浸渍树脂及橡胶密封材料与自动变速箱油（ATF）相容性的研究。在ATF中添加体积分数为0.5%的去离子水,根据耐热等级在155℃下开展4种绝缘材料与ATF的相容性试验。结果表明：漆包圆线、漆包扁线、浸渍树脂与ATF具有良好的相容性;所选用丙烯酸酯橡胶在试验过程中性能劣化明显,不符合密封材料性能要求。     

“双碳”目标下油气行业的机遇与挑战

从供需角度探索油气企业发展机遇,对石油、天然气未来能源需求进行预测并分析,得出结论,在未来50年内,石油、天然气仍为主体能源。因此,基于“双碳”目标,油气行业应尽快完成企业转型,在现工作基础上,充分借鉴国际石油公司应对气候变化的策略,并结合自身情况提出应对气候变化更具雄心的理念和愿景,为中国引领全球气候治理方向提供更强有力的支持。     

中国石油风险勘探工程决策管理与实施成效

风险勘探工程自2004年决策启动至今已实施16年,相继发现了克深、安岳和玛湖等数个大油气区,有力支撑了中国石油储量增长。回顾工程启动背景、决策管理流程、整体实施成效,以安岳海相大气田、克深大气田、玛湖大油田等重点风险勘探工程的成功案例为实例,分析了管理决策在理论技术创新、油气勘探突破发现及人才队伍建设等方面所发挥的重要作用,以期对风险勘探工程未来发展有所启迪。风险勘探实施在于管理决策层的高瞻远瞩,敢冒地质风险、谋求勘探突破的决心。勘探立足新盆地、新区带、新层系和新类型“四新”领域优选目标,突出发现的战略性与规模性,实现了优质资源的超前准备和勘探重大突破。实施过程中制定了完备的科学管理流程与评价参数体系,为突破和发现奠定了良好基础。2005年以来,风险勘探工程累计实施探井350余口,100余口获工业油气流,在海相碳酸盐岩、深层—超深层、岩性地层油气藏与非常规油气等领域获16项战略突破、20项重要发现和18项重要苗头,创新、深化了油气地质理论认识、形成了相关领域勘探配套技术,培养了一批既懂专业又懂管理的复合型人才,为中国石油海外勘探及其他油公司风险勘探提供了借鉴。风险勘探工程未来发展前景广阔,但难度会加大,应坚持立足“四新”领域地质研究先行,地震准备到位,工程技术支撑,保证资金投入,相信会对油气储量长期稳定增长和保证国家油气供应安全发挥重大支撑作用。     

东西伯利亚地台碳酸盐岩成藏条件对我国油气勘探的启示

东西伯利亚地台里菲纪（1 650～800 Ma）和文德纪（670～590 Ma）碳酸盐岩大油气田形成的有利条件为：里菲纪坳拉谷演化阶段形成暗色泥页岩优质烃源岩,克拉通盆地长期发育的古隆起是油气富集的主要区带,稳定分布的膏盐岩盖层是古油藏保存的关键,构造背景上的地层岩性油气藏是主要成藏类型。 对比我国四川、塔里木及鄂尔多斯盆地,均具有碳酸盐岩储层非均质性强、变化快的共性特征,差异性包括我国叠合盆地下组合泥页岩烃源岩生烃指标变化大、中-新生界沉积厚度大及下组合埋藏深度大等。我国碳酸盐岩油气勘探要系统评价震旦系、寒武系暗色泥页岩烃源岩条件以及多期改造作用叠合盆地的盖层条件,突出构造背景上的地层岩性油气藏勘探。 近期勘探要立足大盆地,寻找构造大背景,主攻构造岩性复合大区带。 以四川、塔里木和鄂尔多斯盆地为重点,持续开展大型古隆起复式油气聚集带勘探,加大区域不整合面、古隆起斜坡带、大型地层剥蚀尖灭带、台缘带礁滩体及与蒸发岩共生的台内颗粒滩地层岩性油气藏勘探。     

塔里木盆地轮探1井超深层油气勘探重大发现与意义

2020年1月,位于塔北隆起轮南低凸起的轮探1井在8200m之下的下寒武统白云岩中获得轻质原油,塔里木古老克拉通超深层油气勘探获得重大突破。通过对轮探1井发现情况描述与超深层寒武系盐下油藏发现历程分析,旨在为其他类似地区新区、新层系、新类型的勘探提供借鉴与参考。轮探1井钻揭寒武系玉尔吐斯组一套优质烃源岩,以及阿瓦塔格组蒸发膏岩/沙依里克组—吾松格尔组白云岩储层与玉尔吐斯组泥岩/震旦系奇格布拉克组白云岩风化壳储层两套储盖组合。轮探1井产层为吾松格尔组,为正常温压系统的挥发性油藏;震旦系奇格布拉克组风化壳获得微量天然气。塔里木盆地台盆区勘探经历了从碎屑岩到碳酸盐岩、从碳酸盐岩到盐下白云岩的两次战略转移;轮探1井是第二次战略转移的重要标志,具有里程碑意义。轮探1井成藏有利条件在于具有继承性稳定古隆起与优质的生储盖组合;通过类比,分析了塔里木盆地寒武系盐下白云岩勘探前景,指出塔中—古城、塔北南斜坡、麦盖提斜坡北—柯坪等有利区为下步勘探重点区带。