맞춤기술찾기

이전대상기술

오토마타 기반 증분적 중위 확률 계산 장치 및 방법

  • 기술번호 : KST2020012184
  • 담당센터 : 서울서부기술혁신센터
  • 전화번호 : 02-6124-6930
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 본 발명은 결정적 유한 오토마타를 기반으로 획득된 DFA 모델을 이용하여 문자열을 정규 표현식으로 획득한 후, 명료한 정규 표현식으로 변환하고, 확률적 유한 오토마타를 이용하여 명료한 정규 표현식으로 표현된 문자열의 출현 확률을 정확하게 계산할 수 있도록 하고, 정규 표현식으로 표현된 문자열의 증분에 따른 출현 확률을 정규 표현식의 증분 방식으로 획득함으로써 용이하게 획득할 수 있도록 하는 오토마타 기반 증분적 중위 확률 계산 장치 및 방법을 제공할 수 있다.
Int. CL G06F 16/33 (2019.01.01) G06F 17/16 (2006.01.01)
CPC G06F 16/3346(2013.01) G06F 16/3346(2013.01)
출원번호/일자 1020190012472 (2019.01.31)
출원인 연세대학교 산학협력단
등록번호/일자 10-2146625-0000 (2020.08.13)
공개번호/일자 10-2020-0094977 (2020.08.10) 문서열기
공고번호/일자 (20200820) 문서열기
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 등록
심사진행상태 수리
심판사항
구분 신규
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (2019.01.31)
심사청구항수 8

