公开(公告)号：KR101424389B1

公开(公告)日：2014-08-13

申请号：KR1020130034201

申请日：2013-03-29

Applicant: 고려대학교 산학협력단

Inventor： 차성덕 ,  최한 ,  유준범 ,  조재연

IPC: G06F19/00 ,  G06F17/00 ,  G06F9/455

Abstract: 본 발명은 DEV&DESS 모델을 동일한 linear hybrid automata로 변환하는 방법을 개시한다. 본 발명에 따르면, DEV&DESS 모델의 이산 입출력 셋, 연속 입출력 셋, 이산 상태 및 연속 상태에 대응되는 변수 셋 X를 생성하고, 경과 시간(elapsed time) 및 시간 확장 함수(time advanced function)를 추가하는 단계-상기 변수 셋 X는 각 원소를 나타내는 이산 입력 변수, 이산 출력 변수, 연속 입력 변수, 연속 출력 변수, 이산 상태 변수 및 연속 상태 변수 x를 포함함-; (b) 이산 입력 오토마타(Discrete input automata: DIA)를 생성하는 단계-상기 DIA 생성 단계에서 상기 경과 시간 및 시간 확장 함수에 대한 불변 조건 및 상기 경과 시간에 대한 플로우 조건이 추가됨-; (c) 상기 DEV&DESS 모델의 페이즈(phase)에 1:1로 대응되는 상태 셋 V 및 플로우 조건 함수(flow condition function)를 생성하는 단계; (d) 상태 이벤트(state event)에 대한 내부 전이 함수 및 이산 출력 함수를 변환하는 단계; (e) 외부 전이 함수를 변환하는 단계; (f) 시간 이벤트에 대한 내부 전이 함수 및 이산 출력 함수를 변환하는 단계; 및 (g) 초기 조건을 상기 변환된 변수 및 상태에 상응하게 변환하는 단계를 포함하는 것을 특징으로 하는 모델 변환 방법이 제공된다.

公开(公告)号：KR1020140070314A

公开(公告)日：2014-06-10

申请号：KR1020130034201

申请日：2013-03-29

Applicant: 고려대학교 산학협력단

Inventor： 차성덕 ,  최한 ,  유준범 ,  조재연

IPC: G06F19/00 ,  G06F17/00 ,  G06F9/455

CPC classification number: G06F11/3608

Abstract: The present invention discloses a method to convert a DEV&DESS model into the same linear hybrid automata. According to the present invention, provided is a model converting method including a step of generating a discrete input/output set, a consecutive input/output set, and a variable set X corresponding to a discrete state and consecutive state for the DEV&DESS model and adding elapsed time and a time advanced function - the variable set X includes a discrete input variable, a discrete output variable, a consecutive input variable, a consecutive output variable, a discrete state variable, and a consecutive state variable x - ; (b) a step of generating discrete input automata (DIA) - an unchangeable condition about the elapsed time and the time advanced function and a flow condition about the elapsed time are added during the DIA generating step -; (c) a step of generating a state set V corresponding to a phase of the DEV&DESS one to one and a flow condition function; (d) a step of converting an internal transfer function and a discrete output function about a state event; (e) a step of converting an external transfer function; (f) a step of converting an internal transfer function and a discrete output function about a time event; and (g) a step of converting an initial condition into what corresponding to the converted variable and state.

Abstract translation: 本发明公开了一种将DEV和DESS模型转换成相同线性混合自动机的方法。 根据本发明，提供了一种模型转换方法，包括生成与DEV＆DESS模型的离散状态和连续状态对应的离散输入/输出集合，连续输入/输出集合和变量集合X的步骤，并且添加 经过时间和时间高级功能 - 变量集X包括离散输入变量，离散输出变量，连续输入变量，连续输出变量，离散状态变量和连续状态变量x - ; （b）产生离散输入自动机（DIA）的步骤 - 在DIA生成步骤期间添加关于经过时间和时间提前功能的不可改变的条件以及关于经过时间的流动条件; （c）生成与DEV＆DESS的相位对应的状态集合V一一对应的步骤和流动状态函数; （d）转换关于状态事件的内部传递函数和离散输出函数的步骤; （e）转换外部传递函数的步骤; （f）关于时间事件转换内部传递函数和离散输出函数的步骤; 和（g）将初始条件转换成与转换的变量和状态相对应的步骤。

公开(公告)号：KR101714698B1

公开(公告)日：2017-03-09

申请号：KR1020160017259

申请日：2016-02-15

Applicant: 고려대학교 산학협력단

Inventor： 윤지원 ,  조재연

IPC: G01R21/133 ,  G01R22/10 ,  G01R21/06

Abstract: 본발명은가전기기로부터수신한전력신호를분류하는프로그램이저장된메모리, 메모리에저장된프로그램을실행하는프로세서를포함한다. 이때, 프로세서는프로그램의실행에따라, 전력신호로부터추출된정보에대한전처리를수행하고, 전처리된전력신호를분류하여, 전처리된전력신호에대응하는가전기기의정보를식별하되, 전력신호로부터추출된정보는유효전력및 무효전력과유효전력및 무효전력에대한하모닉특징을포함하고, 전처리는전력신호로부터추출된정보를미리정해진차원수로차원축소하는것이며, 가전기기의정보는가전기기의종류및 가전기기의상태를포함한다.