搜索筛选:
搜索耗时0.8519秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：胡显伟,任世军,
来源：智能计算机与应用 年份：2012
提出了一种基于函数变换的求解SAT问题的新算法，这个新算法利用SAT问题自身的特点将判定问题转化为连续函数的求极值问题。随机选取一组初始值，利用最速下降法求解变换后的连续......
[期刊论文] 作者：王益鸣,张立,施建荣,柴小平,任世军,邹伟明,王洪涛,胡序朋,
来源：中国环境监测 年份：2012
根据浙江省舟山海洋生态环境监测站多年资料,对浙江省近岸海域环境功能区达标趋势及影响因素进行分析。结果表明,2009年浙江近岸海域环境功能区平水期、丰水期、枯水期达标面...
相关搜索：
