基于Petri网的安全工作流管理系统建模

为增强工作流管理系统的安全性,本文使用高级Petri网对工作流过程进行建模.针对不同的安全问题,分别引入时间Petri网、有色Petri网和有色时间Petri网进行建模.保证了授权流和工作流的同步,满足最小特权原则,给工作流管理系统提供了最大的安全保障.     

价值评估模型在航材保障中的应用

针对航材的特点,分析现有航材理论以及航材的价值动态评估模型,并提出适合航材保障的新型模型.其通过使用特征向量法设定权重系数,并通过计算目标值、使用成本法计算模型等步骤建立数学模型.以航材中的某型离心式增压泵为例作价值动态评估,通过重置成本、计算指标值及价值评估得以实现,结果证明该模型合理.