• Journal of architectural history
• /
• v.28 no.2
• /
• pp.65-76
• /
• 2019

Modern Joseon Architecture is North Korea's unique building style that interprets Korean traditional architecture in a modern way, and its most distinctive design feature is the Paljak roof that decorates the upper part of the buildings. This paper argues that continuous attempts at characterizing the nature of traditional Korean architecture in the late 1950s and early 1960s developed the theoretical rationale for the exclusive use of the Paljak roof in Modern Joseon Architecture. It also argues that the construction of the Pyongyang Grand Theater and the Okryu Restaurant during this period became a decisive moment for the formalization of the Paljak roof. The double roof rafters and gables and the "cheerful yet solemn" roofline were considered as main characteristic features of the Korean roof and the Paljak roof perfectly fits this description. Particularly, in North Korean society where Kim Il Sung became idolized as an impersonalized deity, an anecdote in which Kim Il Sung fixed a prominent gabled roof in the Pyongyang Grand Theater into a Paljak roof has allowed for the roof to gain an exclusive status. Hence, almost all Modern Joseon Architecture since the 1960s accepted the Paljak roof's monopoly position, rather than experimenting with other traditional roof types.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.1774-1775
• /
• 2011

퍼지이론은 비선형적 데이터의 취급에 있어 강력한 수단이 될 수 있으며, 본 논문에서는 퍼지시스템을 인간의 후각을 모사한 GAS 식별 시스템의 설계에 적용하였다. 먼저, 다수의 센서들의 특성 분석에 따라 GA를 이용하여 그룹화를 시킨 후 각각의 그룹들에서 나타나는 데이터들의 특성에 맞게 퍼지시스템을 설계하여, 센서들의 유동적 특성에 따른 조합과 퍼지시스템의 비선형 데이터에 대한 기술능력을 모두 수용할 수 있는 식별 시스템을 설계하였다. 마지막으로 성능 검증을 통해 하나의 퍼지시스템을 선택함으로써, 유동적 특성이 큰 센서들의 성능을 배제할 수 있도록 하여 보다 정확한 식별이 가능하도록 시스템을 설계 하였다.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 1994.10a
• /
• pp.238-243
• /
• 1994

본 논문에서는 여러가지 형태의 결합부에 적용할 수 있는 일반적인 모델링 기법에 대하여 기술하였다. 기존의 해석방법은 특정한 결합부에만 적용이 가능하고 유한요소해석과 실험이 상호 보완적인 관계를 가진 형태의 해석방법이므로 실험이 불가능한 경우에 대해서는 적용하기 어려운 경우도 있다. 본 논문에서는 별도의 실험을 수행하지 않고 결합부 영역만을 상세하게 유한요소 모델링을 하여서 선택된 자유도에 대한 유연성 행렬(Flexibility Matrix)을 구하여 결합부의 특성을 구하는 일반적 모델링 기법을 제시하였다. 이 방법은 수치적으로 축약할 수 없는 모델-결합부가 접촉면(Contact Surface)을 가지고 있는 구조물을 효과적으로 축약할 수 있는 장점이 있다. 또한 모델링되는 결합부의 경계조건의 영향을 배제할 수 있으며 결합부에 존재하는 비선형성도 적정범위내에서 선형화할 수 있다. 제시한 일반적 모델링 기법을 나사 결합부, 접착제 결합부(Glued Joints), 볼트 결합부에 적용하여 결합부이 특성을 구하였으며 실험을 통하여 제시한 해석방법의 타당성을 검증하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.1973-1976
• /
• 2002

본 논문에서는 유 무선 네트워크 환경에서의 자료 일치성 유지를 위한 동기화 프로토콜(SyncML1.1)을 검증한다. 프로토콜 검증에 관한 기존 연구에서는 약한 일관성을 갖는 동기화 프로토콜은 다루어지지 않았으며 정리 증명 혹은 모델 채킹에 대한 선택적 접근으로인해 증명 영역이 제한적이었다. 본 연구에서는 프로토콜의 의미를 정의하고 행위 및 시스템 구조, 메시지 패싱에 대한 개별적 모델을 단계적으로 설계하는 한편, 동기화 프로토콜에서의 안전성 및 상호 배제, 궁극성 속성은 시퀀트 계산법에서의 역방향 전략으로 증명되며, 모델 채킹 기술을 하나의 증명 규칙으로 사용했다. 본 연구는 두가지 부분에서 특징과 의미을 갖는다. 첫째, 정리증명과 모델 채킹이 혼합된 검증 방법을 사용했다. 둘째, 객체 제약 언어 및 정형 명세 언어의 사용을 통해 모델의 생성을 보다 단계적이고 정형적으로 유도했으며 이를 통해 검증의 신뢰성 및 품질을 높였다.

• 한국HCI학회:학술대회논문집
• /
• 2007.02a
• /
• pp.293-297
• /
• 2007

Human Computer Interaction 기술을 구체화 시키기 위한 Intelligent Responsive Space의 개발에 있어서 음성정보는 여러 가지로 유용하게 활용될 수 있다. 음성신호로부터 얻을 수 있는 다양한 정보 중의 하나가 화자인식을 이용한 화자의 신원식별이다. 이 논문에서는 화자인식 인식이 어려운 환경에서도 음성 신호로부터 추출한 특성벡터들을 선택적으로 사용함으로써 화자인식 성능을 높일 수 있는 새로운 방법을 제안하려 한다. 화자를 인식하는데 있어서 인식오류를 발생시킬 가능성이 높은 특성벡터들을 인식을 위한 판단의 대상에서 배제시킴으로써 성능을 향상시킬 수 있다. 실험결과에 의하면 0.25초에서2초 길이의 짧은 음성만으로도 기존의 방법에 비해 20에서 51%의 상대적 성능 향상을 보였다. 새롭게 제안된 방법을 적용하면 기존의 방법들에 비해 세밀하면서도 정확하게 연속적으로 화자들을 인식할 수 있게 된다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2007.05a
• /
• pp.199-203
• /
• 2007

