• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (1)
• /
• pp.577-579
• /
• 2004

전원을 전적으로 배터리에 의존하는 모바일 임베디드 시스템은 배터리 용량의 한계 때문에 효율적인 에너지의 사용이 매우 중요하다. 특히 memory subsystem은 전체 system에서 소모되는 에너지에서 큰 비중을 차지한다. 이 논문은 성능 면에서 cache의 대안이 되고, cache보다 간단한 구조 때문에 전력소모가 훨씬 적은 on-chip scratch-pad memory(SPM)를 효율적으로 이용할 수 있는 소스 코드 변환 방법 및 SPM 관리방법을 제안한다. 각 함수 단위로 코드 변환을 하며, 어떤 변수를 SPM에 할당하기 위한 소스코드 변환을 했을 때, 소스코드 분석만으로 알 수 있는 변수의 정적인 참조 횟수를 가중치로 고려하여, 코드 변환 후 메모리 참조에 의한 실행 시간과 에너지 소모를 계산하고 이를 바탕으로 SPM에 할당한 변수를 결정한 다음 실제 그 코드 변환을 적용한다. 제안된 코드 변환은 컴파일러에 의해 자동화 될 수 있다. 10개의 임베디드 벤치마크 프로그램을 이용하여 본 논문에서 제안하는 방법의 성능 평가를 한 결과, 실행 시간은 평균 23% 향상되고 에너지 소모는 평균 49% 감소함을 알 수 있다.

• 지적과 국토정보
• /
• 제44권2호
• /
• pp.139-153
• /
• 2014

지적공부의 세계측지계 변환은 토지소유자의 재산권 보호와 직접적인 관련이 있기 때문에 좌표변환에 따른 공부상의 경계와 면적변화를 최소화할 수 있도록 해야 한다. 하지만 일반적으로 수학적인 변환식을 이용한 좌표변환은 지적도면의 형상을 변환 전 후에 정확하게 유지하기는 매우 어렵다. 현재 지적재조사 사업의 좌표변환 모델은 Helmert 변환방식에 의한 4개 변수를 이용하고 있으며 이중 축척계수는 동일 필지내에 경계점 간 상대적인 위치의 변화와 면적변동에 가장 민감한 영향을 미친다. 본 연구에서는 경계점 좌표등록지역 지적공부의 세계측지계 좌표변환 시 토지소유권과 관련이 있는 경계점에 대한 오차를 공차 범위 내에 유지시키면서 면적의 변화가 없도록 축척계수를 고정할 수 있도록 Helmert 변환식을 응용한 3변수변환 방법을 제시하였다.

• Communications for Statistical Applications and Methods
• /
• 제5권3호
• /
• pp.571-580
• /
• 1998

선형회귀분석에서 새로운 변수가 모형에 추가될 때 변수변환의 필요성과 적절한 변환의 형태를 진단하는 기능이 있다고 알려져 있는 편잔차그림과 덧편잔차그림을 비선형회귀모형에 적용하고 이 그림들이 기능을 제대로 수행할 수 있는 조건을 알아보았다.

• Communications for Statistical Applications and Methods
• /
• 제3권2호
• /
• pp.85-91
• /
• 1996

일본의 품질 전문가 다구찌가 제안한 파라미터 설계의 장단점에 대해 많은 논의가 있어왔다. 본 연구에서는 신호 대 잡음 비율에 초점을 두어, 이론적 쟁점이 무엇인지를 요약하고, 그 문제점을 모의실험을 통해 구체적으로 지적하였다. 한편 신호 대 잡음 비율에 대한 대안 중에서 Box의 변수변환 방법을 소개하였다.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2012년도 제43회 하계 정기 학술대회 초록집
• /
• pp.101-101
• /
• 2012

