• 제목/요약/키워드: 표현증명

검색결과 342건 처리시간 0.029초

불포화대에서 오염물질 이동현상에 대한 다중구획 모델의 단순 근사방법 (Simplified Approximation Method of the Multi-Compartments Model on the Migration of Contaminant through Unsaturated Zone)

  • 정재학
    • 방사성폐기물학회지
    • /
    • 제5권1호
    • /
    • pp.29-37
    • /
    • 2007
  • 특정 구획으로 유입된 오염물질이 해당 구획 내부에 순간적으로 균일하게 분포한다는 구획모델에 대한 기본가정의 한계로 인해, 전통적인 단일구획모델로는 불포화대에서 오염물질의 이동현상을 적절하게 예측할 수 없다. 한편 물리적으로 동일한 불포화대를 여러 개의 구획으로 구분한 다중구획모델링 기법은 실제 불포화대에서의 오염물질 이동 지연효과를 적절하게 설명할 수 있으나, 지금까지 일반적인 해석해가 보고된 바 없으며 고려하는 구획의 개수가 증가할수록 모델링에 많은 시간이 소요되는 등의 한계가 있다. 이러한 문제점을 해결하기 위하여, 이류가 지배적인 조건 하에서 불포화대의 오염물질 이동현상에 대한 다중구획모델을 수립하고 이를 해석적인 방법으로 계산할 수 있는 일반해를 유도한 후, 다중구획모델을 단일구획모델로 근사할 수 있는 수학적 제약조건을 도출하였다. 단순화된 근사방법론의 유효성은 가상적인 조건 하에서 간단한 수치해석적 방법을 통해 검증하였다. 물리적으로 동일한 특성을 갖는 불포화대를 단일 구획으로 가정할 경우, 불포화대로부터 포화대로 유입되는 오염물질의 전이율은 상수가 아닌 시간 종속적인 명목전이율로 표현할 수 있음을 증명하였다. 또한 명목전이율은 불포화대 구획간 전이율에 민감하며 오염층으로부터의 전이율에 대한 민감도는 미미한 것으로 나타났다. 이 연구에서 개발된 단순화된 근사방법론은 많은 시간이 요구되는 다중구획 모델링을 통하지 않고 불포화대 오염물질 이동현상을 신속하고 합리적으로 예측하기 위한 목적으로 활용될 수 있을 것으로 기대된다.

  • PDF

수사법을 활용한 그래픽 발상툴 연구 (A Study on Using Rhetoric for Graphical Ideation Tools)

  • 한기범;김맹호
    • 한국콘텐츠학회논문지
    • /
    • 제16권10호
    • /
    • pp.598-607
    • /
    • 2016
  • 본 연구의 목적은 기존의 발상법의 문제점을 파악하여 우리나라 사람들에게 적합한 발상법의 필요성 제시하고 이에 맞는 그래픽 발상법을 도출하는 것이다. 많은 그래픽 디자이너들이 활용하고 있는 발상법(연상 자극법이나 발상전환법, 정보조합법)은 발상과정에서 초기 키워드를 제시하는데 효과적이지만 컨셉까지 도출해내는 과정에서 어려움이 있다. 컨셉으로 발전시키기 위해서는 핵심 키워드 도출도 중요하지만 키워드의 연결 분리, 결합 등의 과정이 중요한 역할을 차지하며 대부분의 발상법이 과정에 대한 구체적 방법을 제시하고 못하고 있다. 또한 대부분의 아이디어 발상법이 영어권에서 개발되어 전파되었기 때문에 단어위주의 사고를 하는 영어권 문화에는 적합하지만 서술 위주로 사고하는 우리나라 사람에게는 언어 사고의 차이점을 고려하지 못하고 있어 단계 별 발상에 한계를 지니고 있다. 본 연구는 기존에 발상법에 의하여 도출된 키워드를 보다 쉽게 연결, 분리, 결합 등을 위한 과정을 만들기 위해 4가지 가설을 제시하고 논증하는 방식으로 본 발상법의 가치를 증명하고 이러한 가설에 입각하여 발상법설계 제시함으로써 우리나라 사람들의 정서에 적합한 발상법을 도출하였다. 본 발상법은 서술 표현에 강한 우리나라 사람들에게 적합하도록 수사법을 활용하였다.

