• Journal of the Korean Society of Clothing and Textiles
• /
• v.41 no.1
• /
• pp.1-16
• /
• 2017

This study conducted in-depth interviews with twelve men in their twenties and employed the Zaltman Metaphor Elicitation Technique (ZMET) to identify the ideal self-image and fantasy of men wearing makeup. The results are as follows. First, the ideal self-images of men wearing makeup can be divided into 7 images (well-managed, dissimilar from real identity, masculine, neat, stylish, standing out, and formal). Men who wear makeup pursued an alternative decent image that is different from their reality. They want to be manly, attractive, decorous, and eye-catching through a better looking face. Second, men who wear makeup have insecurities about their looks and personalities that creates dissatisfaction with reality and a desire for a different idealistic self. Makeup was the tool to create the other entity. Makeup facilitated a fantasy of becoming another to gain increased confidence in social relationships. However, without makeup, they showed a lack of confidence and became intimidated that made them even further dependent on makeup. Third, the process helped participants complete a consensus map that represented the emotional and reasoning structures of men wearing makeup. This study showed 7 ideal self-images of men wearing makeup with a fantasy to create a desired ideal self by wearing makeup. The study can be applied to marketing strategy for men's cosmetics and plates' designs.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.17 no.1
• /
• pp.25-34
• /
• 2021

Availability is one of the important factor for developing weapon system, because it indicates the mission capability and sustainable life cycle management of weapon system. Recently, as weapon system becomes more advanced and more complex, availability estimation becomes more important to reduce the life cycle cost of weapon system. Modeling and simulation(M&S) is useful method to describe the availability of complex weapon system applying operational environment and maintenance plan. Especially agent based model(ABM) has the strength to describe interactions between agents and environments in complex system. Therefore, this paper presents the availability estimation of weapon system using agent based model. The sample data of part list and reliability analysis is applied to build availability estimation model. User agent and mechanic agent are developed to illustrate the behavior of operation and maintenance using formal specification. Storage reliability is applied to describe failure of each parts. The experimental result shows that this model is quite useful to estimate availability of weapon system. This model may estimate more reasonable availability, if full scale data of weapon system and real field data of operation is provided.

• Educational Technology International
• /
• v.9 no.2
• /
• pp.97-121
• /
• 2008

The purposes of the present study are to describe the design of mobile learning scenarios based on learning sciences theories, and to discuss implications for the future research in this area. To move beyond mere speculations about the abundant possibilities of mobile learning and to make real impact in K-12 school settings, it is critical to conduct school-based research grounded on the learning sciences theories. Towards this end, this paper describes school-based mobile learning projects conducted by a research team at the Learning Sciences Lab in Singapore, and then discusses the possibilities and challenges of mobile learning to further inform future research. Specifically, this paper explores the affordances of mobile technology, such as portability, connectivity and context-sensitivity, to design seamless learning scenarios that bridge formal and informal learning experiences. The authors present a framework for re-conceptualizing different types of learning based on physical settings and intentionality, and then describe two seamless learning scenarios, namely 3Rs and Chinatown Trail, which were implemented in one primary school in Singapore. In conclusion, the authors discuss the affordances of seamless mobile learning for enhancing one's lived experiences to build a living ecological relationship between the person and the environment, and how mobile technology can play a critical role for enabling such lived experiences.

• Journal of KIISE:Software and Applications
• /
• v.29 no.12
• /
• pp.860-872
• /
• 2002

Fault tree analysis is the most widely used saftly analysis technique in industry. However, the analysis is often applied manually, and there is no systematic and automated approach available to validate the analysis result. In this paper, we demonstrate that a real-time model checker UPPAAL is useful in formally specifying the required behavior of safety-critical software and to validate the accuracy of manually constructed fault trees. Functional requirements for emergency shutdown software for a nuclear power plant, named Wolsung SDS2, are used as an example. Fault trees were initially developed by a group of graduate students who possess detailed knowledge of Wolsung SDS2 and are familiar with safety analysis techniques including fault tree analysis. Functional requirements were manually translated in timed automata format accepted by UPPAAL, and the model checking was applied using property specifications to evaluate the correctness of the fault trees. Our application demonstrated that UPPAAL was able to detect subtle flaws or ambiguities present in fault trees. Therefore, we conclude that the proposed approach is useful in augmenting fault tree analysis.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.3
• /
• pp.57-63
• /
• 2008

As diverse memory cards based on NAND flash memory are getting popularity with consumer electronics such as digital camera, camcorder and MP3 player the compatibility problems between a newly developed memory card and existent host systems have become a main obstacle to time-to-market delivery of product. The common practice for memory card compatibility test is to use a real host system as a test bed. As an improved solution, an FPGA-based prototyping board can be used for emulating host systems. However, the above approaches require a long set-up time and have limitations in representing various host and device systems. In this paper, we propose a co-validation environment for compatibility test between memory card and host system using formal modeling based on Esterel language and co-simulation methodology. Finally, we demonstrate the usefulness of the proposed environment with a case study of real memory card development.

• Communications of Mathematical Education
• /
• v.22 no.4
• /
• pp.471-487
• /
• 2008

