• Proceedings of the Korean Institute of Interior Design Conference
• /
• 1999.04a
• /
• pp.94-97
• /
• 1999

The purpose of this study was to prepare the visual communication tool, which would be used for the interior design consulation to reduce the communication gap between an interior designer and a client. To achieve the study purpose, review of literature, questionnaire survey, qualitative analysis and design research methods were used. The major results of this study were as follows: 1) "Image Cube" was designed as a comprehensive rule to classify interior image types. By this, eight interior image types were classified: SFU(Simple-Formal-Urbane), SFN(Simple-Formal-Natural), SCU(Simple-Casual-Urbane), SCN(Simple-Casual-Natural), DFU(Decorative-Formal-Urbane), DFN(Decorative-Formal-Natural), DCU(Decorative-Casual-Urbane), DCN(Decorative-Casual-Natural). 2) The Interior image collages were composed to present the overall feeling of each interior image type. 3) The Interior image models which would be used as the standard to be modified to various sub-types through the interior design consultation were produced corresponding to interior image types.age types.

• International Journal of Railway
• /
• v.5 no.2
• /
• pp.65-70
• /
• 2012

This paper introduced a novel railway system, Automatic Train Protection and Block (ATPB) briefly, which is proposed to improve the efficiency of existing regional train lines with low cost in Japan. The biggest superiority of ATPB system is a great use of universal and mature technologies, such as GPS and regular mobile telephone networks, so that there is nearly no increment of trackside equipments in the reconstruction. Then in order to guarantee the system safety, a formal model of ATPB is established and analyzed by formal method VDM++. Firstly, the specification is specified by VDM++ formally without ambiguity. Secondly, its internal consistency is proved by discharging the proof obligations. And finally, its satisfiability is checked by systematic testing, which executes specification and checks the outputs against corresponding inputs.

• Journal of the Korean Society of Clothing and Textiles
• /
• v.37 no.7
• /
• pp.972-983
• /
• 2013

This study investigates the effects of fashion innovativeness and utilization on the price perception of formal wear and climbing wear as well as gender differences on price perception and the relationship of the variables. Price perception measurements were based on reference price and reservation price; subsequently, a premium price ratio was calculated based on the measured prices. A survey that involved male and female adult consumers was conducted in Daegu in August 2011. A total of 321 responses were analyzed using descriptive statistics, factor analysis, reliability analysis, correlations and independent sample t-test. Two factors of fashion innovativeness were derived and named as unique-oriented innovativeness and change-oriented innovativeness. The utilization of formal wear and climbing wear was higher in the male group versus the female group. Reference price and reservation price were identified similar to the actual consumer purchasing prices reported in previous studies. Male consumers showed a tendency in price perception in accordance with the utilization. The change-oriented innovativeness of the female group led to a positive relationship with the perceived price of climbing jackets.

• Journal of The Korean Digital Architecture Interior Association
• /
• v.9 no.3
• /
• pp.85-93
• /
• 2009

In this study, the ex-formal expressions observed in space form of Korean modern architecture are distributed for characteristic analysis based on the period and type. The result of the study is certified by the work analysis and the result is as follows. Initially, due to the limited materials and influence of western brutalism, the works developed during 1960~70 tend to be plastic and contain expressionism. Around 1980's, the works tend to show forms of amusement and popularity. In 1990's the works show significance in deconstructive expression. From after 2000, ecological concept of architecture was introduced and organic expression started increasing Secondly, the ex-formal expressions are found to be in four different types. The organic expression is shown regardless of the period. In modern days, not only the physical properties of materials, but also the ecological concept is combined with the organic expression and is in increase. The plural expression started appearing after the 1980's and the sculptural diversity is enhancing with the addition of decorative factors or modification of geometrical form. The ex-construction and deconstructive expression show significance in some characteristics such as folding, inclination, and geometrical explosion. The free form and nonlinear expression tend to increase dramatically based on the development of structure technology as well as execution and introduce of the digital design technique.

• The Transactions of the Korean Institute of Electrical Engineers B
• /
• v.53 no.6
• /
• pp.380-387
• /
• 2004

