• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 대한산업공학회/한국경영과학회 2000년도 춘계공동학술대회 논문집
• /
• pp.461-464
• /
• 2000

본 연구에서는 집단도착과 Threshold가 있는 2단계 서비스 중 첫 서비스에 Gate가 있는 모형에 대해 분석한다. 즉 도착 간격이 지수분포를 따르고 집단도착이 일어나는 모델에서 도착한 고객의 수가 정해진 threshold를 넘으면 서비스를 시작한다. 시스템의 서버는 하나이며 이 서버로부터 첫 단계에서 배치서비스를 받고, 두 번째 단계에서 개별서비스를 받는다. 첫 번째 단계 서비스 중일 때 도착한 고객은 진행중인 서비스에 합류해 같이 서비스를 받는 것이 아니라 다음 batch 서비스를 기다린 후 배치 서비스를 받아야 한다. 첫 단계 서비스 시작 시 고객수, 두 번째 단계서비스 종료 시 고객 수를 확률변수로 정의하고 이를 풀어 고객수 분포에 대한 PGF 및 평균 고객수와 대기시간분포에 대한 LST 및 평균 대기시간 등을 유도한다.

• Journal of the Korea Institute of Military Science and Technology
• /
• 제9권1호
• /
• pp.72-79
• /
• 2006

This study was focused on analyzing mathematical model for optimal allocation of surveillance equipment which is operated on the natural geographical condition, such as DMZ fence area. Optimal allocation algorithm was studied for the equipment to develop the whole surveillance and watch model for the two area as testing. Also 3D visualization program was developed to display and analyze the detecting effect. The results show that our suggested model will be available for enhancing security condition on the watching area.

• Economic and Environmental Geology
• /
• 제19권3호
• /
• pp.193-197
• /
• 1986

A simple and fast solution is derived to evaluate the effects of time-domain electromagnetic coupling in induced polarization surveys on a uniform earth. The simplified solution gives an explicit statement of the dependence of time-domain electromagnetic coupling on the model parameters, and yields sufficiently accurate results for most situations encountered in practice. The co-linear dipole-dipole and Wenner arrays are used as examples in this paper, but th numerical solution can be applied to any electrode configuration.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• 제35권3호
• /
• pp.268-274
• /
• 2007

In general, rocket or satellite circuit designers focus on reducing temperature of electronic devices in order to enhance electronic unit's reliability. This paper describes the quantitative analysis result of activation energy as well as device temperature effects to the system reliabilities. The quantitative analysis result shows that activation energy of device has more effects on system reliability than temperature does. And this paper suggests a strategy for enhancement of reliability during devices placement on PCB with simulation results.

• Proceedings of the Korea Society for Simulation Conference
• /
• 한국시뮬레이션학회 1999년도 추계학술대회 논문집
• /
• pp.30-34
• /
• 1999

반도체 산업의 시장은 매년 증가하고 있으며 생산환경, 설비 등의 변화로 인하여 매년 많은 수의 기존 FAB Line이 변화되고 새로이 건설되고 있다. 그 동안 반도체 산업의 성장은 주로 설계기술, 설비기술, Chip Size의 소형화 등의 기술적인 개발에 의존하고 있었으나 반도체 기술의 확산, 시장 경쟁력의 격화 등으로 생산성 향상에 의한 원가절감이 성장의 근본요인이 되고 있다. 즉 FAB Line의 시스템적인 관리통제의 기술이 반도체 산업의 성패를 좌우하는 시대로 접어든 것이다. FAB Line은 크게 Bay와 Stocker, 각 Lot (또는 Batch) 들을 운반하는 Inter-System으로 구성된다. 이러한 Line은 대체 특성, 분기 현상, 돌발 상황 등의 특수한 경우가 많아 Analytic 모델로 접근하기에는 사실상 불가능하다. 특히 Stocker와 Bay 간의 이동은 더욱 그렇다. 따라서 적절한 설계과정을 거친 Simulation적 접근이 합리적이다. 본 논문에서는 FAB Line에서 Stocker 배치의 다양한 실험을 수행하였다. 그 결과 Line에서 최적의 Stocker 수와 가동률을 알아내었다. 반도체 생산라인에서는 제품별 또는 같은 제품이라도 Version이 다른 경우 FAB 공정가운데 약 10% 내외만이 바뀌는 점을 감안하면 본 논문의 결과는 쉽게 생산현장에 적용될 수 있을 것이며, 이것은 비단 반도체 공정뿐 아니라 제조업에서도 적용되리라 예상한다.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 한국건축시공학회 2011년도 춘계 학술논문 발표대회 1부
• /
• pp.171-172
• /
• 2011