온톨로지 Open World 추론과 규칙 Closed World 추론의 통합 (Integration of Ontology Open-World and Rule Closed-World Reasoning)

  • 최정화;박영택
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제37권4호
    • /
    • pp.282-296
    • /
    • 2010
  • OWL 온톨로지는 실세계의 도메인 지식을 모델링 하는데 적합하다. 또한 명백하게 정의된 지식으로부터 암시적인 새로운 지식을 추론할 수 있다. 하지만 이 모델링된 지식은 완전할 수 없다. 사람이 가지고 있는 모든 상식을 모델링 할 수 없기 때문이다. 온톨로지는 완전한 지식표현을 위한 무결성 제약조건과 예외 처리와 같은 비단조 추론을 지원할 방법이 없다. 디폴트 규칙은 온톨로지 안의 특정 클래스에 대한 예외를 처리할 수 있다. 또한 무결성 제약은 온톨로지에 정의된 클래스의 제한조건(restriction)에 인스턴스가 일관되게 할 수 있다. 본 논문에서는 Open World Assumption(OWA) 기반의 온톨로지와 Closed World Assumption(CWA) 기반의 비단조 추론을 지원하는 규칙의 지식베이스를 통합하여 Open World 와 Closed World 추론을 모두 지원하는 실질적인 추론 시스템을 제안한다. 이 시스템은 온톨로지에 정의된 불완전한 개념을 다룰 때 OWA기반이라서 발생하는 문제점을 ASP(Answer Set Programming)를 사용하여 해결방안을 제안한다. ASP는 논리 프로그래밍 언어로써 비단조 추론을 허용하며, 서술 논리 지식베이스에 CWA 기반의 질의를 가능하게 한다. 제안하는 시스템은 Protege에서 제공하는 Pizza 온톨로지를 예로써 비단조 추론이 필요한 경우를 보이고, 잘 알려진 온톨로지들로 성능 평가하여 본 시스템의 정당(sound)하고 완전(complete)함을 증명한다.

Unified Process의 분석 클래스에 대한 복잡도 척도 (Complexity Metrics for Analysis Classes in the Unified Software Development Process)

  • 김유경;박재년
    • 정보처리학회논문지D
    • /
    • 제8D권1호
    • /
    • pp.71-80
    • /
    • 2001
  • 구조적 개발 방법론에 적용하도록 만들어진 복잡도 척도들은 클래스, 상속성, 메시지 전달 그리고 캡슐롸와 같은 객체지향의 개념에 직접적으로 적용할 수 없다. 또한, 기존이 객체지향 소프트웨어에 대한 척도의 연구는 프로그램의 복잡도나, 설계 단계의 척도가 대부분이었다. 실제로 분석 단계 클래스의 복잡도를 낮춤으로써, 시스템의 개발 노력이나 비용 및 유지보수 단계에서의 노력이 크게 줄어들게 되므로, 분석 클래스에 대한 복잡도를 측량하기 위한 척도가 필요하다. 본 논문에서는 객체지향 개발방법론인 Unified Process의 분석 단계에서 추출되는 분석 클래스에 대하여 복잡도를 측정할 수 있는 새로운 척도를 제안한다. 협력의 복잡도 CC(Collaboration Complexity)는 가능한 협력의 최대 수로서 클래스가 잠재적으로 얼마나 복잡할 수 있는지를 측정하기 위한 척도이며, 각 협력자들의 인터페이스를 이해하는 것과 관련된 총체적 어려움을 측정하는 인터페이스 복잡도 IC(Interface Complexity)를 정의하였다. 제안된 척도는 클래스의 크기 및 상속성에 대하여 수학적인 증명을 하였으며, Weyuker의 9가지 공리적 성질에 대하여 이론적인 검증을 하였다. 또한, 텍스트 마이닝 기법을 사용하여 사용자의 질문에 자동으로 응답하는 시스템의 분석 클래스에 대하여 제안된 척도를 사용하여 복잡도를 측정하였고 기존의 복잡도 척도인 CBO와 WMC의 값을 계산하여 비교하였다. CC와 CBO, IC와 WMC의 값을 비교해 본 결과 제안된 복잡도 척도의 계산 결과 제안된 복잡도 척도의 계산 결과 값이 그 값들보다 좀 더 복잡도를 잘 표현하고 있었다. 이로써 소프트웨어 개발 주기의 초기에 클래스에 대한 복잡도를 평가해 보고, 나머지 단계에 필요한 시간과 노력을 예측함으로써 보다 비용-효과적인 객체지향 소프트웨어를 개발할 수 있는 가능성이 높아진다.

  • PDF

