SIA OpenIR

Browse/Search Results:  1-2 of 2 Help

Selected(0)Clear Items/Page:    Sort:
数字系统模型检验研究 学位论文
博士, 沈阳: 中国科学院沈阳自动化研究所, 2007
Authors:  王明全
Adobe PDF(1208Kb)  |  Favorite  |  View/Download:299/9  |  Submit date:2010/11/29
形式化验证  模型检验  抽象精炼  Bdd 优化  
二叉判定图最优化算法研究综述 期刊论文
信息与控制, 2004, 卷号: 33, 期号: 5, 页码: 567-572
Authors:  王明全;  于海斌;  王宏
Adobe PDF(160Kb)  |  Favorite  |  View/Download:407/109  |  Submit date:2010/11/29
二叉判定图  解最优化算法  情况精确排序算法  动态启发式排序算法