• 복식
• /
• 제63권8호
• /
• pp.14-26
• /
• 2013

The purpose of this study is to compare and analyze Jacqueline Kennedy and Michelle Obama's fashion style from a perspective of modernism and postmodernism. The method utilized in this study was first, to examine the properties of modernism and postmodernism. Next, we explored the types of role performance of the first ladies and the application of their fashion as an aid to their roles through the precedents of the research concerning modernism and postmodernism. The results of the study are as follows. First, there was a trend of formalism and anti-formalism. Jacqueline Kennedy made her public appearances wearing a formal dress in order to express the first lady's authoritarian figure of restrained elegance. The fashion of the first lady aspired to formalism. Meanwhile, Michelle Obama followed more of a free style by eschewing the typical formality of the first lady. She created diverse styles utilizing a variety of items, which were not interrupted by form or by using heterogeneous items. Second, there is a trend of elitism and populism. While Jacqueline Kennedy preferred only haute couture designers' costume in order to show the prestige and dignity of the upper class, Michelle Obama patronized unknown designers' clothing or mid-level casual brand goods that the public favors in order to interact with the public through her fashion. Third, while modernism regards totality or unity to be important, postmodernism puts an emphasis on the eclecticism by pursuing complexity and diversity through the deconstruction of an indigenous genre. In case of Jacqueline Kennedy, this tendency featured monotone clothing color, which presented a unified full set dress that excluded decoration. Michelle Obama, in contrast, mixed and matched formal dresses and a casual cardigan or felicitously mixed luxury brand or low to middle priced brand goods.

• 한국시뮬레이션학회논문지
• /
• 제26권4호
• /
• pp.51-61
• /
• 2017

최근 빅 데이터가 증가하는 추세에 따라 이를 분석 및 처리하고 활용하는 방안에 대한 관심도 증대되고 있다. 이러한 빅 데이터를 저장, 관리하기 위한 대표적인 플랫폼으로 분산 컴퓨팅 프레임워크인 맵리듀스와 분산 파일 시스템인 HDFS로 구성된 하둡 플랫폼이 있다. 하둡은 일반적으로 수백 수천 대 이상의 클러스터로 구축되는데, 이 때 실제 클러스터 구성이나 파라미터에 따라 하둡 플랫폼이 가지는 효과도를 분석하는 것이 중요하다. 하지만 수천 대 이상의 클러스터 구축하여 이를 분석하는 것이 실질적으로 어렵기 때문에 모델링 및 시뮬레이션 기법을 통해 분석하는 것이 필요하다. 본 논문은 계층적이고 모듈러한 모델링이 가능한 DEVS 형식론을 기반으로 하둡 시뮬레이션 환경을 제안한다. 제안하는 시뮬레이션 환경은 하둡 실행 결과를 이용한 입력 모델 설계를 통해 어플리케이션의 특성을 잘 반영할 수 있으며, 파라미터/알고리즘/모델들을 다양하게 변경하여 실험할 수 있는 재겨냥성 환경을 제공한다. 또한 사용자 편의성의 극대화를 위해 사용자 인터페이스, 실시간 모델 뷰어, 입력 시나리오 편집기를 제공한다. 본 논문에서는 어플리케이션 실행 결과와의 비교를 통해 하둡 시뮬레이터를 검증하고, 다양한 파라미터에 대한 실험을 진행한다.

• 한국시뮬레이션학회논문지
• /
• 제27권2호
• /
• pp.61-69
• /
• 2018

최근 정보 통신 기술이 발전함에 따라, 내장형 시스템은 여러 산업 분야에 적용되고 있으며 더욱 복잡해지고 있다. 이로 인해, 내장형 시스템의 개발 비용과 시간도 덩달아 증가하고 있다. 본 논문에서는 내장형 시스템의 개발 비용 및 시간을 절감하기 위해서 내장형 시스템의 동시적 개발을 위한 이산 사건 시스템(DEVS) 형식론에 기반 요구사항 평가 방법을 제안한다. 본 논문에서는 요구사항 명세를 DEVS 원자 모델의 형태로 기술하는 방법을 제안하며, 이를 개발하여 만든 요구사항 모델과 요구사항 평가 대상 시스템을 비교하는 평가자 모델 및 이들을 활용하는 평가 방법을 제안한다. 또한, 요구사항 평가를 위해 만든 요구사항 모델을 내장형 시스템의 동시적 개발 과정에 활용하는 방법을 제안한다. 제안하는 요구사항 평가 방법에 대한 사례 연구로 키넥트 깊이 정보 처리 시스템에 대한 요구사항 평가를 진행하였다.

