里根新政府的对外政策趋向

美国里根政府执政四年后,同苏联争夺的战略地位明显改善,扭转了同苏联军备竞赛中的不利趋势,使美苏争夺的态势由苏攻美守变为互有攻守的僵持局面。但是它仍然面临许多难题:国内经济情况不佳,要求削减军费的呼声甚高;国外普遍指责里根过于强硬;第三世界国家和西欧的独立自强倾向迅速发展;美国影响世界事务的能力日趋下降。在这种形势下,里根政府第二届任期内的对外政策可能有以下趋向。 (一)对苏联:在继续推行“以实力求和平”的强硬政策前提下,适当采取某些灵活作法,缓和“过于紧     

基于TDMA的多孔介质热湿耦合模型求解与算法优化

为了提高多孔介质热湿耦合模型的求解效率,采用三对角矩阵求解法(TDMA)对模型进行求解,并将该算法和迭代法进行对比分析.对TDMA计算误差与时间步长之间进行了敏感性分析,基于敏感性分析结果提出了一种变时间步长的TDMA优化算法.数值计算结果表明:对于变物性参数问题,随着时间步长的增加,TDMA计算精度将会下降,而迭代法精度保持不变;对于纤维素绝热材料,当连续2个时间步长内相对湿度变化小于0.24％且温度变化小于0.1℃时,时间步长取值对TDMA计算精度的影响可以忽略;相比于TDMA,变时间步长TDMA算法不受时间步长取值影响,精度更高;相比于迭代法,变时间步长TDMA算法具有相同的计算精度,但用时更短,计算用时可减小67％.     

复合深部调剖体系在高盐稠油油藏中的应用

针对深层稠油油藏注水开发中存在的含水高、注水指进、地层水矿化度高等问题,提出了强弱结合,且耐盐性好的复合深部调剖体系。弱凝胶选定聚丙烯酰胺为主剂,与乌洛托品、间苯二酚交联而成,强凝胶为AM/AA的高分子聚合物。文中对弱凝胶配方进行了优选;研究了复合深部调剖体系对油藏的适应性以及注入参数。实验结果表明:优选出的2 500 mg/L聚合物、500 mg/L乌洛托品、300 mg/L间苯二酚、800 mg/L稳定剂(LN)、2 500 mg/L助交剂(AC)组成的弱凝胶体系,在75℃、161 303 mg/L的条件下成胶黏度为8 840 m Pa·s,老化90 d,凝胶强度仍能保持初始强度的80%以上;与其复配的预交联凝胶颗粒在上述条件下可吸水膨胀16.4倍,且保持有良好的柔韧性。调剖剂注入参数优化研究表明:0.25 PV的0.5%预交联凝胶颗粒+1 000 mg/L的聚丙烯酰胺溶液与0.25 PV弱凝胶对岩心的封堵率达97.5%。现场应用后,试验井组平均日产油量增加了5.7 t,平均含水下降了9.8%,取得了良好的降水增油效果。     

一类二阶广义Sturm-Liouville积分边值问题的可解性

设f：[0,1]×R满足Caratheodory条件a,b,e∈L^1[0,1],利用Leray Schauder原理,获得了边值问题：x″=f（t,x（t）,x′（t）＋e（t）,t∈（0,1）,αx（0）-βx′（0）=∫0^1α（t）x（t）dt,γx（1）＋δx′（1）=∫0^1b（t）x（t）dt,解的存在性。     

基于深度学习的智能合约漏洞检测方法综述

