求解析取范式永真性问题的一个近似快速算法

NP完全问题是一类在计算复杂性理论中被证明为较难求解的问题,这类问题中包含有很多在理论和实际中很有意义的问题。NP完全问题中的一个问题的对偶问题若存在快速(多项式意义下)的求解算法,则所有NP完全问题都有快速的求解算法。但目前人们还没有找到一个求解NP完全问题的真正快速算法,并且有迹象表明求解NP完全问题的真正快速算法是不存在的。本文针对一个典型的NP完全问题的对偶问题——析取范式永真性     

从n王后问题谈起

n王后问题是个有趣的国际象棋游戏问题,同其他许多游戏问题一样,它与许多数学问题有着密切的联系。《从n王后问题谈起》介绍了这个问题的背景以及在一些数学问题上的应用,可供数学爱好者阅读。     

含多个小参数的高阶拟线性椭圆型方程第一边值问题的奇摄动

在很多物理和力学的问题中,常出现最高阶导数项带小参数的椭圆型方程。在工程技术中还出现边界摄动的问题,例如,把平板焊接在柱壳(或柱筒)上,当柱壳截面切割不好,不是一个理想的平面时,所产生的焊接应力就有边界摄动问题。同样在扁球壳屋顶计算中,也有类似的问题。高阶椭圆型方程在边界和算子摄动相结合的情况下的问题,在工程中代表周向加肋     

遗传学的两大学派

地球上还没有鸡的时候,是先出现鸡呢?还是先出现鸡蛋?这不是一个简单的常识问题,而是一个进化论的问题,是一个遗传学的问题。古今中外有不少人讨论过这个问题,提出过不同的看法。遗传学的两个主要学派对这个问题的答案也是完全相反的。摩尔根学派的观点着重在蛋,在遗传基础,在内因,他们的结论是先有蛋;米丘林学派的观点着重在鸡,在环境对鸡祖先的影响,在外因,他们     

结构相角的通用代数式

在结构因子相角问题的概率法研究中,遇到的一个重要问题就是空间群依赖性问题。对此,我们已在“∑关系的线性理论”一文中给出了基本的解决办法。与此相类似,在用代数法处理相角问题时也存在着同样的问题。就是迄今为止所提出的所有单相角代数算式都是针对     

物种与物种形成争论中的几个哲学问题

“哲学问题”编辑部按:最近两年以来,在许多生物科学的刊物上展开了关于物种与物种形成问题的争论。由于在争论的过程中发生了—些生物科学中重要的哲学问题,编辑部认为有必要在我们的刊物上封这些问题予以讨论。编辑部发表г.в.普拉托诺夫这篇论文,作为这些哲学问题讨论的开始。     

组合论方法导出莫比乌斯函数与莫比乌斯反演定理

近年来,莫比乌斯函数与莫比乌斯反演公式在解决不同类型的逆问题中起了重要作用。这些问题包括黑体辐射逆问题,比热反演声子能态密度问题,费米体系逆问题,由晶体结合能反演原子间作用势的问题,等等。到目前为止,关于连续变量函数的莫比乌斯反演已推广到交错函数级数,格矢函数等多种情况。因此,如何把莫比乌斯反演在物理学中的应     

关于古生物学研究的几个问题

作为一个古生物学工作者,自然要考虑到古生物学方面面临的—些问题。在我国有计划地进行社会主义建设的今天,古生物学在我国的发展,以及如何更有效地为人民服务,是一个迫切问题。但这个问题的解决需要我们对一些基本问题有一定的认识。以下所提出的六个问题,一部分是属於我们如何做的问题,一部分是我们要做时必须注意的问题,当然还不能包括全面,但是相信这几个问题是最迫切的,所以先提出来讨论一下。不用说,这些意见是很不成熟的,只能供给我们以讨论的初步基础。我们知道,只有辩证唯物主义及历史唯物主义的观点才是研究科学的唯一正确的方法。古生物学当然也不例外。在过去古生物科学发展的年代中,在汗牛充栋、浩如烟海的古生物文献中,     

科学出版工作与“百家争鸣”

从中国科学院和科学出版社几年来的出版物中,反映出在学术上争论和论战很不开展。在社会科学方面,在“历史研究”上关于中国古代史分期问题和近代史分期问题等的讨论,在“经济研究”上关于我国过渡时期经济基本规律问题等的讨论,都只是近两年来的事,而且这些反映与实际存在着的争论问题以及争论情况相距尚远。至于在自然科学的出版物方面,学术争论的文章就更稀少。我们虽曾出版过一些“关于物种与物种形成问题讨论集”、“新细胞学说问题讨论集”,也只是苏联学者文章的译文。     

暴胀宇宙理论和它的哲学意义

演化的宇宙模型,在现代宇宙理论中占了压倒多数。其中最有根据的,是以A.A.弗里德曼思想为基础的热大爆炸模型;人们又把它称为标准模型,因为它实际上在科学界得到了公认。然而在这个模型的基础上,产生了一系列早已为大家所知的困难,例如奇点问题、视界问题、初始涨落问题、空间平坦度问题、重子不对称问题。这些困难迫使宇宙学家们去寻求新的概念,以便解决上述问题的全部或某几个。最新概念之一,是不久前提出的一种理论,它的基础是假定;在宇宙演     