Inventive mathematical thinking, original mathematical problem solving ability, mathematical invention and so on are core concepts, which must be emphasized in all branches of mathematical education. In particular, Polya(1981) insisted that inventive thinking must be emphasized in a suitable level of university mathematical courses. In this paper, the author considered two cases of inventive problem solving ability shown by his many students via real analysis courses. The first case is about the proof of the problem "what is the derived set of the integers Z?" Nearly all books on mathematical analysis sent the question without the proof but some books said that the answer is "empty". Only one book written by Noh, Y. S.(2006) showed the proof by using the definition of accumulation points. But the proof process has some mistakes. But our student Kang, D. S. showed the perfect proof by using The Completeness Axiom, which is very useful in mathematical analysis. The second case is to show the infinite countability of NxN, which is shown by informal proof in many mathematical analysis books with formal proofs. Some students who argued the informal proof as an unreasonable proof were asked to join with us in finding the one-to-one correspondences between NxN and N. Many students worked hard and find two singled-valued mappings and one set-valued mapping covering eight diagrams in the paper. The problems are not easy and the proofs are a little complicated. All the proofs shown in this paper are original and right, so the proofs are deserving of inventive mathematical thoughts, original mathematical problem solving abilities and mathematical inventions. From the inventive proofs of his students, the author confirmed that any students can develope their mathematical abilities by their professors' encouragements.

• Journal of the Korean Dietetic Association
• /
• v.10 no.3
• /
• pp.284-292
• /
• 2004

The purpose of this study was to develop a manipulation system for nutrition counseling based on internet. This system offers convenient user interface and the synthetic counseling results with various utilities. This system consists of the general information of clients, the anthropometry data and the calculation of obesity and body index, the state of eating habits, calorie expenditure, clinical symptoms, the convenient method for analysis of nutrients, biochemical data and nutrition prescription. Having interoperability, these functions preserve the information of clients and manage the historical data. This system can insert, store, print out and generate the synthetic information of clients to provide a suitable and efficient nutrition counseling information. With accumulated client data, It does the nutrition education and counseling simultaneously. As it is developed based on internet, it provides friendly user interface. Also, Managing clients' information connected to database, it can provide a systematic and formal information. It is possible for the system to retrieve information and counsel in real time. It is expected that the nutrition counseling management system can improve the national health with animated nutrition counseling.

• Knowledge Management Research
• /
• v.14 no.5
• /
• pp.1-14
• /
• 2013

This paper is aimed at investigating the factors to grow the new technology based firm(NTBF), K-MAC. NTBFs need an environment in which novelty is encouraged, employees find work meaningful and controllable, learning is incorporated into work, ideas and process improvements are implemented and a balanced focus of the internal and external to the company is fostered. With collaboration between industry and academia, Lynda Aiman-Smith made an instrument of VIQ(Value Innovation Quotient), which is consist of 9 factors, 33 items. VIQ Results can help the company to develop a better understanding of the organization's culture, and its formal subgroups. That is to identify subcultures in the organization, to diagnose potential problems or inhibitors of innovation, to identify organizational strengths for innovation and set a quantitative baseline. Using the VIQ,K-MAC analysed the subculture of innovation potential capability. K-MAC organized the COP(community of practice) with the young employees' participation and try to solve the real problem in the working place. This paper explained the diverse growing trajectory through the TPM concept and suggest for the future strategy.

• The Journal of Information Systems
• /
• v.20 no.2
• /
• pp.1-20
• /
• 2011

In this study, we verify the relationship, which is presented by ISO/IEC 15504, between the assessor's competence and the efficiency of assessment. The ISO standard has been developed by many formal trial experiences for the software process assessment. The software process assessment determines the process capability, and makes the software process improvement possible in the development cycle. In the field assessment, third-party and team-based assessments are generally recommended. Therefore assessors' competences are essential to achieve the effectiveness and the efficiency of assessment. Survey data are collected from the third-party process assessment of a real IT industry, and the analysis is done by a causal modelling technique - PLS. Some findings are as follows. Depending on assessors' SE experiences, effects of the assessor's competence are existed, and their standard knowledge and assessment skill are effected each other. And the efficiency of assessment depends on the assessor's competence. In addition, the power analysis is presented and future research is suggested, because of many limitations of this study.

• Korean Medical Education Review
• /
• v.22 no.1
• /
• pp.16-27
• /
• 2020

The accreditation process (AccP) is both an opportunity and a burden for medical schools-which one it becomes depends on how medical schools recognize and utilize the AccP. In other words, if a medical school recognizes the AccP only as a formal procedure or as a means for continuing medical education, it will be a burden for the medical school. However, if a medical school recognizes the real and positive value of the AccP, it can be both an opportunity and a tool for developing medical education. The educational value of the AccP is to improve the quality, equity, and efficiency of medical education, along with increasing the options of choice. In order for the AccP to contribute to the development of medical education, accrediting agencies and medical schools must first be recognized as part of an "educational alliance" working together towards common goals. Secondly, clear guidelines on the accreditation standards should be periodically reviewed and shared. Finally, a formative evaluation using self-evaluation as a system that can utilize the AccP as an opportunity to develop medical education must be introduced. This type of evaluation system could be developed through collaboration among medical schools, academic societies for medical education, and the accrediting authority.