SIA OpenIR

Browse/Search Results:  1-5 of 5 Help

Selected(0)Clear Items/Page:    Sort:
数字系统模型检验研究 学位论文
博士, 沈阳: 中国科学院沈阳自动化研究所, 2007
Authors:  王明全
Adobe PDF(1208Kb)  |  Favorite  |  View/Download:299/9  |  Submit date:2010/11/29
形式化验证  模型检验  抽象精炼  Bdd 优化  
基于遗传禁忌混合策略的二叉判定图最小化算法研究 期刊论文
信息与控制, 2005, 卷号: 34, 期号: 2, 页码: 142-146
Authors:  王明全;  于海斌
Adobe PDF(141Kb)  |  Favorite  |  View/Download:343/90  |  Submit date:2010/11/29
二叉判定图  最小化  变量排序  遗传算法  禁忌搜索  
现场总线通信控制专用芯片FF-H1研究与开发 期刊论文
微电子学与计算机, 2005, 卷号: 22, 期号: 3, 页码: 148-151,155
Authors:  王明全;  于海斌;  杨志家;  王宏;  杨松
Adobe PDF(243Kb)  |  Favorite  |  View/Download:431/111  |  Submit date:2010/11/29
现场总线  通信控制器  专用芯片  
BDD minimization based on genetic tabu hybrid strategy 会议论文
2005 6th International Conference on ASIC Proceedings, Books 1 and 2, Shanghai, China, October 24-27, 2005
Authors:  Wang MQ(王明全);  Yu HB(于海斌)
Adobe PDF(771Kb)  |  Favorite  |  View/Download:595/244  |  Submit date:2012/06/06
二叉判定图最优化算法研究综述 期刊论文
信息与控制, 2004, 卷号: 33, 期号: 5, 页码: 567-572
Authors:  王明全;  于海斌;  王宏
Adobe PDF(160Kb)  |  Favorite  |  View/Download:407/109  |  Submit date:2010/11/29
二叉判定图  解最优化算法  情况精确排序算法  动态启发式排序算法