数学建模社区-数学中国

标题: 版本12——Wolfram语言和Mathematica的一次飞跃(二) [打印本页]

作者: Asdmath2020    时间: 2020-3-3 18:07
标题: 版本12——Wolfram语言和Mathematica的一次飞跃(二)
版本12.0中的一个示例是ImagePyramid框架,用于执行多尺度图像处理:

. i5 B% E" w9 a- a4 e/ i$ ?9 i1 R 88.jpg 0 J  y3 |( X9 J  n! j

5 @( X7 [- W% E4 K
版本12.0中有几个与颜色计算有关的新函数。一个关键的想法是ColorsNear,它代表感知色彩空间中的一个邻域,这里的颜色为Pink
89.png
% S; ?: z; C! _" Q' \$ `. H. w! ], D; s/ x0 b
例如,可以在新的ImageRecolor函数中使用颜色邻域的概念:
90.jpg
. m" Z" x$ P. t3 v3 Y
语音识别及更多音频功能
" W; X. t! X6 F, |: Q
当我坐在电脑前写这篇文章的时候,让我对电脑随便说句话,然后记录它:

3 }9 Q. `- B# j$ f7 H! t) l0 u! i/ Z 91.png
: i8 Y7 F1 c, x! \这是我获得的音频频谱图:
2 I$ z/ M2 r& O- M; l+ g! _9 m( I 92.jpg 9 [& T* f6 E) s0 ]
此操作在版本11.3中即可执行(但在12.0中Spectrogram的速度提高了10倍)。而新功能是:
93.png
9 n: |9 ~, p5 m6 P2 v1 |$ E% O+ M; V# J9 o# s+ j
我们正在使用最先进的神经网络技术,实现从语音到文字的转变!它流线型的工作效果好得令我吃惊,并且完全能够处理很长的音频片段。在典型的计算机上,转录速度大约等于实际的语音速度,因此一小时的语音将需要大约一个小时来转录。
, s& Z. ~7 s' Z) f
现在我们认为SpeechRecognize仍是实验性的,我们将继续增强它。但有趣的是看到另一个重要的计算任务现在变成了Wolfram语言的一个单个函数。
. l4 ~3 e- ~3 F
在12.0版中,还有其他增强功能。SpeechSynthesize支持新语言和新语音(由VoiceStyleData[]列出)。
" g8 g0 h9 T9 \! [% E* p' M& T
WebAudioSearch——WebImageSearch的对照版,可以让你在网上搜索音频:
94.png 2 D( `! w  n4 o  P# g# a- h
7 y+ r. Q* G9 P3 \  n. U* o
可以提取实际的音频对象:
00094.png ) G! n, X9 T5 H: S0 g; i; g
" ]* b2 _' y/ R) P% K9 K  l
然后制作光谱图或其他测量结果的图形:
+ n& Y% j+ J7 P0 u 95.jpg
7 V5 z3 S- x" e# Z3 k+ r
版本12.0中的新功能在此:可以使用AudioIdentify来尝试识别声音的类别(这是一只会说话的公鸡吗?):
00095.png 3 V. e$ n1 z) h3 w

) M9 f  Q5 F( q+ J, P  y
我们认为AudioIdentify仍在试验阶段。这只是一个有趣的开始,还不像ImageIdentify那样好用。

1 C( d! x" o8 d3 L0 K
更成功的音频函数是PitchRecognize,它试图识别音频信号中的主导频率(它使用“经典”和神经网络方法)。虽然它还不能处理“和弦”,但它对“单音符”非常有效。

' L' R# U% b: o' W
在处理音频时,人们通常不仅要识别音频中的内容,还要添加注释。版本12.0开始引入了大规模音频架构。现在AudioAnnotate可以标记静音的位置,或者有大声的地方。将来,我们将添加说话人识别和单词边界,以及其他许多内容。除此之外,我们还有像AudioAnnotationLookup这样的函数,用于挑选以特定方式注释的音频对象的部分。

0 ^) x1 a; y" d7 M6 K, O
所有上述高级音频功能都建立在一个完整的低级音频处理基础之上。版本12.0大大增强了AudioBlockMap(用于将滤波器应用于音频信号),并引入了ShortTimeFourier等函数。
9 r* f4 u4 y( y  ^: j/ s
频谱图看起来有点像乐谱的连续模拟,其中音高被绘制为时间的函数。在版本12.0中,现在有InverseSpectrogram,将一系列频谱图数据转成音频。从1991年的第2版开始就有了Play,根据一个函数生成声音(比如Sin[100 t])。现在使用InverseSpectrogram,我们可以将“频率-时间位图”转变为声音。(并且必须承认,当只有振幅信息时,关于相位的最佳猜测仍是棘手的问题。)
) Z, g% o1 Z1 \1 t
自然语言处理
3 u1 V5 X: O2 r/ `) K, J) `- q$ c
Wolfram|Alpha开始,我们长期以来拥有非常强大的自然语言理解(NLU)功能。这意味着,给定一种自然语言,我们擅长将其理解为Wolfram语言,然后由此进行计算:
- V; H. S, N2 y$ J0 S% S  ], |
96.jpg
8 o0 L: V1 Z/ r& H) I7 b. L
但是在自然语言处理(NLP)方面,如果我们输入一大段自然语言,但不试图完全理解它们,而只是找到或处理它们的一些特定功能,又怎样呢?一段时间以来,像TextSentencesTextStructureTextCasesWordCounts这样的函数已经在这个方面为我们提供了基本功能。在版本12.0中,通过利用最新的机器学习技术,以及我们长期的NLU和知识库功能,强大的NLP功能已经开始崭露头角。

) }1 o5 c! N! w0 X
核心是TextCases的显著增强版本。TextCases的基本目标是在一段文本中查找不同类型内容的实例。一个例子是“实体识别”的经典NLP任务,在这里TextCases找到哪些国家名称出现在关于ocelots的维基百科文章中:
. U+ s4 C. T2 {& D# S
97.jpg 5 b7 C6 K+ R8 n* f; Y: }
我们也可以问一下提到哪些岛屿,但现在我们不会要求Wolfram语言解释:
, }* d0 h+ r% Z9 @ 98.png " c  e; ~& n4 a0 M5 d
TextCases并不完美,但它确实表现出色:. T! n: i& u9 ?8 z) K# _! z
0098.jpg
# v3 ~# A+ |: Y0 x3 p9 [它也支持许多不同的内容类型(https://reference.wolfram.com/la ... xtContentTypes.html
9 [0 G3 a3 {% _& e  v: G" ~ 99.jpg + v$ D( l  j1 z9 s
您可以要它查找代词或简化关系从句,量词,电子邮件地址,或150种实体(如公司、植物或电影)中出现的任何一种。您还可以要求它挑选出特定人类语言或计算机语言的文本,或者关于特定主题(如旅行或健康)或具有正面或负面情绪的文本。您可以使用像Containing这样的结构要求这些东西的组合(如包含河流名称的名词短语):
3 O; u4 Z9 I7 o 100.png
1 {' @! H  _; I( s& T* a( \& ?例如,TextContents可以让您查看在特定文本中检测到的所有实体的详细信息:. Z8 m" R3 i- {; W3 t, g) P" ?
101.jpg ' H! ?4 x' E' d' T
并且,是的,原则上可以通过FindTextualAnswer使用这些功能来尝试回答文本中的问题。但在这种情况下,结果可能非常古怪:
101.png - r. \. y  k1 F( U5 G1 J; v% V
# `+ l6 q8 Z- V
当然,您可以从我们内置的策展知识库中获得真正的答案:
102.png   m8 U  _  T  A- e7 E+ S# ~
& ~! C" L) G% Y1 T! n
顺便说一句,在版本12.0中,我们添加了各种小的“自然语言便利功能”,如SynonymsAntonyms
/ u7 X' l2 F3 M1 h
103.png
  |* V  ]# u% l  _" x7 x% \
计算化学
# J& c7 o( j# x# l% p
12.0版在计算化学方面带来了“惊喜”。我们的知识库中在很久以前就有了显式已知化学品数据。但是在版本12.0中,我们可以对指定为纯符号对象的分子进行计算。以下是我们如何指定最终成为水分子的方法:
104.png
/ D' Z# [! m; L/ N7 A3 e7 q$ k% r: D
以下是我们如何进行3D渲染:
105.png : h5 H3 R0 i/ Q: C+ j( O
6 I, C" a$ ?! ^8 U0 ~
可以处理“已知化学品”:7 v$ u$ C- O1 j8 q
00106.png
; b2 V! @6 r) A: q9 f; W+ I
可以使用任意IUPAC名称:

& C& ~- g$ {2 k, ]. E/ f( `/ \ 106.jpg 3 n5 i, o) K; u) c* Y  `5 g  T% a: l
或者可以“编造”一个化学品。例如通过其SMILES字符串指定它们:
- V5 M/ d/ ~3 K; Q1 v1 I2 k, O) n 107.jpg 7 ~' S9 s9 O7 \4 t& o! ~4 S/ v. h
但我们不仅能生成图片,还可以根据结构进行计算,如对称性:
3 y: H+ V: B* l# C! f 108.png 7 j0 x+ x# ~4 ~
给定一个分子,我们可以突出显示其碳氧键:
109.jpg
% V% ?6 ~& v0 S
( j0 C0 a* d+ m9 {# p9 I7 u3 s或者突出显示结构,例如由SMARTS字符串指定(这里是任何5个成员的环):
5 J6 u/ u" q! \, ~8 e) w 110.jpg * S' ]% L  X2 ^9 G
也可以搜索“分子模式”;结果以原子数表示:
111.png
% X& f( o; @! Q+ n: S" o2 T) K$ q8 g* W
我们在版本12.0中添加的计算化学功能颇具通用性并且功能强大(需要注意的是,到目前为止它们只涉及有机分子)。在最底层,它们将分子视为标号图,其中图的边对应于键。但他们也了解物理学,并正确地解释原子价和键配置。不用说,有很多细节(关于立体化学,对称性,芳香性,同位素等)。但最终结果是分子结构和分子计算现已成功地添加到整合到Wolfram语言的区域列表中。

6 L5 }0 F; z* \4 G+ d) [/ Q1 C
地理计算扩展
' G' i$ a+ w# k# v  @) H
Wolfram语言已具备强大的地理计算功能,但12.0版增加了更多功能,并对已有功能进行了增强。

/ C4 r; U2 T; U( h8 e
例如,现在有RandomGeoPosition,它生成一个随机的维度-经度位置。这看上去似乎微不足道,但当人们不得不进行坐标变换时,就看到它的威力了,人们可以告诉它只在某个地区内选取点,这里是法国:
2 C3 ?- S1 H5 z# A  c3 {
112.jpg ! [7 E  P) l$ z0 P; I
在版本12.0中,新地理功能的一个主题是不仅处理地理点和区域,还处理地理矢量。例如,这是当前在艾菲尔铁塔处的风矢量,表示为GeoVector,具有速度和方向(还有GeoVectorENU,它提供东,北和上分量,以及GeoGridVectorGeoVectorXYZ):, o/ v3 K9 l" s7 I- O0 R+ C5 k
113.png : A3 {, K5 B9 U7 d. K, _3 Z
GeoGraphics这样的函数可以可视化离散的地理矢量。GeoStreamPlotStreamPlot(或ListStreamPlot)在地理方面的对照,并显示由地理向量(此处来自WindDirectionData)形成的流线:
114.jpg . a$ `+ O7 H* d% H
' |0 `( N2 A# U
大地测量学是一个在数学上相当复杂的领域,我们为Wolfram语言在此方面的卓越性能而感到自豪。在12.0版中,我们添加了一些新功能来填充一些细节。例如,我们现在有像GeoGridUnitDistanceGeoGridUnitArea这样的函数,它们提供与地球上每个位置(或月亮,火星等)的不同地理投影相关的失真(基本上是雅可比行星的特征值)。
5 g( B3 K! ?4 ^& V& S
增强的可视化功能

+ X0 f$ ?- b0 v
我们一直在稳步发展的一个可视化方向被人们称之为“元图形”:图形化事物的标注和注释。我们在版本11.0中引入了Callout;在版本12.0中,它已经扩展到3D图形:

3 U; j2 |: b4 J 115.jpg
+ t: V9 X' X( z即使对于比较复杂的物体,它也能很好地确定标记其位置:
, [& C$ M4 w2 S7 }" B 116.jpg
' A5 @. u  T* S, G1 p
为了让图形更加美观,对很多细节的改进非常重要。在版本12.0中增强的功能是确保图形各列沿边框排列,而不管其刻度标签的长度如何。我们还添加了LabelVisibility,它允许您指定不同标签应该可见的相对优先级。
. y$ j/ P1 ~% k9 V+ ^
版本12.0的另一个新功能是多面板绘图布局,其中不同的数据集显示在不同的面板中,但面板尽可能地共用坐标轴:

5 C4 N" D* }  R9 y( m  I+ y) I 117.jpg
' }" z$ z8 M: A$ l# P1 v0 m! a
加强知识库集成
& i" a( M$ T$ |9 v
我们的策展知识库非常庞大且不断增长,它驱动着Wolfram|Alpha。随着Wolfram语言的每次版本发布,我们逐渐将其融入语言的核心。

" _. j7 v: r! M) m
在版本12.0中,我们直接在语言中公开了数百种类型的实体:
  K# `% C6 J7 y7 @" }) o% g+ g# O
118.jpg
/ L, B5 G' |2 z: b$ Z8 M6 U8 [/ l9 j! p
在12.0版之前,许多类型实体记录在Wolfram|Alpha的示例页面。但现在所有这些都收录在Wolfram语言参考文档中心:3 Q: k0 W1 W  z& G6 V  ~
119.jpg - [8 g5 \1 {% j+ }6 \- I
仍有像SatelliteDataWeatherDataFinancialData这样的函数来处理通常需要复杂选择或计算的实体类型。但在版本12.0中,可以使用自然语言(“control+ =”)输入和“黄色框”实体和属性以相同方式访问每个实体类型:
120.png
, }% k4 S# m( a* }
( e$ ^: Y) U9 U9 }顺便说一句,人们也可以隐性使用实体,比如这里求具有最高已知熔点的5个元素:
* E# V7 l; n: @: q" ^9 h5 ~) p0 ^ 121.png 0 \! @& l2 \6 a5 o/ x& {8 a0 y6 h
并且可以使用Dated获取时间序列值:: w: q8 q  V) i& h/ j2 j0 h! v
122.png : H8 P0 j! h( [
与外部数据库的大数据集成

7 e+ U1 g6 J) i$ o6 G
使用Wolfram知识库中的内置数据非常方便。查询实体的相关属性非常方便:
( O9 N. J9 c. X, U  N  z8 t, u
123.png 6 N  K' c- z$ J( |$ v" I2 Q7 }

% P/ D- E7 [+ F. z! ]3 N" D
但是如果你有自己的数据怎么办?能否对它进行设置,使其可以像这样轻松地使用吗?版本11的一个主要新功能是添加了EntityStore,可以定义一个自己的实体类型,然后指定实体、属性和值。
! A$ g5 U8 ^3 J2 e
WolframData Repository 包含了一堆实体范例。这是其中一个:
/ e( `2 ]2 g% \& ]
00123.jpg
% `. R' k# }" z( ~' H& N$ T4 Z. @. \7 u% v& P2 [( Z+ h1 s: M
它描述了单个实体类型:“SWLibraryBook”。为了能够像内置实体一样使用这种类型的实体,我们“注册”实体存储:
125.png ! M5 Q  d/ J% i& {! v
现在我们可以做一些事情,比如要求10个类型为“SWLibraryBook”的随机实体:
9 d- u1 Y( ?* m7 `" V1 _5 G- z 126.jpg
  f& s9 k; F$ k' p9 j; h7 l) n实体存储中的每个实体都具有各种属性。这是一个特定实体的属性值数据集:( W1 P! o2 M, c, M) L  I* \
127.jpg
7 g& ~, Y/ s) k& f( b
通过这种设置,我们基本上是将实体存储的全部内容读入内存,这使得执行Wolfram语言运算非常有效。但是,对于大量数据而言,它并不是一个很好的可扩展解决方案- 例如数据太大而无法容纳在内存中。
. G/ m" i6 j% n
但什么是大数据的典型来源?通常它是一个数据库,通常是一个可以使用SQL访问的关系数据库。我们使用DatabaseLink软件包对SQL数据库进行低级读写访问已有十多年。但是在版本12.0中,我们添加了一些主要的内置功能,允许在Wolfram语言中处理外部关系数据库,就像实体存储或Wolfram知识库的内置部分一样。

3 U0 o: u6 P) C& ~* J
让我们从玩具示例开始吧。这是一个恰好存储在文件中的小型关系数据库的符号表示:
128.png
0 p1 ~' h6 Q6 ^9 w9 I我们立即得到一个汇总数据库内容的框,并告诉我们这个数据库有8个表。如果我们打开框体,可以开始检查这些表的结构:! X& H; s9 o7 o
, U( i6 n% x7 ]4 c- v& q/ r
00129.png
( L; i2 }/ Y+ O. t然后,我们可以将此关系数据库设置为Wolfram语言中的实体存储。它看起来与上面的库实体商店非常相似,但现在实际的数据没有被放内存;相反,它仍然在外部关系数据库中,我们只是在Wolfram语言中定义一个(“类ORM”)映射到实体:, u  Z0 I' |3 [: j4 c/ {' O+ _
129.png ) |& ^) J0 B$ A

. o4 z4 e6 K1 G* c$ |# C
现在我们可以注册这个实体存储,它设置了一堆实体类型(至少在默认情况下),以数据库中表的名称命名:
130.png 5 s2 r, X: D/ Z  y, G
% q, m% E5 R& M% p4 D+ ?0 Z8 z( ]
现在我们可以对这些实体进行“实体计算”,就像我们在Wolfram知识库中的内置实体一样。这里的每个实体都对应于数据库中“employees”表中的一行:
$ a% Y7 |! T) ?1 Q$ \3 J 00131.jpg * c: k0 M7 S# |0 C; a0 x
对于给定的实体类型,我们可以询问它具有哪些属性。这些“属性”对应于底层数据库中表的列:
/ Q9 }. ~9 I3 Z; v; J 131.jpg
/ [7 e& t+ }8 o4 t+ F( \& _5 |现在我们可以询问特定实体的特定属性值:
9 F( E" u: f7 q7 s 132.png ) t, [) D) [- ]+ ]+ y+ c
我们也可以通过给定标准来挑选实体; 在这里,我们要求“payments”实体具有“amount”(金额)属性的4个最大值:
$ W: ~# Y: v3 `0 B; [* x 133.png
  r, [; g3 z& e" j+ F3 j  u
我们同样可以询问最大金额值:
134.png
( F: P% ~: ^: g3 c. r' [# R1 W% S
; d! h9 W* E  r. {4 W2 W7 }, B& j* Y' m
但是在这里它变得更加有趣了:到目前为止,我们看见的是一个文件支持的小数据库。但我们也可以对外部服务器上的巨型数据库做同样的事情。
/ F( W1 n$ M0 c) {
例如,让我们连接到TB级的OpenStreetMap PostgreSQL数据库,该数据库包含几乎全部世界街道地图的数据:
  `; u$ T3 B0 v8 z  d
135.png
' Q$ p9 I5 }* ^0 D! M  I) ]和以前一样,让我们将这个数据库中的表注册为实体类型。像大多数野外数据库一样,结构中存在一些小故障,这些故障已被绕过,但会产生警告:
# y3 \" @  u) ?5 \% y  V 136.png
+ w, U; P+ F+ q3 P# |9 d8 w3 p
但现在我们可以询问有关数据库的问题,比如世界上所有街道上有多少个地理点或“节点”(是的,这是一个很大的数字,这正是数据库很大的原因):
137.png 9 G1 x+ ~/ A: W  g
. x  f) G" }5 _7 G
在这里,我们要求(101 GB)的planet_osm_polygon表中具有10个最大(投影)区域的对象的名称(是的,只需不到一秒):
9 c9 a+ ?0 }% U' y& Z# s 138.jpg $ \/ L  N* C3 m& I6 B
这一切是如何运作的?过程基本是这样,我们的Wolfram语言表示被编译成低级SQL查询,然后将其发送以直接在数据库服务器上执行。

, c4 j6 c. c1 R0 L/ Z
有时您需要的只是最终值(例如,上面的“amounts”)。但其他情况下,一些中间值也是需要的,比如以特定方式选择的实体集合。当然,这个系列可能有十亿个条目。因此,我们在版本12.0中引入的一个非常重要的功能是,我们可以纯符号式地表示和运算这些事物,仅在最后将它们解析为特定的事物。

( N  K) J- H" z) f+ c4 x/ r
回到我们的玩具数据库。下面这个例子可以说明我们如何通过聚合具有给定国家值的所有客户的总creditLimit来获得实体类别:
6 w, g; B/ A2 ]( d# o
139.png ) [1 ?8 h. \/ m: T7 E5 o
起初,这只是符号表示。但如果我们要求具体值,则执行实际的数据库查询,这样我们得到了具体的结果:
140.jpg

  @' Y/ I" u0 \有一系列新功能可用于设置不同类型的查询。这些函数不仅适用于关系数据库,还适用于实体存储以及内置的Wolfram知识库。因此,我们可以在元素周期表中询问给定周期的平均原子质量:
: z3 |6 t$ T) O' Y, B$ u 141.png ( o5 _0 [6 I8 P- q5 [' e
一个重要的新结构是EntityFunctionEntityFunctionFunction类似,不同之处在于其变量表示实体(或实体类),并描述可以直接在外部数据库上执行的操作。这是一个内置数据的例子,我们在其中定义一个“筛选”实体类,其中筛选标准是一个检验总体值的函数。该FilteredEntityClass本身只是符号表示,但EntityList实际执行查询,并解析(这里为未排序)实体的显式列表:' Z7 k! ^% N' p& r
00142.png   t4 Q% Z% A& o- i7 d
00143.png - Q  `' \! V3 }$ S! w* G
除了EntityFunctionAggregatedEntityClassSortedEntityClass之外,版本12.0还包括SampledEntityClass(用于从类中获取一些实体),ExtendedEntityClass(用于添加计算属性)和CombinedEntityClass(用于组合来自不同类的属性)。通过这些原语,可以构建“关系代数”的所有标准运算。
: N5 h; Q, q1 e
在标准数据库编程中,人们通常最终会得到一整片由“joins”和“foreign keys”等组成的丛林。我们的Wolfram语言表示允许您进行更高级别的操作,其中“joins”(连接)变为函数组合,而“foreignkeys”(外键)只是不同的实体类型。(但如果要进行显式连接,则可以使用CombinedEntityClass。)
7 b0 h. r+ a8 `2 a0 p7 ~# B
所有这些Wolfram语言结构都被编译成SQL,或者更准确地说,是与您正在使用的特定数据库相匹配的SQL的特定方言(我们目前支持SQLite、MySQLPostgreSQLMS-SQL,对OracleSQL的支持即将推出)。当我们进行编译时,会自动检查类型,以确保您获得有意义的查询。即使是相当简单的Wolfram语言规范也可能最终变成许多SQL行。例如,

" k+ L+ Z- E- ^% s 144.jpg
) b( y& I& J, J, P  y* @' R将生成以下中间SQL(此处用于查询SQLite数据库):1 x: s9 N. i6 U* ?4 @
145.jpg $ x& D$ h+ ?8 S  Z2 r" L
12.0版的数据库集成系统非常复杂,为此我们已经奋斗多年。这是朝Wolfram语言直接处理大数据中的“大”迈出的重要一步,并让Wolfram语言直接在TB级别的数据集上进行数据科学研究。比如查找世界上哪些街头实体的名字中有“Wolfram”:- h; n! Y4 z/ x4 p! Z
146.jpg
. B# e% y/ U, F) j/ v7 l$ m/ h9 ]$ d# X3 l( t
, P% A/ M9 o2 T3 D
. o2 u: x( l+ I5 c6 D: W& N

24.png (9.71 KB, 下载次数: 414)

24.png

124.jpg (42.87 KB, 下载次数: 412)

124.jpg

142.png (26.74 KB, 下载次数: 390)

142.png






欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) Powered by Discuz! X2.5