• 대한수학회보
• /
• 제29권1호
• /
• pp.81-87
• /
• 1992

Wellknown invariance of domain theorems are Brower's invariance of domain theorem for continuous mappings defined on a finite dimensional space and Schauder-Leray's invariance of domain theorem for the class of mappings I+C defined on a infinite dimensional Banach space with I the identity and C compact. The two classical invariance of domain theorems were proved by applying the homotopy invariance of Brower's degree and Leray-Schauder's degree respectively. Degree theory for some class of mappings is a useful tool for mapping theorems. And mapping theorems (or surjectivity theorems of mappings) are closely related with invariance of domain theorems for mappings. In[4, 5], Browder and Petryshyn constructed a multi-valued degree theory for A-proper mappings. From this degree Petryshyn [9] obtained some invariance of domain theorems for locally A-proper mappings. Recently Browder [6] has developed a degree theory for demicontinuous mapings of type ( $S_{+}$) from a reflexive Banach space X to its dual $X^{*}$. By applying this degree we obtain some invariance of domain theorems for demicontinuous mappings of type ( $S_{+}$). ( $S_{+}$).

• 논리연구
• /
• 제9권1호
• /
• pp.1-29
• /
• 2006

This paper investigates algebraic semantics for sKD and its extensions $sKD_\triangle$, $sKD\forall$, and $sKD\forall{_\triangle}$: sKD is a variant of the infinite -valued Kleene- Diense logic KD; $sKD_\triangle$ is the sKD with the Baaz's projection A; and $sKD\forall$ and $sKD\forall{_\triangle}$: are the first order extensions of sKD and $sKD_\triangle$, respectively. I first provide algebraic completeness for each of sKD and $sKD_\triangle$. Next I show that each $sKD\forall$ and $sKD\forall{_\triangle}$: is algebraically complete.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권11호
• /
• pp.833-841
• /
• 2001

