• KOREAN POULTRY JOURNAL
• /
• v.13 no.1 s.135
• /
• pp.89-96
• /
• 1981

양계인의 소망이 생산물의 가격안정에 있고, 제도적으로 가격을 안정시키는 주체적인 역할을 할 수 있는 기구로 협동조합도 생각해 보아 왔다. 81년 1월 1일부터 발족되는 협동조합의 기본이 되는 협동조합법을 2회에 나누어 전문 계재코져 한다. 앞으로 축종별 전문조합인 양계협동조합도 탄생하여 그 운영이 활성화될 것으로 보여져 앞으로 시행령과 시행규칙이 발표되는대로 이도 본지를 통하여 독자들에게 소개할 계획이다.

• Journal of Navigation and Port Research
• /
• v.30 no.3 s.109
• /
• pp.235-240
• /
• 2006

This study analyzed equipment operation strategy of ATC(Automated Transfer Crane) in order to development efficiency ATC operation logic for apply to domestic ACT(Automated Container Terminal). Improving productivity of ACT developed dynamic operation logic and established dispatching rule. As a result of simulation experiment reduced waiting time and interference time of ATC. Thus, we can improve productivity of ACT using dynamic operation logic and interference avoidance strategy.

• THE INTERNATIONAL COMMERCE & LAW REVIEW
• /
• v.58
• /
• pp.127-148
• /
• 2013

The Rotterdam Rules provide that port terminal operator may avoid or limit their liability for cargo loss, damage or delay in delivery or breach of any other obligation under the Rules by invoking the provisions that may provide a defence for, or limit the liability of, the carrier. Consequently the port terminal operator who are involved in the provision of maritime services may avoid or limit their liability for cargo loss, damage or delay in delivery or breach of any other obligation under the Rules. The port terminal operator to be applied for the Himalaya clause under the Rules must show that it has the requisite link with a Contracting State. In addition, the port terminal operator performs service to the period of time between the arrival of the goods at the port of loading and their departure from the port of discharge. The port terminal operator's liability for breaches of its obligation is limited to 875 SDR per package or other shipping units, or 3 SDR per kilogram of the gross weight of the goods. In addition, compensation for delay shall be limited to an amount equivalent to two and one-half times the fright payable on the goods delayed.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2017.05a
• /
• pp.108-108
• /
• 2017

깊은 불확실성이 내재되어 있는 기후변화의 특성을 고려한 의사결정은 강건함(Robustness)의 특성을 지니고 있어야 한다. 강건한(Robust) 의사결정은 광범위한 불확실성의 상황에서 모든 요구사항을 충족시키는 전략을 제시한다. 이러한 강건함의 개념은 저수지운영 규칙 산정에 필요한 최적화 과정에도 적용될 수 있는데, 이를 로버스트(Robust) 최적화 과정이라고 한다. 로버스트 최적화 과정은 기존 최적화과정이 현재의 자료를 바탕으로 최적의 해를 찾기 때문에 미래 입력자료의 불확실성을 반영하지 못하는 한계를 극복하기 위하여 등장하였다. 로버스트 최적화 과정은 크게 두 가지 방법으로 나눌 수 있는데, 확률적 로버스트 최적화 방법과 비확률적 로버스트 최적화 방법이다. 확률적 로버스트 최적화 과정은 전통적인 최적화 과정과 동일하게 불확실 변수의 확률분포를 가정하지만, 비확률적 로버스트 최적화 과정은 불확실 변수의 확률분포를 가정하지 않는다. 본 연구는 최근 수자원의 부족을 겪었던 보령댐의 보다 안정적인 이수기 운영방안 산정을 위해 로버스트 최적화 과정을 적용하였다. 먼저 전통적인 최적화 방법을 적용하여 운영방안을 도출한 뒤 기후변화 상황에서의 취약성, 신뢰성, 지속가능성 그리고 회복탄력성 등을 검토하였다. 다음으로 이에 대한 대안으로 로버스트 최적화 방법으로 운영방안을 산출하였으며 이를 기존의 최적화방법과 여러 기준으로 비교하여 그 타당성을 검토하였다. 또한 두 가지 로버스트 최적화 방법을 비교하여 각 과정의 장단점에 대해 논의 하였으며, 어떤 최적화 과정이 댐 운영방안 산정에 있어 보다 합리적이고 타당한지 비교하였다. 본 연구의 결과를 통해, 기후변화의 영향 하에서 보다 안정적인 수자원 관리 방안을 제안할 수 있었다.

• 한국사회정책
• /
• v.25 no.3
• /
• pp.151-174
• /
• 2018

