• Journal of the Korean Society of Clothing and Textiles
• /
• v.26 no.5
• /
• pp.675-683
• /
• 2002

The purposes of the study were to analyze the changes in formal attires and decorative features of middle age Korean women during the last half of 20th century and to find out any significant differences in formal attires according to periods. The study was a documentary research, and data were collected from 344 family wedding photographs by convenient sampling. The statistics used were content analysis, frequency and a time series analysis, and the results were as follows : 1. Four schematic clusters of formal attires were categorized according to skirt(chima) length and width, jacket(jogori) length, motifs and decorative features; simple classic, decorative classic, fashionable, and extravagant fashionable. Simple classic attires were popular until 1960s, the decorative classics were appeared from late 1960s to 1970s, fashionable attires were introduced from the late 1970s and the attires became more luxurious and extravagant until 2000. 2. Color symbolism in couples mothers'attires according to the couples gender - pink or red for the bride's mother and blue or green for groom's mother - was introduced from the late 1970s, and reached the maximum level by the early 1980s but slowly disappeared after the late 1980s. 3. The complete fashion cycle did not exist in the formal attires'change, however, since the Period of data were ranged from 1943 to 2000, the 57 years period may not long enough to measure a complete fashion cycle.

• Journal of the Korean Society of Costume
• /
• v.62 no.5
• /
• pp.16-30
• /
• 2012

This study examines the types and features of formal ritual hats for Tibetan Buddhist priests. Findings of the study are as follows. The types of formal hats that Tibetan Buddhist priests wear during religious rites or rituals include: u rgyan pad zhwa, pan zhwa, tshogs zhwa, rigs inga, zhwa nag, zhwa dmar and dwags zhwa. The reason why such formal ritual hats as listed above were developed is because the region had an alpine climate, and also because they were the symbolism of Buddhism, the most reverent priest, and reincarnated Buddha thoughts. They were an essential part of the culture of dressing Buddhist statues and offering utensils. Formal ritual hats' shapes originate from lotus. They are colored in red, yellow, indigo, green, white or black, that reflect the nationality and aesthetics of Tibetans. They are mainly made of woolen or silk fabrics. They are usually decorated with gold, git bronze or jewels and the patterns of the sun and the moon, vajra or clouds.

• The Research Journal of the Costume Culture
• /
• v.17 no.5
• /
• pp.849-865
• /
• 2009

This research is a study of fashion design that applied formative features of formal beauty of architecture into clothing design; we focused on Gaudi's architectural style as well as Art Nouveau style that became popular from the end of the 19th century to the beginning of the 20th century. We noted that in general the simple and flat features of cloth impose a limitation on the expression of formal features in clothing design, but a unique diversity of designs can be achieved, evoking a sense of freshness by an ideal combination of flat patterns and draping. The aim of this research is to present a possibility of extending the sphere of design expression by creating three-dimensional clothes with pattern-cutting skills and applications of three-dimensional patterns as well as flat patterns found in Gaudi's works of architecture that are distinguished in curvaceousness and formal beauty. As for the research method, we reviewed previous studies by making a close review of books, papers, the pictures and web sites related to this topic. We made our clothes on the basis of this theoretical consideration. We found the following points. First, by presenting a work of fashion inspired by architectural designs, we realized that formal beauty in architect can become a motive for clothing design in a broad scale by noting the formal images, decoration details, and formative features of architectural works. Second, the characteristic lines of Gaudi's architecture are suitable to be adapted for expressing the detailed lines of decoration in clothes. Third, we can express formative beauty in clothes by highlighting the variation of shapes and lines through various attempts of change in background pattern, even though there is a limitation in the availability of cloth material because we must choose pieces of cloth with right texture and thickness that can be cut and sewn appropriately to express formative beauty. Fourth, we confirmed that it was possible to create unique formative designs by a creative application of both flat and three-dimensional cutting.

• Journal of the Korean Home Economics Association
• /
• v.43 no.4 s.206
• /
• pp.97-110
• /
• 2005

