• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2002년도 춘계학술대회논문집
• /
• pp.43-49
• /
• 2002

본 연구는 첨단 신호 시스템 알고리즘의 최적해를 구하는 문제를 기호적 시뮬레이션 기법으로 해결하기 위한 방법론을 제시한다. 최근 지능형 교통 시스템의 일환으로 최적화 된 교통신호를 생성하기 위한 신호제어기법들이 많이 개발되었다. 하지만 이러한 신호제어기법은 복잡한 교통환경에서 신호제어 변수간의 다양한 상호작용의 모든 해를 제공할 수 없는 한계를 지닌다. 한편 기호적 시뮬레이션 기법은 발생 가능한 모든 사건과 시간관계를 자동 생성시킴으로써 동적으로 변화하는 다양한 교통환경에 대해서 신호제어 변수간의 모든 시간관계를 추론해 낼 수 있는 장점을 지닌다. 하지만 기호적 시뮬레이션을 이용한 모델링에 있어서 교통량과 같은 양적인 요소들의 기호적 표현에는 어려움이 따른다. 따라서 본 논문에서는 교통량과 같은 양적인 요소들을 시간에 따른 변화량으로 해석하여 첨단 신호 시스템 알고리즘의 최적해를 구하는 문제에 접근한다. 이를 위해 국내 첨단 신호 시스템을 대상으로 신호제어 전략에 필요한 양적 요소를 검토하고, 이러한 양적 요소를 시간에 따른 변화량으로 해석하여 모델링 하고, 기호적 시뮬레이션 실험을 수행하여 최적신호 제어 알고리즘을 생성한다.

• 한국컴퓨터정보학회논문지
• /
• 제22권3호
• /
• pp.81-88
• /
• 2017

In this paper, we classified the weaknesses of C/C++ programs listed in CWE based on the diagnostic information produced at each stage of program compilation. Our classification identifies which stages should be responsible for analyzing the weaknesses. We also present algorithmic frameworks for detecting typical weaknesses belonging to the classes to demonstrate validness of our scheme. For the weaknesses that cannot be analyzed by using the diagnostic information, we separated them as a group that are often detectable by the analyses that simulate program execution, for instance, symbolic execution and abstract interpretation. We expect that classification of weaknesses, and diagnostic information accordingly, would contribute to systematic development of static analyzers that minimizes false positives and negatives.

• 한국의류학회지
• /
• 제18권4호
• /
• pp.460-472
• /
• 1994

The Purpose of this study was to find in the art the basis of originality appeared on the fashion design and investigating the erotic expression appeared on the ornaments how art surrealism, pop art, post moderninism-formularize in the modern fashion. This study about the expression of eroticism and modren costume, through the source of pictures contained in art books and mode magazine and documents investingation has resulted as follows: First, the formality and contents that related art and fashion shows us a various aspect. That based on modeled characteristic and various technique of the art. Second, the expression of eroticism in fashion expressed differently in style, material and expression method that is more strongly, sometimes metaphorically with spirit of the time's. Third, the expression of eroticism in fashion whether direct way or symbolic way has appeared as partial exposure of the body. It is appearing to the course that can display individuality of each person over the taboo of the part and the previous limitation of fashion.

• 한국의류산업학회지
• /
• 제11권2호
• /
• pp.200-209
• /
• 2009

Mirrors often appear in fashion advertisements. This study aimed to analyze meanings of the images represented in fashion advertisements using mirrors. This study analyzed the meanings of mirror image in Western art history, and also studied meanings of female representations in the paintings. Based on previous studies, this study classified mirrors' expressions in three types and analyzed their meanings. To analyze the meanings of the three types, this study researched the symbolic meanings of the mirrors in visual arts chronologically, first. And then, this study interpreted that in the context of consumption cultures and consuming ideologies in view of feminism, consumption ideology, desire theory, and fetishism. The results of this study were as follows; 1. Narcistic body expressions associated with strong and independent women, while associated submissive being overwhelmed by consumption cultures. 2. The method of revealing the female body throughout mirrors was meant to attract the attention of consumer. 3. Multiplied body images meaning was like a commodity in fashion advertisements.

• 대한수학회논문집
• /
• 제27권1호
• /
• pp.107-116
• /
• 2012

