基于制造商—销售商供应链双向补贴博弈研究

基于制造商对销售商进行广告补贴,销售商对制造商进行研发补贴的异质性供应链合作模式,构建了博弈模型,并提出两种违约风险解决方案。分析论证了制造商研发投入与边际收益正相关,销售商广告投入与边际收益正相关。在制造商单向补贴博弈均衡时,销售商的广告投入与制造商给予的补贴系数的关系由参数决定,销售商的广告投入与制造商的研发投入负相关,补贴系数与制造商边际收益正相关,与销售商边际收益负相关。在制造商—销售商供应链双向补贴博弈均衡时的供应链收益大于单向补贴博弈均衡时的供应链收益。     

一个求解SAT问题的新算法

基于对完备算法和非完备算法的研究,结合完备算法能够进行完备求解和不完备算法能够以较快速度进行求解的优点。提出一种新的求解SAT问题的算法——对子句分组、对分组求解的算法。该算法完备地对SAT子句分组,同时在分组求解时使用局部搜索方法以较快的速度求解。经过实验验证,结果表明该方法能明显提高求解效率。     

基于Stuttering等价技术的有界模型检测的优化

在讨论有界模型检测及其转换公式的基础上,对有界模型检测转换公式[[M,f]]k中的[[M]]k进行优化。通过在LTL有界模型检测中引入Stuttering等价技术,对状态转换路径优化,避免了SAT求解工具在有界Stuttering等价路径中的重复搜索。以安全系统验证为例,通过两个重要的模态算子G（p）和G（p→F（q））,验证优化方法,实验结果表明,该方法有效地提高了对安全系统保密性和认证性验证的效率。