一种基于扩展不完全Kripke结构的三值逻辑模型检测方法

多值模型检测是解决形式化验证中状态爆炸问题的一种重要方法,三值模型检测是多值模型检测的基础,其中如何检验不确定状态的真值是一难点。针对不确定状态检验,提出了一种模型检测方法,首先对不完全Kripke结构PKS进行了扩展,然后在扩展后的模型上给出了检测不确定状态真值的方法,最后给出了基于扩展不完全Kripke结构的三值逻辑模型检测算法。与已有的三值逻辑模型检测算法相比,该算法降低了算法复杂度,完善了对于不确定或不一致信息的处理,从而增强了三值逻辑模型检测的实用性。     

氟/硅丙烯酸树脂防污涂层的制备及性能研究

以全氟烷基乙基甲基丙烯酸酯为功能单体,采用自由基聚合法制备了具有防污性能的低表面能氟/硅丙烯酸树脂涂层,重点探讨了有机氟含量对树脂涂层的接触角、玻璃化转变温度、附着力、硬度等性能及单体转化率的影响,确定了氟/硅丙烯酸涂层的最佳制备条件。结果表明,氟/硅单体成功与丙烯酸单体发生共聚,当氟/硅丙烯酸涂层中的氟质量分数为14.60%时,树脂涂膜的接触角为103.7°,与基体结合力优异,同时具有良好的防腐性能。     

异山梨醇型聚碳酸酯共聚物的合成及性能

以四乙基氢氧化铵为催化剂,生物基异山梨醇(IS)、1,4-环己烷-二甲醇(CHDM)、碳酸二苯酯(DPC)通过熔融缩聚反应合成了无色透明的聚碳酸酯共聚物(PIC).共聚物的重均相对分子质量随着CHDM的含量增大而逐渐增大,Mw值为11 466～23 471 g/mol,且多分散度为1.39至1.81.差示扫描量热法的结...     

输送床甲烷化催化剂颗粒的热质传递行为与反应机制

采用数值模拟对输送床甲烷化的粒径100μm级单颗粒催化剂的反应与热传递行为进行了研究,揭示了反应热在单颗粒催化剂上的动态传递规律和典型条件下的反应控制机制。在输送床反应器中,热传递效率高,进入反应器的单个催化剂颗粒温度一般在0.1 s左右即可达到稳态。稳态的100μm级催化剂颗粒表面、中心、流体之间的温差很小,但催化剂颗粒的径向温度表现为由表面向中心逐渐升高的分布,证明了甲烷化反应热升高了催化剂颗粒温度,建立了温度升高的催化剂颗粒与反应气氛之间的热传递平衡。模拟甲烷化反应速率与组分气体在催化剂颗粒内的分布,揭示了在加压和较高气速反应条件下,反应物向催化剂颗粒的扩散加快,催化剂颗粒的局部甲烷化反应受动力学控制,反应速率由中心向表面逐步减低。反之,常压与低气速条件使得催化剂颗粒的甲烷化反应受气体扩散控制,反应速率自表面向中心逐渐降低。     

水源水中三价砷的去除实验研究

饮用水砷枵染问题受到全世界的关注。为了应对水源砷污染以及水源砷突发污染事件的发生,文章对水源中的砷（Ⅲ）进行了去除实验研究。结果表明,当水中砷（Ⅲ）含量〈0．06mg／L（超标6倍）时采用混凝沉淀工艺可使出水达标;当砷（Ⅲ）超标倍数更高时,则采用氧化处理＋混凝沉淀工艺可有效去除水中的砷,使得出水达标。     

候市区套损井规律及治理对策分析

候市区块日趋严重的套埙破坏了区块的注采平衡关系,制约了候市区注采结构的进一步调整,严重困扰和制约了区块油田开发,造成了大量资金被迫投入。介绍了候市区套损井的诊断方法,分析了套损类型、套损井的时间分布规律、平面分布规律、论述了套损井损坏机理。提出了“预防为主,防治结合”的治理总方针,和优选、经济、合理的修井方案,确保治理工艺的合理优化组合。总结了近几年来候市区套损井预防和治理方面的措施及工艺,为候市区高效开发提出宝贵意见。     

含导电聚苯胺类锂离子电池复合材料的现状及发展趋势

导电聚苯胺（PANI）是近十年来研究最多的导电聚合物,具有比容量高、氧化还原可逆性好、电导率高、合成方法简单、成本低等特点,在化学电源和超级电容器中的应用最为广泛。导电聚苯胺复合材料的合成方法主要分为：原位复合法、共混法、自组装和电化学复合法等。导电聚苯胺复合材料可作为高能物质用于研发电极材料,但目前利用导电聚苯胺对锂离子电池三元正极材料进行修饰改性的研究较少。综述了导电聚苯胺及其复合材料的热电化学性能,重点对导电聚苯胺/锂离子电池复合正极材料的性能进行了阐述。最后对导电聚苯胺复合材料的应用和研究方向进行了总结,并简述了导电聚苯胺包覆改性LiNi_1-x-yCo_xMn_yO₂复合材料的应用和展望。     

电加热柔性连续抽油杆动态特性的计算机模拟

根据电加热柔性连续抽油杆的特性、参数及井下基本工况,建立了三级混合抽油杆柱的有限元模型。运用有限元软件对混合杆柱的动态特性进行计算机模拟,得到各关键点位移、速度随时间变化曲线,以及计算机模拟的地面示功图,为抽油机、抽油杆设计和井下故障诊断提供理论依据。与传统电加热空心抽油杆相比,电加热柔性连续抽油杆在降载和节能方面优势显著。     

微米SiO_2粒子对硅丙树脂防污涂料性能的影响

在涂料中添加微纳米粒子可改善其性能,目前有关微米粒子对涂料防污、防腐蚀性能影响的报道较少。用自制的硅丙树脂作为基料,通过添加微米SiO_2粒子制得了防污涂料。利用静态接触角、硬度、黏附力和电化学阻抗测试探究了微米SiO_2粒子对涂层性能的影响。结果表明:微米SiO_2可稳定硅丙树脂涂层的静态海水接触角和力学性能,并提高涂层的耐海水腐蚀性能,且当微米SiO_2粒子含量为16.7%(质量分数)时,涂层的静态海水接触角和耐蚀性能最好。