Polyspace的模块介绍

### Polyspace 安装教程 #### MATLAB 中集成的 Polyspace 工具包安装 对于希望在 MATLAB 环境下使用 Polyspace 的用户来说，最简便的方法是通过 MathWorks 提供的标准安装流程来获取 Polyspace。通常情况下，Polyspace 作为附加产品随同 MATLAB 发布版本一同提供。 当安装 MATLAB 版本（如MATLAB R2020b）时可以选择性地加入 Polyspace 组件[^2]。具体操作如下： - 启动 MATLAB Installer 并按照向导逐步完成基本设置。 - 在组件选择界面勾选 `Polyspace` 相关条目以确保其被纳入此次安装计划之中。 - 设置目标目录，默认会将所有资源放置于指定根路径下的相应子文件夹内，例如 `D:\R2020b\toolbox\polyspace`。 #### 单独下载并配置 Polyspace 如果已经拥有独立授权或许可证，则可以直接访问官方网站下载最新版 Polyspace 应用程序，并依照官方文档指示执行本地部署工作。这一般涉及以下几个方面的工作： - **许可证管理**：确认已准备好有效的网络浮动许可或节点锁定许可文件(.lic)，以便激活 Polyspace 功能模块。 - **环境变量设定**：为了使命令行工具能够识别 Polyspace 所需库的位置，在系统级别上定义必要的 PATH 和 LM_LICENSE_FILE 变量指向正确的地址[^1]。 ```bash export PATH=$PATH:/path/to/polyspace/bin export LM_LICENSE_FILE=/path/to/license/file.lic ``` - **启动与初始化**：首次运行前可能还需要经历一次性的初始化过程，比如创建默认项目模板、调整全局偏好选项等。可以通过图形界面或者批处理脚本来简化这一环节[^3]。