• Journal of KIISE:Software and Applications
• /
• v.36 no.6
• /
• pp.479-490
• /
• 2009

A number of temporal abstraction approaches have been suggested so far to handle the high computational complexity of Markov decision problems (MDPs). Although the structure of temporal abstraction can significantly affect the efficiency of solving the MDP, to our knowledge none of current temporal abstraction approaches explicitly consider the relationship between topology and efficiency. In this paper, we first show that a topological measurement from complex network literature, mean geodesic distance, can reflect the efficiency of solving MDP. Based on this, we build an incremental method to systematically build temporal abstractions using a network model that guarantees a small mean geodesic distance. We test our algorithm on a realistic 3D game environment, and experimental results show that our model has subpolynomial growth of mean geodesic distance according to problem size, which enables efficient solving of resulting MDP.

• Journal of the Korean Solar Energy Society
• /
• v.23 no.3
• /
• pp.63-71
• /
• 2003

According to the recent report, the lighting energy consumption of commercial buildings reaches to $30%\sim40%$ of the total energy consumption. It is more than that of cooling & heating energy consumption and it is the major target of energy-saving policy. It is obvious that they are interested in natural lighting device such as Light-shelf for the purpose of raising the lighting energy-saving efficiency. In most of highly developed countries, a thorough study on Light-shelf makes it possible to propose a practical plan while at home there leaves much to be desired to study a guiding principle of optimum plan in spite of its efficiency based on experiments using scale4 model and analysis of simulation. Aiming at making an optimum plan of Light-shelf suitable for the domestic situation, this study is worked by experiments using light-shelf and analysis of variables using illumination program. The experiments is to analyse the efficiency of Light-shelf on condition of the sky and the analysis is to make the simulation using illumination program. This study is composed of 1) the analysis of light with some variables such as presence of light-shelf and degree of angle using 1/2 scaled model 2) making the simulation using Lightscape, illumination program, In brief, concerning presence of light-shelf, it causes little difference in its efficiency in the overcast sky, whereas it decreases an illuminance of window side and provides inner side with the light, which decreases the ratio of the maximum to the minimum inner illuminance and makes the inner of illuminance to range evenly in the clear sky. On degree of angle, as the daylight increases in proportion of degree of angle, the ratio of the maximum to the minimum inner illuminance decreases, which makes it possible to increase the proportion of inner daylight.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.38 no.4
• /
• pp.117-131
• /
• 2015

Conventional data envelopment analysis (DEA) models require that inputs and outputs are given as crisp values. Very often, however, some of inputs and outputs are given as imprecise data where they are only known to lie within bounded intervals. While a typical approach to addressing this situation for optimization models such as DEA is to conduct sensitivity analysis, it provides only a limited ex-post measure against the data imprecision. Robust optimization provides a more effective ex-ante measure where the data imprecision is directly incorporated into the model. This study aims to apply robust optimization approach to DEA models with imprecise data. Based upon a recently developed robust optimization framework which allows a flexible adjustment of the level of conservatism, we propose two robust optimization DEA model formulations with imprecise data; multiplier and envelopment models. We demonstrate that the two models consider different risks regarding imprecise efficiency scores, and that the existing DEA models with imprecise data are special cases of the proposed models. We show that the robust optimization for the multiplier DEA model considers the risk that estimated efficiency scores exceed true values, while the one for the envelopment DEA model deals with the risk that estimated efficiency scores fall short of true values. We also show that efficiency scores stratified in terms of probabilistic bounds of constraint violations can be obtained from the proposed models. We finally illustrate the proposed approach using a sample data set and show how the results can be used for ranking DMUs.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.43 no.4
• /
• pp.116-122
• /
• 2020

Human and material resource planning is one representative example of Operations Research. Resource planning is important not only in civilian settings but also in military ones. In the Air Force, flight scheduling is one of the primary issues that must be addressed by the personnel who are connected to flight missions. However, although the topic is of great importance, relatively few studies have attempted to resolve the problem on a scientific basis. Each flight squadron has its own scheduling officers who manually draw up the flight schedules each day. While mistakes may not occur while drafting schedules, officers may experience difficulties in systematically adjusting to them. To increase efficiency in this context, this study proposes a mathematical model based on a binary variable. This model automatically drafts flight schedules considering pilot's mission efficiency. Furthermore, it also recommends that schedules be drawn up monthly and updated weekly, rather than being drafted from scratch each day. This will enable easier control when taking the various relevant factors into account. The model incorporates several parameters, such as matching of the main pilots and co-pilots, turn around time, availability of pilots and aircraft, monthly requirements of each flight mission, and maximum/minimum number of sorties that would be flown per week. The optimal solution to this model demonstrated an average improvement of nearly 47% compared with other feasible solutions.

• Industry Promotion Research
• /
• v.8 no.2
• /
• pp.165-176
• /
• 2023

This article uses panel data of thirteen prefecture-level cities in Jiangsu Province from 2007 to 2021, and adopts entropy method, SBM model, and coupling coordination degree model to empirically study the development level of new model of urbanization and green economic efficiency in Jiangsu Province and the coupling coordination relationship between them. The results show that: the coupling coordination was in a moderate disorder and on the verge of disorder in 2008 and 2009. However, it steadily improved after 2010, and even witnessed a significant increase from 2018 to 2021. After that, it shows a high-quality coordination in 2021, indicating that the level of coordination between urbanization and green economic efficiency in Jiangsu province is steadily improving. Analyzed from a spatial perspective, the overall development of the regions in the province is sound and the coordination is growing at a significant rate, but there are still certain gaps in the coordinated development between the regions.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.39 no.3
• /
• pp.285-291
• /
• 2015

