搜索筛选:
搜索耗时3.6992秒,为你在为你在102,285,761篇论文里面共找到 219 篇相符的论文内容
发布年度:
[学位论文] 作者：程睿,,
来源：武汉理工大学 年份：2018
CDCL(Conflict Driven Clause Learning)SAT求解器在形式验证等领域应用广泛,在实际应用中的大量NP问题已经被证明可以转化为SAT问题进行求解,因此,SAT问题的求解效率备受关...
[期刊论文] 作者：王强,刘磊,吕帅,
来源：软件学报 年份：2018
#SAT在人工智能领域取得了广泛应用,很多现实问题可以规约成#SAT进行求解,得到命题理论的模型个数.通过对基于扩展规则的#SAT求解器的深入研究,发现选择规约子句的顺序对极大...
[期刊论文] 作者：,
来源：留学 年份：2018
2018年SAT考试在即，这么多准备材料，如何有条不紊的准备呢？ 在近日，College Board官网放出了2018年8月到2019年6月的SAT考位。与此同时，两天后便是SAT5月的考试。...那参加SAT考试，要提前准备好哪些考试当天必须物品？关于SAT考试存在哪些误区？留学君今天奉上攻略，预祝大家取得好成绩！ 必带物品 证件类： 准考...
[期刊论文] 作者：李媛媛,
来源：考试周刊 年份：2018
有SAT2化学成绩对于出国申请医学、环境工程、食品安全、新型能源材料、化工等名牌的理工科类的专业具有优越的优势，本文就SAT2化学考点及教学策略进行初步的研究和分析；为我国的基础教育提供进一步的参考。 ...关键词：SAT2化学教学；考点解析；学习方法 在经济全球化的背景下，教育国际双向交流日益密切，教育的全球化也引起了留学...
[期刊论文] 作者：于红霞, 刘丽丽, 姜春岩, 白莉,,
来源：齐齐哈尔医学院学报 年份：2018
目的分析SAT与儿童支原体肺炎降钙素原、胸部X线片的关系。方法收集54例使用RNA实时荧光恒温扩增技术(SAT)确证儿童支原体肺炎的患者,分析SAT转阴时间与治疗后患儿1、2、3、4...
[期刊论文] 作者：李娟,崔金宝,
来源：福建电脑 年份：2018
很多NP问题都可以转换成SAT问题进行求解,所以关于SAT问题求解算法的研究一直是人工智能的一个重要研究方向。DR算法是一种基于归结的高效算法,但在算法的归结过程中会产生很...
[期刊论文] 作者：付慧敏,徐扬,何星星,宁欣然,
来源：计算机工程与科学 年份：2018
基于不同分配策略的云计算任务调度以及任务分配与调度的主要目的,提出了一种新的算法—求解3-SAT问题的基于任务分配与调度的GSAT算法。该算法将3-SAT问题中的每一个变量形...
[期刊论文] 作者：,
来源：侨园 年份：2018
日前，美国芝加哥大学率先宣布取消SAT/ACT考试的强制性要求，芝加哥大学是美国前十的知名学府。该举动在教育界引起轰动，并将直接引发跟风效应。 ...作为美国大学本科的重要入学考试，SAT是美国大学委员会主办的一场考试，其成绩是世界各国高中生申请美国大学入学资格及奖学金的重要参考，它和ACT（American College Test）都被称为“美国高考...
[学位论文] 作者：赵苑伶,
来源：浙江大学 年份：2018
SAT考试是美国最重要的大学入学测试之一，被称为美国“高考”。SAT考试诞生于1926年，经过半个多世纪的发展与调整，历经初创探索期和规范发展期，到20世纪80年代末逐渐稳定。然而随...
[期刊论文] 作者：程睿,周彩兰,徐宁,周强,,
来源：计算机辅助设计与图形学学报 年份：2018
CDCL SAT求解器在形式验证等领域应用广泛,但重启策略众多且参数控制复杂,导致通常选择默认参数下的策略,从而降低求解器的效率和易用性.为了提高CDCL SAT求解器的实用性,通过实验分析重启序列、重启间隔...
[学位论文] 作者：臧婉君,
来源：西安电子科技大学 年份：2018
可满足性问题（SAT问题）是计算机科学领域中的核心基础问题,是寻找并确定一组真值指派作为以合取范式形式（CNF）表示的给定布尔约束公式的解决方案的问题。...SAT问题具有广泛的应用领域,包括计算机辅助设计,人工智能,路线规划等。可以将各种电子设计自动化（EDA）应用程序（如等效性检查,模型检查,测试模式生成,布局和路线）定义或转化为SAT问题。至今...
[期刊论文] 作者：戴瑀君,徐周波,
来源：广西科学院学报 年份：2018
【目的】研究模式挖掘领域中的频繁序列挖掘技术,由于序列模式挖掘存在指数级的搜索空间,且传统的SAT求解算法无法高效求解大规模数据集的缺点,因此研究符号表示和操作技术,...
[期刊论文] 作者：黎郭凯,,
来源：中学数学杂志 年份：2018
通过查阅中国和美国的高中数学课程的相关文献,对中国高考数学试题和美国SAT试题数学部分的分析和研读,先对美国SAT考试和普通高等学校招生全国统一考试进行简要介绍,再主要...
[期刊论文] 作者：覃兵, 陈佳,,
来源：职业 年份：2018
本文通过对美国SAT考试的命题的分析,提炼出其具有公正性、科学性和有效性的命题特点,并就此与我国高考命题进行比较,总结了一些具有启示意义的观点,以期为我国的高考命题提...
[期刊论文] 作者：旭刚,,
来源：侨园 年份：2018
日前,美国芝加哥大学率先宣布取消SAT/ACT考试的强制性要求,芝加哥大学是美国前十的知名学府.该举动在教育界引起轰动,并将直接引发跟风效应.rn作为美国大学本科的重要入学考...
[期刊论文] 作者：白丽梅,董昔山,
来源：现代实用医学 年份：2018
目的探讨恒温扩增法肺炎支原体RNA检测(SAT-MP)结合胸部X线检查在早期支原体肺炎中的诊断价值。方法回顾性分析463例咳嗽、发热症状患者临床资料,所有患者均进行SAT-MP检测和...
[期刊论文] 作者：李士瑾, 冯志海, 陈旭,,
来源：南京中医药大学学报 年份：2018
目的探讨自拟柴胡牛蒡汤治疗亚急性甲状腺炎(SAT)肝经蕴热证患者的临床效果。方法选取我院2016年3月至2017年5月收治的110例SAT作为研究对象,采用随机数字表法分为联合组55例...
[期刊论文] 作者：王芳, 邵斌, 王亮平,,
来源：实用临床医学 年份：2018
目的 探讨肺泡灌洗液SAT-TB联合结核菌Xpert检测在诊断涂阴肺结核中的应用价值。 方法 选择68例涂阴肺结核患者为研究对象，取肺泡灌洗液分别进行SAT-TB、结核菌Xpert检测，比较...
[期刊论文] 作者：刘思庄,,
来源：科技创新与生产力 年份：2018
本文以美国学术能力评估测试(SAT)数学试题和中国高考数学试题为例,从命题原则、考试要求、题型结构、命题方式、试卷内容5个角度对二者进行了比较,分析了二者不同特点的成因...
[期刊论文] 作者：王雁, 包杰,,
来源：河南预防医学杂志 年份：2018
目的比较实时荧光核酸恒温扩增技术(SAT)和尿液快速检测法在淋球菌(NG)检测中的诊断价值,以选择更为准确、快速、实用的临床检测方法。方法采集本院就诊的不孕不育对象200例,...
相关搜索：