This study investigates the issues in relation to the introduction of the fund-based Korean occupational pension, examining the development plans in the members' perspective. The strong drive from Korean government to introduce the fund-based governance seems to be a sort of strategy to expand coverage in occupational pension. It is not logical that the introduction of the fund-based scheme is likely to cause increase in earning rate and, what is more important is to set the conditions to implement the active investment decision. Also, because the introduction of the fund-based scheme may increase possibility of insolvency, it is necessary to strengthen beneficiary protection or funding rule but, in the short term, it is better to focus on funding rule rather than protection scheme. The introduction of the fund-based scheme suggests the direction that members can actively participate in occupational pension, which means that it is possible to operate occupational pension in the direction of intent of the system.

• Journal of the Korea Society for Simulation
• /
• v.19 no.2
• /
• pp.29-41
• /
• 2010

Due to the recent technological advance, new types of AS/RS which can handle containers are being developed, and it is expected that they will be applied to related industries before long. Some companies and institutes in our country have constructed pilot systems for high-density-high-stacking systems and tested them to develop AS/RS-typed warehouses for containers. Along with this kind of construction efforts, development of rules to operate such systems efficiently and safely is also important. When outward-bound shipment is scheduled in container port, re-marshalling which rearranges containers in the yard to make shipment easy is conducted. In this paper, operating rules for the re-marshalling as well as simulation experiments to evaluate the performance of the rules are presented. We suggested two kinds of alternative sets of operating rules for re-marshalling and described the relevant logics corresponding to all possible cases for each alternative of operating rules. Through various simulation experiments, we found that each alternative has the merits and demerits at the same time and we could not say the one is always superior to the other. As a useful strategy, changing the applying operating rule is recommended from moment to moment depending on the expected number of operations at the landside input/output position.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1993.04a
• /
• pp.265-274
• /
• 1993

정보화 사회에서 대량으로 생산된 데이타 코드들은 일관된 설계 원칙없이 필요할 때마다 만들어 사용함으로써 정보의 중복 저장 및 정보교환에 있어서의 변환 작업등으로 인한 경비의 소요가 상당한 실정이다. 이러한 문제점에 대한 해결책으로 본 논문에서는 데이타코드 설계자가 일관성있게 데이타코드를 생성할 수 있도록 도와주는 데이타 코드 생성 지원 전문가 시스템의 설계에 관하여 연구하였다. 불완전 영역 설계를 위한 지식 획득과 표현에 적합한 전문가 시스템 쉘인 GUESS(Guideline Underlying Expert system Shell)를 설계하였다. GUESS는 전문가 시스템을 설계 지원 도구로 사용하는 사용자에게 기존에 작성된 적절한 설계 용례를 선택의 기준으로 제공하며, 유연성 있는 작업 지침들을 규칙으로 포함하고 있다. GUESS는 Prolog언어를 기반으로 한 추론기관과 설계지침을 포함하는 정적지식, 외부 데이타베이스를 연결한 동적 정보, 설계 세부방법을 담고 있는 부가도구들로 구성된다. GUESS/DCG는 데이타 코드 생성을 지원하기 위하여 데이타 코드의 유형과 선택기준 및 설계원리를 정적지식으로 가지며, 이를 경험적으로 탐색하는 추론 기관 및 사용자인 데이타 코드 설계자와 적절한 대화식 접근을 가능하게 하는 설명부분과 대화 인터페이스를 GUESS를 바탕으로 구현한 것이다. 특히 동적 정보의 적절한 이용과 데이타 코드의 통합된 저장, 일관성 있는 운영을 보장하기 위하여 개발중인 데이타 코드 관리시스템과의 인터페이스 부분을 추가하여 기존에 운영되고 있는 데이타 코드의 참고와 호환성, 확장성을 유지하였다. 이 시스템은 데이타 코드 관리시스템에 일관된 생성 수단을 제공하는것 외에도, 각 기관에서 대량으로 작성되는 데이타 코드를 유지, 보수하는 작업에도 큰 기여를 할 것이다.지의 선택작업이 행해지는 경우에 촛점을 맞추었다. 그리하여 다작업장의 휴리스틱에 의거한 작업순서 결정을 위해 우선 BB의 상한을 구하는 연구를 행했다. 이를 위해 우선 단일작업장에서 야기될 수 있는 모든 상황을 고려한 최적 작업순서 결정규칙을 연구했으며, 이의 증명을 위해 이 규칙에 의거했을 때의 보완작업량이 최소가 된다는 것을 밝혔다. 보완작업 계산의 효율성을 제고하기 위해 과부하(violation)개념을 도입하였으며, 작업유형이 증가된 상황에서도 과부하 개념이 보완작업량을 충분히 반영할 수 있음을 밝혔다. 본 연구에서 제시한 최적 작업순서 규칙에 의거했을 때 야기될 수 있는 여러가지 경우의 과부하를 모두 계산했다. 앞에서 개발된 단일작업량의 최적 작업순서 결정규칙을 이용하여 다작업장의 문제를 실험했다. 이 문제는 규모가 매우 크므로 Branch & Bound를 이용하였으며, 각 가지에서 과부하량이 최적인 경우만을 고려하는 휴리스틱을 택하여 실험자료를 이용하여 여러 회 반복실험을 행했다. 그리고 본 연구의 성과를 측정하기 위해 휴리스틱 기법시 소요되는 평균 CPU time 범위에서, 랜덤 작업순서에 따른 작업할당을 반복실험하여 이중 가장 좋은 해와 비교했다. 그러나 앞으로 다작업장 문제를 다룰 때, 각 작업장 작업순서들의 상관관계를 고려하여 보다 개선된 해를 구하기 위한 연구가 요구된다. 또한, 준비작업비용을 발생시키는 작업장의 작업순서결정에 대해서도 연구를 행하여, 보완작업비용과 준비비용을 고려한 GMMAL 작업순서문제를 해결하기 위한 연구가 수행되어야 할 것이다.로 이루어 져야 할 것이다.태를 보다 효율적으로 증진시킬 수 있는 대안이 마련되어져야 한다고 사료된다.$\ulcorner$순응$\lrcorner$의 범위를 벗어나지 않는다. 그렇기 때문에도

