• 한국콘텐츠학회논문지
• /
• 제6권2호
• /
• pp.117-126
• /
• 2006

자바 바이트코드는 많은 장점을 갖지만 수행 속도가 느리고 분석이 어렵다는 단점을 갖는다 이를 극복하기 위해 바이트코드에 대한 분석과 최적화가 수행되어야 한다. 우선 바이트코드에 대한 제어 흐름 분석을 수행한다. 제어 흐름 분석 후 데이터 흐름 분석과 최적화를 위해서 변수가 어디서 정의되고 어디서 사용되는지에 대한 정보가 필요하다. 각 위치에서 변수에 배정되는 값에 따라 동일한 이름의 변수가 다른 위치에서 다른 값을 가지는 경우가 발생한다. 따라서 정적으로 값과 타입을 결정하기 위해서 변수는 배정되는 것에 따라 분리되어야 한다. 이를 위해 단일 배정 형태를 이용하여 표현할 수 있다. 정적 단일 배정형태(SSA Form)로 변경한 후 정적 분석과 최적화를 위해서는 각 변수와 표현식이 나타내는 각각의 노드에 타입 정보를 설정해야 한다. 본 논문은 타입에 대한 기본 정보를 바탕으로 관련된 동등한 노드를 발견하고 강 결합 요소로 설정한 후 각 노드에 타입을 효율적으로 설정하는 방법을 제안한다

• 한국항행학회논문지
• /
• 제22권3호
• /
• pp.220-227
• /
• 2018

INS/GNSS 결합시스템을 구성하기 위해서 일반적으로 널리 사용되는 방법이 칼만필터를 이용한 통합항법 시스템을 구성하는 것이다. 하지만, 궤적에 따라 칼만필터의 상태변수들 중에서 가관측하지 않은 상태변수가 발생할 수도 있으며, 이 경우 해당 상태 변수들은 오차가 추정되지 않는다. 이런 문제를 해결하기 위해서는 일반적으로 통합항법 시스템을 구성한 이후에 가관측성 분석을 수행한다. 본 논문에서는 피치각 변화가 큰 궤적으로 움직이는 항체의 INS/GNSS 통합항법 시스템을 설계하기 위해서 24차의 위치 정합 칼만필터를 정의하였다. 설계에 적용된 오차 상태 변수들의 적절성을 검증하기 위해서 가관측성 분석을 수행하였다. 궤적을 5개의 segment로 구분하고 각 구간에서는 PWCS로 가정하여 가관측성을 해석적으로 분석했으며, 그 결과를 시뮬레이션을 통해서 검증하였다. 가관측성 해석 결과 및 시뮬레이션 결과를 통해서 칼만필터의 오차 상태 변수가 가관측하도록 잘 설계되었음을 확인 하였다.

• 한국수자원학회논문집
• /
• 제51권8호
• /
• pp.677-686
• /
• 2018

수문모형의 매개변수 추정에 필요한 유량 관측 자료의 수집은 시 공간적으로 제한이 있어 우리나라도 아직 상당수의 미계측유역이 존재하며, 이를 보완하고자 주변 유역의 정보를 활용하는 지역화 방법들이 연구되어 왔다. 그러나 지역적 특성이나 기후 조건에 따라 지역화 방법의 결과가 상이하여 어느 지역에 어떠한 지역화 방법이 가장 우수하다고 판단하기 어렵다. 본 연구에서는 보편적으로 사용되는 지역화 방법인 지역회귀모형의 설명변수에 공간근접모형으로 추정한 수문모형의 매개변수를 추가하여 회귀모형의 적합성을 향상시켰으며, 이를 하이브리드 지역화모형이라 정의하고 기존 방법들과 비교하였다. 계측유역으로는 관측 자료가 충분한 남한의 37개 유역을 선정하였고, 수문모형은 개념적 수문모형인 GR4J를 사용하였으며, 계측유역에 대한 수문모형의 매개변수 산정은 Shuffled complex evolution 알고리즘을 사용하였다. 유역 특성변수들 간 다중공선성을 고려하기 위해 Variation inflation factor를 사용하였고, Stepwise regression을 통해 회귀모형의 최적 설명변수를 선택하였다. 통계 값을 통해 모형의 적합성을 비교한 결과, 하이브리드 지역화모형에서 가장 작은 RMSE 값을 나타내었으며, 유역별 모의 값의 변동성이 줄어들어 결과의 불확실성 또한 낮아짐을 확인할 수 있었다. 따라서 하이브리드 모형이 미계측유역의 유출량 산정을 위한 하나의 대안이 될 수 있음을 확인하였다.