출원인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 출원인 표입니다.
번호 이름 국적 주소
1 연세대학교 산학협력단 대한민국 서울특별시 서대문구

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 한요섭 서울특별시 은평구
2 코그네타 마르코 서울특별시 마포구
3 권순찬 충청남도 천안시 서북구
4 박준우 경기도 부천시 소향로 **, *

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
1 민영준 대한민국 서울특별시 강남구 남부순환로 ****, *층(도곡동, 차우빌딩)(맥스국제특허법률사무소)

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
1 연세대학교 산학협력단 대한민국 서울특별시 서대문구
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 [특허출원]특허출원서
[Patent Application] Patent Application
2019.01.31 수리 (Accepted) 1-1-2019-0113654-15
2 선행기술조사의뢰서
Request for Prior Art Search
2019.09.06 수리 (Accepted) 9-1-9999-9999999-89
3 선행기술조사보고서
Report of Prior Art Search
2019.10.11 수리 (Accepted) 9-1-2019-0045668-89
4 의견제출통지서
Notification of reason for refusal
2020.03.31 발송처리완료 (Completion of Transmission) 9-5-2020-0229205-31
5 [거절이유 등 통지에 따른 의견]의견서·답변서·소명서
2020.05.29 수리 (Accepted) 1-1-2020-0549880-00
6 [명세서등 보정]보정서
[Amendment to Description, etc.] Amendment
2020.05.29 보정승인간주 (Regarded as an acceptance of amendment) 1-1-2020-0549841-29
7 등록결정서
Decision to grant
2020.08.07 발송처리완료 (Completion of Transmission) 9-5-2020-0541281-21
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1
출현 확률을 계산할 문자열(w)의 각 문자에 대하여 결정적 유한 오토마타(이하 DFA)를 기반으로 정규 표현식 형태의 정규 언어를 획득하기 위해 다수의 상태 및 전이 함수로 구성된 DFA 모델을 획득하는 DFA 모델 획득부; 상기 DFA 모델에 초기 상태 및 단일 최종 상태와 초기 상태 및 단일 최종 상태에 대응하는 전이 함수를 추가한 후, DFA 모델의 각 상태들 간의 경로 중 중첩될 수 있는 경로를 동적으로 반복 제거하여, 명료한 정규 표현식을 표현할 수 있는 DFA 모델로 변환하는 정규 표현식 변환부; 변환된 DFA 모델의 각 상태 및 전이 경로의 확률을 확률적 유한 오토마타(이하 PFA)로 획득되는 PFA 모델을 기반으로 계산하여, 변환된 DFA 모델의 가중치로 적용하는 PFA 모델 교차부; 가중치가 적용된 DFA 모델에 문자열(w)을 포함하는 문자열 집합(F(w)) 중 증분된 문자열(wa)이 출현하는 문자열 집합(F(wa))에도 포함되는 문자열(F(w)\F(wa))에 대한 상태와 전이 함수를 추가함으로써, 증분 가중치가 적용된 DFA 모델을 획득하고, 획득된 증분 가중치가 적용된 DFA 모델을 이용하여, 문자열 및 증분된 문자열의 출현 확률을 계산하는 증분 확률 계산부; 및상기 정규 표현식 변환부에서 명료한 정규 표현식을 표현하도록 변환된 DFA 모델에서 정규 표현식의 각 문자를 행렬 형식으로 변환하는 행렬 변환부를 포함하는 오토마타 기반 증분적 중위 확률 계산 장치
2 2
제1 항에 있어서, 상기 정규 표현식 변환부는 n개의 상태(q = q1, q2,
3 3
제2 항에 있어서, 상기 PFA 모델 교차부는 PFA 를 기반으로 모델링되는 PFA 모델(P)을 기반으로 문자열(w)에 대응하여 명료한 정규 표현식을 표현하도록 변환된 DFA 모델(D)의 가중치를 수학식 (여기서 L(D)는 변환된 DFA 모델(D)로 표현되는 문자열(w)에 대한 명료한 정규 표현식)에 따라 획득하여 적용하는 오토마타 기반 증분적 중위 확률 계산 장치
4 4
제3 항에 있어서, 상기 증분 확률 계산부는 가중치가 적용된 DFA 모델에 문자열(w)을 포함하는 문자열 집합(F(w)) 중 증분된 문자열(wa)이 출현하는 문자열 집합(F(wa))에도 포함되는 중복 문자열(F(w)\F(wa))에 대한 상태와 전이 함수를 수학식 에 따라 획득하여, 가중치가 적용된 DFA 모델에 추가함으로써, 증분 가중치가 적용된 DFA 모델을 획득하는 오토마타 기반 증분적 중위 확률 계산 장치
5 5
삭제
6 6
출현 확률을 계산할 문자열(w)의 각 문자에 대하여 결정적 유한 오토마타(이하 DFA)를 기반으로 정규 표현식 형태의 정규 언어를 획득하기 위해 다수의 상태 및 전이 함수로 구성된 DFA 모델을 획득하는 단계; 상기 DFA 모델에 초기 상태 및 단일 최종 상태와 초기 상태 및 단일 최종 상태에 대응하는 전이 함수를 추가한 후, DFA 모델의 각 상태들 간의 경로 중 중첩될 수 있는 경로를 동적으로 반복 제거하여, 명료한 정규 표현식을 표현할 수 있는 DFA 모델로 변환하는 단계; 변환된 DFA 모델의 각 상태 및 전이 경로의 확률을 확률적 유한 오토마타(이하 PFA)로 획득되는 PFA 모델을 기반으로 계산하여, 변환된 DFA 모델의 가중치로 적용하는 단계; 가중치가 적용된 DFA 모델에 문자열(w)을 포함하는 문자열 집합(F(w)) 중 증분된 문자열(wa)이 출현하는 문자열 집합(F(wa))에도 포함되는 문자열(F(w)\F(wa))에 대한 상태와 전이 함수를 추가함으로써, 증분 가중치가 적용된 DFA 모델을 획득하고, 획득된 증분 가중치가 적용된 DFA 모델을 이용하여, 문자열 및 증분된 문자열의 출현 확률을 계산하는 단계; 및명료한 정규 표현식을 표현하도록 변환된 DFA 모델에서 정규 표현식의 각 문자를 행렬 형식으로 변환하는 단계를 포함하는 오토마타 기반 증분적 중위 확률 계산 방법
7 7
제6 항에 있어서, 상기 DFA 모델로 변환하는 단계는 n개의 상태(q = q1, q2,
8 8
제7 항에 있어서, 상기 DFA 모델의 가중치로 적용하는 단계는 PFA 를 기반으로 모델링되는 PFA 모델(P)을 기반으로 문자열(w)에 대응하여 명료한 정규 표현식을 표현하도록 변환된 DFA 모델(D)의 가중치를 수학식 (여기서 L(D)는 변환된 DFA 모델(D)로 표현되는 문자열(w)에 대한 명료한 정규 표현식)에 따라 획득하여 적용하는 오토마타 기반 증분적 중위 확률 계산 방법
9 9
제8 항에 있어서, 상기 출현 확률을 계산하는 단계는 가중치가 적용된 DFA 모델에 문자열(w)을 포함하는 문자열 집합(F(w)) 중 증분된 문자열(wa)이 출현하는 문자열 집합(F(wa))에도 포함되는 중복 문자열(F(w)\F(wa))에 대한 상태와 전이 함수를 수학식 에 따라 획득하여, 가중치가 적용된 DFA 모델에 추가하는 단계; 상태와 전이 함수가 추가된 가중치가 적용된 DFA 모델에 따라 증분 가중치가 적용된 DFA 모델을 획득하는 단계; 및 증분 가중치가 적용된 DFA 모델을 이용하여 증분 문자열의 출현 확률을 계산하는 단계; 를 포함하는 오토마타 기반 증분적 중위 확률 계산 방법
10 10
삭제
지정국 정보가 없습니다
패밀리정보가 없습니다
순번, 연구부처, 주관기관, 연구사업, 연구과제의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 국가R&D 연구정보 정보 표입니다.
순번 연구부처 주관기관 연구사업 연구과제
1 과학기술정보통신부 창원대학교 산학협력단 정보통신방송연구개발사업 [이지바로][주관/창원대학교] GANs를 이용한 딥러닝용 학습데이터 자가 증식 기술 및 유효성 검증 기술 개발 (1/2)