搜索筛选:
搜索耗时0.2222秒,为你在为你在91,460,000篇论文里面共找到 28 篇相符的论文内容
发布年度:
[期刊论文] 作者：洪加威,
来源：自然杂志 年份：1985
一篇是关于计算机理论方面的,《理论计算机科学中的一些问题》一文,介绍了作者洪加威同志近年来在这领域中一些根本性的问题上所获得的...
[期刊论文] 作者：吴允曾,
来源：哲学动态 年份：1981
洪加威(北京市计算中心研究员,现在美国卡内基梅隆大学短期工作)于一九八○年十月在美国纽约市召开的计算机科学基础第二十一届国际讨论会上宣读了《计算的相似性与对偶性》一文,受到了与会的科学家们的高度评价。...著名的美国计算机科学家卡普(R.M.Karp)认为洪加威的研究成果“可列为计算复杂性理论迄今所得到的最杰出的工作。”洪加威提出了计算模型之间的相似性和计算时间与存贮空间之间的对偶性这样两个...
[期刊论文] 作者：张景中, 杨路,,
来源：数学的实践与认识 年份：1989
本文浅近地介绍以检验数值实例为基本手段的两种方法——洪加威提出单点例证法和张景中.杨路提出的数值并行法以及这两种方法与吴文俊数学机械化理论的关系....
[期刊论文] 作者：邓米克,,
来源：科学通报 年份：1988
洪加威在文献[1]和[2]中指出:欲判定某类中的一个几何命题是否为真,只需近似地验证一个数值的特例即可。这开辟了几何定理机器证明的新研究领域,但因计算复杂度过大,目...
[期刊论文] 作者：洪加威,,
来源：数学的实践与认识 年份：1973
1953年 Kiefer 提出了单峰函数的优选问题.在每次做一个试验,一共做 n 次试验的情况下,他证明了斐波那契级数法是最优的.但是斐波那契级数法有一个很大的缺点,就是做完...
[期刊论文] 作者：洪加威,,
来源：哲学研究 年份：1985
智能计算机的研制是时代的要求。它的出现将带来无法估量的影响,使工农业生产和第三产业发生革命,在科学、教育、文化方面造成奇迹。生产智能机本身就可以创造巨额财富...
[期刊论文] 作者：洪加威,,
来源：科学通报 年份：1973
自从优选法在国內推广使用以来,关于0.618这一数字的由来及其最优性问题引起了广泛的兴趣. 在单因素优选问题中,经常使用的有黄金分割法(即0.618法)和分数法.分数法在预...
[期刊论文] 作者：洪加威,,
来源：科学通报 年份：1985
假定我们想要计算任何一个实数,可以从某些整数出发,使用加减乘除开方等运算,并且假定在计算的每一步都可以得到绝对精确的值。那末为了得到n位近似值所需代数运算的步...
[期刊论文] 作者：洪加威,,
来源：科学通报 年份：1983
在复杂度理论研究中,上界不断被改进,但下界的研究却迟迟没有重要进展。对于任何一个NP完全性问题,现有最好的算法也需要指数的时间,但数学家们费尽九牛二虎之力也只能...
[期刊论文] 作者：洪加威,,
来源：科研管理 年份：1985
科学有使用价值、市场价值和劳动价值,它们是不同的,现分述如下: 一、使用价值就使用价值而论,科学技术是生产力,它对人类生活推动的作用,无法用价值来计算。或者说,科...
[期刊论文] 作者：洪加威,,
来源：数学学报 年份：1985
根据作者的结果,对任一正整数 n,确定阶为 p(kp+1)(KP+2),k≤n 的单群的工作是能够在有限步之内完成的(见文献[1]定理2).本文对 k≤5的情形作了具体的计算,证明了下列定...
[期刊论文] 作者：洪加威,,
来源：科技导报 年份：1981
电子计算机的发明和发展引起了一场伟大的技术革命,其规模之大,范围之广,变革之深刻,都是人类历史上少有的。比如说,计算机刚发明的时候,人们多半认为它只是用来作计算用...
[期刊论文] 作者：洪加威,,
来源：计算机学报 年份：1978
本文是同名文章的续篇。在上篇中给出了TD[d,k]文法的定义并证明了TD[d,o]文法产生的语言都属于DCFL,讨论了判定问题。在本篇中首先简要地推广上篇中的结果到TD[k,k]的情况,...
[期刊论文] 作者：洪加威,,
来源：计算机学报 年份：1978
本文给出了一类新的文法TD[d,k],扩充了LL[k],得到了一系列完整的结果。这类文法允许自上而下地作语法分析,因而具有LL[k]文法的许多优点,但可以描述更为广泛的语言类。实际...
[期刊论文] 作者：洪加威,,
来源：中国科学 年份：1974
1953年以来,Kiefer等人提出了优选法,研究了试验批数预先知道时的最优试验方法（即分数法）。但一般说来,在实践上往往不能精确地预言需要试验的批数,因此,有必要从理论上探讨批...
[期刊论文] 作者：洪加威,,
来源：中国科学(A辑 数学 物理学 天文学 技术科学) 年份：1984
本文提出了在形式证明系统中,证明长度、深度和宽度的概念,并且证明了长度的对数、深度和宽度三者之间是线性相关的。说明了任何定理的证明都可以高度地并行化,是一个与确定...
[期刊论文] 作者：洪加威,,
来源：中国科学 年份：1981
本文给出了巡回的统一定义和计算类型的统一定义,证明了在一个固定计算类型下的所有合理的计算模型都是相似的。所谓相似,是指它们之间可以互相模拟,而且模拟者所用的空间和...
[期刊论文] 作者：洪加威,,
来源：中国科学(A辑 数学 物理学 天文学 技术科学) 年份：1986
假定我们要用加、减、乘、除开方等运算去计算任何一个实数或复数,并且假定每次运算都是绝对精确的。我们证明了:不论用什么方法,如果不能在有限步之内达到绝对精确的值,则要...
[期刊论文] 作者：洪加威,,
来源：中国科学(A辑 数学 物理学 天文学 技术科学) 年份：1986
本文提出了证明平面几何定理的例证法。根据这一方法,想判定一个几何命题是否为真,只需近似地验证一个数值曲特例就行了。这个特例仅依赖于该几何命题在某种规范形式下表述的...
[期刊论文] 作者：洪加威,
来源：改革与开放 年份：2010
花卉产业的发展不仅能装点园林城市的美好形象,提高市民精神文化素养,而且能为农村产业结构调整和农民增收,发挥积极而不可替代的作用。建设园林城市要重视花卉产业的研究、...
相关搜索：
