首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到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.
对艺术本质的探究是艺术理论上难有定论的问题,许多理论家采用心理学的、人类学的、美学的、社会学的、文化学的、语言学的等学科或交叉综合的研究方法,来探讨艺术的本质。本论文试从人类文化系统和艺术自身系统的两个视角出发,论证艺术的本质是一种有意味的形式。  相似文献   

8.
公式((√α)^2=α的正用,同学们比较熟悉,下面谈谈公式(√α)^2=α的逆用.  相似文献   

9.
10.
本概括了各种优良准则,并在极小最小距离^[1]准则下详细讨论了正交表L16(4^4),L16(4^5)的优良性,给出了一个正交表L16(4^5),它在上述准则下优于[2]附录中提供的L16(4^5)。  相似文献   

11.
在二次根式有关运算中,(√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.
同学们学习了乘方以后,常会把(-3^2)与-3^2混在一起,其实它们是不同的,差异主要表现在:  相似文献   

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  
合成了标题所示化合物,并对其进行了元素分析,红外和核磁波谱测定以及热分析。  相似文献   

20.
新局长是从上面下来的,据说是来锻炼的。人们都期待有点变化。可一个多月了,新局长还是萧规曹随,局里的人就慢慢地懈怠了。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号