맞춤기술찾기

홈으로 가기
맞춤기술찾기
이전대상기술
프린트하기

이전대상기술

프로그램 언어 변환 장치 및 프로그램 언어 변환 장치를 구비하는 검증 장치

  • 기술번호 : KST2015173249
  • 담당센터 : 서울동부기술혁신센터
  • 전화번호 : 02-2155-3662
상담신청 PDF 받기
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 본 발명의 실시예에 따른 프로그램 언어 변환 장치는 제1 프로그램의 일반 블록을 제2 프로그램의 언어로 변환하는 일반 블록 변환부; 상기 제1 프로그램의 전역 변수를 상기 제2 프로그램의 VAR에서 GV_[전역 변수명MAT]으로 변환하는 전역 변수 선언부; 및 상기 제1 프로그램의 외부 변수의 입력 변수를 상기 제2 프로그램의 VAR에서 EXT_U_[외부 변수명MAT]로 변환하고, 상기 제1 프로그램의 외부 변수의 출력 변수를 상기 제2 프로그램의 VAR에서 EXT_Y_[외부 변수명MAT]로 변환하는 외부 변수 선언부를 포함한다.
Int. CL G06F 9/45 (2006.01) G06F 11/36 (2006.01)
CPC G06F 8/51(2013.01) G06F 8/51(2013.01)
출원번호/일자 1020130153081 (2013.12.10)
출원인 건국대학교 산학협력단
등록번호/일자 10-1629068-0000 (2016.06.02)
공개번호/일자 10-2015-0067545 (2015.06.18) 문서열기
공고번호/일자 (20160621) 문서열기
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 등록
심사진행상태 수리
심판사항
구분 신규
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (2013.12.10)
심사청구항수 15

출원인

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

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 남원홍 대한민국 서울특별시 강동구

