公开(公告)号：KR101519447B1

公开(公告)日：2015-05-12

申请号：KR1020130144946

申请日：2013-11-26

Applicant: 한국과학기술원

Inventor： 김문주 ,  김영주

IPC: G06F11/34

Abstract: 하이브리드기술을이용한통계적모델검사장치및 방법이개시된다. 제어부는초기확률임계값()이변화임계값() 보다작은경우, 순차적확률비테스트(SPRT)를이용하여상기초기확률임계값()이상기변화임계값()보다크거나같아질때까지상기순차적확률비테스트를반복하여실행하고, 상기평균수용값()이수용임계값() 보다작은경우, 상기순차적확률비테스트를종료시키고, 상기초기확률임계값()을증가시키면서반복하여실행함으로써, 상기초기확률임계값()이상기변화임계값()보다크거나같아진경우, 베이지언간격추정테스트(BIET)를실행한다. 저장부는상기순차적확률비테스트(SPRT) 및베이지언간격추정테스트(BIET)의프로그램을저장한다.

Abstract translation: 本发明涉及使用混合技术的统计模型检查装置及其方法。 控制单元重复连续概率比测试，直到初始概率临界值大于或等于变化临界值，如果平均接收值小于接收临界值，则完成顺序概率比测试，并且执行贝叶斯间隔 估计测试初始概率临界值是否大于或等于变化临界值。 存储单元存储顺序概率比测试和贝叶斯间隔估计测试的程序。

公开(公告)号：KR101145961B1

公开(公告)日：2012-05-15

申请号：KR1020100012727

申请日：2010-02-11

Applicant: 한국과학기술원

Inventor： 김대영 ,  박상준 ,  김영주 ,  하민근 ,  김성훈

IPC: H04W56/00 ,  H04W84/18

Abstract: PURPOSE: A method and apparatus for multi-hop time synchronization for wireless sensor networks are provided to flexibly change a network configuration. CONSTITUTION: A gateway(110) receives a request message. The gateway creates a response message including a reference time. The gateway transmits the created response message to an intermediate node. The gateway creates a response follow up message including a process time from the reference time to the response message receiving time. The gateway outputs the created response follow up message to an intermediate node.

公开(公告)号：KR101921471B1

公开(公告)日：2018-11-23

申请号：KR1020150170606

申请日：2015-12-02

Applicant: 한국과학기술원

Inventor： 방효충 ,  김영주

IPC: G01S7/497 ,  G01S5/02 ,  G01S17/50

Abstract: 본발명의실시예에따른중앙관리부를포함하는복수센서관리시스템에서복수표적추적을위한복수센서관리방법은복수의표적에대한복수의센서의센싱데이터를이용하여제1시간의표적상태를추정하는단계; 상기추정된제1시간의표적상태에근거하여, 상기복수의표적각각에대한소정시간이후의표적상태의예측추정정확도가제1조건을만족하는지를판단하는단계; 및상기제1조건이만족된상태에서, 상기복수의표적각각에대한소정시간이후의표적상태의예측추정정확도를이용하여, 상기복수의표적전체에대한성능지표가가장크도록상기복수의센서의위치를제어하는단계;를포함할수 있다.

公开(公告)号：KR101784315B1

公开(公告)日：2017-10-12

申请号：KR1020160072526

申请日：2016-06-10

Applicant: 한국과학기술원 ,  주식회사 풍산

Inventor： 방효충 ,  김영주 ,  이영기 ,  오주영

IPC: G06T17/05 ,  G06T15/20 ,  G06T5/00 ,  G06T3/00

Abstract: 원근왜곡보정장치는경계설정부, 대응픽셀좌표연산부및 왜곡보정부를포함한다. 경계설정부는항법좌표계상에서제1 형상을갖는소정의기준도형을형성하는경계점을설정한다. 대응픽셀좌표연산부는영상을촬영하는카메라가항법좌표계에대해갖는카메라자세및 카메라좌표에기초하여, 카메라가촬영한영상에서경계점에대응되는대응픽셀의좌표를연산한다. 왜곡보정부는좌표가연산된대응픽셀이형성하는대응도형이갖는제2 형상을제1 형상으로변형하는것에의해영상의왜곡을보정한다.