Formwork accounts for a large proportion of the framework in high-rise construction projects in terms of the duration and cost. Especially, slab formwork has a significant influence on these factors. However, the current selection of formwork method in general contractors depends on the decisions of few experienced engineers, and layout planning of the formwork in specialty contractors requires lots of time by different floor types. As a preliminary study for developing an optimum layout model in slab formwork of high-rise building construction, this study proposes the process of the optimum layout model and determines a fitness function for use of the genetic algorithm aimed at table formwork.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 한국건축시공학회 2013년도 춘계 학술논문 발표대회
• /
• pp.171-172
• /
• 2013

An operation planning of lift car is crucial in tall building construction especially it's arrangement plans, because it is related with transportation distance of finishing materials affecting construction productivity. Since tall building construction, composed of complicating and huge plane have complex traffic lines of finishing materials, to determine the position of lift car empirically or intuitively has limits. Therefore this paper suggest an optimum layout model of lift car minimizing the transportation distance both at site-level and floor-level using Graph theory and Dijkstra algorithm.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 한국건축시공학회 2013년도 추계 학술논문 발표대회
• /
• pp.212-213
• /
• 2013

The constructability of Formwork has a importantly influence on the duration and cost in a construction project. However, the existing studies on the formwork are mainly focused on a method of construction. Although a layout planning of forms, especially, is an important factors affecting the constructability and cost, it is done by engineers empirically and intuitionally after completion of structure design. Therefore this study suggest a decision support model for optimal formwork layout model based on the rearrangement of structural members by using Genetic Algorithm to improve constructability of formwork.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• 제30권12호
• /
• pp.1581-1587
• /
• 2006

An optimization formulation is proposed to minimize sound pressures in a two-dimensional cavity by controlling the attachment area of viscoelastic unconstrained damping materials. For the analysis of structural- acoustic systems, a hybrid approach that uses finite elements for structures and boundary elements for cavity is adopted. Four-parameter fractional derivative model is used to accurately represent dynamic characteristics of the viscoelastic materials with respect to frequency and temperature. Optimal layouts of the unconstrained damping layer on structural wall of cavity are identified according to temperatures and the amount of damping material by using a numerical search algorithm.

• Journal of the Korea Institute of Military Science and Technology
• /
• 제2권2호
• /
• pp.173-185
• /
• 1999

고품질의 소프트웨어를 개발하는 사업의 중요성이 나날이 증대되고 있는 시점에서 소프트웨어를 종합군수지원 관점에서 해석하려고 하는 연구가 최근에 진행되고 있다. 즉, 소프트웨어 설계자의 입장은 소프트웨어 개발도 중요한 문제이지만 소프트웨어를 얼마나 가용성 있게 유지하는가에 더 많은 관심을 갖게 된다. 하드웨어는 개발 시부터 종합군수지원이라는 기법을 적용하여 체계 배치 시 체계 장비가 최상의 가용도를 가질 수 있도록 하는 노력이 이루어지고 있으며, 그 결과도 현실화되고 있다. 본 논문에서는 하드웨어에서만 적용하고 있는 종합군수지원 개발 기법을 소프트웨어에 적용하여 소프트웨어에 대한 종합군수지원 적용방안을 제시하고, 향후 소프트웨어 개발/배치 시에 경제적이고 가용도가 높은 소프트웨어의 개발/활용이 가능하도록 군수지원 분석을 통한 종합군수지원 활용 방안을 제안한다.