• 한국인지과학회:학술대회논문집
• /
• 한국인지과학회 2000년도 춘계 학술대회
• /
• pp.157-163
• /
• 2000

이 글은 최근 인지언어학에서 기본적인 핵심이론 중의 하나로 자리잡고 있는 '정신공간 이론'(mental space theory)에 대한 이론적인 소개와 함께 의미구성에 있어서 중요한 개념의 하나인 '사상'(mappings)의 문제를 다루고자 한다. 1994년 이후 Fauconnier와 Fauconnier & Turner 등을 중심으로 진행되어 오고 있는 정신공간 이론에서는, 언어의 의미를 궁극적으로 인지적 공간들 사이의 상호관계가 언어로 '투사'(projection)된 것으로 간주한다. 그리고 기존의 근원영역과 목표영역 사이의 직접적이고 체계적인 사상, 이른바 '두 영역 모델'의 대안으로 '다공간 모델'을 제시하고 있다. 다공간 모델 속에는 '포괄공간'(generic space)과 '혼합공간'(blending space)이 설정되는데, 그 중에서 포괄공간은 근원공간과 목표공간의 모든 개념이나 추상적인 도식 등이 반영되어 있는 반면, 혼합공간은 실제의 다양한 개념적 혼합의 결과로 나타나며, 입력된 공간에서 나타나는 상응되는 부분들 사이의 연결을 활용하고 발전시키기 때문에 그 자체가 또 다른 혼합공간의 입력공간에서 일어나는 개념적 사상의 양상은 매우 다양할 뿐만 아니라 의미구성에 있어서도 중요한 역할을 한다. 이 글에서는 합성어와 같은 어휘적 측면은 물론, 일상의 문장 표현을 통해 나타나는 개념적 사상의 다양한 양상을 고찰하고자 한다.

• 한국강구조학회 논문집
• /
• 제22권5호
• /
• pp.465-475
• /
• 2010

곡선교량시스템에서 거더는 편심하중이 없어도 교량이 가지는 곡률 자체로 인하여 휨 및 비틀림 거동을 하게 된다. 휨과 비틀림을 동시에 받는 강/콘크리트 합성 박스거더는 St. Venant 비틀림에 의해 콘크리트 바닥판에 발생하는 사인장 응력에 의해 그 극한강도가 제한된다. 합성 박스거더의 극한강도를 얻기 위하여 유한요소해석 패키지 프로그램 ABAQUS을 이용하여 재료 및 기하 비선형성뿐 아니라 콘크리트 균열후 거동 등이 고려된 비선형해석을 수행하였다. 또한 구조해석 이론에 근거한 해석적 방법론으로 합성 박스거더의 휨과 비틀림에 대한 극한강도 상호 작용이 고려된 수식을 유도하여 수치해석 결과와 비교하였다. 휨 거동에 의해 정모멘트 구간 박스거더 상부에 발생하는 종방향 압축응력은 바닥판 콘크리트의 전단강도를 일정부분 향상시켜 결과적으로 전체 박스거더의 비틀림강도가 향상되는 효과가 확인되었다. 유한요소해석 및 구조해석 이론 전개의 결과에 근거하여 강합성 박스거더의 극한강도 상호작용을 예측하는 간편한 형태의 수식이 제안되었다.

• 만화애니메이션 연구
• /
• 통권49호
• /
• pp.203-220
• /
• 2017

시각 예술 분야에 있어 합성의 도입은 시간과 공간의 제약에서 벗어난 다양한 표현을 구사할 수 있게 해주었다. 디지털 이전의 합성에서는 기술적 한계로 인해 사실적인 표현에 제약을 받았지만, 디지털 합성이 완전하게 자리 잡은 이후에는 적어도 합성을 통한 이미지 표현에서는 한계가 거의 사라졌다고 해도 과언이 아니다. 합성에 관한 기존의 연구 논문은 제작 기법에 관한 기술적인 연구이거나, 합성이 영상예술의 시공간 개념과 의미 변화에 주를 둔 논문이 대부분이었고, 디지털 합성으로 인한 매체들의 표현 방법의 변화가 어떻게 이루어졌는가에 대한 연구의 필요성을 느꼈다. 또한, 그로 인해 예술을 바라보는 시각에 대한 변화에도 되돌아볼 필요성을 느끼게 되었다. 따라서 이 논문에서는 기술적이 부분이나 시공간 확장에 대한 개념적 이론을 다루기보다는 합성이 가지는 예술의 표현 방법에서 드러난 형질에 따라 시각적으로 자연스러운지, 이질적인지, 또 이질적이면서 자연스러운지 분류해보고 앞으로의 디지털 매체 합성 방향과 다양성에 대해 기대해 본다.

