• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.577-579
• /
• 2004

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

• Journal of Cadastre & Land InformatiX
• /
• v.44 no.2
• /
• pp.139-153
• /
• 2014

The world geodetic system transformation of cadastral record have to minimize differences of boundary and area being in cadastral record according to transformation for that is direct connected with the land owner and property protection. However it is very difficult to accurately maintain the before and after transformation because coordinate transformation is generally using a mathematical conversion formula. At present, Helmert model by using 4-parameter is official coordinate transformation model for Cadastral Resurvey Project but scale factor is most sensitive to changes of area and relative position in the same parcel. In this study, it was proposed 3-parameter method using by scale factor fixing through the application of a Helmert in order to avoid changing the area difference and keeping the error within the tolerance range of the boundary which is related to the boundary point coordinate region.

• Communications for Statistical Applications and Methods
• /
• v.5 no.3
• /
• pp.571-580
• /
• 1998

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

• Communications for Statistical Applications and Methods
• /
• v.3 no.2
• /
• pp.85-91
• /
• 1996

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

• Proceedings of the Korean Vacuum Society Conference
• /
• 2012.08a
• /
• 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는 기 개발된 적응형 인자모델을 이용한 매개변수로 변환되며, 상태진단은 변환된 매개변수를 이용하여 수행할 예정이다.

• The Korean Journal of Applied Statistics
• /
• v.25 no.1
• /
• pp.205-213
• /
• 2012

Transforming response variable is a general tool to adapt data to a linear regression model. However, it is well known that response transformations in linear regression are very sensitive to one or a few outliers. Many methods have been suggested to develop transformations that will not be influenced by potential outliers. Recently Cheng (2005) suggested to using a trimmed likelihood estimator based on the idea of the least trimmed squares estimator(LTS). However, the method requires presetting the number of outliers and needs many computations. A new method is proposed, that can solve the problems addressed and improve the robustness of the estimates. The method uses a stepwise procedure, suggested by Hadi and Simonoff (1993), to detect outliers that determine response transformations.

• The KIPS Transactions:PartD
• /
• v.15D no.6
• /
• pp.777-784
• /
• 2008

Recently in the field of model checking, to overcome the state explosion problem, the method of using a SAT-solver is mainly researched. To use a SAT-solver, the system to be verified is translated into CNF and the Boolean cardinality constraint is widely used in translating the system into CNF. In BCC it is dealt with set of boolean variables, but there is no translating method of the sequence among Boolean variables. In this paper, we propose methods for translating the problem, which is extracting a subsequence with length k from a sequence of Boolean variables, into CNF formulas. Through experimental results, we show that our method is more efficient than using only BCC.

• Journal of KIISE:Software and Applications
• /
• v.36 no.3
• /
• pp.244-251
• /
• 2009

We present a transformation which converts open-code multi-staged programs into closed ones. Staged computation, which explicitly divides a computation into separate stages, is a unifying framework for existing program generation systems. Because a multi-staged program generates another program, which can also generate a third program and on, the implementation of a multi-staged language is not straightforward. Dynamic binding of (lexically free) variables in code also makes the implementation of a multi-staged language hard. By converting each code into code of function which takes environment for free variables as its argument and giving an actual environment at the code-composition site, we can transform a open-code program into a closed-code one. Combining with Davies and Pfenning's method, our closed-code-conversion enables the implementation of the unstaged language to be useful for executing multi-staged programs. We also prove the correctness of our conversion: the converted program is equivalent to the original program, and the converted program does not have open code.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2017.05a
• /
• pp.213-213
• /
• 2017

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

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.1878-1879
• /
• 2011

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