为研究溶液pH值对微晶纤维素(MC)水热炭化进程、水热炭物理化学特性(产率、固碳率、热值、亲水性、芳香性)及表观形貌的影响规律,MC为原料,以反应溶液pH值分别为3.0、4.0、5.0、6.0、7.0、8.0、9.0、10.0、11.0,在220℃,4 h条件下进行...为研究溶液pH值对微晶纤维素(MC)水热炭化进程、水热炭物理化学特性(产率、固碳率、热值、亲水性、芳香性)及表观形貌的影响规律,MC为原料,以反应溶液pH值分别为3.0、4.0、5.0、6.0、7.0、8.0、9.0、10.0、11.0,在220℃,4 h条件下进行水热炭化实验。通过元素分析pH值对水热炭理化特性的影响,并结合范式图综合分析pH值对MC水热炭化反应进程的影响,利用扫描电子显微镜(SEM)观察水热炭表观形貌。结果表明:水热炭产率和固碳率随酸性的增强而减弱,pH值为3.0时,产率及固碳率最小,分别为35.5%、41.82%,热值达到最大,为19.11 MJ/kg,HC3(hydro-char from pH of 3.0)芳香性最好,HC11(hydro-char from pH of 11.0)亲水性最强,碱性和中性水热炭芳香性、亲水性相似,不同pH值条件下的炭化进程均以脱水反应为主;SEM显示酸性水热炭微球粒径随酸性的增强而减小,纤维素在碱性条件下炭微球粒径均匀度较好。展开更多
交替投影时序逻辑(alternating projection temporal logic,简称APTL)公式简单易懂,表达能力强;不仅可以描述经典时序逻辑LTL可以描述的性质,而且可以描述与区间相关的顺序和循环性质以及开放系统和多智能体系统中与博弈相关的性质.在...交替投影时序逻辑(alternating projection temporal logic,简称APTL)公式简单易懂,表达能力强;不仅可以描述经典时序逻辑LTL可以描述的性质,而且可以描述与区间相关的顺序和循环性质以及开放系统和多智能体系统中与博弈相关的性质.在验证系统是否满足所给的APTL公式所描述的性质之前需要检查公式的可满足性.根据检查APTL公式的可满足性的方法,开发实现了工具APTL2BCG.具体细节如下:首先,利用公式P的范式构造P的标记范式图(labeled normal form graph,简称LNFG);然后,将LNFG转化为广义的基于并发博弈结构的交替Büchi自动机(generalized alternating Büchi automaton over concurrent game structure,简称GBCG);最后,将GBCG转化为基于并发博弈结构的交替Büchi自动机(alternating Büchi automaton over concurrent game structure,简称BCG)并且化为最简形式并检查公式P的可满足性.展开更多
文摘为研究溶液pH值对微晶纤维素(MC)水热炭化进程、水热炭物理化学特性(产率、固碳率、热值、亲水性、芳香性)及表观形貌的影响规律,MC为原料,以反应溶液pH值分别为3.0、4.0、5.0、6.0、7.0、8.0、9.0、10.0、11.0,在220℃,4 h条件下进行水热炭化实验。通过元素分析pH值对水热炭理化特性的影响,并结合范式图综合分析pH值对MC水热炭化反应进程的影响,利用扫描电子显微镜(SEM)观察水热炭表观形貌。结果表明:水热炭产率和固碳率随酸性的增强而减弱,pH值为3.0时,产率及固碳率最小,分别为35.5%、41.82%,热值达到最大,为19.11 MJ/kg,HC3(hydro-char from pH of 3.0)芳香性最好,HC11(hydro-char from pH of 11.0)亲水性最强,碱性和中性水热炭芳香性、亲水性相似,不同pH值条件下的炭化进程均以脱水反应为主;SEM显示酸性水热炭微球粒径随酸性的增强而减小,纤维素在碱性条件下炭微球粒径均匀度较好。
文摘交替投影时序逻辑(alternating projection temporal logic,简称APTL)公式简单易懂,表达能力强;不仅可以描述经典时序逻辑LTL可以描述的性质,而且可以描述与区间相关的顺序和循环性质以及开放系统和多智能体系统中与博弈相关的性质.在验证系统是否满足所给的APTL公式所描述的性质之前需要检查公式的可满足性.根据检查APTL公式的可满足性的方法,开发实现了工具APTL2BCG.具体细节如下:首先,利用公式P的范式构造P的标记范式图(labeled normal form graph,简称LNFG);然后,将LNFG转化为广义的基于并发博弈结构的交替Büchi自动机(generalized alternating Büchi automaton over concurrent game structure,简称GBCG);最后,将GBCG转化为基于并发博弈结构的交替Büchi自动机(alternating Büchi automaton over concurrent game structure,简称BCG)并且化为最简形式并检查公式P的可满足性.
