• 지능정보연구
• /
• 제16권4호
• /
• pp.131-145
• /
• 2010

ERP, SCM 등과 같은 기업용 정보 시스템을 활용함에 있어, 고객의 문의에 따라 제품 판매 가능 유무와 가능일자를 계산하여 통보해 주는 지능형 ATP 시스템은 전산 정보를 활용하여 고객 만족도를 최대화할 수 있는 유용한 기능이라고 할 수 있다. 그렇지만 공급 사슬 환경에서 ATP 시스템을 적용하려고 할 경우, 고객이 문의해 온 Retailer에게 납품 가능한 모든 분배센터(Distribution Center)와 공장(Plant)의 미래 시점의 재고량 변화와 운송 능력 등을 모두 고려하여야 하므로 계산량이 방대한 NP-Complete 문제가 된다. 따라서 시스템 사용자가 빠른 시간 내에 해를 구하여 고객에게 결과를 알려 줄 수 있는 ATP 시스템의 개발은 공급 사슬 관리를 효과적으로 활용하기 위하여 반드시 필요한 일이라고 할 수 있다. 본 논문에서는 동적 생산 함수의 개념을 이용하여 비 정수 타임 랙을 고려하여 ATP 시스템을 모델링하고, 해당 수리 모형으로부터 효율적으로 해를 얻기 위하여 유전 알고리듬을 개발하였다. 비 정수 타임 랙을 활용한 ATP 시스템은 비 정수 타임 랙을 올림이나 내림을 통하여 정수화 시킨 후 모형 수립하는 기존의 방법보다 정교하게 현실을 반영할 수 있고, ATP 시스템을 위한 유전 알고리듬의 진화 시스템은 문제크기가 작은 것에서부터 큰 것까지 최적해에 매우 근사한 값을 매우 빠른 시간 내에 풀 수 있음을 알 수 있었다.

• 항공우주정책ㆍ법학회지
• /
• 제30권2호
• /
• pp.83-153
• /
• 2015

우리나라의 경제가 더욱 성장하고, 항공기의 수가 점차 증가하면, 항공기 집행사건은 앞으로 늘어날 수 있다. 이 글은 다수의 사례가 축적되어 있는 선박집행에 관한 법리를 차용하여 항공기 집행에 관한 법리를 제시하기 위한 것이다. 항공기, 경량항공기에 대한 집행은 기본적으로 부동산 선박 집행을 준용하고, 초경량비행장치, 외국항공기에 대한 집행은 동산집행방법에 의한다. 항공기 집행에는 강제경매, 임의경매, 유치권에 기한 경매 등이 있다. 항공기에 대한 강제경매는 채권자가 금전의 지급을 목적으로 하는 청구권의 만족을 얻기 위하여 채무자 소유의 항공기에 대하여 행하는 강제집행을 말한다. 항공기에 대한 강제경매는 압류 당시에 그 항공기가 있는 곳을 관할하는 지방법원을 집행법원으로 하고, 이는 전속관할이다. 법원은 경매개시결정을 한때에는 집행관에게 항공기등록증명서 그 밖에 항공기운항에 필요한 문서를 받아 법원에 제출하도록 명하여야 한다. 강제경매개시결정이 있은 날부터 2월이 지나기까지 집행관이 항공기등록증명서등을 넘겨받지 못하고 항공기가 있는 곳이 분명하지 아니한 때에는 집행법원이 강제경매절차를 취소할 수 있다. 채권자 최고가매수신고인 차순위매수신고인 매수인의 동의가 있으면, 법원은 영업상의 필요 그 밖에 상당한 이유가 있다고 인정한 때에는 채무자의 신청에 따라 항공기의 운항을 허가할 수 있다. 법원은 채권자의 신청에 따라 항공기를 감수하거나 보존에 필요한 처분을 할 수 있다. 채무자가 민사집행법 49조 2호 4호의 서류를 제출하고 압류채권자 및 배당요구채권자의 채권과 집행비용에 해당하는 보증을 매수신고 전에 제공한 때에는 법원은 신청에 따라 배당절차 외의 절차를 취소하여야 한다. 항공기를 목적으로 하는 담보권 실행을 위한 경매(임의경매) 절차에는 선박 항공기 강제경매에 관한 규정과 담보권 실행을 위한 부동산 선박 경매에 관한 규정이 준용된다. 임의경매에서는 집행권원이 필요하지 않고, 신청에도 집행력 있는 정본은 요구하지 않는다. 또한, 집행법원이 담보권 및 피담보채권의 존부를 심사하여 담보권의 부존재 무효, 피담보채권의 불발생 소멸 등과 같은 실체상의 하자가 있으면 경매개시결정을 할 수 없다. 나아가 이러한 사유는 매각불허가 사유에 해당하고, 또 이를 간과하여 매각허가결정이 확정되고 매수인이 매각대금을 완납하여 소유권이전등록을 마쳤다 하더라도 매수인은 매각항공기의 소유권을 취득하지 못한다. 집행법원은 여러 대의 항공기 상호간의 이용관계에서 견련성이 있는 경우에 한하여 여러 대의 항공기에 대한 일괄경매를 할 수 있다(대법원 2001. 8. 22.자 2001마3688 결정). 항공기에 대한 유치권자도 경매를 신청할 수 있다. 형식적 경매의 절차는 담보권 실행을 위한 경매의 예에 따라 실시한다. 그러나 공항시설 사용료와 항공기 사이의 견련관계를 인정할 수 없으므로, 공항공사의 항공기에 대한 유치권은 성립하지 않는다(대법원 2014. 4. 10. 선고 2011다29291 판결). 유치권에 의한 경매도 항공기 위의 부담을 소멸시키는 것을 법정매각조건으로 하여 실시되고, 우선채권자뿐만 아니라 일반채권자의 배당요구도 허용되며, 유치권자는 일반채권자와 동일한 순위로 배당을 받을 수 있다.