搜索筛选:
搜索耗时3.5616秒,为你在为你在102,285,761篇论文里面共找到 193 篇相符的论文内容
发布年度:
[期刊论文] 作者：柏之菁,,
来源：新东方英语(中学版) 年份：2009
Q:我什么时候开始准备SAT呢?A:询问准备SAT考试时间的问题非常多,小柏老师建议大家按照倒推的方式来制定备战SAT考试的时间表。如图所示:由于SAT考试每年进行七次,Q: When...
[期刊论文] 作者：柏之菁,,
来源：新东方英语(中学版) 年份：2009
上期,我们介绍了中国考生取得SAT好成绩所面临的两大难题——思维模式和思维惯性。本期开始,我们将逐一为大家介绍和分析SAT命题人在SAT试题中所体现出来的思维方式。In th...
[期刊论文] 作者：柯铧,,
来源：教育测量与评价(理论版) 年份：2009
包括阅读、写作、数学三个板块的美国New SAT使得实施了近80年之久的旧版SAT成为历史。经过不断的调整和完善,New SAT已逐渐走向成熟和完善。以New SAT为核心的美国高校招生...
[学位论文] 作者：汤振东,
来源：中山大学 年份：2009
带硬约束的MAX—SAT问题又称为Partial MAX—SAT问题，它是SAT问题和MAX—SAT问题的结合，比后两者有着更强的描述问题的能力和更广泛的应用背景。人工智能、电路设计、生物信息...
[期刊论文] 作者：齐荣乐,,
来源：新东方英语(中学版) 年份：2009
词汇题是SAT阅读部分一种十分常见的题型,主要考查考生能否正确理解单词在特定语境中的具体含义.出题特点纵观SAT历年真题,词汇题的出题特点如下:1.考查词汇多为常见词汇,但...
[期刊论文] 作者：熊晓亮,,
来源：教育探索 年份：2009
斯腾伯格以其成功智力理论对美国SAT进行改革,在SAT的基础上增加了附加测试,使其更加完善。SAT的改革对我国高考改革有以下启示:应寻找高考改革的新的理论基础,高考应全面测...
[期刊论文] 作者：赵阳,吕涛,李华伟,李晓维,,
来源：计算机学报 年份：2009
针对从电路转化而来的SAT问题，通用SAT求解器存在一个缺陷——电路互连信息的缺失，这是造成很多无关推导的根源．文中提出了一个统一的基于CNF数据结构的电路SAT无界模型检验框架...
[期刊论文] 作者：陈蔼祥,
来源：计算机工程与应用 年份：2009
近年来，由于在可满足问题（SAT）研究领域取得了较大进展，出现了一大批快速的能达到工业级应用的SAT solver求解器的出现，这使得运用可满足技术...
[期刊论文] 作者：李侃,,
来源：新东方英语(中学版) 年份：2009
语法部分属于SAT Reasoning Test中的写作(Writing)板块,与Essay Writing分值一起组成写作板块的总分。...
[学位论文] 作者：马亮,
来源：电子科技大学 年份：2009
SAT是理论计算机科学中的一个经典问题,也是被发现的第一个NP完全问题。SAT问题是对于给定的一个布尔逻辑表达式在SAT问题可满足的情况下给出一组解,使得该布尔逻辑表达式为...
[期刊论文] 作者：吴秋逸,李阳阳,焦李成,,
来源：系统工程与电子技术 年份：2009
根据协同策略和量子免疫计算理论，提出一种求解SAT问题的量子协同免疫算法。该算法在将SAT问题转化为函数优化问题的基础上，采用多个子种群。分别采用量子比特编码来表达个体，采...
[期刊论文] 作者：杨智应,,
来源：计算机应用与软件 年份：2009
给定一个k-SAT实例F,将作用于公式F得到随机k-SAT实例F′。在随机扰动模型M(m;n;k)下,随机k-SAT实例F′的若干性质。...并证实当子句密度足够大时,随机k-SAT实例F′的不可满足性判定可以归结为最小k-击中集问题的求解。...
[期刊论文] 作者：殷明浩,林海,孙吉贵,,
来源：软件学报 年份：2009
#SAT问题是SAT问题的扩展,需要计算出给定命题公式集合的模型个数.通过将问题求解沿着归结的反方向进行,并利用容斥原理解决由此带来的空间复杂性问题,提出了一种基于扩展规...
[期刊论文] 作者：李厚银,许道云,万武族,
来源：计算机与数字工程 年份：2009
将线性半定规划应用到SAT问题的求解过程中。首先将SAT实例转化为整数规划问题，然后松弛为线性规划模型，最后再转化为一般的线性半定规划模型去求解。用SDPA-M软件求解线性半定...
[期刊论文] 作者：李现伟,,
来源：21世纪 年份：2009
在美国,许多大公司在招聘员工时,都要求应征者提供SAT分数。这个高中时代的成绩为什么会这么重要,影响到你就业?这是因为,它代表的是你的智力素质,代表你是否足够聪明,是否具...
[期刊论文] 作者：奥立弗·库曼,,
来源：逻辑学研究 年份：2009
OK库是一个开源数据库,被用于支持广义SAT问题领域的研究和发展,该库可从下述网址获得:http://www.ok-sat-library.org..本文中我们讨论了这个数据库的发展历史、开发动机和...
[期刊论文] 作者：王晓峰,,
来源：宁夏工程技术 年份：2009
通过对遗传算法的改进，引入了聚类排序选择算子，将一个3-SAT的判定性问题转换成一个3-SAT的验证性问题，同时加快了算法的收敛程度，最后给出了基本的求解算法，并分析了该算法的复杂...
[期刊论文] 作者：奥立弗·库曼,
来源：逻辑学研究 年份：2009
OK库是一个开源数据库，被用于支持广义SAT问题领域的研究和发展，该库可从下述网址获得：http：//www．ok—sat—library．org．。...
[期刊论文] 作者：殷明浩,林海,孙吉贵,
来源：软件学报 年份：2009
#SAT问题是SAT问题的扩展，需要计算出给定命题公式集合的模型个数，通过将问题求解沿着归结的反方向进行，并利用容斥原理解决由此带来的空间复杂性问题，提出了一种基于扩展规则的...
[期刊论文] 作者：宋小华,李斌,
来源：电脑编程技巧与维护 年份：2009
提出了一种加权MAX-SAT问题求解的改进算法,给出了启发式的命题变量选择方法和新的下界计算方法,改善了加权MAX-SAT问题剪枝效率。当子句规模变大时,其优点更为明显。新的算...
相关搜索：
