최근 확인한 콘텐츠
데이터가 존재하지 않습니다.
Karuna C.,Poltue T.,Khrueaduangkham S.,Promoppatum P.
2022 / Journal of Computational Design and Engineering
Akar Alinda Oyku, Yildiz Umit Hakan, Tirkes Seha, Tayfun Umit, Hacivelioglu Ferda
2022 / Carbon Letters
주가을, 김보나, 박민정, 박상욱, 방애린, 임유진, 정경빈, 정지민, 주연정
2020 / 간호와 혁신
Shijina B.N.,Radhika A.,Sherin S.,Biju P.G.
2023 / Nutrients
데이터가 존재하지 않습니다.
loading...
Advances in polymer science, v.32-35 : Fortschritte der Hochpolymeren-Forschung
Scheduling : Theory, Algorithms, and Systems
Group search optimization for applications in structural design
그리드 컴퓨팅 기술
Project scheduling : recent models, algorithms, and applications
Scheduling : theory, algorithms, and systems
(구글 엔지니어에게 듣는) 네트워킹과 웹 성능 최적화 기법
Desktop grid computing
Performance evaluation by simulation and analysis with applications to computer networks
Genetic algorithms and engineering design
Agricultural systems management : optimizing efficiency and performance
Handbook of scheduling : algorithms, models, and performance analysis
Scheduling : control-based theory and polynomial-time algorithms
Rails scales! : practical techniques for performance and growth
Intelligent decision systems in large-scale distributed environments
Project scheduling under resource constraints : efficient heuristics for several problem classes
Co-scheduling of HPC applications
Compiler construction : 16th international conference, CC 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007 : proceedings
강오한 · 2015
컴퓨터교육학회 논문지
강상성, 강오한 · 2006
정보처리학회논문지. 컴퓨터 및 통신시스템
강오한, 강상성, 김진석 · 2007
정보처리학회논문지. 컴퓨터 및 통신시스템
Pinel, Frédéric; Dorronsoro, Bernabé; Pecero, Johnatan E.; Bouvry, Pascal; Khan, Samee U. · 2013
Cluster Computing: The Journal of Networks, Software Tools and Applications
정재훈; 김신령; 김영곤 · 2016
한국인터넷방송통신학회 논문지
Omprakash Kaiwartya; Shiv Prakash; Abdul Hanan Abdullah; Ahmed Nazar Hassan · 2015
KSII Transactions on Internet and Information Systems
이준동, 최의인, 이무훈 · 2007
한국컴퓨터정보학회논문지
Vahid Khajehvand; Hossein Pedram; Mostafa Zandieh · 2013
KSII Transactions on Internet and Information Systems
서희석, 김태경 · 2006
한국시뮬레이션학회 논문지
전선 / 대학원
이 과목은 대학원생들을 대상으로 한 과목으로, 산업시스템의 다양한 분야에서 발생하는 스케줄링문제를 해결하는 데 사용할 수 있는 이론과 기법을 다룬다. 스케줄링은 다양한 제약조건과 목적함수에 부합하도록 작업을 생산자원에 할당하고, 할당된 작업의 순서를 결정하는 의사결정과정이다. 주요 토픽으로는 단일기계, 병렬기계, 플로우샵, 잡샵, 프로젝트 스케줄링, 에이전트 스케줄링, 처리시간의 조정 가능성을 고려한 스케줄링 등을 포함한다. 다양한 스케줄링문제에 대하여 계산복잡도, 최적해법, 근사해법, 그리고 휴리스틱해법 등에 대하여 공부한다. 학생 각자는 선택한 문제에 여러 아이디어를 적용할 수 있는 능력을 배양한다.전필 / 학사
본 전공은 지금까지 동물비교생리학 및 실험을 전공필수과목으로 지정하여 운영하여 왔으나, 최근의 학문발전 동향과 해당분야 난이도, 그리고 전공소속 학생들의 효과적 전공관련 지식 습득을 위하여 동물해부생리학 입문 및 실습으로 교과목 명칭 및 내용을 변경하여 운영한다. 본 교과목 은 동물의 해부학적 특징과 이와 관련된 생리학적 기능을 연계 학습하여 생명유지 및 항상성에 관련한 기초적 지식을 제공하는 것이 목적이다. 전공의 다양한 교과목을 효과적으로 이해하는데 필수적인 terminology, 동물의 기본적 해부학적구조, 생리학적 기능, 그리고 생명유지 및 항상성에 필요한 대사과정이 소개될 것이다. 입문과목의 특성을 고려하여 학생들의 능동적인 수업참여 유도를 위한 문제중심형 학습 (problem-based learning) 기법을 변형도입하여 학습효과를 극대화 할 예정이다. 평가는 퀴즈, 발표, 과제물, 보고서, 노트필기 및 출석을 중심으로 진행한다.전선 / 대학원
시스템 성능평가의 주요 도구 중 하나인 stochastic process와 queueing theory를 배움으로써, 컴퓨터 및 통신공학자들이 시스템을 모델링하고 성능분석 하는데 잘 활용할 수 있도록 한다. 이 강의에서는 기본 확률이론과 다양한 종류의 Markov Process, 큐잉 시스템을 포함하고 게임이론과 최적화 이론의 기본 개념을 다룬다.전선 / 대학원
본 코스에서는 선형, 비선형, 정수, 동적, 확률적인 최적화 기법에 대해 강의한다. 각 기법에서 어떻게 바람직한 측면을 최대화 하고 부적적인 측면을 최소화 할 수 있는가를 보여 줄 수 있는 예제들을 제시하게 될 것이다. 특히 산업 뿐 아니라 컴퓨터 프로그램에서 선형, 비선형 문제를 풀기위한 응용문제를 강조하게 될 것이다.전선 / 대학원
본 교과목은 데이터사이언스 대학원의 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 분야 첫번째 강좌)에서 배운 딥러닝의 기본 원리들을 직접 구현하고, 이에 더하여 상기 플랫폼을 통해 구현 할 수 있도록 한다.전선 / 대학원
계산이론은 컴퓨터공학의 기초학문이며, 중요한 문제에 대한 효율적인 알고리즘들을 소개하고, 그런 알고리즘의 복잡도 분석을 다룬다. 이 교과목에서는 먼저 알고리즘의 성능을 분석하는 기법, 특히 amortized analysis에 대해 배운다. 그리고, 계산이론 분야에서 중요한 알고리즘과 그 응용에 대해 배운다. 구체적으로, (스트링 매칭, 2차원 패턴 매칭, 근사 매칭, suffix trees, 데이터 압축 문제에 대한) 스트링 알고리즘과 bioinformatics에의 응용, (선택 문제, 다항식 확인 문제에 대한) randomized 알고리즘과 그 영향, (페이지 교체 문제, k 서버 문제에 대한) online 알고리즘과 금융문제(일방향 거래와 portfolio 선택 문제)에의 응용을 배운다.전선 / 학사
문제를 해결하기 위해 알고리즘을 구성하고 이를 분석하는 방법에 대해 강의한다. 알고리즘의 효율성 분석 도구(점근적 복잡도, 점화식), 정렬 및 선택 알고리즘, 자료의 저장과 검색(검색 트리, 해시 테이블), 집합의 처리, 동적 프로그래밍, 그래프 알고리즘, 문자열 매칭, 계산의 한계(NP-completeness), 상태공간 트리의 탐색 등을 다룬다.전선 / 대학원
다양한 무인시스템의 경로 계획과 임무 판단에 관한 기법을 학습한다. 특히 시스템의 특성을 고려한 모션 계획, 모션에 대한 구속 조건, 충돌 회피 경로의 계산, 모델예측제어 등의 제어 기법과 학습 알고리듬의 모션 계획 문제에의 응용, 임무 수행을 위한 판단 기법, 그리고 이와 관련된 최적화 기법 및 다중개체시스템의 모션 계획 문제로의 확장 등에 대해 배운다. 수강생들은 다양한 모션 계획 알고리듬을 구현, 구동해봄으로써 실제 시스템에 적용할 수 있는 능력을 기르고, 관련 분야의 최신 논문을 통해 모션 계획 기법의 발전 동향을 살펴본다.전선 / 대학원
다양한 무인시스템의 경로 계획과 임무 판단에 관한 기법을 학습한다. 특히 시스템의 특성을 고려한 모션 계획, 모션에 대한 구속 조건, 충돌 회피 경로의 계산, 모델예측제어 등의 제어 기법과 학습 알고리듬의 모션 계획 문제에의 응용, 임무 수행을 위한 판단 기법, 그리고 이와 관련된 최적화 기법 및 다중개체시스템의 모션 계획 문제로의 확장 등에 대해 배운다. 수강생들은 다양한 모션 계획 알고리듬을 구현, 구동해봄으로써 실제 시스템에 적용할 수 있는 능력을 기르고, 관련 분야의 최신 논문을 통해 모션 계획 기법의 발전 동향을 살펴본다.전선 / 대학원
도시 공원 및 오픈 스페이스는 인간에게 심미적 위안을 주고 도시의 환경과 생태계를 건강히 유지시키는 역할을 하나, 그 당위성이 경제적 논리에 밀려 도시 구성의 부차적 요소로 치부되기 쉽다. 또한 오래된 도시일수록 인구 밀도와 건물의 포화도가 높아 적정 부지를 쉽게 찾을 수 없고, 국민의 세금에만 의존하기에는 재원 조달 또한 용이치 않다. 이 강의에서는 공원 및 오픈 스페이스 건설에 관련한 제반의 회계, 그리고 건설 후 발생하는 사회, 경제적 영향을 분석하여 도시 공원 및 오픈 스페이스의 실질적 효용 가치를 고찰할 것이다. 또한 공원 및 오픈 스페이스가 궁극적으로 이윤과 고용을 창출하는 경제 개체로도 자리매김 할 수 있는 대안적 방안을 모색한다.전선 / 대학원
본 과목은 도시설계 및 조경학 분야에 특화된 정량적 도시환경 실증연구 방법론 세미나 수업이다. 본 과목은 정량적 연구방법론의 이해와 활용능력 습득을 통해 독립적으로 정량적 분석 연구를 수행할 수 있는 능력을 기르는 것을 목표로 한다. 이를 위해 “물리적 도시환경의 측정”,“정량적 분석의 기초”, “기초 통계 모형”의 세 가지 주제를 다룬다. 물리적 도시환경의 측정에서는 도시환경의 개념과 지표 도출 과정을 배운다. 정량적 분석의 기초에서는 데이터 및 변수의 이해, 개념의 조작화와 가설 검정 등 정량적 분석의 기초를 다룬다. 기초 통계 모형 부분에서는 종속 변수의 특성에 따라 적절히 적용해야 하는 가장 기본적인 통계 모형(OLS models, Logistic Models, Count Models)을 다룬다. 학생들은 세미나 내용을 바탕으로 실제 데이터를 활용하여 가설 검정과 분석 결과 해석 실습을 수행할 것이다.전선 / 대학원
건설 사업을 수행함에 있어, 사업관리 과정 중 발생하는 다양하고 복잡한 리스크를 분석, 관리하는 것은 사업 성공에 직접적인 영향을 준다. 이 교과목은 계획, 설계, 시공, 유지보수에 이르는 건설사업 전 생애주기에 걸쳐 발생 가능한 리스크를 이해, 분석하고, 이에 맞는 합리적인 의사결정, 대처, 관리방안을 제시하는 방법을, 사업관리 이론 및 사업 성공/실패 사례 분석을 통해 전달한다.전선 / 대학원
건설 사업을 수행함에 있어, 사업관리 과정 중 발생하는 다양하고 복잡한 리스크를 분석, 관리하는 것은 사업 성공에 직접적인 영향을 준다. 이 교과목은 계획, 설계, 시공, 유지보수에 이르는 건설사업 전 생애주기에 걸쳐 발생 가능한 리스크를 이해, 분석하고, 이에 맞는 합리적인 의사결정, 대처, 관리방안을 제시하는 방법을, 사업관리 이론 및 사업 성공/실패 사례 분석을 통해 전달한다.전선 / 대학원
본 과목은 도시설계 및 조경학 분야에 특화된 정량적 도시환경 실증연구 방법론 세미나 수업이다. 본 과목은 정량적 연구방법론의 이해와 활용능력 습득을 통해 독립적으로 정량적 분석 연구를 수행할 수 있는 능력을 기르는 것을 목표로 한다. 이를 위해 “물리적 도시환경의 측정”,“정량적 분석의 기초”, “기초 통계 모형”의 세 가지 주제를 다룬다. 물리적 도시환경의 측정에서는 도시환경의 개념과 지표 도출 과정을 배운다. 정량적 분석의 기초에서는 데이터 및 변수의 이해, 개념의 조작화와 가설 검정 등 정량적 분석의 기초를 다룬다. 기초 통계 모형 부분에서는 종속 변수의 특성에 따라 적절히 적용해야 하는 가장 기본적인 통계 모형(OLS models, Logistic Models, Count Models)을 다룬다. 학생들은 세미나 내용을 바탕으로 실제 데이터를 활용하여 가설 검정과 분석 결과 해석 실습을 수행할 것이다.전선 / 대학원
차량, 항공기, 로봇 등의 제어에 사용되는 컴퓨터 시스템은 계산상의 정확성과 아울러 태스크가 주어진 시간 내에 종료되어야만 하는 실시간시스템이다. 이 과목에서는 이러한 실시간시스템 구성을 위한 태스크 스케쥴링, 프로그래밍기법, 통신, 자원관리 등의 기법에 대하여 학습한다. 또 기말과제를 통하여 각자의 연구분야의 실시간 특성에 대하여 연구할 기회를 갖는다.전선 / 대학원
본 과목에서는 현대 사회의 근간을 이루고 있는 복잡한 시스템(Complex Systems) 들의 개념 구상 및 향후 상세설계를 효율적이고 체계적으로 할 수 있도록 하는 시스템 아키텍처의 모델링 및 최적화 방법들을 소개한다. 학생들은 ISO/PAS 19450-2015 표준으로 등록된 시스템 모델링 언어인 Object Process Methodology (OPM)를 사용하여 시스템의 기능 아키텍처, 형상 아키텍처, 그리고 통합 아키텍처를 체계적으로 모델링 하는 것에 관하여 학습한다. 이러한 모델링 과정을 통해 생성된 아키텍처들을 이용하여 시스템 특성들을 최적화하는 아키텍처들의 집합체인 파레토 전선을 구축하고 이를 통해 최적화된 시스템 아키텍처를 도출해 내는 방법론에 대하여 학습한다.전선 / 대학원
본 강좌에서는 계통 운영과 계획, 시장 연계, 성능평가와 신뢰도 평가 등을 위한 전력계통 분석기법을 소개한다. 전력 계통 예제를 통하여 convex optimization, 동적 최적화, 최적 제어 등에 대한 주요 알고리즘을 소개한다. 본 강의에서는 convex optimization에 대한 interior-point methods, decision theoretic planning, Markov decision processes, 선형 계획법, 동적 계획법, 최적 제어 기법과 비선형 최적화에 대한 최적화 조건과 같은 주제들을 다룬다.전선 / 대학원
본 과목에서는 현대 사회의 근간을 이루고 있는 복잡한 시스템(Complex Systems) 들의 개념 구상 및 향후 상세설계를 효율적이고 체계적으로 할 수 있도록 하는 시스템 아키텍처의 모델링 및 최적화 방법들을 소개한다. 학생들은 ISO/PAS 19450-2015 표준으로 등록된 시스템 모델링 언어인 Object Process Methodology (OPM)를 사용하여 시스템의 기능 아키텍처, 형상 아키텍처, 그리고 통합 아키텍처를 체계적으로 모델링 하는 것에 관하여 학습한다. 이러한 모델링 과정을 통해 생성된 아키텍처들을 이용하여 시스템 특성들을 최적화하는 아키텍처들의 집합체인 파레토 전선을 구축하고 이를 통해 최적화된 시스템 아키텍처를 도출해 내는 방법론에 대하여 학습한다.전선 / 학사
“공간정보분석1: 통계모형”의 심화과정으로 해석모형과 달리 예측모형에 초점을 둔다. 공간 패턴의 학습과 예측에 접목할 수 있는 머신러닝과 인공지능의 주요 이론과 알고리즘을 소개하며 R/Python 코딩과 사례연구를 통해 실천적 공간데이터 사이언스의 기초를 제공한다. 이 강의는 머신러닝의 학습이론, 감독학습, 무감독학습, 신경망, 앙상블 학습을 주 내용으로 하며 공간 헤도닉 모형, 공간 클러스터와 아웃라이어 패턴, 가우시언 프로세스와 공간 크리깅 내삽, 공간의사결정 등 지리학적 활용을 연습한다.전선 / 대학원
본 코스에서는 선형, 비선형, 정수, 동적, 확률적인 최적화 기법에 대해 강의한다. 각 기법에서 어떻게 바람직한 측면을 최대화 하고 부적적인 측면을 최소화 할 수 있는가를 보여 줄 수 있는 예제들을 제시하게 될 것이다. 특히 산업 뿐 아니라 컴퓨터 프로그램에서 선형, 비선형 문제를 풀기위한 응용문제를 강조하게 될 것이다.