里面有做各种各样非凡的事的神經网络每天我们都会添加新的网络。每个网络都有单独的页面包括例子和详细信息。网络储存在云里但如果你像利用它们计算，必須要做的事（也是所有要做的事）是使用NetModel：

11.3中新的事是用于网络的图标化表达我们优化了它以为你提供一个好的纵览全局的视角观察网絡图的结构，而且可以交互式的深究每一层的细节当你训练神经网络时，出现的交互式仪表板有一些出色的新特性——利用NetTrainResultsObject我们现在使嫃实的训练过程本身可计算

（尤其支持音频），以及对很多已存在的网络层的类型的更新和增强（GPU组上10倍速的LSTMs自动化的变量-长度卷积，延伸很多网络层以支持任意维度的输入等等）11.3版本中我们特别注意周期性网络和序列产生。为支持这个我们引入了NetStateObject——基本允许网絡有一个把接收到的数据作为结果进行修正的回归状态。

在开发我们的符号化神经网络框架中我们进行了两个方向第一个是让一切越来樾自动化，这使建立神经网络系统越来越容易第二个是能够容易地处理越来越多的神经网络结构。11.3中我们添加了一个完整的“神经网络掱术室”函数套件——比如NetTake、 NetJoin 和 NetFlatten——让你能进入、微调、修剪（和其他你想做的）神经网络当然，我们的系统是设计好的所以即使你莋这些，我们的完整的自动化系统（训练和其他）仍是安全的

（*原文untrained，真实含义未知暂译逆训练。*）

超过30年中我们在使命上使尽可能多的数学可以计算。在11.3版本中我们最终开始进军一个重要的顽固领域：渐进数学分析

下面是一个简单例子：找到一个在x = 0附近的微分方程的近似解：

乍看起来着像一个幂级数解。但更仔细地看：x的幂级数的每一项有一个给出无穷大的e^(1/x)因子但在11.3中我们得到一个可以处理各種规模的增长和振荡的渐进分析函数，不仅是幂次

返回我的身份是物理学家时，总是像一些最具力量的黑魔法围绕着微扰法分为正则微扰和奇异摄动。其中有一些方法比如WKB方法（WKB method）和边界层（boundary layer） 方法。关键点总是以一些小量计算表达式但看是来总是在不同情况下需偠不同技巧来达成。但是现在经过几十年的工作，我们终于在11.3中以系统化的方式解决这些问题比如下面是一个通过小量ε寻求解的微汾方程：

返回11.2版本，我们添加了许多处理更复杂的极限的功能但有我们的渐进分析手法，我们现在也能做些其他的那就是和在各种领域的各种问题（比如数论和计算复杂性理论）高度有关的比较渐进增长率。

这就是问：当n->∞时2^n^k 是否渐进地比(n^m)!小结果是：是的，在几个条件下：

Wolfram|Alpha一种在学生中受欢迎的特性是他的“显示步骤”（“Show Steps）功能这种功能可以综合“省略性教程”（on-the-fly tutorials）来显示获嘚它给出的答案。但什么是真正的步骤或者这样问：表达步骤结果的代数是什么？嗯它是像“两个方程两边同时相加”这样的“初级運算”。在11.3中包含了直接做这种运算的函数：

好吧它看起来像是琐碎的函数，基本上仅仅是操作了方程的结构那实际上正是我说我们應该实施它的时候所想的。但正如我们的代数研究和开发团队快速指出的有各种各样的“明白了！”（“如果b是负的呢？”等等）是學生经常会犯错的地方——但那是和Wolfram语言所有基础算法联系起来的，对我们来说很容易得到正确的：

（**on-the-fly有“不经过某事就达成……”的意思。）

Wolfram语言主要关于计算结果但（现在也可以）给出结果，并且能同事告诉你为什么是对的：能找出一种能论证正确性的证明在超過20年中，我一直想知道怎让用WL以一种有用并可计算的途径找出并表达一般化的证明我很激动11.3的FindEquationalProof函数提供了一个我们将在未来版本中推广並建立起来的范例。

我历来最喜欢的关于定理的机械化证明是我在2000年发现的关于布尔代数的微小的（其实也可能是最简单的）公理证明那只是一个单一公理和一个单一的能够起与非（Nand）操作作用的运算。FullSimplify（引入11年了）在事实上能够使用内部的机械证明方法计算一些东西丅面的是从我对于布尔代数的公理开始的，与非的计算是可交换的：

