共查询到20条相似文献,搜索用时 15 毫秒
1.
SAT问题(可满足性问题)是计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向.文章主要利用(1,*)-消解和分裂方法研究了差为2的唯一极小不可满足公式集(Unique-MU(2))和差为2的对称极小不可满足公式集(SYM-MU(2))的结构和复杂度. 相似文献
2.
3.
4.
刘秀琴 《山西广播电视大学学报》1999,4(2):54-55
英语动词的“时”与“时间”是学生英语学习中容易相混的问题,两者之间有许多相似的地方,但也有诸多不同点。英语语言中“时(Tense)”随着不同的语言有不同的表达方式,它的使用直接受到语域的影响。 相似文献
5.
通过对近二十年来学术界关于我国历史文化村(镇)旅游研究的主要方面的回顾与总结,深入剖析研究现状,并对该项研究未来的发展进行展望。 相似文献
6.
7.
Blog(博客)已经成为一种文化.并且在不知不觉中影响着学习方式,本文探索了博客在建设学习网站的运用和研究,展望了博客在教育中运用的发展趋势。 相似文献
8.
新型双穴位配体及其铜(Ⅱ)、镍(Ⅱ)配合物的合成与表征 总被引:3,自引:0,他引:3
介绍一种尚未见报道的配体N,N’-双(2-水杨醛缩氨基苯基)1,3-丙二酸二酰胺,简写(H4Sapma),并合成了它的Cu(Ⅱ)、Ni(Ⅱ)两种新配合物,通过元素分析,红外、摩尔电导,电子光谱等表征,结果表明N,N’-双(2-水杨醛缩氨基苯基)丙二酸二酰胺与Cu(Ⅱ)、Ni(Ⅱ)均形成1:1型的配合物。测定了它们的表观生成常数。 相似文献
9.
10.
普里姆(Prim)算法是用来求无向网中的最小生成树,而迪杰斯特拉(Dijkstra)算法是用来求有向网中单源最短路径,这两种算法均是考虑造价最小问题。从算法思想、示意图进行分析比较,突出其不同点。 相似文献
11.
陈涛 《新疆职业大学学报》2009,17(3):75-76
可编程控制器具有抗干扰能力强、可靠性极高、体积小的特点,是实现机电一体化的理想控制装置等显著优点,广泛应用于数控机床、工业生产线等工业控制中,本文主要介绍了可编程控制器的工作原理、功能、数控机床与外设之间的信息交换及数控机床的工作过程。 相似文献
12.
13.
行(列)转置矩阵的性质 总被引:3,自引:1,他引:2
给出行(列)转置矩阵与行(列)对称矩阵的概念,并对行(列)转置矩阵的行列式、特征值、可逆性、相似性、对称性等进行了研究,得到”阶实方阵与它的行转置矩阵和列转置矩阵三者具有相同的可逆性、行转置矩阵与列转置矩阵相似以及其它一些相关结果. 相似文献
14.
不等式(组)的内容在各地的中考题中都有所涉及,下面结合实例(均为2008年各地的中考数学试题)说明有关不等式(组)的考点: 相似文献
15.
“( )”(咪嘎好)是生活在云南省石屏县哨冲镇水瓜冲村委会的花腰彝每年春耕开始之前祭奠始祖“( )”(阿竜)、祭祀天地,向祖先和神灵祈祷人畜安康,丰产丰收的年俗祭祀活动.时间在每年农历立春之后的第一个“( )”(属马日),其仪式繁杂,文化内涵丰富. 相似文献
16.
马静 《兰州教育学院学报》2012,28(3):22-23,40
HSK已经在新疆推广并实行了15年。2011年5月新疆全面实行MHK,考试形式、考查内容、考查重点与HSK相比发生了很大变化。因新疆高校预科暂实行MHK(三级)测试,故本文对MHK(三级)考试大纲与HSK(初、中等)考试大纲进行了对比分析,力求找出两种考试的异同,为HSK向MHK的顺利过渡提供一些参考。 相似文献
17.
石福金 《安阳师范学院学报》2013,(6):121-124
殷墟花东甲骨卜辞有一新字,为(限)形,从走从系两个偏旁.走的本义相当于现代汉语的“跑”,糸的字形为“(8)”,象束丝之形,本义是细丝,引申义有绳索、琴弦等义.(限)字字音为[xián],字义是急跑、狂奔之义,在花东甲骨卜辞中指驾车之右马因狂躁而急跑(狂奔)之行为. 相似文献
18.
许迅雷 《西安文理学院学报》2011,(2):57-60
在高斯噪声环境下,由于扩展卡尔曼滤波(EKF)在目标跟踪应用中精度低和可能出现的滤波发散,将无迹卡尔曼滤波(UKF)应用于非线性系统的目标跟踪.通过UKF在目标跟踪中的应用和仿真结果的分析比较表明,与EKF相比较,UKF收敛快、对噪声适应能力强,算法实现简单. 相似文献
19.
张光炜 《和田师范专科学校学报》2010,29(1):58-59
高等学校院(系)资料室在高校教学与科研工作中发挥着日益重要的作用。为适应高等教育改革与发展的需要,高校必须从如下几个方面着手加强院(系)资料室的基本建设:加强资料室藏书建设,提高藏书利用率;加快推进资料室现代化建设;努力提高资料室管理人员的专业素质等,充分发挥院(系)资料室为专业教学科研服务的作用。 相似文献
20.
文章以大连职业技术学院模具设计与制造专业申报辽宁省普通高等学校高职特色(品牌)专业为例,探讨省级特色(品牌)专业建设的方法和意义。 相似文献