分析了当前Clark-Wilson完整性模型实现机制的不足,提出了一种基于TE实现Clark-Wilson模型的方法.首先讨论了TE对Clark-Wilson模型的支持能力,然后给出了用TE实现Clark-Wilson模型的配置规则和约束.在实现中,扩展了模型的(userid,TP,lis...分析了当前Clark-Wilson完整性模型实现机制的不足,提出了一种基于TE实现Clark-Wilson模型的方法.首先讨论了TE对Clark-Wilson模型的支持能力,然后给出了用TE实现Clark-Wilson模型的配置规则和约束.在实现中,扩展了模型的(userid,TP,list of CDIs)三元组,引入了角色层,以更实用的方式实现了职责隔离.同时,实现机制实现了对TP的保护,有效地保障了TP功能的正确性,提高了系统正确控制TP操作的可信度,减少了对Clark-Wilson模型验证规则的依赖.展开更多
用改进的Rose平衡釜测定恒压下(99.9 k Pa)甲缩醛-甲醇二元系的汽液平衡数据。用Herrington检验法对实测数据进行了热力学一致性检验。对Wilson和NRTL活度系数模型进行了关联,回归得到模型参数与温度之间的关系。与实验数据相比较,用Wil...用改进的Rose平衡釜测定恒压下(99.9 k Pa)甲缩醛-甲醇二元系的汽液平衡数据。用Herrington检验法对实测数据进行了热力学一致性检验。对Wilson和NRTL活度系数模型进行了关联,回归得到模型参数与温度之间的关系。与实验数据相比较,用Wilson模型预测的汽相组成其相对平均偏差为7.99%,温度平均偏差为0.12 K;NRTL模型的偏差分别为7.66%和0.22 K。结果表明用两种模型参数预测二元系的泡点与实验值能很好地吻合。展开更多
文摘分析了当前Clark-Wilson完整性模型实现机制的不足,提出了一种基于TE实现Clark-Wilson模型的方法.首先讨论了TE对Clark-Wilson模型的支持能力,然后给出了用TE实现Clark-Wilson模型的配置规则和约束.在实现中,扩展了模型的(userid,TP,list of CDIs)三元组,引入了角色层,以更实用的方式实现了职责隔离.同时,实现机制实现了对TP的保护,有效地保障了TP功能的正确性,提高了系统正确控制TP操作的可信度,减少了对Clark-Wilson模型验证规则的依赖.
文摘用改进的Rose平衡釜测定恒压下(99.9 k Pa)甲缩醛-甲醇二元系的汽液平衡数据。用Herrington检验法对实测数据进行了热力学一致性检验。对Wilson和NRTL活度系数模型进行了关联,回归得到模型参数与温度之间的关系。与实验数据相比较,用Wilson模型预测的汽相组成其相对平均偏差为7.99%,温度平均偏差为0.12 K;NRTL模型的偏差分别为7.66%和0.22 K。结果表明用两种模型参数预测二元系的泡点与实验值能很好地吻合。