Here, by using the symbolical method introduced by Burchnall and Chaundy, we aim at constructing certain expansion formulas for the generalized hypergeometric function $_pF_q$. In addition, using our expansion formulas for $_pF_q$, we present formulas of an analytic continuation of the Clausen hypergeometric function $_3F_2$, which are much simpler than an earlier known result. We also give some integral representations for $_3F_2$.

• 한국멀티미디어학회논문지
• /
• 제21권3호
• /
• pp.423-431
• /
• 2018

In this paper, we try to verify a normative module based house design procedure consisted of several sequential steps. The first step is to suggest formalization of designing so that we could clarify each phase and operation we are adopting in our design process. The second step is the clearing up the conceptual schema of traditional skills that we adopt and utilize from traditional Hanok framing techniques. The third step is to formulate adequate modular kits for the assembly of house design solutions for the schematic, conceptual and preliminary phases of designing. The fourth step is to implementing our ideas and methods to a proper computational platform such as Unity3D. The final step is to verify our symbolic descriptions of design formalization with the output of our experiments so that we have better understanding of design reasoning characteristics such as in house design.

• 교육시설
• /
• 제9권4호
• /
• pp.5-13
• /
• 2002

This paper aims to analyse design conditions and propose schematic design for Jangsung High School in Pohang. As for site conditions, it has the size of $14,900m^2$ and a rather flat condition near to the ocean East Sea. And the area is under development with land subdivision method expecting high density housing around it. As a program, Education Facilities Bureau required to provide 36 classes and supporting facilities. To design the schemes, we followed the 7th education policy guidelines. During the design development stage, 3 alternatives are suggested as in the paper. However, staffs of Education Bureau and teachers favoured and selected our scheme, which gives symbolic image, as a new high school education environment.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
• /
• pp.137-139
• /
• 1999

concurrent reactive system은 일반적으로 매우 많은 다른 행동들(different behaviors)을 보여 주기 때문에 설계하기가 어렵다. 또한 한 시스템에서의 구성 요소들 간에 상호작용을 함으로 전체 시스템의 상태를 나타낸다면 전체 상태를 각 구성요소의 상태들의 곱으로 나타내지므로 복잡도는 지수의 곱으로 나타내 질 것이다. 따라서 단순한 테스트로는 시스템 특성의 정확성을 검증하기 위해 모든 상태를 확인할 수 없다. 본 논문에서는 concurrent system의 고전전 문제인 dining philosophers problem을 상징적 기호 표현방법을 이용해서 그 시스템의 정확성을 검증하고 또한 상태 공간 폭발 문제-상태 공간의 크기가 시스템에서 구성요소의 복잡도와 수가 동시에 지수적으로 증가하는 문제-를 어떻게 해결할 수 있는 가를 제시한다.

• 한국경영과학회지
• /
• 제27권4호
• /
• pp.87-109
• /
• 2002

A satisfiability problem in propositional logic is the problem of checking for the existence of a set of truth values of atomic prepositions that renders an input propositional formula true. This paper describes an empirical investigation of a particular integer programming approach, using the set covering model, to solve satisfiability problems. Our satisfiability engine, SETSAT, is a fully integrated, linear programming based, branch and bound method using various symbolic routines for the reduction of the logic formulas. SETSAT has been implemented in the integer programming shell MINTO which, in turn, uses the CPLEX linear programming system. The logic processing routines were written in C and integrated into the MINTO functions. The experiments were conducted on a benchmark set of satisfiability problems that were compiled at the University of Ulm in Germany. The computational results indicate that our approach is competitive with the state of the art.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1995년도 춘계학술대회 논문집
• /
• pp.363-368
• /
• 1995

A general method of solving inverse kinematics of three-joint manipulator composed of revolute joints or prismatic joints or combinations of those joints is presented in this study. In completing real-time control, it is very important to obtain the closed form solutions of inverse kinematics rather than iterative numerical solutions, because iterative numerical solutions are generally much slower than the corresponding closed form solutions. If it is possible to obtain the inverse kinematic solutions for general cases of considering twist anlges and offsets, the manipulator work space can be designed and enlarged more effciently for specific task. Moreover, in idustrial manipulators, the effect of main three joints is larger than that of the other three joints related to orientation in the view of work space. Therfore the solutions of manin three-joint are considered. Even The inverse kinematic equations are complicatedly coupled, the systematical solving process by using symbolic calculation is presented.