• 한국항해항만학회지
• /
• 제31권8호
• /
• pp.717-723
• /
• 2007

최근의 컨테이너 수송환경은 컨테이너 선사간 인수합병, 동맹화, 컨테이너선의 대형화와 하주의 요구에 대응하기 위한 복합수송체계 등 급속하게 변화하고 있다. 이에 컨테이너터미널에 요구되어지는 서비스로서 항만의 대수심화, 하역의 신속화, 이용료의 저가격화 등을 예로들 수 있고, 이러한 서비스가 제공되지 않을 경우 컨테이너 선사는 컨테이너터미널의 기항을 기피하게 된다. 따라서, 본 연구에서는 컨테이너터미널에 있어서 하역의 효율화와 기능성 평가를 위해 실제 컨테이너터미널의 하역 데이터 분석을 통하여 하역기기, 야드샤시 및 외부트럭의 관리에 대한 프로세스 정보를 추출하여 하역 효율화에 저해가 되는 하역기기 운전원의 스킬과 트러블 등의 요인을 분석하였다. 또한, 추출한 프로세스 정보를 활용하여 페트리 넷을 이용해 컨테이너 하역시뮬레이션 모델을 구축하고 하역기기의 컨테이너 하역작업을 시뮬레이션하여 그 유효성을 확인하였다.

• 한국컴퓨터정보학회논문지
• /
• 제12권3호
• /
• pp.251-258
• /
• 2007

웹서비스 기술의 활성화와 더불어, XML 문서에 대한 접근통제기술이 새롭게 개발되었다. 그 결과, 기존의 접근통제시스템에서와 마찬가지로, 중요정보 자원에 대한 접근통제문제에 대한 연구가 큰 각광을 받고 있다. 본 논문에서는 XML 문서에 대한 접근통제정책을 정형명세언어인 CSP로 변환하는 방법을 제시한다. 이를 위해, 첫째, XPath 경로지정 언어로 표현된 XML 문서의 계층적 접근을 CSP 프로세스 알제브라로 변환하는 방법을 소개한다. 둘째, XML 스키마 문서를 오토마타 형태의 정형모델로 표현하는 방법을 설명한다. 셋째, XML 접근통제정책에 사용되는 적용 규칙 및 충돌규칙의 의미론을 프로세스 알제브라 언어로 표현하는 방법을 제시한다. 마지막으로, 본 논문에서 제시한 방법론의 타당성을 보이기 위해, XML 스키마 문서 및 경로지정 표현에 대한 CSP 명세 예제를 보여준다.

• 한국경영과학회지
• /
• 제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.

• 정보처리학회논문지D
• /
• 제16D권3호
• /
• pp.339-352
• /
• 2009

유비쿼터스 컴퓨팅 환경에서 분산된 실시간 시스템의 행위와 공간, 시간 속성을 분석하고, 검증하기 위한 다양한 정형기법들이 존재한다. 그러나 대부분의 경우 공간과 행위를 같이 표현하는 구조적, 근본적 한계가 존재한다. 게다가 시간 속성이 포함되는 경우는 더욱 복잡해지게 된다. 이러한 한계를 해결하기 위하여 본 논문은 Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI)라는 새로운 정형기법을 제안한다. t-CARDMI는 행위의 표현으로부터 공간정보의 표현을 분리시켜 복잡도를 단순화 시키며, 시간 속성에 대해서 오직 행위적 표현에서만 허용하여 복잡한 명세를 덜 복잡하게 표현한다. t-CARDMI는 대기기간, 실행시작 만족시간, 실행시간, 실행완료 만족시간 등의 특유의 시간속성을 이동과 통신의 행위에서 모두 포함하는 특징을 갖는다. 새롭게 제안된 Timed Action Graph(TAG)는 공간과 시간을 포함하는 시스템의 명세를 분석하고 검증하기 위해서 공간과 시간속성을 2차원의 다이어그램으로 표현하며 그 안에서 이동과 통신의 정보를 분산된 그림정보로 표현하는 그래프로 t-CARDMI를 좀더 효율적으로 명세하고 분석할 수 있는 방법을 제공한다. t-CARDMI는 유비쿼터스 컴퓨팅에서의 분산된 실시간 시스템의 공간적, 행위적, 시간적 속성에 대한 명세, 분석 및 검증에 매우 효율적이고 효과적인 혁신적인 정형기법의 하나로 고려될 수 있다. 본 논문은 t-CARDMI의 문법과 의미, TAG 그리고 Specification, Analysis, Verification, and Evaluation (SAVE)로 명명된 툴을 제안하고 유비쿼터스 헬스케어 시스템 예제를 통해 효율성을 분석한다.

