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

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

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

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

四种苄基保护的糖的合成

以D-半乳糖、D-甘露糖、D-木糖和D-乳糖为起始原料,分别经过全乙酰化、乙硫苷化、去乙酰基、苄基保护、水解,5步反应全合成了四种苄基保护的糖类化合物3a～3d,总产率分别为27.2％,23.1％,15.7％,35.4％,其结构经1H NMR,13C NMR,MS表征.     

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

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

纤维素纤维在建筑混凝土地面中的应用

结合2个地下车库建筑工程实例,进行了水泥混凝土地面抗裂性能对比分析。针对混凝土地面开裂的原因和特性,通过采用纤维素纤维等新材料、新技术、新工艺,开展了建筑混凝土地面抗裂技术工程化应用研究,并采取了多种综合抗裂保证措施和有效的设计施工方案,取得了较好的实际应用效果,供同类工程项目参考借鉴。     

某变电站采空区治理的优化设计

某变电站场地下伏3号煤层的采空,煤层埋深31.1~40.5 m,属浅层煤层采空。该煤层开采时间为1971—1980年,开采厚度4.0~6.0m,开采方式为不规则房柱式开采,一次采全高,采煤工艺为炮采。通过对采空进行定性、定量分析,得出该采空区目前处于基本稳定状态,但由于采深采厚比小,煤层埋深较浅,其产生"活化"的可能性大,一旦产生"活化"将严重威胁到变电站安全运行。采用桩基穿越法对采空区进行治理设计,目前桩基施工完成已大约1年,整个场地未发现地基下沉现象,证明采用桩基穿越法治理采空区取得了良好的效果。该工程的成功实践为同类型采空区治理工程提供了一种值得借鉴的模式,具有较高的应用推广价值。     

离子液体-球磨法制备柠檬籽纤维素纳米纤丝及其结构表征

为推进柠檬加工副产物的高值化利用和开发纳米纤维素高效制备方法,本研究以柠檬籽为原料,采用不同质量分数(0～50％)的离子液体1-丁基-3-甲基咪唑氯化物(1-butyl-3-methylimidazolium chloride,[BMIM]Cl)为湿磨介质,通过机械球磨法制备柠檬籽纤维素纳米纤丝(lemon seed ...     

CeO2-Al2O3复合载体负载Ni基催化剂催化COx共甲烷化性能

通过浸渍沉淀法分别制备Ni/Al₂O₃、Ni/CeO₂和Ni/CeO₂-Al₂O₃催化剂,并对其分别进行不同CO/CO₂比例下COx共甲烷化性能评价。发现Ni/Al₂O₃催化剂催化CO转化为CH4的能力明显高于Ni/CeO₂,而催化CO₂甲烷化的性能则相反。采用Ni/CeO₂-Al₂O₃催化剂,可以在提高CO转化率的同时而不降低CO₂转化率。结合BET、XRD、TPR、TPD和原位红外等各种表征手段,发现CeO₂掺杂虽然降低了催化剂的比表面积和金属Ni的分散度,但却可明显提高其吸附活化CO₂的能力,这主要是由于具有较高含量氧空位的CeO₂的掺杂可以提高载体表面碱性位,促使共甲烷过程中CO_...     

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

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