최근 확인한 콘텐츠
데이터가 존재하지 않습니다.
데이터가 존재하지 않습니다.
loading...
본 연구는 자율운항선박의 안전운항지원 서비스(SOS) 성능 검증을 위한 모듈을 설계한다. 기능 테스트와 비기능 테스트 두 가지 방법을 통해 SOS 서비스의 성능을 검증하며, 특히 유용성 테스트 효율성을 높이기 위해 사용자 및 필수 정보를 분류한다.
Software assessment : reliability, safety, testability
Testing safety-related software : a practical handbook
Reinforced concrete beams, columns and frames : mechanics and design
Maintenance of process instrumentation in nuclear power plants
Computer-based testing and the Internet : issues and advances
Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS '98, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
Mechanical analysis of electronic packaging systems
Verification techniques for system-level design
Software reliability and testing
Formal system verification : state-of the-art and future trends
백엔드 30일 완성 : 기초부터 배우는 백엔드의 거의 모든 것
MCSE readiness review exam 70-067 Microsoft Windows NT server 4.0
Safety and reliability of software based systems : twelfth annual CSR workshop (Bruges 12-15 September 1995)
Durability of marine composites in a marine environment.
On-line testing for VLSI
The art of software testing
Operations research analysis in test and evaluation
Reliability Engineering and System Safety
Pietrantuono R.,Popov P.,Russo S.International Journal of Grid and Distributed Computing
Yang, X.; Yu, T.; Xu, H.한국정보통신학회논문지
황훈규, 김배성, 신일식, 이장세, 유영호International Journal of System Assurance Engineering and Management
Ahamad, Shakeel; Gupta, RatneshwerComputers and Electrical Engineering
Akram J.,Umair M.,Jhaveri R.H.,Riaz M.N.,Chi H.,Malebary S.International Journal of Software Engineering and Knowledge Engineering
Huaikou Miao; Jinyu Kai; Honghao Gao; Kun Zhao; Lilan Liu신뢰성 응용연구
김성민, 고병각, 도경훈, 김혜진, 함중걸JOURNAL OF MARINE SCIENCE AND ENGINEERING
Zuluaga, Carlos A.; Aristizabal, Luis M.; Rua, Santiago; Franco, Diego A.; Osorio, Dorie A.; Vasquez, Rafael E.JIPS(Journal of Information Processing Systems)
김형순; 이은영International Journal on Software Tools for Technology Transfer
Elahe Habibi; Seyed-Hasan Mirian-HosseinabadiACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
Dong, Yi; Huang, Wei; Bharti, Vibhav; Cox, Victoria; Banks, Alec; Wang, Sen; Zhao, Xingyu; Schewe, Sven; Huang, XiaoweiIEEE Transactions on Software Engineering
Bertolino A.,Miranda B.,Pietrantuono R.,Russo S.Journal of Physics: Conference Series
Tom Arne Pedersen; Åse Neverlien; Jon Arne Glomsrud; Imran Ibrahim; Sigrid Marie Mo; Martin Rindarøy; Tobias Torben; Børge Rokseth한국항공우주학회지
장우혁, 이승규, 김윤근, 오태근Journal of Electronic Testing: Theory and Applications (JETTA)
Rao, G.; Nandal, D.Journal of Intelligent Manufacturing
Steinbacher L.M.,Düe T.,Veigt M.,Freitag M.IOP Conference Series: Earth and Environmental Science
Renze Wang; Boning Liang; Yapeng Yang; Zongyang Feng; Linsheng Jia; Ning Wang; Yining LiuACM Computing Surveys
Júnior M.C.,Amalfitano D.,Garcés L.,Fasolino A.R.,Andrade S.A.,Delamaro M.OCEAN ENGINEERING
Liu, Jialun; Yang, Fan; Li, Shijie; Lv, Yaqiong; Hu, Xinjue신뢰성 응용연구
김성민; 고병각; 도경훈; 김혜진; 함중걸전선 / 학사
정역학과 동역학에 기초하여 강체 부재로 이루어진 기구의 변위, 속도, 가속도, 작용력을 해석하는 방법을 다룬다. 링크 구조와 기어, 캠, 나사의 운동과 구동에 필요한 힘을 해석한다. 해석방법으로는 작도법과 벡터해석법이 소개된다.전선 / 학사
본 교과목에서는 사용자 요구사항을 기반으로 임베디드 소프트웨어의 개발 process과 Documentation의 중요성에 대하여 학습한다. 상용으로 생산되는 embedded 시스템에 내장되는 임베디드 소프트웨어의 품질, 안전성 및 보안성, 그리고 소프트웨어의 오류 및 오동작이 사용자와 시장에 미치는 파급 영향등을 이해하고 고품질의 소프트웨어 완성을 위한 testing과 validation의 필요성과 완성된 제품을 사용자 요구사항의 변화 따라 유지 관리, 업데이트등에 관하여 배운다. 산업현장에서 industry embedded software 개발 projects 수행하면서 겪게 되는 여러 문제의 유형과 해결방안등에 대하여 학습한다.전선 / 학사
이 강의는 크게 두 부분으로 나뉜다: 기계화된 수학과 소프트웨어 검증. 첫 번째 부분에서는 컴퓨터의 도움을 받아 수학을 오류 없이 수행하는 방법을 소개한다. 특히, Coq 증명 보조 도구의 이론과 응용에 대해 배운다. 이 도구는 수학적 정의, 정리 및 증명을 엄밀하게 작성할 수 있게 해주며, 이후에 자동 증명 검사를 수행하여 그 증명의 올바름을 보장한다. 이 강의의 두 번째 부분에서는 소프트웨어 명세를 표현하는 방법, 그리고 작성된 프로그램이 주어진 명세대로 오류 없이 동작함을 엄밀하게 검증하는 방법을 소개한다. 구체적으로, Coq 내에서 Hoare 논리라고 불리는 프로그램 논리를 구현하고, 이를 사용하여 다양한 프로그램을 엄밀하게 검증한다.전필 / 학사
Man-Machine-Computer-Environment의 total integrated system effectiveness를 향상시키기 위한 human capability, limiting function, performance output의 측정, 변수의 선정, 분석, 평가, 개선을 위한 설계과정을 심리학, 사회학, 생리학, 역학 등의 방법론을 동원하여 훈련한다. 위의 목적을 이루기 위한 방안으로서 input 기능과 신뢰도, information processing 기능과 측정, output의 분석 및 주위환경의 변화가 인간성능에 미치는 요인들에 대한 실험으로 구성한다.전선 / 학사
선박의 소요동력 산정과 추진 장치 선정에 필요한 기본 지식을 습득하고 실습한다. 선박의 저항 및 자항 성능과 프로펠러의 단독 특성을 이해하고, 예인 수조에서 모형선에 대한 저항과 자항 실험을 수행한다. 추진 장치의 종류와 기능을 소개하고 성능특성을 파악한다. 선박용 프로펠러의 형상에 대한 기본개념을 정립한다. 특수 추진 장치의 종류와 개념을 이해할 수 있는 공학적인 지식을 익힌다.전선 / 학사
최근 세계경제의 서비스화가 빠른 속도로 진행되고 있고 국내 산업구조 역시 제조 중심에서 서비스 산업 중심으로 크게 변화하고 있어, 서비스에 대한 이해와 생산성의 향상이 주요 관심사로 대두되고 있다. 서비스 시스템은 고객의 요구사항을 만족시키는 서비스를 생산ㆍ전달하기 위해 설계되는 기술과 조직적 네트워크의 복합체인 바, 본 교과목에서는 과학적ㆍ공학적 시각에서 서비스 시스템을 분석하고, 새로운 서비스 시스템을 설계ㆍ운영ㆍ혁신하기 위한 다양한 방법론을 학습한다.논문 / 대학원
이 교과의 목표는 연구를 계획하고 수행하는 능력을 배양하는 것으로 학생들은 지도교수의 지도아래 산업교육 분야에서 가치있는 특정한 연구 문제를 선정하고 연구계획을 수립하여 직접 연구를 수행해 본다.전선 / 대학원
스마트시스템은 감지, 구동, 제어 기능을 갖추어, 주어진 상황을 지각·분석하고 이를 토대로 예측적·적응적 의사결정 및 지능적 행동을 수행한다. 본 과목은 인간 작업자와 스마트시스템 간의 상호작용을 다룬 인간공학 분야의 최신 연구들을 다루는 과목으로, 적응형 인터페이스, 인간-자동화 상호작용, 기계학습 기반 인간공학 설계, 스마트시스템 사용자경험 등의 주제에 대한 최신 연구 내용들을 학습한다.전선 / 대학원
선체구조의 안전성을 평가하는 데 필요한 제반 설계조건이 무엇이며, 그러한 설계조건을 충족하기 위해 사용되는 선체구조 해석 내용이 선체 구조 설계시 어떠한 관점에서 관련지어지는가를 종합적으로 검토하고, 아울러 선체 구조물의 파괴 모드의 특성이 설계조건과 어떠한 관계를 갖고 있는가를 구체적으로 살펴봄으로써, 최적의 안전한 선체구조를 설계하는 전반적인 과정을 이해하도록 한다.전필 / 학사
Man-Machine-Computer-Environment의 total integrated system effectiveness를 향상시키기 위한 human capability, limiting function, performance output의 측정, 변수의 선정, 분석, 평가, 개선을 위한 설계과정을 심리학, 사회학, 생리학, 역학 등의 방법론을 동원하여 훈련한다. 위의 목적을 이루기 위한 방안으로서 input 기능과 신뢰도, information processing 기능과 측정, output의 분석 및 주위환경의 변화가 인간성능에 미치는 내용을 주요 강의 내용으로 구성한다.전필 / 대학원
성능평가 시뮬레이션 실습은 지식기반 의사결정 설계를 통해 산출된 설계결과를 모의체계로 평가하는 과정이다. 성능평가는 최적결과로 도출된 무인이동체의 형상 및 성능자료를 입력해서 수행하거나 실제로 제작한 무인이동체의 운항자료를 입력하여 평가하는 방안으로 구분할 수 있다. 성능평가는 공력, 동수력, 구조, 추진 등의 분야별로 수행되며 각 분야에 대한 상황별 성능기준에 따라 평가된다. 대학원생은 각 분야별로 국제적인 기준과 무인이동체의 평가 시나리오 작성 방법을 학습한 후 설계 요구조건에 따라 평가를 실습하게 된다. 실제 운항을 통한 평가는 무인이동체에서 획득된 제어 입력값과 실제 위치 및 속도, 자세 등 운항자료 등과 비교‧분석을 통해 이루어진다. 아울러, 단일 무인이동체에 대해 효용성이 검증되면 5G 기술을 통해 다수 무인이동체의 평가를 위한 통합운용환경 구축을 추진한다. 이 교과를 통해 대학원생은 성능평가의 이론과 실제 경험을 습득할 수 있다.전선 / 대학원
컴퓨터를 설계하는 데 필요한 공학적 방법론, 설계기법, 무결함 검증방법, 기술동향, 성능평가 방법을 익힌다. 구체적으로 다루어지는 내용은 파이프라인 형태의 명령어 실행 방법, 명령어 수준의 병렬성, 메모리 계층구조, 입출력 시스템, 다중처리기, GPU 및 가속기 아키텍처 등이다.전선 / 학사
본 과목은 조선해양 학사논문연구 1에 이어서, 조선해양공학 문제와 관련하여 교수진의 지도 하에 이뤄지는 두번째 개별 연구 프로젝트이다. 수행하는 연구는 수학적 분석, 실험, 컴퓨터 시뮬레이션, 하드웨어 및 소프트웨어 개발, 장치 제작 중 하나에 해당할 수 있다. 본 과목에서 배운 지식을 통해 학부논문 도출, 국내/외 저널 및 학술대회 발표를 목표한다.전선 / 대학원
차량, 항공기, 로봇 등의 제어에 사용되는 컴퓨터 시스템은 계산상의 정확성과 아울러 태스크가 주어진 시간 내에 종료되어야만 하는 실시간시스템이다. 이 과목에서는 이러한 실시간시스템 구성을 위한 태스크 스케쥴링, 프로그래밍기법, 통신, 자원관리 등의 기법에 대하여 학습한다. 또 기말과제를 통하여 각자의 연구분야의 실시간 특성에 대하여 연구할 기회를 갖는다.전선 / 대학원
컴퓨터를 설계하는 데 필요한 공학적 방법론, 설계기법, 무결함 검증방법, 기술동향, 성능평가 방법을 익힌다. 구체적으로 다루어지는 내용은 파이프라인 형태의 명령어 실행 방법, 명령어 수준의 병렬성, 메모리 계층구조, 입출력 시스템, 다중처리기, GPU 및 가속기 아키텍처 등이다.전선 / 학사
이 과목은 학업성취도를 포함하여 학습자의 핵심 역량을 측정하는 여러 가지 검사도구의 사례를 통하여 역량평가도구의 개발 및 양호도 확인 과정에 대한 다양한 방법론을 소개하고자 한다. 또한 역량평가도구를 실제로 개발하고, 관련 데이터를 수집하며, 이를 통해 평가도구를 평가해봄으로써 학습자 역량 평가와 관련된 이론적, 실제적 이론을 경험하도록 한다.전선 / 대학원
급변하는 지구의 기후변화, 해양변화 등 지구계의 상호작용으로 일어나는 다양한 변화들을 인공위성 자료를 활용하여 연구하는 원격탐사 원리, 자료처리 기술 및 방법, 응용 연구 사례 등을 학습한다.전선 / 대학원
서비스마케팅과 제품마케팅과의 차이를 논의하고 서비스연구의 여러가지 모형을 검토함으로써 서비스 마케팅의 이론적 틀을 이해하도록 한다. 고객관리, 수요관리, 서비스 포지셔닝 등의 서비스 마케팅의 기본전략을 다룬후 서비스마케팅 믹스관리를 연구한다. 나아가 서비스 생산성, 서비스품질측정, 서비스 기업조직 등의 전략적 이슈를 다룬다.전필 / 대학원
악안면 영역에서 발생하는 신경장애에 의한 임상적 문제를 이해하고 임상진료 능력을 향상시키기 위해 기초 신경과학과 각 임상분야의 강좌를 연계시켜 통합적인 지식을 전달하고 치과환자의 일차적 증상인 통증에 대해 이해시킴으로써 악안면영역의 신경기능장애 환자의 관리와 양질의 진료를 제공할 수 있는 능력을 함양하고자 한다.전선 / 대학원
본 과정은 선형 시스템, 전달 함수, 라플라스 변환에 대하여 소개한다. 안정성과 피드백을 다루고 과도 응답 사양을 위한 기본 설계 도구를 제공한다. 또한 주파수 영역 기술도 간략하게 다룬다. 이 과정에는 컴퓨터 프로그래밍 실습 및 제어 설계 프로젝트가 포함된다. 실습 프로젝트에 관련된 전공은 조선해양공학은 물론 로봇공학, 기계공학, 전자공학, 전기공학, 산업응용수학 등이다.