• 디지털융복합연구
• /
• 제11권12호
• /
• pp.319-326
• /
• 2013

소프트웨어의 디버깅 오류의 발생 시간에 의존하는 많은 소프트웨어 신뢰성 모델이 연구되었다. 소프트웨어 오류 탐색 기법은 사전에 알지 못하지만 자동적으로 발견되는 에러를 고려한 영향요인과 사전 경험에 의하여 세밀하게 에러를 발견하기 위하여 테스팅 관리자가 설정해놓은 요인인 학습효과의 특성에 대한 문제를 비교 제시 하였다. 본 연구에서는 학습효과 비동질적인 유한고장모형 분석을 위한 모수 추정은 우도함수를 이용하였다. 소프트웨어 시장에 인도하기 위한 결정에 대하여 조건부 고장률은 중요한 변수가 되고 이러한 고장 모델은 실제 상황에서 많이 사용되고 있다. 통계적 공정 관리 (SPC)는 소프트웨어 오류의 예측을 모니터링 함으로써 소프트웨어의 신뢰성 향상에 크게 기여할 수 있다. 이러한 컨트롤 차트는 널리 소프트웨어 산업의 소프트웨어 프로세스 제어를 위해 사용된다. 본 연구에서는 로그 위험 학습 효과 속성의 비동질적인 포아송 과정의 평균값 기능을 사용한 컨트롤 메커니즘을 제안하였다.

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

최근 급격한 기후변화와 하천수 사용량의 증가로 수문학적 변동성이 증가하면서 지표수와 지하수의 통합 관리 필요성이 증대되고 있다. 이에 따라 SWAT-MODFLOW 모델은 지표수와 지하수 간의 수문학적 상호작용을 고려한 시공간적 지하수함양량의 분포와 하천과 대수층 간의 물 교환량, 장기 유출 및 수질 거동 해석 등에 널리 사용되고 있다. 그러나 이 모델은 국내 농업 유역 내 담수 논에서의 영농활동을 고려한 시단위 유출 및 수질 예측과 지표수-지하수 통합 해석에 어려움이 있다. 우리나라의 경우 전국 농지 면적 중 논이 약 50%를 차지하고 있음에도 불구하고 아직까지 국내 담수 논 특성을 고려하여 지표수-지하수 통합 해석이 가능한 수문 모델이 개발 된 바 없다. 이에 본 연구에서는 고해상도 시강우량에 따른 담수 논에서의 증발, 침투, 관개, 배수 등 모의가 가능한 Hourly SWAT-PADDY 모듈을 개발하고, SWAT-MODFLOW 모델의 수문 프로세스와의 연계를 통해 지표수-지하수 통합 해석이 가능한 Hourly SWAT-MODFLOW-PADDY 모델을 개발하였다. Hourly SWAT-MODFLOW-PADDY 모델은 사용자가 구축한 담수 논의 입력자료(담수, 관개, 낙수 일정 등)를 기준으로 논의 담수 및 비담수 시기에 따른 시단위 물수지 해석과 이를 고려한 유출량, 수질, 지하수함양량, 하천과 대수층 간의 물 교환량 산정이 가능하다. 본 연구에서 개발 된 Hourly SWAT-MODFLOW-PADDY 모델은 국내 농업 유역에서의 지표수-지하수 통합 관리 대책 수립 방향을 제시하기 위한 도구로 활용될 수 있을 것이다. 또한, 향후 논의 관개 용수 공급원 연계를 통한 모델의 고도화 방안과 최적의 논 영농 데이터베이스가 마련된다면 보다 정량적인 물수지 해석 기반의 지표수-지하수 통합 모델링이 가능할 것으로 보인다.

• 한국BIM학회 논문집
• /
• 제13권1호
• /
• pp.1-12
• /
• 2023

The number of old buildings in Korea is increasing. According to a report from the Ministry of Land, Infrastructure and Transport, the proportion of old buildings increased from 29.0% in 2005 to 37.8% in 2009. However, the ratio of repairs to improve usability and improve the environment through problem improvement The proportion of old buildings was 72% in 2010, but decreased to 38% in 2020 and does not exceed 40%. The reason is that the difficulty of remodeling old buildings is more difficult than repairing new ones, and business estimates are difficult to predict. Accurately reflecting the current condition of a building in a repair project has a huge impact on time and budget. Accurate and detailed measurements are essential. Current repair methodologies require a lot of manpower, time and money to remodel an old building. Therefore, it is necessary to improve the remodeling methodology applied in the field. In this study proposed a Digital-Twin-based remodeling process that introduced various digital technologies such as 3D Scanning, BIM, Reverse Engineering, and Digital Fabrictation in consideration of the latest technologies used in recent construction projects. In addition, the process proposed in this study was applied to an actual small-scale building remodeling project and the results were analyzed. In addition, useful basic data were provided for the establishment of plans related to the repair process of buildings in the future.

