• Proceedings of the Korean Society of Rural Planning Conference
• /
• 1998.03a
• /
• pp.25-26
• /
• 1998

This study was aimed to investigate the land use characteristics between urban and rural river systems. The ecological land unit systems was used to the key method for that objectives and the visual analysis was also used. The results were as followings : The won-sung river was characterized by the formal urban river system of which the headwater was covered with the various man-made constructions. Also the pong-se river showed a little simptoms of the urbanization from the headwater that meant the urgent ecological land use evaluation about that region.

• Journal of the Korean Society of Costume
• /
• v.38
• /
• pp.31-49
• /
• 1998

This study is the primary basic study about the spatial feature of modeling of Fashion Design. Then, this researcher lays significance in establishing the basic system about the character of dress and its ornaments as modeling in spatial-formal, dimension, examining the feature of modeling closely through perception principle and offering the basic principle to plan and organize the modeling space for dress and its ornaments on the basis of it. To generalize the findings is as follows : First, the spatial system of modeling for dress and its ornaments is made with 3 elements such as space, human beings and dress and its ornaments. Second, the form of dress and its ornaments and the spatial organization start from the structural basis which is human body, and the sensible system of body is made through inter-action, but the aesthetic expression is complet-ed by the moment of body. Third, the characteristic principle of model-ing for dress and its ornaments which was suggested in Chapter IV is based on the visuo-per-ceptional modeling experience, and these thinking contents are inputted in cognition course as the invisible in formation in the new space plan and organization and activate the apperception course and aim at the action about aesthetic judgement.

• Journal of the Korean Mathematical Society
• /
• v.54 no.5
• /
• pp.1521-1536
• /
• 2017

This paper introduces a representation style of variable binding using dependent types when formalizing meta-theoretic properties. The style we present is a variation of the Coquand-McKinna-Pollack's locally-named representation. The main characteristic is the use of dependent families in defining expressions such as terms and formulas. In this manner, we can handle many syntactic elements, among which wellformedness, provability, soundness, and completeness are critical, in a compact manner. Another point of our paper is to investigate the roles of free variables and constants. Our idea is that fresh constants can entirely play the role of free variables in formalizing meta-theories of first-order predicate logic. In order to show the feasibility of our idea, we formalized the soundness and completeness of LJT with respect to Kripke semantics using the proof assistant Coq, where LJT is the intuitionistic first-order predicate calculus. The proof assistant Coq supports all the functionalities we need: intentional type theory, dependent types, inductive families, and simultaneous substitution.

• Journal of the Korean Mathematical Society
• /
• v.57 no.1
• /
• pp.145-169
• /
• 2020

Let k be a field of characteristic 0. Let ${\mathfrak{C}}=Spec(k[x,y]/{\langle}f{\rangle})$ be a weighted homogeneous plane curve singularity with tangent space ${\pi}_{\mathfrak{C}}:T_{{\mathfrak{C}}/k}{\rightarrow}{\mathfrak{C}$. In this article, we study, from a computational point of view, the Zariski closure ${\mathfrak{G}}({\mathfrak{C}})$ of the set of the 1-jets on ${\mathfrak{C}}$ which define formal solutions (in F[[t]]² for field extensions F of k) of the equation f = 0. We produce Groebner bases of the ideal ${\mathcal{N}}_1({\mathfrak{C}})$ defining ${\mathfrak{G}}({\mathfrak{C}})$ as a reduced closed subscheme of $T_{{\mathfrak{C}}/k}$ and obtain applications in terms of logarithmic differential operators (in the plane) along ${\mathfrak{C}}$.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.32B no.11
• /
• pp.1455-1463
• /
• 1995

A new automatic tracking & recognition algorithm which decides the opening & the closing states of subject's eye and isn't affected by the subject's background is proposed. And it was tested in circumstances in which subject's background was not restricted using the developed system, ATRS(Automatic Tracking & Recognition System). The significant characteristic of the ATRS is new movement detection of object that is a body in motion with accelated velocity and it doesn't need any extra hardware except a formal CCD camera and an image grabber but it works so well and so fast. The ATRS would be particularly well suited to a way of communications of patients in a hospital, who can not communicate otherwise.

• Korean Institute of Interior Design Journal
• /
• no.39
• /
• pp.37-44
• /
• 2003

From long time ago, stairs are performed the central role of vertical circulation system in architectural planning for convenience of human. The purpose of this study is to find the spacial characteristics of stairs in architectural space. Two methods In this study are discussed. First, it is to extract the formal elements in its stairs shape raising an impulse of visual-perceptible recognition. Second, it is to analysis its characteristic through relationship between stairs and spacial elements. In conclusion, the characteristics of stairs in architectural space have as follows 1) spatial connection - to connect between space and other space or masses; 2) spatial separation - to separate between inner space and other space; 3) openness or closeness of space; 4) directed-tention of space.

