检索结果-维普期刊中文期刊服务平台

当前高考写作命题问题与对策被引量：2: 1; 作者贺卫东王吾堂《课程．教材．教法》 CSSCI 北大核心 2015年第3期89-94,共6页; 写作命题的层次性、系统的合理性决定着测评结果的准确性与有效性,命题的可测评性决定了试题的信度与效度。当前高考写作命题有必要对命题的指向性、价值取向予以反思与研究。基于能力,以阅读为导向,理性为核心的写作命题对我国考试作... 展开更多; 关键词高考写作命题问题对策; 在线阅读下载PDF 职称材料

命题逻辑可满足性问题求解器的新型预处理子句消去方法被引量：3: 2; 作者宁欣然徐扬陈振颂《计算机集成制造系统》 EI CSCD 北大核心 2020年第8期2133-2142,共10页; 针对生产线调度、航空器规划和调度等规划问题转化为命题逻辑可满足性问题时带来的子句冗余问题,提出3种子句消去方法对命题逻辑可满足性问题进行子句集化简。通过将一阶逻辑上子句消去的蕴涵模归结原则降维到命题逻辑上,建立了命题逻... 展开更多; 关键词子句消去方法命题逻辑可满足性问题求解蕴涵模归结规划问题; 在线阅读下载PDF 职称材料

