退出
我的积分:
中文文献批量获取
外文文献批量获取
文摘
英文文摘
原创性声明及关于学位论文使用授权的声明
1引言
2 SPIN模型检测器
3 SPIN中的状态压缩技术
4基于属性的状态向量优化(SOBP)
5结论与展望
参考文献
在学期间的研究成果
致谢
附录:Leader Election Protocol
章超;
兰州大学;
SPIN验证; 模型检测; 无损压缩技术; 归约策略;
机译:状态压缩动态规划优化的最长匹配资源映射算法
机译:基于多目标优化,多属性决策和保形设计理论的电快速热循环模具加热系统优化设计
机译:低推力轨迹优化的替代状态向量选择的探索
机译:基于多核的队列状态向量的管理与优化
机译:基于最小描述长度与出生和死亡过程的连续属性离散化贝叶斯网络的连续属性
机译:基于属性的基于结构的小分子抑制剂对Menin和混合谱系白血病(MLL)之间蛋白质-蛋白质相互作用的优化
机译:Spin中的运行时有效状态压缩
机译:非高斯初始状态向量的最优状态向量估计
机译:在车辆控制系统中将状态向量与目标对象的对象属性值组合以提交的方法涉及在车辆控制系统中由对象形成多个状态向量,这可能与车辆控制有关
机译:移动通信用户设备和网络中的能源意识,包括基于状态压缩的优化
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。