安全关键嵌入式软件建模与验证工具，用于航空、汽车、铁路等领域的控制软件形式化开发与自动代码生成图形化数据流与状态机建模形式化验证与模型检查符合DO-178C等标准的认证代码生成当前版本：R...

多媒体视频编辑软件，用于视频剪辑、特效添加、格式转换及光盘制作，面向家庭与半专业用户。视频剪辑与时间线编辑转场特效与滤镜音频编辑与混音视频格式转换与导出本版更新：改进编辑体验

多媒体幻灯片与视频制作软件，用于将照片、视频、音乐组合成带转场、动画和字幕的动态演示与影片。照片与视频幻灯片制作转场、动画与字幕特效音乐旁白与时间轴编辑当前版本：12.3.07

一款屏幕录制与直播推流软件，支持全屏、区域、摄像头及系统声音录制，适合教学演示、游戏录制和会议记录。屏幕录制：全屏、区域、窗口及摄像头画面音频录制：系统声音与麦克风混音直播推流：支...

开源多合一可启动U盘制作工具，无需反复格式化，直接将ISO等镜像文件拷贝至U盘即可启动，支持BIOS与UEFI。支持多镜像文件共存启动无需格式化U盘即可更换镜像兼容Legacy BIOS与UEFI双启动当前版...

工程行业电力配电网分析与仿真软件，用于建模、潮流计算、短路分析、保护协调及电网规划优化。配电网建模与拓扑编辑潮流与短路计算分析保护设备协调与弧闪分析当前版本：6.3

面向工程制造行业的计量器具与校准管理软件，用于量具台账、校准计划、MSA分析及合规追溯。量具台账与校准计划管理校准记录与历史追溯MSA测量系统分析当前版本：8.7

适用于Windows PE环境的服务器数据备份与灾难恢复软件，支持磁盘镜像、克隆及裸机还原，保障系统与数据安全。磁盘镜像备份与还原服务器裸机灾难恢复WinPE启动环境支持当前版本：8.1.7378

三维建模、动画与渲染软件，用于游戏、影视、建筑可视化和产品设计中的资产创建与视觉表现多边形建模与修改器堆栈动画关键帧与角色绑定Arnold渲染与材质编辑当前版本：2024.2

磁盘克隆与迁移软件，用于系统盘克隆、硬盘升级、分区备份还原及WinPE启动盘制作磁盘克隆与系统迁移分区备份与还原创建WinPE启动盘当前版本：5.5.2.1