电影一区二区三区_亚洲激情二区_亚洲欧洲成人av每日更新_91超碰国产在线

設為首頁網站地圖加入收藏

首頁
新聞
新品
文庫
方案
視頻
下載
商城
開發板
數據中心
在線座談
培訓
工具
博客
論壇
百科
GEC
活動
主題月
萬花筒

應用開發

VR/無人機| 智能照明| 智能家居| 工業自動化| 測試測量| 人工智能| 碳化硅/氮化鎵| 智能電源及能源| 智能可穿戴| 智能手機| 智能醫療及看護| 通信及物聯網| 智能交通及汽車

↓在 博客日志 中搜索到 3 條關于“Polyspace”的信息，用時:0.001 sec.

MathWorks 發布2013b版MATLAB和Simulink產品系列

MathWorks近日宣布發布2013b版(R2013b)的MATLAB和Simulink產品系列。在R2013b版的MATLAB和Simulink中不僅新增了分析、設計、代碼生成和實現以及其他功能，同時該版本還新添了兩款Polyspace產品以及其他79款產品的更新。這一版本的技術亮點如下：MATLAB產品系列● MATLAB：提供了適用于混合類型的表格數...
2013-09-10

MathWorks發布MATLAB和Simulink產品系列R2013a

MathWorks 今天宣布發布MATLAB和Simulink產品系列的2013a 版本（R2013a）。該版本的新特點是引入 Fixed-Point Designer，它結合了Fixed-Point Toolbox 和Simulink Fixed Point 的功能。還包含Phased Array System Toolbox 和SimRF內的功能，增強了無線和雷達通信系統設計。R2013a 還更新了80 種其他產品...
2013-04-02

高可靠性飛行代碼的自動化驗證技術

從仿真模型自動生成代碼是基于模型設計中的關鍵開發環節，可實質性地減少開發團隊手寫代碼所花費的時間和工作量。要想成功開發高性能的嵌入式系統，就必須生成非常高效的代碼。代碼效率目標包括內存使用的最小化和執行速度的最大化。要想成功部署軍用和國防系統，還需要嚴格的代碼驗證能力。代碼驗證目...
2012-12-10

關鍵字搜索分類查看

新聞(5)

新品(18)

技術文章(1)

論壇帖子(2)

博客日志(3)

主站蜘蛛池模板：通城县| 新兴县| 池州市| 西峡县| 大同市| 哈尔滨市| 铜梁县| 芮城县| 龙江县| 康平县| 西城区| 上高县| 西峡县| 兰西县| 镇平县| 阿尔山市| 额敏县| 桂阳县| 金华市| 潮州市| 平阴县| 阿拉善左旗| 凤城市| 霍山县| 章丘市| 浏阳市| 嘉定区| 夏邑县| 都匀市| 来凤县| 顺义区| 兴城市| 镇江市| 行唐县| 秀山| 馆陶县| 砚山县| 灌阳县| 营口市| 长治市| 平果县|