标签转移系统相关论文
随着仿真模型技术的广泛应用,如何提高复杂仿真模型系统的开发效率和降低开发成本问题变得越来越重要。由于系统的复杂性,难于直接开......
针对提高复杂仿真系统的开发效率和降低开发成本的问题,提出了基于模型组合验证的仿真模型开发框架,将系统开发过程分解为模型的发......
车车通信系统是一种以列车为中心的控制系统,取消了轨旁联锁系统,列车直接与地面对象控制器通信进而控制道岔。这种车地直接控制方......
为了提高二乘二取二系统的安全应用特性,系统的安全相关逻辑在投入使用前必须进行验证。模型检验是验证系统安全属性的有效手段之......
为提高复杂仿真系统的开发效率和降低开发成本,提出了基于标签转移系统 LTS 的仿真模型组合验证方法。该方法在组合仿真模型的行为......