FCS | 前沿研究:链表操作安全性的自动检测
2023年2月28日 - 神州学人
为了提高代码安全性,AddressSanitizer(ASan)经常被使用来进行动态检测,但是运用ASan开销大,代码覆盖率也相对较低。然而,一些检测范围较广的静态检测工具,如Coverity和Cppcheck,在检测特定目标时精度和效率又较低,很难找到一个现有的方法来自动检查链表操作的安全性。因此,本文提出了一种自动检查链表上安全代码规范的方法。
详情
人工智能行业研究:史上最伟大的科技革命|机器人|物联网|云计算|...
2023年5月8日 - 网易
基于云平台、深度学习框架以及图像识别、语音识别、自然语言处理等AI技术能力为电力企业提供专业化模型训练和智能化分析以及诊断服务,包括1)提供精准的能源需求预测,帮助企业制定更加科学合理的能源调度方案,避免因能源短缺或过剩而造成的浪费和损失;2)对电力系统进行实时监测和优化,提高电力系统的稳定性和安全...
详情