시간영역 및 주파수영역 블럭적응 여파기에 관한 연구 : 제 2 부- 성능분석 (Time- and Frequency-Domain Block LMS Adaptive Digital Filters: Part Ⅱ - Performance Analysis)

  • 이재천;은종관
    • 한국음향학회지
    • /
    • 제7권4호
    • /
    • pp.54-76
    • /
    • 1988
  • 본 연구의 제 1 부에서는 통일된 행렬표현 기법을 통하여 여러가지 블럭적응 여파기 구현방법들을 도출할 수 있음을 보였다. 제 2 부에서는 여러 주파수영역 블럭적응 여파기들 중에서도 수렴속도가 매우 빠른 self-orthogonalizing 알고리즘과 계산량이 대폭 감소되는 비제약 알고리즘의 수렴특성들을 overlap-save 및 overlap-add 블럭데이타 분할방법에 대해서 분석한다. 먼저, 수렴인자가 상수일 때와는 달리, 앞에서 언급한 두 주파수영역 여파기들이 공통의 자기상관행렬의 지배를 받기 때문에 수렴특성 분석에 있어서 서로 밀접한 관련이 있음을 보인다. 다음으로 여파기 계수의 수효가 충분히 클 때, 주파수영역 블럭적응 여파기는 계수적응 알고리즘에서 제약의 유무에 관계없이 동일한 최적해를 가짐을 보인다. 그리고 나서 비제약 알고리즘의 계수들은 적절한 조건하에서 원래의 제약알고리즘과 같이 동일한 최적해에 수렴함을 증명한다. 이에 반하여, 최소자승오차 관점에서의 성능분석 결과는 제약을 풀었을 경우에 정상상태에서 약간의 성능저하가 있음을 밝혀낸다. 한편으로 계수의 수효가 작을 때는 원래의 제약 알고리즘은 심한 성능저하를 초래하는 반면에 비제약 알고리즘은 제약의 제거를 통해 상대적으로 계수의 수효가 증가한 효과 대문에 훨씬 좋은 수렴특성을 가짐을 보인다. 또한 self-orthogonalizing 주파수영역 블럭적응 여파기의 자기상관행렬이 주파수 영역에서 대각행렬로 됨을 보여 줌으로써 효율적으로 수렴시간을 단축시키는 구현방법임을 뒷받침한다.

  • PDF

근접 완전재생 Pseudo-QMF 뱅크를 위한 선형위상 프로토타입 저역통과 필터의 효율적인 설계 방법 (An Efficient Design Method of Linear-Phase Prototype Lowpass Filter for Near-Perfect Reconstruction Pseudo-QMF Banks)

  • 전준현
    • 한국통신학회논문지
    • /
    • 제33권3C호
    • /
    • pp.271-280
    • /
    • 2008
  • M채널 NPR(Near-Perfect Reconstruction) pseudo-QMF(Quadrature Mirror Filter) 뱅크의 설계는 일반적으로 SF(Spectral Factorization) 접근 방식을 혼합하여 많이 사용하며, 분리와 합성 필터들은 프로토타입 저역통과 필터(prototype lowpass filter : p-LPF)를 코사인 변조하여 사용한다. 그러나 이 방식은 $2M^{-th}$ 대역 필터 $G(z)=z^{-(N-1)}H(z^{-1})H(z)$의 SF 방식에 의해 p-LPF H(z)을 설계하기 때문에 p-LPF가 선형위상을 갖지 못할 뿐만 아니라 진폭왜곡이 최적화되지도 않았다. 따라서 대부분의 방법들이 재생 진폭왜곡 보다는 중첩상쇄왜곡을 줄이기 위한 p-LPF 설계를 제안하였다. 본 논문에서는 NPR pseudo-QMF 뱅크 구현에 필요한 p-LPF 설계를 위해 폐쇄형전달함수를 갖는 선형위상의 Maxflat(maximally flat) FIR 필터를 이용하는 새로운 방식을 제안하였다. 또한 폐쇄형주파수함수를 이용하여 $2M^{-th}$ 대역 필터 $G(z)=H^2(z)$로 표현되는 2M개 채널들의 전체진폭응답이 단일응답을 갖도록 p-LPF H(z)을 최적화하는 방법이 제안되었다. 실험 결과 시스템 최대진폭 왜곡이 $3.5{\times}10^{-4}\;({\simeq}-70dB)$보다 적고 각 분리 및 합성 필터들의 저지대역 감쇠가 -100dB 이상의 매우 뛰어난 NPR pseudo-QMF 뱅크 설계가 가능함이 증명되었다.

