侵权投诉

科学家们颠覆无限的概念,促进计算机出现

中科院半导体所 2021-06-03 10:14 次阅读

1930年,临近退休前,著名数学家大卫·希尔伯特在于柯尼斯堡召开的全德自然科学及医学联合会代表大会上做了题为《自然认知及逻辑》的4分钟演讲。这场即将计入历史的演讲以希尔伯特的6字箴言结束:Wir müssen wissen,wir werden wissen.(我们必须知道,我们终将知道。)

但事实上是,在数学领域,许多正确的数学观点是无法被证明的,比如孪生素数猜想。孪生素数指的是仅由一个数字分隔的素数(质数)对:比如11与13,或17与19。越往自然数轴后看,素数出现的频率就越低,孪生素数对的数量一直很少。孪生素数猜想指出,自然数轴上存在无穷的孪生素数对,根本数不清。但是,直到目前,还没有人能证明这一猜想是对是错。

更疯狂的是:我们可能永远也无法得知该猜想的正误,因为在数学上,已经被证明的一点是:任何可以进行基础运算的数学系统中都存在无法被证明的正确观点。这是数学底层存在的一个永恒漏洞。围绕“可知”与“不可知”的数学特性,哥德尔在1931年提出的不完备定理掀起了数学领域的革命,以及图灵在二战期间提出图灵机的概念,直接反驳了希尔伯特关于数学完整性、一致性与可判定性的三大问题。其中,图灵机的概念更是成为现代计算机的奠基工作。在Youtube上,知名科普up主Derek Muller回顾希尔伯特三大数学问题、哥德尔不完备定理与图灵构思图灵机的过程,介绍了三位数学大家在上个世纪的“切磋”。目前,视频播放量已超越200万,AI科技评论特整理如下:

1

导论:康威的“生命游戏”

正确的数学观点不一定可知。这就是人生。正如知名数学家约翰·康威(John Conway)在1970年创造的“生命游戏”。不幸的是,这位伟大的数学家在2020年因感染新冠肺炎已去世。康威所发明的“生命游戏”是在一个有无限方格的正方形细胞格上进行,每个细胞格都分别标记为存活(笑脸)或死亡(骷髅头)。这个游戏只有两个规则:1)当一个死亡细胞周围有三个存活细胞时,死亡细胞就会复活;2)当一个存活细胞周围有少于两个或多于三个存活细胞时,这个存活细胞就会死亡。一旦你设置好初始细胞格后,接下来的细胞排列就会遵循上述两个规则,创造之后一代又一代的图案生成。这个过程完全是自动的,因此,康威又将它称为“零玩家游戏”。

但是,尽管规则很简单,但游戏本身也会产生各种各样的行为,从而形成不同的图案模式。比如,有些图案模式是固定的(如下)。这些模式一旦出现,就永远不会改变。一些模式可以在网格中穿行,就像下方的滑翔机一样。许多模式会逐渐消失,但一些模式会永远保持增长,它们会不断生成新的细胞。你也许会想:基于游戏的简单规则,你可以找到任何模式,并确定哪些模式最终会达到稳定的状态,或者是否会无限增长。但事实证明,这个问题是无解的。在康威的“生命游戏”中,模式的最终命运是无法确定的,这意味着没有任何算法可以保证在有限的时间内回答这个问题。

当然,你也可以尝试运行某一个模式,然后看看最终会发生什么。这个游戏的规则毕竟只是一种算法。但这也不能保证你最终会得到问题的答案,因为即使你将其运行一百万代,你也无法得知它是会永远存在,还是仅持续两百万代,或是十亿代,甚至更多。“生命游戏”是有什么特别之处,使它变得无法确定吗?不。实际上,有许多系统都是无法确定的,比如王氏砖、量子物理学、航线、票务系统,甚至是万智牌,等等。要想了解这些系统的不确定性来源,我们必须追溯到150年前所掀起的一场数学革命。

2

背景:康托尔集合论

1874年,德国数学家格奥尔格·康托尔发表了一篇论文。在论文里面,他提到了一个新的数学概念,叫“集合论”(set theory)。“集”指的是定义明确的事物集合。比如,你脚上穿的两只鞋子是一个集,世界上所有的天文馆也是一个集。有不包含任何事物的空集,也有包含所有事物的集。当时,康托尔正在思考数字的集,比如自然数,正整数(如1、2、3、4…),还有实数(包括小数和无理数,比如1/3、2/5、π)。他想知道,就任何可以表示为无穷十进制的数字来说,相比于自然数,在0与1之间是否存在更多的实数?答案似乎显而易见,无论是自然数还是实数,都有无数个数字,两个集的大小应该相同。但如果检查这个逻辑,你根本无法想象要写下的无限数字,并将一侧的自然数与另一侧介于0和1之间的实数进行匹配。