• 대한전자공학회논문지
• /
• 제11권4호
• /
• pp.1.1-11
• /
• 1974

변경의 Parameter를 제어 함으로써 임의의 조합논리함수를 이차원가변논리회로로 실현하는 일반적이고 조직적인 방법을 개발하였다. n변수-n출력 조합논리회로의 진리치표를 상태할당에 의해서 상태가의 변환으로 포착하여 이를 다치일변수 영리수수의 실현문제로 취급하였다. 이 다위일변수 함수집합이 정규결합연산에 환하여 반군을 이룬다는 사실에 착안하여 3개의 기저함수를 정의하고 이 기저함수에 의하여 임의의 다치일변수함수를 생성하는 기저함수렬의 조직적 구성법을 구하였다. 기저함수를 실현하는 기본회로를 단위회로의 일차원 배열로 구성하고 오직 하나의 기본회로만으로 3개의 기저함수외에도 몇개의 기저함수의 계열과 또 기저함수의 역함수를 실현하도록 하였다. 이 기본회로를 이차원으르 배열하고 변경의 parameter만을 적절히 설정 함으로써 임의의 조합논리회로를 실현하는 알고리즘을 구성하였다.

• 대한기계학회논문집
• /
• 제1권3호
• /
• pp.156-163
• /
• 1977

길이방향의 열전도효과가 비교적 큰유체- 고체 열교환계내에 일정한 조ㅍ은 온도를 가진 유체가 유입될 때 이에 따른 비정상 온도분포가 해석되었다. 이러한 계를 기술하는 연립편미분 방정식의 수치해가 유한차분법에 의해 구해졌으며, 열전도가 무시된 경우에 대한 해석적 해를 구하여 위의 결과를 검증하였다. 한편 이상화된 모델에 대한 실험을 행하고 이 결과를 앞서 구한 수치해와 비교 검토하였다. 여기서 구해진 온도분포를 이용하여 축열효율${\eta}_A$및 ${\eta}_B$를 ${\eta}_A$는 시간 t에서의 축열량과 정상상태에 도달했을 때의 축열량의 비로 , 그리고 ${\eta}_B$는 시간 t 동안의 축열된 양과 공급된 열량의 비고 정의하여 온도분포와 효율들에 애하여 시간변수 .tau., 위치변수 .xi.와 무차원 열확산율 .betha.가 미치는 영향을 조사하였다. 이에 따르면 온도는 .betha. 가 적어짐에 따라 점점 가파르게 분포되고 한편 ${\eta}_A$는 .tau.가 점점 커지거나, .xi.가 작아질수록 좋아지는 것을 알 수 있다. 또한 ${\eta}_B$는${\eta}_A$와는 정반대의 경향을 보여주어 축열계의 최적상태가 존재함을 알 수 있다.

• 터널과지하공간
• /
• 제14권3호
• /
• pp.229-240
• /
• 2004

연안대수층은 주요한 지하수 공급원으로서 이용될 수 있다. 그러나 연안대수층의 개발은 해수침투에 의한 대수층 오염을 야기할 수도 있다. 이에 따라 개발과정에서는 적절한 양수량과 양수정의 배치가 매우 중요하고, 이 들의 영향은 용질이동과 유동해석이 가능한 수치해석적 기법들을 적용하여 평가할 수 있다. 이 연구에서는 연안 자유면 대수층 모델에 대해 양수량 및 수리지질학적 변수들이 해수침투 특성에 미치는 영향을 SWICHA 코드를 이용하여 수치해석적으로 검토하였다. 수치해석과정에서는 유동 및 용질의 상호작용이 고려되었다. 경계 조건, 수리지질변수 등의 변화에 따른 해수담수 경계부에서의 염수 확산대 분포, 양수정 부근에서의 수두변화 등이 분석되었다.

• 디지털융복합연구
• /
• 제9권1호
• /
• pp.201-212
• /
• 2011

