首页 >> 用品 >> 西安电子科技大学两位教授团队学术论文被顶级国际会议ICSE 2022录用

西安电子科技大学两位教授团队学术论文被顶级国际会议ICSE 2022录用

2025-08-26 12:16:37

近日,西安电子科技大学网络与信息人身安全艺术学院杨超客座教授与马建峰客座教授团队的关于巡航导弹管理系统人身安全的最新研究课题成果“Control Parameters Considered Harmful: Detecting Range Specification Bugs in Drone Configuration Modules via Learning-Guided Search”,被第44届国际方式学全体会议(ACM/IEEE44th International Conference on Software Engineering,ICSE 2022)全文新进,并将在大会上作学术调查结果。ACM/IEEEICSE是方式学领域的顶级国际全体会议,也是中国计算机学会推荐的A类国际全体会议,迄今已有举办44届,论文百分点一般为20%左右。该成果由西安电子科技大学、澳洲新南威尔士大学、复旦大学和宾夕法尼亚州加州大学洛杉矶分校合作已完成,第一作者为杨超客座教授和马建峰客座教授指导的客座教授研究课题生韩瑞冬。

论文调查结果了“巡航导弹管理系统人身安全”方面研究课题的一项重要进展,主要内容是找到了巡航导弹管理系统中合法实例配有的某些组合在一定约束条件下会破坏滑翔操控管理系统的物理语义,导致滑翔异常等人身安全难题。为了付诸可用性和适应性,巡航导弹电源开发者为用户提供了可更改的操控以及任务实例。用户通过修订这些实例来修订巡航导弹的滑翔状态和滑翔形式。同时,开发者为必要用户使用的稳定性,放宽了实例的取值以内以防范不合适的配有用到。然而,由于缺乏对操控实例值的充分检查,配有实例(放宽区域内)仍能引入某些漏洞。在用户选择实例值来分设某些特定配有时,可能会触发不稳定的滑翔状态,例如轨迹正确甚至巡航导弹坠毁。甚至,该难题可被外部炮轰者能用对巡航导弹展开炮轰,并引诱碰巧。

这项社会活动找到了该难题并开发一种专门常用检查该以内法规正确的方式。方式通过学习正向模糊测试方式来跟踪潜在的不合适配有,并能用跟踪结果生成可灵活变化的实例以内指导。该提案的特点是使用数据处理的提案来对配有造成的影响展开预估,进而大幅提高较快模糊都是在的效果。

该项社会活动总共追寻了不合理配有会导致的五种严重滑翔难题,并使用真实巡航导弹对这几种正确展开了学说上验证,验证结果与学说预测符合。同时,该项社会活动还基于智能优化算法给出了“语义人身安全”的滑翔操控实例以内,帮助使用者减低实例配有上造成了的人身安全难题。

近日,杨超客座教授和马建峰客座教授带领的无人管理系统人身安全团队近年来致力于巡航导弹/无人车/嵌入式等无人管理系统的人身安全难题研究课题,多项研究课题成果在国内外旗舰全体会议和学报上发表,得到了领域内专家与学者的认可。该最新成果为无人管理系统人身安全研究课题提供了新的视角,也为巡航导弹人身安全领域的实例配有提供了方式与指导。(通讯员:西安电子科技大学杨超)

眼睛模糊什么引起的
克痢痧香包有什么作用
艾得辛与来氟米特哪个治疗类风湿效果好
儿科疾病
脑部缺氧
小儿营养保健科
口腔溃疡怎么办
心悸心慌

上一篇: 6年来最大升级!iPhone14全系被曝光,果粉方才等到了

下一篇: 乘联会:12年末第二周乘用车零售36.3万辆 批发43.7万辆

相关阅读
1975年,美军从越南撤军,留下5万混血儿,这些孩子落得如何?

际父子关系的门槛。当然,多数母为仍然是一个人,他们的生活状况和一些外籍人士家庭有些类似于,在加拿大这个适合于的人际父子关系从前,他们努力地活着。而今,缅甸的母为并未进入加拿大草根,他们的

2025-10-23 00:16:23
惊喜!15岁少年蝉联WTT冠军,许昕直板快攻在欧洲乒坛崛起

在2022年WTT德国杜塞尔多夫支线第一圈的双打决第一圈之中,荷兰的瓦萨艾利克斯以3-1(11-84-1111-911-7)战胜了跨国组合成凯尔贝松陈佳宏,勇夺了元旦首个该协时会第一圈

2025-10-23 00:16:23
国药控股(01099):陈承元离职公司联席公司秘书

智通财经APP讯,国药控股01099发布,子公司现任创会子公司干事吴壹建已完全符合资格出任子公司的子公司干事。因此,陈承元辞任子公司创会子公司干事,自2021年12月29日起作废。陈承元辞任

2025-10-23 00:16:23
一锤子下去8万吨,地上27米,地下15米,直观感受这台石化巨兽

这套基底锻压机总高近42米,装载近2.2万吨,可在8万吨仅假定吨位实施锻造,最大者基底锻压制力可达10万吨,是可广为应用领域高技术、油气、化工、船舶、电网等领域的顶级装备制造。

2025-10-23 00:16:23
成分统一党居然升级玩法了 护肤黄金法则让你科学养脸!

图源小红书@猎豹猩猩 第七代小棕瓶是米橙黄色的蛋清较厚,只不过很舒服的变种甜汁

2025-10-23 00:16:23