• Journal of KIISE:Software and Applications
• /
• v.35 no.2
• /
• pp.81-90
• /
• 2008

BCC(Boolean Cardinality Constraint) is to select one boolean variable from n different variables. It is widely used in many areas including software engineering. Thus, many efficient encoding techniques of BCC into CNF have been studied extensively In this paper we analyze some representative encodings with respect to flexibility as well as efficiency. In addition we use a visualization tool to draw the CNF clauses generated from each encodings. Visualizing the clauses exposes a hidden structure in encodings and makes to compare each encodings on the structure level, which is one of the prominent achievement in our work compared to other works. And we apply our analysis on the pigeon-hole problems to have confidence. In our experimental settings, the commander encoding shows the best performance.

• International Area Studies Review
• /
• v.20 no.2
• /
• pp.63-83
• /
• 2016

This paper examines the determinants of efficiency in a KOSDAQ-listed manufacturing firm. We use Data Envelopment Analysis (DEA) to estimate the efficiency of the export manufacturing firm. We employ two inputs (number of employees, equity) and one output (sales) in the DEA. The determinants of export manufacturing firm efficiency are estimated using the panel Tobit model. An analysis of 369 export manufacturing firms from 2013 to 2015 indicates the following results: First, the R&D intensity, the wage and salary intensity, total asset, and equity ratio each had a negative impact on both the CCR and BCC efficiency scores. However, export intensity had a negative impact on CCR efficiency scores in a KOSDAQ-listed total export manufacturing firm. Second, the R&D intensity had a positive impact on both the CCR and BCC efficiency scores, but export intensity, the wage and salary intensity, and equity ratio each had a negative impact on the CCR and BCC efficiency scores in a KOSDAQ-listed large export manufacturing firm. Third, the R&D intensity, the wage and salary intensity, total asset, and equity ratio each had a negative impact on both the CCR and BCC efficiency scores; respectively, in a KOSDAQ-listed small and medium export manufacturing firm.

• Journal of Korean Society of Transportation
• /
• v.29 no.2
• /
• pp.15-24
• /
• 2011

This study discusses an equity analysis performed to supplement the existing bus service evaluation system. The equity of 179 feeder bus routes in the city of Seoul(Year 2009) is analyzed by employing the modified BCC model along with the desirable inputs such as a number of bus stops and a frequency of operations. In the analysis, each DMU (Decision Making Unit) is assumed to use the desirable inputs, and produces both the index of equity and the index of accessibility. We apply an input-oriented modified BCC model to analyze the equity of the DMUs. The computational result indicates that only 9% of the feeder bus routes are equitable among the total DMUs and the average equity estimate is 0.702. It is also suggested that on average approximately 60% increases of desirable inputs (i.e., a number of bus stops and a frequency of operations) are needed in order to improve equity of DMU in the city of Seoul. The result of the tobit regression analysis on the determinant factors affecting the equity of DMUs shows that all the independent variables (i.e., a number of bus stops and a frequency of operations) are statistically significant at 5% significance level, and the number of bus stops is found to be the most influential factor.

• Journal of Korea Port Economic Association
• /
• v.31 no.3
• /
• pp.155-166
• /
• 2015

This study selected container terminals of Gwangyang and Busan Ports to evaluate the influence of efficient container terminals. For the study, after data envelopment analysis (DEA) using the CCR and BCC models, the decision-making unit (DMU) system was used to define nodes; and with the use of a reference group in DEA (BCC model) and a lambda value, this study created a social network and analyzed the influences of efficient DMUs through a centrality analysis of eigenvectors. The results are presented as follows: First, as a result of the DEA, CCR efficiencies in PNC, HJNC, and HPNT container terminals of Busan Port were 1 and BCC efficiencies at Singamman Terminal, Wooam Terminal, PNC, HJNC, HPNT, and BNCT container terminals of Busan Port were 1. Second, as a result of undertaking social network analysis (SNA), according to an eigenvector centrality analysis, HJNC Terminal was referred to the most (influence score of 0.515), which indicates that it is the most influential as a container terminal. The influence of PNC Terminal was 0.512, while that of Wooam Terminal was 0.379. CJ Korea Express in Gwangyang Port was ranked fourth in influence, but its influence score of 0.256 indicates that it was the most influential of the container terminals at Gwangyang Port.

• The Journal of the Korea Contents Association
• /
• v.10 no.11
• /
• pp.371-379
• /
• 2010

This study analyzes relative efficiency analysis for universities or colleges of Chung Cheong regions using data envelopment analysis. The main results of this study can by summarized as follows. First, in case of efficiency for CCR, the number of efficient universities(CCR value is one) are five universities. and mean value of CCR for universities located in Chungbuk region was most high. Second, the number of efficient colleges(CCR value is one) are three colleges. and mean value of CCR for colleges located in Daejeon region was most high. Third, in case of efficiency for BCC, the number of efficient universities(BCC value is one) are nine universities. and mean value of BCC for universities located in Chungbuk region was most high. Fourth, the number of efficient colleges(BCC value is one) are seven colleges. and mean value of BCC for colleges located in Chungbuk region was most high.

