맞춤기술찾기

이전대상기술

오토마타 상태 복잡도에 기초한 프로그램의 리소스 예측 방법 및 이를 적용한 장치

  • 기술번호 : KST2019015259
  • 담당센터 : 대전기술혁신센터
  • 전화번호 : 042-610-2279
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 상태 복잡도에 기초한 프로그램의 리소스 예측 장치가 개시된다. 본 장치는 프로그램의 소스 코드를 입력받는 입력부 및 프로그램의 소스 코드를 복수의 코드 카테고리 각각에 대응되는 FA(Finite-state Automata)로 생성하고, 생성된 FA 각각에 대한 상태 복잡도를 산출하며, 산출된 상태 복잡도에 기초하여 프로그램의 수행 시간을 예측하는 프로세서를 포함한다. 이에 따라, 장치 효율이 향상될 수 있다.
Int. CL G06F 11/34 (2006.01.01)
CPC G06F 11/3442(2013.01) G06F 11/3442(2013.01) G06F 11/3442(2013.01)
출원번호/일자 1020180163910 (2018.12.18)
출원인 한국과학기술정보연구원
등록번호/일자 10-1997012-0000 (2019.07.01)
공개번호/일자
공고번호/일자 (20190705) 문서열기
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 등록
심사진행상태 수리
심판사항
구분 신규
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (2018.12.18)
심사청구항수 3

출원인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 출원인 표입니다.
번호 이름 국적 주소
1 한국과학기술정보연구원 대한민국 대전광역시 유성구

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 유진승 대전광역시 유성구
2 박찬열 대전광역시 서구
3 한요섭 서울특별시 은평구
4 천현준 인천광역시 부평구

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
1 특허법인 남앤남 대한민국 서울특별시 중구 서소문로 ** (서소문동, 정안빌딩 *층)

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
1 한국과학기술정보연구원 대전광역시 유성구
2 연세대학교 산학협력단 서울특별시 서대문구
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 [우선심사신청]심사청구(우선심사신청)서
[Request for Preferential Examination] Request for Examination (Request for Preferential Examination)
2018.12.18 수리 (Accepted) 1-1-2018-1271640-37
2 [특허출원]특허출원서
[Patent Application] Patent Application
2018.12.18 수리 (Accepted) 1-1-2018-1271068-20
3 [우선심사신청]선행기술조사의뢰서
[Request for Preferential Examination] Request for Prior Art Search
2018.12.20 수리 (Accepted) 9-1-9999-9999999-89
4 [우선심사신청]선행기술조사보고서
[Request for Preferential Examination] Report of Prior Art Search
2018.12.27 수리 (Accepted) 9-1-2018-0072250-07
5 의견제출통지서
Notification of reason for refusal
2019.02.20 발송처리완료 (Completion of Transmission) 9-5-2019-0124479-25
6 [명세서등 보정]보정서
[Amendment to Description, etc.] Amendment
2019.04.22 보정승인간주 (Regarded as an acceptance of amendment) 1-1-2019-0410116-18
7 [거절이유 등 통지에 따른 의견]의견(답변, 소명)서
[Opinion according to the Notification of Reasons for Refusal] Written Opinion(Written Reply, Written Substantiation)
2019.04.22 수리 (Accepted) 1-1-2019-0410115-62
8 등록결정서
Decision to grant
2019.06.27 발송처리완료 (Completion of Transmission) 9-5-2019-0461397-40
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1
프로세서에 의해 수행되는 상태 복잡도에 기초한 프로그램의 리소스 예측 방법에 있어서,프로그램의 소스 코드를 복수의 코드 카테고리 각각에 대응되는 FA(Finite-state Automata)로 생성하는 단계;생성된 FA 각각에 대한 상태 복잡도를 산출하는 단계; 산출된 상태 복잡도에 기초하여 상기 프로그램의 수행 시간을 예측하는 단계; 및상기 프로그램을 수행한 실제 시간과 상기 예측된 수행 시간을 비교하는 단계를 포함하며,상기 복수의 코드 카테고리는,일반 명령 코드, 분기 코드, 재귀 코드 및 반복 코드 중 적어도 하나를 포함하며,상기 프로세서는,상기 일반 명령 코드의 경우 모델의 상태복잡도를 합산하고, 상기 분기 코드의 경우, 가중 평균에 기초하여 상태복잡도를 산출하며,상기 반복 코드의 경우 K * 모델의 상태복잡도를 산출하는(여기서 K는 최대 반복 횟수), 상태 복잡도에 기초한 프로그램의 리소스 예측 방법
2 2
삭제
3 3
삭제
4 4
프로그램의 소스 코드를 입력받는 입력부; 및프로그램의 소스 코드를 복수의 코드 카테고리 각각에 대응되는 FA(Finite-state Automata)로 생성하고, 생성된 FA 각각에 대한 상태 복잡도를 산출하며, 산출된 상태 복잡도에 기초하여 상기 프로그램의 수행 시간을 예측하는 프로세서를 포함하며,상기 프로세서는,상기 프로그램을 수행한 실제 시간과 상기 예측된 수행 시간을 비교하며,상기 복수의 코드 카테고리는,일반 명령 코드, 분기 코드, 재귀 코드 및 반복 코드 중 적어도 하나를 포함하고,상기 프로세서는,상기 일반 명령 코드의 경우 모델의 상태복잡도를 합산하고, 상기 분기 코드의 경우, 가중 평균에 기초하여 상태복잡도를 산출하며,상기 반복 코드의 경우 K * 모델의 상태복잡도를 산출하는(여기서 K는 최대 반복 횟수), 상태 복잡도에 기초한 프로그램의 리소스 예측 장치
5 5
삭제
6 6
삭제
7 7
컴퓨터 상에서 수행하기 위한 프로그램을 기록한 비일시적 컴퓨터 판독 가능한 기록 매체에서 상기 프로그램은, 프로세서에 의한 실행 시, 상기 프로세서가, 프로그램의 소스 코드를 복수의 코드 카테고리 각각에 대응되는 FA(Finite-state Automata)로 생성하는 동작,생성된 FA 각각에 대한 상태 복잡도를 산출하는 동작,산출된 상태 복잡도에 기초하여 상기 프로그램의 수행 시간을 예측하는 동작, 및상기 프로그램을 수행한 실제 시간과 상기 예측된 수행 시간을 비교하는 동작을 수행하도록 하는 실행 가능한 명령을 포함하며,상기 복수의 코드 카테고리는,일반 명령 코드, 분기 코드, 재귀 코드 및 반복 코드 중 적어도 하나를 포함하고,상기 프로세서는,상기 일반 명령 코드의 경우 모델의 상태복잡도를 합산하고, 상기 분기 코드의 경우, 가중 평균에 기초하여 상태복잡도를 산출하며,상기 반복 코드의 경우 K * 모델의 상태복잡도를 산출하는(여기서 K는 최대 반복 횟수), 비일시적 컴퓨터 판독 가능한 기록 매체
지정국 정보가 없습니다
패밀리정보가 없습니다
순번, 연구부처, 주관기관, 연구사업, 연구과제의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 국가R&D 연구정보 정보 표입니다.
순번 연구부처 주관기관 연구사업 연구과제
1 과학기술정보통신부 한국과학기술정보연구원 한국과학기술정보연구원연구운영비지원(주요사업비) 페타플롭스급 슈퍼컴퓨팅 시스템 기술 개발