• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.26 no.4D
• /
• pp.649-659
• /
• 2006

Recently there has been huge efforts to improve performance in construction process by applying emerging techniques such as the Lean principle and Just-in-time concept. However, little achievement as we expected has come out in reality due to the lack of strategy to set a definite goal of the execution and differences of personal viewpoints on construction productivity. Accordingly, it is the most important to promote the circumstances for the construction process improvement by quantifying the goals of respective unit activity groups. This research explores feasible solutions for the improvement of construction projects performance by combining the six-sigma principle for the generic administrative innovation based on the idea of construction process performance. For this purpose, mutual comparisons of various current approaches are performed in an attempt to establish the advantages in applying six-sigma idea and to provide its fundamental strategy. Furthermore, through a case study with the simulation of applying six-sigma to a unit activity group in construction process, this paper verifies that the overall performance improves as the degree of sigma level gets advanced.

• Journal of the Korea Society of Computer and Information
• /
• v.18 no.9
• /
• pp.101-109
• /
• 2013

Data quality management is extremely important. In this study, we proposed data standardization for effective quality management of enterprise-owned data about distributed goods and validated its effectiveness by case study. For the standardization of data, we designed data category and data dictionary. Additionally, we categorized data and identified its attributes for data category design, and we developed design process for data dictionary and built the dictionary of word, term, domain and code for data dictionary design. And then we proposed output documents which have to be written for data standardization. Proposed data standardization approach is validated its efficiency by quantitative and qualitative measurement. and as a result the data quality of the data standardization improved 24% and the data quality of the consistency of the data dictionary improved 7%.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.7
• /
• pp.500-504
• /
• 2009

A reliability of software is a type of nonfunctional requirement. Traditionally, a validation of the reliability is processed at the integration phase in software development life cycle. However, it increases the cost and the risk for the development. In this paper, we propose reliability analysis method based on mathematical analytic model at the architecture design phase of the development process as follows. First, we propose the software modeling methodology for reliability analysis using Hierarchical combined Queueing Petri Nets(HQPN). Second, we derive the Markov Reward Model from the HQPN based model. We apply our approach to the video conference system to verify the usefulness of our approach. Our approach supports quantitative evaluation of the reliability.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.12
• /
• pp.1485-1492
• /
• 1999

대규모 시스템 명세의 올바름을 검증하기 위한 유한 상태 LTS에 기반을 둔 CTL논리 적용에 있어 가장 큰 문제점은, 시스템 내부의 병렬 프로세스간의 상호작용으로 인한 상태폭발이다. 그러나 Modal mu-calculus 논리를 시스템 안전성 및 필연성 특성 명세에 사용하면, 행위에 의한 순환적 정의가 가능하므로 상태폭발 문제가 해결 가능하다. 본 논문에서는 LTS로 명세화된 통신 프로토콜 시스템 모델의 안전성 및 필연성 특성을 모형 검사 기법에 의해 검증함에 있어, 시제 논리로 사용된 Modal mu-calculus 안전성 및 필연성 논리식과 CTL 의 안전성 및 필연성 논리식의 극한값이 동일함을 두 논리식을 만족하는 상태 집합이 같다는 것을 보임으로써 증명한다. 증명된 결과는 I/O FSM 모델로 표현된 통신 프로토콜의 안전성 및 필연성 검사를 위해 이론적인 기반으로서, 컴퓨터를 이용한 모형검사 기법에 효과적인 방법으로 응용이 가능하다.Abstract In applying CTL-based model checking approach to correctness verification of large state transition system specifications, the major obstacle is the combinational explosion of the state space arising due to interaction of many loosely coupled parallel processes. If, however, the modal mu-calculus viewed as a CTL-based logic with recursion, is used to specify the safety and liveness property of a given system, it is possible to resolve this problem. In this paper, we discuss the problem of verifying communication protocol system specified in LTS, and prove that a logic expression specifying safety and liveness in modal mu-calculus is semantically identical to the maximum value of the expression in CTL. This relation is verified by the proof that the sets of states satisfying the two logic expressions are equivalent. The proof can be used as a theoretical basis for verifying safety and liveness of communication protocols represented as I/O FSM model.

• Journal of the Korea Convergence Society
• /
• v.11 no.6
• /
• pp.383-391
• /
• 2020