본 논문은 현재 제품화 단계로 진행 중인 터보 분자펌프(turbo-molecular pump, TMP)와 극저온 펌프(cryopump)의 고장 방지 및 예지 보수를 위한 상태 진단 시스템에 대하여 소개를 한다. 본 상태 진단 시스템은 고진공 펌프들의 다중 상태변수 즉 흡/배기부의 진공 압력, 부위별 온도, 소비 전류(혹은 전력), 그리고 부위별 진동 신호들을 실시간으로 측정하는 상태변수 수집장치, 수집된 시계열 상태변수들이 저장된 database, 그리고 저장된 상태변수를 이용한 고진공펌프의 상태진단 프로그램으로 구성되어 있다. 금번 연구에서 구축한 상태변수 체계의 특징 중 하나는 진동신호를 상태변수로 측정하여 이를 상태진단에 활용하는 점이 기존의 접근방법과 상이한 점이다. 실시간 신호 수집장치는 NI사 PXI 시스템 기반의 16채널 24-bit 동시 전압신호 측정 모듈, 8부위의 온도 측정장치(Lakeshore 218S, RS-232C 통신), 그리고 펌프의 소비전류/전력 측정장치(Hioki 3169, RS-232C), 그리고 고진공 펌프의 흡입 및 배기구의 진공도 측정장치로 구성하였다. 신호 수집용 프로그램은 NI사 Labview를 이용하여 작성하였다. 본 장치는 Nano-Fab 센터의 협조 하에 turbo-molecular 펌프와 cryopump측정 단에 각각 1대를 설치 완료하였으며 현재까지 운용 중이다. PC에 저장된 시계열 상태변수 database는 기 개발된 적응형 인자모델을 이용한 매개변수로 변환되며, 상태진단은 변환된 매개변수를 이용하여 수행할 예정이다.

• 응용통계연구
• /
• 제25권1호
• /
• pp.205-213
• /
• 2012

선형회귀모형에서 자료를 모형에 적합시킬 때 일반적으로 반응변수 변환을 시도하지만 적절한 변환함수의 결정은 몇개의 이상치들에 민감하게 반응한다는 것이 잘 알려져 있다. 이에 따라 이상치에 영향을 받지 않는 변수변환 방법들이 연구, 개발되고 있으나 최근에 Cheng (2005)에 의해 최소절사제곱추정치에 기반을 둔 절사 우도추정치 방법처럼 이상치의 숫자를 미리 정해야한다거나 많은 계산량이 필요하다는 단점들을 갖고 있다. 본 논문에서는 그와 같은 문제점을 해결하고 추정치의 강건성을 개선하는 새로운 방법을 제안하며 제안된 방법에서는 반응변수 변환에 따른 이상치 탐색법에 있어서 Hadi와 Simonoff (1993)가 제시한 단계적 절차를 응용, 적용한다.

• 정보처리학회논문지D
• /
• 제15D권6호
• /
• pp.777-784
• /
• 2008

최근 정형 검증 분야에서 상태 폭발 문제를 극복하기 위해 만족가능성(Satisfiability) 처리기를 사용하는 방법이 많이 연구되고 있다. 만족가능성 처리기를 사용하려면 대상을 CNF 식으로 변환해야 하는데, 이진 기수 제약 조건은 시스템을 CNF 식으로 변환하기 위해 많이 사용되는 기법이다. 그러나 이진 기수 제약 조건은 이진 변수들의 집합을 다루기 때문에 이진 변수들의 순서 정보는 변환할 수 없었다. 본 논문에서는 이진 변수의 시퀀스에서 길이가 k인 서브시퀀스 추출 문제에 대한 CNF 변환 방법을 제안한다. 또한 실험을 통해 제안된 방법이 순서정보를 고려치 않고 적용한 변환 방법보다 훨씬 더 좋은 결과를 얻을 수 있었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권3호
• /
• pp.244-251
• /
• 2009

