论文部分内容阅读
根据带有随机特征的复杂信息系统性质验证的需求，针对离散概率回报模型的分层直到公式，提出一种性质验证分析方法。在综合各种离散随机逻辑的基础上，使用一种同时具有迁移回报及迁移步区间表达能力的概率计算树逻辑表示系统模型的分层直到路径公式性质，使用自动机技术建模路径公式，通过构造积模型完成模型与自动机的同步演化，基于积模型给出相应的状态概率满足算法。实例结果验证了该方法的可行性和有效性。