• KOREAN POULTRY JOURNAL
• /
• v.5 no.7 s.45
• /
• pp.86-89
• /
• 1973

미국에 있어서의 가금개량 계획은 농무성장관의 승인을 얻어 1935년 7월 1일부터 시행되었다. 연방 농무성의 회의에 의해서 결정되는 특별 예산은 가금의 개량, 가금 생산물 부화장에 대한 규칙을 운영하는 주당국에 지출된다. 전국 칠면조 개량 계획은 1943년 9월 25일부터 시행되고 있다. 본 계획의 운영에 대한 법적 근거는 1944년의 농업조직법에 근거를 하고 있다. 전국 가금 개량계획의 목적은 닭이나 칠면조의 생산성, 시장에 있어서의 생산물의 품질의 개선 및 부화장에 기인되는 질병에 의한 손실을 감소하는데 있다. 본 계획의 규정은 산업의 발전 새로운 지식이나 기술의 발전에 따라 차차 개정된다. 이러한 계획은 가금 개량계획 개정수속규정에 따라 각 주의 양계가 육종가 부화업자의 공식 대표에 의해서 구성되어 있다. 2년에 한번씩 열리는 전국가금개량 계획회의 권고에 기초를 두어 이루어진다. 본 계획에의 가입에는 주 및 각주내의 개인의 임의에 의하여 또 연방농무성에 협력하는 각주 정부기관에 의하여 각 주마다 운영된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.504-507
• /
• 2016

내장형 소프트웨어의 검증은 운영체제와 응용 소프트웨어에 대해 동시적으로 수행되어야 한다. 선행연구에서는 운영체제를 정형적으로 모델링하고 이를 이용한 내장형 소프트웨어 안전성 검증 기법을 제안하였다. 본 연구에서는 선행 연구에서 Promela로 작성되었던 정형 모델을 참조하여 C 언어로의 변환 규칙을 정의함으로써 구현에 독립적인 모델을 작성하였다. 작성된 검증 모델을 CBMC 모델 체커로 검증한 결과 요구사항으로부터 도출된 35개의 안전성 속성 중 가변 속성을 제외한 21개에 대하여 21개를 모두 만족함을 입증하였다.

• Proceedings of the KIEE Conference
• /
• 2007.07a
• /
• pp.834-835
• /
• 2007

2007년 하반기부터 국내탄 발전소에 대한 기반기금 지원방식이 변경 적용된다. 현행 발전소 변동비에 대한 시장정산금과의 차액보전에서 국내탄 사용량당 단가지원방식으로 변경된다. 기반기금 지원방식변경과 동시에 현행 전력시장운영규칙 부칙에 의거 국내탄발전소 용량가격이 일반발전기 수준으로 조정된다. 이러한 제도 변경시 국내탄발전소의 수입은 감소 전망으로 현행 적용하고 있는 BLMP수준의 국내탄 상한가격에서 제도변화를 반영한 적정 상한가격 수준설정은 전력시장운영에 있어 매우 중요하다. 기반기금 지원식 변경과 적정 상한가격 운영은 발전회사에게 많은 비용절감 유인을 제공하여 수입창출노력을 할 것으로 보이며, 발전기 이용률 제고 효과를 발휘할 것으로 전망된다. 본 논문에서는 합리적인 상한가격 산정에 필요한 상한가격 산정절차를 수립하고 국내탄발전소 제도개선 종합효과를 분석하고자 한다.