由于每个实数都是一个无穷的小数,所以在0和1之间永远不存在最大的实数。我们可以按照任意随机的顺序写下数字,关键是要确保我们得到的数字都不重复,并将它们与整数一一对应。如果我们能够做到这一点,一个数字也不漏下,那么我们就会知道自然数的集和介于0和1之间的实数的集是不是大小相同。假设我们真的做到了这一点。我们有一个完整的、无穷的列表,每个整数就像一个索引数字,是列表中每个实数的唯一标识符。康托尔提出,我们来写下一个新的实数。首先,在列表中取第一个实数的第一个数位的数字,加1,作为新实数的第一个数位;然后取第二个实数的第二个数位的数字,加1,作为新实数的第二个数位。..。..一直沿数字列表进行下去。如果数字是9,就将其回滚到8。到这个过程结束时,你将得到一个介于0和1之间的实数。

但这就是我们要说的:这个数字不会出现在我们列表中的任何位置。它与第一个实数的第一个小数位的数字不同,与第二个实数的第二个数位的数字也不同。所以,它必然与列表中的每个数字(即对角线上的数字)至少相差一个数字。这就是为什么它被称为“康托尔对角证明”(Cantor‘s Diagonalization Proof)的原因。它表明:0和1之间一定有比自然数更多的实数,且有无穷多个,所以并非所有的无穷大都相同。

康托尔分别将它们称为“可数无穷大”(自然数)与“不可数无穷大”(实数)。实际上,还有许多更大的不可数无穷大。康托尔的工作可以说是数学领域的一个重大突破。在长达2000年的历史中,欧几里得原理一直被认为是数学的基石。但是,在19世纪之交,罗巴切夫斯基与高斯发现了非欧几里得的几何学。这使数学家对欧几里得原理进行了更加仔细的研究。但他们并不能欣然接受他们所看到的研究结果。研究证明,数学家对微积分中的“极限”概念定义很模糊。康托尔证明了,无穷本身的内容比大家以往所想象的都要复杂。

3

直觉主义者 vs. 形式主义者

1800年代末,两大数学家派系爆发了一场激烈的辩论。一边是直觉主义者,他们认为康托尔的说法是胡说八道。他们坚信数学是人类思想的纯粹创造,而Cantor所提出的“无限”是不存在的。庞加莱还曾说,人类的后代会将集合论视为一种我们已经从中痊愈的疾病。克罗内克则称康托尔为科学骗子,是年轻一代中的腐败分子。他甚至拼命阻止康托尔从事理想的工作。

另一边则是形式主义者。他们认为,通过康托尔的集合论,数学可以建立在绝对安全的逻辑基础上。形式主义派的领导者是德国数学家大卫·希尔伯特。希尔伯特是一位活跃的传奇人物,是一位很有影响力的数学家,几乎涉足所有的数学领域。他还差点在广义相对论上击败爱因斯坦。希尔伯特提出了全新的数学概念,对量子力学至关重要。他认为康托尔的工作非常出色,并坚信,基于集合论的数学证明更正式与严谨,可以解决上世纪数学领域所出现的所有问题。大多数其他数学家也同意他的观点。希尔伯特称:“没有人可以将我们从康托尔所创造的天堂中驱逐出来。”

图注:大卫·希尔伯特但是,在1901年,伯特兰·罗素指出了康托尔集合论中的一个严重问题。罗素想到:如果集合可以包含任何东西,那么它们可以包含其他集合,甚至可以包含它们自己。比方说,所有集合的大集合必须包含集合自身。那么,包含至少5个集合的集合是否也一样呢?你甚至可以探讨包含所有大集合的更大集合。但这就直接引发了一个问题:R是一个所有不包含自身的集合构成的集合,那么R包不包含R?这时,罗素发现了一个基于自指(指向自身)的悖论:如果R不包含自身,那么根据R的定义,它必须包含自身;如果R包含自身,那么根据定义,它又必须不能包含自身。

只有在R不包含自身时,R才会包含自身。接着,罗素又用毛发类比(hairy analogy)来解释了他的悖论,也就是著名的“理发师悖论”。假设有一个完全由成年男子组成的村庄,村庄里有一条针对男子胡须的奇怪法律,规定村里的发廊店必须只给那些不自己刮胡子的男人刮胡子。但是,理发师本人也住在这个村庄,而且他也是一个男人。那么,谁来给他剃胡子呢?如果他自己不剃,那么理发师就必须给他自己剃。但理发师不能给自己刮胡子,因为理发师不能刮那些给自己刮胡子的人的胡子。所以,理发师必须在且仅在他没有给自己剃胡子的情况下给自己剃胡子。这就是一个悖论。罗素的悖论把直觉主义者高兴坏了。他们认为“理发师悖论”已经证明了集合论存在无法弥补的缺陷。但随后,策梅洛与希尔伯特学派的其他数学家通过限制集合的概念解决了这个问题。

根据策梅洛等人的定义,所有集合的集合不再是一个集合。不包含自身的所有集合的集合也不是一个集合。这就消除了自指带来的悖论。希尔伯特和形式主义者又风光了一阵。但是,自指思想并没有那么容易被打垮。1960年代,数学家王浩观察每边有不同颜色的正方形瓷砖。这些瓷砖的规则是:相互触碰到的形状边缘必须是同一个颜色的,且你不能够旋转或翻转瓷砖,只能将它们沿四周移动。问题是:如果随便给你一组瓷砖,你能否判断它们会不会拼成一架飞机?它们是否能无缝连接,直到无穷大呢?事实证明,你不能确定答案。就像康威的“生命游戏”中的图案一样。这是两个完全相同的问题,且都来源于自指论。

