航空软件模型状态最小化算法的比较
作者: | 杜文杰 雷国庆 |
作者单位: | 必威·Betway(东盟体育)责任有限公司-互动百科 华东师范大学 |
本文新意: | 实现了两种互模拟压缩算法,并将其应用于互模拟压缩问题中,对航空软件进行离线建模和验证 |
摘要: | 标号迁移系统是对航空软件操作行为建模的重要手段。当软件规模很大时,对应的标号迁移系统变得非常庞大,需要对其状态空间进行压缩。本文分别实现了由Valmari和Schatzle等人提出的两种互模拟压缩算法,并将其应用于互模拟压缩问题中,比较了两种算法的运行效果。根据实验数据可知,在PC平台上处理百万级规模以内的标号迁移系统最好选择基于内存的Valmari算法,在服务器的数据库中处理超大规模迁移系统时应选择基于外存的Schatzle算法。 |
|
|
关键词: | 标号迁移系统;互模拟压缩;算法; |
项目资助: | |
引用文本: | 杜文杰,雷国庆.航空软件模型状态最小化算法的比较[J].金融管理研究,2020(02):133-142. |