排序方式: 共有25条查询结果,搜索用时 15 毫秒
1.
2.
3.
混成系统是一类复杂系统,线性混成系统作为其重要子类,在形式方法中,人们通常使用线性混成自动机来对它建模.虽然线性混成自动机的模型检验问题总的来说还是不可判定的,但对于其中的正环闭合自动机.其对于线性时段性质的满足性能够通过线性规划方法加以检验.为了实现自动检验正环闭合自动机对线性时段性质的满足性,设计并实现了工具LDPChecker.工具LDPChecker能够识别正环闭合自动机并对其进行相应的检验,其主要特色在于它能够对实时和混成系统检验包含可达性在内的许多实时性质,并且能够自动给出诊断信息. 相似文献
4.
5.
7.
8.
改性活性炭吸附脱除噻吩类硫化物 总被引:2,自引:2,他引:0
采用不同氧化剂对活性炭进行处理后再负载金属离子,以提高其对燃油中噻吩类硫化物的吸附性能。采用均匀设计对硝酸浓度、氧化温度、Cu~(2+)负载量、焙烧温度及焙烧时间等5个因素进行优化,采用直观分析和二次多项式逐步回归分析法进行数据处理,得到较优的活性炭故性工艺条件:硝酸浓度为15mol/L,氧化温度为100℃,Cu~(2+)负载量(以CuO质量分数计)为15%,焙烧温度为150℃,焙烧时间为4.5h。在此工艺条件下制备的活性炭吸附剂对二苯并噻吩的穿透硫容和饱和硫容分别达到9.3mg/g和14.7mg/g。油品中的竞争物质对活性炭吸附剂脱除苯并噻吩性能的影响强弱顺序为:芳烃>烯烃。 相似文献
9.
10.