도시유역에서 강우에 의한 유출수는 하천으로 직접 방류되거나 유수지를 거쳐 방류된다. 특히 내수침수의 위험이 있는 지역은 유수지를 설치하여 펌프를 통하여 강제배제하는 방법을 선택하고 있다. 현재 유수지의 구조는 대부분 유입관거의 관저고는 유수지의 하단고와 일치하고 유수지의 관 상단고에 비해 유수지의 H.W.L(High Water Leverl)은 높게 설정되어 있다. 이는 유수지의 수위가 상승하는 경우에 배수효과에 의해 관거 내의 흐름에 만관의 흐름이 발생하고 이는 유수지로의 유입유량의 감소 및 내수침수 발생 가능성의 증가로 이어진다. 본 연구에서는 유수지 수위에 따른 상류의 침수유역의 크기와 침수량을 정량화 하였다. 또한 SWMM 5.0 DLL을 사용하여 실제 강우에 대하여 강우-유출 모의뿐만이 아니라 치수유역 분석까지 실시간으로 가능하게 하였다.

• Proceedings of the Membrane Society of Korea Conference
• /
• 1995.10a
• /
• pp.38-40
• /
• 1995

분리막공정을 폐수처리에 적용시 적용되는 각 폐수의 특성과 조건에 따라 공정의 안정성 및 경제성에 많은 영향을 받게 된다. 특히 폐수에 대한 농축도는 공정의 경제성과 밀접한 관계를 갖고 있는 중요한 인자이다. 폐수중에 염류 및 난분해성 유기물의 농도가 높을 경우 최종 처리수의 양을 줄이지 않으면 추가로 농축수에 대한 처리비용이 증가하기 때문에 폐수에 대한 분리막의 농축특성을 실험을 통하여 충분히 고려하여야 한다. 난분해성 폐수의 일종인 염료폐수는 고농도의 유기물과 높은 염류를 함유하고 있어 분리막공정을 이용하여 처리시 농축도의 증가와 함께 폐수의 특성변화로 막의 성질을 변화시킬 수도 있다. 더불어 과포화된 무기이온성분에 의하여 막표면에 scale을 유발시킬 수 있으므로 농축에 따른 적절한 무기이온성분의 제거는 농축도를 높이는 중요한 인자라고 볼 수 있다. 본 연구에서는 2가 이온에 대한 선택적 배제가 가능한 nanfiltration계열의 분리막을 이용하여 염료폐수를 대상으로 처리효율, cold crystallization공정을 응용한 농축실험 및 세척효과에 관하여 연구하였다.

• Proceedings of the Korean Institute of Surface Engineering Conference
• /
• 2014.11a
• /
• pp.32-33
• /
• 2014

수소자동차용 연료전지의 중요 핵심부품 중 하나인 금속분리판의 경우 표면 처리 및 코팅기법을 이용해 전기적 고전도 특성과 화학적 내부식 특성을 확보하는 것이 관건이다. 본 연구내용은 향후 상용화를 목적으로 지금까지 진행해 온 금속분리판을 위한 건식 진공 표면처리 및 코팅기술 개발 현황에 대한 것이다. 생산비용의 저가화와 대량생산 가능성을 고려하여 고속의 연속 전처리법 및 진공증착법을 기본 공정으로 선정하고, 고전도/내부식성 증착물질 선택에도 귀금속을 배제하는 등의 기본 전제와 연구 결과를 소개한다. 기 확보된 기술에 의한 접촉저항 및 내부식 특성은 미국 DOE의 2017년 목표치를 만족하는 결과를 보였다.

• Journal of Veterinary Clinics
• /
• v.13 no.1
• /
• pp.96-101
• /
• 1996

면역성 용혈성 빈혈증 병견은 임상적으로 허약, 황달, 발열, 침울 및 점막창백을 나타낸다. 본 병의 진단은 구상적혈구증가증, 혈구응집반응 또는 직접적 Coomb시험 양성반응을 확인함과 동시에 용혈성 빈혈의 다른 원인을 배제함으로서 확정하여야 한다. 치료방법에는 적절한 보조적 요법과 함께 면역억압제가 포함된다. 일반적으로 치료에 있어서는 일차적으로 glucocorticoids가 선택되는데 흔히 cytoxan, aziothioprin, vincristine 또는 danazole과 같은 다른 약제와 병용된다. 치료는 그 반응에 근거하여 면역억압제의 용량을 2-4주 간격으로 점차 감량하면서 6개월 또는 그 이상까지 계속한다. 면역억압제에 대한 치료반응은 지연될 수 있고 또 적혈구 보유가 골수로부터 새로운 적혈구를 유리하게될 때까지 병축을 유지시키기에 부적당할 수 있기 때문에 병축의 예후판정은 경계하여야 한다. 심급성 내지 급성 예는 일반적으로 예후가 보다더 좋지 않다.

• The Korean Journal of Applied Statistics
• /
• v.11 no.2
• /
• pp.303-315
• /
• 1998

In a factorial experiment, certain combinations of factor levels clay not be ruled out for operational or economical reason. A fractional factorial design that contains such infeasible combinations, called debarred combinations, becomes too unbalanced to estimate the required effects. This thesis presents a method of selecting defining contrasts for constructing regular $3^{n-p}$ fractional factorial design which does not contain a debarred combination. Consequently, the construction of the design is accomplished by choosing the defining contrasts so that one of defining contrasts is compatible with a debarred combination.