다단계 프로그래밍이란 매크로 프로그래밍, 부분 계산(partial evaluation), 실행시간 코드 생성(runtime code generation)등을 포섭하는 일반적인 방법론으로, 계산을 여러 단계로 나누어 각 단계에 주어진 부분 입력을 통해 다음 단계를 전문화(specialize)함으로써 효율적인 계산을 수행하게 해 준다. 다단계 프로그램은 일반적인 계산 외에 코드(다음 단계의 프로그램)를 생성, 조림 및 실행시킬 수 있다. 본 논문은 코드에 자유변수를 허용하는 다단계 프로그램을 코드에 자유변수가 없는 다단계 프로그램으로 변환하는 방법을 제안한다. 코드에 존재하는 자유변수는 동적으로 바인딩(binding)되기 때문에 이를 구현하기 어려운 문제가 있다. 자유변수가 있는 코드는 환경을 입력으로 받는 함수의 코드로 변환하고, 필요한 환경은 코드를 조립하는 시점에 넘겨줌으로써 코드에서 자유변수를 제거할 수 있다. 이렇게 자유변수가 제거된 다단계 프로그램은 Davies와 Pfenning이 제안한 방법에 의해 단계가 없는 람다 계산(lambda-calculus)으로 변환된 후 람다 계산법에 의해 실행되어질 수 있다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2017년도 학술발표회
• /
• pp.213-213
• /
• 2017

저수지 유입량은 효율적 저수지 운영을 위해 중요한 요소로, 이는 하류 하천 등과 복합적으로 연계되기에 통합적 수자원 관리를 위해서 정확한 추정이 중요하다. 국내의 일부 저수지에서는 상류에서 유입되는 유량을 측정하고 있으나, 모든 저수지에 대해 측정하기에는 현실적 한계가 있다. 한편, 한국농어촌공사에서는 유효저수량 10만톤 이상 저수지에 대해 수위 계측기를 설치하여 수위자료를 관측하고 있으며, 이는 수위-내용적 곡선을 통해 저수량으로 변환이 가능하다. 저수량 자료가 확보되면 물수지식 기반으로 간접적으로 유입량의 추정이 가능하나, 수위가 상승하는 구간에 대해서만 적용이 가능하기에 연속적인 자료의 확보에 한계가 있다. 이 경우 불연속 유량자료를 대상으로 수문모형의 매개변수를 최적화하여 장기간 연속자료로 변환하는 것이 한 방안이 될 수 있다. 본 연구에서는 저수지 수위 기반으로 추정된 간헐적 유입량 자료를 기반으로 수문모형의 매개 변수를 최적화하여 장기유량으로 변환하고자 한다. 수문 모형과 매개변수 최적화 기법은 각각 Tank 모형과 SCE (Shuffled Complex Evolution) 기법을 이용하였다. 매개변수 최적화를 위한 목적함수는 고유량 저유량 총량 분산 관련 지표에 가중치를 부여한 다중 목적함수로 설정하였으며, 이를 통해 도출된 다양한 매개변수 후보군 중 고유량 저유량 총량 유황곡선의 유사정도가 전반적으로 일치하는 매개변수 군을 선택하였다. 본 연구 결과는 미계측 저수지 유입량을 추정할 수 있음으로써 저수지의 효율적인 물관리와 용수관리 의사결정에 활용할 수 있을 것으로 사료된다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2011년도 제42회 하계학술대회
• /
• pp.1878-1879
• /
• 2011

주로 사용하는 3상 교류 전동기는 3상의 전압, 전류가 인가되며, 이 3상인 a, b, c상 변수들을 변환하여 d. q, 0축으로 이루어진 직교 좌표계상의 변수로 변환하는 것을 좌표 변환 이라고 하며 통상적으로 교류기의 모델링 또는 해석 시 이 방식을 통하여 실행한다. 기본적으로 좌표 변환 즉 d - q변환은 사용하나 그 이후에 d축과 q축의 전류와 자속쇄교수 구해가는 방식과 d축과 q축을 해석하는 관점의 변화에 따라 모델링에 사용되는 수식이 변환하며 이러한 수식들을 활용하여 모델링을 함으로써 서로의 장단점을 비교하며, 그 비교를 통하여 교류기에 이론적으로 더 근접하고 단순화된 모델링에 대해 연구했다. 그래서 본론에서는 3가지 모델링을 비교한다. 각각의 모델링마다의 장점과 단점이 있으며 그러한 장단점을 비교하여 교류기에 더 근접한 모델링을 결정했다.