• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.10
• /
• pp.6372-6378
• /
• 2014

This study examined the formal types and public space of Mies van der Rohe's office designs in Germany. The characteristics of the formal types, the relationship between public space and formal types, and the composition of public space were analyzed by hierarchy with perspective drawings and plans. The conclusions were as follows. Mies used the formal types, such as U shape and I shape in his early days. Later, he adopted the curved shape and tried to fragment the forms by combining the curved shape with an I shape. Mies designed the entry space in front of the simple formal types. The curved shape was used to create various hierarchical courtyards and rear gardens. The results suggest that Mies developed his own ideas on the formal types and public space utilizing a variety of methods.

• Journal of the Korean Society of Clothing and Textiles
• /
• v.32 no.4
• /
• pp.630-640
• /
• 2008

The purpose of this study was to investigate and make comparison of clothing images presented in women's formal and casual brands. The data were collected from 39 formal brands out of 155 and 64 casual brands out of 256 in Korea Fashion Brand Annual in 2005/2006. 316 words selected were classified into five clothing images according to the definition of previous researches and analyzed according to age ranges and price zones of brands. The results were as follows: 1) Formal brands focused on thirties and forties in age ranges and better and prestige in price zones, while casual brands centered on twenties in age range and better and volume in price zones. 2) Luxury, modem and feminine were more frequent words than others both in formal and casual brands, but elegant was found most frequently in formal brands, while comfortable, chic and simple were found frequently in casual brands. 3) Clothing images were classified into four types and appeared in elegance, modernity, individuality, and activeness order in formal brands, while clothing images in casual brands were classified into five types including youthfulness and appeared in elegance, activeness, modernity, individuality, and youthfulness order. 4) Elegance was a highly presented as clothing image in all the age ranges except thirties of formal brands but modernity and activeness with elegance were presented in price zones of casual brands. This study found that there were differences in clothing images in women's formal and casual brands.

• The Korean Society of Law and Medicine
• /
• v.8 no.2
• /
• pp.119-164
• /
• 2007

Improving the formal objection system regarding reviewing medical expenses requires authority and confidence in the aspect of well-functioning the health insurance review and assessment system, legally and appropriately. The purposes of improvement of the formal objection system should aim for protecting the people's right of health. On handling the formal objections, the disputes of the rights should be settled economically and promptly by fairness, specialty, and objectivity in the health insurance review and assessment administration. Therefore, in order to promote the administrative specialty of health insurance, the formal objection committee needs to be organized independently and guaranteed expertly. Under the current formal objection system, however, the organization of committee lacks right-relief function, recognition and public relation as a health insurance appeal system, and related professional man powers. It is also analyzed that there are several controversial points, such as mass deliberation to the formal objection committee and its conference procedure. As a measure of improvement, it is analyzed that the committee needs to be organized independently with a proper number of professional man powers. The strict deliberation procedures and the prohibition of the decision-making by non-conference are also required to be empowered. The formal objection procedure provides the beneficiaries and the claims legitimately, so that it secures the legal relations on the health insurance system. Therefore, on the conference process of formal objection, the expert and guaranteed protection should be provided promptly, and its procedures to the appellants should also be assisted kindly.

• 한국노년학
• /
• v.30 no.4
• /
• pp.1027-1044
• /
• 2010

This study is to examine the effective system for providing services for long-term care elders, despite the expansion of formal care, informal care still is needed. Thus, this study's purpose is to classify the informal-formal resources linkages types of long-term care elders and looks into service satisfaction by these types and discover effective informal-formal resources linkages models. For that, this study is to divide informal-formal resources linkages types by the degree of providing services of informal and formal caregivers and discover the informal-formal resources linkages types using cluster analysis and explores the effectiveness of service satisfaction using multiple regression. The study's results is to suggest four models, such as family care, complementary, separation, formal service and complementary type was founded to be the most effective and then based on the result, we discuss as follows. First, we must strive to combine informal resources into formal service systemto the system for providing of service is made up the complementary type. Second, the system for providing services of long-term care elders is required integrated care system to alining of medical and long-term care services. Third, we have to consider a measure to improve of formal service type, for the satisfaction of formal service appears low relatively. Based on research findings, this study propose that the informal-formal resources linkages models are subdivided into the dimension of quantity and quality of care for improving the effectiveness of long-term care services.

