软件先容

嘿嘿嘿使用指南

第一步：导入文件

翻开软件，，，，点击"?添加 嘿嘿嘿"按钮，，，，从电脑中选择《嘿嘿嘿》文件，，，，或直接将其拖拽至软件界面中。。。。

第二步：设置剖析

软件会自动识别并剖析导入的文件，，，，您可凭证界面提醒选择所需的生涯路径或下载名堂。。。。

第三步：最先下载

确认无误后，，，，点击"最先下载/处理"按钮。。。。期待进度条读取完毕，，，，即可在设定的文件夹中审查下载好的正版文件。。。。

在轮椅上继续冲锋——“时代楷模”王戟的信心和坚守，，，，嘿嘿嘿

不满14周岁考入大学、33岁评为教授、38岁获国家优异青年科学基金、高位截肢近13年、每周透析3次……

这些数字有国防科技大学盘算机学院研究员王戟人生中的高光时刻，，，，也有被运气打碎又重新拼合的坐标，，，，背后是一个武士与运气对弈和信心坚守。。。。

王戟是谁？？？他是一个什么样的人？？？

在出发前往长沙的国防科技大学主校区之前，，，，记者通过军旅作家的著作《轮椅上的战歌》和网络零星的信息对王戟先生有了“一些熟悉”。。。。从一些素材相识到，，，，王戟先生虽然遭遇了人生的重大变故，，，，但依然是一个乐观豁达的人，，，，然而未曾碰面，，，，总以为晤面胜似著名，，，，这样才华解答记者心中的诸多疑惑。。。。

?汹涌新闻记者 黄嫣然(05:27)

“我自己能行”

7月15日下昼，，，，所在：国防科技大学银河楼一楼的学术报告厅，，，，记者与多个媒体偕行在报告厅内期待王戟的到来，，，，不清晰谁说了一句：王先生快到了。。。。各人连忙站起来，，，，齐刷刷将眼光投向门口，，，，只见王戟带着笑容，，，，坐着轮椅，，，，在同事的陪同下进入报告厅，，，，虽然同事在后面推着轮椅，，，，但王戟的手依然摇着轮椅。。。。

“这应该是王戟先生下意识的行动，，，，他是一个很不肯意贫困人的人，，，，他以前出差或者去上课，，，，靠自己摇轮椅能到的地方，，，，险些都是自己摇着轮椅去。。。。”王戟的同事王挺说。。。。

轮椅上的王戟，，，，像正凡人一样上班、出差、搞科研、带学生、做学术，，，，做到了自己照顾自己。。。。

王戟上下班需要用车，，，，但前些年级别达不到专车的标准，，，，既是同事也是师弟的王挺自动认真接送他，，，，八年时间，，，，大部分上下班都是王挺接送，，，，风雨无阻。。。。

“用上轮椅后他就自己探索出了上下车的要领，，，，不需要别人扶持或者抱着就能上下车，，，，我只需要帮他折叠好轮椅即可。。。。”王挺说道。。。。

王戟上下车时，，，，轮椅抵近车门，，，，左手牢牢捉住车门框，，，，右手扳住座位的边沿，，，，深吸一口吻，，，，像鞍马运发动一样靠着双臂和腰腹实力，，，，将整个身体腾挪起来，，，，稳稳地落坐在副驾驶位置上。。。。

但每一个利索行动的背后，，，，都是王戟无数次汗水的积累——双手由于在ICU里恒久卧床而肌肉萎缩，，，，早先连一个苹果都拿不稳，，，，通过逐步磨炼，，，，手和腰部实力也逐步增添，，，，练了无数次后，，，，才掌握自行上下车的要领。。。。

从办公室到食堂短短两百多米的缓坡，，，，关于正凡人来说不过是一段散步的旅程，，，，但关于依赖轮椅出行的王戟来说是一次小小的“征途”：上坡时，，，，他需要把身体微微前倾，，，，双臂加速摇动轮圈，，，，下坡时则需要小心控制车速，，，，防止轮椅失控。。。。

学生们心疼他，，，，总想在出行等生涯方面多资助他。。。。王戟的在读硕士研究生赵晶告诉汹涌新闻（www.thepaper.cn），，，，“纵然我们日常生涯遇到靠轮椅出行的生疏人，，，，我都会愿意资助，，，，况且自己的导师，，，，我们有时间都是下意识想资助推一推轮椅，，，，但王先生经常都摆摆手，，，，说‘不必，，，，不必’。。。。”只有遇到着实过不去的台阶或门槛，，，，他才会接受别人搭把手。。。。

