• Journal of Korea Society of Industrial Information Systems
• /
• 제27권6호
• /
• pp.105-114
• /
• 2022

We examine berth allocation problems in tidal bulk ports with an objective of minimizing the demurrage and dispatch associated berthing cost. In the proposed optimization model inventory (or stock) level constraints are considered so as to satisfy the service level requirements in bulk terminals. It is shown that the mathematical programming formulation of this research provides improved schedule resolution and solution accuracy. We also show that the conventional big-M method of standard resource allocation models can be exempted in tidal bulk ports, and thus the computational efficiency can be significantly improved.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 한국컴퓨터정보학회 2014년도 제49차 동계학술대회논문집 22권1호
• /
• pp.429-432
• /
• 2014

국내 제약산업의 경쟁력을 제고시키기 위해서는 신약의 심사/허가 기간을 단축시켜 급변하게 변하는 글로벌 제약시장에서 경쟁 우위적 위치를 선점할 수 있도록 기회를 제공할 수 있도록 체계 개선이 시급하다. 신약허가를 위해서는 임상시험 결과에 대한 안전성과 유효성 등에 대한 심사가 수행되게 된다. 하지만 현재 신약허가를 위해서 제약사와 임상시험수탁기관(Contract Research Organization, CRO)에서 데이터 정보체계인 Domain, Variable 및 Parameter 등의 표준을 따르지 않고 다양한 유형의 임상정보데이터를 심사기관에 제출하고 있어 이로 인한 심사기간 증가와 심사업무 비효율성을 야기시키고 있다. 따라서 본 연구에서는 국제민간기구인 CDISC (Clinical Data Interchange Standards Consortium)에서 제정한 글로벌 임상데이터 표준인 CDISC 표준을 준용한 국내 임상시험정보관리 체계 (eCTD 시스템)및 의약품 전주기적 관리체계를 제시하고자 하며, 본 연구를 통한 기대효과로는 국제표준의 임상정보관리 인프라 구축으로 인한 국내 신약개발 및 해외 진출 환경을 마련하여 글로벌 시장선점의 기회를 제공할 수 있고, 규제기관 차원에서는 의약품 허가, 심사업무의 효율성 증가는 물론 전주기적 의약품 안전관리체계를 마련할 수 있을 것으로 사료된다.

• Proceedings of the Korean Society of Disaster Information Conference
• /
• 한국재난정보학회 2022년 정기학술대회 논문집
• /
• pp.279-280
• /
• 2022

연구실안전법에 따라 모든 연구실은 주기적으로 안전점검과 정밀안전진단을 통해 안전을 확보하고 안전환경 상태에 따라 미흡한 평가등급을 받으면 연구 활동에 제약을 받는 제도가 시행되고 있다. 하지만 현재의 점검 및 진단제도는 안전분야별 각 점검항목에 대해 양호, 주의 및 불량 등 이상 3가지로만 평가하고 있으며 각 점검항목에 대해서도 안전에 미치는 영향에 따른 가중치가 고려되지 않아 평가 대상 연구실에 대한 종합적인 안전수준을 확인하는 데 한계가 있다. 이에 연구실 안전전반에 관한 점검항목을 추가하고 평가기준도 가중치를 고려하여 평가결과가 정량적인 점수로 도출될 수 있도록 개선하여 연구주체자가 평가점수를 향상해감으로써 연구실 안전수준을 향상해 갈 수 있도록 방법을 제안해 보고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.496-498
• /
• 2004

소규모 단위의 프로젝트이지만 안정성과 정확성을 중요시하는 제약 시스템 개발 프로세스에 대한 제반 문제들을 보완하기 위해서 시스템 개발 위험도를 최대한 낮추고 품질을 향상시키는데 적합한 반복적 개발 방법을 기반으로 프로젝트의 복잡도, 영역 속성의 측정 결과 값에 따라 프로세스 테일러링 할 수 있도록 개발된 세계적 제약회사 Merck ＆amp; Co., Inc.의 프로세스 테일러링에 대한 표준 가이드라인을 제시한다. 실제 소규모 단위 시스템 개발에 프로세스 테일러링을 적용한 프로젝트와 적용하지 않은 프로젝트간의 성과 결과 측정을 통해 프로세스 테일러링 적용을 통한 시스템의 안전성과 정확성이 향상된 사례를 검증하고 있다.

• Journal of Energy Engineering
• /
• 제4권1호
• /
• pp.13-22
• /
• 1995

공정산업에서 열교환망의 최적화를 통한 에너지 회수 및 절감 기술의 개발을 목적으로, 여러 개의 핀치를 갖거나 또는 안전 및 배열 등과 같은 제약조건들이 주어진 계를 대상으로, 계의 분리법(system separation method)을 적용하여 신뢰도가 높은 목표값(target)을 설정하는 연구의 일환이다. 본 연구에서는 그 목표값의 10% 이내에 도달할 수 있도록 실제적인 열교환망 합성을 수행하는 프로그램 개발에 중점을 두었으며, 조업 중인 기존 공정에 적용해 본 결과, 연간 총비용의 15% 정도를 절감할 수 있는 결과를 얻을 수가 있었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (1)
• /
• pp.316-318
• /
• 2004