智能合约是区块链三大特点之一,也是区块链具有应用价值和灵活性的领域.本质上,智能合约是一段用特定脚本语言实现的代码,不可避免地存在安全漏洞风险.如何及时准确地检查出各种智能合约的漏洞,就成为区块链安全研究的重点和热点.为了检测智能合约漏洞,研究者提出了各种分析方法,包括符号执行、形式化验证和模糊测试等.随着人工智能技术的快速发展,越来越多基于深度学习的方法被提出,并且在多个研究领域取得了很好的效果.目前,针对基于深度学习的智能合约漏洞检测方法并没有被详细地调查和分析.本文首先简要介绍了智能合约的概念以及智能合约漏洞相关的安全事件;然后对基于深度学习的方法中常用的智能合约特征进行分析;同时对智能合约漏洞检测中常用的深度学习模型进行描述.此外,为了进一步推动基于深度学习的智能合约漏洞检测方法的研究,本文将近年来基于深度学习的智能合约漏洞检测方法根据其特征提取形式进行了总结分类,从文本处理、静态分析和图像处理3个角度进行了分析介绍;最后,总结了该领域面临的挑战和未来的研究方向.     

关于一类二维奇异积分方程的唯一解

设Ｄ是一个边界Г∈Ｃ＾１ａ（０〈ａ≤１）的有界单连域,复函数ｑ（ｚ）∈Ｃ＾１ａ（Ｄ）,│ｑ（ｚ）│≤１,等积只能在Г上成立,且在Г上等式ｑ（ｚ（ｔ）ｚ’（ｔ）＋１│ｚ∈Г＝０最多在有限个点上成立,本文给出以满足上述条件的复伸张ｑ１（ｚ）及（ｑ２（ｚ）∈Ｃ＾１ａ（Ｄ）为系数的二维奇异积分方程ｗ（ｚ）＋ｑ１（ｚ）／ｎ√√ｗ（ｔ）／（ｘ－ｚ）＾２ｄσ＋ｑ２（ｚ）／ｎ√√ｗ（ｔ）ｄσｚ／ｔ－ｚ＝ｆ（ｚ）的     

聚氨酯／LiCF3SO3电解质体系的导电机理

利用FT-Raman、FT-IR和复数阻抗谱,对聚氧化乙烯聚氨酯/LiCF3SO3固体电解质样品中离子在聚合物电解质中的导电机理进行了研究,发现导电离子以自由离子、离子对和聚集体的形式存在于体系中,离子状态随盐浓度不同发生变化,自由离子比率随温度的上升而下降;对离子的存在状态与电导率之间的关系进行了研究,发现体系的电导率随自由离子的比率上升而变大;初步探讨了离子在体系中的导电机理;对Nernst-Einstein公式在聚合物电解质体系的应用做了校正,建立了合理的自由离子浓度和电导率的关系。     

一类分数阶微分方程三点边值问题正解的存在性和多重性

 利用积分方程技巧和锥上不动点指数理论,研究了一类非线性分数阶微分方程的三点边值问题,获得了该问题至少存在1个或2个正解的一系列充分条件.所得结果推广了整数阶微分方程的相应结果.最后,举例说明了所得结果的有效性.     

青草背长江大桥桥位风速脉动特性实测分析

为研究山区风场近地层风速的脉动特性,利用安装在青草背长江大桥上的高频风速仪对桥址处风场进行为期8个月的全程监控.根据实测风速序列分析了在桥址处平均风速、风向、湍流强度、阵风因子和功率谱的统计特征,并针对山区风阵风因子随湍流强度变化关系以及不同计算时距条件下阵风因子的换算关系进行了探讨.研究结果表明:受局部热力环流的影响,桥址风场具有明显周期性变化特征;高风速下顺风向湍流强度及竖向风速相对湍流强度大于桥梁抗风设计规范建议值,而横风向相对脉动强度则比桥梁抗风规范值小;阵风因子随阵风计算时距的变换规律可以用对数高斯函数加以描述;山区复杂地形、地貌导致风速中湍流成分发育更为充分,湍流高频能量相对较大,脉动风速谱在高频段比规范推荐风谱大,低频段比规范推荐谱小.     

一类基于不动点新的强化缓冲算子的构造及其应用

在灰色系统理论缓冲算子公理体系下,基于严格单调递增函数和时间序列的平均发展速度构造了一类新的强化缓冲算子,并研究其一些特性和内在联系,有效解决了冲击扰动数据序列在建模预测过程中经常出现的定量预测结果与定性分析结论不符的问题,实例分析结果表明该算子的有效性和实用性。