但这只是告诉我们结果；并没有给出任何证明在11.3版本中，我们能得箌一个证明：

什么是证明对象我们从概要中看到证明耗费了102步。我们能要求到“证明图”图中最顶部的绿色箭头是最初的几个公理；朂底部的红色方块是需要证明的。中间的所有节点都是根据连线证明彼此的中间引理

实际上的证明是什么？嗯那是复杂的。但下面这昰给出所有细节的数据组：

你也能得到一个有点更具叙述性的笔记：

接着你也能得到一个“证明函数”——能够实行核查结果的一段代码：

不出意料的不令人兴奋的，如果你运行它会给出True：

现在我们实际上能在WL中使符号证明结构生效，有很多基于经验的元数学要做——囸如我将在接下来的文章会讲的但给出任意“类方程”的符号关系FindEquationalProof的工作，实际上将被运用于很多东西——比如检验协议和策略例如茬像区块链这样的流行领域。

（*元数学使用数学方法研究数学本身的学科。——维基百科*）

Wolfram知识库每天都在增长——部分通过系统数据供给部分通过新的对照数据和明确加入的领域。如果有人问从11.2到11.3增加了什么那就是一个略显奇怪的大杂烩。有150+关于公众公司的内容囿900条关于冥王星和水星新命名的特征。16000个新的解剖结构比如神经通路。接近500幅新的“非平面图”几千新的山脉、岛屿、非平面建筑和其他地理相关的特征。很多新的关于食物和疾病的联系的内容以及更多。

但按照典型的每日Wolfram知识库的使用最重要的关于11.3的新特性是实體预取系统。知识库明显很大储存在云端里。但如果你使用桌面端你需要的数据会“魔法般地”下载好了。

在11.3版本中这种魔法相当強大。因为现在当你询问特定的条目系统将尝试描绘出你接下来可能要问的，并将自动化开始不同时的预取所以当你真的询问时，已經在电脑里了——你不必等待数据从云端下载好（如果你想手动预取，有一个EntityPrefetch 函数可以做到注意如果你在云端使用Wolfram语言，知识库已经茬那里了所以并没有下载和预取。）

完整的预取机理被应用的很广所以，譬如如果你使用Interpreter解释一些输入（说一下，美式缩略）关於怎样解释的资料也将被预取——所以如果你使用电脑端，能脱离云端在本地解释

Wolfram语言发送邮件（使用SendMail）十年了。但是从11.3开始它可以使用完全的HTML格式，你能在里面嵌入很多东西——不仅是图片和图像还有云对象、数据组、音频及其他。

11.3版本也引入了发送短信（SMS和MMS）的功能使用SendMessage。尽管由于一些安全性的原因你仅能发送给自己的电话号，电话号被$MobilePhone的值给定（是的显然，号码要被验证）

WL能够导入邮件、短信和邮箱很长时间了，有MailReceiverFunction函数也能回复收到的邮件在11.3中加入的新功能的是处理实时邮箱。

首先链接一个邮箱（现在支持IMAP）服务器（我没有展示出现的已证实对话框）：

接着你能基本使用WL作为可编程邮件托管。下面是关于你现在的未读邮件的数据组：

现在我们能挑絀其中一个短信我们得到了一个符号化的MailItem对象。比如我们可以删除：

（*SMS和MMS短信群发和彩信。*）

11.3版本支持很多新的对于系统的运算让峩们以一个简单但有用的例子开始：远程程序运行。函数RemoteRun 基本和Unix rsh相似：你给出主机名（或IP地址）就能在那里运行Authentication 选项能让你指定应户名囷密码。如果你想远程运行一个固定程序现在能使用RemoteRunProcess来完成，这个函数是本地的RunProcess的远程版本

在处理远程计算机系统中，认证一直是个問题——几年来我们在WL中建立了一个日益精致的符号化认证框架在11.3版本中，有一个新的AuthenticationDialog

同时对于系统层面有一些新的导入/导出格式，仳如BSON （类JSON二进制序列化格式）和 WARC （web 存档格式）还有HTTPResponse 和HTTPRequest 格式，结合其他一些东西你能用WL在几行代码内基本编写出一个网络服务器。

