• 한국경영과학회지
• /
• 제24권3호
• /
• pp.93-107
• /
• 1999

We consider the development of an integer programming model and algorithm for the ATM switching node location problem. There are two kinds of facilities, hub facilities and remote facilities, with different capacities and installation costs. Each customer needs to be connected to one or more hub facilities via remote facilities, where the hub(remote) facilities need to be installed at the same candidate installation site of hub(remote) facility. We are given a set of customers with each demand requirements, a set of candidate installation sites of facilities, and connection costs between facilities, We need to determine the locations to place facilities, the number of facilities for each selected location, the set of customers who are connected to each installed hub facilities via installed remote facilities with minimum costs, while satisfying demand requirements of each customer. We formulate this problem as a general integer programming problem and solve it to optimality. In this paper, we develop a branch-and-cut algorithm with path variables. In the algorithm, we consider the integer knapsack polytope and derive valid inequalities. Computational experiments show that the algorithm works well in the real world situation. The results of this research can be used to develop optimization algorithms to solve capacitated facility location problems.

• 한국주거학회논문집
• /
• 제22권4호
• /
• pp.121-132
• /
• 2011

Hanok with a long tradition in our country, but a significant period of modernization in the process of being cut off did not have continuity. Many of Hanok aging, according to the rapid residential development and life-changing was the subject of a complaint. Conversely, the benefits of Hanok was given to the advantages that compare to a monotonous mass housing of apartments. Despite these changes and the potential of these social needs and demands Hanok quickly did not respond: First, for the life of contemporary and traditional Hanok with a form of gap is a matter of space and style. Economy and lifestyle $20,000 for the era of Hanok was to develop a model for spatial configurations. Second, Hanok in a low density, is evaluated to aging, because increasing the economic utilization of land and tailored to their needs as a Hanok housing requires the development of a model, but this did not present a layered model. The purpose of this study is a modern residential Hanok persistence of this set to have 1) the spatial characteristics of traditional and modern urban life Hanok living space that meets the requirements of the degree of each other, to find sustainable elements, and 2) these demands the modern residential area type, combined with a set of Hanok 3) Korea Hanok cultural characteristics which set is created to residential housing types is to develop a basic research.

• 한국안전학회지
• /
• 제26권4호
• /
• pp.87-95
• /
• 2011

The urgent VAI(Vital Area Identification) method development is required since 'The Act of Physical Protection and Radiological Emergency' that is established in 2003 requires an evaluation of physical threats in nuclear facilities and an establishment of physical protection in Korea. The KAERI(Korea Atomic Energy Research Institute) has developed the VAI methodology and VAI software called as VIPEX(Vital area Identification Package EXpert) for identifying the vital areas. This study is to demonstrate the applicability of KAERI's VAI methodology to a hypothetical facility, and to identify the importance of information of cable and piping runs when identifying the vital areas. It is necessarily needed to consider cable and piping runs to determine the accurate and realistic TEPS(Top Event Prevention Set). If the information of cable and piping runs of a nuclear power plant is not considered when determining the TEPSs, it is absolutely impossible to acquire the complete TEPSs, and the results could be distorted by missing it. The VIPEX and FTREX(Fault Tree Reliability Evaluation eXpert) properly calculate MCSs and TEPSs using the fault tree model, and provide the most cost-effective method to save the VAI and physical protection costs.

• Design & Manufacturing
• /
• 제11권1호
• /
• pp.50-54
• /
• 2017

In this study, researches were conducted as follows. First, as the basic experiment, the cutting speed, feedrate, and the depth of cut were set as the process parameters, and by setting the surface roughness as the factor of measurement for each of the combinations, and the analysis about cutting tendency of the material was conducted by proceeding the turning process of Co-Cr-Mo alloy. Second, by setting the feature of the surface roughness according to the 'turning processing condition' that was confirmed in the previous experiment, and by applying the Taguchi Method, the conditions that influence the features of the surface roughness according to the 'turning processing condition' of Co-Cr-Mo was analyzed, and also by measuring the surface roughness according to each of the 'cutting conditions', the optimal processing condition was generated. As the result of analysis, it was possible to understand that the factor that mostly affects the surface roughness was the cutting speed, followed by the dept of cutting and transfer speed, and as for the optimal processing condition, it was possible to find that the cutting speed was 5,000rpm, and the depth of cut was 0.1mm, and the feedrate was 0.003mm/rev, and the value of the surface roughness at this point is $0.197{\mu}m$.

• Journal of Information Display
• /
• 제13권1호
• /
• pp.17-20
• /
• 2012

