王戟，永不折戟！
不满14岁上大学，33岁当教授，30年如一日扎根“冷门硬核”赛道，拿下军事科学技术进步奖一等奖，获评“全国自强模范”——这份履历，怎么看都“耀眼”得不像话。但更让人动容的是，这位军人因病高位截肢，却依然坐在轮椅上冲锋。他就是国防科技大学计算机学院研究员王戟，日前被中央宣传部授予“时代楷模”称号。 小
不满14岁上大学，33岁当教授，30年如一日扎根“冷门硬核”赛道，拿下军事科学技术进步奖一等奖，获评“全国自强模范”——这份履历，怎么看都“耀眼”得不像话。但更让人动容的是，这位军人因病高位截肢，却依然坐在轮椅上冲锋。他就是国防科技大学计算机学院研究员王戟，日前被中央宣传部授予“时代楷模”称号。
小时候，王戟常跟着父亲进厂房。设备旁，工程师们一遍遍推演数据、破解难题，那画面深深印在他脑子里。那时候，一个孩子还不懂什么叫“报国”，但“为国家做事”的样子，早早留在了记忆里。
王戟打小就喜欢数学应用题，母亲跟他约定：题目全做对了，才能出去玩。别人觉得“水池一边进水、一边放水，多久才能蓄满？”这种题绕人，他却享受把条件一层层拆开，直到找到答案的过程。
1983年，我国第一台巨型计算机“银河-I”研制成功，中国成为世界上第三个能独立设计制造亿次巨型机的国家。那一年，不满14岁的王戟考入原国防科学技术大学，跟随第一代“银河人”，开启了计算机软件研究的征途。1995年博士毕业后，他选择留校工作。
上世纪末，一场局部战争中，某外军装备因软件系统计时失效，造成大量人员伤亡。1996年，国外的某型火箭首飞升空约40秒后，因软件缺陷失控爆炸。这些惨痛教训，让一个迫切的问题浮出水面——随着我军加快由机械化向信息化转型，怎样让装进大国重器的每一行代码，在关键时刻都靠得住？
世纪之交，国内高可信软件领域几乎还是空白。面向国家和军队安全需求，王戟一头扎进这条“冷门硬核”赛道，一干就是30多年。他与导师在国内率先提出“高可信软件技术”概念，带领团队闯出了一条自主可控的新路，让这项技术从实验室走进多项重大装备，为保障航空航天、重大武器装备等领域关键软件安全可靠作出了重要贡献。王戟还在国内首开相关课程，把这一国际前沿理论引入研究生课堂。
2012年10月，一通来自航天工业部门的紧急电话打到王戟办公室。系统联试中，出现了毫无规律、随机出现的数值问题，它像藏在数万行代码里的“幽灵”，没人知道何时出现，更无法预判后果。
王戟和团队接下任务。现有软件工具效率不足，他提出改用一种团队并不熟悉的函数式语言。两个月后，团队从零啃下了这门陌生的编程语言。
33岁当教授，38岁获国家杰出青年科学基金，斩获国家科学技术进步奖二等奖以及多项省部级奖项……然而，全速向前的王戟怎么也想不到，命运突然给了他一记重锤。2013年，他正在核心关键研究领域奋勇攻关，突发主动脉夹层。历经13小时的抢救，他保住了性命，却永远失去了双腿。近半年重症监护、10余次手术，一页页写满“昏迷”“大出血”“坏死”字样的报告单，让王戟的人生被按下了“暂停键”。
突如其来的重大变故没有压倒王戟。术后没多久，他就在病房里翻资料、做课题。“只要我的脑子好使，手还能用，就不会停下来！”
2015年，坐在轮椅上的王戟重返教学科研一线。他牵头申请了“某国防973项目”并担任技术首席专家，带领团队攻克众多难关。2024年，王戟再次病倒在课堂上，因肾脏衰竭，他每周需进行多次血液透析。从此，他开启了“病房-实验室-教室”三点一线的工作模式。
即便如此，王戟也未放慢科研的步伐。2025年，经过“十年磨剑”，“某国防973项目”相关成果获军事科学技术进步奖一等奖，为诸多国家战略工程和军队新质战斗力生成提供了坚实支撑。同年，王戟被授予“全国自强模范”称号。他曾说：“我珍惜我的第二次生命，我也希望在我第二次生命里头，做出我应有的一些贡献。”
这些年来，王戟主持、参与国家和军队重大重点项目或课题20余项，先后获军队院校育才奖金奖、国家杰出青年科学基金……失去双腿的他虽无法在讲台上站立，但依然在科研高地上耸立，带领团队取得多项达到国际先进水平的创新成果。
从1995年留校任教至今，王戟累计培养硕士、博士120余人，多人已成为国内高可信软件技术领域的骨干力量。
王戟说：“我们‘高可信软件技术’保障对象是大国重器、国家的基础设施。我希望能够在自主创新的道路上，取得更加显著的成绩，更好地满足强军兴国建设的需求。”前方，还有新的难题等待攻克；身后，已有一批年轻人接续出发。这条路，王戟还在走。这份“可信”，也将随着一代代科研工作者，奔向更远的深蓝，托举更高的苍穹。轮椅冲锋，为国铸盾——致敬！
WPS Office是一款面向macOS用户的综合办公套件，将文字处理、电子表格、演示文稿、PDF工具、模板与云协作整合在同一应用中。它兼容常见Microsoft Office格式，支持Intel及Apple芯片Mac，基础功能可免费使用，
Shapr3D是一款面向工业设计、机械工程、建筑概念和三维打印工作流的CAD软件。Mac版采用Parasolid建模内核，支持草图约束、实体建模、工程图、可视化渲染及常见CAD格式交换，并可通过账户在多台设备之间同步项目。
REAPER是Cockos开发的数字音频工作站，提供多轨音频与MIDI录制、剪辑、处理、混音和母带制作工具。Mac版兼容Intel与Apple芯片，支持AU、VST、VST3、CLAP等插件格式，并提供高度可定制的工作流程。
Ableton Live 是面向音乐制作人与现场表演者的数字音频工作站，提供编曲视图、独具特色的现场视图、音频录制、MIDI创作、实时变速、乐器及效果器。Mac版原生支持Apple芯片，并可连接音频接口、MIDI控制器和第三方插件。
Adobe After Effects 是面向动态图形、影视特效与视频合成的专业创作软件。它提供关键帧动画、遮罩抠像、运动跟踪、三维空间、文字动画和表达式等工具，并可与 Premiere Pro、Photoshop、Illustrator
Adobe Audition 是面向播客、影视后期、音乐制作及内容创作者的专业音频工作站，提供波形精修、多轨录制与混音、频谱编辑、降噪修复、响度匹配和效果处理工具，并可与 Adobe Premiere 协同完成视频声音制作。
Adobe Bridge 是面向摄影师、设计师及内容团队的免费数字资产管理工具，可集中预览照片、视频和 Adobe 项目文件，并利用评级、标签、关键词、元数据、筛选与收藏集完成分类检索。它还支持批量重命名、格式导出、相机导入及 Camera
Adobe Illustrator 是 Adobe 推出的专业矢量图形设计软件，适合在 Mac 上制作标志、图标、插画、包装、信息图及印刷版面。它以路径和锚点构建可无损缩放的图形，并提供钢笔、形状、文字、图像描摹、渐变、画板及生成式功能。
Adobe InDesign 是面向印刷品与数字出版物的专业版面设计软件，可在 Mac 上制作书籍、杂志、宣传册、海报、报告及交互式文档。它提供精细的文字样式、网格、母版、长文档管理和印前输出能力。
Adobe Lightroom Classic 是面向桌面摄影工作流的照片管理与后期处理软件，可将原始照片保存在本地硬盘，通过目录、关键词、评分和收藏夹高效整理图库，并提供 RAW 冲印、蒙版、镜头校正、批量同步及多格式导出等功能。
Adobe Media Encoder 是 Adobe 推出的专业音视频编码与转码工具，可通过队列、预设和监视文件夹批量完成格式转换、代理文件创建及多平台成片输出，并与 Premiere Pro、After Effects 等软件紧密协作。
Adobe Photoshop 是面向摄影师、设计师和内容创作者的专业图像处理软件，提供图层、蒙版、选区、修复、调色、文字排版、智能对象及生成式编辑等能力。Mac 版支持 Intel 与 Apple Silicon 处理器。
Adobe Photoshop 是面向摄影师、设计师和内容创作者的专业图像处理工具，可在 Windows 上完成照片修饰、选区抠图、图层合成、文字排版、绘画及生成式编辑。软件采用订阅授权，由 Creative Cloud 管理安装、更新与许
Adobe InDesign 是面向印刷与数字出版的专业页面排版工具，可制作书籍、杂志、宣传册、海报、交互式 PDF 和电子书。它提供精细的文字样式、多页面管理、印前检查及多格式输出能力，并能与 Photoshop、Illustrator
Adobe Illustrator 是用于绘制矢量图形、插画、图标、徽标和版式的专业设计工具。它以路径和锚点为核心，作品放大后仍能保持清晰，并提供画板、文字、渐变、图像描摹及精确变换等功能，适合品牌视觉、印刷物料、数字界面和商业插画创作。
Adobe Bridge 是 Adobe 推出的创意资产管理工具，可集中预览、分类和查找照片、视频、PDF及多种设计文件，并支持元数据、关键词、评级、批量重命名和格式导出。它可与 Photoshop、Illustrator 等应用衔接，
Affinity Photo 是一款面向摄影师、修图师和视觉设计人员的桌面图像编辑工具，提供 RAW 显影、多图层合成、蒙版、实时滤镜、批处理和色彩管理等功能。原独立产品已停止销售，其照片编辑能力已延续至免费的新 Affinity 应用；
Adobe Lightroom Classic 是面向 Windows 桌面摄影工作流的照片管理与无损编辑工具，可通过目录集中整理大型图库，并完成 RAW 显影、局部蒙版、批量调整、打印和多格式导出。它强调本地文件管理与精细控制，
Figma 是面向产品设计与开发团队的云端协作平台，可在 Windows 桌面客户端中完成界面绘制、组件管理、交互原型、评论评审和开发交付。文件保存在云端，多名成员能够同步编辑并共享设计系统；官方同时提供免费 Starter 方案及按席位计
Affinity Designer 是面向矢量图形、数字插画和界面设计的专业创作工具，可在矢量、像素与导出工作区之间快速切换。它提供曲线编辑、形状构建、画板、排版、图层和专业色彩管理，并支持常见设计文件的导入及多种印刷、网页格式输出。
Capture One Pro 是面向摄影师和影像团队的专业桌面照片处理工具，提供相机定制色彩配置、RAW转换、图层与蒙版、联机拍摄、目录及会话管理等功能。它适合棚拍、人像、商业产品、婚礼和风光摄影，
Adobe Acrobat Pro 是面向专业 PDF 工作的综合解决方案，可在 Windows 中创建、编辑、转换、比较、整理和保护文档，并支持表单、电子签名、扫描件文字识别及敏感信息永久遮盖。订阅还包含网页、移动服务和云端协作能力，
Adobe After Effects 是面向动态图形、动画与影视视觉特效制作的专业工具，可完成关键帧动画、图层合成、遮罩跟踪、抠像、文字动画和二维三维元素整合。Windows 版通过 Adobe Creative Cloud 安装及更新，
DaVinci Resolve是Blackmagic Design推出的一体化影视后期工具，将素材管理、非线性剪辑、专业调色、Fusion视觉特效、Fairlight音频处理和成片交付整合在统一工程中。免费版已覆盖多数个人创作需求，