共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
3.
SAT问题(可满足性问题)是计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向.文章主要利用(1,*)-消解和分裂方法研究了差为2的唯一极小不可满足公式集(Unique-MU(2))和差为2的对称极小不可满足公式集(SYM-MU(2))的结构和复杂度. 相似文献
4.
一、问题的提出 新教材中,第一次出现了在日常生活与科学技术中非常有用的“概率与统计”的基础知识,这也缩短了我国教材与发达国家教材的差距,在高三数学选修(Ⅱ)第一章概率与统计中出现了离散型随机变量ξ的期望Eξ 相似文献
5.
6.
只用一对玻色子的产生和湮灭算子α∧ 、α实现了SU(2)和SU(1,1)代数;只用一对q玻色子的产生和湮灭算子α∧ q、αq实现了SU2(2)和SU2(1,1)代数。 相似文献
7.
孙丽姝 《辽宁广播电视大学学报》2006,(1):69-70
对艺术本质的探究是艺术理论上难有定论的问题,许多理论家采用心理学的、人类学的、美学的、社会学的、文化学的、语言学的等学科或交叉综合的研究方法,来探讨艺术的本质。本论文试从人类文化系统和艺术自身系统的两个视角出发,论证艺术的本质是一种有意味的形式。 相似文献
8.
9.
10.
本概括了各种优良准则,并在极小最小距离^[1]准则下详细讨论了正交表L16(4^4),L16(4^5)的优良性,给出了一个正交表L16(4^5),它在上述准则下优于[2]附录中提供的L16(4^5)。 相似文献
11.
胡顺奇 《中国基础教育研究》2006,2(2):123-123
在二次根式有关运算中,(√a)^2和√a^2是学生最容易混淆的根式,在教学中必须让学生弄清楚二者的区别,才能正确进行二次根式的运算。 相似文献
12.
13.
采用液相合成出2-(1-((2-胺基苯基)亚胺基)乙基)-5-甲氧基苯酚,通过IR,H1-NMR表征其结构,进一步合成其5种金属配合物(M=Cu^2+,Mn^2+,Ni^2+,Zn^2+,CO^2+),大肠杆菌的生物活性实验表明:配体与锰形成的配合物对大肠杆菌的抑菌活性比配体强. 相似文献
14.
本论文介绍了排列通道量子力学方法(MACQM)的计算步骤,讨论了(He2Pb)^+团簇的形成机理,并且采用排列通道量子力学方法对(He2Pb)^+团簇基态能量进行计算,为研究氡子体团簇基态能量提供了全新的计算方法。 相似文献
15.
16.
本文通过分析AR(2)模型的自相关系数所满足的差分方程,给出了一个判别AR(2)序列的充要条件,并探讨了AR(2)序列与其子序列的关系. 相似文献
17.
采用液相沉淀法制取了Cs2(HSO4)2(H2PO4),用XRD,IR标明其晶体结构。通过研究发现SO42-:PO43-=0.7:0.3时能够制得结晶良好的Cs3(HSO4)2(H2PO4)晶体,其电导率σ为2.52×10-3S/cm。 相似文献
18.
19.
混配型配合物(C5H5N)2Zn(S2C2(CN)2)的合成和性质 总被引:2,自引:0,他引:2
王寿柏 《南通职业大学学报》2000,14(4):32-33
合成了标题所示化合物,并对其进行了元素分析,红外和核磁波谱测定以及热分析。 相似文献
20.