【摘 要】
：
<正> 洪加威在文献[1]和[2]中指出:欲判定某类中的一个几何命题是否为真,只需近似地验证一个数值的特例即可。这开辟了几何定理机器证明的新研究领域,但因计算复杂度过大,目
论文部分内容阅读
<正> 洪加威在文献[1]和[2]中指出:欲判定某类中的一个几何命题是否为真,只需近似地验证一个数值的特例即可。这开辟了几何定理机器证明的新研究领域,但因计算复杂度过大,目前难以实施。本文应用文献[3]中提出的数值并行法来处理这类命题,即用验证多个例子的真伪来判断几何命题之真伪,使这一困难得以解决。这里的“例子”可能是平面几何中实际上不存在的,故而称此方法为数值并行法较多点例证法更为妥贴。这种方法的显著特点在于高度
其他文献
从1894年起,数以千计的美国,墨西哥,中国和欧洲人放弃工作,背井离乡。他们步行、骑马或坐船到加利福尼亚寻找黄金。
<正> 自从优选法在国內推广使用以来,关于0.618这一数字的由来及其最优性问题引起了广泛的兴趣. 在单因素优选问题中,经常使用的有黄金分割法(即0.618法)和分数法.分数法在预
<正> 二氧化硫是我国当前主要的大气污染物,研究它对植物的危害已有近百年历史,但是它的致害机理迄今尚未清楚。一般认为SO2是还原性毒物,进入叶细胞后被氧化为SO42-、SO42-
黄羲(1899-1979),是我国著名的古典人物画家,美术教育家。本文从五十年代浙美中国人物画教学与创作现状、黄羲传统人物画的创作及风格和黄羲在浙美的教学实践与画学研究及其
<正> 假定我们想要计算任何一个实数,可以从某些整数出发,使用加减乘除开方等运算,并且假定在计算的每一步都可以得到绝对精确的值。那末为了得到n位近似值所需代数运算的步
<正> 计算群论和复杂性理论中的一个重要问题是,有限群同构检验是可行的,还是NP完全的?这个问题迄今没有解决。C.Savage和陈溧分别得到一个O(n~2)时间的n阶Abel群同构检验算
<正>哲学被认为是高中思想政治课中最难教学的部分,如果要教出哲学的味道更是难上加难。本文以一堂某市优质课"树立创新意识是唯物辩证法的要求"(人教社2014年第5版)为例进行
目的:观察自拟止痉汤配合心理输导疗法治疗痉挛性斜颈的疗效。方法:12例用止痉汤配合心理疏导治疗。结果:治愈2例,显效6例,进步3例,无效1例,总有效率为91%。结论:止痉汤配合
新时期,民族分裂势力、宗教极端势力、暴力恐怖势力加大宗教向学校渗透的力度,其目的就是为分裂国家培植地下势力。我们必须从维护国家统一、社会稳定的高度予以高度重视,遏
珊瑚白化是指珊瑚失去共生藻或它们的色素或同时失去共生藻和色素而变白的现象. 关于海水养殖能否引起珊瑚白化, 特别是什么成分对珊瑚影响最大, 以及缺氧对珊瑚的影响, 至今