• 한국경영과학회지
• /
• 제34권1호
• /
• pp.11-28
• /
• 2009

Intelligent investment in setup cost reduction and process reliability improvement is crucial to an emerging integrated lean six sigma practice today. This study examines a cost-minimizing problem of jointly determining production lot size, setup cost reduction, and process reliability improvement decisions for a manufacturer with an imperfect production process. We develop models for previously untapped discrete shipping in a supply chain context as well as continuous shipping and solve them optimally using differential calculus and nonlinear programming. We also conduct analytic and numerical sensitivity analyses to provide various important managerial insights into practices.

• 한국경영과학회지
• /
• 제22권4호
• /
• pp.151-165
• /
• 1997

We propose a method for estimating the probability of perfect PM from successive failure times of a repairable system. The system under study is maintained preventively at periodic times, and it undergoes minimal repair at failure. We consider Brown-Proschan imperfect PM model in which the system is restored to a condition as good as new with probability P and is otherwise restored to its condition just prior to failure. We discuss the identifiability problem when the PM modes are not recorded. The expectation-maximization principle is employed to handle the incomplete data problem. We assume that the lifetime distribution belongs to a parametric family with increasing failure rate. For the two parameter Weibull lifetime distribution, we propose a specific algorithm for finding the maximum lifelihood estimates of the reliability parameters : the probability of perfect PM (P), as well as the distribution parameters. The estimation method will provide useful results for maintaining real systems.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 2006년도 추계학술대회
• /
• pp.391-402
• /
• 2006

Most previous studies considering inventory models for imperfect quality assumed that defective items could be completely detected by inspection and fixed before delivery to customers. This makes it difficult to adopt their research results to practice. This study reduces the assumption of perfect inspection, and presents an inventory model considering reverse logistics caused by imperfect inspection. System dynamics model is used to describe complex and dynamic problem and to show the effect of imperfect inspection on profit by simulation. Then, this article provides a guideline for the inspection policy which provides the maximum profit.

• 품질경영학회지
• /
• 제34권3호
• /
• pp.73-78
• /
• 2006

In this paper, we propose a software reliability growth model based on the testing domain in the software system, which is isolated by the executed test cases in software testing. In particular, our model assumes an imperfect debugging environment in which new faults are introduced in the fault-correction process, and is formulated as a nonhomogeneous Poisson process(NHPP). Further, it is applied to fault-detection data, the results of software reliability assessment are shown, and comparison of goodness-of-fit with the existing software reliability growth model is performed.

• 품질경영학회지
• /
• 제34권4호
• /
• pp.133-138
• /
• 2006

In this paper, we propose a software reliability growth model (SRGM) based on the testing domain, which is isolated by the executed test cases. This model assumes an imperfect debugging environment in which new faults are introduced in the fault-correction process. We consider that the fault detection rate of NHPP model is changed in the proposed SRGM. We obtain the maximum likelihood estimate, and compare goodness-of-fit with another existing software reliability growth model.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2004년도 학술발표회
• /
• pp.1469-1473
• /
• 2004

Non-Darcy흐름에 따른 호안제체의 흐름과 배수갑문을 통한 유출입 특성을 고려한 체절구간의 수리특성분석 도형에 의한 해석결과는 실측자료와 비교적 잘 일치하여 개발된 모형의 적용성이 있음을 보여주었다. 실측치와 비교한 계산결과는 본간(1958) 식에 의한 계산이 나(1987)에 의한 방법보다 비교적 정확하게 계산할 수 있음을 보여주었다. 아울러 완전 또는 불완전 월류의 구분이 없이 잠수도에 의한 계산을 통해서 하나의 유량계수 관계곡선을 사용하여 간편하게 사용할 수 있는 나 식의 사용성을 보여 주었다. 본간 식과 나 식에 의한 계산 값이 실측치보다는 유출입 특성이 크게 나타나고 있는 것으로 나타났다. 따라서 현장에서의 체절구간의 불규칙적인 단면 양상을 감안한 유량계수의 조정이 필요할 것으로 판단된다. 일반적으로 체절구간의 수리특성의 분석을 위해서 제체구간 유량의 고려는 Darcy 흐름에 기초하여 분석한 것이 지금까지의 분석이다. 제체를 통과는 유량과 개방구간을 통과하는 유량의 비가 체절구간이 좁을수록 크게 나타나 제체의 정확한 유출임 특성을 고려한 체절구간의 수리특성을 분석해야할 필요가 있음을 확인하였다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1998년도 춘계학술발표회논문집(1)
• /
• pp.571-576
• /
• 1998

