切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
赞助VIP
赞助VIP 即刻尊享
赞助搜论网 享受下载乐趣
赞助会员免费下论文
每天享受下载服务
享高速下载通道
专享客服优先
立即加入VIP
登 录
注 册
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
状态空间缩减相关论文
基于离散动态规划的列车节能速度曲线优化
为降低城市轨道交通的牵引能耗,结合列车牵引特性、速度限制和坡道阻力等影响,确定一条速度曲线使列车站间运行的牵引能耗最小。以......
期刊
城市轨道交通
节能
速度曲线优化
离散动态规划
状态空间缩减
Urban Rail TransitEnergy-EfficientSpeed Curve Opt
程序条件化用于软件模型检测中的状态空间缩减
针对软件模型检测中的状态爆炸问题,提出将程序条件化技术用于软件状态空间缩减的方案.以程序性质的线性时序逻辑公式可能出现的蕴......
期刊
程序条件化
软件模型检测
状态空间缩减
符号化执行
线性时序逻辑
看过本文同时还关注
如何写好一篇毕业论文
免费论文查重的方法
从零开始写毕业论文的方法
热心助人的动物
第一届全国脊柱脊髓基础研究及临床...
2004世界科技七大看点
对甘肃省国有企业兼并问题的思考
热心助人的动物
对甘肃省国有企业兼并问题的思考
热心助人的动物