【摘 要】
：
工作流将业务过程分解为有序的步骤并分配人力资源加以执行.资源分配受访问控制约束及资源异常干扰,存在可满足性和鲁棒性问题.而其鲁棒性验证又依赖于其可满足性判定,目前通
【机 构】
：
浙江科技学院信息与电子工程学院,中国核电工程有限公司河北分公司民用工程研究设计所
【基金项目】
：
国家自然科学基金（No.51376162）, 浙江省自然科学基金（No.LY13F050005）
论文部分内容阅读
工作流将业务过程分解为有序的步骤并分配人力资源加以执行.资源分配受访问控制约束及资源异常干扰,存在可满足性和鲁棒性问题.而其鲁棒性验证又依赖于其可满足性判定,目前通过求可满足性的一个解来完成.本文提出另一种途径,通过统计解的个数来完成判定.特别地,通过多项式计数归约为有求解器可用的#SAT问题,给出了互斥和绑定约束下的可满足性计数算法.实验表明,相对目前时间复杂度最低的可满足性求解算法,该可满足性计数算法显著提高了实际判定效率和适用规模.
其他文献
游戏教学法作为一种现代化的体育教学手段,已经在初中体育课堂教学活动中得到了很好应用,初中体育课堂教学状况也已经得到很大改观。主要研究游戏教学法在初中体育教学中应用
为无线单播模式设计的RTS/CTS信道握手机制不适用于多播模式,导致Ad hoc多播树节点易与隐藏终端发生冲突.通过提出m阶冲突域、节点在冲突域中的分布指标,结合无线网多播数据
试卷讲评是教学中的一个难点,公开课中很少有人问津。针对当前初中英语试卷讲评中普遍存在的问题,结合自身教学实践,做了一些认真的探讨与尝试,较为详细地阐述了优化试卷讲评
随着我国教育水平的不断提高,兴趣教学法在教学中得到了较为广泛的运用,结合初中体育教学的现状进行分析,对初中体育教学中兴趣教学法的运用策略进行总结与探讨,希望能够对初