排序方式: 共有27条查询结果,搜索用时 15 毫秒
1.
SAT问题(可满足性问题)是计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向. 本文主要利用1(,)*-消解和分裂方法研究了差为2的碰撞极小不可满足公式集()2(MUHIT-)的结构和复杂度.此前,只有G.Davydov, I.Davydova 和H.Kleine Büning对)1(MU和)2(MU的结构和复杂度得出了较好的结果. 相似文献
2.
在核心素养视域下的小学语文习作教学中,教师越来越关注激发学生习作兴趣,培养学生习作修改能力,引导学生关注习作内容、文字表达以及习作技巧和方法,从而提高学生习作能力。 相似文献
3.
怎样让"枯燥"的政治课"鲜活"起来?怎样使学生在生动活泼的氛围中掌握知识和提高能力?怎样激发学生学习政治课的兴趣?这些都要求增强政治课的魅力. 相似文献
4.
通过具体公式在增加或删去某些文字或子句后生成的新公式的可满足性来研究极小不可满足公式类的常见子类Dis-MU,HIT-MU,Unique-MU,MARG-MU,MAX-MU和之间的包含关系. 相似文献
5.
徐小萍 《学生之友(小学版)》2010,(17):59-59
音乐教育是“审美教育”的重要组成部分,在小学低年级的音乐教学中如何发挥它的这一作用?这是个值得探讨的问题. 相似文献
6.
7.
本研究选取广西壮族自治区桂林市七星区育才教育集团四所学校中的318名四年级学生为研究对象,采用"国际数学和科学趋势研究(TIMSS 2007)"的数学试卷为研究工具,进行数学综合能力测评。结果发现:(1)四所学校学生的数学综合能力存在极其显著的差异,育才小学和辰山小学的得分明显比高新小学和石油小学要高得多;(2)学生的数学综合能力在性别方面不存在显著性差异;(3)学生的数学综合能力在年龄方面不存在显著性差异,但是10、11岁的比9、12岁的要高;(4)从数学内容来看,学生在"数"方面存在显著性差异,在"几何图形和测量"方面存在极其显著性差异,在"数据列举"方面不存在显著性差异;(5)从数学认知来看,学生在"数学理解能力"方面存在显著性差异,在"数学应用能力"方面存在极其显著性差异,在"数学推理能力"方面不存在显著性差异。为此,在集团化办学条件下,我们应严格执行数学教师流动制度,根据学生的认知差异对教材进行优化和重组,不断改进薄弱学校教师的教学方法等,以提高学生的数学综合能力,减少校际间差距,进一步推进教育的均衡发展。 相似文献
8.
SAT问题(可满足性问题)是计算机科学的核心问题,研究问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向. 文章主要利用,(1,*)-消解和分裂方法研究了差为2的唯一极小不可满足公式集(Unique-MU(2))和差为2的对称极小不可满足公式集(SYM-MU(2))的结构和复杂度. 相似文献
9.
学生的创新素质是信息化社会的需要。信息化社会里,知识与资料,人们可以通过互联网以及其他途径快捷地获得。同时,知识的全球化使创新精神与实践能力成为影响整个民族状况的基本因素。培养学生创新精神与实践能力是人的个性发展价值的需要。新课程改革把改变学习方式作为核心任务和显著特征,这是因为改变学习方式的根本意义是为了培养学生的创新精神。一、创设情境,激发求知欲1.重视每节课的导入环节。根据中学生的心理特点,在导入新课时,创设情境,激发学习兴趣, 相似文献
10.
首先对最小多项式进行了定义,接着给出最小多 项式的计算方法,然后结合例题对最小多项式在判断两个同型 矩阵是否相似、判断矩阵多项式是否为零、判断矩阵是否可对 角化和求矩阵的高次幂等方面的应用进行了详细的研究 . 相似文献