状态约简相关论文
随着计算机软件模型日趋复杂以及大规模与并发系统的应用，如何保证系统模型的正确性、一致性成为当前研究的热点。本课题以面向任务......
模型检测(model checking)是一种能够自动验证有限状态并发系统的技术。该文从模型检测技术的背景入手,先阐述了模型检测技术基本......
用户侧分布式电源的生产数据具有数据量大、相似度高和存在伪数据等特点,从而不利于用户决策。针对这一问题,首先构造了用户侧分布......
针对现有攻击图生成方法存在的状态爆炸导致攻击图规模庞大的问题,提出了一种基于安全状态约简的攻击图生成方法。该方法对现有的......
