贝叶斯方法到贝叶斯网络

1、贝叶斯方法
长久以来,人们对一件事情发生或不发生的概率,只有固定的0和1,即要么发生,要么不发生,从来不会去考虑某件事情发生的概率有多大,不发生的概率又是多大。而且概率虽然未知,但最起码是一个确定的值。比如如果问那时的人们一个问题:“有一个袋子,里面装着若干个白球和黑球,请问从袋子中取得白球的概率是多少?”他们会想都不用想,会立马告诉你,取出白球的概率就是1/2,要么取到白球,要么取不到白球,即θ只能有一个值,而且不论你取了多少次,取得白球的概率θ始终都是1/2,即不随观察结果x 的变化而变化。
这种频率派的观点长期统治着人们的观念,直到后来一个名叫thomas bayes的人物出现。
1.1、贝叶斯方法的提出
托马斯·贝叶斯thomas bayes(1702-1763)在世时,并不为当时的人们所熟知,很少发表论文或出版著作,与当时学术界的人沟通交流也很少,用现在的话来说,贝叶斯就是活生生一民间学术“屌丝”,可这个“屌丝”最终发表了一篇名为“an essay towards solving a problem in the doctrine of chances”,翻译过来则是:机遇理论中一个问题的解。你可能觉得我要说:这篇论文的发表随机产生轰动效应,从而奠定贝叶斯在学术史上的地位。
事实上,上篇论文发表后,在当时并未产生多少影响,在20世纪后,这篇论文才逐渐被人们所重视。对此,与梵高何其类似,画的画生前一文不值,死后价值连城。
回到上面的例子:“有一个袋子,里面装着若干个白球和黑球,请问从袋子中取得白球的概率θ是多少?”贝叶斯认为取得白球的概率是个不确定的值,因为其中含有机遇的成分。比如,一个朋友创业,你明明知道创业的结果就两种,即要么成功要么失败,但你依然会忍不住去估计他创业成功的几率有多大?你如果对他为人比较了解,而且有方法、思路清晰、有毅力、且能团结周围的人,你会不由自主的估计他创业成功的几率可能在80%以上。这种不同于最开始的“非黑即白、非0即1”的思考方式,便是贝叶斯式的思考方式。
继续深入讲解贝叶斯方法之前,先简单总结下频率派与贝叶斯派各自不同的思考方式:
频率派把需要推断的参数θ看做是固定的未知常数,即概率虽然是未知的,但最起码是确定的一个值,同时,样本x 是随机的,所以频率派重点研究样本空间,大部分的概率计算都是针对样本x 的分布;
而贝叶斯派的观点则截然相反,他们认为参数是随机变量,而样本x 是固定的,由于样本是固定的,所以他们重点研究的是参数的分布。
相对来说,频率派的观点容易理解,所以下文重点阐述贝叶斯派的观点。
贝叶斯派既然把看做是一个随机变量,所以要计算的分布,便得事先知道的无条件分布,即在有样本之前(或观察到x之前),有着怎样的分布呢?
比如往台球桌上扔一个球,这个球落会落在何处呢?如果是不偏不倚的把球抛出去,那么此球落在台球桌上的任一位置都有着相同的机会,即球落在台球桌上某一位置的概率服从均匀分布。这种在实验之前定下的属于基本前提性质的分布称为先验分布,或的无条件分布。
至此,贝叶斯及贝叶斯派提出了一个思考问题的固定模式:
先验分布+ 样本信息后验分布
上述思考模式意味着,新观察到的样本信息将修正人们以前对事物的认知。换言之,在得到新的样本信息之前,人们对的认知是先验分布,在得到新的样本信息后,人们对的认知为。
其中,先验信息一般来源于经验跟历史资料。比如林丹跟某选手对决,解说一般会根据林丹历次比赛的成绩对此次比赛的胜负做个大致的判断。再比如,某工厂每天都要对产品进行质检,以评估产品的不合格率θ,经过一段时间后便会积累大量的历史资料,这些历史资料便是先验知识,有了这些先验知识,便在决定对一个产品是否需要每天质检时便有了依据,如果以往的历史资料显示,某产品的不合格率只有0.01%,便可视为信得过产品或免检产品,只每月抽检一两次,从而省去大量的人力物力。
而后验分布一般也认为是在给定样本的情况下的条件分布,而使达到最大的值称为最大后验估计,类似于经典统计学中的极大似然估计。
综合起来看,则好比是人类刚开始时对大自然只有少得可怜的先验知识,但随着不断是观察、实验获得更多的样本、结果,使得人们对自然界的规律摸得越来越透彻。所以,贝叶斯方法既符合人们日常生活的思考方式,也符合人们认识自然的规律,经过不断的发展,最终占据统计学领域的半壁江山,与经典统计学分庭抗礼。
此外,贝叶斯除了提出上述思考模式之外,还特别提出了举世闻名的贝叶斯定理。
1.2 、贝叶斯定理
在引出贝叶斯定理之前,先学习几个定义:
条件概率(又称后验概率)就是事件a在另外一个事件b已经发生条件下的发生概率。条件概率表示为p(a|b),读作“在b条件下a的概率”。
比如,在同一个样本空间ω中的事件或者子集a与b,如果随机从ω中选出的一个元素属于b,那么这个随机选择的元素还属于a的概率就定义为在b的前提下a的条件概率,所以:p(a|b)=|a∩b|/|b|,接着分子、分母都除以|ω|得到
联合概率表示两个事件共同发生的概率。a与b的联合概率表示为或者。
边缘概率(又称先验概率)是某个事件发生的概率。边缘概率是这样得到的:在联合概率中,把最终结果中那些不需要的事件通过合并成它们的全概率,而消去它们(对离散随机变量用求和得全概率,对连续随机变量用积分得全概率),这称为边缘化(marginalization),比如a的边缘概率表示为p(a),b的边缘概率表示为p(b)。
接着,考虑一个问题:p(a|b)是在b发生的情况下a发生的可能性。
1.首先,事件b发生之前,我们对事件a的发生有一个基本的概率判断,称为a的先验概率,用p(a)表示;
2.其次,事件b发生之后,我们对事件a的发生概率重新评估,称为a的后验概率,用p(a|b)表示;
3.类似的,事件a发生之前,我们对事件b的发生有一个基本的概率判断,称为b的先验概率,用p(b)表示;
4.同样,事件a发生之后,我们对事件b的发生概率重新评估,称为b的后验概率,用p(b|a)表示。
贝叶斯定理便是基于下述贝叶斯公式:
上述公式的推导其实非常简单,就是从条件概率推出。
根据条件概率的定义,在事件b发生的条件下事件a发生的概率是
同样地,在事件a发生的条件下事件b发生的概率
整理与合并上述两个方程式,便可以得到:
接着,上式两边同除以p(b),若p(b)是非零的,我们便可以得到贝叶斯定理的公式表达式:
所以,贝叶斯公式可以直接根据条件概率的定义直接推出。即因为p(a,b) = p(a)p(b|a) = p(b)p(a|b),所以p(a|b) = p(a)p(b|a) / p(b)。
1.3 、应用:拼写检查
经常在网上搜索东西的朋友知道,当你不小心输入一个不存在的单词时,搜索引擎会提示你是不是要输入某一个正确的单词,比如当你在google中输入“julw”时,系统会猜测你的意图:是不是要搜索“july”,如下图所示:
这叫做拼写检查。根据谷歌一员工写的文章显示,google的拼写检查基于贝叶斯方法。下面我们就来看看,怎么利用贝叶斯方法,实现拼写检查的功能。
用户输入一个单词时,可能拼写正确,也可能拼写错误。如果把拼写正确的情况记做c(代表correct),拼写错误的情况记做w(代表wrong),那么拼写检查要做的事情就是:在发生w的情况下,试图推断出c。换言之:已知w,然后在若干个备选方案中,找出可能性最大的那个c,也就是求的最大值。 而根据贝叶斯定理,有:
由于对于所有备选的c来说,对应的都是同一个w,所以它们的p(w)是相同的,因此我们只要最大化
即可。其中:
p(c)表示某个正确的词的出现概率,它可以用频率代替。如果我们有一个足够大的文本库,那么这个文本库中每个单词的出现频率,就相当于它的发生概率。某个词的出现频率越高,p(c)就越大。比如在你输入一个错误的词“julw”时,系统更倾向于去猜测你可能想输入的词是“july”,而不是“jult”,因为“july”更常见。
p(w|c)表示在试图拼写c的情况下,出现拼写错误w的概率。为了简化问题,假定两个单词在字形上越接近,就有越可能拼错,p(w|c)就越大。举例来说,相差一个字母的拼法,就比相差两个字母的拼法,发生概率更高。你想拼写单词july,那么错误拼成julw(相差一个字母)的可能性,就比拼成jullw高(相差两个字母)。值得一提的是,一般把这种问题称为“编辑距离”,参见博客中的这篇文章。
所以,我们比较所有拼写相近的词在文本库中的出现频率,再从中挑出出现频率最高的一个,即是用户最想输入的那个词。具体的计算过程及此方法的缺陷请参见这里。
2、 贝叶斯网络
2.1、 贝叶斯网络的定义
贝叶斯网络(bayesian network),又称信念网络(belief network),或有向无环图模型(directed acyclic graphical model),是一种概率图模型,于1985年由judea pearl首先提出。它是一种模拟人类推理过程中因果关系的不确定性处理模型,其网络拓朴结构是一个有向无环图(dag)。
贝叶斯网络的有向无环图中的节点表示随机变量,它们可以是可观察到的变量,或隐变量、未知参数等。认为有因果关系(或非条件独立)的变量或命题则用箭头来连接。若两个节点间以一个单箭头连接在一起,表示其中一个节点是“因(parents)”,另一个是“果(children)”,两节点就会产生一个条件概率值。
总而言之,连接两个节点的箭头代表此两个随机变量是具有因果关系,或非条件独立。
例如,假设节点e直接影响到节点h,即e→h,则用从e指向h的箭头建立结点e到结点h的有向弧(e,h),权值(即连接强度)用条件概率p(h|e)来表示,如下图所示:
简言之,把某个研究系统中涉及的随机变量,根据是否条件独立绘制在一个有向图中,就形成了贝叶斯网络。其主要用来描述随机变量之间的条件依赖,用圈表示随机变量(random variables),用箭头表示条件依赖(conditional dependencies)。
令g = (i,e)表示一个有向无环图(dag),其中i代表图形中所有的节点的集合,而e代表有向连接线段的集合,且令x = (xi)i ∈ i为其有向无环图中的某一节点i所代表的随机变量,若节点x的联合概率可以表示成:
则称x为相对于一有向无环图g的贝叶斯网络,其中,表示节点i之“因”,或称pa(i)是i的parents(父母)。
此外,对于任意的随机变量,其联合概率可由各自的局部条件概率分布相乘而得出:
如下图所示,便是一个简单的贝叶斯网络:
因为a导致b,a和b导致c,所以有
2.2、 贝叶斯网络的3种结构形式
给定如下图所示的一个贝叶斯网络:
从图上可以比较直观的看出:
1. x1,x2,…x7的联合分布为
2. x1和x2独立(对应head-to-head);
3. x6和x7在x4给定的条件下独立(对应tail-to-tail)。
根据上图,第1点可能很容易理解,但第2、3点中所述的条件独立是啥意思呢?其实第2、3点是贝叶斯网络中3种结构形式中的其中二种。为了说清楚这个问题,需要引入d-separation(d-分离)这个概念。
d-separation是一种用来判断变量是否条件独立的图形化方法。换言之,对于一个dag(有向无环图)e,d-separation方法可以快速的判断出两个节点之间是否是条件独立的。
2.2.1 形式1:head-to-head
贝叶斯网络的第一种结构形式如下图所示:
所以有:p(a,b,c) = p(a)*p(b)*p(c|a,b)成立,化简后可得:
即在c未知的条件下,a、b被阻断(blocked),是独立的,称之为head-to-head条件独立,对应本节中最开始那张图中的“x1、x2独立”。
2.2.2 形式2:tail-to-tail
贝叶斯网络的第二种结构形式如下图所示
考虑c未知,跟c已知这两种情况:
1.在c未知的时候,有:p(a,b,c)=p(c)*p(a|c)*p(b|c),此时,没法得出p(a,b) = p(a)p(b),即c未知时,a、b不独立。
2.在c已知的时候,有:p(a,b|c)=p(a,b,c)/p(c),然后将p(a,b,c)=p(c)*p(a|c)*p(b|c)带入式子中,得到:p(a,b|c)=p(a,b,c)/p(c) = p(c)*p(a|c)*p(b|c) / p(c) = p(a|c)*p(b|c),即c已知时,a、b独立。
所以,在c给定的条件下,a,b被阻断(blocked),是独立的,称之为tail-to-tail条件独立,对应本节中最开始那张图中的“x6和x7在x4给定的条件下独立”。
2.2.3 形式3:head-to-tail
贝叶斯网络的第三种结构形式如下图所示:
还是分c未知跟c已知这两种情况:
1.c未知时,有:p(a,b,c)=p(a)*p(c|a)*p(b|c),但无法推出p(a,b) = p(a)p(b),即c未知时,a、b不独立。
2.c已知时,有:p(a,b|c)=p(a,b,c)/p(c),且根据p(a,c) = p(a)*p(c|a) = p(c)*p(a|c),可化简得到:
所以,在c给定的条件下,a,b被阻断(blocked),是独立的,称之为head-to-tail条件独立。
插一句:这个head-to-tail其实就是一个链式网络,如下图所示:
根据之前对head-to-tail的讲解,我们已经知道,在xi给定的条件下,xi+1的分布和x1,x2…xi-1条件独立。意味着啥呢?意味着:xi+1的分布状态只和xi有关,和其他变量条件独立。通俗点说,当前状态只跟上一状态有关,跟上上或上上之前的状态无关。这种顺次演变的随机过程,就叫做马尔科夫链(markov chain)。且有:
接着,将上述结点推广到结点集,则是:对于任意的结点集a,b,c,考察所有通过a中任意结点到b中任意结点的路径,若要求a,b条件独立,则需要所有的路径都被阻断(blocked),即满足下列两个前提之一:
1.a和b的“head-to-tail型”和“tail-to-tail型”路径都通过c;
2.a和b的“head-to-head型”路径不通过c以及c的子孙;
最后,举例说明上述d-separation的3种情况(即贝叶斯网络的3种结构形式),则是如下图所示:
上图中左边部分是head-to-tail,给定 t 时,a 和 x 独立;右边部分的右上角是tail-to-tail,给定s时,l和b独立;右边部分的右下角是head-to-head,未给定d时,l和b独立。
2.3 贝叶斯网络的实例
给定如下图所示的贝叶斯网络:
其中,各个单词、表达式表示的含义如下:
smoking表示吸烟,其概率用p(s)表示,lung cancer表示的肺癌,一个人在吸烟的情况下得肺癌的概率用p(c|s)表示,x-ray表示需要照医学上的x光,肺癌可能会导致需要照x光,吸烟也有可能会导致需要照x光(所以smoking也是x-ray的一个因),所以,因吸烟且得肺癌而需要照x光的概率用p(x|c,s)表示。
bronchitis表示支气管炎,一个人在吸烟的情况下得支气管炎的概率用p(b|s),dyspnoea表示呼吸困难,支气管炎可能会导致呼吸困难,肺癌也有可能会导致呼吸困难(所以lung cancer也是dyspnoea的一个因),因吸烟且得了支气管炎导致呼吸困难的概率用p(d|c,b)表示。
lung cancer简记为c,bronchitis简记为b,dyspnoea简记为d,且c = 0表示lung cancer不发生的概率,c = 1表示lung cancer发生的概率,b等于0(b不发生)或1(b发生)也类似于c,同样的,d=1表示d发生的概率,d=0表示d不发生的概率,便可得到dyspnoea的一张概率表,如上图的最右下角所示。
2.4、 因子图
回到2.3节中那个实例上,如下图所示:
对于上图,在一个人已经呼吸困难(dyspnoea)的情况下,其抽烟(smoking)的概率是多少呢?即:
咱们来一步步计算推导下:
解释下上述式子推导过程:
1.第二行:对联合概率关于b,x,c求和(在d=1的条件下),从而消去b,x,c,得到s和d=1的联合概率。
2.第三行:最开始,所有变量都在sigma(d=1,b,x,c)的后面(sigma表示对“求和”的称谓),但由于p(s)和“d=1,b,x,c”都没关系,所以,可以提到式子的最前面。而且p(b|s)和x、c没关系,所以,也可以把它提出来,放到sigma(b)的后面,从而式子的右边剩下sigma(x)和sigma(c)。
此外,图中variable elimination表示的是变量消除的意思。为了更好的解决此类问题,咱们得引入因子图的概念。
2.4.1 因子图的定义
wikipedia上是这样定义因子图的:将一个具有多变量的全局函数因子分解,得到几个局部函数的乘积,以此为基础得到的一个双向图叫做因子图(factor graph)。
比如,假定对于函数,有下述式子成立:
其中,其对应的因子图包括:
1.变量节点
2. 因子(函数)节点
3.边,边通过下列因式分解结果得到:在因子(函数)节点和变量节点之间存在边的充要条件是存在。
正式的定义果然晦涩!我相信你没看懂。通俗来讲,所谓因子图就是对函数进行因子分解得到的一种概率图。一般内含两种节点:变量节点和函数节点。我们知道,一个全局函数通过因式分解能够分解为多个局部函数的乘积,这些局部函数和对应的变量关系就体现在因子图上。
举个例子,现在有一个全局函数,其因式分解方程为:
其中fa,fb,fc,fd,fe为各函数,表示变量之间的关系,可以是条件概率也可以是其他关系(如马尔可夫随机场markov random fields中的势函数)。
为了方便表示,可以写成:
其对应的因子图为:
且上述因子图等价于:
所以,在因子图中,所有的顶点不是变量节点就是函数节点,边线表示它们之间的函数关系。
但搞了半天,虽然知道了什么是因子图,但因子图到底是干嘛的呢?为何要引入因子图,其用途和意义何在?事实上,因子图跟贝叶斯网络和马尔科夫随机场(markov random fields)一样,也是概率图的一种。
既然提到了马尔科夫随机场,那顺便说下有向图、无向图,以及条件随机场等相关概念。
我们已经知道,有向图模型,又称作贝叶斯网络(directed graphical models, dgm, bayesian network)。
但在有些情况下,强制对某些结点之间的边增加方向是不合适的。使用没有方向的无向边,形成了无向图模型(undirected graphical model,ugm), 又被称为马尔科夫随机场或者马尔科夫网络(markov random field, mrf or markov network)。
设x=(x1,x2…xn)和y=(y1,y2…ym)都是联合随机变量,若随机变量y构成一个无向图 g=(v,e)表示的马尔科夫随机场(mrf),则条件概率分布p(y|x)称为条件随机场(conditional random field, 简称crf,后续新的博客中可能会阐述crf)。如下图所示,便是一个线性链条件随机场的无向图模型:
回到本文的主旨上来。在概率图中,求某个变量的边缘分布是常见的问题。这问题有很多求解方法,其中之一就是把贝叶斯网络或马尔科夫随机场转换成因子图,然后用sum-product算法求解。换言之,基于因子图可以用sum-product 算法高效的求各个变量的边缘分布。
先通过一些例子分别说明如何把贝叶斯网络(和马尔科夫随机场),以及把马尔科夫链、隐马尔科夫模型转换成因子图后的情形,然后在2.4.2节,咱们再来看如何利用因子图的sum-product算法求边缘概率分布。
给定下图所示的贝叶斯网络或马尔科夫随机场:
根据各个变量对应的关系,可得:
其对应的因子图为(以下两种因子图的表示方式皆可):
由上述例子总结出由贝叶斯网络构造因子图的方法:
贝叶斯网络中的一个因子对应因子图中的一个结点
贝叶斯网络中的每一个变量在因子图上对应边或者半边
结点g和边x相连当且仅当变量x出现在因子g中。
再比如,对于下图所示的由马尔科夫链转换而成的因子图:
有:
而对于如下图所示的由隐马尔科夫模型转换而成的因子图:
有:
2.4.2 sum-product算法
我们已经知道,对于下图所示的因子图:
有:
下面,咱们来考虑一个问题:即如何由联合概率分布求边缘概率分布。
首先回顾下联合概率和边缘概率的定义,如下:
联合概率表示两个事件共同发生的概率。a与b的联合概率表示为或者。
边缘概率(又称先验概率)是某个事件发生的概率。边缘概率是这样得到的:在联合概率中,把最终结果中不需要的那些事件合并成其事件的全概率而消失(对离散随机变量用求和得全概率,对连续随机变量用积分得全概率)。这称为边缘化(marginalization)。a的边缘概率表示为p(a),b的边缘概率表示为p(b)。
事实上,某个随机变量fk的边缘概率可由x1,x2,x3, ..., xn的联合概率求到,具体公式为:
啊哈,啥原理呢?原理很简单,还是它:对x3外的其它变量的概率求和,最终剩下x3的概率!
此外,换言之,如果有
那么
上述式子如何进一步化简计算呢?考虑到我们小学所学到的乘法分配率,可知a*b + a*c = a*(b + c),前者2次乘法1次加法,后者1次乘法,1次加法。我们这里的计算是否能借鉴到分配率呢?别急,且听下文慢慢道来。
假定现在我们需要计算计算如下式子的结果:
同时,f 能被分解如下:
借鉴分配率,我们可以提取公因子:
因为变量的边缘概率等于所有与他相连的函数传递过来的消息的积,所以计算得到:
仔细观察上述计算过程,可以发现,其中用到了类似“消息传递”的观点,且总共两个步骤。
第一步、对于f 的分解图,根据蓝色虚线框、红色虚线框围住的两个box外面的消息传递:
计算可得:
第二步、根据蓝色虚线框、红色虚线框围住的两个box内部的消息传递:
根据,我们有:
就这样,上述计算过程将一个概率分布写成两个因子的乘积,而这两个因子可以继续分解或者通过已知得到。这种利用消息传递的观念计算概率的方法便是sum-product算法。前面说过,基于因子图可以用sum-product算法可以高效的求各个变量的边缘分布。
到底什么是sum-product算法呢?sum-product算法,也叫belief propagation,有两种消息:
一种是变量(variable)到函数(function)的消息:,如下图所示
此时,变量到函数的消息为。
另外一种是函数(function)到变量(variable)的消息:。如下图所示:
此时,函数到变量的消息为:。
以下是sum-product算法的总体框架:
1、给定如下图所示的因子图:
2、sum-product 算法的消息计算规则为:
3、根据sum-product定理,如果因子图中的函数f 没有周期,则有:
值得一提的是:如果因子图是无环的,则一定可以准确的求出任意一个变量的边缘分布,如果是有环的,则无法用sum-product算法准确求出来边缘分布。
比如,下图所示的贝叶斯网络:
其转换成因子图后,为:
可以发现,若贝叶斯网络中存在“环”(无向),则因此构造的因子图会得到环。而使用消息传递的思想,这个消息将无限传输下去,不利于概率计算。 解决方法有3个:
1、删除贝叶斯网络中的若干条边,使得它不含有无向环
比如给定下图中左边部分所示的原贝叶斯网络,可以通过去掉c和e之间的边,使得它重新变成有向无环图,从而成为图中右边部分的近似树结构:
具体变换的过程为最大权生成树算法mswt(详细建立过程请参阅此ppt 第60页),通过此算法,这课树的近似联合概率p'(x)和原贝叶斯网络的联合概率p(x)的相对熵(如果忘了什么叫相对熵,请参阅:最大熵模型中的数学推导)最小。
2、重新构造没有环的贝叶斯网络
3、选择loopy belief propagation算法(你可以简单理解为sum-product 算法的递归版本),此算法一般选择环中的某个消息,随机赋个初值,然后用sum-product算法,迭代下去,因为有环,一定会到达刚才赋初值的那个消息,然后更新那个消息,继续迭代,直到没有消息再改变为止。唯一的缺点是不确保收敛,当然,此算法在绝大多数情况下是收敛的。
此外,除了这个sum-product算法,还有一个max-product 算法。但只要弄懂了sum-product,也就弄懂了max-product 算法。因为max-product 算法就在上面sum-product 算法的基础上把求和符号换成求最大值max的符号即可!