대리인

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

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
1 건국대학교 산학협력단 대한민국 서울특별시 광진구
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 [특허출원]특허출원서
[Patent Application] Patent Application		 2013.12.10 수리 (Accepted) 1-1-2013-1129237-14
2 선행기술조사의뢰서
Request for Prior Art Search		 2014.12.05 수리 (Accepted) 9-1-9999-9999999-89
3 선행기술조사보고서
Report of Prior Art Search		 2015.01.09 수리 (Accepted) 9-1-2015-0005893-70
4 의견제출통지서
Notification of reason for refusal		 2015.04.30 발송처리완료 (Completion of Transmission) 9-5-2015-0289555-28
5 [거절이유 등 통지에 따른 의견]의견(답변, 소명)서
[Opinion according to the Notification of Reasons for Refusal] Written Opinion(Written Reply, Written Substantiation)		 2015.06.16 수리 (Accepted) 1-1-2015-0579494-64
6 [명세서등 보정]보정서
[Amendment to Description, etc.] Amendment		 2015.06.16 보정승인간주 (Regarded as an acceptance of amendment) 1-1-2015-0579495-10
7 최후의견제출통지서
Notification of reason for final refusal		 2015.11.27 발송처리완료 (Completion of Transmission) 9-5-2015-0826811-19
8 [거절이유 등 통지에 따른 의견]의견(답변, 소명)서
[Opinion according to the Notification of Reasons for Refusal] Written Opinion(Written Reply, Written Substantiation)		 2016.01.27 수리 (Accepted) 1-1-2016-0091199-22
9 [명세서등 보정]보정서
[Amendment to Description, etc.] Amendment		 2016.01.27 보정승인 (Acceptance of amendment) 1-1-2016-0091213-85
10 등록결정서
Decision to grant		 2016.05.31 발송처리완료 (Completion of Transmission) 9-5-2016-0399109-15
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1
제1 프로그램의 일반 블록을 제2 프로그램의 언어로 변환하는 일반 블록 변환부;상기 제1 프로그램의 전역 변수를 상기 제2 프로그램의 VAR에서 GV_[전역 변수명MAT]으로 변환하는 전역 변수 선언부; 및 상기 제1 프로그램의 외부 변수의 입력 변수를 상기 제2 프로그램의 VAR에서 EXT_U_[외부 변수명MAT]로 변환하고, 상기 제1 프로그램의 외부 변수의 출력 변수를 상기 제2 프로그램의 VAR에서 EXT_Y_[외부 변수명MAT]로 변환하는 외부 변수 선언부를 포함하고, 상기 제1 프로그램은 매트릭스엑스이고, 제2 프로그램은 NuSMV인 프로그램 언어 변환 장치
2 2
삭제
3 3
제1항에 있어서,상기 일반 블록 변환부는상기 제1 프로그램의 읽기 변수 블록을 next(B[block_num]_RV_Y) = next([variable_namesmv])로 변환하는 읽기 변수 블록 변환기를 포함하고,상기 RV는 상기 읽기 변수 블록의 아이디이고, 상기 variable_name는 상기 읽기 변수 블록의 명칭이고, 상기 block_num은 상기 읽기 변수 블록의 생성 순서이고, 상기 B[block_num]_RV_Y는 상기 읽기 변수 블록의 출력 신호인 프로그램 언어 변환 장치
4 4
제1항에 있어서,상기 일반 블록 변환부는 상기 제1 프로그램의 쓰기 변수 블록을 next([variable_namesmv]) = next(B[block_num]_WV_U)으로 변환하는 쓰기 변수 블록 변환기를 포함하고,상기 WV는 상기 쓰기 변수 블록의 아이디이고, 상기 variable_name는 상기 쓰기 변수 블록의 명칭이고, 상기 block_num은 상기 쓰기 변수 블록의 생성 순서이고, 상기 B[block_num]_WV_U는 상기 쓰기 변수 블록의 출력 신호인 프로그램 언어 변환 장치
5 5
제1항에 있어서,상기 일반 블록 변환부는 상기 제1 프로그램의 조건문 블록의 이프 블록은 [Equations]-003e# b1 0026# b2 0026#b3 …bn로 엘스 블록은![Equations]-003e# b1' 0026# b2' 0026#b3' …bn'으로 변환하는 조건문 블록 변환기를 포함하고, 상기 Equations은 상기 조건문 블록에 포함된 식이고, 상기 b1 0026# b2 0026#b3 …bn는 상기 이프 블록의 내용이고, 상기 b1' 0026# b2' 0026#b3' …bn'는 상기 엘스 블록의 내용인 프로그램 언어 변환 장치
6 6
제1항에 있어서,상기 일반 블록 변환부는 상기 제1 프로그램의 게인 블록을 next(B[block_num]_GAIN_Y) = next(B[block_num]_GAIN_U)*Gain Value으로 변환하는 게인 블록 변환기를 포함하고,상기 GAIN는 상기 게인 블록의 아이디이고, 상기 block_num은 상기 게인 블록의 생성 순서이고, 상기 Gain Value은 이득이고, 상기 B[block_num]_GAIN_Y는 상기 게인 블록의 출력 신호이고, 상기 B[block_num]_GAIN_U 상기 게인 블록의 입력 신호인 프로그램 언어 변환 장치
7 7
제1항에 있어서,상기 일반 블록 변환부는 상기 제1 프로그램의 절대값 블록을 next(B[block_num]_ABS_U)003c#0 -003e# next(B[block_num]_ABS_Y) = -1* next(B[block_num]_ABS_U)으로 변환하는 절대값 블록 변환기를 포함하고,상기 ABS는 상기 절대값 블록의 아이디이고, 상기 block_num은 상기 절대값 블록의 생성 순서이고, 상기 B[block_num]_ABS_Y는 상기 절대값 블록의 출력 신호이고, 상기 B[block_num]_ABS_U 상기 절대값 블록의 입력 신호인 프로그램 언어 변환 장치
8 8
제1항에 있어서,상기 일반 블록 변환부는 상기 제1 프로그램의 대수식 블록을 next(B[block_num]_ALG_Y)=next(B[block_num]_ALG_U)*next(B[block_num]_ALG_U)"로 변환하는 대수식 블록 변환기를 포함하고, 상기 대수식 블록 변환기는 상기 대수식 블록에 포함된 수식에 상기 대수식 블록의 입출력 신호를 대입하는 방식으로 변환하되,상기 B[block_num]_ALG_Y는 상기 대수식 블록의 출력 신호이고, 상기 B[block_num]_ALG_U 상기 대수식 블록의 입력 신호인 프로그램 언어 변환 장치
9 9
제1항에 있어서,상기 일반 블록 변환부는 상기 제1 프로그램의 덧셈 블록을 next(B[block_num]_SUM_Y) = [sign1] next(B[block_num]_SUM_U1) [sign2] next(B[block_num]_SUM_U2로 변환하는 덧셈 블록 변환기를 포함하고,상기 SUM은 상기 덧셈 블록의 아이디이고, 상기 block_num은 상기 덧셈 블록의 생성 순서이고, 상기 B[block_num]_SUM_Y는 상기 덧셈 블록의 출력 신호이고, 상기 B[block_num]_SUM_U1는 상기 덧셈 블록의 제1 입력 신호이고, 상기 B[block_num]_SUM_U2는 상기 덧셈 블록의 제2 입력 신호이고, 상기 sign1는 및 sign2는 양의 부호 및 음의 부호 중 어느 하나이고, 상기 sign1은 상기 B[block_num]_SUM_U1의 부호이고, 상기 sign2는 상기 B[block_num]_SUM_U2의 부호인 프로그램 언어 변환 장치
10 10
제1항에 있어서,상기 일반 블록 변환부는 상기 제1 프로그램의 내적 블록을 next(B[block_num]_MUL_Y) = next(B[block_num]_MUL_U1)* next(B[block_num]_MUL_U2)으로 변환하는 내적 블록 변환기를 포함하고,상기 MUL는 상기 내적 블록의 아이디이고, 상기 block_num은 상기 내적 블록의 생성 순서이고, 상기 B[block_num]_MUL_Y는 상기 내적 블록의 출력 신호이고, 상기 B[block_num]_MUL_U1는 상기 내적 블록의 제1 입력 신호이고, 상기 B[block_num]_MUL_U2는 상기 내적 블록의 제2 입력 신호인 프로그램 언어 변환 장치
11 11
제1항에 있어서,상기 일반 블록 변환부는 상기 제1 프로그램의 엘레멘트 디비젼 블록을 next(B[block_num]_DIV_Y) = next(B[block_num]_DIV_U1)* next(B[block_num]_DIV_U2)으로 변환하는 엘레멘트 디비젼 블록 변환기를 포함하고,상기 DIV는 상기 엘레멘트 디비젼 블록의 아이디이고, 상기 block_num은 상기 엘레멘트 디비젼 블록의 생성 순서이고, 상기 B[block_num]_DIV_Y는 상기 엘레멘트 디비젼 블록의 출력 신호이고, 상기 B[block_num]_DIV_U1는 상기 엘레멘트 디비젼 블록의 제1 입력 신호이고, 상기 B[block_num]_DIV_U2는 상기 엘레멘트 디비젼 블록의 제2 입력 신호인 프로그램 언어 변환 장치
12 12
제1항에 있어서,상기 제1 프로그램의 블록 스크립트를 받아 상기 제2 프로그램의 언어로 변환하는 블록 스크립트 변환부를 더 포함하고,상기 블록 스크립트 변환부는 상기 블록 스크립트의 입력 신호를 B[block_num]_BS_U_[variable_nameBS]로 상기 블록 스크립트의 출력 신호를 B[block_num]_BS_Y_[variable_nameBS]로 상기 블록 스크립트의 파라미터를 B[block_num]_BS_P_[variable_nameBS]로 선언하고, 상기 BS는 블록 스크립트의 아이디이고, 상기 블록 스크립트의 각 라인에 대응하는 프로그램 카운터를 생성하는 프로그램 언어 변환 장치
13 13
제1항에 있어서,상기 제1 프로그램의 시퀀스 바 블록에 의해 나눠진 실행창을 마이너 클럭 세크(minor_clock_seq) 변환하는 시퀀스 바 블록 변환부를 더 포함하고,상기 바 블록 변환부는 시퀀스 바 블록에 의해 나눠진 실행창 중 가장 좌측창을 마이너 클럭 세크(minor_clock_seq)가 1인 것으로 변환하고, 가장 좌측창의 바로 우측 창을 클럭 세크(minor_clock_seq)가 2인 것으로 변환하는 프로그램 언어 변환 장치
14 14
제1항에 있어서,상기 제1 프로그램의 제1 블록간 및 제2 블록의 연결관계를 B[block_num2]_[block_id2])_U:= B[block_num1]_[block_id1]_Y으로 변환하는 연결 변환부를 더 포함하고,상기 제1 블록의 block_num과 block_id를 각각 block_num1, block_id1이라고 하고, 제2 블록의 block_num과 block_id를 각각 block_num2, block_id2이라고 하고, 상기 B[block_num2]_[block_id2])_U는 상기 제2 블록의 입력 신호이고, 상기 B[block_num1]_[block_id1]_Y는 상기 제1 블록의 출력 신호이고, 상기 block_num은 각 블록의 생성 순서이고, 상기 block_id는 각 블록의 아이디인 프로그램 언어 변환 장치
15 15
제1 프로그램의 언어 또는 블록을 입력으로 받는 입력부;상기 제1 프로그램의 언어 또는 블록을 제2 프로그램의 언어로 변환하는 변환부; 및 상기 변환부에서 변환된 상기 제2 프로그램의 언어에 기초하여 상기 제1 프로그램의 검증을 수행하는 검증부를 포함하고,상기 변환부는상기 제1 프로그램의 일반 블록을 상기 제2 프로그램의 언어로 변환하는 일반 블록 변환부;상기 제1 프로그램의 전역 변수를 상기 제2 프로그램의 VAR에서 GV_[전역 변수명MAT]으로 변환하는 전역 변수 선언부; 및 상기 제1 프로그램의 외부 변수의 입력 변수를 상기 제2 프로그램의 VAR에서 EXT_U_[외부 변수명MAT]로 변환하고, 상기 제1 프로그램의 외부 변수의 출력 변수를 상기 제2 프로그램의 VAR에서 EXT_Y_[외부 변수명MAT]로 변환하는 외부 변수 선언부를 포함하고,상기 제1 프로그램은 매트릭스엑스이고, 제2 프로그램은 NuSMV인 검증 장치
16 16
제15항에 있어서,상기 검증부는 컴퓨테이션 트리 로직에 기초하여 상기 제1 프로그램의 검증을 수행하는 검증 장치
지정국 정보가 없습니다
패밀리정보가 없습니다
순번, 연구부처, 주관기관, 연구사업, 연구과제의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 국가R&D 연구정보 정보 표입니다.
순번 연구부처 주관기관 연구사업 연구과제
1 미래창조과학부 건국대학교 산학협력단 대학IT연구센터 육성지원사업 소셜 미디어 서비스를 위한 클라우드 플랫폼 및 응용서비스 기술 개발