4

希尔伯特的三个数学问题

希尔伯特希望通过开发一套新的数学证明方法来稳固数学的基础。古老的证明体系要回溯到古希腊时代。一套证明体系始于公理。公理即假设为真的基本观点,比如:我们可以在任意两点之间绘制一条直线。接着,人们使用推理规则,基于现有观点来推导出新观点的方法证明这些公理。如果现有观点是正确的,那么新的观点也是正确的。

希尔伯特想要一个正式的证明体系,即遵循严格运算规则的符号逻辑语言。符合逻辑和数学的语句可以转化到该系统中。希尔伯特和形式主义者希望在形式系统中将数学公理表示为符号陈述,然后建立推理规则作为系统操纵符号的规则。罗素与怀特海在三卷《数学原理》(Principia Mathematica, 1913年出版)中开发了这样的形式系统。《数学原理》的数学记号非常密集,总共有近2,000页。其中,单单是证明“1+1=2”的内容就占了762页。这时,罗素与怀特海已经注意到,希尔伯特等人的命题也许是有用的。他们最初的计划是写4卷书,但写作工作耗费了他们大量的精力,以至于他们无法准时完成。记号密集且累人,但也是准确的。数学记号与普通的语言不同,没有出错或逻辑蒙混过关的余地。

最重要的是,这些记号能够证明形式系统本身的属性。关于数学的证明,希尔伯特的证明计划(即“希尔伯特计划”)包含三个问题:问题 1:数学是完整的吗?也就是说,有没有办法证明所有的正确观点呢?每个正确观点都有证据吗?问题 2:数学是一致的吗?也就是说,数学有没有矛盾?如果你可以同时证明a是a、a不是a,那么所有的(互相矛盾的)数学观点都会是正确的。问题 3:数学是可判定的吗?也就是说,是否存在一种算法,可以始终确定某个数学观点是否遵循了公理?希尔伯特确信,这三个问题的答案都是肯定的。在1930年的会议上,希尔伯特就这些问题发表了激烈的演讲。在演讲的结尾,他以一句话总结了自己的形式主义梦想:“我们必须知道,我们也终将知道!”以此来反对“我们并不能知道”的“愚昧”观点。

5

哥德尔提出不完备原理

但在希尔伯特发表演讲前,他的梦想就已经崩溃了。因为就在前一天,同一个大会的小会议上,一位叫做库尔特·哥德尔(Kurt Gödel)的24岁年轻人发言,说他已经找到了希尔伯特关于数学完备性的问题的答案。哥德尔认为,答案是否定的。一个完整的数学形式系统是不存在的。哥德尔的观点所吸引到的唯一一位观众是冯·诺伊曼。冯·诺依曼曾是希尔伯特的学生,在这个小会议上,他把哥德尔拉到一边去问了几个问题。第二年,哥德尔发表了不完备定理证明。

这一次,所有人,包括希尔伯特在内,都注意到了哥德尔所提出的证据。以下是哥德尔证明的过程:哥德尔希望使用逻辑和数学来回答有关逻辑和数学系统的问题。他采用了数学系统的所有基本符号,并给每个符号指定一个唯一的数字,也就是所谓的“哥德尔数”。以上就是哥德尔数所代表的符号,它们既不等于1,也不等于2 。根据哥德尔的规则:0等于它本身,后继符号用s来表示,所以1用s0来表示,2需要用ss0来表示。..。..依此类推,用这种方式可以表示任何正整数。虽然有点麻烦,但它是有效的,而且是符号的关键。现在,有了所有基本符号的哥德尔数,就可以开始写方程了。

在0=0中,这三个符号对应的哥德尔数分别为6、5、6,我们通过创建一张新卡片来表示这个方程。方法是从2开始取质数,将每个质数依次作为方程中符号的哥德尔数的底数(即这些符号的哥德尔数作为这些质数的指数),然后将它们相乘,就变成了2^6×3^5×5^6=243,000,000。2.43亿是整个0=0方程的哥德尔数。这意味着你能想象到的任何一组符号集都能够用一个唯一对应的数字来表示。另外,通过对哥德尔数进行质数分解,还可以精确地计算出符号是由什么组成的。在整副卡片里,既有事实陈述,也有虚假陈述。通常,我们会用公理来证明某一陈述是否为真。事实上,公理也有自己的哥德尔数,并且是以同样的方式形成的。

有公理表明,任何数值为x的后继数不等于零。这是有意义的,因为在这个系统中没有负数,任何数的后继数都不能为零。如果用0代替x,按该公理的逻辑,1不能等于零。我们找到了一种最简单的方法证明了1不等于0,并且这张证明1不等于零的卡片得到了自己的哥德尔数。哥德尔数的计算方法如之前的质数一样,先把2乘以公理的幂,再把3乘以公理的幂,如果不用指数表示法,这些数字会变得非常大,因此可以简单的用字母来称呼它们。如下面是哥德尔数a,哥德尔数b,哥德尔数c.。..。.等等。哥德尔费尽周折找到这张牌,它上面没有哥德尔数g的证明。

