这是至关重要的前沿技术领域
武器系统也可能有"死机"的风险
高可信软件能像"做CT"一样
给大国重器的软件系统扫描诊断
找出深层次隐藏的漏洞和隐患
确保其在战场上的绝对稳定
高科技咱不懂
但确保高精尖武器系统不"死机"
想想都知道多重要
▼
王戟在国内首开相关课程
把这一国际前沿理论引入研究生课堂
与死神斗争的147天
2013年
王戟因工作过于劳累
突发主动脉夹层破裂
1月24日，主动脉置换
1月25日，左小腿切开减压
2月1日，双下肢截肢
3月11日，再次右下肢截肢
一个月后
在重症监护室清醒过来时
王戟选择在病房里"重启"
"只要能够操作键盘
只要能够思考
我觉得一切都好办"
▼
