• Journal of Korean Institute of Industrial Engineers
• /
• v.42 no.6
• /
• pp.421-431
• /
• 2016

Over the last four decades, industrial engineering (IE) research in Korea has continued to evolve and expand to respond to social needs. This paper aims to identify research topics in IE research and explore their dynamic changes over time. The topic modeling approach, which automatically discovers topics that pervade a large and unstructured collection of documents, is adopted to identify research topics in domestic IE research. 1,242 articles published from 2001 to 2015 in two IE journals issued by the Korean Institute of Industrial Engineers were collected and their English abstracts were analyzed. Applying the Latent Dirichlet Allocation model led us to uncover 50 topics of domestic IE research. The top 10 most popular topics are revealed, and topic trends are explored by examining the dynamic changes over time. The four topics, technology management, financial engineering, data mining (supervised learning), efficiency analysis, are selected as hot topics while several traditional topics related with manufacturing are revealed as cold topics. The findings are expected to provide fruitful implications for IE researchers.

• Journal of Satellite, Information and Communications
• /
• v.10 no.4
• /
• pp.12-16
• /
• 2015

Unmanned robot system has become a significant part of network centric warfare. Unnlike the commercial wireless system, however, it is tricky to provide reliable communication in the harsh environment: tactical and military communication. Therefore, it needs to be considered when the base station and mobile has poor communication channel. In this paper, we proposed an efficient operating algorithm for unammned robot system with ensuring communication survivability in the harsh environment. From the simulation, we adopted the SUI channel suitable for domestic mountainous area and open terrain with Rician factor K.

• Journal of KIISE:Software and Applications
• /
• v.35 no.9
• /
• pp.529-537
• /
• 2008

Since concurrent software is hard to debug, the verification of such systems inevitably needs automatic tools which support exhaustive searching. Bounded Model Checking (BMC) is one of them. Within a bound k, BMC exhaustively check some errors in execution traces of the given system. In this paper, we introduce the tool that performs BMC for LTS, modeling language for concurrent programs. In this tool, a property is described by a FLTL formula, which is suitable to present the property with actions in a LTS model. To experiment with existential model checkers and out tool, we compare and analysis the performance of the developed tool and others.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.5
• /
• pp.525-530
• /
• 2010

Currently, most context-aware services are built by developers. Some researchers argued that services should be defined by end users, who understand their own needs best. We view that the significance of enabling the user to define his/her personalized services will multiply as our living spaces grow smarter. This paper introduces a novel method called CASPER, which is capable of deriving personalized services from the log of user's activities of daily living. CASPER can generate useful services that even the user may not perceive, mining causality of events in the log. We present the algorithm of CASPER in detail and discuss the result of an experiment which we conducted as a proof of concept.

• Women's Health Nursing
• /
• v.13 no.1
• /
• pp.35-42
• /
• 2007

Purpose: This study was done to discover the contents needed for a sexual education program in the lower grades (the first to the third grade) by primary school teachers and to discover difficulties in confronting sexual education. Method: This was a descriptive study of 198 teachers for lower grade students in 15 primary schools. A questionnaire on sexual education was distributed and collected by mail. Result: The contents for sexual education that teachers felt were highly needed are as follows: sanitation of genitals, sexual violence, pregnancy & childbirth, family, selfassertion, and sexual self-determination. Teachers think prevention of sexual violence is the main reason for sexual education. Teachers indicated that sexual education considering the developmental stage was difficult. Conclusion: Development of a sexual education curriculum for lower grade primary school students is necessary for increasing the problem-solving ability of students focused on sexual violence, self-assertion and sexual self-determination, in addition to providing simple information.

• Journal of Korean Physical Therapy Science
• /
• v.19 no.2
• /
• pp.9-15
• /
• 2012

Background : With its research and analysis on the actual condition of the oriental medical treatment and the oriental physical therapy and With its research on the physical therapists' awareness of the oriental physical therapy, Providing the basic information for the physical therapy development and the national heath improvement in the future. Methods : This research had performed random sampling survey of 200 physical therapists in Busan city and had excluded 4 with insincere answers or some ommission of survey contents. Result : The first most frequent disease type of the oriental medical center inpatients is paralytic sequela, the second is lumbago, the next is apoplexy in order. The first most frequent disease type of the outpatients is lumbago, the second is stiffness in the shoulder, the next is the sprain in order. And, it came out that most of frequent disease are required the physical therapy. Conclusion : This research results show high demands as well as the necessity of the oriental physical therapy. It seems physical therapy association needs very serious examination on the oriental physical therapy execution.

