发布时间：2023-09-21

新产品和更新为航空航天、汽车及无线通信行业的工程师和研究人员简化基于模型的设计 中国 北京，2023 年 9 月 21 日 —— 全球领先的数学计算软件开发商 MathWorks 今天宣布，推出MATLAB® 和 Simulink® 产品系列版本 2023b（R2023b） 。R2023b 推出了两款新产品和几项重要更新，它们可为工程师和研究人员提供简化工作流的新功能。 ...

发布时间：2013-09-10

验证功能更加完善，小到快速查找缺陷大到验证嵌入式软件的高完整性 中国北京 – 2013 年 9 月10日– MathWorks 近日宣布引入两款新的代码验证工具以扩充其 Polyspace 产品系列：Polyspace Code Prover 和 Polyspace Bug Finder。此外，公司还于同时宣布推出 2013b 版。新增的这两款产品提供了端到端软件验证功能，...

发布时间：2010-10-20

MathWorks 今天宣布推出对其 Polyspace 嵌入式代码验证产品的改进，此类产品可以证明源代码中不存在某些运行错误。 Polyspace新特性包含了 指标网络控制面板（metrics web dashboard）、自动计划验证工作、电子邮件通知以及增强的代码指标支持，这些新特性使工程师能够选择并跟踪嵌入式软件质量的指标和阈值。这些改进帮助软件团队更好地定义质...

发布时间：2009-06-01

The MathWorks近日 宣布其 MATLAB、Simulink 以及 PolySpace 产品系列的 2009a 版本 (R2009a)面市。R2009a 包括对多核和多处理器系统的增强型支持的并行计算工具箱、覆盖汽车电子、控制系统优化和3D模拟和可视化的3个新产品、MATLAB 和 Simulink 的新功能以及其他90 多个产品的增强功能。 R200...