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

1. fengxue是什么意思

2. fengxue功能介绍

3. fengxue使用方法

4. fengxue使用教程

5. fengxue最新版本

6. fengxue官方入口

7. fengxue下载安装

8. fengxue常见问题

9. fengxue注意事项

10. fengxue相关资讯

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

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

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

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

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

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

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

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

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

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

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

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

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

yikuaidixiaogeweili,pingtaitongguowangluohedashuju,keyiqingchudizhangwomeiyiweiqishoudegongzuoliangheshouru。anzhaodangqianzhengce,kuaidixiaogehennanyouxingqucanjiadisanzhizhubingtouruzhenjinbaiyin,danshi,ruguopingtaiqiyeshenzhidangdizhengfukeyizaikuaidixiaogetourudejichushangyuyipeitao,zeduitamenjijijileiyouhendatuidongli。jiandanshexiangyixia,ruqishoumeitiantouru10yuan,pingtaipeitao5yuan(qishouzaiduopingtaizhuce,keyianzhaojiedanliangerfenbiechengdan),dangdizhengfutongshipeitao5yuan,zeyigeyuejiuyoukenengzaiqidisanzhizhugerenzhanghuzhongcunru500yuan。meinian6000yuan,cun20nian,anzhaonianhuashouyilv4%jisuan,tuixiushigerenyanglaojinzhanghujiangyouyue18wanyuan,qizhong30%shitouzishouyi。zaijiashangchengjubaodedaiyu,dierdainongmingongkeyiyoubidiyidainongmingonghaodeduodeyanglaojindaiyu。youyugerenyanglaojinzhanghushiweiyide、kexiedai,bushoujiuyedixianzhi,canyuzhehaikeyisuishi、qingxidikandaojileiheshouyiqingkuang,suoyi,ruguoyoupingtaihedangdizhengfudepeitaobuzhu,duipingtaijiuyezhedexiyinlishihendade。pingtaijingjiduozaijingjifadadiqufazhan,difangzhengfuyeyounengligeiyubutie。以(yi)快(kuai)递(di)小(xiao)哥(ge)为(wei)例(li),(,)平(ping)台(tai)通(tong)过(guo)网(wang)络(luo)和(he)大(da)数(shu)据(ju),(,)可(ke)以(yi)清(qing)楚(chu)地(di)掌(zhang)握(wo)每(mei)一(yi)位(wei)骑(qi)手(shou)的(de)工(gong)作(zuo)量(liang)和(he)收(shou)入(ru)。(。)按(an)照(zhao)当(dang)前(qian)政(zheng)策(ce),(,)快(kuai)递(di)小(xiao)哥(ge)很(hen)难(nan)有(you)兴(xing)趣(qu)参(can)加(jia)第(di)三(san)支(zhi)柱(zhu)并(bing)投(tou)入(ru)真(zhen)金(jin)白(bai)银(yin),(,)但(dan)是(shi),(,)如(ru)果(guo)平(ping)台(tai)企(qi)业(ye)甚(shen)至(zhi)当(dang)地(di)政(zheng)府(fu)可(ke)以(yi)在(zai)快(kuai)递(di)小(xiao)哥(ge)投(tou)入(ru)的(de)基(ji)础(chu)上(shang)予(yu)以(yi)配(pei)套(tao),(,)则(ze)对(dui)他(ta)们(men)积(ji)极(ji)积(ji)累(lei)有(you)很(hen)大(da)推(tui)动(dong)力(li)。(。)简(jian)单(dan)设(she)想(xiang)一(yi)下(xia),(,)如(ru)骑(qi)手(shou)每(mei)天(tian)投(tou)入(ru)1(1)0元(yuan),(,)平(ping)台(tai)配(pei)套(tao)5(5)元(yuan)((()骑(qi)手(shou)在(zai)多(duo)平(ping)台(tai)注(zhu)册(ce),(,)可(ke)以(yi)按(an)照(zhao)接(jie)单(dan)量(liang)而(er)分(fen)别(bie)承(cheng)担(dan))()),(,)当(dang)地(di)政(zheng)府(fu)同(tong)时(shi)配(pei)套(tao)5(5)元(yuan),(,)则(ze)一(yi)个(ge)月(yue)就(jiu)有(you)可(ke)能(neng)在(zai)其(qi)第(di)三(san)支(zhi)柱(zhu)个(ge)人(ren)账(zhang)户(hu)中(zhong)存(cun)入(ru)5(5)00元(yuan)。(。)每(mei)年(nian)6(6)000元(yuan),(,)存(cun)2(2)0年(nian),(,)按(an)照(zhao)年(nian)化(hua)收(shou)益(yi)率(lv)4(4)%(%)计(ji)算(suan),(,)退(tui)休(xiu)时(shi)个(ge)人(ren)养(yang)老(lao)金(jin)账(zhang)户(hu)将(jiang)有(you)约(yue)1(1)8(8)万(wan)元(yuan),(,)其(qi)中(zhong)3(3)0%(%)是(shi)投(tou)资(zi)收(shou)益(yi)。(。)再(zai)加(jia)上(shang)城(cheng)居(ju)保(bao)的(de)待(dai)遇(yu),(,)第(di)二(er)代(dai)农(nong)民(min)工(gong)可(ke)以(yi)有(you)比(bi)第(di)一(yi)代(dai)农(nong)民(min)工(gong)好(hao)得(de)多(duo)的(de)养(yang)老(lao)金(jin)待(dai)遇(yu)。(。)由(you)于(yu)个(ge)人(ren)养(yang)老(lao)金(jin)账(zhang)户(hu)是(shi)唯(wei)一(yi)的(de)、(、)可(ke)携(xie)带(dai),(,)不(bu)受(shou)就(jiu)业(ye)地(di)限(xian)制(zhi),(,)参(can)与(yu)者(zhe)还(hai)可(ke)以(yi)随(sui)时(shi)、(、)清(qing)晰(xi)地(di)看(kan)到(dao)积(ji)累(lei)和(he)收(shou)益(yi)情(qing)况(kuang),(,)所(suo)以(yi),(,)如(ru)果(guo)有(you)平(ping)台(tai)和(he)当(dang)地(di)政(zheng)府(fu)的(de)配(pei)套(tao)补(bu)助(zhu),(,)对(dui)平(ping)台(tai)就(jiu)业(ye)者(zhe)的(de)吸(xi)引(yin)力(li)是(shi)很(hen)大(da)的(de)。(。)平(ping)台(tai)经(jing)济(ji)多(duo)在(zai)经(jing)济(ji)发(fa)达(da)地(di)区(qu)发(fa)展(zhan),(,)地(di)方(fang)政(zheng)府(fu)也(ye)有(you)能(neng)力(li)给(gei)与(yu)补(bu)贴(tie)。(。)

发布于:北京市