【x站】大国重器背后的故事：高可信是什么？王戟又是谁？ 软件信息系统会“生病”
我要评论“高可信”是大国的故什么？
用王戟的话说，软件信息系统会“生病”，重器高可信软件就是背后给软件“看病”的工具，用来检查软件的事高什王性能是否符合人们的预期。“相当于给软件做一个CT扫描，可信看看哪些地方可能有问题，戟又x站尽早解决。大国的故”
王戟又是重器谁？
他是国防科技大学计算机学院研究员，是背后不满14岁考上大学的少年英才，是事高什王43岁高位截肢后仍坐着轮椅冲锋在科研一线的领军人才，是可信用一篇论文开创了中国高可信软件技术研究领域的开拓者。
图为国防科技大学计算机学院研究员、戟又博士生导师王戟。大国的故中新社记者 赵文宇 摄 当王戟的重器名字与“高可信”这个名词同时出现，意味着什么？背后
在中国科学院院士、国防科大教授王怀民看来，在中国，一提到高可信软件技术，就一定会想到王戟。尤其是在军事领域，王戟的91漫画名字与“高可信”同时出现，“大家会有一种安全感，会想到为这种安全感作出重要贡献的一位学者”。
从开辟一个新的研究领域，到取得一系列创新成果，再到成为一条人生道路，这便是王戟与高可信的故事。
要“可信”，还要“高”可信
2003年，一篇题为《高可信软件工程技术》的论文发表在当年第12期《电子学报》(增刊)上，作者是陈火旺、王戟、董威。这篇论文可以被视为中国计算机高可信软件技术初始阶段最重要的文章，为中国的计算机研究开辟了一个新的领域。提出“高可信软件技术”这个前瞻性概念的人，正是王戟。
在此之前，国际上已有相关研究。随着科学技术的发展，软件的可乐视频规模越来越庞杂，早已摆脱附属于硬件的状态。时至今日，在社会各行各业所使用的系统中，绝大部分的功能由软件完成。也正因此，软件的可靠性、安全性若不能得到保证，所造成的损失可能是灾难性的。无论是阿丽亚娜5型火箭升空后爆炸，还是英特尔公司召回有问题的芯片，历史已有前车之鉴。
早在1992年，王戟在读过一位外国专家的相关论文后，就开始思考软件可靠性的问题，在日常工作中重点留意这个方向的内容。博士生毕业前后，他做出的模型完成了对某些小型软件的检验，取得了一定成果。1999年，王戟与老师、91动漫同事们赴北京参与航天测试任务的可靠性评估工作，拿出了新设计的一套度量工具。这是王戟在高可信软件技术科研道路上的一次小试牛刀。
对于这一类研究，人们最早称之为软件的“可靠性研究”。但王戟认为，软件研究的内涵和外延都已发生变化，需要一个新的概念来概括。光叫“可靠”还不够，“可信”更为恰当，还要“高”可信。
“高可信这个词实际上有一部分的内涵继承了以前的技术逻辑，但是在新的场景和需求下，它有更丰富的内涵和外延，来牵引我们的技术进步。”王戟说。
为了达成软件更高的可信度，王戟与他的团队也要站得更高，瞄准领域发展的前沿。因为高可信软件的香蕉windows7/win10/win10/Windows10/百度免费正版应用场景更多体现在“关键软件”中，关乎国家和军队建设的重点领域，是国家、军队对软件需求中最重要的一个方面。这也注定了高可信软件技术研究的学术前沿堆满了难啃的“硬骨头”。
图为国防科技大学计算机学院研究员、博士生导师王戟。中新社记者 赵文宇 摄 十年磨一剑，科研要“立地”
最早，人们谈到的软件正确性、可靠性问题都具有明确的系统边界，是在一个相对封闭的环境下、一个简单的系统中找问题。王戟与老师、同事们深耕的高可信软件技术则是处在一个开放、复杂的环境中，既要在“通用”的理论基础上取得突破，又要进一步适配“专用”的应用场景，面临“通专结合”的挑战。
这是中国高可信软件技术研究发展的一个特点，也是蓝莓windows7/win10/win10/百度更新一个难点。
其实，证明一款软件可信程度的方法有很多，包括软件验证、工程化手段等。王戟团队之所以深耕当前领域，是因为高可信软件技术具备严格的数学基础。基础理论上的突破能够保障算法的可靠性，提升高可信本身的可信度，使其保障能力更强。
王戟在校读书时，中国的高可信软件技术研究还在跟跑，到后来逐渐发展为并跑。“现在，我们在部分技术环节上，实际上已经领跑了。”这与国家整体的科技实力增长是一致的。比如，在航天这个高可信软件的重要应用方向上，中国的航天科技发展已经处于国际领先水平，其所面临的黑料 官网软件可信度问题在国际上也是前沿问题。
另一方面，“高可信软件不是一个停留在理论上的问题，它有很强的工程背景”。王戟说。
2015年，王戟担任某国防973项目的技术首席专家，研究内容就是高可信软件技术。2021年，该项目通过验收，顺利结项。2025年，该项科研成果荣获军事科学技术进步奖一等奖。如今，这项成果十年磨一剑，已经被应用在航空航天、重大武器装备等国之重器上。
在国防科技大学的师生中流传着一句话：搞科研要“顶天立地”。“顶天”是指紧跟研究领域内学术发展的最新前沿动态；“立地”则是指注重成果转化，让科技成果真正落地生根、发挥实效。老司机漫画
目前，高可信软件技术已经在国家和军队建设的关键领域发挥了重要作用。但在王戟看来，高可信仍处在“立地”的过程中。国家、军队建设对高可信软件的需求在不断增长，这就需要高可信软件技术也要不断进步，去满足增长的客观需求。
我和高可信“永远在路上”
经过多年的发展，高可信软件有了更加准确的含义：它是通过程序分析和验证技术确保极高的可靠安全性与保密安全性的软件，其核心特征是通过形式化方法替代传统测试手段，为国家安全、军用装备等相关领域提供严格保障。
王怀民认为，高可信软件的重要性不只体现在给软件“治病”，更体现在为软件做“体检”，体现在“治未病”上。“王戟及其团队就是在不断探究‘体检’的工具，让我们能发现更多可能的‘病灶’，排查那些尚未对软件的17c被 嗯啊大 巴网站视频‘健康’产生致命性影响的隐患。”
如今，在大数据、云计算、人工智能飞速发展的时代，高可信软件技术的内涵与外延变得更加丰富，其发展同时面临机遇与挑战。
“人工智能是目前技术发展一个非常重要的方向，毫无疑问是一个热点，给我们带来了更强大的推动力，在各行各业都是个倍增器。”王戟表示，人工智能也带来了一些困扰和挑战，特别是在其可信评价方面。这也是王戟与团队研究的一个方面，即如何用高可信软件对人工智能系统作出评价，让AI技术更加安全可信。
当前，王戟与其团队正围绕人工智能大模型的研发与性能评测开展某项重大工程研究攻关，努力在前沿性、战略性领域赢得主动。进去里 17c视频免费版
王戟坦言：“我希望看到我们的技术用在一批国之重器上，用在国家的关键领域中，能够保障战斗力的生成。我也希望我们的技术能够往前发展，来引领新质战斗力的生成。”
高可信软件技术还有多远的路要走？对于这个问题，王戟的回答是“永远在路上”。只要信息技术、智能技术不断前进，软件作为这些技术的基本载体就会不停地发展、变化。相应地，软件的保障技术也要不断发展，高可信软件技术“会一直走在这条路上”。
“您会一直走在这条道路上吗？”中新社记者问到。
“我会一直在。”王戟说。
作者：李纯 曾钰婷
来源：中新社微信公众号
相关文章
半年报预喜名单在拉长，上市银行净息差反转与否仍待开“盲盒”，部分机构：上半年未止跌
财联社8月13日讯（记者 彭科峰）银行半年报即将拉开序幕。财联社记者注意到，随着昨日晚间浦发银行披露业绩预报，目前对外释放营收、利润“预喜”信号的上市银行已有四家。 8月12日晚间，浦发银行发布2026年半年度业绩快报——上半年，集团实现营业收入937.77亿元，同比增长3.55%，实现归属于母公司股东的净利润309.51亿元，同比增长4.08%。除浦发银行之外，此前发布业绩快报的重庆银行等也披露“营收、利润正增长”的信息，但均未发布行业的关键指标——净息差。 财联社记者从部分上市银行采访了解到，其所在银行上半年净息差仍未止跌。面对负债成本未快速下降、贷款利率仍持续下探等多重压力，净息差收窄依然是行业所面临的共性难题。 有上市银行相关人士告诉财联社记者，上半年其所在银行营收、利润趋势和重庆银行等保持一致，但净息差依然在微降——尽管依然好于行业平均水平。“至少从上半年来看，银行业息差依然没有彻底企稳。”有银行人士告诉记者，其所在银行上半年净息差“略降”，未有全面企稳。 受访银行人士告诉记者，贷款需求下降导致资产端定价下行幅度快于负债端改善幅度，是影响净息差企稳的主因。“上半年行业信贷需求较弱，并且面临诸多同行的竞争压力。在负债端虽然有存款重定价，但整体改善不如预期。” 部分区域释放净息差反弹信号，业内：不代表全局回升 财联社记者了解到，尽管上半年行业净息差下行趋势尚未逆转，但部分银行的降幅并不大，“几个基点左右”，和年初、去年相比相差不大。 从公开信息来看，近期有部分地方监管局则陆续就辖内净息差”预喜“。比如，深圳金融监管局人士在发布会上介绍：“上半年，房贷违规返佣、车贷‘高息高返’、保险虚假套费等典型问题得到遏制，银行业净息差呈现企稳回升态势。“ 但有银行人士认为，国内不同区域信贷情况差异巨大，部分城市的银行分支机构息差改善，并不等同于银行总行统计层面的息差会回升。”北京、2026-08-15
今年第13号台风“白海豚”正逐渐向华东沿海靠近，今天下午强度有所加强，中心附近最大风力已由14级增强至15级，预计今明两天，其强度有可能还将有所增强，有可能会达到超强台风级（16级），但登陆前其强度将再度减弱。中央气象台预计，“白海豚”将于9日下午至10日早晨在浙江到福建北部沿海地区登陆（40-45米/秒，13-14级，台风级或强台风级），登陆后向西偏北方向移动，强度逐渐减弱。“白海豚”登陆之后路径还存在变数，登陆后是否会北上？会终结华北东北的闷热吗？登陆后移动路径具有不确定据中央气象台介绍，台风“白海豚”属于远洋台风，7月27日生成，“长途跋涉”朝我国沿海靠近，并经历5次眼墙置换、台风强度多次变化，可能以强台风级或台风级的强度登陆我国。其生命史之长、移动路径之远，实属罕见。目前，“白海豚”正受副热带高压、西风带槽脊、多台风系统等叠加影响，登陆后的移动路径仍存在一定的不确定性。据研判，“白海豚”登陆后主要有两种可能性：一种可能是西行在江南中部一带短暂回旋，11日至12日影响华东地区及湖北、湖南等地，13日至14日台风残涡与西风带系统共同影响山东、河南及京津冀地区；另一种可能是直接转向西北偏北方向，11日至14日先后影响江苏、安徽、山东、河南及京津冀地区。预计登陆后移动路径趋于明朗，建议华东及后续可能影响区域高度重视台风防御，重点防范强风、暴雨及次生灾害。应急管理部针对浙江、福建启动国家地质灾害四级应急响应经与自然资源部联合会商研判，浙江大部、福建北部发生地质灾害的风险高。根据《国家突发地质灾害应急预案》及有关规定，应急管理部于8月7日针对浙江、福建启动国家地质灾害四级应急响应。“白海豚”会终结华北东北的闷热吗？8日左右，受东北冷涡和西风槽东移影响，东北、华北的高温、闷热天气将有所缓解。专家表示，后期如果西风槽移速较快，副热带高压东退的幅度比较大，再加上台风北上带来的风雨影响2026-08-15
在低利率的行业大背景下，人身险行业产品结构正在发生深刻变化。分红险凭借“保证利益+浮动红利”的产品设计，成为寿险行业化解利差损风险、调节负债成本的重要抓手。 根据中国保险行业协会近日的行业交流数据，上半年分红险原保险保费收入突破万亿元，同比增长近乎翻倍。 但高速增长的背后，也有行业声音指出：分红险并非占比越高越好，过快扩张将带来盈余管理、股东回报、客户预期管理等多重考验。与此同时，分红险业务占比抬升，也使得与之对应的保险资金投资逻辑和策略生变。 分红险保费近乎翻倍 分红险延续了2025年至今的高增长态势。 中国保险行业协会行业交流数据显示，2026年上半年分红险原保险保费收入突破万亿元，达到10126亿元，同比大幅增长94.4%。按此计算，分红险上半年在人身险公司总保费中占比已经突破35%。 东方证券非银金融首席分析师张凯烽表示，回望行业历史数据，2025年上市寿险公司分红险保费占比结束多年下行周期，回升至19.1%。 中国人寿、新华保险、太保寿险等主流险企，均将主力储蓄产品切换为分红形态。 从2025年报中的新单保费信息来看，各家上市险企的分红险占比迅速提高。例如2025年中国人寿分红险在首年期交保费中的占比近50%，银保渠道新单占比同比提升约15个百分点；中国太保新保期缴中分红险占比达50%，其中代理人渠道新保期缴中分红险占比高达61.4%；新华保险将分红险转型作为重要战略任务，2025年分红险长期险首年保费达到119.33亿元，四季度分红险占比达到77.0%。 进入2026年，行业转型节奏进一步加快，分红型增额寿成为各大险企“开门红”的“C位”产品。 业内人士表示，头部险企集中布局分红险，核心逻辑在于分红险“保证利率+浮动分红”的特性，在持续低位的市场利率环境下，实现了投保人与保险公司的双赢，成为行业转型的最优解之一。 相较于传统固定预定利率寿险产品，分红险构建起“利2026-08-15
基建不倒翁文章总阅读军事领域优质创作者查看TA的文章>菲律宾这艘破船快到头了，中方头号帮手现身，仁爱礁局势要变
7月20日那段现场视频一出来，菲律宾想靠一张伤员照片把故事讲完，基本就很难了。 它先放出一段画质不清、前后不连贯的画面，再配上人员受伤的照片，想把自己说成被中国海警欺负的一方。可中国海警执法员拍下的第一人称高清视频，把前面的动作补齐了。两艘菲方橡皮艇先靠近中方巡逻艇，高速穿插，制造尾浪，随后又发生冲撞，艇上人员还拿着划桨和长棍动手。 因为仁爱礁这次冲突，关键不在谁最后挂了彩，而在谁先把事情挑起来。中方巡逻艇体量更大、马力更强，如果真要把冲突做绝，菲方那两艘橡皮艇很难全身而退。最后局面没有继续扩大，反而能看出中方现场处置留了分寸。 这件事当然不是7月20日突然冒出来的。 往前看，7月12日，所谓南海仲裁案裁决满十年，美国、菲律宾、澳大利亚、日本、英国、德国、加拿大等14个国家发表联合声明，声势看着挺大。可名单仔细一看，大多是离南海很远的国家，真正挨着南海过日子的越南、马来西亚、印尼，没有一个跟着签。 这个细节很现实。远处的人喊两句口号容易，南海周边国家要考虑的，是航道、贸易和地区关系，不会因为菲律宾想把话题炒热，就轻易把自己推到前面。 7月15日，俄罗斯外交部发言人扎哈罗娃又把话说得很直。俄方不承认所谓仲裁程序的合法性，认为南海争议应当通过政治外交途径解决。她提到的“国家同意”原则，其实就是一句大白话，争端怎么解决，不能让一方不参加、不接受的程序替它拍板。 仁爱礁真正的根子还在那艘船，1999年5月9日，菲律宾海军“马德雷山”号登陆舰以机械故障为由，在仁爱礁非法坐滩。中方当时就提出交涉，菲方也多次承诺会拖走。结果二十多年过去，这艘船不但没走，菲律宾还想往上面送钢筋、水泥、钢板，把临时坐滩一点点熬成长期存在。 麻烦是，这艘船本身已经撑不住了。它的前身是1944年完工的LST-821登陆艇，1976年才转给菲律宾海军。美国智库CSIS判断，2026年台风季可能成为它的物理极限，可2026-08-15
来源：光大证券 本周A 股表现亮眼 本周A 股表现亮眼。从主要宽基指数来看，本周A 股主要宽基指数普遍收涨，科创50、创业板指、中证500 涨幅相对较大，上证50、沪深300、上证指数涨幅相对较小。从市场风格来看，本周多数风格指数收涨，其中，小盘成长涨幅居前，而大盘价值表现不佳。行业方面，本周申万一级行业涨多跌少，电子、有色金属、机械设备、通信涨幅居前，银行、食品饮料、家用电器、非银金融跌幅居前。 本周重要事件回顾 政策方面，中国证监会主席吴清8 月3 日在人民币国债期货在港交所挂牌上市仪式上，发布了内地与香港深化务实合作、密切协同发展的10 项政策举措；8月5 日，我国对美国联邦通信委员会、美国土安全部系列涉华消极措施实施反制。 产业方面，乘联分会数据显示，初步统计， 7 月1—31 日，全国乘用车市场零售150.6 万辆，同比下降18%，环比下降6%；中指研究院的最新数据显示，7 月20 城二手住宅成交12.5 万套，同比增长9.3%。 海外方面，美国白宫8 月6 日发布声明说，美国总统特朗普当日签署一份公告，宣布将对进口多晶硅衍生品加征15%关税，并对进口多晶硅及其衍生品设定最低进口价机制；日本政府8 月5 日召开临时内阁会议，通过食品消费税减税政策，决定自2027 年4 月起将税率由现行的8%下调至1%，政策有效期2 年，并将于今年秋季向国会提交相关法案。 短期内市场或继续反弹，关注三条业绩主线 短期内，A 股市场或继续反弹。一方面，美国7 月非农就业人数意外减少2.3 万人，市场对美联储9 月加息的预期有所降温，市场风险偏好有望回升；另一方面，近期海外股市，尤其是半导体板块逐步企稳回升，对A 股科技板块企稳具有一定的正向作用。 8 月中报密集披露期有望成为市场从估值消化切换至盈利驱动的拐点，财报季或将是下半年最好的配置窗口。市场当前的核心担忧在于海外AI cape2026-08-15
“一天一个价，一天平均涨幅500到1000元”！这一回，“等等党”输麻了
暑期本是大学新生装机、办公族更换电脑的传统旺季，但今年暑期，却成了不少学生和玩家眼中的“最贵装机季”。华强北多家商户表示，受全球主要显卡生产商发出新一轮涨价通知的影响，目前各大显卡品牌的工厂都已经全面执行封仓政策，暂时停止对外批量出货，全流通环节的现货供给快速收紧。此次涨价覆盖GDDR7和GDDR6两大显存产品线，从新架构产品到现售产品全线涉及。记者走访华强北多家装机商户了解到，由于新货出不来，存量库存成为“稀缺资源”，渠道商普遍惜售，推动现有库存价格走高。 有商户介绍：“采购商通知之后，这两天涨价幅度在30%左右。RTX 5070（显卡）去年零售价格在4500到5000元，目前价格是6000到6500元，RTX 5080平均价格去年是8000元，现在零售价接近12000元。基本就是一天一个价，一天平均涨幅500到1000元。”7月24日，据财联社援引硬件媒体BenchLife消息，英伟达已经向下游显卡制造商又一次发出GPU套装（GPU+显存芯片）涨价通知，核心原因依然是存储价格持续上涨。据悉，此次涨价同时涉及GDDR7显存和上一代GDDR6显存。这意味着除了使用Blackwell架构的大多数50系显卡外，RTX 5050以及更古早的显卡都会受到影响——例如近期以2022年原始建议零售价重返市场的RTX 3060 12GB显卡。报道称，这一轮涨价是今年5月英伟达上调旗舰显卡RTX 5090（包括中国特供版RTX 5090D V2）GPU套装价格后的最新调整。在那次涨价中，其余显卡并未受到波及。除了显卡，固态硬盘、内存等核心硬件的价格，近段时间也在持续上涨，进一步推高了装机价格。记者了解到，固态硬盘，以前批发价在300元到400元左右，现在800多元。有消费者表示，原来打算配5070的显卡，原本订下来是12000元左右的配置，这周已经到14000多元。此前的暑期装机旺季，华强2026-08-15
最新评论