范文健康探索娱乐情感热点
投稿投诉
热点动态
科技财经
情感日志
励志美文
娱乐时尚
游戏搞笑
探索旅游
历史星座
健康养生
美丽育儿
范文作文
教案论文

西安电子科技大学两位教授团队研究成果被顶级国际会议ICSE2022录用

  近日,西安电子科技大学网络与信息安全学院杨超教授与马建峰教授团队的关于无人机系统安全的最新研究成果"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%左右。该成果由西安电子科技大学、澳洲新南威尔士大学、上海交通大学和美国普渡大学合作完成,第一作者为杨超教授和马建峰教授指导的博士研究生韩瑞冬。
  论文报告了"无人机系统安全"方面研究的一项重要进展,主要内容是发现了无人机系统中合法参数配置的某些组合在一定约束条件下会破坏飞行控制系统的物理语义,导致飞行异常等安全问题。为了实现可靠性和适应性,无人机设备开发者为用户提供了可更改的控制以及任务参数。用户通过修改这些参数来修改无人机的飞行状态和飞行方式。同时,开发者为保证用户使用的安全性,限制了参数的取值范围以防止不合适的配置出现。然而,由于缺乏对控制参数值的充分检查,配置参数(限制范围内)仍能引入某些漏洞。在用户选择参数值来设置某些特定配置时,可能会触发不稳定的飞行状态,例如轨迹偏差甚至无人机坠毁。甚至,该问题可被外部攻击者利用对无人机进行攻击,并伪装成意外事件。
  这项工作发现了该问题并开发一种专门用于检测该范围规范错误的方法。方法通过学习引导模糊测试方法来搜索潜在的不合适配置,并利用搜索结果生成可灵活变化的参数范围指导。该方案的特点是使用机器学习的方案来对配置造成的影响进行预估,进而达到加速模糊测试过程的效果。
  该项工作总共探索了不合理配置会导致的五种严重飞行问题,并使用真实无人机对这几种错误进行了实际验证,验证结果与理论预测符合。同时,该项工作还基于智能优化算法给出了"语义安全"的飞行控制参数范围,帮助使用者减少参数配置上带来的安全问题。
  据悉,杨超教授和马建峰教授带领的无人系统安全团队近年来致力于无人机/无人车/嵌入式等无人系统的安全问题研究,多项研究成果在国内外旗舰会议和期刊上发表,得到了领域内专家与学者的认可。该最新成果为无人系统安全研究提供了新的视角,也为无人机安全应用的参数配置提供了方法与指导。(通讯员:西安电子科技大学杨超)