The need for children's formal wear is growing as parents take their children into formal occasions more often than before. Yet there are some problems to be solved in order to generalize about children's formal wear such as high price and the development of patterns for better fit and design. Mothers of boys were surveyed to find out the needs, complaints, and required improvements of boy's formal wear. Pattern designers of children's formal wear brands were interviewed to determine the size specifications, pattern drafting methods and design features of each brand. Based on these results, several pattern drafting methods were selected. Jackets and pants for 9-year-olds were made by each pattern drafting method using the us standard size. They were compared through wearing test to improve the fit. As a result, pattern drafting methods for children's tailored suits and two formal jackets were suggested.

• Journal of KIISE:Computing Practices and Letters
• /
• v.12 no.2
• /
• pp.141-148
• /
• 2006

This paper suggests method of safe security S/W by verifying and its result of formal verification tool. We will survey many formal verification tools and compare features of these tools. And we will suggest what tool is appropriate and methodogoly of developing safe security S/W. The Z/EVES is the most appropriate tool. This paper proposes formal verification of ACS by using RoZ tool which is formal verification tool to create UML model. The specification and verification are executed using Z/EVES tool. These procedures can find weak or wrong point of developed S/W.

• Conservation Science in Museum
• /
• v.20
• /
• pp.31-48
• /
• 2018

The Geumganasa Temple site two Ridege-end tiles at the Buyeo National Museum(The Buyeo2150-1 and 2150-2, hereinafter referred to as 2150-1 and 2150-2) were excavated the Geumgangsa Temple site. They provide important materials for investigating the shapes and production techniques of the ridge-end tiles of the time since their lower portions remain relatively intact. This study is intended to examine whether the two ridge-end tiles were identical. Conservation treatment, including removal of foreign substances, was conducted in preparation for observation with the naked eye to compare the formal features and production techniques of the two examples. The study revealed that these ridge-end tiles shared formal features such as surface color, clay composition, shape, size, and decoration; however, they differed in terms of production technique. The 2150-1 tile was made by assembling a separately-made body and wing and has no hole through the back, while the 2150-2 tile had its body and wing made as a single unit using long clay plates and features circular holes in the back. It was revealed that one portion of the body of both tiles was intentionally tilted during the production process.

• Proceedings of the KIEE Conference
• /
• 2005.07d
• /
• pp.2489-2491
• /
• 2005

Currently, Programmable Logic Contorller(PLC) uses Real Time Operation System(RTOS) as basic OS. RTOS executes defined results as to defined time. General features of RTOS emphasize the priority in each task, high-speed process of external interrupt, task scheduling, synchronization in task, the limitation of memory capacity. For safety critical placement, PLC software needs Verification and Validation(V&V). For example, nuclear power plant. In this paper, PLC RTOS is verified by formal methods. Particularly, formal method V&V uses verification tool called 'STATEMATE', and shows the results.

• The Mathematical Education
• /
• v.43 no.4
• /
• pp.381-390
• /
• 2004

In this study, we conceptualized the ‘preformal proof’, which is a transitive level of proof from the experimental and inductive justification to the formalized mathematical proof. We investigated concrete features of the preformal proof in the historico-genetic and the didactical situations. The preformal proof can get the generality of the contents of proof, which makes a distinction from the experimental proof. And we can draw a distinction between the preformal and formal proof, in point that the preformal proof heads for the reality-oriented objects and does not use the formal language.

• The KIPS Transactions:PartA
• /
• v.17A no.4
• /
• pp.173-180
• /
• 2010

To specify a formal semantics is to do a significant part for design, standardization and translation of programming languages. The existing studies of a formal semantics for Java have a weak point to describe a clear and practical semantics for an efficient translation. It is necessary to do research for a formal semantics to specify a static and dynamic semantics clearly in order to do an efficient translation. This paper presents the improved Action Equation that specifies a formal semantics for Java to extend the research using Action Equation. The Action Equation is a practical and accurate specification that describes object-oriented programming features and handles exceptions. The specified Action Equation is compared to other descriptions, in terms of readability, modularity, extensibility, and flexibility and then we verified that Action Equation is superior to other formal semantics.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2002.02a
• /
• pp.237-248
• /
• 2002

This paper investigates the internal structure of finite small clauses (FSC). I will propose that a FSC is base-generated at Spec-CP and a null operator is involved to check the formal features of the embedded T and turn a sentence into a predicate.