• Proceedings of the Korean Institute of Interior Design Conference
• /
• 2007.11a
• /
• pp.134-138
• /
• 2007

Presents age is diversified in all genres by fast development of information and digital, and expression of fixing is not. Architecture and interior space design is showing new paradigm through dematerializing, ex-formal, nonlinear. Glass material is expressing by various technique in space and outer skin to introduction of digital media and a high-tech technology. Expressive characteristics and Techniques of this glass material are showing form of homogenized life in this age, simulated life. Therefore, this study does theoretical investigation through dematerializing of glass material, and analyzes works after 2000. Wish to understand stream of indoor design of present age after analyzes expression special quality and technique of glass material that reflect age and make a study of symbolic expression characteristic.

• Journal of the Korea Fashion and Costume Design Association
• /
• v.10 no.1
• /
• pp.55-68
• /
• 2008

This study is aiming to set a characteristic design and a fashion trend by analyzing hat style trends and fashion images shown in fashion collections in recent seven years. Also, based on the result of the analysis on the five world's major collections, the influence and the interrelation of hat and fashion image were analyzed. The study was performed by the context analysis method and the image evaluation method. In the context analysis method, the 1,391 pictures for hat-styles which were believed to be the standard of fashion style from the S/S season of 1998 to the F/W season of 2004 were analyzed. The research is summarized as follows. Based on the result of the fashion collections, the kinds of hats came Bowler, Beret, Cloche, Capeline, Cap and Hood in order, and Casual, Feminine, Natural, Formal, Romantic, and Mannish came in order for the case of the fashion images for putting on a hat. The result of the analysis on the characteristic of fashion design according to the kinds of hats, the casual image, with highest frequency, was found from all of the kinds except Capeline. Bowler and Cloche were conspicuous in jackets/slacks, Capeline was conspicuous in one-piece shape, and cloth silhouette showed the highest frequency in H type. As for Bowler, the color of cloth and hat was mostly black, and as for Beret and Cloche, achromatic color showed the highest frequency. But as for Capeline, the cloth color, including chromatic color, was various. As for Beret, pattern and material image were various comparatively, but as for other kinds of hats, there were the materials with no pattern and with hard material image.

• Proceedings of the KOSOMBE Conference
• /
• v.1997 no.05
• /
• pp.145-149
• /
• 1997

This paper describes a methodology for the development of models of discrete event system. 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 coupled discrete event system models within a framework. The structure employs the discrete event specification formalism for the discrete event system models. The proposed formal structure has been applied to develop a discrete event specification model for the complex spectral density analysis of strip for urin analyzer system. For this, spectral density data of strip is partitioned into a set of Phases based on events identified through urine spectrophotometry. For each phase, a continuous system of the continuous model for the urine spectral density analysis has been simulated by programmed C++. To validate this model, first develop the discrets event specification model, then simulate the model in the DEVSIM++ environment. It has the similar simulation results for the data obtained from the continuous system simulation. The comparison shows that the discrete event specification model represents dynamics of the urine spectral density at each phase.

• The Research Journal of the Costume Culture
• /
• v.16 no.1
• /
• pp.130-144
• /
• 2008

A recent concern about Goguryeo era reflects the efforts to find out our spiritual roots, which have descended from the ancient times; Goguryeo clothing study leads to analysis of our national spirit in terms of form. This study aims to analyze formal property and intrinsic meaning of Goguryeo clothing for Korean ramie clothing design and draw traditional images to derive design elements applicable to ramie clothing. On the basis of technical books, newspaper article, internet and precedent studies, theoretical study on Goguryeo clothing and ramie property was followed up with positive study to analyze the clothing on the Goguryeo ancient tomb mural. The results are as follows: First, a progressive spirit is to progress and develop anything actively; This spirit represents Goguryeo people's ambition and racial characteristic as horse-riding people; The rigidity of ramie fabric is suitable for expressing straight silhouettes and detail in Goguryeo dress. Second, a fluidity means flowing property in opposition to fixation; in the case of clothing, it has a tendency to change form according to body motions; The extensibility and crease-resistance of ramie fabric is suitable to express pleated skirts and holds high design value for modern people who tend to regard clothing as important individuality expression. Third, a universal property to introduce and receive; as Goguryeo was a prosperous country established by conquering an open plain, the period formed a society that recognized diversity by introducing foreign cultures freely; a universality suggests the direction of modernization of traditional ramie clothing and stimulates us to discovert new design through compromise between various cultures rather than to stick to traditional style. Considering the fact that precedent studies on traditional clothing are concentrated upon the Joseon period and also limited to formal analysis, this study aims to derive design elements for actual clothing making. These results are expected to be used as basic material for study as well as reference for designers who wish to design modern Korean clothing.