• Journal of KIISE:Software and Applications
• /
• v.32 no.2
• /
• pp.108-118
• /
• 2005

The software of the nuclear power plant digital control system is a safety-critical system where many techniques must be applied to it in order to preserve safety in the whole system. Formal specifications especially allow the system to be clearly and completely specified in the early requirements specification phase, therefore making it a trusted method for increasing safety. In this paper, we discuss a systematic method, which generates PLC-based FBD programs from the requirements specification using NuSCR, a formal requirements specification method. This FBD programs takes an important position in design specification. The proposed method can reduce the possible errors occur in the manual design specification, and the software development cost and time. To investigate the usefulness of our proposed method, we introduce the fixed set-point rising trip example, a trip logic of BP in DPPS RPS, which is presently being developed at KNICS.

• Journal of the Korean Society of Clothing and Textiles
• /
• v.26 no.6
• /
• pp.843-852
• /
• 2002

The purpose of this study was to propose a computer-based grading method for men's formal wear according to the sizing systems based on the size and dimension whereby manufactured men's formal wear can be classified. The following procedures were as follows : 1) We surveyed the sizing systems and the computer-grading methods that have been used and presently practiced by the domestic garment industry of the ready-made men's wear. 2) Using the survey data of the domestic men's ready-made clothing industry and that of the National Anthropometric Survey of Korea in 1997, we proposed the new sizing and grading systems of men's formal wear within the framework of the Korean Garment Industry's directions and the data of the domestic men's ready-made clothing industry. 3) The suitability of the new grading systems to the domestic garment industry were put to a wearing teat. The findings were as follows : 1) Survey of the domestic ready-made garment industry showed that each company classified its own manufactured goods according to its own sizing and grading systems. 2) The superiority of the grading system was been demonstrated by a high approval rate of the subjects who participated in the testing.

• Journal of the Korea Furniture Society
• /
• v.21 no.2
• /
• pp.144-156
• /
• 2010

Since late 1960s, we have had the discourse about the way of succession of korean traditional architectural heritage. Through 60s and 70s, the formal mimesis and transformation was pretty much dominated in domestic design currents. After 80s, we could see a kind of different ways of design to deal with traditions in architectural practices. These methodology can be summarized as spatiality, abstraction and diversity. These discourses acted as bases for aesthetic and formal stream which might be needed to present the formal possibilities for various commercial needs. Especially, the interior design field utilized those ideas in order to show korean identity for the commercial needs such as korean restaurant, korean bar, or korean costume shop. Interior designers positively adapted the ideas from architectural discourse and created their own vocabulary after 90s. Before 90s, interior designers did very representational mimesis to express korean identity designing commercial facilities. However from mid 90s they could establish new tendencies in expressing korean traditional moods. These tendencies are a focus on spatial relationship, abstraction and materiality, utilization of traditional objects and lighting method.

• The Journal of Asian Finance, Economics and Business
• /
• v.8 no.11
• /
• pp.97-106
• /
• 2021

The condition of financial services in Indonesia is unique, based on various characteristics, behaviors, and preferences. Therefore, the study of finance and banking is interesting to study as a recommendation for government policies. This paper aims to analyze the barriers to accessing formal financial services in Indonesia and why informal financial services are preferred. This paper presents a case study of financial inclusion in selected provinces in Indonesia using the SOFIA dataset from the Ministry of National Development Planning. Overall, this data consists of 20,000 individuals from 4 provinces and 93 regions representing the population in eastern Indonesia. The analysis was carried out by processing individual-level cross-sectional data surveyed in 2017 using the probit binary logistic method. The results identify the individual barriers in accessing formal financial services, including account ownership, saving, and credit activities in the formal financial institutions, and amplify the image by analyzing what determinants affect people to choose informal institutions. We found that some individual characteristics such as age, gender, education, income, employment status, residence, and access to technology significantly affect the barrier to formal financial services in East Indonesia.

• Journal of Digital Convergence
• /
• v.11 no.6
• /
• pp.103-112
• /
• 2013

Traditional method of establishing prediction model is usually using formal data stored in Data Base. However, nowadays advent of "smart" era brought by ground-breaking development of communication system makes informal data to dominate overall data, such 80% in total. Therefore, conventional method using formal data as establishing predicting model would be untrustworthy means in present. In other words, it is indispensible to make prediction model credible including informal data(SNS, image, video) and semi-formal data(log data). In this study, we increase credibility of predicting model adapting Bigdata method and comparing reliability of conventional measurement to real-data.

• Journal of Korea Multimedia Society
• /
• v.3 no.2
• /
• pp.174-183
• /
• 2000

