中国高可信软件技术开拓者王戟:在这条路上一直走下去

央视网 2026-07-29 12:17:14 来源: 原创

1. Ww热热.com是什么意思

2. Ww热热.com功能介绍

3. Ww热热.com使用方法

4. Ww热热.com使用教程

5. Ww热热.com最新版本

6. Ww热热.com官方入口

7. Ww热热.com下载安装

8. Ww热热.com常见问题

9. Ww热热.com注意事项

10. Ww热热.com相关资讯

  中新社长沙7月29日电 (记者 李纯)在中国,一谈到高可信,人们一定会想到国防科技大学计算机学院研究员、博士生导师王戟。他的名字已经与中国高可信软件技术研究牢牢绑在了一起。正是他与导师的一篇论文开拓出“高可信”这片中国计算机科技研究的新领域。

图为国防科技大学计算机学院研究员、博士生导师王戟。中新社记者 赵文宇 摄

  说起自己深耕多年的高可信软件技术研究领域,王戟的脸上浮现出笑容,话也多了起来。“我希望看到我们的技术用在一批国之重器上,用在国家的关键领域中,能够保障战斗力的生成。”

  什么是高可信?用王戟的话说,软件信息系统会“生病”,高可信软件就是给软件“看病”的工具,用来检查软件性能是否符合人们的预期。“相当于给软件做一个CT扫描,看看哪些地方可能有问题,尽早解决。”

  中国科学院院士、国防科大教授王怀民介绍说,高可信软件的重要性不只体现在给软件“治病”,更体现在为软件“治未病”。“王戟及其团队就是在不断探究‘体检’的工具,让我们能发现更多可能的‘病灶’,排查那些尚未对软件的‘健康’产生致命性影响的隐患。”

  对于这一类研究,人们最早称之为软件的“可靠性研究”。但王戟认为,随着计算机科技的进步,软件研究的内涵和外延都已发生变化,需要一个新的概念来概括。正是他提出了“高可信”的概念。

  “高可信这个词实际上有一部分的内涵继承了以前的技术逻辑,但是在新的场景和需求下,它有更丰富的内涵和外延,来牵引我们的技术进步。”王戟说。

  据知,高可信软件的应用场景更多体现在“关键软件”中,是关乎国家和军队建设的重点领域,是国家、军队对软件需求中最重要的一个方面。

图为国防科技大学计算机学院研究员、博士生导师王戟。中新社记者 赵文宇 摄

  2015年,王戟担任某国防973项目的技术首席专家,研究内容就是高可信软件技术。2021年,该项目通过验收。2025年,该项科研成果荣获军事科学技术进步奖一等奖。十年磨一剑,这项成果如今已被应用在航空航天、重大武器装备等国之重器上。

  但在王戟看来,高可信仍处在落地见效的过程中。国家、军队建设对高可信软件的需求在不断增长,高可信软件技术也要不断进步,去满足增长的客观需求。

  在这个大数据、云计算、人工智能飞速发展的时代,高可信软件技术的发展同时面临机遇与挑战。这也是当前王戟及其团队研究的重要方面,围绕人工智能大模型的研发与性能评测开展某项重大工程研究攻关,努力在前沿性、战略性领域赢得主动。

  “希望我们的技术能够往前发展,来引领新质战斗力的生成。”王戟表示,高可信软件技术的研发“永远在路上”,他也会在这条路上一直走下去。(完)

ziboshiyizuozhonggongyechengshi,yongyouquanmiandegongyemenlei,zengpingjiezhelianghaodejichuheziyuanbingfu,qudelehuihuangdechengjiu。raner,suizhejingjishehuidebuduanfazhan,zibosuochudechanyehuanjingfashengbianhua,mianlinzhejudadechanyezhuanxingshengjiyali。zengjingtuodongjingjichilunfeisuyunzhuandezhonggongye,bianchenglezibobixu“tenglonghuanniao”delishibaofu。淄(zi)博(bo)是(shi)一(yi)座(zuo)重(zhong)工(gong)业(ye)城(cheng)市(shi),(,)拥(yong)有(you)全(quan)面(mian)的(de)工(gong)业(ye)门(men)类(lei),(,)曾(zeng)凭(ping)借(jie)着(zhe)良(liang)好(hao)的(de)基(ji)础(chu)和(he)资(zi)源(yuan)禀(bing)赋(fu),(,)取(qu)得(de)了(le)辉(hui)煌(huang)的(de)成(cheng)就(jiu)。(。)然(ran)而(er),(,)随(sui)着(zhe)经(jing)济(ji)社(she)会(hui)的(de)不(bu)断(duan)发(fa)展(zhan),(,)淄(zi)博(bo)所(suo)处(chu)的(de)产(chan)业(ye)环(huan)境(jing)发(fa)生(sheng)变(bian)化(hua),(,)面(mian)临(lin)着(zhe)巨(ju)大(da)的(de)产(chan)业(ye)转(zhuan)型(xing)升(sheng)级(ji)压(ya)力(li)。(。)曾(zeng)经(jing)拖(tuo)动(dong)经(jing)济(ji)齿(chi)轮(lun)飞(fei)速(su)运(yun)转(zhuan)的(de)重(zhong)工(gong)业(ye),(,)变(bian)成(cheng)了(le)淄(zi)博(bo)必(bi)须(xu)“(“)腾(teng)笼(long)换(huan)鸟(niao)”(”)的(de)历(li)史(shi)包(bao)袱(fu)。(。)

是谁发明的摇摇奶盖啊

  “在锦州吃烧烤,70%的人是奔着喝酒来的,解压啊。比如昨晚来的那哥们,就着烧烤炫了八瓶哈啤。他们家孩子一个月挣两千多,好一点的房子都七八千一平,就算家里给掏首付,孩子还房贷都费劲,不光家长着急,孩子自己也焦虑。”在锦州开烧烤店的李哥说。

推荐内容

精彩推荐

产品推荐

驾校教练被曝猥亵女学员9分钟
¥
368.00
4.6分
孕妇称遭路怒司机骂人踹车搬石头砸挡风玻璃,警方行拘砸车者
¥
358.00
4.9分
最新《财富》世界 500 强出炉,华为跌出 100 强,互联网 8 强中国占一半,哪些信息可以关注?
¥
3588.00
4.6分
涿州市民避灾遇酒店涨价
¥
5280.00起
4.5分
洪水再急他抱紧孩子的手不会松开
¥
3399.00
4.7分
「35+」歧视
¥
578.00起
4.8分

最新评论

新程序