고온의 증기가 과냉각 상태의 물과 직접접촉에 의해 발생하는 응축현상(DCC Direct Contact Condensation)을 실험적으로 고찰하였다. 본 연구는 두단계로 나누어 수행하였다. 1단계 연구에서는 간단한 원형관 형태의 수평 노즐을 통하여 증기제트가 대기압 상태의 과냉각수로 분출될 때 증기제트 및 주위의 거동을 측정·분석하였다. 수조의 온도와 증기유량의 변화에 따른 증기제트의 축방향과 반경방향 온도분포와 수조 벽면에서의 동압을 측정하였으며, 고속 비디오 카메라를 사용하여 각각의 경우에 대하여 증기제트의 분출이미지를 촬영하였다. 벽면에서의 동압은 노즐의 분출구직경과 응축수의 온도에 비례하여 증가하였다. 2단계 연구에서는 몇가지 형태의 증기분사기 축소 모형에 대한 응축성능을 비교하였다. 이때에는 수조의 온도상승으로 인해 수조가 가압되는 정도를 알아보기 위해 수조를 밀봉한 상태로 실험을 수행하였다. 실험시 수조의 압력은 시간의 경과에 따라 계속적으로 증가하였으나, 이는 방출된 증기의 불완전한 응축에 의한 것은 아니고 증기의 분출과 응축으로 인한 응축수의 부피팽창과 수조 온도의 상승으로 인한 증기압의 상승 때문인 것으로 판단된다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2016년도 제28회 한글 및 한국어 정보처리 학술대회
• /
• pp.122-127
• /
• 2016

본 논문에서서는 질의응답 시스템을 위한 자연언어 질의 이해를 위하여 프레임 시멘틱스 기반 의미 분석 방식을 제안한다. 지식베이스에 의존적인 질의 이해는 지식베이스의 불완전성에 의해 충분한 정보를 분석하지 못한다는 점에 착안하여, 질의의 술부-논항구조 및 그 의미에 대한 분석을 수행하여 자연언어 질의에서 나타난 정보들을 충분히 파악하고자 하였다. 본 시스템은 자연언어 질의를 입력으로 받아 이를 프레임 시멘틱스의 구조에 기반하여 기계가 읽을 수 있는 임의의 RDF 표현방식의 모형 쿼리를 생성한다.

• 대한산업공학회지
• /
• 제39권4호
• /
• pp.233-238
• /
• 2013

This article concerns a profit model in a repair limit replacement problem with imperfect repair. If a system fails, we should decide whether we repair the failed system (repair option) or replace it by new one (replacement option with a lead time). We assume that repair times are random variables and can be estimated before repair with estimation error. If the estimated repair time is less than the specified limit (repair time limit), the failed unit is repaired but the unit after repair is different from the new one (imperfect repair). Otherwise, we order a new unit to replace the failed unit. The long run average profit (expected profit rate) is used as an optimization criterion and the optimal repair time limit maximizes the expected profit rate. Some special cases are derived.

• 논리연구
• /
• 제20권2호
• /
• pp.241-271
• /
• 2017

양진주의는 참인 모순이 존재한다는 입장이다. 필자는 이 글에서 괴델 정리가 양진주의의 근거라는 프리스트의 논변이 설득력이 없음을 논할 것이다. 이는 괴델 증명이 우리에게 주는 교훈은 임의의 충분히 강한 산수에 관한 이론이 완전하면서 일관적일 수 없다는 것이기 때문이다. 다음으로 필자는 프리스트의 비일관적이고 완전한 산수에서 모순이 도출될 수 있음을 설명할 것이다. 그리고 괴델 문장이 비일관적이고 완전한 산수이론에 적용되어 양진주의에 관한 대안논변을 제시할 수 있음을 소개하고 이 경우에는 순환성의 문제가 있음을 논할 것이다. 요약해서, 필자는 괴델 정리 및 그와 관련된 정리는 완전한 이론들과 일관적인 이론들 간의 관계를 보여줄 뿐임을 주장할 것이다. 괴델 문장의 적용을 통해 도출된 모순이 중간값과 같은 참인 문장의 값을 지닐 수 있는 것 역시 산수에 관한 비일관 모형에서일 뿐이다. 비일관성이나 완전성에 관한 가정을 하지 않는다면, 괴델 문장의 적용이 참인 모순을 이끌어 낼 수 없으며 그렇기에 괴델 정리 및 그와 관련된 정리는 양진주의의 근거가 될 수 없다.