• 한국항공우주학회지
• /
• 제33권10호
• /
• pp.26-34
• /
• 2005

본 논문에서는 독립적으로 모델링되어 절점 불일치 경계면이 존재하는 유한요소 부분구조물들로 구성된 복합 구조시스템의 통합적인 연계해석을 위해 이동최소자승 경계접합법을 제안한다. 제안된 이론을 합성함수 구성 및 근사화 과정을 통해 설명하고, 새로 제안된 경계접합법의 타당성, 수렴성 및 효율성을 고찰하기 위해 각종 수치실험을 수행한다. 패치 테스트, 수렴성 조사를 통해 제안된 이론의 타당성을 보이고, 각종 통합 연계해석 수치예제를 통해 격자 재생성이나 추가적 미지수의 도입이 필요 없는 이동최소자승 경계접합법의 실제적 효율성을 입증한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 1999년도 춘계종합학술대회
• /
• pp.319-323
• /
• 1999

Pecora와 Carroll][10]이 제시한 구동 동기 이론을 적용하여 전송선로를 가진 Canonical Chua 회로에서 카오스 암호화 통신이 이루어짐을 확인하였다. 본 논문에서는 이 구동 동기 이론에 따른 불필요한 부분을 제거하고 이를 선로로 치환하여 Chua 회로의 구동부와 응답부 사이에 놓아 전송선로를 구성하였으며 송신부에서 구형파의 정보 신호를 카오스 신호에 합성하여 전송선로를 통하여 전송하고 수신부에서 정보 신호와 카오스 신호를 복조하는 카오스 암호 통신을 행하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제28권10호
• /
• pp.520-529
• /
• 2001

캐리-세이브 가산기(CSA)는 빠른 수행과 작은 면적을 가지는 연산 하드웨어 구현에서 가장 효과적으로 사용되는 연산 셀들 중의 하나이다. 현재 CSA 적용기술의 근복적인 약점을 그 적용이 덧셈식으로 직접 변환되는 부분에 해당되는 회로에만 가능하다는 것이다. 이러한 제한점을 극복하기위하여, 우리는 새로운 몇가지 CSA 변환 기법들을 제안한다. 구체적으로 멀티플렉서를 포함한 연산에서의 CSA 변환, 다수 회로를 포함한 연산에서의 CSA 변환, 곱셈 연산을 내포한 연산에서의 CSA 변화를 제안한다. 또한 이러한 기법들을 실제의회로 합성에서 효과적으로 적용하는 통합 알고리즘을 제안한다. 우리는 다양한 실험을 통하여 제시된 기법들에 기반한 우리의 알고리즘의 기존의 CSA 방법들과 비교하여 실제적인 회로 합성에서 매우 효율적임을 보인다.

• EDISON SW 활용 경진대회 논문집
• /
• 제2회(2013년)
• /
• pp.89-100
• /
• 2013

생물정보학의 다양한 이론적 내용과 계산적 방법들이 갈수록 전문화 되어짐에 따라 신약 개발, 신 물질 합성, 단백질의 구조 예측 등 다양한 분야에서 필요성이 커져가고 있다. 이 중 molecular docking 기술은 단백질과 특정 분자간의 결합 형태를 분자 모델링 기법을 통해 알아내는 방법이며 신약개발 연구에 큰 영향을 미치고 있다. Molecular docking을 통하여 분자간의 결합 형태를 예측하는 과정에서 Protein-ligand complex의 정확한 에너지 측정을 가능하게 하는 scoring function이 필요하다. 그런데 본 연구에서 사용한 B-Raf kinase protein 은 active site 부분에서 ligand와 receptor 간에 aromatic ring로 인한 ${\pi}-{\pi}$ interaction이 정확한 에너지 계산을 어렵게 한다. 이러한 ${\pi}-{\pi}$ interaction 부분의 에너지를 정확하게 계산하기 위해 양자역학 계산을 실시하였다. Active site 부분에서 ligand와 receptor에서 발생하는 각각 다른 5개의 ${\pi}-{\pi}$ interaction 구조를 준비하여 Gaussian을 통해 양자역학 에너지를 계산하였다. 그리고 이러한 결과 값들이 ligand의 활성 값과 어떤 상관관계를 갖는지 살펴보았다. 그 결과 ${\pi}-{\pi}$ interaction을 양자역학으로 계산한 값이 그렇지 않은 것보다 더 좋은 상관관계를 보여주었다. 이는 특별한 구조의 영향으로 ligand와 receptor 간의 결합에너지를 정확하게 계산하기 어려운 문제에서 양자역학을 적용할 경우 더욱 좋은 결과값을 얻을 수 있었다. 또한 이러한 데이터가 신 물질 개발이나 신약 개발 등의 다양한 분야에서 계산화학 방법이 신뢰성을 얻는데 도움 될 수 있다고 생각된다.