也就是说,这张牌是不可证明的,在无限牌组中没有找到它的证据。g本身的陈述很巧妙:g不存在证明。如果g是假的,那么按照g的陈述,g是可证的。我们再把g的陈述(g不存在证明或g不可证)代入“g是可证的”,得到“g不可证是可证的”,或者“g是不可证的,g是可证的”。这就陷入了一个矛盾,显示数学系统是不一致的。另一种情况是,如果g是真的,那么哥德尔数g的陈述也没有被证明,这意味着数学系统中存在一个真实陈述,也就是:g不存在证明。所以,数学系统是不完整的,这就是哥德尔的不完备定理。按照哥德尔的观点,任何能够进行基础运算的基本数学系统都存在一些虽然正确但无法得到证明的陈述。

这句话可以用某电视节目的一段台词来理解:吉姆是我的敌人。但吉姆也是他自己的敌人,我的敌人的敌人是我的朋友,所以吉姆实际上是我的朋友。但因为他是他自己的敌人,我朋友的敌人是我的敌人,所以实际上吉姆是我的敌人。哥德尔的不完备定理显示,真理和可证明性根本不是同一件事。希尔伯特错了,关于数学的所有真理陈述是永远不能被证明的。希伯特安慰自己,至少数学的一致性是可以证明的。但后来,哥德尔又发表了他的第二个不完备定理,在这个定理中,他证明了任何形式一致的数学系统都不能证明自己的一致性。根据哥德尔的两个不完备定理,我们所能期望的最好结果不是一个一致但不完整的数学系统,而是一个无法证明自身的一致性、因此未来可能出现许多矛盾的数学系统。也就是说,我们现在一直在用的计算机,其实一直以来都是非一致的、有矛盾的。

6

图灵机的构思

最后是希尔伯特提出的第三个问题:数学是可判定的吗?在1936年,没有一个算法可以确定一个陈述是否遵循公理。图灵找到了解决方法,但要想实现这个方法,他必须发明一台现代计算机。

在他那个时代,计算机指的不是机器,而是妇女们用来进行冗长乏味计算的小型设备。图灵想象中的计算机是完全机械化的,它足够强大,可以执行人类所能想象到的任何计算,同时也足够简单,可以通过运算进行推理。

基于自己的想象,图灵发明了一台计算机机器,把一个无限长的正方形单元格磁带作为输入,每个单元格都包含一个数字0或1。机器有一个读写器,每经过一个磁带方格可以读取一个数字。它可以向左或者向右移动,也可以停止,停止代表程序已经运行完毕。程序由一组内部指令组成,机器根据它读取的数字和内部指令来执行操作。将这些指令导到任何图灵机,它们都能以与第一台图灵机完全相同的方式运行。虽然听起来很简单,但只要图灵机有足够大的内存和程序,并有足够充裕的时间,它就可以执行任何可计算的算法,包括加法、减法,乃至整个youtube算法。它能进行任何现代计算机所执行的任何运算。这就是为什么图灵机器能够有效回答希尔伯特关于数学可判定性的问题。如果图灵机停止运行,那么程序运行完成,输出结果就会在方格带中显示。

但有时候,图灵机可能永远也不会停止,也许会陷入无限循环。那么,图灵机有没有可能在事先知道一个程序是否会停止,尤其是在给定某个输入时呢?图灵意识到,这个问题与希尔伯特的可判定性问题非常相似。如果他能找到一种方法来判断图灵机是否会停止,那么图灵机也许能判定一个语句是否遵循公理。比方说,你可以编写一个图灵机程序来解决孪生质数猜想问题。图灵机程序从公理开始,构造出所有定理。这些定理能够用推理规则一步生成。在这个过程中,每生成一个新的定理,图灵机就会检查其是否为孪生质数猜想。如果是,图灵机就会停止;如果不是,它就永远不会停止。

也就是说,如果你能解决图灵机的停机问题,那么你就可以解决孪生质数猜想和其他未解决的问题。根据图灵的说法:假设我们可以制造一台机器 h,它可以用来模拟图灵机停止或运行的状态,不论怎么工作,它都能给出正确的答案。我们通过添加额外的组件来改进h。一个组件是,它接收到停机的输出,就会立即进入死循环。另一个组件是,如果它接收到死循环的输出,那么它就会立即停机。这台新机器也可以称为h+。所以,h+永远会输出和h相反的结果。h+本身也是一个程序代码,可以把它自己的代码作为程序输入给这台机器,即h+(h+),然后我们看h会对这个机器运行给出什么结果。由于h和h+的输出永远相反,所以如果h得出“h+将进入死循环”的结论,那么就会使h+立即停止;如果h认为h+会停止,那么必然会使h+进入死循环。结果证明,这和h本身的定义(h可以正确判定程序是否会停机)存在矛盾。唯一的解释是,像h这样的机器不可能存在。