Formal methods for protocol description of a system is based on the implementation id S/W. However, the importance of H/W implementation for a parts of protocol design is increasing. The combination between H/W and IP technology is needed since the implementation environment is changing from S/W to H/W for implementation of specific application protocol. H/W implementation method starting with formal description procedure is essential to guarantree correctness and reliability of the implemented H/W by characteristic of formal description language. Inthis paper, for an automated H/W implementations, ESTELLE, a formal description method, is adopted. A transformation method from specification of ESTELLE to VHDL is suggested. This is an conceptual method that comparing and analyzing similarities between basic units of protocol description such as computation and communication unit and inter processors in H/W. Then we describe transformation model, and suggest example of transformation from ESTELLE to VHDL with Inres protocol.

• Journal of Fashion Business
• /
• v.23 no.3
• /
• pp.35-50
• /
• 2019

Modern family culture manifests various different social phenomenon due to shifts caused by increased societal response to industrialization in our country. It is noted that as our lifestyle patterns have shifted from being work-oriented to family-oriented, by focusing on the trend where there is an increase in families enjoying hobby and leisure activities together and where families go shopping together, I attempted to propose various different family-look' designs. In this research study we designed and planned family normal clothes designs that are required and desired for family gatherings and family events, and these designed were produced using 3D virtual clothing design software technology. The research method used the formative features of natural plants and textiles containing a symbolic motif as an element of design, and the creation of family formal clothes were designed and planned based on the method. The development of family formal clothes designs was implemented using CLO 3D virtual clothing design software. Because utilizing 3D virtual clothing design software enables prototyping various types of designs, silhouettes, fabrics and textiles, and color schemes etc. in a short amount of time, it was possible to utilize an advantage from using the software as leveraged to propose designs with a strong symbolic motif and symbolism . Also, by confirming and examining the strengths and weaknesses of the design process when using CLO 3D, It can improve the utilization of IT technologies, and this study aims to provide that efficiency.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.5
• /
• pp.1426-1433
• /
• 2000

As distributed computing systems become popular, many modeling techniques and methods have been developed in specify the specification formally and verify the distributed/concurrent sytems. In spite of importance of communication in distributed object-oriented systems, specifying of communication method generally has not been emphasized in the design phase. One reason is due to the system designer misunderstanding, that is, a specification needs to be independent on the implementation. However, since defining communication pattern indistributed object-oriented systems is more serious than the required message passing method in the design phase. specifying the communication pattern is necessary instead of postponing until the implementation. In this paper, two formal specification techniques, temporal logic method and Petri nets method, for the communication in distributed systems are discussed. One is based on the temporal logic, which specifies the different patterns of primitive predicates. This method enable to define the underlying mechanism which can be interpreted as constraints. The Petri net method helps to specify the dynamic behavior of communicational patterns using the properties of Petri nets.

• The KIPS Transactions:PartD
• /
• v.15D no.3
• /
• pp.429-440
• /
• 2008

Formal Concept Analysis (FCA) is a widely used methodology for data analysis, which extracts concepts and builds a concept hierarchy from given data. A concept consists of objects and attributes shared by those objects, and a concept hierarchy includes information on super-sub relations among the concepts. In this paper, we propose a method for extracting Implication and Association rules from a concept hierarchy given a query by a user. The method also describes a way for displaying the extracted rules. Based on this method, we implemented an automatic tool, QAG-Wizard. Because the QAG-Wizard not only elicits relation information for the given query, but also displays it in structured form intuitively, we expect that it can be used in the fields of data analysis, data mining and information retrieval for various purposes.

• Journal of Fashion Business
• /
• v.15 no.6
• /
• pp.176-203
• /
• 2011

In today's intensifying global competition, Korean fashion industry is relying on only qualitative data for feasibility study of future projects and developmental plan. This study was conducted in order to support establishment of a scientific and rational management system that reflects market demand. First, fashion market size was limited to the total amount of expenditure for fashion clothing products directly purchased by Koreans for wear during 6 months in spring and summer and 6 months in autumn and winter. Fashion market forecasting model was developed using statistical forecasting method proposed by previous research. Specifically, time series model was selected, which is a verified statistical forecasting method that can predict future demand when data from the past is available. The time series for empirical analysis was fashion market sizes for 8 segmented markets at 22 time points, obtained twice each year by the author from 1998 to 2008. Targets of the demand forecasting model were 21 research models: total of 7 markets (excluding outerwear market which is sensitive to seasonal index), including 6 segmented markets (men's formal wear, women's formal wear, casual wear, sportswear, underwear, and children's wear) and the total market, and these markets were divided in time into the first half, the second half, and the whole year. To develop demand forecasting model, time series of the 21 research targets were used to develop univariate time series models using 9 types of exponential smoothing methods. The forecasting models predicted the demands in most fashion markets to grow, but demand for women's formal wear market was forecasted to decrease. Decrease in demand for women's formal wear market has been pronounced since 2002 when casualization of fashion market intensified, and this trend was analyzed to continue affecting the demand in the future.