电子学报
 首页  |  期刊介绍  |  编 委 会  |  投稿指南  |  期刊订阅  |  综合信息  |  联系我们  |  致谢审稿人 | CJE
电子学报  2015, Vol. 43 Issue (11): 2298-2304    DOI: 10.3969/j.issn.0372-2112.2015.11.024
学术论文 最新目录| 下期目录| 过刊浏览| 高级检索 |
基于可满足性计数的(≠,=)约束工作流鲁棒性验证
翟治年1, 王刚2, 郑志军1, 彭艳斌1, 潘志刚1, 王中鹏1
1. 浙江科技学院信息与电子工程学院, 浙江 杭州 310023;
2. 中国核电工程有限公司河北分公司民用工程研究设计所, 河北 石家庄 050011
Verification of(≠,=)Constrained Workflow Robustness Based on Satisfiability Counting
ZHAI Zhi-nian1, WANG Gang2, ZHENG Zhi-jun1, PENG Yan-bing1, PAN Zhi-gang1, WANG Zhong-peng1
1. School of Information and Electronics Engineering, Zhejiang University of Science and Technology, Hangzhou, Zhejiang 310023, China;
2. Civil Engineering Research & Design Institute, China Nuclear Power Engineering Limited Corporation Hebei Branch, Shijiazhuang, Hebei 050011, China

版权所有 © 2012 《电子学报》编辑部
本系统由北京玛格泰克科技发展有限公司设计开发 技术支持:support@magtech.com.cn 
京ICP备12041980号-1