排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
提出了一种基于带参系统的Murphi模型来完成对应的SMV自动化建模的方法.因为Murphi工具拥有带参特性,因此使用其对带参系统进行建模比较容易,而且得到的模型代码量比较少,易于阅读、理解和修改;而SMV模型则能实现更丰富的控制,如进行快速不变式检查和限界模型检测等,但是建模过程复杂,模型不易维护.我们通过对两者进行分析,首先提出了能够很好描述带参系统的一个语义模型,然后读入相应的Murphi模型并进行分析以获取其语义模型表示,最后再通过一系列的策略自动得到限定参数时的SMV模型,由此得到的模型能够满足实际科研工作的应用要求. 相似文献
2.
以赤泥和粉煤灰为主要原料,通过添加硅酸钠和碳酸氢钠不需要高温煅烧便可制备出具有吸附性能的陶粒。以陶粒的解体率为评定指标,通过响应曲面研究了赤泥、粉煤灰、硅酸钠和碳酸氢钠的配比对陶粒解体率的影响,研究结果表明:赤泥、粉煤灰、碳酸氢钠和硅酸钠的最佳配比分别为72%、10%、3%和15%,可得到陶粒的最佳解体率为4%。采用X射线荧光光谱(XRF)仪、X射线衍射(XRD)仪和全自动比表面积及孔隙分析仪等对陶粒的组分、表面形貌特征、孔径分布进行研究,免烧工艺制备的陶粒生成了新的铝-硅化合物,陶粒表面具备多孔的特点。将陶粒应用于吸附磷石膏渗滤液中的磷和氟离子,总磷和F-的去除率最高分别可达79.80%和97.28%。 相似文献
1