개요
무인 자동차와 비행기는 더 이상 미래의 물건이 아닙니다. 샌프란시스코 시에서만 8개의 택시 회사가 2023년 850,000월까지 총 XNUMX만 마일의 자율 주행을 기록했습니다. 그리고 미국에는 군 소유 차량을 제외하고 XNUMX대 이상의 자율 공중 차량(드론)이 등록되어 있습니다.
그러나 안전에 대한 정당한 우려가 있습니다. 예를 들어, 10년 2022월에 끝난 XNUMX개월 동안 미국 도로교통안전국(National Highway Traffic Safety Administration)은 신고 어떤 형태로든 자율 제어를 사용하는 자동차와 관련된 충돌 사고는 거의 400건에 달합니다. 이번 사고로 XNUMX명이 사망하고 XNUMX명이 중경상을 입었다.
이 문제를 해결하는 일반적인 방법(때때로 "탈진에 의한 테스트"라고도 함)은 안전하다고 만족할 때까지 이러한 시스템을 테스트하는 것입니다. 하지만 이 프로세스를 통해 잠재적인 결함이 모두 발견될 것이라고 확신할 수는 없습니다. "사람들은 자원과 인내심이 고갈될 때까지 테스트를 수행합니다."라고 말했습니다. 사얀 미트라, 일리노이 대학교 어바나-샴페인 캠퍼스의 컴퓨터 과학자입니다. 그러나 테스트만으로는 보장을 제공할 수 없습니다.
Mitra와 그의 동료들은 그렇게 할 수 있습니다. 그의 팀은 성공했습니다 증명 전에, 안전한 자동차의 차선 추적 기능과 착륙 시스템 자율 항공기의 경우. 그들의 전략은 현재 항공모함에 드론을 착륙시키는 데 사용되고 있으며, 보잉은 올해 실험용 항공기에서 이를 테스트할 계획입니다. "엔드 투 엔드 안전 보장을 제공하는 방법은 매우 중요합니다."라고 말했습니다. 코리나 파사레아누, Carnegie Mellon University 및 NASA의 Ames Research Center의 연구 과학자입니다.
그들의 작업에는 자율주행차에 정보를 제공하는 데 사용되는 기계 학습 알고리즘의 결과를 보장하는 것이 포함됩니다. 높은 수준에서 볼 때, 많은 자율 차량에는 지각 시스템과 제어 시스템이라는 두 가지 구성 요소가 있습니다. 예를 들어, 인식 시스템은 자동차가 차선 중앙에서 얼마나 떨어져 있는지, 비행기가 어느 방향으로 향하고 있는지, 수평선에 대한 각도가 어느 정도인지 알려줍니다. 이 시스템은 카메라 및 기타 감각 도구의 원시 데이터를 신경망 기반 기계 학습 알고리즘에 공급하여 차량 외부 환경을 재현하는 방식으로 작동합니다.
그런 다음 이러한 평가는 수행할 작업을 결정하는 별도의 시스템인 제어 모듈로 전송됩니다. 예를 들어 다가오는 장애물이 있는 경우 브레이크를 밟을지 아니면 그 주변으로 조종할지 결정합니다. 에 따르면 루카 칼론MIT 부교수는 제어 모듈이 잘 정립된 기술에 의존하는 반면 “인식 결과를 바탕으로 결정을 내리며 그 결과가 정확하다는 보장은 없다”고 말했다.
안전 보장을 제공하기 위해 Mitra 팀은 차량 인식 시스템의 신뢰성을 보장하기 위해 노력했습니다. 그들은 먼저 외부 세계를 완벽하게 렌더링할 수 있어야 안전을 보장할 수 있다고 가정했습니다. 그런 다음 인식 시스템이 차량 주변 환경을 재현하는 데 얼마나 많은 오류가 발생하는지 확인했습니다.
이 전략의 핵심은 오류 대역(Mitra가 표현한 것처럼 "알려진 미지의 요소")으로 알려진 관련 불확실성을 정량화하는 것입니다. 그 계산은 그와 그의 팀이 지각 계약이라고 부르는 것에서 비롯됩니다. 소프트웨어 엔지니어링에서 계약은 컴퓨터 프로그램에 대한 특정 입력에 대해 출력이 지정된 범위 내에 속한다는 약속입니다. 이 범위를 알아내는 것은 쉽지 않습니다. 자동차의 센서는 얼마나 정확합니까? 드론은 얼마나 많은 안개, 비, 태양광을 견딜 수 있나요? 그러나 차량을 특정 불확실성 범위 내에서 유지할 수 있고 해당 범위의 결정이 충분히 정확하다면 Mitra 팀은 차량의 안전성을 보장할 수 있음을 입증했습니다.
개요
이는 부정확한 속도계를 가진 누구에게나 익숙한 상황입니다. 장치가 시속 5마일 이상 벗어나지 않는 경우에도 항상 제한 속도(신뢰할 수 없는 속도계에 표시된 대로)보다 5마일 낮게 유지하여 과속을 피할 수 있습니다. 인식 계약은 기계 학습에 의존하는 불완전한 시스템의 안전에 대한 유사한 보장을 제공합니다.
Carlone은 “완벽한 인식은 필요하지 않습니다.”라고 말했습니다. "당신은 안전을 위험에 빠뜨리지 않을 만큼 충분히 좋기를 원할 뿐입니다." 팀의 가장 큰 공헌은 "인식 계약의 전체 아이디어를 소개"하고 이를 구성하는 방법을 제공하는 것이라고 그는 말했습니다. 그들은 시스템의 동작이 일련의 요구 사항을 충족하는지 확인하는 수학적 방법을 제공하는 공식 검증이라는 컴퓨터 과학 분야의 기술을 활용하여 이를 수행했습니다.
Mitra는 "신경망이 어떻게 작동하는지 정확히 알지 못하더라도 신경망 출력의 불확실성이 특정 범위 내에 있음을 수치적으로 증명하는 것이 여전히 가능하다는 것을 보여주었습니다."라고 Mitra는 말했습니다. 그리고 그렇다면 시스템은 안전할 것입니다. "그러면 우리는 주어진 신경망이 실제로 이러한 경계를 충족하는지 여부(그리고 어느 정도)에 대한 통계적 보증을 제공할 수 있습니다."
항공우주회사 시에라 네바다(Sierra Nevada)는 현재 항공모함에 드론을 착륙시키면서 이러한 안전 보장을 테스트하고 있습니다. 이 문제는 비행에 관련된 추가적인 차원 때문에 어떤 면에서는 자동차를 운전하는 것보다 더 복잡합니다. "착륙에는 두 가지 주요 임무가 있습니다." 드라고스 마르기네안투, 보잉의 AI 수석 기술 전문가는 “비행기를 활주로에 맞춰 정렬하고 활주로에 장애물이 없는지 확인합니다. Sayan과의 작업에는 이 두 가지 기능에 대한 보장이 포함됩니다.”
"사얀의 알고리즘을 사용한 시뮬레이션은 [착륙 전 비행기의] 정렬이 확실히 향상되는 것을 보여줍니다."라고 그는 말했습니다. 올해 말로 계획된 다음 단계는 실제로 보잉 실험 항공기를 착륙시키면서 이러한 시스템을 사용하는 것입니다. Margineantu는 가장 큰 과제 중 하나는 우리가 모르는 것이 무엇인지 알아내는 것, 즉 "추정의 불확실성을 결정하는 것"을 파악하고 그것이 안전에 어떤 영향을 미치는지 확인하는 것이라고 말했습니다. "대부분의 오류는 우리가 알고 있다고 생각하는 일을 할 때 발생합니다. 그러나 알고 보니 그렇지 않은 것으로 나타났습니다."
- SEO 기반 콘텐츠 및 PR 배포. 오늘 증폭하십시오.
- PlatoData.Network 수직 생성 Ai. 자신에게 권한을 부여하십시오. 여기에서 액세스하십시오.
- PlatoAiStream. 웹3 인텔리전스. 지식 증폭. 여기에서 액세스하십시오.
- 플라톤ESG. 탄소, 클린테크, 에너지, 환경, 태양광, 폐기물 관리. 여기에서 액세스하십시오.
- PlatoHealth. 생명 공학 및 임상 시험 인텔리전스. 여기에서 액세스하십시오.
- 출처: https://www.quantamagazine.org/how-to-guarantee-the-safety-of-autonomous-vehicles-20240116/
- :있다
- :이다
- :아니
- ][피
- 000
- 2022
- 2023
- 400
- 8
- a
- 소개
- 사고
- 에 따르면
- 정확한
- ACM
- 실제로
- 주소 지정
- 관리
- 항공우주
- AI
- 항공기
- 비행기
- 연산
- 알고리즘
- 조정
- All
- 혼자
- 항상
- an
- 및
- 누군가
- 신청
- 있군요
- 약
- AS
- 평가
- 준
- 꾸민
- At
- 8월
- 자동차
- 자발적인
- 자치 차량
- 가능
- 피하기
- 밴드
- 기반으로
- BE
- 때문에
- 행동
- 존재
- 이하
- 가장 큰
- 보잉
- 범위
- 지사
- 비자 면제 프로그램에 해당하는 국가의 시민권을 가지고 있지만
- by
- 계산
- 전화
- 라는
- 카메라
- CAN
- 기능
- 자동차
- 카네기 멜론
- 카네기 멜론 대학교
- 캐리어
- 나르다
- 자동차
- 케이스
- 센터
- 어떤
- 과제
- 주요한
- City
- CMU
- 동료
- 집합
- 제공
- 헌신
- 기업
- 회사
- 복잡한
- 구성 요소들
- 컴퓨터
- 컴퓨터 과학
- 우려 사항
- 건설 중의
- 계약
- 기부금
- 제어
- 수정
- 세는
- 현재
- 데이터
- 결정
- 도
- 따라
- 결심
- 결정된
- 장치
- DID
- 사망
- 외형 치수
- 방향
- do
- 하지
- 말라
- 그림
- 운전
- 무인 비행기
- 드론
- 쉽게
- 끝으로 종료
- 종료
- 엔지니어링
- 충분히
- 확인
- 보장
- 전체의
- 환경
- 오류
- 오류
- 정확하게
- 예
- 실험
- 여분의
- 떨어지다
- 익숙한
- 멀리
- 먹이
- 먼저,
- 다섯
- 결함
- 나는
- 안개
- 럭셔리
- 형태
- 형식적인
- 시스코
- 무료
- 에
- 기능
- 미래
- 점점
- 주어진
- 좋은
- 보증
- 보증
- 발생
- 있다
- he
- 표제
- 도움
- 높은
- 고속도로
- 그의
- 수평선
- 시간
- 방법
- How To
- 그러나
- HTML
- HTTPS
- 생각
- IEEE
- if
- 일리노이
- 중대한
- 개선
- in
- 표시된
- 통보
- 입력
- 예
- 학회
- 으로
- 소개합니다
- 참여
- 포함
- 참여
- 발행물
- IT
- 그
- 다만
- 유지
- 키
- 알아
- 알려진
- 땅
- 상륙
- 레인
- 후에
- 배우기
- 합법적 인
- 레벨
- 거짓
- 제한
- 로그인
- 이상
- 기계
- 기계 학습
- 잡지
- 본관
- 유튜브 영상을 만드는 것은
- 관리
- .
- 매사추세츠 주
- 매사추세츠 공과 대학교
- 수학의
- XNUMX월..
- 소개
- 멜론
- 방법
- 방법
- 군
- 백만
- MIT
- 모듈
- 배우기
- 많은
- 국가의
- 거의
- 필요
- 네트워크
- 네트워크
- 신경
- 신경망
- 신경망
- 네바다
- 못
- 다음 것
- 아니
- 유명한
- 지금
- 장애물
- 장애물
- of
- 오프
- on
- ONE
- 운영
- or
- 기타
- 우리의
- 아웃
- 출력
- 외부
- 소유
- 인내
- 사람들
- 용
- 지각
- 완전한
- 기간
- 평면
- 비행기들
- 계획
- 계획
- 플라톤
- 플라톤 데이터 인텔리전스
- 플라토데이터
- 가능한
- 가능성
- 이전에
- 문제
- 방법
- 교수
- 프로그램
- 증명
- 증명
- 제공
- 제공
- 제공
- 놓다
- 비
- 범위
- 살갗이 벗어 진
- 원시 데이터
- 등록된
- 신뢰성
- 렌더링
- 요구조건 니즈
- 연구
- 제품 자료
- 점
- 결과
- 결과
- 위험
- 통로
- 가장 안전한 따뜻함
- 안전
- 말했다
- 산
- 샌프란시스코
- 만족
- 과학
- 과학자
- 보고
- 센서
- 전송
- 별도의
- 진지하게
- 세트
- 표시
- 보여
- 비슷한
- 사태
- SIX
- So
- 소프트웨어
- 소프트웨어 공학
- 태양의
- 일부
- 때로는
- 지정
- 속도
- 미국
- 통계적인
- 숙박
- 보냈네
- 단계
- 아직도
- 전략
- 확인
- 체계
- 시스템은
- 작업
- 팀
- 기법
- 과학 기술자
- Technology
- 말하다
- test
- 지원
- 테스트
- 보다
- 그
- XNUMXD덴탈의
- 미래
- 그들의
- 그들
- 그때
- 그곳에.
- Bowman의
- 그들
- 일
- 생각
- 이
- 올해
- 그
- 그래도?
- 을 통하여
- 에
- 검색을
- 교통
- 결국
- 두
- 불확실성
- 불확실성
- 폭로하다
- 미국
- United States
- 대학
- 까지
- 곧 출시
- 익숙한
- 사용
- 보통의
- 자동차
- 차량
- 확인
- 대단히
- 필요
- 방법..
- 방법
- we
- 웹
- 했다
- 뭐
- 언제
- 여부
- 어느
- 동안
- 의지
- 과
- 이내
- 작업
- 일
- 세계
- year
- 당신
- 너의
- 제퍼 넷