王戟总对想多资助的学生们说：“我自己能行，，，，你们白天做科研也很辛勤，，，，不必专门铺张时间来接我。。。。”

2015年重返岗位后，，，，他担当某国防科研项目的手艺首席专家，，，，需统筹全局，，，，有时一个月要出差三四次，，，，一个人出差也是常有之事，，，，连黄花机场的事情职员都已经熟悉这位“轮椅上的科学家”。。。？？？吹酵蹶，，，，机场的服务职员都会热情地资助他过安检、送到登机口、换用飞机上的窄小轮椅。。。。

王戟与团队交流。。。。 周富敬 摄

全力冲锋时突然被按下“暂停键”

王戟以轮椅为战车，，，，一直向“高可信软件手艺”的高地提倡冲锋。。。。

软件各人都听过，，，，甚至天天都要使用，，，，但高可信软件手艺可能很少人听说过。。。。那什么是“高可信软件手艺”？？？

在接受汹涌新闻专访时，，，，王戟举例说：“通俗地说，，，，高可信软件相当于医院的CT，，，，医院的CT可以用来检测病人的一些疾病，，，，而高可信软件手艺可以用来‘诊断’别的软件，，，，发明别的软件保存的问题或缺陷。。。。”

若是说硬件是盘算机的躯壳，，，，那么软件就是盘算机的灵魂，，，，若是灵魂不可靠，，，，那整台盘算机都会泛起问题。。。。“高可信软件手艺”就是为了给国家和军队要害软件装上“防护阀”，，，，守住数字领域的清静底线。。。。这是一个冷门硬核的前沿赛道，，，，然而，，，，王戟在这个赛道一走就是30多年。。。。

在1992年前后，，，，读博时代的王戟就注重到了盘算机软件的可靠性问题，，，，而1996年欧洲航天局的阿丽亚娜5型火箭首飞爆炸和受邀加入国家航天相关软件可靠性评估使命，，，，这两件事情则让他坚定地走向这条冷门的前沿赛道——1996年6月，，，，阿丽亚娜5型火箭首飞升空约30秒后就爆发强烈爆炸，，，，事后查明是制导系统中要害软件保存缺陷；；；；1999年，，，，在国家航天使命中，，，，王戟向导团队重复推演、多维测试，，，，在几十个模子中筛选出了“最适配”的模子，，，，完成了航天测控使命的可靠性评估。。。。

王戟在与导师陈火旺院士探讨交流后，，，，在海内率先提出“高可信软件手艺”这一看法。。。。2003年，，，，他与导师等人在昔时第12期《电子学报》上配合揭晓了《高可信软件工程手艺》，，，，这是我国在该领域最早的系统性论文，，，，清晰地勾勒出“高可信软件手艺”的焦点框架和未来走向。。。。至今，，，，这篇论文仍然高频次被学术界引用。。。。中国科学院院士、国防科技大学教授王怀民对此评价道：“一篇论文能否成为经典，，，，一个主要的标记就是能不可被恒久引用。。。。”

锚定“高可信软件手艺”这个偏向后，，，，王戟在这个冷门小众的领域一耕作就是二十余年。。。。

随着时间的推移，，，，王戟在科研和教学方面一直获得效果，，，，摘取声誉。。。。

1997年，，，，28岁，，，，王戟由讲师升为副教授。。。。

2000年，，，，31岁，，，，荣立三等功。。。。

2002年，，，，33岁，，，，提升为教授。。。。

2003年，，，，34岁，，，，担当博士生导师。。。。

2004年，，，，35年，，，，担当某系副主任

2007年，，，，38岁，，，，获得国家优异青年科学基金

一系列效果和声誉的背后除了王戟能力优异外，，，，尚有他的辛勤支付。。。。在他眼里，，，，除了事情，，，，照往事情，，，，是别人眼里的“事情狂”。。。。按王戟的说法，，，，是由于自己对高可信软件手艺的由衷热爱，，，，乐此不疲，，，，“谁人时间年轻，，，，以为加班、熬夜不算什么，，，，况且身边不少人也是这样。。。。”

王戟犹如一台盘算机满负荷地运转，，，，然而，，，，2013年，，，，一场突如其来的运气变故给他的人生按下了暂停键。。。。

2013年1月23日破晓，，，，王戟突发自动脉夹层，，，，这是一个极其阴险的心血管急症，，，，殒命率高达20%。。。。