고차원 공간에서 효과적인 차원 축소 기법 (An Effective Method for Dimensionality Reduction in High-Dimensional Space)

  • 정승도;김상욱;최병욱
    • 전자공학회논문지CI
    • /
    • 제43권4호
    • /
    • pp.88-102
    • /
    • 2006
  • 멀티미디어 정보 검색에서 멀티미디어 데이터는 고차원 공간상의 벡터로 표현된다. 이러한 특정 벡터를 효율적으로 검색하기 위하여 다양한 색인 기법이 제안되어 왔다. 그러나 특정 벡터의 차원이 증가하면서 색인 기법의 효율성이 급격히 떨어지는 차원의 저주 문제가 발생한다. 차원의 저주 문제를 해결하기 위하여 색인하기 이전에 원 특정 벡터를 저차원 공간상의 벡터로 사상하는 차원 축소 기법이 제안된 바 있다. 본 연구에서는 벡터의 놈과 각도 성분을 이용하여 유클리드 거리를 근사하는 함수를 기반으로 하는 새로운 차원 축소 기법을 제안한다. 먼저, 유클리드 거리 근사를 위하여 추정된 각도의 오차의 발생 원인을 분석하고 이 오차를 줄이기 위한 기본 방향을 제시한다. 또한, 고차원 특정 벡터를 다수의 특징 서브 벡터들의 집합으로 분리하고 각 특징 서브 벡터로부터 놈과 각도 성분을 근사하여 차원을 축소하는 새로운 기법을 제안한다. 각도 성분을 정확하게 근사하기 위해서는 올바른 기준 벡터의 설정이 필수적이다. 본 연구에서는 최적 기준 벡터의 조건을 제시하고, Levenberg-Marquardt 알고리즘을 이용하여 기준 벡터를 선정하는 방법을 제안한다. 또한, 축소된 저차원 공간상의 벡터틀을 위한 새로운 거리 함수를 정의하고, 이 거리 함수가 유클리드 거리 함수의 하한 함수가 됨을 이론적으로 증명한다. 이는 제안된 기법이 착오 기각의 발생을 허용하지 않으면서 효과적으로 차원을 줄일 수 있음을 의미하는 것이다. 끝으로, 다양한 실험에 의한 성능 평가를 통하여 제안하는 방법의 우수성을 규명한다.

대학 홍보용 브로셔(brochure)의 편집디자인 분야에서 다양성과 통일성을 고려한 그리드 시스템(grid system) 사용에 관한 연구 (A Study of the Girl System use with unity and diversity in the field of Editorial Design for the University Advertising Brochur)

  • 송진아;최인규
    • 디자인학연구
    • /
    • 제15권2호
    • /
    • pp.125-136
    • /
    • 2002
  • 본 논문의 목적은 대학 신입생들에 대한 입학 홍보를 위해 제작된 브로셔의 편집디자인에 대해 연구하려는 것이다. 대학 홍보용 브로셔의 역할과 기능이 편집디자인의 측면에서 설명 되었는 바, 특별한 관심이 브로셔의 편집디자인에서 큰 주의를 요해야 하는 그리드 시스템에 주어졌다. 본 연구에서는, 그리드 시스템에 따라 단일 그리드 시스템, 멀티 그리드 시스템, 비 그리드 시스템 등의 세 범주로 나누어 각 대학의 브로셔의 사례들을 분석하였다. 분석을 통해 그리드 시스템을 사용한 브로셔들이 그렇지 않은 것보다 더 효과적이었음이 발견되었는데, 특히 내용전달과 디자인 측면에서 그러하였다. 따라서 그리드 시스템은 현재 대학 홍보용 브로셔의 편집디자인과정 에서 매우 결정적인 도구가 분명하다는 점이 증명되었다. 그리드 시스템의 사용기준에 대한 제안 역시 편집디자인의 레이아웃의 통일성과 다양성을 위해 제시되었다. 그래서 본 연구는 내용의 표현에 있어 균형과 디자인의 예술적 구조를 포함한 그리드 시스템의 가능한 발전과 더불어 이러한 주요 핵심원리에까지 확대되었다. 덧붙여 대학 홍보용 브로셔의 창조적인 적용을 위해 그리드 시스템과 시각재료 사이의 관련성이 본 연구의 마지막 결과로 설명되었다.

  • PDF