美国成立芯片联盟,孤立中芯国际?殊不知中芯早已布局妥当美国成立芯片联盟随着华为芯片事件的持续进行,美国对我们国内的态度已昭然若揭,它的目标不仅仅是华为,还包括国内整体的芯片事业。由于美企技术在全球半导体市场占有很高的比重,导致各大与芯荣耀50系列手机将首发高通骁龙778G芯片,6月发布来源读特5月21日,荣耀CEO赵明在高通5G技术与合作峰会上宣布,未来两个月,荣耀将发布一系列旗舰及高端产品,都将采用高通骁龙平台。其中荣耀50系列将首发骁龙778G移动平台,并于用大数据方法破解大数据杀熟购买同样的商品,苹果系统手机用户要支付比安卓系统用户更高的价格在某个出行平台约车,将系统语言设置为英文后可享受更大力度的优惠网购记录多信用好,等来的却是可能更高的商品售价大数据杀熟小米高端系列成了!全球销量300万台,拿下国内第一小米从去年凭借小米10系列系列,在高端市场一战成名之后。就在高端市场打下了好的基础,之后小米为了在高端市场站稳脚跟,推出了小米11系列。近日,小米公司正式宣布了小米11高端系列全球解码新势力蔚小理之后新势力二梯队如何出线?见习记者刘凯华夏时报(www。chinatimes。net。cn)记者翟亚男北京报道尽管整体车市表现平平淡淡,但新能源汽车销量又开始起飞了。据中国汽车工业协会最新数据显示,今年1至三人薅羊毛致滴滴损失20万法院判了在QQ群内针对滴滴公司推广的游戏活动发布薅羊毛程序,118名群成员在不进行游戏的情况下,获取完成游戏的红包,致使滴滴公司损失达20余万元。近日,经瑞安市检察院提起公诉,薅羊毛程序提5。22比特币又跳水了?虚拟货币牛市真的走了吗?币圈也好,美股也好,今年发展迅猛和宏观上的放水都脱离不了关系,那么美联储加息时间对币价势必会有影响。是否加息,首先和通胀数值有关。美联现在都采用平均通胀指标了,意味着通胀在2左右浮为什么火箭可以竖直发射而不会歪掉?图中这种没有尾翼的火箭,在飞行中,是不稳定的系统,一般都需要通过底部矢量喷口的角度强度来保持其稳定。这属于自动控制方面的理论,简单来说,火箭会有传感器感受当前的姿态,并预判之后的姿为什么现在网上有很多macbook根本没用过几次就卖了?1。根本不知道好坏,就买的,我以前老板也是mac,有天他让我给他弄一下文件,我一打开看见是windows,我当时就懵了,这不是装x么,捂脸捂脸捂脸这类人是为了买而买,根本就不会用,DIY攒机时,简单的说,要注意哪些方面?你好DIY组装机时要注意的方面还是挺多的,重点还是在配件的购买上需要注意,组装的话问题不大毕竟网上教程很多,细心点别买错配件都没问题,购买配件时应该注意以下几点1。不买工包板卡,工华为官宣鸿蒙OS全面开源,中兴拒绝,小米会支持吗?中兴已经被美国打的跪下了,公司决策要经美国批准,所以拒绝是正常的,一个国企向美国下跪,一副怕死的奴才相华为官宣鸿蒙OS全面开源,跑马先圈地,思路完全正确!致于中兴拒绝,原因有二其一
微信群信息发错了已超过两分钟的终极解决方案一种拦截误发消息的方法及即时通信系统0001技术领域0002本发明属于即时通信领域,尤其涉及对即时通信消息进行传输处理的方法及即时通信系统。背景技术0003微信QQ钉钉等即时通讯软iPhone14系列外观变化大苹果iPhone14系列产品已开始投入生产,现在,一份报告指出,三星显示正在为iPhone14系列产品的OLED材料增加新的供应商。此外,打孔和药丸状的切口,将在2023年iPho降价!2022年京东这些产品首次探底,有华为耳机,也有国产家电还没到618,今年各大厂商就开始提前卷了。厂商一卷,受益者就是我们消费者。据最新消息,又有不少产品降价触底了。华为FreeBudsPro(538)华为产品降价越来越不容易。最近我心nfc一亿像素120hz,高性价比手机产品价格新低市场发展对于现在的国内的手机市场上厂商发展状态来说,在手机市场上的发展方向表现情况,确实都还是很不错的,该改变的改变,要加大力度的加大力度,在现在的手机市场上确实都有着很不错的一个厨房小家电分享大宇电炖盅,一物多用开启精致美食生活目前,在小家电产品设计中,由于消费者的需求,各种多功能小家电正在迅速扩张,一物多用既满足了消费者对产品使用方面的需求,也最大化程度地发挥产品的价值。当然生活要想变得有趣,肯定是要有地球磁场地磁介绍地磁学是对地球磁行为的研究。地球是一个巨大的条形磁铁。地磁场是地球的磁场。这个场的偶极起源是在地球内部。从地球,它延伸到外太空,与来自太阳的带电原子相互作用。地球磁场有各种来源。其三体中,三体人为地球人准备了澳洲作为自留地,但为何人类选择公布坐标同归于尽?题主看书不够认真啊。三体人哪里有为地球人准备澳洲作为自留地的意思?三体人就是妥妥地要灭绝人类啊。在当时的情况下,人类还能有机会发出广播,公布三体星系的坐标,已经是上帝赐予的幸运了。周云杰代表以工业互联网赋能城市数字经济高质量发展来源人民网原创稿城市数字化转型的重点和关键是经济数字化,工业互联网已成为城市数字经济发展的新引擎。在2022年全国两会召开之际,全国人大代表,海尔集团董事局主席首席执行官周云杰向记针对格力手机,董明珠态度大转变,曾豪言三年干掉小米做世界第一文Dong审核子扬校对知秋2月28日,格力电器在总部珠海正式召开2022年第一次临时股东会议。会议上,董明珠当选格力电器的非独立董事以及任期3年的董事长。这意味着现在已经68岁的董手机若是遇到这四种情况,尽快换手机吧,已经离报废不远了手机是我们日常使用中不可或缺的使用工具,如果你的手机已经使用了很长的时间,并且出现了笔者以下说的这几种情况,说明你的手机已经该换了,因为这部手机很快就不能再继续使用了,彻底报废只是东数西算背后隐秘的玩家们图片来源视觉中国东数西算工程正式全面启动的文件一出,瞬间提振二级市场,股民们争相拥抱陷入一阵涨停的狂欢之中。从经济上来看,(东数西算)每年能带动投资4000亿元。国家发改委创新驱动