• 논리연구
• /
• 제15권1호
• /
• pp.155-190
• /
• 2012

힐베르트의 프로그램에 관한 한, 비트겐슈타인의 생각의 발전 과정에는 뭔가 중요한 차이가 있는 것처럼 보인다. 1929년 비트겐슈타인이 철학에 복귀하는 과정에서 빈 학파의 슐리크와 바이즈만을 만나 함께 토론한 내용을 정리한 "비트겐슈타인과 빈 학파", 또 그 과정에서 비트겐슈타인이 자신의 생각을 정리하여 쓴 "철학적 고찰"과 "철학적 문법"에서의 비트겐슈타인의 주요주장은 1939년에 행한 "수학의 기초에 관한 강의", 또 이 강의를 전후해서 비트겐슈타인이 쓴 "수학의 기초에 관한 고찰"에서의 비트겐슈타인의 생각과 중요한 차이를 보이고 있기 때문이다. 나는 그 차이가 무엇인지를 보이기 위해서 먼저 힐베르트의 프로그램과 형식주의를 간략하게 살펴보고자 한다. 다음으로 나는 비트겐슈타인이 힐베르트의 형식주의로부터 어떤 영향을 받았으며, 또 그것을 어떻게 비판했는지를 조명할 것이다. 또한 나는 힐베르트의 프로그램에 대해서 중기 비트겐슈타인이 어떻게 비판했는지를 조명하고자 한다. 우리는 중기 비트겐슈타인이 힐베르트 프로그램에 대해서 칸토어의 집합론에 대해 했던 전기 비트겐슈타인의 주장만큼이나 과격한 주장을 했다는 것을 확인하게 될 것이다. 그러나 후기 비트겐슈타인은 더 이상 그러한 과격한 주장을 하지 않는데, 나는 중기 비트겐슈타인의 주장을 직접 비판함으로써, 또 비트겐슈타인 자신이 스스로 어떤 비판을 했을지를 논의하면서, 후기 비트겐슈타인이 왜 더 이상 그러한 주장을 하지 않는지 그 이유를 조명하고자 한다.

• 대한의용생체공학회:의공학회지
• /
• 제16권4호
• /
• pp.415-424
• /
• 1995

Combined models, specified by two or more modeling formalisms, can represent a wide variety of complex systems. This paper describes a methodology for the development of combined models in two model types of discrete event and continuous process. The methodology is based on transformation of continuous state space into discrete one to homomorphically represent dynamics of continuous processes in discrete events. This paper proposes a formal structure which can combine model of the DES and the CS within a framework. The structure employs the DEVS formalism for the DES models and differential or polynomial equations for the CS models. To employ the proposed structure to specify a DEVS/CS combined model, a modeler needs to take the following steps. First, a modeler should identify events in the CS and transform the states of the CS into the DES. Second, a modular employs the formalism to specify the system as the DES. Finally, a moduler developes sub-models for the CS and continguos states of the DES and establishs one-to-one correspondence between the sub-models and such states. The proposed formal structre has been applied to develop a DEVS/CS combined model for the human cardiovascular system. For this, the cardiac cycle is partitioned into a set of phases based on events identified through observation. For each phase, a CS model has been developed and associated with the phase. To validate the DEVS/CS combined model developed, then simulate the model in the DEVSIM + + environment, which is a model simulation results with the results obtained from the CS model simulation using SPICE. The comparison shows that the DEVS/CS combined model adequately represents dynamics of the human heart system at each phase of cardiac cycle.

• 한국시뮬레이션학회논문지
• /
• 제17권4호
• /
• pp.219-227
• /
• 2008