유비쿼터스 네트워크의 보안요구사항을 살펴보면 센서의 위치, 저 전력으로 인한 성능의 제약, 브로트 캐스팅에 의한 통신 등 들 수 있다. 그 중이 논문에서는 저 전력으로 인한 성능의 제약측면을 고려한 상호인증 (Mutual Authentication)프로토콜을 새롭게 제안한다. 상호인증 프로토콜은 RM(Register Manager)와 AM(Authentication Manager)로 구성되며 RM과 AM을 통해 각 센서 노드들의 한정된 전력문제를 해결하였고 가 각 센서노드에서의 메시지의 길이와 오퍼레이션 수를 최소화함으로 전력 낭비를 해결하였다. 또한 제안하는 프로토콜은 센서노드간의 상호인증을 통한 세션키 분배를 통해 안전한 통신이 가능하다.

• Journal of the Society of Disaster Information
• /
• 제19권1호
• /
• pp.146-160
• /
• 2023

Purpose: The construction industry is a complex mechanism in which multiple processes are carried out at the same time, and the frequency and severity of accidents account for a higher proportion than other industries, and the accident fatality rate also accounts for more than 50% of all industries. In order to reduce such accidents, the government's disaster investigation method analyzes the limitations from the system safety point of view and proposes improvement plans. Method: The main contents of the government's serious accident investigation were identified, and the effectiveness/adequacy was analyzed from the system safety point of view. Result: Disaster investigation and analysis techniques tailored to violations and compliance were limited in providing fundamental solutions, and alternatives for accident prevention were possible for each component of the system when safety constraints, controls, and hierarchical interactions were combined. Conclusion: When combining the disaster investigation and analysis method from the current accident analysis method from the perspective of system safety, it is possible to identify the problems of interaction by class and communication process, so it is possible to suggest alternatives to prevent accidents from an integrated perspective.

• KIPS Transactions on Software and Data Engineering
• /
• 제5권12호
• /
• pp.615-622
• /
• 2016

Automotive control software can be a source of critical safety issues when developers do not comply system constraints. However, a violation is difficult to identify in complicated source code if not supported by an automated verification tool. This paper introduces two possible approaches that check whether an automotive control software complies API call constraints to compare their performance and effectiveness. One method statically analyzes the source code and explores all possible execution paths, and the other utilizes a model checker to monitor constraint violations for a given set of constraint automata. We have implemented both approaches and performed a series of experiments showing that the approach with model-checking finds constraint violations more accurately and scales better.

• Proceedings of the Safety Management and Science Conference
• /
• 대한안전경영과학회 2000년도 추계학술발표논문집
• /
• pp.163-163
• /
• 2000

오늘날 기업환경은 고객의 요구에 대응하여 적시에 효율적으로 상품과 서비스를 공급하고 전체비용의 대부분을 차지하는 물류와 재고비용을 줄여 기업의 이윤을 극대화하는 것으로 변화하고 있다. 예전에 기업위주의 시장형성에서 고객위주로 시장이 변화하고 있는 것이다. 이에 따라 기업은 고객의 요구에 능동적으로 대응하기 위하여 리드타임의 단축이 필수적인 요소가 되어가고 있다. 이러한 기업환경에 변화에 따른 대안으로 나온 것이 실시간 제조와 공급사슬망관리(Supply Chain Management : SCM)이다. 본 연구는 실시간 제조를 지원하기 위하여 제조업체와 협력사간의 물류에 있어 Goldratt의 Drunm-Buffer-Rope 스케줄링을 이용하여 물류창고라는 Buffer를 두어 협력사중 재고의 부족현상이 일어날 경우에는 공급체인상의 능력제약자원(Capacity Constraint Resource: CCR)을 찾아 능력제약자원이 되는 협력사에 대하여 생산을 독촉하고 물류창고에서는 부족재고에 대한 불출을 개시하여 재고의 완충을 도모하고자 한다. 제조업체와 협력사간의 정보를 실시간 감시시스템(Real-Time Monitoring System : RTMS)를 응용하여 웹상에서 공유하며, 실시간 거래가 가능토록하는 공급사슬망 구축에 관한 연구와 이를 프로그램 구현을 통해 실제적으로 시험해 보고자 한다.

• Proceedings of the Korean Society of Disaster Information Conference
• /
• 한국재난정보학회 2022년 정기학술대회 논문집
• /
• pp.359-360
• /
• 2022

본 논문에서는 재난안전교육에 대한 접근성과 기회를 확대하고 시간적 제약을 해소할 수 있는 재난안전교육 방안을 제시하고자 한다. 최근 레저활동을 즐기는 사람들이 증가하였고, 이를 가지고 여러 기관과 단체는 사회문제 또는 특수한 목적을 달성하기 위해 레저활동을 기반으로 하는 여러 프로그램과 행사 등을 진행하고 있다. 이러한 활동 중 '플로깅'은 달리기를 하는 사람들에게 달리기 활동에 쓰레기를 줍는 활동을 녹여 자연스럽게 쓰레기를 줍도록 만들었다. 위와 같은 사례를 응용해 레저활동을 기반으로 하는 재난안전교육 방안을 제안한다. 본 연구의 모델을 통해 재난안전교육에 대한 접근성과 기회가 확대될 것이며, 사람들은 레저활동을 즐기며 자연스레 재난안전교육을 받게 될 것이다. 또한 재난 안전에 대한 인식이 늘고, 활동의 전이 및 확산을 통해 타인까지도 재난안전교육의 현장으로 이끌어 올 것을 기대할 수 있다.