期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
基于LTL Tableau的自动机构造
1
作者 刘万伟 王戟 陈火旺 《吉林大学学报(工学版)》 EI CAS CSCD 北大核心 2007年第1期132-135,共4页
基于线性时序逻辑(LTL)的模型检验是使用较为广泛的技术。该种模型检验最终归结为有穷自动机的判空问题,其复杂性来源于性质和模型乘积自动机的状态空间膨胀。作者提出了一种构造迟滞交换Co-Büchi自动机(Stuffer Alternating Co-B&... 基于线性时序逻辑(LTL)的模型检验是使用较为广泛的技术。该种模型检验最终归结为有穷自动机的判空问题,其复杂性来源于性质和模型乘积自动机的状态空间膨胀。作者提出了一种构造迟滞交换Co-Büchi自动机(Stuffer Alternating Co-Büchi)的具有线性复杂度的方法,该方法能够降低最终乘积自动机的空间复杂度。 展开更多
关键词 计算机软件 模型检验 LTL TABLEAU Co—Büchi自动机
下载PDF
Preparation of Co- or Mn-substituted LTL zeolites and their catalytic properties in cyclohexane oxidation
2
作者 Kai Xue Boting Yang Peng Wu 《Science China Chemistry》 SCIE EI CAS CSCD 2015年第1期139-147,共9页
Co-or Mn-substituted LTL zeolites were hydrothermally synthesized by a novel organic-ligand-assisted method.XRD,UVVis DRS,XPS,and EPR techniques verified that the Co and Mn ions were incorporated into the zeolite fram... Co-or Mn-substituted LTL zeolites were hydrothermally synthesized by a novel organic-ligand-assisted method.XRD,UVVis DRS,XPS,and EPR techniques verified that the Co and Mn ions were incorporated into the zeolite framework.No organic species were retained in as-synthesized Co or Mn-LTL zeolites,which resulted in porous materials without calcination.In the oxidation of cyclohexane with tert-butyl hydroperoxide(TBHP),the Co-LTL and Mn-LTL gave a 40%–48%KA oil(cyclohexanone and cyclohexanol)yield as well as nearly 100%TBHP conversion under mild reaction conditions.The reactions were confirmed to be heterogeneous and to have proceeded catalytically.No loss of catalytic activity or leaching of metal active sites ions were observed during 4 reuses. 展开更多
关键词 co-ltl Mn-LTL METALLOSILICATE TRIETHANOLAMINE cyclohexane oxidation KA oil
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部