随机系数跳跃扩散模型递归随机控制问题的动态规划和验证定理| IEEE期刊和杂志| IEEE Xplore