• 한국정보과학회논문지:시스템및이론
• /
• 제29권7호
• /
• pp.422-430
• /
• 2002

주어진 논리 회로를 시분할 FPGA 칩으로 효과적으로 합성하기 위해서는 전체 회로를 여러 개의 부분회로로 나눈 후, 각 부분 회로가 동일한 하드웨어 회로를 시간차를 두고 공유하도록 하여야 한다. 이를 위해 칩에 대한 시간별 재구성 정보를 미리 만들어, 칩 내부의 특정 메모리 영역에 저장하여 두었다가 정해진 시간대가 되면 칩 전체를 재구성하도록 하여야 한다. 그런데, 시분할 FPGA 합성에서 사용하는 세부적인 재구성 기법(일반적으로 스케쥴링이나 다중 회로 분할 기법을 사용)에 따라 동일 시간대에 필요한 LUT의 개수, 즉 FPGA의 용량이 달라질 수 있다. 본 논문에서는 입력되는 논리 회로를 직접 합성하지 않고서도 그 회로가 필요로 하는 전체 LUT 개수에 대한 하한을 추정함으로써 재구성 기법에 관계없이 필요한 최소한의 LUT 개수를 파악한다. 만일, 기존의 재구성 결과가 본 연구에서 추정된 하한과 일치할 경우, 그 결과는 최적의 결과를 의미한다. 반면에, 하한과의 차이가 있는 경우에는 기존의 연구 결과에 비해 더 좋은 재구성 결과가 존재하거나, 또는 본 연구에서 추정한 하한보다 더 좋은(큰, 정확한) 하한이 실제 존재함을 의미한다. 따라서 이러한 비교 분석을 통해, 기존 연구의 결과가 최적인지, 또는 개선의 여지가 있는지를 판단하는 좋은 지표를 제공할 수 있다. 실험 결과, 실험한 대부분의 예제에서, 기존의 연구 결과에서 출력한 결과와 본 논문에서 제안한 방법으로 추정한 하한이 정확히 일치하는 것을 발견할 수 있었는데, 이는 기존의 합성 시스템에서 생성한 결과의 최적성을 확인하게 하는 한편, 본 논문에서 제안한 하한 추정의 정확성을 반증하는 것으로 해석될 수 있다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1993년도 제3회 정기총회 및 추계학술발표회
• /
• pp.11-11
• /
• 1993

