최근 확인한 콘텐츠
데이터가 존재하지 않습니다.
Zhang Y.,Liu S.,Zheng Q.,Tian H.,Guo W.
2024 / Ocean Engineering
데이터가 존재하지 않습니다.
loading...
본 연구는 수량 방류 제한이 있는 정박지-부두 수로에서의 선박 스케줄링 문제를 다루며, 선박의 운항 및 접안 활동, 수량 방류 변화, 운항 시나리오 변화를 고려한 혼합 정수 선형 계획법(MILP) 모델을 제시합니다. 삼협댐을 대상으로 한 수치 실험 결과, 제안된 방법은 선박의 출발 시간을 약간 조정하여 수용 가능한 수량 방류 시간 창에 맞추고, 선박의 안전한 운항과 효율적인 수송을 보장하며 수량 방류의 영향을 정량적으로 평가할 수 있습니다.
Practice and theory of automated timetabling : first international conference, Edinburgh, U.K., August 29-Septmber 1, 1995 : selected papers
Network optimization
Intelligent scheduling systems
Computational modeling for fluid flow and interfacial transport
Practical ship hydrodynamics
Assessment of the fate and effects of toxic agents on water resources : [proceedings of the NATO Advanced Study Institute on Advanced Modeling Techniques for Rapid Diagnosis and Assessment of CBRN Agents Effects on Water Resources, Istanbul, Turkey, 4-16 December 2005]
Algorithms and computation : 8th International Symposium, ISAAC '97 Singapore, December 17-19, 1997 : proceedings
Analytical groundwater modeling : theory and applications using Python
Schedule-based modeling of transportation networks : theory and applications
River restoration : managing the uncertainty in restoring physical habitat
Mathematical optimization of water networks
Salt Intrusion, tides and mixing in multi-channel estuaries
Coastlines, structures, and breakwaters 2005 : proceedings of the international conference on Coastlines, structures and breakwaters, 2005, organized on behalf of the Maritime Board of the Institution of Civil Engineers and held in London, UK, on 20-22 April 2005
Advances in optimization and approximation
Renewable resource management : proceedings
Essays in production, project planning and scheduling : a festschrift in honor of Salah Elmaghraby
Optimization and control methods in industrial engineering and construction
Expert Systems with Applications
Liu S.,Zhang Y.,Guo W.,He L.,Tang K.,Li J.,Yu H.Ocean Engineering
Zhang Y.,Zheng Q.Q.,He L.J.,Tian H.W.Transportation Research Part E: Logistics and Transportation Review
Zhao K.,Jin J.G.,Zhang D.,Ji S.,Lee D.H.Ocean Engineering
Liu S.,Zhang Y.,Guo W.,Wang W.,Zheng Q.,Yu H.Computers and Industrial Engineering
Zhao X.,Liu S.,Gao P.,Yu H.Expert Systems with Applications
Zheng Q.Q.,Zhang Y.,Guo W.J.,Tian H.W.,He L.J.IOP Conference Series: Earth and Environmental Science
Zhang Shuo; Zhang Yu; Qi QiangqiangSustainability (Switzerland)
Zhao X.,Lin Q.,Yu H.Journal of Waterway, Port, Coastal, and Ocean Engineering
Zhang, Xinyu; Chen, Xiang; Ji, Mingjun; Yao, ShunJournal of Waterway, Port, Coastal, and Ocean Engineering
Shun Yao; Chen Xiang; Xinyu Zhang; Ming-Jun JiTransportation Research Part E: Logistics and Transportation Review
Liu B.,Li Z.C.,Wang Y.,Sheng D.Discrete Dynamics in Nature and Society
Yinfeng Xu; Ming Liu; Feifeng Zheng; Xiaogang JiaoIEEE Transactions on Intelligent Transportation Systems
Ji B.,Yuan X.,Yuan Y.IEEE Transactions on Engineering Management
De A.,Choudhary A.,Tiwari M.K.Mathematical Problems in Engineering
Guan H.,Xu Y.,Li L.,Huang X.Journal of Physics: Conference Series
Yu, H.Journal of Waterway, Port, Coastal, and Ocean Engineering
Sepideh Zohoori; Uttara Roy; Maryam Hamidi; Xing WuTransportation Research Part E: Logistics and Transportation Review
Abou Kasm O.,Diabat A.,Bierlaire M.Ocean Engineering
Zhang M.,Du L.,Wen Y.,Guo L.,Wu B.Transportation Science
Corry P.,Bierwirth C.전선 / 학사
선박과 해양구조물의 파랑 중 운동의 기본 이론과 관련 공학적 문제들을 습득한다. 또한, 선박의 기본적 조종이론과 실험기법, 그리고 국제적으로 요구되는 조종성능에 대해 학습한다. 그리고 선박해양공학에서 사용되는 제어기법에 대한 기본적 이론과 사례들을 소개한다.전선 / 대학원
이 과목에서는 해양공학분야에서 새로이 대두되는 중요한 기술문제 중 한 가지를 택하여 해당 기술의 역사적 배경, 기술개발과정, 현재의 상황, 세계수준에 대비한 우리나라의 기술수준, 해결해야 할 핵심기술 내용 등을 관련문헌이나 전문가의 초청강연을 통하여 분석하고 단순화된 모델을 구축하여 이론적 및 수치적 또는 실험적으로 해석하여 해결책을 모색한다.전선 / 대학원
환경규제와 탄소감축 문제가 강화됨에 따라 선박 및 해양시설에도 환경오염물질(NOx, SOx 배출 등) 저감, 온실가스(CO2) 저감, 차세대 연료(LNG, LPG, 수소 등)공급 시스템 등의 다양한 공정 시스템(process systems)이 요구되고 있다. 본 교과목에서는 선박 및 해양시설에 적용 가능한 환경오염물질 배출저감 공정, 온실가스 저감 공정, CCUS (carbon capture, utilization and storage) 공정, LNG, 수소 등 저온 연료 액화, 저장 및 공급 시스템에 대해서 학습하고, 그 핵심이 되는 공정 설계 기법에 대해서 배운다. 나아가 공정 모사 프로그램을 이용한 프로젝트 수행을 통하여 이를 구체화하고 그 경제성을 평가하는 기법을 습득한다.전선 / 대학원
이 과목에서는 최적화 이론과 시스템 신뢰성 이론을 학습하고, 수자원시스템 설계 및 운영 그리고 수자원 관리 방안과 관련한 다양한 상황들에 적용한다. 또한, 21세기 범지구적 도전 과제인 기후 위기와 도시화 가속 현상이 새로운 시스템 건설 및 현존하는 시스템 운영 그리고 수자원 위기에 미치는 영향 등 인간 생활 유지와 관련한 실제 문제들을 심도 있게 논의한다. 해당 문제들에 대해 실현할 수 있는 해법을 모색하기 위해 다양한 시나리오 기반의 모델링 연구를 수행한다.전선 / 대학원
본 교과목은 데이터사이언스 대학원의 ABC(AI model/algorithm, Big data, Computing) 교육 과정 중 컴퓨팅(C) 분야 첫번째 강좌이다. 본 교과목의 전반부는 C++ 언어 프로그래밍과 C++ 기반 객체 지향 프로그래밍으로 이루어져 있다. (1) C++ 언어의 기초 문법, 클래스의 개념과 사용법, template과 중요한 라이브러리를 학습하고, (2) abstraction, inheritance, polymorphism 등 객체 지향 프로그래밍의 원리를 습득한 뒤, (3) 예제들을 통해 클래스 기반 객체 지향 프로그래밍을 C++ 언어를 사용하여 직접 구현 할 수 있도록 한다. 본 교과목의 후반부는 중급 자료 구조 및 알고리즘과 딥러닝 플랫폼으로 이루어져 있다. (1) 데이터사이언스를 위한 컴퓨팅의 기초 강좌에서 다루지 않은 자료구조 및 정렬 알고리즘 (Quick sort, Radix sort, heap sort), 트리 알고리즘, 그래프 알고리즘 (Dijkstra, Kruskal 등) 등을 습득하고, (2) 배운 자료 구조와 알고리즘들을 C++ 언어를 사용하여 직접 구현 할 수 있도록 한다. 또, (3) Pytorch, TensorFLow 등 널리 사용되는 딥러닝 플랫폼을 학습하고, 동일 학기 수강이 권장되는 머신러닝 및 딥러닝 1(ABC 과정 중 A 분야 첫번째 강좌)에서 배운 딥러닝의 기본 원리들을 직접 구현하고, 이에 더하여 상기 플랫폼을 통해 구현 할 수 있도록 한다.전선 / 대학원
Shortest path, Network flow 등의 그래프 문제를 해결하는 최근에 개발된 알고리즘과 알고리즘 분야에서의 최근의 연구결과를 학습한다. 분산 시스템의 여러 모델들과 분산 시스템에서 발생하는 중요한 문제들을 해결하는 분산 알고리즘에 관하여 연구한다.전선 / 대학원
본 과목에서는 항공기 유도제어기의 설계 및 최적궤적 설계를 위한 최적화기법을 다룬다. 우선, 변분법을 이용한 최적해의 필수조건을 유도하고, 제어시스템 설계를 위한 형태로 공식화한다. 최적제어이론의 대표적인 문제인 최단시간 제어기법, 최소 연료소모 제어기법 등을 다룬다. 최적제어문제의 일반적인 유형인 두점경계치 문제에 대한 수치해법을 연구하고, 항공기/발사체의 최적궤적을 설계하기 위한 문제에 적용한다.전선 / 대학원
인간의 다양한 운동기술을 주의깊게 관찰하고 효과적으로 연구하는 방법뿐만 아니라 이러한 복잡한 기술들을 정성적으로 분석하는 여러 가지 운동역학적 접근 방법에 대해 배운다. 특히, 인간의 효율적인 운동동작 수행을 위한 주요 원리와 함께 각종 운동상해 원인에 대한 규명 및 예방방법, 그리고 더 나아가 운동 기술의 수행력을 최대로 하기 위한 기술개발 등에 대한 내용을 중심으로 구성된다.전선 / 대학원
선박건조 과정의 주요 프로세스와 설비를 정의하고, 공정계획과 일정 계획을 소개한다. 선박건조과정의 목표를 생산성, 납기, 품질, 비용으로 구분하여 평가하는 기법을 소개한다. 최근의 생산경영 기법인 경영혁신(PI), 제약이론, 식스 시그마, 린 생산 이론을 소개하고 선박건조 과정에 적용한다. 수강생들은 그룹별로 프로젝트를 수행하여, 강의에서 배운 내용을 실제 적용하는 훈련을 한다.전선 / 대학원
일상적으로 네트워크 시설의 계획과 운영관리에 치중해온 전통적 교통계획수법의 문제점을 비판하고 대중교통수단의 결절시설인 터미널, 정류장의 입지, 구조 및 디자인 등의 지능형교통체계의 중요성에 주목하여 기차, 버스 등의 교통터미널과 화물유통센타 등의 설계기준 및 세부구조 계획 등에 관해 연구한다.전선 / 대학원
환경 및 인체 위험을 최소화할수 있는 국토환경 조성을 위한 개념과 기술, 설계 및 시공 기법을 포괄하는 녹색복원 기법에 대한 내용을 소개한다. 세부내용은 자연상태로부터 현저히 저하되거나 회복탄력성을 상실한 지역 또는 대상에 적용가능한 생태복원 기법과 개발로 인해 유발되는 환경 유해요인을 감소시키거나 상쇄시키기 위한 친환경적인 기술 또는 공법을 다루는 저영향개발 기법으로 나누어 진다. 이 강의는 녹색복원의 기본개념에대한 강의, 각분야별 전문가의 특강과 현장견학 및 실습으로 이루어 진다. 이 강의를 통해 녹색복원 분야의기초지식 및 응용능력을 갖춘 전문인력 양성을 목표로 한다.전선 / 대학원
환경 및 인체 위험을 최소화할수 있는 국토환경 조성을 위한 개념과 기술, 설계 및 시공 기법을 포괄하는 녹색복원 기법에 대한 내용을 소개한다. 세부내용은 자연상태로부터 현저히 저하되거나 회복탄력성을 상실한 지역 또는 대상에 적용가능한 생태복원 기법과 개발로 인해 유발되는 환경 유해요인을 감소시키거나 상쇄시키기 위한 친환경적인 기술 또는 공법을 다루는 저영향개발 기법으로 나누어 진다. 지능형 환경감시 모니터링 및 예측관리를 위한 환경 빅데이터 분석 또한 이론 및 실습교육을 통해 제공된다. 이 강의는 녹색복원의 기본개념에 대한 강의, 각분야별 전문가의 특강과 현장견학 및 실습으로 이루어 진다. 이 강의를 통해 녹색복원 분야의기초지식 및 응용능력을 갖춘 전문인력 양성을 목표로 한다.전선 / 대학원
이 과목은 대학원생들을 대상으로 한 과목으로, 산업시스템의 다양한 분야에서 발생하는 스케줄링문제를 해결하는 데 사용할 수 있는 이론과 기법을 다룬다. 스케줄링은 다양한 제약조건과 목적함수에 부합하도록 작업을 생산자원에 할당하고, 할당된 작업의 순서를 결정하는 의사결정과정이다. 주요 토픽으로는 단일기계, 병렬기계, 플로우샵, 잡샵, 프로젝트 스케줄링, 에이전트 스케줄링, 처리시간의 조정 가능성을 고려한 스케줄링 등을 포함한다. 다양한 스케줄링문제에 대하여 계산복잡도, 최적해법, 근사해법, 그리고 휴리스틱해법 등에 대하여 공부한다. 학생 각자는 선택한 문제에 여러 아이디어를 적용할 수 있는 능력을 배양한다.전선 / 대학원
본 강의는 농식품 공급망에서의 레질리언스 역량 강화에 대한 이론 및 모형을 다루고 농식품 공급망 레질리언스와 관련된 주요 이슈 및 연구 동향을 살펴보며 이를 통해 공급망 레질리언스 구축 방안에 대해 심층적으로 논의하는데 그 목표를 두고 있다. 구체적으로 농식품 공급망에서의 다양한 리스크 요인들을 살펴보고 이에 대해 공급망 입지 및 공급망 설계, 구매 및 공급자 관리, 생산 및 운영 등의 전략적 접근 방안을 다루게 된다.전선 / 학사
본 강좌에서는 정보이론과 그 응용을 다룬다. 우선 엔트로피의 정의와 개념을 다루고, 연속확률변수 상황의 differential entropy, relative entropy, mutual information으로 개념을 확장한다. 그 응용으로 무손실 압축방법론을 다루고, 정보 전달량의 한계치를 분석한다. 또한 유손실 압축이론을 소개하며, JPEG 및 MPEG 등의 응용사례를 다룬다. 통신이론에서 채널 용량 한계에서의 통신, Shannon 엔트로피, rate distortion, Huffman 코딩, 랜덤 코딩 등을 다루며, 통신시스템 및 머신러닝 (AI)으로의 응용도 다룬다.전선 / 대학원
본 교과목은 단순히 기존의 가속기를 활용하는 수준을 넘어, 차세대 AI 반도체 분야의 창업 및 핵심 개발에 필요한 맞춤형 AI 추론 엔진 개발 능력을 배양하는 것을 목표로 한다. 이를 위해 최첨단 설계 방법론인‘알고리즘-소프트웨어-하드웨어 통합 설계(Co-design)'에 대한 깊이 있는 이론과 실전 경험을 제공한다. 수강생들은 GPU와 같은 범용 하드웨어의 한계를 이해하고, 특정 LLM 알고리즘에 최적화된 하드웨어를 직접 설계함으로써 전력, 비용, 속도 측면에서 압도적인 경쟁력을 갖춘 엣지 AI 솔루션을 구현하는 방법을 학습한다. 특히, 최신 경량화 기술인 저비트 양자화(Low-bit Quantization) 기법을 알고리즘 단계에서 적용하고, 이를 C++ 기반의 고수준 합성(High-Level Synthesis, HLS)을 통해 FPGA 상에 하드웨어 로직으로 구현하는 전 과정을 실습한다. 최종적으로는 SoC(System on Chip) 환경에서 프로세서(PS)와 프로그래머블 로직(PL)을 연동하여 완전한 LLM 추론 가속 시스템을 구축하는 프로젝트를 통해, 아이디어를 실제 하드웨어 프로토타입으로 구현하는 역량을 완성한다.전선 / 대학원
대학원생을 대상으로 한 세미나로, 교통과 정보통신기술이 가지는 지리적 함의에 관한 이론 및 방법론과 관련된 핵심연구와 최근의 연구동향을 다루는 것을 목표로 한다. 주요 주제로는 교통과 정보통신네트워크, 공간적 상호작용 및 입지-배분모형, 교통 및 정보통신기술과 도시발달, 도시내 통행, 정보도시, 사이버공간, 접근성, 이동성, 교통 및 정보통신정책 등이 포함된다.전선 / 대학원
본 과목에서는 농식품 산업에서의 공급망 및 운영전략과 관련하여 기후변화 및 지속가능성, 공급망 레질리언스 및 글로벌 공급망 운영전략 등의 관점에서 기본적인 이론과 모형을 습득하고 해당 분야의 최근 연구 동향을 살펴보는 것을 목표로 한다. 구체적으로 공급망 입지 및 네트워크, 구매 전략, 공급망 협력, 생산 및 운영전략, 공급망 혁신기술 등의 연구 분야에서 주요 연구 결과를 논의하고 새로운 연구 문제를 창출할 수 있도록 한다.전선 / 대학원
대기과학연구에 필수적으로 이용되는 대기 전지구 모델 및 일기예보 모델의 근간을 구성하는 대기역학 코어 및 자료동화 시스템에 이용되는 다양한 수치적인 방법들을 공부한다. 실습시간에는 실제 현업 모델 혹은 단순화된 현업 모델을 이용하여, 대기역학 코어 및 자료동화 시스템이 실제 기상현상의 수치모의에 있어 어떻게 이용되는지 연습할 수 있는 기회를 갖는다.전선 / 학사
본 과목은 다양한 수리적 이론 및 방법론을 사용하여 물류 시스템의 설계 및 운영에 관련된 문제 해결 능력을 고양하는 것을 목표로 한다. 다양한 물류 시스템들과 각 물류 시스템에 관련된 의사결정 문제들이 소개되며, 해법들이 논의된다. 실제 문제 해결 능력을 높이기 위하여 현실적인 예제들이 다루어진다. 구제척인 강의 주제들은 물류 전략 및 계획, 수송 의사결정, 보관 및 취급 의사결정, 설비배치 의사결정 및 네트워크 계획 프로세스들을 다루게 된다.