软件介绍
王戟：（永不折）戟
盛夏的清晨，湘江向北奔涌，星城长沙尚在酣眠。一阵手摇轮椅的轻响，划破医院走廊的静谧，惊醒了病房中未熄的夜灯。
短短数小时后，这辆轮椅悄然滑入汽车、跃上飞机、穿越云层，最终停驻于远方某座城市的学术会场。直到主持人念出“有请国防科技大学计算机学院王戟研究员”时，全场目光瞬时汇聚——那位在轮椅上几乎以半个身体“站立”的人，正是王戟本人。
在中国计算机学会，他曾先后执掌两个专委会的主任与副主任之职；在某国防973项目中，他担当“技术首席专家”；在人民大会堂，他荣获“全国自强模范”表彰；在国防科技大学校园里，他是深受师生爱戴的“王老师”。一位中国科学院院士由衷赞叹：“他是我国高可信软件技术领域的主要开创者。”一位机场工作人员记住他匆匆而过的身影：“他是人群中令人难忘的‘轮椅科学家’！”一位外科医生为他哽咽落泪：“从未见过承受如此重创之人，依旧坚守在工作一线……”
不满14岁考入国防科技大学，33岁晋升教授，38岁获得国家杰出青年科学基金资助，43岁摘得国家科技进步奖二等奖……这，是王戟——少年得志，一路繁花似锦。
43岁那年，一场“九死一生”的急症骤然降临。他侥幸闯过生死关口，却永远失去了双腿；大出血手术、皮瓣移植、血管重建，一关又一关地与病魔搏斗，51岁时又遭遇尿毒症的折磨……这，也是王戟——历经沧桑，却始终自强不息。
45岁坐上轮椅重返工作岗位，主持完成国家自然科学基金、国家重点研发计划等10余项重大课题，为国防科研培育了120多名硕士博士，55岁荣获军事科技进步奖一等奖……这，依旧是王戟——十年磨一剑，为国铸就坚实盾牌。
王戟，这个名字诞生于“备战、备荒、为人民”的年代。当初，父母将一件古老兵器之名嵌入他的生命时，或许未曾预料到它会在他的人生中激起多么深远的回响——报考军校、投身军旅，执戟守卫社稷；深耕高可信软件研究，锻造信息化战争中的“安全利器”；面对命运的重击，始终坚韧不屈，身陷方寸轮椅，心中却藏着锋锐长戟。
“你叫王戟，决不能折戟沉沙呀！”2013年，失去双腿后，王戟这样告诫自己。此后，他以轮椅为战车、以代码为利剑，在高可信软件领域一路攻坚克难，用13年的冲锋证明：王戟，永不折戟！
永不折戟，源于使命的呼唤——2022年，西方一家顶级智库发布报告指出，智能化时代正迎来“软件定义战争”。软件的安全性与可靠性，已成为影响未来战争胜负的关键变量。而早在多年前，王戟便将目光锁定于此。2003年，他与导师共同发表论文《高可信软件工程技术》，在国内率先提出“高可信软件技术”这一概念，为“软件定义战争”奠定了底层基石。
独辟蹊径，荒原筑路。自那时起，王戟带领团队一行行敲下“高可信”代码，为国之重器装上一道道“安全锁”。2015年，某重大项目正式立项，这是全军唯一面向国家和军队亟需的高可信软件项目。谁来牵头担任技术首席专家？王戟主动请缨：“让我当，我必定扛起来；若是不让我当，我也要加入课题组。”那时，距那场生死攸关的手术仅过去两年。身体尚未痊愈，他便摇着轮椅重返校园，率领十几支跨学科、跨单位的科研团队，全力攻坚，忘我奋战。
这一战，便是整整6年。2021年，项目顺利结题。综合评价报告认定：整体技术水平处于国际前列，部分可比指标达到国际领先水平。而这一年，王戟再度病倒，曾经受重创的肾脏发生衰竭，从此每周需进行多次透析。
上大学前，王戟的高中老师曾评价他：“有理想、有志气，非常钦佩罗健夫那样的人物，渴望考入一所好大学，将来成为一名科学家。”罗健夫，新中国第一批航天微电子专家，为打破国外技术封锁，在癌症晚期仍坚持科研攻关，直至倒在工作岗位上。半生已过，王戟如愿成为科学家，也在自己的使命征途上，化身为另一种意义上的“罗健夫”。
永不折戟，源于精神的淬炼——初入职场时，王戟在“银河楼”工作，那里诞生了我国“银河”亿次巨型计算机。他的导师陈火旺，作为“银河”软件团队的总负责人，成为他科研报国的引路人。重病归来后，王戟搬进了“天河楼”，那里孕育了摘得全球超算“六连冠”的“天河二号”。他的爱人黄春，身为“天河”编译团队的负责人，是他并肩作战的同路人。
从“银河”到“天河”的校园之路，要经过一面训词墙。墙上，习主席鲜明标定了这所军校的定位：“高素质新型军事人才培养和国防科技自主创新高地”。一次次从训词墙前经过，步入“银河”“天河”，王戟仿佛行进在统帅关注的目光里，行走在“银河精神”的传承之中。
有些时间节点，注定将铭刻于生命与使命的双重年轮。王戟在医院度过危险期时，长沙的寒冬刚过，大地春意萌动。那个春天，党在新时代的强军目标开启了人民军队的新征程。刚刚失去双腿的王戟感到，周围的人都在冲锋，“我必须得跟上队伍”！
王戟身体逐渐康复时，已是深秋时节。习主席视察国防科技大学，发出“努力在前瞻性、战略性领域占有一席之地”的号召。悉心领悟统帅嘱托，王戟心中激荡着“一种迫切而光荣的使命感”：“要干的事情太多了，真是坐不住！”于是，尚在病房，他便开始翻阅论文、召开视频会议；重返岗位后，更是分秒必争：出差尽量当天往返，春节7天开了3次线上会议，暑假里每3天听一次项目汇报……
目睹王戟经年累月的冲锋身影，上中学的女儿打算写一部名为《台阶》的作品：“父亲立志造一座高台阶的新屋子……台阶不仅是台阶，还象征着父亲的自尊和理想。”22岁时，王戟在入党志愿书中写道：“我的成长过程比较顺利，没有亲身经历艰难和挫折的磨炼。我决心在党的培养和教育下，磨炼意志，无论在何种艰难困苦的环境中，绝不退缩。”22年后，面对巨大艰难挫折，他矢志高可信软件事业，为国家重大型号工程关键软件的可靠性安全性作出重要贡献，用“高可信的信仰”兑现了对党的承诺。
永不折戟，源于力量的汇聚——王戟遭受重大疾病时，母亲刘桂枝的两次表态，令听者无不动容。一次是在王戟抢救期间，学校领导向她通报病情。听说儿子截肢，老母亲心如刀绞、嘴唇咬得发紫，说出的第一句话却是：“给组织添麻烦了！”另一次是在王戟返岗后，同事看他拼命工作，便让刘桂枝劝劝他。刘桂枝摇了摇头说：“王戟的第二次生命是党给的，应该献给党，即使累倒了也是应该的！”
可怜天下父母心。刘桂枝并非不怜惜儿子，而是心中装着太多感恩。81岁的她至今难忘，王戟突发疾病的那个深夜，学校领导匆匆赶到医院，当面恳请医生：“不惜一切代价抢救他！”在王戟家的客厅里，有一张表格贴了13年，谁也舍不得摘下。那是王戟躺在重症监护室100多天里，学校师生自发前往照看的“轮班表”。纸张已泛黄卷边，但每一个名字都清晰可见。刘桂枝还珍藏着一张没有指定“单位抬头”的证明，那是当地退役军人事务局出具的，上面写着：王戟和妻子都是现役军人，工作繁忙无暇陪伴老母亲，请有关部门提供方便。刘桂枝始终没用过这张证明，可每次拿出来都觉得格外温暖。
“我的‘重生’，从来不是孤军奋战。”王戟曾对人坦言，“我没有那么强大，撑不住的黑夜，是无数人为我点亮了光。”
“戟”是一件寒光闪闪的冷兵器，但这些年，王戟的脸上却总是挂着温暖的笑容。这温暖，是无数力量的汇聚和传递，它赋予王戟踏平坎坷的勇气，也激发他感恩回报、冲锋不止的决心——“只要脑子还能思考，手还能动，我就不会停下。”
功能特点
港大讲座教《授何旭华当选国际数学联盟副》主席
中新社香港7月22日电 香港大学22日透露，在国际数学联盟全体会员大会上，该校理学院数学系讲座教授何旭华获选为联盟副主席。这场大会于当地时间20日至21日在美国纽约举行，何旭华的新职务任期将从2027年延续至2030年。这位现年47岁的学者，不仅是该联盟史上第二位出任此高阶职务的中国数学家，更创下近20年来最年轻副主席的纪录。
何旭华在国际数学界享有盛誉，尤其在李理论、算术几何与表示论等领域被视为领军人物。他毕生致力于探索基础数学中的前沿核心问题，并在Serre猜想、志村簇、Hecke代数以及Lusztig典范基正性猜想等关键方向上，实现了系统性的理论突破与原创性贡献。
港大校长张翔对此表示，何旭华的当选不仅向全球展现了香港及中国在学术前沿的卓越引领力，也为青年学者点燃了追逐科研梦想的热情。他希望这一具有标志性意义的事件，能够鼓舞新一代科学家勇于探索未知领域，在国际学术舞台上不断攀登新的高峰。
面对这项殊荣，何旭华本人回应称，此次任命既是对他个人学术成果的肯定，也彰显了国际数学界对中国数学进步的高度关注与赞许。展望未来，他计划积极推动全球数学界的开放协作与知识交流，向世界呈现中国数学的辉煌成就，同时为中国学者开拓更宽广的国际参与空间。
作为全球数学领域最具权威的组织，国际数学联盟肩负着主办国际数学家大会（ICM）、评选菲尔兹奖等重大国际奖项的重任，其成员网络覆盖了全球超过80个国家和地区的数学机构。
使用说明
李（家超与香港立法会）议员举行首场对谈交流会
中新社香港7月28日电 香港特区行政长官李家超于28日在特区立法会首次主持“行政长官与立法会议员对谈交流会”，共67位立法会议员踊跃参与，就经济前景、民生改善及社会发展等议题畅所欲言，并一同回顾了此前赴京参与国家事务研修考察的心得体会。
李家超于会中指出，举办此类对谈交流会，目的在于加深行政与立法两机关之间的相互认知，凝聚共识；并以此创意机制，开拓“爱国者治港”的崭新价值；同时通过分享各自践行“爱国者治港”的感悟，推动体系内的持续改革。
李家超提到，自履新以来，他已采取多样化途径强化行政立法之间的沟通与协作，包括设立立法会前厅交流会，为政府各司局长与议员搭建常态化的交流桥梁；将传统的行政长官答问会升级为双向互动的“行政长官互动交流答问会”；在本届立法会议员宣誓就职之日亲临立会，向全体议员送上祝贺与期许；并在本届立法会首次会议上发表讲话，积极促进行政与立法协同发力，共同发挥“爱国者治港”的制度优势，为香港的建设携手努力。
“我视特区立法会为特区政府的改革伙伴，特区政府与立法会同属‘香港队’，目标一致，均为市民排忧解难。”李家超强调，“行政长官与立法会议员对谈交流会”作为一项创举，让双方能以队友身份，展开既富温度又具深度的交流。
会后，李家超与特区立法会主席李慧琼共同会见传媒。李家超指出，行政与立法机关既相互制约又相互支持，透过坦诚对话，可融合多方观点、促进换位思考，有利于凝聚共识，探寻切合实际的方案破解香港面临的各种难题。他重申，此类对谈交流并不会取代现行行政立法的各沟通机制。
李慧琼介绍，当日的对谈交流会历时约90分钟，15位立法会议员先后发言，围绕助力香港更主动融入国家“十五五”规划、加速推进北部都会区建设、促进经济发展及改善民生福祉等议题进行了深入探讨。
李慧琼表示，深信行政与立法机关通过持之以恒的多元渠道与方式，维持良性互动与高效协作，坚持以民为本，善用国家发展的成功经验，更好地融入国家发展大局，必将有效解决市民的迫切问题，为香港注入更强发展动力。(完)
更新日志
王戟：（永不折）戟盛夏的清晨，湘江向北奔涌，星城长沙尚在酣眠。一阵手摇轮椅的轻响，划破医院走廊的静谧，惊醒了病房中未熄的夜灯。短短数小时后，这辆轮椅悄然滑入汽车、跃上飞机、穿越云层，最终停驻于远方某座城市的学术会场。直到主持人念出“有请国防
句子7