中南大学湘雅医院医生俞芳回忆起那场惊心动魄的手术，，，，语气中仍然带着叹息，，，，“手术做了13个小时，，，，专家轮流上，，，，出血量也很是大，，，，抵达2000多毫升，，，，可以说是一场很大的硬仗。。。。”

面临丈夫的突然遭遇，，，，妻子黄春回忆说：“其时自己很主要，，，，心里七上八下，，，，签字的时间，，，，手在颤抖，，，，身体也不由自主地颤抖。。。。”但为了勉励王戟，，，，在进手术室前，，，，黄春照旧起劲调解自己的心情，，，，微笑地握了握他的手，，，，但手术室的大门关上的那一刻，，，，泪水夺眶而出。。。。

手术乐成，，，，命保住了。。。。但运气的磨练接踵而至，，，，下肢缺血坏死，，，，为了保住性命，，，，不得不截肢，，，，刚做完心脏大手术，，，，又要做高位截肢手术，，，，对身体的创伤可想而知。。。。据相识，，，，从2013年1月23日到昔时7月1日，，，，王戟总共做了大巨细小10余次手术。。。。

一连手术，，，，经常报病危，，，，护士频仍找黄春签字，，，，每次签字都会颤抖。。。。

“当王戟苏醒过来后，，，，我第一时间就问他我是谁？？？女儿几岁？？？邮箱密码是几多？？？王戟都答对了，，，，我心里想，，，，他脑子没有坏，，，，这是不幸中的万幸。。。。”黄春告诉记者。。。。

王戟在办公室开展研究。。。。范军威 摄

重启“第二次生命”

从四肢健全到双腿高位截肢，，，，加上十一再手术对身体的创伤，，，，王戟面临的身体犹如一片废墟，，，，怎样在废墟上重修是他面临的人生必答题。。。。

由于麻醉药物还在起作用，，，，早先王戟并不知道自己已经截肢，，，，有一段时间，，，，腿还在的幻觉一直陪同着他。。。。在告诉王戟这个残酷事实之前，，，，黄春想过好几个预案，，，，想象过许多画面。。。。最后，，，，照旧兴起勇气告诉了王戟截肢的事实——“王戟，，，，为了保住性命，，，，我们要舍弃一些工具。。。。”黄春的声音很低，，，，病房里也特殊清静。。。。

得知真相的王戟没有体现出很大的情绪升沉，，，，甚至没有太多的心情转变，，，，但那些天，，，，他很默然。。。。

俞芳说：“我们其时甚至为王戟准备了心理医生，，，，但没用上，，，，我们见过许多截肢的病人，，，，不少人知道截肢的事实后都会情绪瓦解，，，，甚至嚎啕大哭，，，，王戟的镇静出乎我的意料。。。。”

“我有时间会想，，，，各人好禁止易把我从死神手里抢回来，，，，下一步我应该做些什么，，，，在这个一次次问自己的那段时光，，，，我的家人，，，，探望我的先生、我的同事、我的学生……他们都在给我转达一个非；；；Ｆ鹁⒌男藕牛何业茸拍阋黄鸹乩，，，，”王戟回忆说，，，，“那我就很遵从医嘱，，，，做好各方面的准备，，，，争取早日正常上岗。。。。”

发病三个多月后，，，，王戟和母亲刘桂枝通了一次电话，，，，刘桂枝牢牢握住电话：“儿子，，，，听妈说，，，，身残志坚的人多了去！若是你不可面临的话，，，，别人会叹息一声：这个孩子惋惜了；；；；若是你能够面临，，，，各人都会帮你，，，，推你一把！”

王戟说：“妈，，，，我听你的。。。。”

王戟对黄春说：“帮我带学生的论文过来吧，，，，之前有几篇没有看完。。。。”黄春知道，，，，王戟已经振作起来了，，，，谁人一经的王戟回来了。。。。

磨炼手劲，，，，王戟逐步可以拿起手机和书籍，，，，他从翻阅学术论文、相识最新科研动态最先。。。。病情基本稳固后，，，，王戟从ICU转到了通俗病房，，，，他最先更多地通过电话与同事、学生们交流，，，，在病房里做学术钻研也越来越多。。。。