• Journal of the Korean Society of Systems Engineering
• /
• v.8 no.2
• /
• pp.27-36
• /
• 2012

In modern systems, the operational capability of the system to the user needs is expanding rapidly to accommodate the size of the system, functionality, and interfaces are becoming increasingly complex. Accordingly, the systematic practice of project management and systems engineering in the system development process, as an important element in successful systems development is recognized. EIA/ANSI 632, ISO/IEC15288, the leading international standard for systems engineering and is the leading international standard on project management PMBOK. CMMI is also contains information about the activities of project management and systems engineering and worldwide basis to assess the maturity of an organization's ability to develop system being used. But CMMI model is too complex of structure and there are many overlap parts of contents. So there are many problems for members of organization understanding all of CMMI model, applying organization and, achieving improvement activity. In this study, through the analysis and integration between the model and the related standard coverage activities essential for successful systems development in organizations that require systems engineering and project management capabilities(SEPMC) for self-assessment and continuous improvement activities to provide useful reference guideline.

• Journal of Korea Multimedia Society
• /
• v.19 no.1
• /
• pp.51-59
• /
• 2016

Physical security protecting people from physical threats, such as a person or vehicle, has received a great attention. However, it has many risks of hacking and other security threats because it is highly dependent on automated management systems. In addition, a representative system of physical security, a CCTV control system has a high risk of hacking, such as video interceptions or video modulation. So physical security needs urgent security measures in accordance with these threats. In this paper, we examine the case of security threats that have occurred in the past, prevent those from threatening the physical security, and analyze the security problem with the threats. Then we study the countermeasures to prevent these security threats based on the problems found in each case. Finally we study for the method to apply these countermeasures.

• KIEAE Journal
• /
• v.14 no.4
• /
• pp.27-33
• /
• 2014

This study analyzed the electric vehicle recharging station status with recharging time limitation due to long waiting time, and figured out the user status by user interviews. And then this study verified the validity of hypothesis in terms of environmental design perspective and suggested layout of recharging station model. 21 recharging stations in Korea and station operation cases of 7 countries were examined. Except for the USA, the reality of electric vehicle recharging station today is the 1st proving stage focusing on the infrastructure construction of electric vehicle recharging station. It focuses on performance of recharging facility, use efficiency and operation environment of electric vehicle. About the effective waiting time of the user to use it should be studied. The current conditions of recharging station are as follows: Lack of independent recharging space, lack of facility that reduces external effect of recharging space, and lack of lounge for users during the waiting time. These three are essential factors constructing a suggesting model after basic layout, which needs proper measurement on the long recharging time and long waiting time. The essential factors are applied to electric vehicle recharging station layout so that users might use 'digital refresh" i.e. lounge and information contents service during the waiting time which provides convenience of recharging and emotional space with users. Such upgrade recharging station environmental model might resolve the burden of long recharging time which may contribute to the popularization of electric vehicles.

• Journal of the Korean Institute of Educational Facilities
• /
• v.12 no.5
• /
• pp.13-24
• /
• 2005

This study is the second that aims at offering the basic information on the appropriate spatial organization of the special classes by looking at the relationship between a group of learning activities and a group of playing activities in Elementary and Middle Schools The learning space unit of the special classes should be more flexible for the various learning activities and be prepared in order to correspond to the needs of a territory for different learning appeared according to the degree of handicap, learning ability and the contents of learning. This study dealt with the learning space unit to tackle the problems of special classes. In fact, it is unwise to offer so many different kinds of learning spaces in every school. Due to the manifold and multiple characteristics of handicap, the problem of special classes should be approached by the overall educational system of special educational facilities rather than by a special classes space alone. In this respect, it can be said that this problem should be tackled by reorganization of the special classes in the community through specialization and network system of special class facilities in order to make more effective educational environment.