• Journal of the Korean Society of Clothing and Textiles
• /
• v.30 no.5 s.153
• /
• pp.762-771
• /
• 2006

This study provides the basis far salesman to present formal style in suggesting Good-Bad formal style as well as in examining a meaning structure and valuation differences of visual valuation. Stimulus pictures has been chosen consequently 76 pieces through the preliminary inquiry who are working at department store, franchise salesman, car salesman, insurance staff and other salesmen. The tool for visual valuations about suit style is composed of 7 points of Likert type by making 21 questionnaires from the preliminary study. Collecting data is 512 pieces are used to analyse. The duration to collect data was from August 5th to 20th in 2004 and SPSS statistics package program has been used. At first, main factors according to the visual valuation of formal style are Attractiveness, Having abilities, Uncomfortableness. In second, Good formal style shows more attractive and looks having more abilities than Bad formal style and less uncomfortable. In third, in the relations of Good-Bad formal style and demographics, there is meaningful differences according to gender, age, job, salary. In fourth, in the relations of a purchase purpose and visual valuations of formal style, for Good-Bad valuation, the first impression is the most important factor and it is likely to be related to the purchase purpose, on the other hand, the purchase purpose has related to impression the most. It has presented that Good-Bad valuation and purchase purpose have an influence on the factor of Attractiveness.

• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.1
• /
• pp.46-61
• /
• 2002

Among the many phases involved in software development, requirements analysis phase in generally considered to play a crucial role in determining the overall software quality. Therefore, many software development companies manages the phase as one of the important phase. Especially, safety assurance through requirements analysis for safety-critical systems is quite demanding, and national and international bodies routinely require safety demonstration. Among various approaches, inspection and formal methods are generally shown to be effective. In this paper, we propose a formal verification procedure for SCR(Software Cost Reduction)-style SRS(Software Requirements Specification) using the PVS specification and verification procedure and applied this procedure to an industrial system such that a shutdown system for Wolsung nuclear power plant. This system had been verified through inspection not formal verification. The application of formal methods is rare in Korea, so it is very important to experiment about formal verification to industrial systems.

• 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.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.10 no.1
• /
• pp.55-69
• /
• 2007

The paper provides the approach to apply formal methods to the development and certification criteria of defense safety/security-critical software. RTCA/DO-178B is recognized as a do facto international standard for airworthiness certification but lack of concrete activities and vagueness of verification/certification criteria have been criticized. In the case of MoD Def Stan 00-55, the guidelines based on formal methods are concrete enough and structured for the defense safety-related software. Also Common Criteria Evaluation Assurance Level includes the strict requirements of formal methods for the certification of high-level security software. By analyzing the problems of DO-178B and comparing it with MoD Def Stan 00-55 and Common Criteria, we identity the important issues In safety and security space. And considering the identified issues, we carry out merging of DO-178B and CC EAL7 on the basis of formal methods. Also the actual case studies for formal methods applications are shown with respect to the verification and reuse of software components.

• Journal of the Korean Society of Costume
• /
• v.60 no.10
• /
• pp.28-46
• /
• 2010

Variety and individuality are characteristic of consumer in modern society. For the necessity of new designed men's formal suit is on the rise with advance of party culture and change of wedding style. In addition to growing numbers of Korean grooms are getting more interested in make themselves well-groomed on the wedding ceremony. The purpose of this study is to develop the men's formal suit pattern for right fit and better style for Korean grooms. In order to find out how to modify their fit, comparison among the existing patterns was necessary. In this study we proposed new patterns of men's formal suit, a morning coat, a tail coat, tuxedoes, director's suit, three-peaces suit, navy blazer. Considering the results of this study, developed patterns were altered to fit better and to smarter. They were well graded in waistline position, shoulder shape, back princess line shape. Also they were best to move around sleeve and bodice. And the developed patterns were altered to make armhole narrower to make bodice length shorter, to make bodice slimmer. The researcher's pattern's were made up into garments using wool 100%, silk 100%. According to verify the improvements and grade better in both appearance and comport, it will be to take the lead men's formal dress culture and expand the base of popular consume for men's formal wear.

• 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.