之后王戟又到北京的医院举行近一年的康复训练，，，，这一时期，，，，王戟给自己的事情量也逐步增添。。。。2015年春节事后，，，，谁人脸上经常挂着笑容的王戟又回到了盘算机学院，，，，单位刚刚修睦的无障碍通道等便当设施也最先派上用场。。。。这一年，，，，他又一头扎进某“国防973”项目。。。。

戟者，，，，国之利器

“国防973项目”全称是“国家清静重大基础研究妄想”，，，，是国家应对未来装备手艺生长趋势而设立的战略性、基础性科研妄想，，，，项目强调原始立异，，，，追求深度突破，，，，只有少少数重点高；；；；蛄煳涫课锊呕尤牖蚣绺骸！！。王戟团队申请的是昔时面向国家和军队亟需的唯逐一个纯软件项目。。。。

这个项目关于高可信软件在装备领域的拓展和学科建设都有重大的意义，，，，大病刚愈的王戟“心动”了，，，，刻意加入这个课题，，，，学校和学院经由一番权衡，，，，让王戟担当项目的手艺首席专家。。。。

作为手艺首席专家，，，，王戟不但要统筹全局、协调多方，，，，要害手艺研究他也起劲加入，，，，他经常坐在轮椅上，，，，在聚会室一待就是一整天，，，，和团队成员讨论方案、研究手艺细节；；；；他有时间还要一个人出差，，，，一个背包，，，，一个轮椅，，，，北京、南京……多个都会都有他“足迹”。。。。

据相识，，，，项目时代，，，，他出差70余次。。。。当记者得知这个出差次数时，，，，被震惊到了。。。。团队成员说：“他历来没有诉苦出行的未便，，，，也不谈辛勤，，，，虽然王戟先生身体未便，，，，但精神状态比我们许多人都好，，，，这种精神和继续也熏染着我们。。。。”“当我们想诉苦时，，，，或者遇到难题时，，，，想到王先生，，，，我们心态很快就调解过来。。。。”

2021年，，，，功夫不负有心人，，，，项目顺遂通过验收。。。。综合评价报告里有这样一句话评价项目：“整体手艺水平处于国际前线、海内领先，，，，部分可比指标处于国际领先。。。。”2025年头，，，，这个项目孵化的科研效果荣获军事科学手艺前进奖一等奖。。。。

王戟团队的研发效果在基础软件、嵌入式装备、指挥控制等领域普遍应用，，，，为包管航空航天、重大武器装备等领域要害软件可靠清静作出主要孝顺。。。。

2021年，，，，病魔又一次到来，，，，王戟确诊肾脏衰竭，，，，现在每周要举行三次血液透析，，，，关于闯过鬼门关的王戟来说，，，，这些病魔没有给他带来几多恐慌，，，，除了配合治疗，，，，王戟依然清静时一样事情。。。。家人、同事、医生都劝他少劳累，，，，多休息。。。。他都会颔首允许，，，，但行动上依然并不听话。。。。他对护士说：“躺久了，，，，脑子会生锈。。。。”

在专访王戟时，，，，记者给了他十几张照片，，，，有小时间的，，，，有穿上戎衣的，，，，有完婚照，，，，有在病房透析的，，，，也有他女儿的……看到女儿的照片时，，，，他笑着端详了一会。。。。“我现在也更重视身体了，，，，家人和组织关于我有太多的眷注和资助，，，，趁现在还能活动，，，，想多做点事，，，，多做点孝顺，，，，以回报组织；；；；另外，，，，作为父亲，，，，我女儿还小，，，，希望看到她上大学，，，，嫁人……”

“整个国家和军队建设对软件可信度要求一直提高，，，，这也是我们下一步要起劲的一个偏向。。。。由于盘算机有个特点，，，，许多偏向是工程领先于理论水平的生长。。。。好比人工智能大模子一样，，，，各人都已经最先使用了，，，，可是内里的可诠释性，，，，尚有一些基本的机理问题，，，，我们还没有解决，，，，大模子可能有幻觉，，，，那我应该怎么样来应对它？？？”

目今，，，，王戟团队正围绕人工智能大模子研发与性能评测主持开展某重大工程研究攻关，，，，起劲在前沿性、战略性领域抢占先机、赢得自动。。。。

“只要我脑子好使，，，，手还能动，，，，我就不会停下来。。。。”关于未来的妄想，，，，王戟说道。。。。

戟者，，，，国之利器。。。。王戟怙恃用戟作为他的名字就是希望自己的儿子未来像一个真正的男子汉，，，，成为保家卫国的栋梁，，，，王戟没有辜负怙恃的殷切期望。。。。