본 연구는 최근의 디지털정치 관련 국내의 연구경향을 파악하기 위한 목적으로 진행되었다. 분석 대상은 실증분석을 시도한 2004년 이후 박사학위논문을 대상으로 메타분석을 실시하였다. 이에 따라 첫째, 디지털정치에 대한 연구경향을 정치참여, 정치과정, 정치광고 및 선거캠페인으로 구분하여 이에 대한 연구자의 정의 실증분석에 사용된 분석의 툴, 그리고 그 결과를 체계적으로 검토하였다. 둘째, 해당 주제의 연구모형과 분석단위, 개념 및 개념의 구성요소를 정리하여 후속 연구의 기초자료를 제공하였다. 본 연구의 결과, 디지털정치가 실세 시민의 정치석 삶에 구체적으로 작동되고 있다는 점을 확인하였으며, 최근의 연구는 과거의 규범적 연구를 넘어 디지털 정치연구의 작동 원리와 현상, 다양한 변수를 구체적으로 규명함으로써 연구의 엄밀성과 축적성을 도모하고 있음을 알 수 있었다. 다만, 보다 다양한 변수 및 지표개발이 요구되며, 정당을 포함한 정치 단체와 소셜 미디어 서비스간 권력관계와 영향력 관계 등 연구주제의 다양화가 요청되고 있다.

• 디지털융복합연구
• /
• 제16권7호
• /
• pp.123-129
• /
• 2018

본 연구의 목적은 대학에서 UTAUT에 기반한 m-learning 학습자의 만족도에 미치는 영향을 실증적으로 검증하고자 하였다. 각 요인의 관계를 살펴보기 위하여 289부의 설문지를 SPSS 22.0, AMOS 21.0을 이용하여 분석하였다. 분석결과는 보안성이 성과기대와 노력기대에 정(+)의 영향을 미칠 것이라는 가설은 채택되었다. 다양성과 경제성도 성과기대에 영향을 미치는 것으로 나타났다. 매개변수인 성과기대와 노력기대는 학습자의 만족도에 정의 영향을 미친다는 가설은 채택되었다. 이런 결과는 UTAUT에 기반한 m-learning 운영에 필요한 기초자료를 제공하였다는 시사점이 있다. 이와 같은 시사점에도 불구하고 UTAUT에서 제시된 요인 중 일부만을 분석하였다는 한계점이 있다. 향후에는 대학생 외에 일반인에 대한 분석도 포함하여 UTAUT에 기반한 m-learning에 미치는 다양한 영향 변수에 대한 분석을 통하여 계속적으로 보완하고자 한다.

• 한국통신학회논문지
• /
• 제30권2C호
• /
• pp.41-48
• /
• 2005

본 논문에서는 H.264 표준 부호화 방식의 성능 향상 및 저 계산량을 위한 가우시안 모델 기반의 전처리 필터에 대해 제안한다. 일반적인 영상 획득 장치에서 첨가된 노이즈에 의해 훼손된 동영상은 다수의 고주파 성분으로 인하여 시각적으로 불편한 현상과 압축 효율의 저하를 초래한다. 본 논문에서는 필터링 과정에서 국부 통계적 특성과 양자화 매개변수를 이용하여, 주어진 양자화 스텝 사이즈에서 노이즈 성분을 제거하고 시각적인 효과와 비트율을 개선시켜 압축 효율을 개선하고자 한다. 또한 전처리 필터의 계산량을 줄이기 위하여 간단한 형태의 국부 통계적 특성을 재 정의하고 노이즈에 대한 매개변수를 H.264의 변환과 양자화 과정을 통하여 유추하여 적용하였다. 제안된 방식의 성능을 실험 결과로부터 확인할 수 있었다.

• 지구물리와물리탐사
• /
• 제25권4호
• /
• pp.242-251
• /
• 2022

자동 미분은 컴퓨터를 이용한 미분 계산시 함수의 전방향 연산만 정의하면 연쇄법칙을 이용해 함수의 미분을 자동으로 계산해주는 기능이다. 최근 자동 미분을 지원하는 계산 라이브러리들의 발달에 따라 지구 물리 역산 문제에 자동 미분 기술을 도입하는 사례가 증가하고 있다. 본 연구에서는 탄성파 탐사 전파형 역산 목적함수의 그래디언트 계산시 자동 미분을 도입하였을 때의 장단점과 성능을 분석하였다. 목적함수의 그래디언트 계산은 연쇄법칙을 이용해 매개변수 미분, 파동장 미분과 목적함수 미분의 곱으로 나타낼 수 있다. 수치 예제를 통해 매개변수 미분과 목적함수 미분 계산은 자동 미분으로 수행하고 파동장 미분은 해석적 방법으로 수행함으로써 해석적 미분의 장점인 빠른 성능과 자동 미분의 장점인 복잡한 그래디언트 계산의 편리성을 함께 얻을 수 있음을 보였다.