• The Journal of the Korea Contents Association
• /
• v.13 no.1
• /
• pp.366-375
• /
• 2013

Recently, management of Newspaper developmet of the internet news, broadcasting and free newspapers escalated competition between newspaper companies and other media companies as well as competition among newapaper companies. This paper analyzes the efficiency of Korean Newapaper using DEA model. We evaluate the CCR-O, BCC-O efficiency, SE and RTS of 30 Newspaper. We also suggest the Newpaper which can be benchmarked based on analyzed information. The result shows that ten Nespaper whose values of CCR-O efficiency are 1, and Fourteen Nespaper whose values of BCC efficiency are 1. RTS indicates IRS of 1 firms, DRS of 16 firms and CRS of 13 firms. To variables on the effectiveness of newspaper publishing companies for the understanding and performance analysis.

• The Journal of the Korea Contents Association
• /
• v.17 no.1
• /
• pp.201-212
• /
• 2017

This study presented the new evaluation index which can evaluate the discrimination of DEA models. To evaluate the discrimination of DEA models, data were analyzed using importance index as suggested in previous study and the coefficient of variation as suggested in this study for the discrimination evaluation. This study selected the CCR-DEA, BCC-DEA, entropy, bootstrap, super efficiency, and cross efficiency DEA model for the discrimination evaluation and accomplished empirical analysis. In order to grasp the rank correlation of the models, this study implemented the rank correlation analysis between the efficiency of CCR model and BCC model and entropy, bootstrap, super efficiency, and efficiency of the cross efficiency model. The obtained results of this study are as follows. First, the discrimination rank of models using the importance index and the coefficient of variation was shown to be identical. Therefore, the coefficient of variation can be used the discrimination evaluation index of DEA model. Second, the discrimination of the super efficiency model was found to be the highest rank among 4 models according to the analysis of this present study. Third, the highest rank correlation with CCR model was the super efficiency model. In addition, the super efficiency model was found to be the highest rank correlation with BCC model.

• Journal of Korea Society of Industrial Information Systems
• /
• v.5 no.2
• /
• pp.22-31
• /
• 2000

The VB5.2 interface of B-lSDN, that is located between an access network and a service node, allows dynamic allocation and release of ATM resources. In this paper, we propose the B-ANCC protocol of the VB5.2 interface to minimize the overall connection setup delay by introducing the access network. The B-ANCC protocol enhances the B-BCC protocol and adopts a parallel interworking function with signaling protocols in the service node. To confirm the correctness of the proposed B-ANCC protocol, we validate it using the automated validation tool, SPIN. We analyze and simulate the sequential interworking model based on the B-BCC protocol and the parallel interworking model based on the B-ANCC protocol, in terms of a connection setup delay and a completion ratio. It is shown that our proposed parallel interworking model with B-ANCC reduces a setup delay and improves a completion ratio compared to the sequential interworking model with B-BCC.

• Journal of Korea Port Economic Association
• /
• v.33 no.4
• /
• pp.135-148
• /
• 2017

This study fist raises the following research question. How does the port congestion affect port operational efficiency? To answer the question, this study adopts slacks based measure data envelopment analysis (SBM-DEA) model to analyze the efficiency of port considering the congestion. As a result of the DEA-CCR(Chanres, Cooper and Rhodes) model, both Busan(2011) and Ulsan(2011) are the most efficient decision making units(DMUs). As a result of the DEA-BCC(Banker, Chanrnes, and Cooper) model, Busan(2011), Ulsan(2011), Ulsan(2012), Busan(2012), and Yeosu Gwangyang(2012) are the most efficient DMUs. As a result of SBM-DEA model, Ulsan(2012), Busan(2011), Busan(2012), Incheon(2011), and Ulsan(2011) are the most efficient DMUs considering the port congestion. The result of DEA-CCR BCC model is not identical with the result of SBM-DEA model analysis. It means the port congestion does less affect the port operational efficiency. Should the number of the vessels with the port congestion minimize, Incheon and Yeosu Gwangyang port could save lots of the port congestion cost for a total of three years.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• v.1
• /
• pp.163-170
• /
• 2006

This paper presents a approach to the measurement of efficiency. Data envelopment analysis(DEA), as it is called, has particular applicability in the service sector. Applying mathematical programming techniques, DEA enables relative efficiency ratings to be derived within a set of analysed units. This paper investigates the efficiency employing DAE-CCR Model and DEA-BCC Model on data for 15 container terminals covering 1998$^{\sim}$2005 in Korea Results of this paper, suggests to some plan for operation strategy in Container terminals.