• Journal of the Korean Society of Costume
• /
• v.5
• /
• pp.173-183
• /
• 1981

In 1895(32nd year of King Ko-Jong), Kyung-moo-chung as westernized police system was established and the uniform of the police developed. Regarding to the Uniform of the Kyung-bu-dai-sin(the Minister Kyung-bu) and to that of the Sun-gum(the low position of the Kyung-bu police), the Kyung-bu costume(Uniform of the police) is divided as Ye-bok(Formal uniform) and Sang-bok(Informal uniform). Ye-bok(Formal uniform) is put on in the case of the law described, and Sang-bok(Informal uniform) is an everyday wear. Ye-bok(Formal uniform) is composed of Ye-mo(hat), Eui(jacket), Go(trousers), Dai(decorative belt), Do(decorative sword), and Hwa(footwear). Sang-bok(Informal uniform) is composed of Sang-mo(hat), Eui(jacket), Go(trousers), and Hwa(footwear). Differences between Sang-bok(Informal uniform) and Ye-bok(Formal uniform) is the materials of the ornament, numbers of the decorative lines. Ye-bok(Formal uniform) has more grandeur[ornament. A historic changes in the Kyung-bu costume(Uniform of the police) during the late of Yi Dynasty was little but the decorative materials and the numbers of the decorative line.

• Journal of KIISE:Computing Practices and Letters
• /
• v.6 no.2
• /
• pp.161-172
• /
• 2000

In this paper, we introduce the development of a LOTOS-based tool, supporting formal methods, called ForTIA (A Formalism for Telecommunication and Information Systems). By using LOTOS, an ISO standard formal specification language, the user requirements and system models can be abstracted and represented formally. Therefore, the system can be validated and verified on the specifications, before implementations. ForTIA supports light-weight formal methods based on validation to be used in real industry. Key functions of ForTIA are simulation and C++ code generation. In simulation, tree based visual validation mechanism is provided and in code generation, the full C++ source code is generated to be used for system implementations.

• Journal of the Korean Society of Costume
• /
• v.58 no.1
• /
• pp.133-150
• /
• 2008

The purpose of this study was to recognize of the sizing system and analyze the fitting on formal pants of the on-line shopping mall for plus-sized women. To pursue this purpose, the investigation of the sizing system was focused on 22 online companies. The formal pants of 7 companies was selected among them. And actual sizes were compared with the guidance sizes of goods. For the assessment about the fitting on formal pants of 7 online companies, these came to make on to 16 obese women with 'A' body shaped and 'O' body shaped. A data analysis used the SPSS 14.0 statistics program. To verify the difference, this study used the variance analysis and Duncan's test for the postmortem verification. The result was as follows. 1. All of 22 companies were using the symbol such as 88, 99, 100 and 110 in the present condition of sizing system. The information about products size was presenting the products size not to be the body size. the guidance sizes of products were different from actual sizes of 7 companies to be assorted. Therefore, the guidance sizes of goods could not accomplish the facility. 2. According to the fitting-tests by the sensory assessment, the obese women with 'A' body shaped, did the dissatisfaction at the items of the hip circumference, abdominal region, crotch deep and pants length. The obese women with 'O' body shaped, did the dissatisfaction at the the items of crotch deep and pants length.

• Proceedings of the IEEK Conference
• /
• 2003.07b
• /
• pp.939-942
• /
• 2003

Design verification problem is emerging as an important issue to detect any design errors at the early stage of the design. Conventionally, design verifications have been done using a simulation technique. However, this technique has been proved not to cover all potential design errors. Therefore, formal technique is often used to verify digital circuits as an alternative. In this paper we adopted formal verification technique and verified some important properties derived from our pipelined digital systems, using SMV (Symbolic Model Verifier). Our example shows that model checking method (one of formal verification techniques) can be effectively performed in verifying the large digital systems.

• Journal of the Korean Society for Railway
• /
• v.7 no.2
• /
• pp.114-119
• /
• 2004

According to the computerization of railway signalling systems. the communication protocol for interface between these systems are required. Therefore the new communication protocol for railway signaling system is required. Generally, there are two verification method for new designed protocol in the industrial and academic fields. One is the laboratory testing method which is very popular and general technique. In our research the comparison between existing and new designed protocol for signaling is described and the verification test results are also represented. From these laboratory test, we are verified the conformance of new designed protocol. Another method is verified by formal method. The format verification method is widely used at safety-critical system design but this approach is nor popular at verification communication protocol. However it is very important to verify the safety of new designed protocol for railway signaling system because signaling systems are very safety-critical systems. So, the methodology for formal verification of designed protocol is also reviews in this paper.

• Fashion & Textile Research Journal
• /
• v.20 no.3
• /
• pp.304-311
• /
• 2018

This research used a questionnaire to provide basic data for the design of dressing form that enables the manufacture of senior menswear with an improved fit to match the dissatisfaction with the fit of male suits over the 50s. We used 132 questionnaires as analytical data. The results were: The item 'purchasing method of formal suits' showed that 95.5% purchased ready-to-wear jackets. The 'abdominal obesity type' and 'trunk waist type' had a high frequency of 'complaints about the size of the ready-to-wear jacket'. They choose their suits and wear them directly from the store. It is expected that senior males will complain about ready-to-wear formal suits due to the increase in girth item than normal type due to change of body shape since they consider size to also be important when purchasing suits. The most important part of the body when purchasing suits is the shoulder area, followed by the front width and back width of the fit. As for the degree of recognition of suit size, 38.1% said that they know the size and 'Suit size is hard to understand'. As a result of dissatisfaction with formal dressing, the items of 'Neck wide of get loose', 'Drag line of back neck', 'Not fit of front opening', 'Not fit of shoulder slope' and 'dissatisfaction'. Therefore, it is salient to establish suit fitting system and size system for senior men.

• Journal of KIISE:Software and Applications
• /
• v.27 no.2
• /
• pp.120-133
• /
• 2000

Major obstruction of using formal methods for hybrid real-time systems in industry is the difficulty that engineers have in understanding and applying the quantitative methods in an abstract requirements phase. While formal methods technology in safety-critical systems can help increase confidence of software, difficulty and complexity in using them can cause another hazard. In order to overcome this obstruction, we propose a framework for qualitative requirements engineering of the hybrid real-time systems. It consists of a qualitative method for requirements specification, called QFM (Qualitative Formal Method), and a safety analysis method for the requirements based on a causality information, called CRSA (Causal Requirements Safety Analysis). QFM emphasizes the idea of a causal and qualitative reasoning in formal methods to reduce the cognitive burden of designers when specifying and validating the software requirements of hybrid safety systems. CRSA can evaluate the logical contribution of the software elements to the physical hazard of systems by utilizing the causality information that is kept during specification by QFM. Using the Shutdown System 2 of Wolsong nuclear power plants as a realistic example, we demonstrate the effectiveness of our approach.

• Journal of Arbitration Studies
• /
• v.30 no.1
• /
• pp.139-160
• /
• 2020

Shalish is a key ingredient of the dispute resolution culture in Bangladesh since a formal court system has been known to show inefficiencies, such as overburdened cases and litigation process delays. This paper investigates the main function of Shalish and examines the evolution of Shalish in the perspectives of its three variants: a community-based Shalish, a village court, and an NGO variant of Shalish in modern extensions. It was found that traditional Shalish may play a role in the dispute resolution system in modern villages. A village court is a kind of hybrid dispute resolution system combining an informal dispute resolution with a formal court system. A village court is administered by the Union Parishad without intervention from the central government. Both the Shalish and village court have the weakness of unfair verdict exercised by local elders within a community. For this reason, an NGO variant Shalish is to reflect voices of women and other lower people in the community. To this study's interpretation, a village court is a new kind of Shalish combined with a formal court system while an NGO variant Shalish is also a "new" Shalish combined with a mediation system. In this respect, core elements of Shalish tradition have not been changed although various forms of new dispute resolution systems have emerged in the modern world.

• Korean Institute of Interior Design Journal
• /
• no.16
• /
• pp.175-181
• /
• 1998

The purpose of this study was to analyze the characteristics of expression and formal principle of universalism in Architectural Composition. Theorical category is to find universal system with the connection between idea of society and tradition in compositional frame the results were as follows : First it is the pursuit of divine. Through Middle Age and Renaissance universalism of principles in Architectural Composition is appeared a numerical order and human proportion with applying of cosmology. Second it is the pursuit of schema. With the simplicity of formal image it represented to the geometrical form for its clearness. Third it is the pursuit of typology. As to play a role of decisive factor in formal construction type represented the model with abstraction of shape.

• Journal of the Korean Society for information Management
• /
• v.16 no.4
• /
• pp.53-74
• /
• 1999

This paper describes concept mapping techniques for eliciting and representing knowledge. Concept mapping techniques range from very informal to very formal. Informal concept mapping techniques are usually very easy to use and understand for humans, but not for computers. Formal concept mapping techniques are computational, but humans usually find them hard to understand and use. A knowledge acquisition and representation tools which handle both kinds, and the transition from informal to formal, would be very useful. It is proposed that concept maps be regarded as basic components of any knowledge-based system, complementing text and image with formal and informl active diagrams.