当给定输入时,我们无法判定图灵机是否会停止,这意味着数学是不可判定的。没有一种算法能够确定一个陈述是否可以从公理中推导出来,所以像孪生质数猜想这样的问题可能是无法解决的。换句话说,我们可能永远不知道是否有无穷多个孪生质数。这类不可确定的问题甚至会出现在量子力学的物理系统中。多体系统(many-body system)的一个重要属性之一,就是其基态与其第一激发态之间的能量差异,也就是所谓的“光谱间隙”(spectral gap)。有些系统有明显的谱隙,有些系统则没有谱隙。有一个连续的能级一直延伸到基态,这一点很重要,因为在低温下,无间隙量子系统会经历相变,而有间隙量子系统则没有相变,因为它们没有克服光谱间隙所需的能量。一个系统到底是有间隙的还是无间隙的,这一直是一个难以解决的问题。直到2015年,数学家们才证明:一般来说,光谱间隙问题是不可判定的。用作者的原话说,就是:无论多么完美地描述材料粒子之间的微观互动,也无法详尽推导出其宏观特征。

7

总结

希尔伯特于1943年去世。他的墓志铭写的就是他在1930年大会上的发言:“我们必须知道,我们终将知道。”然而,事实是,很多时候我们并无法知道。但是,在尝试寻找答案的过程中,我们也许可以发现能够改变世界的新知识。在第二次世界大战中,艾伦·图灵将他的计算思考付诸实践,带领团队打造了一台真正的计算机,为盟军破解了纳粹的情报密码。有人评价说,图灵这一创举,使战争的时间缩短了2到4年。战争结束后, 冯·诺依曼根据图灵的设计,创造了世界上第一台可以编程的电子计算机。但图灵没能看到他的创新观点取得进一步的发展。1952年,他因同性恋罪名被捕入狱,两年后在狱中自杀。

图灵改变了这个世界,并被视为计算机科学领域最重要的奠基人。所有现代计算机都源于他的设计。但图灵关于兼容性的思考来自图灵机的概念,而这一概念是以希尔伯特的问题(“数学是可确定的吗?”)为前提的。总的来说,所有现代计算机都源于自指引起的悖论。数学的底部存在一个漏洞,这意味着我们永远也无法对一切事物有确定的认知。永远会有真实的陈述无法被证明。也许你认为,数学的不确定性会使数学家们发疯,导致整个数学世界的瓦解。但恰恰相反,正是由于对这个问题的思考,科学家们颠覆了无限的概念,改变了世界大战的进程,并直接促进了计算机的出现。

原文标题:燃爆了:希尔伯特计划是如何被哥德尔与图灵“打脸”的?

文章出处:【微信公众号:中科院半导体所】欢迎添加关注!文章转载请注明出处。

责任编辑:haq

原文标题:燃爆了:希尔伯特计划是如何被哥德尔与图灵“打脸”的?

文章出处:【微信号:bdtdsj,微信公众号:中科院半导体所】欢迎添加关注!文章转载请注明出处。

收藏 人收藏
分享:

评论

相关推荐

详解计算机缓存Cache以及Cache Line

1.计算机存储体系简介 存储器是分层次的,离CPU越近的存储器,速度越快,每字节的成本越高,同时容量....
的头像 终端SOC芯片 发表于 06-19 09:15 51次 阅读
详解计算机缓存Cache以及Cache Line

WSN网络协议的设计与解决方案

无线传感器网络WSN(Wireless Sensor Network)是传感器、通信和计算机3种技术....
的头像 电子设计 发表于 06-18 16:51 75次 阅读
WSN网络协议的设计与解决方案

计算机集群系统中网络存储器的设计方案

高性能工作站和PC技术的发展运用以及高性能网络技术的出现和发展,使得计算机集群系统在性能价格比、可扩....
的头像 电子设计 发表于 06-18 16:03 64次 阅读
计算机集群系统中网络存储器的设计方案

基于LINGO的最小支撑树问题求解

研究了图与网络领域中的一类经典问题——最小攴撑树问题,分析其现有算法的不足,通过引λ0-Ⅰ变量和辅助....
发表于 06-18 11:34 3次 阅读
基于LINGO的最小支撑树问题求解

用于高速高密度模块设计的点对点串行总线协议

电路板间以及背板上的数据通信越来越受到关注。由于下一代计算机、控制和通信系统的设计都是为日益提高的性....
的头像 电子设计 发表于 06-18 11:20 101次 阅读
用于高速高密度模块设计的点对点串行总线协议

校园多路播放无线转发智能广播系统设计方案

随着计算机技术、网络技术及数字音频技术的飞速发展及在教育领域的广泛应用,教育信息化建设步伐加快,教学....
发表于 06-18 10:04 390次 阅读
校园多路播放无线转发智能广播系统设计方案

计算机体系结构是由哪些部分组成的?可划分哪几个层次?

RISC-V的含义是什么? 计算机体系结构是由哪些部分组成的?可划分哪几个层次? ...
发表于 06-18 08:38 0次 阅读
计算机体系结构是由哪些部分组成的?可划分哪几个层次?

基于蓝牙跳频技术实现蓝牙跳频仿真平台的设计

蓝牙(B1uetooth)无线通信技术为各种通信设备和计算机外设提供了短距离、低代价、低功耗的无线解....
的头像 电子设计 发表于 06-17 14:42 82次 阅读
基于蓝牙跳频技术实现蓝牙跳频仿真平台的设计

