因为是访问国外网站，所以从Matalb的附加功能资源管理器下载大的附加功能包，网速非常慢，而且常常下载失败。

针对这个问题，可以先只下载安装包，下载好后手动安装，而且下载安装包可以备不时之需。

下载完安装包，除了archives 资源文件夹，还会有一个指导安装文件readme.txt。反正根据这个指导安装文件我没有安装成功，捣鼓了很久，查找很多资料一直安装失败。

根据它的提示发现一种，超级简单的安装方式。

步骤如下：

我的Matlab默认下载路径是这个：C:\Users\linga\Downloads\MathWorks\SupportPackages\R2020a  必须的是默认的下载路径。不知到自己默认下载路径的，可以到附加功能资源管理器，搜索要安装的包，然后下载它，当它跳出下载路径，然后点默认路径，这样就知道Matlab默认的包下载路径了，然后取消下载。

到安装目录下：D:\Program Files\Polyspace\R2020a\bin\win64找到下面这个应用程序。

 运行它，它会自动找到安装包，然后勾选要安装的包进行安装即可。