可满足问题中的模型计数被引量：3: 3; 作者谷文祥朱磊 +1 位作者黄平殷明浩《智能系统学报》北大核心 2012年第1期33-39,共7页; 模型计数问题是指计算给定问题的解的个数,这是一类比决策更困难的问题,也是人工智能领域研究的一个热点问题.对模型计数问题的研究不仅可以提高算法的求解效率,更能促进对问题困难本质的了解.以可满足问题(命题可满足(SAT)和约束可满... 展开更多; 关键词人工智能约束可满足问题命题可满足问题模型计数; 在线阅读下载PDF 职称材料

利用命题逻辑最大可满足性的冗余通孔最优插入方法: 4; 作者杨成杨骏张亚东《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2023年第7期1132-1138,共7页; 在纳米尺度的集成电路设计中,冗余通孔插入是减轻通孔失效造成良率降低问题的常用技术.文中将最优冗余通孔插入问题规约到命题逻辑最大逻辑可满足性(maximum satisfiability,Max SAT)问题,并利用完备求解器求取最优解.Max SAT问题是一... 展开更多; 关键词冗余通孔插入命题逻辑最大可满足性问题版图后优化可制造性设计; 在线阅读下载PDF 职称材料

基于扩展规则的模型计数与智能规划方法被引量：22: 5; 作者赖永欧阳丹彤 +1 位作者蔡敦波吕帅《计算机研究与发展》 EI CSCD 北大核心 2009年第3期459-469,共11页; 提出命题扩展规则方法ER的一种高效实现.在此基础上,研究了扩展规则方法在3个领域的应用:提出一次性求解一系列相近SAT问题的快速算法nER;提出基于扩展规则的模型计数算法#ER,同时结合#ER和#DPLL的优点提出算法#CDE;设计基于扩展规则方... 展开更多; 关键词自动推理扩展规则命题可满足问题模型计数 Conformant规划; 在线阅读下载PDF 职称材料

基于双模型的MUS求解方法被引量：4: 6; 作者欧阳丹彤高菡 +2 位作者田乃予刘梦张立明《计算机研究与发展》 EI CSCD 北大核心 2019年第12期2623-2631,共9页; 求解不可满足问题的极小不可满足子集(minimal unsatisfiable subset,MUS)是人工智能领域的重要研究方向.MARCO-M方法是目前采用单一极大化模型求解MUS效率最高的方法,但此方法未对求解空间进行进一步有效剪枝.针对MARCO-M方法的不足,... 展开更多; 关键词命题可满足问题极小不可满足子集极大可满足子集幂集探索双模型; 在线阅读下载PDF 职称材料

维特根斯坦及其美学被引量：1: 7; 作者徐岱《浙江学刊》 CSSCI 北大核心 2015年第4期87-96,共10页; 尽管维特根斯坦从未写过一本美学专著,但他却被公认为"分析美学"的开创者。这是因为他的一系列讲演中都曾渗透着关于美学的思考。如果说他的哲学以"反哲学"著称,那么他的美学似乎也可以"非美学"来标志。... 展开更多; 关键词维特根斯坦分析美学命题与问题; 在线阅读下载PDF 职称材料

高考生物学模拟卷命制的实践与思考被引量：1: 8; 作者许东升《生物学教学》北大核心 2017年第10期62-63,共2页; 本文总结归纳了高考生物学模拟试卷命制的基本要点，包括明确指导思想，制定舣向细目表、收集命制试题素材，并注意杜绝命题中出现的常见问题。; 关键词生物学模拟试题命制命题常见问题; 在线阅读下载PDF 职称材料

题名当前高考写作命题问题与对策被引量：2: 1; 作者贺卫东王吾堂; 机构教育部陕西师范大学基础教育课程研究中心陕西师范大学文学院西安交通大学第二附属中学; 出处《课程．教材．教法》 CSSCI 北大核心 2015年第3期89-94,共6页; 文摘写作命题的层次性、系统的合理性决定着测评结果的准确性与有效性,命题的可测评性决定了试题的信度与效度。当前高考写作命题有必要对命题的指向性、价值取向予以反思与研究。基于能力,以阅读为导向,理性为核心的写作命题对我国考试作文命题具有启发意义。; 关键词高考写作命题问题对策; Keywords college entrance examination writing proposition problem countermeasure; 分类号 G633.34 [文化科学—教育学]; 在线阅读下载PDF 职称材料

题名命题逻辑可满足性问题求解器的新型预处理子句消去方法被引量：3: 2; 作者宁欣然徐扬陈振颂; 机构西南民族大学计算机科学与技术学院西南交通大学系统可信性自动验证国家地方联合工程实验室武汉大学土木建筑工程学院; 出处《计算机集成制造系统》 EI CSCD 北大核心 2020年第8期2133-2142,共10页; 基金国家自然科学基金资助项目(61673320,71801175) 西南民族大学中央高校基本科研业务费专项资金项目资助(2020NQN40) +1 种基金香港特别行政区研究资助委员会资助项目(T32-101/15-R)。; 文摘针对生产线调度、航空器规划和调度等规划问题转化为命题逻辑可满足性问题时带来的子句冗余问题,提出3种子句消去方法对命题逻辑可满足性问题进行子句集化简。通过将一阶逻辑上子句消去的蕴涵模归结原则降维到命题逻辑上,建立了命题逻辑上的蕴涵模归结原则,对命题逻辑子句的冗余性质进行了探讨。在该原则框架下,建立了(BCRS)E,(RSRHT)E,(RHSRHT)E 3种新的子句消去方法。将这3个子句消去方法与著名的BCE子句消去方法进行实验比照,结果表明,在化简由现实规划问题转化而来的子句数量庞大且复杂的子句集时,限定时间越长,子句消去方法化简子句集的效果越好;在同样的限定时间中,当子句消去方法的判定条件难易程度和时间复杂度达到平衡时,子句消去方法的化简能力最好;在化简随机生成的比较简单的子句集时,有效性越高的新型子句消去方法化简子句集的能力越强,且均好于BCE子句消去方法。; 关键词子句消去方法命题逻辑可满足性问题求解蕴涵模归结规划问题; Keywords clause elimination method propositional satisfiability solving implication modulo resolution planning problem; 分类号 O142 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名可满足问题中的模型计数被引量：3: 3; 作者谷文祥朱磊黄平殷明浩; 机构东北师范大学计算机科学与信息技术学院; 出处《智能系统学报》北大核心 2012年第1期33-39,共7页; 基金国家自然科学基金资助项目(61070084 60573067 60803102); 文摘模型计数问题是指计算给定问题的解的个数,这是一类比决策更困难的问题,也是人工智能领域研究的一个热点问题.对模型计数问题的研究不仅可以提高算法的求解效率,更能促进对问题困难本质的了解.以可满足问题(命题可满足(SAT)和约束可满足问题(CSP))为例,从精确算法和近似求解两方面综述了模型计数问题的研究现状,重点介绍了相关概念以及各个算法之间的优缺点,并提出了有待解决的开放性问题,对模型计数问题的研究予以了总结和展望.; 关键词人工智能约束可满足问题命题可满足问题模型计数; Keywords artificial intelligence constraint satisfaction problem propositional satisfiability problem model counting; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名利用命题逻辑最大可满足性的冗余通孔最优插入方法: 4; 作者杨成杨骏张亚东; 机构中国科学院微电子研究所汽车电子中心中国科学院大学北京华大九天科技股份有限公司; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2023年第7期1132-1138,共7页; 文摘在纳米尺度的集成电路设计中,冗余通孔插入是减轻通孔失效造成良率降低问题的常用技术.文中将最优冗余通孔插入问题规约到命题逻辑最大逻辑可满足性(maximum satisfiability,Max SAT)问题,并利用完备求解器求取最优解.Max SAT问题是一个NP困难问题,采用2种方法来降低求解难度;一是预选取方法,将提前确定的不与其他通孔产生冲突的冗余通孔作为部分解来降低问题的规模;二是分治法,根据连通分量将原问题划分成多个子问题分别求解,降低求解的复杂度.同时,从理论上证明这2种方法能够保证解的最优性.在2019年国际物理设计研讨会(ISPD)举办的详细布线比赛基准测试集上进行实验的结果表明,所提出的插入方法带来的时间开销不到详细布线时间的5%,算法的最优性保证了最大化解决插入冲突后的插入率,在所有可插入通孔中,冗余通孔的插入率为67%~87%.; 关键词冗余通孔插入命题逻辑最大可满足性问题版图后优化可制造性设计; Keywords redundant via insertion maximum satisfiability problem post-layout optimization design for manu-facturing; 分类号 TP391.41 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于扩展规则的模型计数与智能规划方法被引量：22: 5; 作者赖永欧阳丹彤蔡敦波吕帅; 机构吉林大学计算机科学与技术学院吉林大学符号计算与知识工程教育部重点实验室; 出处《计算机研究与发展》 EI CSCD 北大核心 2009年第3期459-469,共11页; 基金国家自然科学基金项目(607730097) 教育部高等学校博士学科点专项科研基金项目(20050183065)~~; 文摘提出命题扩展规则方法ER的一种高效实现.在此基础上,研究了扩展规则方法在3个领域的应用:提出一次性求解一系列相近SAT问题的快速算法nER;提出基于扩展规则的模型计数算法#ER,同时结合#ER和#DPLL的优点提出算法#CDE;设计基于扩展规则方法的Conformant规划系统.实验结果表明:使用nER算法一次性求解的时间远小于使用ER方法单独求解每个问题的总时间;对于互补因子较高的问题,#ER优于#DPLL;#CDE融合了#ER和#DPLL的优点.研究表明扩展规则方法对于互补因子较高的问题具有较大的优势,具有广阔的应用前景.; 关键词自动推理扩展规则命题可满足问题模型计数 Conformant规划; Keywords automated reasoning extension rule SAT model counting conformant planning; 分类号 TP181 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名基于双模型的MUS求解方法被引量：4: 6; 作者欧阳丹彤高菡田乃予刘梦张立明; 机构吉林大学软件学院吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室(吉林大学); 出处《计算机研究与发展》 EI CSCD 北大核心 2019年第12期2623-2631,共9页; 基金国家自然科学基金项目(61872159,61672261,61502199)~~; 文摘求解不可满足问题的极小不可满足子集(minimal unsatisfiable subset,MUS)是人工智能领域的重要研究方向.MARCO-M方法是目前采用单一极大化模型求解MUS效率最高的方法,但此方法未对求解空间进行进一步有效剪枝.针对MARCO-M方法的不足,结合可满足问题求解复杂度低于不可满足问题的特征,提出基于双模型即极大中间化模型的MARCO-MAM方法求解MUS.此方法对中间模型求解若得到极大可满足子集(maximal satisfiable subset,MSS),则利用可满足问题对应求解空间对不可满足问题的求解空间进行剪枝,即利用MSS对应的空间来对MUS搜索空间进行剪枝,进而通过缩减未探索空间来提高MUS求解效率;如果中间模型进行求解得到MUS时,则减少了MARCO-M方法中MUS的不可满足迭代求解次数.此方法避免了MARCO-M方法单一极大化模型求解MUS时未有效利用其他优化技术对求解空间进行剪枝的问题.实验结果表明:与MARCO-M方法相比MARCO-MAM方法效率较高,尤其在大规模问题或较大搜索空间时效率提高更为明显.; 关键词命题可满足问题极小不可满足子集极大可满足子集幂集探索双模型; Keywords propositional satisfiability problem(SAT) minimal unsatisfiable subset(MUS) maximal satisfiable subset(MSS) power set exploration double model; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名维特根斯坦及其美学被引量：1: 7; 作者徐岱; 机构浙江大学浙江大学人文学部; 出处《浙江学刊》 CSSCI 北大核心 2015年第4期87-96,共10页; 文摘尽管维特根斯坦从未写过一本美学专著,但他却被公认为"分析美学"的开创者。这是因为他的一系列讲演中都曾渗透着关于美学的思考。如果说他的哲学以"反哲学"著称,那么他的美学似乎也可以"非美学"来标志。总体而言,他对现代美学的贡献主要在于一种方法论上,这就是强调以"命题"的提出落实关于美的问题的讨论。; 关键词维特根斯坦分析美学命题与问题; 分类号 B83-091 [哲学宗教—美学]; 在线阅读下载PDF 职称材料

题名高考生物学模拟卷命制的实践与思考被引量：1: 8; 作者许东升; 机构江苏省南京师范大学附属中学; 出处《生物学教学》北大核心 2017年第10期62-63,共2页; 文摘本文总结归纳了高考生物学模拟试卷命制的基本要点，包括明确指导思想，制定舣向细目表、收集命制试题素材，并注意杜绝命题中出现的常见问题。; 关键词生物学模拟试题命制命题常见问题; 分类号 G633.91 [文化科学—教育学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	当前高考写作命题问题与对策	贺卫东王吾堂	《课程．教材．教法》 CSSCI 北大核心	2015	2	在线阅读下载PDF 职称材料
2	命题逻辑可满足性问题求解器的新型预处理子句消去方法	宁欣然徐扬陈振颂	《计算机集成制造系统》 EI CSCD 北大核心	2020	3	在线阅读下载PDF 职称材料
3	可满足问题中的模型计数	谷文祥朱磊黄平殷明浩	《智能系统学报》北大核心	2012	3	在线阅读下载PDF 职称材料
4	利用命题逻辑最大可满足性的冗余通孔最优插入方法	杨成杨骏张亚东	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2023	0	在线阅读下载PDF 职称材料
5	基于扩展规则的模型计数与智能规划方法	赖永欧阳丹彤蔡敦波吕帅	《计算机研究与发展》 EI CSCD 北大核心	2009	22	在线阅读下载PDF 职称材料
6	基于双模型的MUS求解方法	欧阳丹彤高菡田乃予刘梦张立明	《计算机研究与发展》 EI CSCD 北大核心	2019	4	在线阅读下载PDF 职称材料
7	维特根斯坦及其美学	徐岱	《浙江学刊》 CSSCI 北大核心	2015	1	在线阅读下载PDF 职称材料
8	高考生物学模拟卷命制的实践与思考	许东升	《生物学教学》北大核心	2017	1	在线阅读下载PDF 职称材料