DEVS 형식론은 이산 사건 시스템을 계층적이고 모듈러하게 표현할 수 있다. MATLAB/Simulink는 연속 시스템과 이산 시간 시스템을 모델링하고 시뮬레이션을 수행하는 데 널리 쓰인다. 본 논문은 MATLAB/Simulink 환경에서 DEVS 형식론을 구현하는 방법론을 제안한다. 본 논문에서 제안하는 방법론을 이용하여MATLAB/Simulink에서 제공하는 다양한 공학 방정식과 알고리즘을 사용할 수 있다. 또한 동일한 시뮬레이션 환경에서 연속 시스템과 이산 사건 시스템이 혼합된 하이브리드 시스템에 대한 시뮬레이션을 수행할 수 있다. 이를 위해 본 논문은 Simulink-DEVS 모델과 이 모델을 시뮬레이션을 수행하는 데 필요한 시간 진행 알고리즘을 제안한다. 특히 시간 진행 알고리즘은 시스템의 유형에 상관없이 적절한 시간 진행을 수행한다. 두 가지 실험 결과를 통해 본 논문에서 제안하는 방법론의 효용성을 입증한다.

• 한국시뮬레이션학회논문지
• /
• 제27권3호
• /
• pp.37-44
• /
• 2018

복잡한 이산 사건 동적 시스템을 분석하기 위해 모델링 및 시뮬레이션(M&S) 기법을 적용함에 있어서, 기존에는 사용자 수준에 따라 각기 다른 시뮬레이션 환경을 사용해야 했다. 그에 따른 불편함을 해결하기 위하여 본 논문에서는 사용자 수준에 따라 M&S를 수행할 수 있는 통합된 개발 환경 및 개발 환경에서 모델을 효율적으로 관리하기 위해 정형화된 인터페이스를 제안한다. 인터페이스는 확장된 DEVS 형식론 및 모델 제작 규칙으로 구성되어있다. 개발 환경은 모델링 환경과 시뮬레이션 환경으로 나뉘고, 모델링 환경에서는 사용자의 수준별로 다른 모델링 방식을 제공한다. 모델링 작업의 결과로 생성된 모델을 활용하여 시뮬레이션 환경에서 여러 파라미터를 입력해서 시뮬레이션 함으로써 다양한 경우에 대해서 실험을 할 수 있다. 사례 연구에서는 제안한 M&S 환경을 구현한 내용에 대해 소개하고, 환경을 활용해서 복잡한 국방 전투 시스템을 모델링하고, 만들어진 모델을 바탕으로 시뮬레이션 하는 과정을 소개한다.

• 한국컴퓨터정보학회논문지
• /
• 제17권12호
• /
• pp.11-22
• /
• 2012

본 논문은 실용 엔지니어를 위해서 일반미분방정식으로 표현될 수 있는 연속시스템의 계층적인 모델 개발을 위한 모델링 기법 및 객체지향언어 기반의 경량 시뮬레이션 구축 환경을 제안하였다. 제안된 블록 기반 모델링 형식론은 단위 모델의 동적인 행위를 나타내는 기본블록 모델과 모델들의 계층적인 구조를 나타내는 결합블록 모델 형식론으로 이루어져 있다. 이러한 수학적 모델의 시뮬레이터를 객체지향 언어로 구현하기 위한 시뮬레이션구축 프레임워크인 BlockSim++를 제안하였다. 제안된 프레임워크는 재사용성을 제공하며, 수학적 모델을 쉽게 구현할 수 있게 하고, 또한 외부 응용 소프트웨어와도 쉽게 결합할 수 있는 인터페이스를 제공한다. 간단한 하이브리드 모델링 시뮬레이션 예시를 통해 제안된 모델링 형식론과 시뮬레이션 프레임워크를 이용하여 그 유용성을 입증하였다.

• 대한수학회논문집
• /
• 제33권2호
• /
• pp.459-471
• /
• 2018

We obtain a relation between generalized Hausdorff and packing multifractal premeasures and generalized Hausdorff and packing multifractal measures. As an application, we study a general formalism for the multifractal analysis of one probability measure with respect to an other.

• 대한수학회지
• /
• 제46권1호
• /
• pp.125-150
• /
• 2009

We analytically construct the versal deformation space of resolution of normal isolated singularities based on the formalism in [9].