基于音高显著性增强的主旋律提取方法综述

在音乐信息检索领堿,主旋律的提取是一项非常困难的工作。复调音乐中的不冋同声源相互影响,导致主旋律音高....
发表于 06-15 16:42 5次 阅读
基于音高显著性增强的主旋律提取方法综述

基于计算机串口实现红外无线PPM发射机的应用方案

在工业和生活环境中,便携式信息终端设备的出现加速了无线数字通信线路和局域网的引进,然而,由于无线电的....
的头像 电子设计 发表于 06-15 16:06 136次 阅读
基于计算机串口实现红外无线PPM发射机的应用方案

基于粗糙规则的脉冲神经膜系统设计方案

脉冲神经膜系统是受到神经生物系统中神经元相互协作处理脉冲过程的启发而提岀的一种新的计算模型。为了更进....
发表于 06-15 15:35 10次 阅读
基于粗糙规则的脉冲神经膜系统设计方案

VoIP技术在高速公路通信中的应用价值和发展前景

IP电话不仅可以在Internet或Intranet上实现,还可以在局域网上实现。局域网IP电话不仅....
的头像 电子设计 发表于 06-15 14:38 182次 阅读
VoIP技术在高速公路通信中的应用价值和发展前景

系统仿真模型可信度评估方法研究综述

借鉴国外仿真模型校核与验证( Verfication.Ⅴ alidation,V&V)标准和规范,提....
发表于 06-15 14:37 14次 阅读
系统仿真模型可信度评估方法研究综述

基于LBM程序特征的计算机循环优化技术研究

基于LBM程序特征的计算机循环优化技术研究
发表于 06-15 14:21 7次 阅读
基于LBM程序特征的计算机循环优化技术研究

数字输入端口逻辑电路的设计及应用分析

嵌入式系统是以应用为中心,以计算机技术为基础,并且软硬件可裁剪,适用于应用系统对功能、可靠性、成本、....
的头像 电子设计 发表于 06-14 17:40 187次 阅读
数字输入端口逻辑电路的设计及应用分析

防止计算机系统免受病毒感染的措施

近年来,由于计算机系统的稳固安全、网络安全意识的提高以及防护软件的推陈出新,计算机病毒感染事件越来越....
发表于 06-14 16:57 275次 阅读
防止计算机系统免受病毒感染的措施

智能合约的概念、特点、应用及发展前景综述

现在我们的生活几乎离不开合同,往大说,工作是与公司签订的劳动合同,买房是与房产公司签订购房合同,买保....
发表于 06-14 16:36 315次 阅读
智能合约的概念、特点、应用及发展前景综述

八个提高网络安全性的主要因素和方法

网络安全指网络系统的硬件、软件及其系统中的数据受到保护,不因偶然的或者恶意的原因而遭受到破坏、更改、....
发表于 06-14 11:33 183次 阅读
八个提高网络安全性的主要因素和方法

适合于地面位置检测的同频干扰抑制技术

工业自动化中,对于移动机车和中央控制室之间的数据通信,有线通信方式由于拖带通信电缆使用不方便;无线通....
的头像 电子设计 发表于 06-11 17:47 424次 阅读
适合于地面位置检测的同频干扰抑制技术

计算机与单片机的串口通信的方案设计

在以单片机为基础的数据采集和实时控制系统中,通过计算机中的RS-232接口进行计算机与单片机之间的命....
的头像 电子设计 发表于 06-11 16:59 1000次 阅读
计算机与单片机的串口通信的方案设计

基于贝叶斯网络和攻击图的评估算法

为准确评估计算机网络的脆弱性,结合贝叶斯网络与攻击图提出一种新的评估算法。构建攻击图模型RSAG,在....
发表于 06-11 14:23 10次 阅读
基于贝叶斯网络和攻击图的评估算法

物理内存管理内研究的内容有哪些?

内存管理总览 先笼统地总结下内存管理到底是干啥的,下面这段话摘自《现代操作系统 - 第 3 版》: ....
的头像 Linux爱好者 发表于 06-10 17:06 147次 阅读
物理内存管理内研究的内容有哪些?

基于Windows2000操作系统和PCF1536的PCI卡的设计

PCI卡PCF1536是一个带有1536KB FIFO的通用PCI卡;在Windows2000操作系....
的头像 电子设计 发表于 06-10 16:42 265次 阅读
基于Windows2000操作系统和PCF1536的PCI卡的设计

基于机器学习的恶意代码检测分类

基于特征码匹配的静态分析方法提取的特征滞后于病毒发展,且不能检测出未知病毒。为此,从病毒反编译文件及....
发表于 06-10 11:03 22次 阅读
基于机器学习的恶意代码检测分类

GB/T5464-1999建筑材料不燃性试验机简介

建筑材料不燃性试验机适用于规定在实验室条件下评定建筑材料燃烧性能的试验方法及测试建筑材料,对于复合制....
发表于 06-09 16:13 27次 阅读
GB/T5464-1999建筑材料不燃性试验机简介

计算机软件的迁移路径自动生成

计算机软件在军用装备中所占比重越来越大,软件质量的好坏决定着装备质量的高低,而软件测试则是提高软件质....
发表于 06-09 15:35 6次 阅读
计算机软件的迁移路径自动生成