• Tribology and Lubricants
• /
• 제30권1호
• /
• pp.9-14
• /
• 2014

In this Part II study, rotordynamic stability analyses were carried out to confirm improvements to the stability of a process high-speed lightweight centrifugal compressor, depending on the effects of tilting pad journal bearing designs. The bearing design variables considered were the clearances, LBPs, LOPs, and preloads. The results showed that the rotordynamic stability of the subject compressor rotor-bearing system improves exactly in accordance with the effects of the bearing design variables, which were determined in the preceding Part I study, owing to reduced bearing stiffnesses. Specifically, it was confirmed that the stability of the rotor system can be greatly improved by increasing both the machined and assembled bearing clearances, but there were no stability improvements by simply changing from an LBP to an LOP design. In addition, it was confirmed that for given fixed machined bearing clearances, the stability can be additionally improved by decreasing the preloads, i.e., by increasing the assembled clearances. In conclusion, it may be necessary to improve the designs of the original tilting pad bearings to obtain a sufficient margin of rotordynamic stability against a possible aerodynamic cross-coupled stiffness in a process high-speed centrifugal compressor. Thus, increasing the machined and assembled bearing clearances and decreasing the preload could be effective solutions.

• 전자공학회논문지B
• /
• 제33B권1호
• /
• pp.144-152
• /
• 1996

대규모 병렬처리가 가능하고 칩당 뉴론 집적도가 높은 펄스형 디지털 다계층 신경망 구조를 제안하였다. 제안된 신경망에서는 대수적인 신경망연산이 의사-랜덤 펄스 시퀀스(pseudo-random pulse sequences)와 단순 디지털 논리 게이트를 이용하여 확률적 프로세스로 대치되었다. 확률적 프로세스의 결과로 나타나는 신경망 연산의 통계적 모델을 제시하였으며 이를 바탕으로 랜덤잡음의 영향과 연산의 정확도를 분석하였다. 이진인식 문제를 적용하여 제안된 신경망의 성능을 평가하고 제시한 통계적 분석결과의 정당성을 검증하였다. Gate 레벨과 register transfer 레벨로 기술된 신경망의 VHDL 모델의 시뮬레이션 결과는 개발된 통계적모델로 예측된 인식추정치와 실제 인식률이 거의 일치함을 보였으며, 또한 숫자인식률에 있어서도 일반 Back-Propagation 신경망의 인식률과 거의 차이가 없음을 보였다.

• 한국항만경제학회지
• /
• 제37권4호
• /
• pp.33-40
• /
• 2021

현재 해운·항만 산업은 급변하는 트랜드와 치열한 경쟁 속에서 살아남기 위해 항만물류자원의 확충 및 효율적인 운용을 통해 항만 처리능력을 향상시키기 위한 전략을 펼치고 있다. 항만의 처리능력 산정은 부두에 설치되는 하역장비에 의하여 결정되는 것으로 항만의 처리능력은 물류자원을 추가적으로 배치하거나 활용 중인 자원을 효율적으로 운용하는 등 다양한 방법을 통해 향상 시킬 수 있다. 하지만 물류자원의 추가 배치는 시간과 비용의 한계가 명확하기 때문에 단기간에 향상 효과를 기대하기 어렵다. 따라서 처리능력 향상을 위해서는 활용중인 자원에 대한 효율적인 운용 방법을 찾는 것이 실현성이 높다. 국내 항만들 역시 4차 산업혁명 기술의 발달에 따라 정보화, 디지털화를 적극적으로 추진하고 있다. 그러나 현재 하역 프로세스에서 Y/T 배정 대수 산정은 전문가의 경험에 따른 감각에 의존하고 있는 실정이며, 관련된 선행연구 또한 Y/T의 배차 또는 항만 전체의 필요 대수 산정에 초점을 두고 있다. 이에 본 연구는 입항 선박의 하역정보를 활용하여 Y/T 배정 대수에 영향을 미치는 요인을 분석하고 이를 바탕으로 군집분석, 회귀분석, DNN(Deep Neural Network : 심층신경망)모형을 활용하여 분석하였다.