三维油水驱动半定问题特征有限元格式及分析

油水二相驱动问题的数值模拟是能源数学的基础,著名学者、油藏数值模拟创始人Douglas,和Russell等对二维正定问题提出了著名的特征差分方法和特征有限元法。但在数值分析时出现实质性困难,他们假定问题是周期的,还对饱和度方程的扩散矩阵做了正定性假定,但在很多实际问题扩散矩阵仅满足半定性条件,且生产需要的通常是三维问题。本文研究这一困难问题,对三维不渗透边值问题提出特征有限元格式,并得到严谨的收敛性定理,使油藏工程软件建立在坚实的基础上。     

墨比乌斯带奇趣

在数学上,人们能够很简单地描述的问题往往是些非常难解的,甚至是索解了几个世纪的问题(如在数论中就有许多象费尔马猜想之类的问题)。在最近出版的一个刊物上,一位苏联数学家福克斯继续探讨了两位美国同行哈尔本和威弗尔的工作,并对迄今尚未能解决的一个简单问题:墨比乌斯带的“制作”问题,给出了部分解答。问题的对象是一位德国天文学家奥古斯特·墨比乌斯(Auguste Mobius)在1863年制作的著名纸带:     

我国择校研究进展及理论思考

择校作为当前教育改革实践层面的一个问题在我国凸显出来,已成为社会各界关注的热点问题之一.文章在简要介绍我国学界在择校问题上的研究进展的基础上,探讨择校问题的理论思考及实践问题,以期为解决当前实践问题提供借鉴.     

解一类非线性极大极小问题的熵函数方法

在非光滑优化中有一类特殊的问题,常常出现在工程设计、电子线路规划、对策论中,称为非线性极大极小问题。由于目标函数的非光滑性,给解这类问题带来一些困难。从1987年开始,国内外专家学者从熵函数入手,已做出了一些很好的结果,如文献[1～5]。但是,这些方法都局限于求离散函数的极值问题。在实际生活中,常常也会遇到一些连续型的情形。鉴于此,本文提出了一类新的熵函数,用于解连续型非线性极大极小问题。     

本征值问题的有限元方法的加速

算子本征值问题的有限元离散必然导致大型矩阵的广义特征值问题。这种问题很难计算。因此,研究这方面的加速算法很有理论与实际意义。目前,在矩阵特征值计算方面已有了较多的研究。而本文是从算子本征值问题的离散过程来研究的。在冯康教授的启示下,把文献[1]中关于非线性方程加速收敛的思想推广到算子本征值问题,提出了关于算子本征值问题的一种加速计算方法。     

心理学在科学体系和社会实践中的作用

由于主观因素在我们社会生活不同领域中的作用在增加,人的问题成了整个现代科学体系的中心问题之一,而它的解决和整整一系列实际组织问题有关。在研究人的问题时,心理学起着特别重要的作用。在研究个性发展问题、交际过程、集体动态和人们之间的相互关系时,心理学首先要依靠一整套社会科学。在研究作为人脑功能表现的人的心理学过程、状态和性质时,心理学采用了生物学一定领域的成就。在分析管理现代技术的人的劳动活动条件和特点,管理系统中人和技术装备相互信息作用的过程时,心理学必然同技术科学联系在一起。同时,其他科学对心理学材料的需求也在增加。例如,进一步发展哲学(特别是研究象主观因素在历     

计费管理系统安全研究

计费系统是电信运营的重要组成部分,也是运营商最为关心的问题之一。在电信网络不断演进与融合的背景下,计费系统的安全问题越来越突出。为此,在了解系统的结构和功能基础之上,对计费系统安全问题进行了分析。     

向量变分不等式及其在多目标最优化中的应用

多目标最优化问题中一个重要的问题是怎样判断有效解之间的优劣,从而确定最好(满意)的有效解。处理这个问题的一个途径是在有效解集上定义一个效益函数,进而求解一个最优化问题。 本文提出了向量变分不等式,并证明了某种类型的向量变分不等式是多目标最优化问题解所应满足的必要条件。在某些凸性假设下,证明了向量变分不等式可以等价于通常意义下     

关于H~∞的有限生成的理想

无限连区域上的理想问题和闭理想问题都是非常困难的问题,因为这时需要考虑无限连区域上的(?)方程。文[1]在一定的条件下考虑了Denjoy区域上的理想问题和闭理想问题,     

Nb/si多层膜中晶态硅化物的相演化

由于在电子元件和基础领域方面的应用,硅化物的形成问题近年来一直是人们十分关注的问题之一。近几年对许多金属/硅膜系统的低温退火行为过程中的相演化问题开展了广泛的研究,但在非平衡沉积过程中动力学和热力学因素对相选择和相形成的影响问题还没有搞清楚。长期以来,金属/硅系统在退火过程中的某一时刻只有单一相形成,但在近年来在许多单晶Si和沉积在其上的金属膜之间发现了多相共存的现象,而其原因还在探讨之中。