一种安全转移系统模型的构造及其运用

为提高安全性,一般利用密码技术,但系统运行过程的安全尚显不足,为此基于行为时序逻辑TLA提出一种安全转移系统模型。通过设置安全属性,构造安全行为,使得系统在运行过程中的每次转移都满足安全属性,从而提高过程的安全性。为此,定义初始安全态、安全转移条件、安全状态、安全行为、安全运迹和安全转移系统,并证明在安全转移系统中状态处处安全。安全转移系统中强调的是系统转移过程的安全性,从而增强了系统运行的安全。通过实例的运用表明面向过程安全的建模为提高系统的安全性是有意义的。

安全冷链运输箱转移系统在疫苗冷链运输中的应用研究

目的探讨安全冷链运输箱转移系统在疫苗冷链运输中的应用,为疫苗冷链运输管理提供参考。方法随机抽取19个安全冷链运输箱在空载条件下全部置于17~22℃室温环境下进行保温性能效果测试。抽取5个安全冷链运输箱在疫苗负载条件下分别置于-15^-20℃、2~8℃、20~25℃和37℃环境条件下进行保温性能效果测试。将装好疫苗样品的2个安全冷链运输箱放置于普通汽运集装箱内,在实地线路进行疫苗冷链模拟运输配送测试,运输配送全过程采用"冷链温湿度监测云平台"进行实时动态监控。结果安全冷链运输箱在空载条件下置于17~22℃室温环境下,箱内维持在2~8℃的最短时间为219h。安全冷链运输箱在负载条件下分别置于-15^-20℃、2~8℃、20~25℃和37℃环境条件下,箱内维持在2~8℃的最短时间分别为69h、240h、108h和63h。疫苗冷链模拟运输配送线路测试总时长203.5h,全程箱内维持2~8℃的时间至少为156h。结论安全冷链运输箱转移系统可以实现疫苗的全程冷链运输,实时、动态监控疫苗发运全过程的温度和线路变化,确保疫苗冷链运输过程的可追溯性。