• 한국의류학회지
• /
• 제26권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.

• 복식
• /
• 제62권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.

• 복식문화연구
• /
• 제17권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.

• 대한가정학회지
• /
• 제43권4호
• /
• 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.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제12권2호
• /
• pp.141-148
• /
• 2006

본 논문에서는 정형 검증 도구를 이용한 보안 소프트웨어의 보안성을 검증하고 검증된 결과를 이용하여 안전한 보안 소프트웨어 개발 방안을 살펴본다. 정형 검증 기법에 따라 사용되어질 수 있는 각 정형 검증 도구들을 살펴보고 그 특성을 파악하여 보안 소프트웨어의 안정성과 신뢰성을 보장하는 적합한 도구들을 알아보고, 보안 소프트웨어 개발 방안을 제시한다. Z 언어를 이용하는 도구인 Z/EVES는 Z명세에 대한 분석 방법을 제시함으로써 보안 소프트웨어에서 가장 많이 사용되는 대표적인 정형 검증 도구이다. 본 논문에서는 보안 소프트웨어 검증을 위하여 C 언어로 작성된 보안 소프트웨어를 Z명세 언어로 변환하고 이것을 Z/EVES도구를 이용한다.

• 박물관보존과학
• /
• 제20권
• /
• pp.31-48
• /
• 2018

국립부여박물관 소장 금강사지 치미 2점(부여2150-1, 부여2150-2, 이하 2150-1, 2150-2라 한다)은 금강사지 사역에서 발견된 것으로 잔존하는 하부가 비교적 완형의 형태를 갖추고 있어 치미의 형태와 제작기법을 확인할 수 있는 매우 중요한 자료이다. 본 연구에서는 사전에 이물질 제거 등의 보존처리를 실시하였으며 이후 육안관찰을 실시하여 금강사지 치미의 형태적 특징과 제작기법을 비교·검토하였다. 그 결과 치미 2점은 표면 색상, 태토, 형태, 크기, 장식된 문양 등 외형적 특징이 매우 유사하였으나 제작기법에 있어서는 약간의 차이를 보였다. 2150-1은 몸통과 날개를 각각 제작하고 등대 내부에 구멍을 마련하지 않은 반면, 2150-2는 점토판을 길게 조성하여 몸통과 날개를 동시에 제작하였으며 등대 내부에 원형의 구멍을 제작한 것이 확인되었다. 또한 치미 2점 모두 몸통 제작과정에서 의도적으로 한쪽 몸통의 형태를 기울어지도록 한 것을 알 수 있었다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 제36회 하계학술대회 논문집 D
• /
• 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.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제43권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.

• 정보처리학회논문지A
• /
• 제17A권4호
• /
• pp.173-180
• /
• 2010

프로그래밍언어에 대한 형식 의미를 적절하게 표현하면 설계와 표준화, 최적화 및 번역 과정에 중요한 역할을 수행한다. 기존의 자바에 대한 형식 의미 연구는 번역을 위해 정확하고 실제적인 의미 구조를 표현하는데 미흡한 점이 있다. 자바 번역 과정의 효율성을 향상시키기 위해 정적이고 동적인 의미 구조를 정확하게 표현하는 의미 표현법에 관한 연구가 필요하다. 본 논문에서는 기존의 작용식(Action Equations)을 사용해 명세한 연구를 확장하여 자바 언어에 대한 형식 의미를 명세하는 개선된 작용식(Action Equations)을 제시한다. 객체를 다루는 기능은 물론 예외를 처리하는 형식 의미론을 보다 실제적이고 정확하게 명세하게 된다. 판독성(Readability), 모듈성(Modularity), 확장성(Extensibility), 융통성(Flexibility)의 네 영역에서 명세된 작용식을 기존의 의미 표현법과 비교하여 본 작용식의 우수성을 확인하고자 한다.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 2002년도 Language, Information, and Computation Proceedings of The 16th Pacific Asia Conference
• /
• 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.