基于Linux2.6的YAFFS文件系统移植
人类历史上推力最大的火箭,在发射前几分钟突然被叫停!
传新版Model3即将上市,特斯拉在国内促销清库存?
ARM微处理器对异常中断的响应过程
荣耀9什么时候上市?荣耀9最新消息:荣耀9曝光:玻璃机身+前置指纹配与华为Mate 9同规格双摄
贝叶斯方法到贝叶斯网络
简述使用雷达液位计安装需要注意的事项
东方闪光带您了解半导体激光器的作用
贸泽荣获Bourns颁发的2018年度最佳电子商务分销商荣誉
可穿戴设备中传感器是依靠什么分类的
百度推出小度电视伴侣 朝着家居控制中心的战略前行
虹科新闻 |2022元宇宙荣誉榜创新硬件榜单新鲜出炉,虹科榜上有名
Redis可以实现消息中间件MQ的功能
是德科技推出新的800G测试解决方案
关于移动AR产品的应用场景与方案及开发设计
霍尔效应传感器DRV5000系列的特性与优势介绍
win10隐藏的实用功能介绍与xbox登录失败解决方法
星宇航空已确认订购空中客车的12架A350-1000飞机和5架A350-900飞机
pcb板设计用啥软件较好
三星Galaxy S III/Note II升级Android 13