MARG-MU(2)的结构和复杂度

SAT问题(可满足性问题)是理论计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向.本文主要利用(1,*)-消解方法研究了差为2的边缘极小不可满足公式集(MARG-MU(2))的结构和复杂度:在结构方面,MARG-MU(2)中的公式要么是F22,要么是某一文字在其中仅出现一次的公式;在复杂度方面,如果MARG-MU(2)对(1,*)-消解封闭,则某个含有n个变元和n+2个子句的公式是否为MARG-MU(2)中的公式的问题可以在时间0(n3)内被判定.     

粘土耐火度公式的理论根源探究

对粘土耐火度公式的理论根源和存在的问题进行了探讨，认为Ｋ２Ｏ－Ａｌ２Ｏ３－ＳｉＯ２三元相是推导此粘土耐火度公式的理论依据。虽然用它来计算粘土耐火度既简单又方便，但是由于粘土中各种氧化物杂质对其耐火度影响程度的不同，导致其计算结果与真实值之间存在一定的误差，往往呈偏高趋势。     

平台石墨炉原子吸收法直接测定肉类中铅——应用超低温制悬乳浊液与基体改进剂技术

本文提出了一种简便、快速测定肉类中铅的方法， 采用不经常规消化， 以液氮低温处理样品， 加基体改进剂（０－８ ％ ＮＨ４ Ｈ２ＰＯ４ － ０ ． ５ ％ 抗坏血酸———０－５％ Ｔｗｅｅｎ８０） 后制成均匀、稳定的悬乳浊液直接进样， 并在自制的石墨炉平台中进行测定。有效地提高了灰化温度和原子化效率， 消除了背景干扰。回收率在９７－３ ％ ～１０５－７ ％ 之间， 相对标准偏差≤７－４ ％ ， 与国家标准方法能很好相符。     

单跨简支无洞口墙梁内力计算方法

根据墙梁有限元程序计算结果和试验资料 ,分析了托梁破坏的主要影响因素及受力工作性状 ,并提出托梁正截面抗弯和斜截面抗剪实用计算的建议公式     

表格和线图数据的传输方法及实现

在计算机辅助设计(CAD)中,针对大量的表格和线图数据的传输与查询,提出了利用FoxBASE和Autolisp与Auto CAD的直接传输方法.此方法简单实用,易于实现.     

用Newtort切线法求解非线性方程f（x）=0

在初等数学中，我们知道许多类型的方程的解法，可知四次和四次以下的整式方程有一般的解法。方程的根可以用解析式表达，然而，对于五次以上的方程和超越方程，其方程的根都无法用一个式子表示。即使能表示成解析式，往往也很复杂，使用不便。因此，对一般的非线性方程而言，我们往往研究求根的近似值的近似方法。本文就尝试用Newton切线法的思想来研究非线性方程f（x）=0．给出了其近似根的求法。     

非线笥电路平衡点全局渐近稳定的新分析法

提出了一种新的分析非线性电路平衡点全局渐近稳定的方法，这种方法以向量比较原理为工具，结合平衡点的渐进稳定判据，用一个常数矩阵的Hurwitz条件决定平衡点的全局渐近稳定性，与目前该问题所采用的Liyapunov直接法相比，该方法具有无须判断平衡点的惟一性，差别方程直接明了等优点，同时，该方法对于其他形式的非线性系统的分析，也有重要的启发性及应用价值。     

反演公式的推证

给出一般的ｎ＋ｍ阶分块方阵的行列式、求逆及反演公式。     

求解一类有心场的定态问题

利用SU( 1 ,1 )谱生成代数方法 ,求解出三维谐振子、氢原子和二维氢原子的定态能谱 ,并由Bohr的Hamiltonian导出描述原子核转动谱公式 :吴 -曾公式