In accordance with the computerization of railway signaling systems, the interface link between the signaling systems has been replaced by a digital communication channel. At the same time, the importance of the communication link has become increasingly significant. However, there are some questionable matters in the current state of railway signaling systems in KNR. First, different communication protocols have been applied to create an interface between railway signaling systems although the protocols have the same functions. Next, the communication protocols currently used in the railway fields have some illogical parts such as structure, byte formation, error correction scheme, and so on. To solve these matters, the standard communication protocol for railway signaling systems is designed. The newly designed protocol is overviews in this paper. And the simulation is performed to analysis the performance of data link control for designed protocol. According to this simulation, it is identified that the link throughput of new protocol is improved about 10% and the frame error rate is improved than existing protocol. And it is verified the safety and liveness properties of designed protocol by using a formal method for specifying the designed protocol. It is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling systems by using the designed communication protocol for railway signaling.

• 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 the Korea Society of Computer and Information
• /
• v.17 no.1
• /
• pp.19-30
• /
• 2012

Based on the internet-based infrastructures such as various information devices, social network systems and cloud computing environments, distributed and sharable data are growing explosively. Recently, as a data analysis and mining technique for extracting, analyzing and classifying the inherent and useful knowledge and information, Formal Concept Analysis on binary or many-valued data has been successfully applied in many diverse fields. However, in formal concept analysis, there has been little research conducted on analyzing interval data whose attributes have some interval values. In this paper, we propose a new approach for classification of interval data based on the formal concept analysis. We present the development of a supporting tool(iFCA) that provides the proposed approach for the binarization of interval data table, concept extraction and construction of concept hierarchies. Finally, with some experiments over real-world data sets, we demonstrate that our approach provides some useful and effective ways for analyzing and mining interval data.

• International Journal of Computer Science & Network Security
• /
• v.24 no.4
• /
• pp.192-196
• /
• 2024

The memory coherence problem occurs while mapping shared virtual memory in a loosely coupled multiprocessors setup. Memory is considered coherent if a read operation provides same data written in the last write operation. The problem is addressed in the literature using different algorithms. The big question is on the correctness of such a distributed algorithm. Formal verification is the principal term for a group of techniques that routinely use an analysis that is established on mathematical transformations to conclude the rightness of hardware or software behavior in divergence to dynamic verification techniques. This paper uses UPPAAL model checker to model the dynamic distributed algorithm for shared virtual memory given by K.Li and P.Hudak. We analyse the mechanism to keep the coherence of memory in every read and write operation by using a dynamic distributed algorithm. Our results show that the dynamic distributed algorithm for shared virtual memory partially fulfils its functional requirements.

• 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 the Korea Fashion and Costume Design Association
• /
• v.20 no.1
• /
• pp.125-136
• /
• 2018

This study classified and analyzed the assignments for the Hanbok skill contests between 1998 and 2017 so that the Korean hanbok can be properly passed down. this study proposes a variety of useful values for the Hanbok culture industry by providing basic data on various Hanbok making techniques to the Hanbok artisan. The results of the analysis of 39 assignments for the Hanbok skill contest are as follows. Firstly, The 20 assignments presented in the Local Skills Competitions consisted of 13 tasks (65%) in formal wear and 7 tasks (35%) in casual wear. Formal wear is mainly comprised of men's and children's wear (85.7%). There are Pungcha Baji, Sagusam, Kkachi Durumagi, Jeonbok & Bokgeon, Durumagi, and others on the formal wear of men'schildren's wear. In casual wear, 66.7% of women's wear such as scarves, skirts, jeogori, Hwejang Jeogori & chima were on the list of assignments. Secondly, All of the 19 assignments presented in the National Skills Competitions were in adult suits. Thirteen tasks (68.4%) were in formal wear and 6 tasks (31.6%) were in casual wear. Nine out of the 13 formal wear tasks (69.2%) were men's clothes. In 6 assignments of the casual wear, men's and women's clothes were presented three times each. Formal wear that had many assignments was the men's Chulik, which was presented three times in 2006, 2008 and 2016. Thirdly, Eighteen (90%) of the 20 assignments presented at the Local Skills Competitions were for lined clothes, and the remaining 2 (10%) were for unlined clothes. Eleven tasks (57.9%) out of the 19 assignments presented in the National Skills Competitions were for lined clothes, and 8 tasks (42.1%) were for unlined clothes.