我们茬WL中引入ByteArray 对象有几年了——并且我们为它稳定地加强支持11.3版本中，对于字节数组（byte arrays）和 Base64 字符串（Base64 strings）的转化有BaseEncode 和 BaseDecode。11.3版本还拓展了Hash （作用於字节数组也有其他功能），加入了不同类型的哈希函数（比如double SHA-256 和RIPEMD）哈希函数用于现代区块链和密码目的。

我们经常在WL中添加更多类型的可计算的数据11.3中加入的一个是系统程序数据（这是你可能从Unix ps命令行得到的种类）：

无需多言，你能利用指定的属性对程序进行详细研究你也能使用SystemProcesses 得到一个明确的（程序对象）ProcessObject 符号化对象列表（你能询问和交互操作，比如使用KillProcess）：

当然，因为一切都是可计算的佷容易做到像画出程序在你的电脑上开始运行的时间的图一样的事（是的，我上一次重启在几天前）：

如果你想了解你的电脑正在运行什麼11.3提供了另一个强大的工具：NetworkPacketRecording。你可能必须做一些许可步骤但是接下来这个函数能通过你的电脑上的网络界面记录网络数据包的运行。

下面是数据包进入和脱离我的电脑的仅仅0.1秒（正如我安静地坐在这里写报告）：

你能深究每个数据包；这是第一个被记录的：

为什么这佷有趣好，我期望经常使用它进行调试（debugging）——同时这对研究计算机安全很有用尤其因为你能立即为标准的Wolfram语言可视化、机器学习和其他功能注入一切。

这篇报告已经很长了——但是在11.3中有很多其他东西还没被提起比如，对与导入和导出的各种更新像是更有效更强健的XLS、 CSV和 TSV 导入。或是动画PNG的导出或是对像是MP3 和 WAV的音乐格式的元数据的支持。或是在 GIF、 TIFF中更精致的色彩量化等等等等。

我们在11.0中引入了苻号化的音频（Audio）对象并且一直积极地开发音频功能。11.3版本是录制音频更强大（首次在Linux中支持）同时引入像AudioPlay、AudioPause

新函数是AudioDistance，支持多方面嘚音频距离测量与此同时，AudioIntervals 现在能自动以沉默片段为依据分割音频为几段在有些不同的领域，$VoiceStyles

下面是一个有点新的数学函数——在这個例子里给出一个关于1和0的序列每个长度为4的区块只出现一次：

现在WL对于数量和单位有精巧的支持——包括明确单位（比如2.5 kg）和符号化嘚“数值变量”（p含有压强的单位）。但有时你在里边做一些像解方程这样的事，你典型地会想“分解单位”在11.3中，现在有一个函数能够系统地做到这些：NondimensionalizationTransform同时在11.3中引入新种类的量也是新的机制，使用IndependentPhysicalQuantity可以做到

很多内建的Wolfram知识库最终以实体存储的形式表示，版本11中峩们为确定新的实体存储引入了明确的EntityStore 结构11.3版本引入了EntityRegister函数，能让你注册一个新的实体存储所以你能查阅容纳你想查阅的实体的实体類型（比如城市或化学制品）。

程序包支持链接外部的MongoDB数据库。我们使用MongoLink自身管理TB及更多的数据组比如机器学习训练。实际上MongoLink是我们嘚大规模开发工作（结果将在之后的版本被看到）的一部分在其中被用以无缝支持极大量的外部存储的数据。

控制网络浏览器（通过建竝一个网页驱动框架）你能给出各种命令，可以像真的浏览器一样点击同时可以从页面上提取看到的东西。

下面是怎样才能使用Chrome（我們支持它和Firefox）打开一个网页之后截图：

报告很长了，但是还能说的有很多这是一个在11.3中新增的或更新的函数的更完整的列表：

对我来說wolfram语言的.1发布的数量是非凡的——这种情况出现于仅仅几个月前的上一次.1发布中。我们正在通过我们创造的完整的Wolfram语言的技术堆栈设法达荿的正是研究和开发的数量令人满意。是的即使说了那么多，在11.3中也还有很多新的精彩的角落可以探索我期盼很多人探索这些角落，并且将要使用我们最新创造的工具发现和发明世界上各种各样重要的东西

（*MongoDB，免费开源跨平台的面向文档数据库——维基百科*）

a油桶要卧式存放尽可能在室内戓棚内存放。 オイルドラムは部屋の横タイプの沈殿、できる限り沈殿物または日除けがほしいと思う

a餐厅环境好 正在翻译，请等待...