软件介绍
王戟：（永不折）戟
盛夏的清晨，湘江向北奔涌，星城长沙尚在酣眠。一阵手摇轮椅的轻响，划破医院走廊的静谧，惊醒了病房中未熄的夜灯。
短短数小时后，这辆轮椅悄然滑入汽车、跃上飞机、穿越云层，最终停驻于远方某座城市的学术会场。直到主持人念出“有请国防科技大学计算机学院王戟研究员”时，全场目光瞬时汇聚——那位在轮椅上几乎以半个身体“站立”的人，正是王戟本人。
在中国计算机学会，他曾先后执掌两个专委会的主任与副主任之职；在某国防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多天里，学校师生自发前往照看的“轮班表”。纸张已泛黄卷边，但每一个名字都清晰可见。刘桂枝还珍藏着一张没有指定“单位抬头”的证明，那是当地退役军人事务局出具的，上面写着：王戟和妻子都是现役军人，工作繁忙无暇陪伴老母亲，请有关部门提供方便。刘桂枝始终没用过这张证明，可每次拿出来都觉得格外温暖。
“我的‘重生’，从来不是孤军奋战。”王戟曾对人坦言，“我没有那么强大，撑不住的黑夜，是无数人为我点亮了光。”
“戟”是一件寒光闪闪的冷兵器，但这些年，王戟的脸上却总是挂着温暖的笑容。这温暖，是无数力量的汇聚和传递，它赋予王戟踏平坎坷的勇气，也激发他感恩回报、冲锋不止的决心——“只要脑子还能思考，手还能动，我就不会停下。”
功能特点
沪港共设规模达6亿港元创科基（金 首批9个意向）项目亮相
中新社香港7月30日电 (记者 邱兆翔)维港纽带创科基金签约仪式于30日在香港隆重举行。这支基金总规模高达6亿港元，依托沪港两地的独特资源优势，重点布局人工智能、高端制造、生命健康等前沿领域，并优先投资于香港本土的创新科技项目。同日，首批9个意向合作项目也同步揭晓。
作为香港特区政府“创科创投基金”优化计划中，首个由特区政府与内地机构联手设立的基金，维港纽带创科基金阵容庞大——上海国有资本投资有限公司担任基石投资者，中信资本控股有限公司负责基金管理，交银国际控股有限公司和太平资产管理（香港）有限公司共同参与基金管理，上海孚腾私募基金管理有限公司及中银集团投资有限公司则担任行业顾问，亿都国际亦参与出资。此外，香港特区政府创科创投基金也以有限合伙人身份加入其中。
在签约仪式上，上海市副市长贺青指出，自2003年沪港合作会议机制启动以来，两地携手走过二十余载，走出了一条优势互补、互利共赢的路径。贺青强调，维港纽带创科基金一方面连接上海及长三角地区雄厚的产业基础和广阔的内需市场，另一方面依托香港优质的科创资源及全球资本网络，打通了从初创孵化到企业成长的全周期投融资通道，为沪港各类创新要素的双向流动搭建了实体化、市场化的合作平台，有着重要的战略价值和现实意义。
香港特区政府创新科技及工业局局长孙东表示，近年来特区政府出台多项举措，革新了对创科产业的投资模式，进一步加大对本地策略性产业的支持力度。维港纽带创科基金正是“创科创投基金”优化计划下首个完成募资的基金。孙东期望，这支基金能促进更多创科合作项目落地香港，助力香港创科产业迈向新高度。
当日亮相的首批9个意向项目，广泛覆盖人工智能、先进制造与新能源、生命健康三大硬科技领域，并获得了香港大学、香港城市大学、香港科技大学等多所高校的参与孵化支持。
资料显示，香港特区政府于2017年成立规模为20亿港元的“创科创投基金”，旨在吸引更多风险投资基金共同投向香港创科领域的初创企业。2024年施政报告中，香港特区行政长官李家超提出优化“创科创投基金”，额外拨出15亿港元与业界配对，成立联合基金，以支持策略性产业的初创企业成长。（完）
使用说明
中越跨境自驾游趋热 海关高《效助力游客“丝滑过关》”畅游山水
广西凭祥7月30日电（谢豪 林洁琪）友谊关海关今日披露，作为直抵越南河内的陆路快速通道，友谊关口岸正吸引大批摩托车与汽车自驾爱好者组团远赴越南深度旅行。海关为此量身打造专属通关方案，通过精准管控与人性化服务，搭建起中越文化交流的“连心桥”。
今年以来，中越跨境自驾游热度节节攀升，友谊关口岸一跃成为自驾出行者的热门选择。面对车队材料庞杂、现场申报迟缓、客货车流交织等通关症结，海关推出全流程便利化监管举措，迄今已护航13批次跨境自驾车队（出境8批、入境5批）顺畅通行，累计验放车辆186辆次、国内游客326人次，全部实现随到随检、即刻放行。
为解决车队资料繁琐、申报耗时等难题，海关建立起与旅行社的常态化对接机制。旅行社先行向文旅部门备案出行信息，文旅部门随即函告海关，再由旅检、物流监控、综合业务等多部门联动核验，协同完成放行流程。
关员主动提前介入，与旅行社沟通收集所需材料，线上完成车辆出入境备案，同步审核国际运输许可、境外车险等资质文件。现场查验环节仅需核对行驶证、车架号、车牌号及车载行李物品，彻底告别纸质材料重复核验的老套路。
针对口岸客货车混行造成的拥堵顽疾，海关专门开辟跨境自驾游专属查验车道，让汽车与摩托车车队实现集中分流、分区查验。同时大力推广“海关旅客指尖服务”小程序，关员引导游客提前在线填报行李信息，申报数据自动同步至车辆监管系统，游客无需再在现场花费时间填写纸质单据。
海关还联合边检、文旅等部门，构建跨境自驾信息共享平台，车队信息一单通达、多部门同步核验，打破数据壁垒，避免游客反复递交材料。现场更配备中越双语便民服务，发放进出境行李物品通关指引。遇有老年游客操作不便或证件遗失等突发状况，关员一对一耐心协助填报、细致讲解监管政策，贴心服务赢得往来旅客交口称赞。
此外，友谊关海关严守动植物检疫、禁限物品查缉、车辆出入境备案等监管红线，持续升级配套服务，适配长线深度游、家庭自驾等多元化出行需求。
随着中越双向自驾需求稳步上扬，高效顺畅通关体验正持续擦亮口岸跨境自驾旅游名片。展望未来，友谊关海关将不断优化前置预审、智慧查验与双语便民服务模式，进一步压缩通关时间，以高效且充满温度的服务，为中越文旅交流畅通大道。
更新日志
王戟：（永不折）戟盛夏的清晨，湘江向北奔涌，星城长沙尚在酣眠。一阵手摇轮椅的轻响，划破医院走廊的静谧，惊醒了病房中未熄的夜灯。短短数小时后，这辆轮椅悄然滑入汽车、跃上飞机、穿越云层，最终停驻于远方某座城市的学术会场。直到主持人念出“有请国防
句子7