己内酰胺-四丁基氟化铵离子液体表面张力研究

离子液体因其溶解能力良好,物理、化学性质稳定,沸点高,难挥发,不会造成二次污染等诸多优点,成为了21世纪最有前景的绿色溶剂之一。将己内酰胺-四丁基氟化铵离子液体配置成不同浓度的水溶液,测定其表面张力。结果表明,该离子液体的表面张力随温度的升高而降低,随离子液体浓度的增加而减小;在一定浓度的时候,离子液体的表面张力小于水的表面张力。

基于Petri网化简技术的工作流过程模型结构验证

目前,工作流系统向大型化发展,这使得基于可达图的验证技术在对大型模型进行验证时面临着状态空间爆炸的问题。因此,在过程验证之前,对大型模型进行化简是必要的。文中介绍两种化简规则。这些规则将一个大的Petri网化简为更小的Petri网,同时保持合理性属性,保证化简后的Petri网和原有的Petri网具有相同的属性。介绍了Petri网、Workflow Petri网和过程合理性定义;讨论了针对Petri网的两种化简技术;提出了工作流过程模型结构合理性验证过程。