도메인에 대한 전문 지식 획득(Acquisition of expert knowlegde)은 지식 제공자인 인간 전문가에 의존한다. 도메인이 복잡해 질수록 인간 전문가로부터 관련된 모든 지식을 획득하기란 어렵다. 이런 지식 획득의 어려움을 부분 흑은 완전 자동화된 지식 획득 시스템을 통해 해결하려는 많은 연구가 있어 왔다. 그러나 지식 획득을 위한 여러 시도들은 지식 제공자의 촛점이 도메인이 아닌 표현 구조나 도구- representation environment -에 보다 치우치게 하여, 잘못된 지식을 획득하게 하거나 주요지식이 생략되는 경우를 보이기도 한다. 또한 정적인 관계(relationship)에 의해서만 지식(Static Knowledge)을 생성하므로 시간흐름에 따라변화하는 지식을 나타내기는 어렵다. 본 연구에서는 시뮬레이션을 통한 자동 지식 획득(Simulation Based automatic Knowledge Acquisition) 방법을 제시한다. 이 방법은 1) 도메인에 관한 초기 인과관계 정보를 입력 받고, 2) 입력된 정보를 일정한 프레임에 따라 구조화 시켜 경험 베이스를 구성하고 이를 탐색하여 도메인과 관련된 확장된 정보를 얻은 후, 3) 위의1),2)를 통해 얻어진 정보를 분석하여 주어지는 입력에 대해 다양한 출력을 낼 수 있는 시뮬레이션 모델을 생성한다. 이 모델은 다음 단계의 지식 생성을 위한 수단(resource)이 되며, 구간값과 같은 불확실한 정보를 포함할 수 있는 구조이다. 마지막으로 4) 생성된 모델을 시뮬레이션하여 결과로 생성된 지식을 획득한다. 위의 과정에서, 지식획득을 위한 수단인 시뮬레이션 모델이 지식 제공자의 개입 없이 자동 생성됨에 따라, 지식 제공자는 도메인 관련 지식 그 자체에 집중할 수 있으며, 생성된 모델을 시뮬레이션한 결과에 의해 지식을 생성함으로써 동적인 지식이 얻어질 수 있다. DEVS 모델에 대한 타당성 검사 방법을 고찰하고 그 문제점에 대하여 자세히 설명한다. DEVS 모델의 타당성 검사에 이용하는 SPN 모델에 대한 개념과 DEVS 모델과 행위적으로 동등한 SNP 모델로 변환을 위한 관점을 제조명하다. 동일한 관점에서 두 모델의 상태표현이 같도록 DEVS 모델이 SPN 모델로 표현됨을 보이는 변환이론을 제시하고 변환이론을 바탕으로 모델 변환과정을 제시한다. 모델 변환이론과 변환고정을 기본으로 타당성 검사를 위한 새로운 동질함수(homogeneous function)를 정의하고 이와 함께 SPN 모델의 특성을 이용하여 DEVS 모델에 대한 타당성 검사 방법을 새롭게 제안한다. 에탄올투여로 증가된 유리기 해독계 효소인 GSH-Px활성을 큰 폭으로 감소시키고 에탄올투여로 감소된 비효소적 항산화작용을 나타내는 GSH함량을 다량 증가시킴으로서 지질과산화물에 대한 방어력이 증가되어 나타난 결과로 여겨지며, 또한 혈청중의 ALT, ALP 및 LDH활성을 유의성있게 감소시키므로서 감잎 phenolic compounds가 에탄올에 의한 간세포 손상에 대한 해독 및 보호작용이 있는 것으로 사료된다.반적으로 홍삼 제조시 내공의 발생은 제조공정에서 나타나는 경우가 많으며, 내백의 경우는 홍삼으로 가공되면서 발생하는 경우가 있고, 인삼이 성장될 때 부분적인 영양상태의 불충분이나 기후 등에 따른 영향을 받을 수 있기 때문에 앞으로 이에 대한 많은 연구가 이루어져야할 것으로 판단된다.태에도 불구하고 [-wh]의미의 겹의문사는 병렬적 관계의 합성어가 아니라 내부구조를 지니지 않은 단순한 단어(minimal $X^{0}$ elements)로 가정한다. 즉, [+wh] 의미의 겹의문사는 동일한 구성요 소를 지닌 병렬적 합성어([$[W1]_{XO-}$ $[W1]_{XO}$ ]$

• 한국전산구조공학회논문집
• /
• 제23권1호
• /
• pp.95-110
• /
• 2010

본 논문에서는 합성보의 부착슬립 효과를 고려할 수 있는 유한요소 수치모델을 제안하고자 한다. 전단연결재가 설치된 슬래브와 거더 경계에서 선형 전단력-슬립 관계를 가정하여, 부착슬립 거동을 해석할 수 있는 수치모델이 구현되었다. 본 수치모델을 통하여 축 방향의 자유도를 부가하지 않고 2절점의 보 요소를 적용하여 합성보 경계에서의 슬립 거동을 고려하는 것이 가능하다. 선형 부분전단 연결이론을 토대로 한 슬립 거동의 지배방정식은 슬래브와 거더 경계에서 힘의 평형상태와 단면 내에서 상수로 가정된 곡률을 바탕으로 결정된다. 또한, 지배방정식 구성에 있어서 요소 양 절점에서의 휨 모멘트 값을 필요로 하기 때문에 유한요소 해석으로 도출되는 상수 모멘트를 요소 내에서 선형으로 분포시켰다. 제안된 수치모델을 적용한 해석결과를 기존 연구의 수치해석 결과 및 실험결과와 비교하였으며, 하중-처짐 곡선의 비교를 통하여 본 모델의 성능을 검증하였다.