佛罗里达大学已着手开发面向农业领域的AI应用

研究人员正在与企业共同开发智能喷洒系统,旨在帮助拯救该州的柑橘作物,佛罗里达州的橘汁生产企业已经体验....
的头像 NVIDIA英伟达 发表于 06-08 18:11 474次 阅读
佛罗里达大学已着手开发面向农业领域的AI应用

男子接受大脑植入手术后挑战Neuralink的Pager恒河猴

据报道,一名男子在接受了大脑植入手术之后可以用思维信号控制电脑,他表示已经准备好挑战埃隆・马斯克(E....
的头像 DeepTech深科技 发表于 06-08 16:34 200次 阅读
男子接受大脑植入手术后挑战Neuralink的Pager恒河猴

RS232串口的缺点有哪些

RS232串口是计算机和通信行业应用最广泛的串口类型。该系统采用全双工制,要求有三种线路:地线、发送....
发表于 06-08 15:03 80次 阅读
RS232串口的缺点有哪些

基于对等网络P2P技术和CDN内容分发网络实现多媒体监控系统的设计

  对等网络P2P(Peer-to-peer)技术是目前国际计算机网络技术领域研究的一个热点。该技术....
的头像 电子设计 发表于 06-08 14:07 246次 阅读
基于对等网络P2P技术和CDN内容分发网络实现多媒体监控系统的设计

关于二进制表示和补码计算的来龙去脉

一、前言 计算机最喜欢的数字就是 0 和 1,在 CPU 的世界中,它只认识这两个数字,即使是强大的....
的头像 FPGA之家 发表于 06-07 14:30 179次 阅读
关于二进制表示和补码计算的来龙去脉

基于测地回归模型的颅面复原技术综述

颅面复原是指根据一个未知颅骨的特征预测出对应的面貌。在考古研究、医学整容、刑事案件调査等领域有重要应....
发表于 06-04 16:28 47次 阅读
基于测地回归模型的颅面复原技术综述

船舶三维声弹性应用软件的多级并行优化

三维声弹性理论及计算方法为海洋弹性浮体结枃流耦合振动声辐射与海洋声传播提供了理论基础,在海洋弹性浮体....
发表于 06-04 16:00 12次 阅读
船舶三维声弹性应用软件的多级并行优化

基于对位对线的粗隆间骨折计算机辅助复位方法

临床医学中,股骨粗隆间骨折复位应同时满足对位和对线的医学需求,现有计算杋辅助复位方法不能较好支持。为....
发表于 06-04 15:43 12次 阅读
基于对位对线的粗隆间骨折计算机辅助复位方法

基于三点插值的三次PH曲线构造方法

为推广三次PH曲线的实际应用,研究在给定3个平面型值点条件下的三次PH曲线构造方法。三次PH曲线具有....
发表于 06-04 11:40 11次 阅读
基于三点插值的三次PH曲线构造方法

探究对深度学习模型VAE的时序性解耦

现代深度学习架构一直被描述为一个黑匣子:被输入数据,并期望从中得到一些结果。然而,由于此类架构存在许....
的头像 电子发烧友网工程师 发表于 06-04 11:10 132次 阅读
探究对深度学习模型VAE的时序性解耦

请问怎样去设计一种计算机网络实验平台?

计算机网络实验平台的硬件设计 计算机网络实验平台的软件设计 ...
发表于 06-04 06:52 0次 阅读
请问怎样去设计一种计算机网络实验平台?

土壤水分温度测试仪的性能以及适用范围的说明

土壤水分温度测试仪【恒美 HM-SW】突出性能: 土壤水分温度测试仪【恒美 HM-SW】采用一体化结....
发表于 06-03 15:47 27次 阅读
土壤水分温度测试仪的性能以及适用范围的说明

计算机辅助几何设计中的Bézier曲线构造

Bεzier曲线是计算机辅助几何设计中应用广泛的曲线造型工具,构造具有能量约束的曲线也是曲线造型研究....
发表于 06-03 15:19 5次 阅读
计算机辅助几何设计中的Bézier曲线构造

谷歌有信心在2029年前制造出商用级量子计算机

谷歌开发者有信心在2029年前制造出商用级量子计算机。谷歌CEO Sundar Pichai在近日的....
的头像 IEEE电气电子工程师 发表于 06-03 10:48 212次 阅读
谷歌有信心在2029年前制造出商用级量子计算机

请问怎样去设计一种计算机网络实验平台?

计算机网络实验平台的硬件设计 计算机网络实验平台的软件设计 ...
发表于 06-03 06:03 0次 阅读
请问怎样去设计一种计算机网络实验平台?

基于全卷积神经网络的肝脏CT图像扫描

在计算机断层扫描(CT)图像中肝脏与相邻器官灰度值近似,且不同患者的肝脏轮廓存在差异性,导致肝脏CT....
发表于 06-02 17:11 14次 阅读
基于全卷积神经网络的肝脏CT图像扫描

计算机天才1个月写了个操作系统

1983 年,美国计算机协会将图灵奖授予肯·汤普森和与丹尼斯·里奇。 获奖理由是:“For thei....
的头像 Linux爱好者 发表于 06-02 11:29 228次 阅读
计算机天才1个月写了个操作系统

刘军:联想中国区的智能化转型势能已经形成

受零部件紧缺的担忧,联想集团股价非但没有在业绩利好下得到提振,还最终收跌4.4%,本周累计下跌超3%....
的头像 科工力量 发表于 06-02 10:31 424次 阅读
刘军:联想中国区的智能化转型势能已经形成

并行计算科学发展历程综述

计算科学已经与传统的理论科学和实验科学并列成为第三门科学,它们相辅相成地推动着人类科技的发展和社会文....
发表于 06-01 14:23 16次 阅读
并行计算科学发展历程综述

智能家居解决方案

随着社会信息化的加快,人们的工作、生活和通讯、信息的关系日益紧密。信息化社会在改变人们生活方式与工作....
发表于 06-01 14:00 136次 阅读
智能家居解决方案

基于计算机仪器系统实现2M数字传输分析仪的功能设计

虚拟仪器是20世纪80年代开始兴起的一项新技术,是在以通用计算机为核心的硬件平台上,由用户设计定义、....
的头像 电子设计 发表于 05-28 11:18 222次 阅读
基于计算机仪器系统实现2M数字传输分析仪的功能设计

基于客户机/服务器模型实现局域网通信系统的设计

1 引 言 客户机/服务器模型中,发起连接的计算机被称为客户机,接收并建立连接的计算机被称为服务器。....
的头像 电子设计 发表于 05-28 10:17 216次 阅读
基于客户机/服务器模型实现局域网通信系统的设计

如何利用又口RAM实现导航计算机主从机之间通信?

本文结合组合导航系统设计,介绍了利用又口RAM实现导航计算机主从机之间通信的一种实用、高效的系统设计方法。...
发表于 05-28 06:58 0次 阅读
如何利用又口RAM实现导航计算机主从机之间通信?

探究3D视觉体积测量方案

DWS(Dimension/Weight/Scanning:体积/称重/扫码)是物流行业内的重要设备....
的头像 新机器视觉 发表于 05-27 15:58 288次 阅读
探究3D视觉体积测量方案

给大伙科普关于语音芯片运行内存那些事

自计算机和集成电路的交互时代来临,几乎所有的计算机都使用了一个非常重要的部分--内存。也许还有很多人....
的头像 九芯智能 发表于 05-27 10:16 245次 阅读
给大伙科普关于语音芯片运行内存那些事

基于EP1C6Q240C8芯片和适配卡实现计算机防视频信息泄漏系统的方案

假如显示终端为数字微镜DMD(Digital MicromirrorDevice)显示器。该显示器将....
的头像 电子设计 发表于 05-27 09:45 235次 阅读
基于EP1C6Q240C8芯片和适配卡实现计算机防视频信息泄漏系统的方案

怎么设计一款计算机近距离无线数据采集系统?

本文设计了计算机近距离无线数据采集系统。采用Nodic公司的nRF2401作为无线收发核心器件。系统由一台PC、无线数据接收模块和...
发表于 05-27 06:47 0次 阅读
怎么设计一款计算机近距离无线数据采集系统?

mips是指计算机的什么_mips计算公式

mips是指计算机的“运算速度”。计算机的运算速度通常是指每秒钟所能执行加法指令数目,常用百万次/秒....
的头像 电子魔法师 发表于 05-26 15:57 463次 阅读
mips是指计算机的什么_mips计算公式

汇春科技推出自研手势识别SOC及应用方案

深圳市汇春科技股份有限公司,成立于2007年12月,专注于消费类电子产品的芯片设计,是国内领先的集成....
的头像 ELEXCON深圳国际电子展 发表于 05-26 13:49 679次 阅读
汇春科技推出自研手势识别SOC及应用方案

可编程控制器与工业计算机通讯有哪些应用?

可编程控制器与工业计算机通讯有哪些应用?
发表于 05-26 06:02 0次 阅读
可编程控制器与工业计算机通讯有哪些应用?

如何实现单片机与计算机之间的RS485通信?

如何实现单片机与计算机之间的RS485通信,一般可以采用2种方法:一种方法是在单片机与计算机两端分别采用RS232与RS485电平...
发表于 05-24 07:09 0次 阅读
如何实现单片机与计算机之间的RS485通信?

怎样通过计算机与plc去组建实时监控系统?

PLC的特点有哪些? 怎样用PC去监控PLC? 怎样通过计算机与plc去组建实时监控系统? ...
发表于 05-17 06:07 0次 阅读
怎样通过计算机与plc去组建实时监控系统?

如何实现计算机对示波器进行远程控制?

如何实现计算机对示波器进行远程控制? 计算机控制示波器的步骤和方法是什么? ...
发表于 05-10 06:47 0次 阅读
如何实现计算机对示波器进行远程控制?

MT8888CS集成DTMF收发器相关资料分享

MT8888CS是Zarlink Semiconductor Inc研制的双音多频(DTMF)发送和接收器件。它为双列直插20脚封装。它是一种具有Int...
发表于 04-27 06:24 0次 阅读
MT8888CS集成DTMF收发器相关资料分享