黄牛号贩子跑腿代挂号（13241153586）微信需要挂号联系客服（13241153586）各大医院服务项目！专家挂号，办理住院加快．检查加快，产科建档，指名医生挂号北京，上海，南京，天津．广州，各大医院代挂号

文|中国军号记者 楚亚楠

国防科技大学一号院，林荫路，王戟摇着轮椅/计算机学院 供图

从出生的年月日算起，人的一生，由数字铺就。

王戟的前43年，是一路向上的数字阶梯：不到14岁考入国防科大，33岁升任教授，38岁获评国家“杰青”。

43岁那年，阶梯骤然断裂。

另一串数字，重新定义了他的人生。

0.2平方米有多大？

三张A4纸并排铺开，几乎盖住王戟的轮椅坐垫。坐垫正中陷着一个松垮的坑，再也弹不回去。

王戟的双肘长年抵着轮椅扶手边缘，黑色皮面皲裂翻卷，磨出一道半指宽的浅白印子，像一条看不见的边界线。

线以内是他余生的战位。探身、伸胳膊，要在心里计算好角度、距离，才够得到身边的论文和书本。

线以外是43岁前步履如风的王戟：二楼的实验室，他三步并两步就能跨上去；连轴熬几个夜，脚步照样轻快。

王戟的轮椅，扶手皮面皲裂翻卷/中国军号 李欣侗 摄

当年人人称羡的青年英才，心里憋着一股劲：要做中国自己的高可信软件。

什么是高可信？

“可靠”不够，要“可信”——再确切一点，是“高可信”。

软件像人一样会生病。一行从未被触发的错误指令，能让新型舰船在风浪中失去动力；一个深埋的系统缺陷，足以让航天测控在关键时刻丢失目标。信息化战争中，软件一旦不可信，后果就是灾难。而要让软件绝对可信，就需要一位能看穿代码灵魂的人。

王戟，就是这个领域里的“软件良医”。

图书馆，王戟翻阅资料/范军威 摄

当外界追逐着算力的浪潮、硬件的迭代时，他几十年如一日，坚守在高可信软件技术这条“冷门硬核”赛道上。他手中的“诊疗器”，是他耗尽心血锻造的高可信软件工具集。这套器具治的不是寻常病痛，而是深埋代码中的点点病灶。

上个世纪末，国内对高可信软件技术的研究几乎一片空白，是王戟和导师陈火旺院士率先提出这一概念。后来，他在国防科大开了国内第一门课，教材是他写的，标准是他定的。在那些攸关生死的重大任务前，他的那句“没问题”，就是让人放心的“定心丸”。

那时候，他的战场铺得无限远。

一夜间。

43岁的王戟，永远失去了双腿。

从此，他的战位，收缩在了只有0.2平方米的轮椅之上。

偶尔有人在身后喊他名字，王戟的肩背猛地一紧，像要抬步转身。

下一秒，右肘重重磕回那道浅白印子上。

很稳，也很疼。

147天，于旁人是5个月的光阴流转，对王戟而言，是21万余分钟的黏稠停滞。

他是被闷疼拽醒的。

钝重的痛感从骨缝里渗出来，一下一下漫过周身。监护仪滴答响。

最先察觉的异常，是身子轻了。

被子覆盖的轮廓，缺了一块。

手慢慢探下去——纱布，床单，没有了。

那一夜，血管从胸口直撕到腿根。手术叠着手术。

2013年1月24日，主动脉置换；

1月25日，左小腿切开减压；

2月1日，双下肢截肢；

3月11日，再次右下肢截肢……

4月10日、17日、26日，清创、清创、清创……

一次，两次，七次，十次。数到后面，便记不清了。

一个军人，站不起来了。

不满14岁踏入军校，21岁披上戎装，王戟近半生的科研攻坚，始终是站着走过来的——他站在队列里，站在讲台上，站在科研阵地上。

站，是烙进身体的本能，是他守了半辈子的军人本分。

可此刻，他陷进病床的白色被褥里，下意识想并拢脚跟，却成了一具找不到支点的躯壳，再也摆不出笔挺的军姿。

右手上的留置针换了又换，针孔叠着针孔。

这双手曾在键盘上敲出千万行代码，指尖落下就是军用核心设施的一块压舱石；如今连攥紧一支笔的力气都没有。

从前他是追时间的人，如今时间成了最沉的枷锁。

监护仪的滴答声一秒一下，砸在耳膜上，像没有尽头的钟。他试过数着声响入睡，醒过来才发现，只过去了几分钟。

王戟的眼倏地红了，他没说什么，只叹了口气。很轻。

北京博爱医院康复治疗期间，王戟在病床上工作/资料照片

清醒的日子多了，他先要来学生的论文逐字改，又翻起医书，问药名，问指标，问术后恢复的每一处细节。

王戟这辈子都在破解科研难题，这一次，他想破解自己的身体。

他还想站起来。