国家自然科学基金(60673029)
- 作品数：2 被引量：2H指数：1
- 相关作者：罗旭杨帆曾璇陶俊朱恒亮更多>>
- 相关机构：复旦大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金国际科技合作与交流专项项目更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- 嵌套式稀疏网格随机配置法及其在随机门延时建模中的应用被引量：2
- 2010年
- 为了提高随机工艺偏差下门延时建模的计算精度和效率,提出一种基于扩展Gauss积分理论及嵌套式稀疏网格技术的随机配置门延时建模方法.首先采用参数空间中具有指数收敛特性的随机正交多项式对随机门延时进行逼近;然后针对现有的基于传统Gauss积分理论的稀疏网格随机配置法所用的配置点不具有嵌套特性的问题,利用单变量扩展Gauss积分理论及稀疏网格技术构造了一组嵌套式多变量Gauss积分点,将其作为随机门延时建模的配置点.这组配置点既具有Gauss积分点的高精度,又满足嵌套性质,且在低阶积分配置点上已经得到的门延时可以在高阶积分时重复使用.与现有的基于非嵌套式配置点的随机配置法相比,该方法的计算精度和效率可以得到很大的提升,数值实验结果也验证了该方法在计算精度和效率上的优势.
- 罗旭杨帆朱恒亮陶俊蔡伟周电曾璇
- 利用正交方法解SAT问题
- 2008年
- 提出了一种解决SAT问题的新算法.该算法首先定义了子句之间的正交关系;然后从消除子句之间的交叠信息出发,利用正交子句的特性,结合有效的简化技术,逐渐将问题简化为一组与原问题完全等价的正交子句组;最后,根据正交子句组对整个赋值空间的覆盖情况来判断SAT是否满足.该算法为SAT问题的解决提供了一个新的思路.
- 荆明娥陈更生赵长虹唐璞山周电
- 关键词：卡诺图NP完全问题
