相关实验视频
Updated: Mar 7, 2026
08:05
Design and Analysis for Fall Detection System Simplification
Published on: April 6, 2020
11.2K
安全关键机器学习的正式方法:一个系统的文献审查
Alexandra Newcomb1, Omar Ochoa1
1Department of Electrical Engineering and Computer Science, Embry-Riddle Aeronautical University, Daytona Beach, FL, United States.
Frontiers in artificial intelligence
|March 6, 2026
概括
正式方法为关键系统中的机器学习 (ML) 提供了严格的安全保证. 这份对46项研究 (2020-2025) 的综述确定了可扩展性等挑战,并提出了安全的ML部署的未来研究.
科学领域:
- 计算机科学 计算机科学
- 人工智能的人工智能
- 正式方法 正式方法
背景情况:
- 机器学习 (ML) 系统越来越多地用于安全关键领域,需要强有力的安全保证.
- 传统的验证方法对于复杂的,数据驱动的ML行为是不够的.
- 正式方法为系统属性遵守提供数学保证,这使得它们对ML安全至关重要.
研究的目的:
- 进行全面的系统文献审查 (SLR) 关于应用正式方法来提高ML安全.
- 从2020年到2025年中期分析同行评审的研究,重点关注安全关键的应用.
- 识别当前研究中的应用领域,差距,局限性和挑战.
主要方法:
- 46项同行评审研究的系统文献综述.
- 根据实证研究选择的研究,将正式方法应用于现代的ML方法.
- 将已识别的研究分为八个不同的正式方法类别.
主要成果:
- 确定了八类用于ML安全的正式方法:可达性,基于SMT的,MILP/ILP,模型检查,运行时验证,屏蔽,控制屏障功能和风险验证.
- 综合了方法学的进步,应用领域,以及与传统验证相比的比较优势.
- 呈现的图书统计趋势表明越来越多的研究兴趣.
结论:
- 持续存在的挑战包括可扩展性,与培训的整合,以及有限的现实世界验证.
- 未来的研究应该专注于集成的培训-验证循环,可扩展的框架,混合方法和新ML范式的技术,如大型语言模型.
- 这一审查提供了一个最先进的参考和路线图,以推进安全的ML部署.
相关概念视频
01:15Data Validation
3.3K
Method validation is a crucial process in analytical chemistry designed to confirm that a given method consistently produces reliable and high-quality results. This process is essential when a method is applied to different sample matrices or when procedural modifications are made, ensuring that the results meet acceptable standards across various applications.
Key parameters for method validation include:
Key parameters for method validation include:
3.3K
01:29Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving
376
Mechanistic models play a crucial role in algorithms for numerical problem-solving, particularly in nonlinear mixed effects modeling (NMEM). These models aim to minimize specific objective functions by evaluating various parameter estimates, leading to the development of systematic algorithms. In some cases, linearization techniques approximate the model using linear equations.
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
376
01:15Systematic Error: Methodological and Sampling Errors
11.2K
In the case of systematic errors, the sources can be identified, and the errors can be subsequently minimized by addressing these sources. According to the source, systematic errors can be divided into sampling, instrumental, methodological, and personal errors.
Sampling errors originate from improper sampling methods or the wrong sample population. These errors can be minimized by refining the sampling strategy. Defective instruments or faulty calibrations are the sources of instrumental...
Sampling errors originate from improper sampling methods or the wrong sample population. These errors can be minimized by refining the sampling strategy. Defective instruments or faulty calibrations are the sources of instrumental...
11.2K