Abstract translation: 透视失真校正装置包括边界设置单元，对应的像素坐标计算单元和失真校正单元。 边界设定单元在导航坐标系上设定形成具有第一形状的预定参考图形的边界点。 对应像素坐标计算单元基于照相机姿态和用于拍摄图像的照相机相对于导航坐标系的照相机坐标来计算与由照相机拍摄的图像上的边界点对应的像素的坐标。 失真校正单元通过将由计算其坐标的相应像素形成的相应图形的第二形状变换为第一形状来校正图像的失真。

公开(公告)号：KR1020150115218A

公开(公告)日：2015-10-14

申请号：KR1020140039873

申请日：2014-04-03

Applicant: 한국과학기술원

Inventor： 김이섭 ,  김영주 ,  정상혜

IPC: H03K5/1252 ,  H03K19/0175

Abstract: 클럭신호처리기는위상이동클럭신호생성기, 듀티사이클조절기및 주입고정발진기를포함한다. 위상이동클럭신호생성기는입력클럭신호에기초하여위상이동클럭신호를생성한다. 듀티사이클조절기는듀티사이클조절신호에기초하여위상이동클럭신호의듀티사이클을조절하여주입클럭신호를생성한다. 주입고정발진기는주입클럭신호를입력받아발진시켜출력클럭신호를생성한다.

Abstract translation: 时钟信号处理器包括相移时钟信号发生器，占空比控制器和注入固定振荡器。 相移信号发生器基于输入时钟信号产生相移时钟信号。 占空比控制器基于占空比控制信号控制相移时钟信号的占空比，并产生一个注入时钟信号。 注入固定振荡器接收注入时钟信号并使其振荡以产生时钟信号。

公开(公告)号：KR101108431B1

公开(公告)日：2012-01-31

申请号：KR1020090099063

申请日：2009-10-19

Applicant: 한국과학기술원

Inventor： 김영주 ,  전용기 ,  김대영

IPC: G06F17/00 ,  G06F17/50 ,  G06F9/00 ,  G06F15/00

Abstract: OpenMP 프로그램에서 자료 경합을 탐지하기 위한 방법, 시스템, 및 기록 매체가 개시된다. 본 발명에 따른 경합 탐지 시스템은 사용자로부터 경합 탐지 대상인 프로그램의 원시 코드 및 경합 탐지를 수행할 분석 속성을 수신하고, 소정의 네트워크를 통하여 서버로부터 수신된 경합 탐지 결과를 출력하는 클라이언트 및 네트워크에 접근 가능하며, 분석 속성에 따라서 프로그램의 수행중에 경합을 탐지하여 경합 탐지 결과를 생성하는 서버를 포함한다. 서버는 분석 속성에 따른 경합 탐지를 위하여 원시 코드를 변형시켜 변형된 목적 코드를 생성하는 전처리부와 변형된 목적 코드의 실행중 생성되는 복수 개의 병행 스레드에 대한 접근 사건들을 동기화 명령어 포함 여부를 기준으로 분류하고, 공유 변수에 대한 각 접근 사건들 중 접근 역사에 저장된 이전의 접근 사건과 병행성 관계에 있는 접근 사건을 경합으로 탐지하여 경합 탐지 결과를 생성하기 위한 수행중 분석부(on-the-fly analyzer)를 포함한다. 본 발명에 의하여 병렬 프로그램의 자료 경합을 효과적으로 탐지하고, 탐지 결과를 직관적으로 이해되도록 시각화할 수 있다.
OpenMP 병렬 프로그램, 경합 검증, 3차원 확장적 시각화, 병행성 관계, 레이블링, 프로토콜, 합성 프로그램