$\require{mediawiki-texvc}$
  • 검색어에 아래의 연산자를 사용하시면 더 정확한 검색결과를 얻을 수 있습니다.
  • 검색연산자
검색도움말
검색연산자 기능 검색시 예
() 우선순위가 가장 높은 연산자 예1) (나노 (기계 | machine))
공백 두 개의 검색어(식)을 모두 포함하고 있는 문서 검색 예1) (나노 기계)
예2) 나노 장영실
| 두 개의 검색어(식) 중 하나 이상 포함하고 있는 문서 검색 예1) (줄기세포 | 면역)
예2) 줄기세포 | 장영실
! NOT 이후에 있는 검색어가 포함된 문서는 제외 예1) (황금 !백금)
예2) !image
* 검색어의 *란에 0개 이상의 임의의 문자가 포함된 문서 검색 예) semi*
"" 따옴표 내의 구문과 완전히 일치하는 문서만 검색 예) "Transform and Quantization"

통합검색

도움말도움말
상세검색 다국어 입력

연합인증

연합인증 가입 기관의 연구자들은 소속기관의 인증정보(ID와 암호)를 이용해 다른 대학, 연구기관, 서비스 공급자의 다양한 온라인 자원과 연구 데이터를 이용할 수 있습니다.

이는 여행자가 자국에서 발행 받은 여권으로 세계 각국을 자유롭게 여행할 수 있는 것과 같습니다.

연합인증으로 이용이 가능한 서비스는 NTIS, DataON, Edison, Kafe, Webinar 등이 있습니다.

한번의 인증절차만으로 연합인증 가입 서비스에 추가 로그인 없이 이용이 가능합니다.

다만, 연합인증을 위해서는 최초 1회만 인증 절차가 필요합니다. (회원이 아닐 경우 회원 가입이 필요합니다.)

연합인증 절차는 다음과 같습니다.

최초이용시에는
ScienceON에 로그인 → 연합인증 서비스 접속 → 로그인 (본인 확인 또는 회원가입) → 서비스 이용

그 이후에는
ScienceON 로그인 → 연합인증 서비스 접속 → 서비스 이용

연합인증을 활용하시면 KISTI가 제공하는 다양한 서비스를 편리하게 이용하실 수 있습니다.

특허 상세정보

MyON담기
내보내기 페이스북 공유 카카오톡 공유

Method of verifying pretrained neural net mapping for use in safety-critical software

특허상세정보
국가/구분 United States(US) Patent 등록
국제특허분류(IPC7판) G06F-015/18   
미국특허분류(USC) 706/015; 706/031
출원번호 US-0465881 (1999-12-16)
발명자 / 주소
출원인 / 주소
대리인 / 주소
    James M. Rashid
인용정보 피인용 횟수 : 8  인용 특허 : 0
초록
▼

A method of verifying pretrained, static, feedforward neural network mapping software using Lipschitz constants for determining bounds on output values and estimation errors is disclosed. By way of example, two cases of interest from the point of view of safety-critical software, like aircraft fuel gauging systems, are discussed. The first case is the simpler case of when neural net mapping software is trained to replace look-up table mapping software. A detailed verification procedure is provided to establish functional equivalence of the neural net and...

대표
청구항
▼

1. A method of verifying the behavior of pretrained, static, feedforward neural network mapping software having a neural net mapping function f(x) that is intended to replace look up table mapping software having a look up table mapping function .phi.(x), said method comprising executing the following steps on the neural network mapping software and look up table mapping software in a digital computer:establishing a multi-axis rectangular domain including upper and lower limits of each axis to bound all input vectors x of both said look up table mapping ...

이 특허를 인용한 특허 피인용횟수: 8

  1. Commons, Michael Lamport. Intelligent control with hierarchical stacked neural networks. USP2015069053431.
  2. Commons, Michael Lamport. Intelligent control with hierarchical stacked neural networks. USP2018019875440.
  3. Zakrzewski,Radoslaw Romuald. Method and apparatus for fast interpolation of multi-dimensional functions with non-rectangular data sets. USP2007047203716.
  4. Flynn,Timothy D.; Hess,Robert Alan; Noble,Barbara. Method of inferring rotorcraft gross weight. USP2007117296006.
  5. Peless, Ehud; Abramson, Shai; Dror, Gideon. Navigation method and system for autonomous machines with markers defining the working area. USP2005026850024.
  6. Peless,Ehud; Abramson,Shai; Dror,Gideon. Navigation method and system for autonomous machines with markers defining the working area. USP2006016984952.
  7. Pillarisetti, Aravind; Szpak, Peter S.; Kim, Jesung; Lin, Xiaocang; Mosterman, Pieter J.. Optimization identification. USP2018049934004.
  8. Pillarisetti, Aravind; Szpak, Peter; Kim, Jesung; Lin, Xiaocang; Mosterman, Pieter J.. Optimization identification. USP2014048689194.

IPC 상위 출원인