The purpose of this study was to identify the moderating effect of self-control in the relationship between online game addiction and depression among adolescents exposed to the online game environment. A total of 378 respondents who are high school students in K Metropolitan City were selected for the current study. The process macro program developed by Andrew F. Hayes was used to analyze for the moderating effect and the SPSS 25.0 program was used for frequency, descriptive statistics, and correlation analysis. The results showed that online game addiction in adolescents had a significant positive effect on depression and self-control had a negative effect on depression, and self-control had a moderating effect on the relationship between online game addiction and depression in adolescents. The higher the online game addiction among adolescents, the higher the depression, and the influence depends on the level of self-control.

• KEPCO Journal on Electric Power and Energy
• /
• v.5 no.4
• /
• pp.275-286
• /
• 2019

This paper presents real-time Direct Current (DC) network analysis applications for operation of DC distribution system or DC microgrid. These applications are installed on central Energy Management System (EMS) and provide solutions of DC network operation. To analysis DC distribution network, this paper proposes composition and sequence of applications. Algorithm of applications is presented in this paper. Demonstration tests are performed on DC distribution site in Gochang Power Testing Center of Korea Electric Power Corporation (KEPCO). To verify the performance, developed DC applications installed on EMS. Scenarios for demonstration test of voltage control are presented. Finally, measured data, application output data and simulation data (by PSCAD/EMTDC) are compared and analyze accuracy of applications.

• Journal of Advanced Navigation Technology
• /
• v.15 no.5
• /
• pp.705-713
• /
• 2011

In this paper, we introduce two techniques for resolving integer ambiguities between reference stations, which is one of the most important processes in Network RTK correction generation process. Each techniques uses Hatch filter and combination of L1/L2 measurements and we used simulation data and real data to evaluate performance of the techniques. For evaluating performance of each technique, we compared corrections generated from user site and Network RTK. As a result, Network RTK with the technique which uses Hatch filter improves user performance much more than single baseline RTK does. Residual of user is smaller than a half size of wavelength so it does not affect user integer ambiguity resolution, however, it contains significant bias error. On the other hand, when we used the technique which uses combination of L1/L2 measurements, residual error of user is largely reduced compared to the technique using Hatch filter.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.14 no.6
• /
• pp.289-294
• /
• 2014

In the recent enterprises and are utilizing the CRM using data mining techniques and new marketing plan. However, data mining techniques are necessary expertise, general public access is difficult, it will be subject to constraints of time and space. in this paper, in order to solve this problem, we have proposed a Mobile CRM applying the data mining method. Thus, to analyze the structure of an existing CRM system, and defines the data flow and format. Also, define the process of the system, was designed sales trend analysis algorithm and customer sales recommendation algorithm using data mining techniques. Evaluation of the proposed system, through the test scenario to ensure proper operation, it was carried out the comparison and verification with the existing system. Results of the test, the value of existing programs and data matches to verify the reliability and use queries the proposed statistical tables to reduce the analysis time of data, it was verified rapidity.

• Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
• /
• 2010.06a
• /
• pp.81-82
• /
• 2010

Emerging global economic growth and increasing demand for energy supply and demand imbalance and the excessive use of fossil fuels existing the rapidly increasing greenhouse gas emissions and resource depletion of global energy crisis is deepening. Accordingly, improvement of living conditions around and through the natural ecological preservation and the need for a comfortable life for the meeting the importance of energy management and consumption are emerging. Many in the field of architecture for energy-saving measures, and conducting research and verify green building energy ratings and low energy for the initial steps that can be verified from the Energy Performance of BIM(Building Information Model) technology development and commercialization of the building energy to predict the performance objectively, leverages technology in an existing building energy performance analysis and possibilities of BIM-based green building process presented. In this study, using BIM for existing building energy performance analysis of data collected through the objective and efficient management of the energy it consumes Mapping and Management Plan is to research on.

• Asia-Pacific Journal of Business Venturing and Entrepreneurship
• /
• v.10 no.5
• /
• pp.233-240
• /
• 2015

About 500 Bizcool High School will be designated by the year of 2017. The policy of designating Bizcool will promote startup club activity among Bizcool high school Student. In particular, the startup club activities will help Bizcool high school student fixing their career path after graduation by enhancing their creativity, leadership, team spirit, and problem solving ability through understanding the concept of entrepreneurship and embodying the startup process taking real startup experience. Hence, this paper set and test hypothesis of assuming the differences with respect to entrepreneurship will and maturing career path whether they have startup club activity as presenting Bizcool high school or not. The empirical test have bee done over 274 Bizcool high school students. The result have shown that significant level of differences(Determinants and Confidence) are found between the group of having startup club activity and those of not having.