Error Component 방법을 이용한 RP.SP 결합모형 개발 (Development of the RP and SP Combined using Error Component Method)

  • 김강수;조혜진
    • 대한교통학회지
    • /
    • 제21권2호
    • /
    • pp.119-130
    • /
    • 2003
  • SP 자료는 현재 존재하지 않는 교통정책 및 계획의 평가를 위해 광범위하게 이용되어 왔으나 현시선호와의 연계가 단점으로 지적되어 왔다. 이를 극복하는 방법의 하나로서 현시선호자료, 즉 RP 자료와의 결합이 제시되어 왔으며 RPㆍSP 결합방법론이 개발되었다. 본 논문의 목적은 Error Component 방법을 이용하여 새로운 RPㆍSP 결합방법을 제시하고 그 유용성을 입증하는 것이다. Error Component 방법은 SP 자료 또는 RP 자료의 상대적인 분산을 구하기 위해 각 자료의 오차를 분할하고 이에 대한 파라메타와 효용의 파라메타를 동시에 추정하는 것이다. 이를 위한 분석자료는 시뮬레이션을 통해서 인위적인 RP 자료와 SP 자료를 생성하여서 사용하였고 생성된 자료로 Error Component 방법을 이용한 결합모형과 기존의 결합방법의 결과를 파라메타 및 시간가치를 척도로 비교ㆍ분석하였다. 연구 결과 본 연구에서 제시한 방법론이 자료의 규모에 관계없이 일관되게 기존 RPㆍSP 결합방법에 의해 추정된 모형보다 가정된 파라메타 값에 일치함을 보여줘 Error Component 방법이 유용함을 증명하였다. 또한 파라메타의 비로 표현한 시간가치도 Error Component 방법의 적용값이 기존방법론의 적용값보다 가정된 값과 유사한 값을 보여 줘 본 연구가 제시한 방법의 우월성을 입증하였다. 또한 기존 결합모형인 동시적 모형과 순차적 모형이 모두 RP자료와 SP자료를 결합하는 방법으로 유용하게 사용될 수 있음을 보여주었으나 동시적방법이 보다 순차적방법보다 효율적인 방법으로 분석되었다.

애기장대의 염해 저항성 관련 유전자의 기능적 선별 (Functional Screening of Plant Genes Suppressed Salt Sensitive Phenotype of Calcineurin Deficient Mutant through Yeast Complementation Analysis)

  • 문석준;박수권;황운하;이종희;한상익;남민희;박동수;신동진
    • 생명과학회지
    • /
    • 제23권1호
    • /
    • pp.1-7
    • /
    • 2013
  • 작물의 생산성 증가를 위해 염해 저항성 메커니즘을 이해하는 것이 중요하다. 식물의 염해 저항성에 관련된 유전자를 확보하기 위한 여러 가지의 선별방법이 개발되었다. 본 논문에서는 애기장대의 cDNA 라이브리를 염해감수성 효모인 cnb 돌연변이체에 삽입하여 염해 감수성 표현형을 회복하는 콜로니를 선발하였다. 이 선별방법을 통하여 34종의 cnb 돌연변이체의 염해 감수성을 회복하는 콜로니를 선별하였으며, 염기서열분석을 통하여 CaS와 AtSUMO1, AtHB-12 등 9종의 유전자임을 확인하였다. 이들 유전자 중 CaS의 발현이 염해 저항성을 증가시키는 것과 염해 처리에 의해 CaS의 유전자의 발현이 증가되는 것을 확인하였다. CaS 발현억제 형질전환체는 100 mM 염처리에 의하여 뿌리생장이 저해되었다. 또한 150 mM 염처리에 의하여 CaS 발현억제 형질전환체의 잎에서 백화현상을 나타내었다. 이러한 결과를 통하여 CaS 유전자가 효모와 식물에서 염해 저항성에 중요한 유전자임을 증명하였다.