A centrifuge works on the principle that particles with different densities will separate at a rate proportional to the centrifugal force during high-speed rotation. Dense particles are quickly precipitated, and particles with relatively smaller densities are precipitated more slowly. A decanter-type centrifuge is used to remove, concentrate, and dehydrate sludge in a water treatment process. This is a core technology for measuring the sludge conveyance efficiency improvement. In this study, a smoothed particle hydro-dynamic analysis was performed for a decanter centrifuge used to convey sludge to evaluate the efficiency improvement. This analysis was applied to both the original centrifugal model and the design change model, which was a ball-plate rail model, to evaluate the sludge transfer efficiency.

• Journal of Korean Tunnelling and Underground Space Association
• /
• v.16 no.2
• /
• pp.203-211
• /
• 2014

This paper presents the screw conveyor operation efficiency of shield TBM in soft ground. In order to study the screw conveyor operation efficiency, the experimental and theoretical studies were carried out. In experimental study, the operating amounts of muck were examined and compared due to the screw conveyor operating parameters including types (Shaft and Ribbon screw), angles of screw and conveyor. The results obtained from the laboratory model tests were analysed and evaluated to suggest the most suitable muck operating parameters during the shield TBM tunnelling in soft ground. In conclusion, it is found the operation parameters to increase the screw conveyor efficiency. In addition, the information presented in this paper may be useful for developing the design technology of shield TBM in the future.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.18 no.2
• /
• pp.432-445
• /
• 1994

From a theoretical analysis point of view, the 2-stage precipitator is decomposed into two units: charging cell and collecting cell. Collection efficiency predictions of the two-stage parallel-plate electrostatic precipitator have been performed theoretically incorporating with the charging and the collecting cells. Particle trajectorise passing the charging cell have been modeled as a simple one. Particle charge distribution at the outlet of the charging cell is calculated through integration of the present unipolar combined charging rate along the entire particle trajectory, and average charge of particles at the outlet of the charging cell is obtained from the particle charge distribution. As for the collecting cell, the diminution of particle concentration along the longitudinal direction of the collecting cell is investigated considering the conventional Deutsch's theory and the laminar theory. One should note that the collection efficiency formula derived is based on monodisperse aerosols. It has been confirmed through the analysis that predictions of particle charge by applying White's unipolar diffusion charging theory overpredict actual cases in the continuum regime, while predictions by Fuch's unipolar diffusion charging theory indicate the reasonable result in the same regime. Theoretical predictions of collection efficiency are also compared with the available experimental results. Comparisons show that the experimental results are consistently located in the collection efficiency region bounded by the two limits, the Deutsch and the laminar collection efficiencies. Finally design parameters of the 2-stage electrostatic precipitator have been investigated systematically through the one-variable-at-a-time method in terms of collection efficiency. Applied voltages on the corona wire of the charging cell and the plate of the collecting cell, and the average air velocity have been selected as the design parameters.

• Journal of Korean Society of Transportation
• /
• v.27 no.6
• /
• pp.45-53
• /
• 2009

This study presumes the efficiency of each route by utilizing data of Seoul's exclusive bus routes for the 2008 and the DEA model. In the estimation, it is assumed that the number of passengers and profits of each route is calculated by considering the number of buses and stops, travel distance, intervals and management cost. This study computed the efficiency scores of each bus line in Seoul based on the data for the first half of 2008 and one of the DEA models, namely the BCC model. After analysis using the input-oriented BCC model, out of a total of 18 lines of interest, there were 2 CRS lines and 16 IRS lines. Also, the Tobit Regression Analysis that helps identify the impact of the elements used in the analysis on efficiency scores proved that the most influential element to exclusive buses is the length of intervals.

• International Journal of Contents
• /
• v.4 no.3
• /
• pp.1-9
• /
• 2008

The Korean life insurance industry has undergone profound changes, such as the beginning of the variable insurance in July 2001 and the bancassurance enforcement in August 2003. However, little empirical research has analyzed data that includes the bancassurance of life insurance companies operating in Korea. In response to this lack of research, this paper applies DEA (data envelopment analysis) models to measure and decompose their efficiency. We discovered that life insurance companies operating in Korea are a little different in their composition ratio of inputs and outputs, due to the increased variety of distribution channels and new products. We provided efficiency scores, return to scale, and reference frequencies. We also decomposed CCR, BCC, and SBM efficiency into scale efficiency and MIX efficiency. So, we try to investigate whether the sources of inefficiency were caused by the inefficient operation of DMU, disadvantageous conditions, the difference of the composition ratio in inputs and outputs with reference sets, or any combination of the above. Most companies in the sample display had either constant or decreasing returns to scale. The efficiency rankings were less consistent among models and efficient DMUs. In response to this problem, we used the super-efficiency model to rank them and then compared the rankings of the DMUs among the various models. It was also concluded that the availability of panel data, rather than cross-sectional data, would greatly improve the validity of the efficiency estimates.