본 논문에서는 진화프로그래밍에서 레비 확률분포(Levy probability distribution)를 사용한 돌연변이 연산의 유용성을 레비 돌연변이 연산 후의 변수의 평균변화율(mean square displacement) 및 유일성(distinctness) 등을 통하여 분석하였다. 레비 확률분포는 무한의 분산(infinite second moment을 가지는 확률분포로 쪽거리(fractal)와 연계되어 최근 연구가 활발히 진행되고 있는 확률분포이다. 레비 확률분포를 사용한 레비 돌연변이 연산은 변화가 작은 자손(offspring)뿐만 아니라 기존의 정규분포를 사용한 돌연변이 연산에 비하여 상대적으로 변화가 큰 자손을 생성할 수 있다. 이러한 사실에 기초하여 레비 돌연변이 연산은 보다 넓은 탐색 공간을 효율적으로 조사할 수 있음을 평균변화율 및 유일성 등의 조사를 통하여 수학적으로 증명하였다. 이를 통하여 진화 프로그래밍에서 레비 확률분포에 기초한 돌연변이 연산이 정규분포를 사용한 돌연변이 연산보다 다변량 함수의 최적화의 경우 일반적으로 효율적인 연산임을 알 수 있었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권8호
• /
• pp.591-598
• /
• 2010

본 논문에서는 연속형 최적화 문제를 위한 타부 탐색에서 후보 해를 생성하기 위해 사용되는 정규 분포의 단점을 보완하기 위하여 코시 확률 분포에 기초한 후보 해 생성 방법을 제안하였다. 코시 확률 분포는 평균 및 분산 등이 무한대인 확률 분포이며, 분포의 꼬리 부분의 확률이 정규 분포에 비하여 상대적으로 크다. 따라서 코시 분포를 사용하면 변수의 변화가 큰 후보 해가 생성될 확률이 높기 때문에 보다 넓은 변수 공간을 탐색할 수 있는 장점이 있다. 코시 확률 분포를 사용한 타부 탐색의 성능을 기존의 정규 분포를 사용한 방법과 비교 분석하기 위하여 실변수 함수로 구성된 벤치마킹 문제에 적용하여 실험을 실행하였다. 실험 결과를 통해 볼 때, 실험에 사용한 모든 함수에 대하여 코시 분포를 사용한 방법이 보다 나은 결과를 나타냈으며, 또한 통계적 가설 검정을 통하여 코시 확률 분포의 우수성을 입증하였다.

• 패션비즈니스
• /
• 제22권2호
• /
• pp.88-106
• /
• 2018

The domestic fashion industry is not able to exceed the level of fashion that exists in advanced countries due to the relatively weak design competitiveness and the differentiated capability of product development. In order for the domestic fashion industry to become a growth industry that is valued in the world market of infinite competition, a step-by-step support system that can demonstrate and maintain the creative ability of designers is needed. Therefore, this study proposes a template - based 3D virtual fashion technology and a digital fashion platform based on it. The proposed template - based 3D virtual fashion technology is designed to clearly communicate the intention of designers and to be able to instantaneously view the results, thereby reducing the time and cost of producing prototypes. In addition, the digital fashion platform based on the template is designed as a collaborative platform based on idea sharing, which dramatically improves the process of confirming the prototype and initiating the product planning and manufacturing stages. This new technology can contributes to the formation of a business environment and a new area within the existing fashion industry and can be utilized for the development of the fashion industry in the future.

• 만화애니메이션 연구
• /
• 통권41호
• /
• pp.1-29
• /
• 2015

본 연구는 뉴에이지 사상에 나타난 특성이 애니메이션이라는 대중문화에서 어떻게 표현되고 있으며 그 특징이 대중적으로 어떻게 사용되고 있음을 연구하는데 목적을 두고 있다. 뉴에이지 사상은 뉴에이지 운동과 혼용되어 사용되고 있다. 뉴에이지 사상의 기본적 철학은 '인간의 무한한 잠재력이 인간 자신과 지구를 변화시킴으로 평화와 빛과 사랑의 새시대가 일시에 나타날 것이다'라고 말하는 인본주의에 중심을 두고 있다. 이 사상은 서양의 기독교에 대한 부정과 서구의 비술과 동양사상을 바탕으로 1960년대의 미국의 기존질서를 의심하고 부정하는데서 출발하여 포스트모더니즘의 사상과 반문화운동의 영향을 받아 1970년대에 대체종교로 발전하게 되었다. 하지만, 뉴에이지 사상은 자체적 한계로 인하여 종교적 사상보다는 문화, 평화, 인류의 행복과 치유를 위한 사회운동으로의 변환을 시도하였다. 그럼에도 불구하고 뉴에이지 문화에는 본질적인 종교적 특성이 들어있으며 그러한 특성은 대중문화에서 차용하기에 용의하고 침투력도 높다. 종교란 넓은 의미에서 보면 제도화된 기성 종교, 성스럽고 가장 높은 가치를 부여하는 것에 대한 사회적 움직임이나 경향, 그리고 많은 개인들이 갖고 있는 고유한 종교적 믿음과 수행 모두를 포함한다. 종교는 개인에게 삶의 의미와 올바른 방향을 제시하는 한편, 사회질서의 유지와 시회통합에 기여한다는 점에서도 가장 총체적이며 복합적인 문화현상으로 평가된다. 그러한 이유로 종교와 문화는 깊은 상관관계를 가지고 있으며 대중문화가 수용자에게 깊은 감동과 재미를 주기 위해서는 인간의 깊은 의식 속에 숨어 있는 종교적 갈망을 포착하고 들어낼 필요가 있기 때문이다. 본고에서는 뉴에이지의 환생, 환상, 명상, 범신론과 일원론과 같은 특징을 분석하고 이러한 특징이 대중문화와 대중문화를 공부하는 학생들에게 영향을 미치는 것에 대해 분석하고자 한다. 또한, '아바타'를 통하여 애니메이션에서 나타난 뉴에이지사상의 특징을 분석하였다. 본 연구는 다양한 대중문화의 사상적 실체가 되는 종교적 영향력을 재조명하고 다양한 시각으로 대중문화를 바라보는 통찰력을 가지는데 도움이 되었으면 하는 바람이다.