The current panels for liquid crystal display (LCD) TV sets are all characterized by pins placed on two sides. To manufacture one type of panel, a dedicated mask is needed, and the production line should be started once. Moreover, the whole panel needs to be removed if a dead pixel is found. If the panel, however, will first be fabricated with pins placed on four sides and then divided by a cross-cut into four equal-sized panels with pins placed on two sides, one set of masks can be used to manufacture two types of LCD panels, which was referred to by the authors as dual mode. In this paper, the concept of the dual mode and its differences from the conventional way of producing panels are introduced. Its advantages in boosting production efficiency, improving the product's good rate, and lowering the production cost are also described based on case studies. Of particular importance is the fact that the dual mode is very suitable for the trial production of very-large-area LCD TV sets.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제8권7호
• /
• pp.2449-2463
• /
• 2014

Hierarchical B-frame coding was introduced into H.264/SVC to provide temporal scalability and improve coding performance. A content analysis-based adaptive group of picture structure (AGS) can further improve the coding efficiency, but damages the inter-frame correlation and temporal scalability of hierarchical B-frame to different degrees. In this paper, we propose a group of pictures (GOP) adaptation coding method based on the positions of video cuts. First, the cut positions are accurately detected by the combination of motion coherence (MC) and mutual information (MI); then the GOP is adaptively and proportionately set by the analysis of MC in one scene. In addition, we propose a binary tree algorithm to achieve the temporal scalability of any size of GOP. The results for test sequences and real videos show that the proposed method reduces the bit rate by up to about 15%, achieves a performance gain of about 0.28-1.67 dB over a fixed GOP, and has the advantages of better transmission resilience and video summaries.

• 한국수학사학회지
• /
• 제24권3호
• /
• pp.145-163
• /
• 2011

수학 학습에서 학생들의 정의적 성취 여부를 판단할 수 있도록 본 연구는 준거 참조 평가의 준거인 기준 점수를 설정하였다. 타당도와 신뢰도가 확보된 표준화된 정의적 성취 검사 도구에 대하여 변형된 Angoff 방법을 적용하였고 수학교사 전문가 협의회를 통하여 합의된 점수가 설정되었다. 이 점수는 학습지향성, 자기통제, 불안, 흥미, 가치인식, 자신감의 6가지 요소에 대하여 각각 설정되었다. 학습지향성은 20점 만점에 기준 점수가 12점, 자기통제는 24점 중 14점, 불안은 16점 중 11점, 흥미는 20점 중 13점, 가치 인식은 24점 중 16점, 자신감은 16점 중 10점이었다. 우리나라 중학교 2학년 학생들은 수학에 대한 가치 인식을 성취한 비율이 가장 높았고, 성별이나 수준별 수업 시행 여부 별로 정의적 성취 비율의 차이는 나타나지 않았다.

• 대한조선학회논문집
• /
• 제47권2호
• /
• pp.188-195
• /
• 2010

Green water load is an important parameter to be considered in designing a modern ship or offshore structures like FPSO and FSRU. In this research, a numerical simulation method for green water phenomenon is introduced. The Navier-Stokes equations and the continuity equation are used as governing equations. The equations are calculated using Finite Difference Method(FDM) in rectangular staggered grid system. To increase the numerical accuracy near the body, the Cartesian cut cell method is employed. The nonlinear free-surface during green water incident is defined by Marker-density method. The green waters on a box in regular waves are simulated. The simulation results are compared with other experimental and computational results for verification. To check the applicability to moving ship, the green water of the ship which is towed by uniform force in regular wave, is simulated. The ship is set free to heave and to surge.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2008년도 추계 학술발표회
• /
• pp.466-474
• /
• 2008

The purpose of this study was to comparatively analyze the measured values and modelling values when a sample mountain was cut and thereby, assess the fitness of the prediction model. For this purpose, the researcher analyzed the relationship between the groundwater levels measured at 7 monitoring holes set within the area of the underground flow prediction model and the levels of the groundwater monitoring holes before and after mountain cutting. As a result of this analysis, it was found that the MODFLOW program itself was limited and uncertain in terms of calibration of the modelling values. Since the model was based on the assumption that the same amount of rainfalls would permeate into the ground when the sample mountain area was cut up to 50m high, it was deemed inevitable that the result of modelling was different from the actual measurement.

• ETRI Journal
• /
• 제37권3호
• /
• pp.541-550
• /
• 2015

In this paper, we propose a classification-based approach for hybridizing statistical machine translation and rulebased machine translation. Both the training dataset used in the learning of our proposed classifier and our feature extraction method affect the hybridization quality. To create one such training dataset, a previous approach used auto-evaluation metrics to determine from a set of component machine translation (MT) systems which gave the more accurate translation (by a comparative method). Once this had been determined, the most accurate translation was then labelled in such a way so as to indicate the MT system from which it came. In this previous approach, when the metric evaluation scores were low, there existed a high level of uncertainty as to which of the component MT systems was actually producing the better translation. To relax such uncertainty or error in classification, we propose an alternative approach to such labeling; that is, a cut-off method. In our experiments, using the aforementioned cut-off method in our proposed classifier, we managed to achieve a translation accuracy of 81.5% - a 5.0% improvement over existing methods.