状态空间缩减相关硕士博士期刊学术论文 - 信丰网

状态空间缩减相关论文

基于离散动态规划的列车节能速度曲线优化

为降低城市轨道交通的牵引能耗,结合列车牵引特性、速度限制和坡道阻力等影响,确定一条速度曲线使列车站间运行的牵引能耗最小。以......

期刊

城市轨道交通节能速度曲线优化离散动态规划状态空间缩减 Urban Rail TransitEnergy-EfficientSpeed Curve Opt

程序条件化用于软件模型检测中的状态空间缩减

针对软件模型检测中的状态爆炸问题,提出将程序条件化技术用于软件状态空间缩减的方案.以程序性质的线性时序逻辑公式可能出现的蕴......

期刊

程序条件化软件模型检测状态空间缩减符号化执行线性时序逻辑

看过本文同时还关注