“高可信”是什么？用王戟的话说，软件信息系统会“生病”，高可信软件就是给软件“看病”的工具，用来检查软件的性能是否符合人们的预期。“相当于给软件做一个CT扫描，看看哪些地方可能有问题，尽早解决。”王戟又是谁？他是国防科技大学计算机学院研究员，是不满14岁考上大学的少年英才，是43岁高位截肢后仍坐着轮椅冲锋在科研一线的领军人才，是用一篇论文开创了中国高可信软件技术研究领域的开拓者。图为国防科技大学计算机学院研究员、博士生导师王戟。中新社记者赵文宇摄当王戟的名字与“高可信”这个名词同时出现，意味着什么？在中国科学院院士、国防科大教授王怀民看来，在中国，一提到高可信软件技术，就一定会想到王戟。尤其是在军事领域，王戟的名字与“高可信”同时出现，“大家会有一种安全感，会想到为这种安全感作出重要贡献的一位学者”。从开辟一个新的研究领域，到取得一系列创新成果，再到成为一条人生道路，这便是王戟与高可信的故事。要“可信”，还要“高”可信2003年，一篇题为《高可信软件工程技术》的论文发表在当年第12期《电子学报》(增刊)上，作者是陈火旺、王戟、董威。这篇论文可以被视为中国计算机高可信软件技术初始阶段最重要的文章，为中国的计算机研究开辟了一个新的领域。提出“高可信软件技术”这个前瞻性概念的人，正是王戟。在此之前，国际上已有相关研究。随着科学技术的发展，软件的规模越来越庞杂，早已摆脱附属于硬件的状态。时至今日，在社会各行各业所使用的系统中，绝大部分的功能由软件完成。也正因此，软件的可靠性、安全性若不能得到保证，所造成的损失可能是灾难性的。无论是阿丽亚娜5型火箭升空后爆炸，还是英特尔公司召回有问题的芯片，历史已有前车之鉴。早在1992年，王戟在读过一位外国专家的相关论文后，就开始思考软件可靠性的问题，在日常工作中重点留意这个方向的内容。博士生毕业前后，他做出的模型完成了对某些小型软件的检验，取得了一定成果。1999年，王戟与老师、同事们赴北京参与航天测试任务的可靠性评估工作，拿出了新设计的一套度量工具。这是王戟在高可信软件技术科研道路上的一次小试牛刀。对于这一类研究，人们最早称之为软件的“可靠性研究”。但王戟认为，软件研究的内涵和外延都已发生变化，需要一个新的概念来概括。光叫“可靠”还不够，“可信”更为恰当，还要“高”可信。“高可信这个词实际上有一部分的内涵继承了以前的技术逻辑，但是在新的场景和需求下，它有更丰富的内涵和外延，来牵引我们的技术进步。”王戟说。为了达成软件更高的可信度，王戟与他的团队也要站得更高，瞄准领域发展的前沿。因为高可信软件的应用场景更多体现在“关键软件”中，关乎国家和军队建设的重点领域，是国家、军队对软件需求中最重要的一个方面。这也注定了高可信软件技术研究的学术前沿堆满了难啃的“硬骨头”。图为国防科技大学计算机学院研究员、博士生导师王戟。中新社记者赵文宇摄十年磨一剑，科研要“立地”最早，人们谈到的软件正确性、可靠性问题都具有明确的系统边界，是在一个相对封闭的环境下、一个简单的系统中找问题。王戟与老师、同事们深耕的高可信软件技术则是处在一个开放、复杂的环境中，既要在“通用”的理论基础上取得突破，又要进一步适配“专用”的应用场景，面临“通专结合”的挑战。这是中国高可信软件技术研究发展的一个特点，也是一个难点。其实，证明一款软件可信程度的方法有很多，包括软件验证、工程化手段等。王戟团队之所以深耕当前领域，是因为高可信软件技术具备严格的数学基础。基础理论上的突破能够保障算法的可靠性，提升高可信本身的可信度，使其保障能力更强。王戟在校读书时，中国的高可信软件技术研究还在跟跑，到后来逐渐发展为并跑。“现在，我们在部分技术环节上，实际上已经领跑了。”这与国家整体的科技实力增长是一致的。比如，在航天这个高可信软件的重要应用方向上，中国的航天科技发展已经处于国际领先水平，其所面临的软件可信度问题在国际上也是前沿问题。另一方面，“高可信软件不是一个停留在理论上的问题，它有很强的工程背景”。王戟说。2015年，王戟担任某国防973项目的技术首席专家，研究内容就是高可信软件技术。2021年，该项目通过验收，顺利结项。2025年，该项科研成果荣获军事科学技术进步奖一等奖。如今，这项成果十年磨一剑，已经被应用在航空航天、重大武器装备等国之重器上。在国防科技大学的师生中流传着一句话：搞科研要“顶天立地”。“顶天”是指紧跟研究领域内学术发展的最新前沿动态；“立地”则是指注重成果转化，让科技成果真正落地生根、发挥实效。目前，高可信软件技术已经在国家和军队建设的关键领域发挥了重要作用。但在王戟看来，高可信仍处在“立地”的过程中。国家、军队建设对高可信软件的需求在不断增长，这就需要高可信软件技术也要不断进步，去满足增长的客观需求。我和高可信“永远在路上”经过多年的发展，高可信软件有了更加准确的含义：它是通过程序分析和验证技术确保极高的可靠安全性与保密安全性的软件，其核心特征是通过形式化方法替代传统测试手段，为国家安全、军用装备等相关领域提供严格保障。王怀民认为，高可信软件的重要性不只体现在给软件“治病”，更体现在为软件做“体检”，体现在“治未病”上。“王戟及其团队就是在不断探究‘体检’的工具，让我们能发现更多可能的‘病灶’，排查那些尚未对软件的‘健康’产生致命性影响的隐患。”如今，在大数据、云计算、人工智能飞速发展的时代，高可信软件技术的内涵与外延变得更加丰富，其发展同时面临机遇与挑战。“人工智能是目前技术发展一个非常重要的方向，毫无疑问是一个热点，给我们带来了更强大的推动力，在各行各业都是个倍增器。”王戟表示，人工智能也带来了一些困扰和挑战，特别是在其可信评价方面。这也是王戟与团队研究的一个方面，即如何用高可信软件对人工智能系统作出评价，让AI技术更加安全可信。当前，王戟与其团队正围绕人工智能大模型的研发与性能评测开展某项重大工程研究攻关，努力在前沿性、战略性领域赢得主动。王戟坦言：“我希望看到我们的技术用在一批国之重器上，用在国家的关键领域中，能够保障战斗力的生成。我也希望我们的技术能够往前发展，来引领新质战斗力的生成。”高可信软件技术还有多远的路要走？对于这个问题，王戟的回答是“永远在路上”。只要信息技术、智能技术不断前进，软件作为这些技术的基本载体就会不停地发展、变化。相应地，软件的保障技术也要不断发展，高可信软件技术“会一直走在这条路上”。“您会一直走在这条道路上吗？”中新社记者问到。“我会一直在。”王戟说。作者：李纯曾钰婷来源：中新社微信公众号伊朗外长：美方弥补违约行为前，谈判无法重启
信用卡诈骗罪
中央要求谋划新一轮财税改革，税制改革是重头戏，未来增值税、消费税、个税等主要税种还将有进一步改革举措。笔者呼吁，在税收征管不断强化的同时，为促进企业、个人实际税负维持在合理水平，未来税制改革应当统筹考虑降低名义税率。
- 吃小孩内容质量不断提升整体表现符合预期 钟自然出生于1962年8月，安徽桐城人，曾在原地质矿产部和原国土资源部工作多年，2014年任原国土资源部党组成员，中国地质调查局局长、党组书记。
- 和邻居交换配偶 据介绍，根据气象监测情况，今年4月下旬以来，全省平均降水量26.6毫米，较常年同期偏少75%，截至6月13日，大部分地区连续无有效降水日数超60天，郑州等10个地市在70天以上；平均气温23.2度，较常年同期偏高1.8度。
- 人休艺术图片最新上线佳作推荐精彩纷呈不容错过 依据有关规定，经中央纪委常委会会议研究并报中共中央批准，决定给予钟自然开除党籍处分；按规定取消其享受的待遇；收缴其违纪违法所得；将其涉嫌犯罪问题移送检察机关依法审查起诉，所涉财物一并移送。
- 河南省统计局16日发布的《2025年河南省国 以西安咸阳机场为例，扩建后拥有4座航站楼，航站楼面积高居国内前5。但西安咸阳机场去年旅客吞吐量排在全国第11位，西安去年GDP仅排在全国第21位。
- 22cccc 坚持因地制宜、科学抗旱，河库灌区及时开闸放水，增加流量，采取疏通渠道、维修涵闸等措施，做到远送多浇、有水可浇；引黄灌区根据抗旱需水情况，及时开闸放水，争取多引黄河水；平原灌区发挥机电井作用，采取有效措施保障机井通电，并组织投入各类排灌机械179.4万台，努力增加抗旱播种面积。丘陵岗区利用坑、塘、堰、坝等小型水利工程组织抗旱播种。夏播以来，全省累计抗旱浇水7977.3万亩次，播种进度与常年相当。
靳东，1976年出生于山东省，毕业于中央戏剧学院，国家一级演员，曾获得“青年五四奖章”先进个人、“全国德艺双馨电视艺术工作者”等荣誉称号。他还是第十四届全国政协委员。
花椒琪琪精彩内容不断补充
对西北城市来说，机场的作用尤为重要。西北不沿海，也没有内河航运。依托铁路和机场打造枢纽，形成开放门户，无论对区域还是全国而言，都具有经济与战略的双重意义。
农业农村部派出3个由司局级干部带队的工作组和7个科技小分队，赴河北、山西、江苏、安徽、山东、河南、陕西7省，指导各地做好抗旱准备和应对工作，保质保量完成夏收夏播。
深夜便利店门口的大长茎视频广告贴纸
- 世联赛总决赛八强焦点战 经查，王一新丧失理想信念，背弃初心使命，结交政治骗子，对抗组织审查；违背组织原则，隐瞒不报家庭房产情况，在组织谈话时不如实说明问题，违规选拔任用干部并收受财物；违规收受礼金，接受私营企业主低价装修，利用职权为特定关系人谋取利益，搞权色、钱色交易；道德败坏；以权谋私，大搞权钱交易，利用职务便利为他人在土地开发、项目承揽等方面谋利，并非法收受巨额财物。
- “趁着过年回来，正好把房子买了，不仅有补贴， 王一新严重违反党的政治纪律、组织纪律、廉洁纪律和生活纪律，构成严重职务违法并涉嫌受贿犯罪，且在党的十八大后不收敛、不收手，性质严重，影响恶劣，应予严肃处理。依据《中国共产党纪律处分条例》《中华人民共和国监察法》《中华人民共和国公职人员政务处分法》等有关规定，经中央纪委常委会会议研究并报中共中央批准，决定给予王一新开除党籍处分；由国家监委给予其开除公职处分；终止其黑龙江省第十三次党代会代表资格；收缴其违纪违法所得；将其涉嫌犯罪问题移送检察机关依法审查起诉，所涉财物一并移送。
- 高原直泰最新资源持续更新体验升级值得尝试 常年打球的张先生告诉《环球时报》记者：“在郑钦文夺冠前的这几年，网球运动在大众层面一直是向上走的态势，加入网球运动行列中的人不断增多。”张先生分析，这也许跟网球是隔网运动有关，因此在疫情期间受到欢迎。
- 17k17k用户反馈积极处理内容质量不断提升 [环球时报综合报道]“一段时间以来，比亚迪、吉利等中国自主品牌的崛起给不少外国汽车品牌带来压力。”美国CNBC网站18日报道称，美银证券汽车产业分析师约翰·墨菲当天在美国汽车媒体协会有关活动中表示，美国底特律三巨头（即通用汽车、福特汽车和斯特兰蒂斯）应“尽快”退出中国市场。他同时警告说，美国三大车企需要采取更严厉的措施削减开支，尤其是在内燃机业务方面，因为这是目前利润的主要来源。
钟自然出生于1962年8月，安徽桐城人，曾在原地质矿产部和原国土资源部工作多年，2014年任原国土资源部党组成员，中国地质调查局局长、党组书记。
首个“国际太极拳日”庆祝活动当地时间18日在
对西北城市来说，机场的作用尤为重要。西北不沿海，也没有内河航运。依托铁路和机场打造枢纽，形成开放门户，无论对区域还是全国而言，都具有经济与战略的双重意义。
笔者跟多位省级、市级税务人士交流得知，目前并没有全国性查税部署。一些地方根据当地税收大数据风险提示等对个别企业查税，是日常工作，也是税务部门正常履职。毕竟税务部门主要负责税收、社会保险费和有关非税收入的征收管理，发现偷逃税、少缴税行为，理应依法制止，否则就是渎职。
倾城美人体验升级值得尝试资源更新及时到位
[环球时报特约记者 任重]英国政府当地时间13日以“打击普京的战争机器”为由宣布50项新制裁，对象包括5家中国实体。中国驻英国使馆发言人当天回应说，英国政府罔顾国内国际民意，不断火上浇油，不但没有反思自己的恶劣行径，反而罗织罪名制裁中国及其他国家企业，充分暴露了英方的虚伪嘴脸。中方敦促英方立即纠正错误，撤销对中国企业的制裁。
