(A) Study on Course Stability of Towing and Towed Vessels System under Wind Pressure

A Study on Course Stability of Towing and Towed Vessels System under Wind Pressure The author discusses the problem on course stability of towed ship under severe wind pressure. The characteristic equation to assess the stability on course, is derived from sway and yaw coupled motions of towing and towed vessels with wind effect. Through the numerical calculation on course stability of towing and towed vessels system, the relationship between the course stability of a towed ship and wind direction or towrope length, is clarified with the parameter of wind speed in terms of Beaufort number. Two types of towed vessel, such as a bulk carrier and a passenger liner, are applied and examined. The major results are as follows. The course stability of towed vessel under wind pressure depends on the inherent course stability of the vessel herself. The towed vessel will be much unstable for the range from beam to quarter wind in relatively high wind speed. The length of towrope has also great infulence upon the stability. Long towrope will be able to stabilize for all range of wind direction in relatively low wind speed or for the head wind in relatively high wind speed

Development of Mathematical model for the Prediction of Strip Profile

Maste

Etude sur la problematique morale dans la pensee de diderot

학위논문(박사)--서울大學校 大學院 :佛語佛文學科 佛文學專攻,1996.Docto

Biological control of phytophthora blight of red peper by antagonistic bacillus polymyxa `AC-1`

학위논문(박사)--서울大學校 大學院 :農生物學科 植物病理學專攻,1995.Docto

(An)Approach to Julius Caesar

학위논문(석사)--서울대학교 대학원 :영어영문학과 문학전공,2005.Maste

다중 주조 시스템과 그로 인한 합금의 미세구조 개선 효과

Maste

The Prediction of Roll Force, Roll Power and Roll Wear Distributions

DoctorThis paper presents a precision on-line model for the prediction of the roll force and roll power and roll wear distributions in a round-oval (or oval-round) pass rolling sequence, which is most commonly employed in rod and wire mills. The approach uses the concept of ideal rolling, to reduce the number of the dimensionless parameters with which the model is constructed. The prediction accuracy of the proposed model is examined through comparison with the predictions from the FE model. The prediction accuracy is also examined through comparison with the measurements made in POSCO No. 3 wire and rod

Designing a taint analyzer for detecting PL/SQL code change impacts based on abstract interpretation

학위논문 (석사)-- 서울대학교 대학원 : 컴퓨터공학부, 2016. 2. 이광근.오염 분석을 통해 PL/SQL 코드로 작성된 삼성 반도체 생산공정 소프트웨어의 변경 영향을 실행 전에 빠트림 없이 감지하는 방법을 제안한다. 이 방법은 요약 해석 프레임워크에 기반하여 엄밀한 수학적 이론을 바탕으로 하면서 구현이 간단하고 성능과 정확도 튜닝도 용이하다. 본 연구에서는 코드 변경 영향을 오염 전파로 정의하고, 대상 언어인 PL/SQL을 분석에 용이한 CFG언어로 변환하여 실제 실행 의미와 이를 요약한 요약 실행 의미를 정의하였고, 이를 바탕으로 유한 시간 내에 변경 영향 지점을 빠트림 없이 찾아내는 분석기를 설계하였다. 개념 검증을 위해 설계 명세를 준수하는 간단한 분석기를 구현하여 실험하였으며 6개 대표 테스트 케이스에 대해 분석기가 변경 영향을 올바르게 찾아냄을 확인할 수 있었다.제 1 장 서론 1 1.1 동기 1 1.2 현장에서 변경 영향을 확인하는 방법의 문제점 2 1.3 문제 해결을 위한 아이디어 2 1.4 논문 구성 3 제 2 장 오염 전파를 통한 변경 영향 정의 4 2.1 오염 주입을 통한 코드 변경 정의 4 2.2 변경 영향의 전파 규칙 5 제 3 장 분석 대상 언어와 전처리 7 3.1 출발 언어: PL/SQL 핵심 언어 7 3.2 중간 언어 변환 8 3.3 대상 언어: CFG 언어 12 제 4 장 변경 영향 분석기 디자인 19 4.1 실제 실행 의미 19 4.1.1 실제 도메인 19 4.1.2 실제 의미 구조 20 4.2 요약 실행 의미 24 4.2.1 요약 도메인 24 4.2.2 요약 의미 구조 26 4.3 변경 영향 정보 가공 29 제 5 장 구현 및 실험 31 5.1 분석기 구현 31 5.1.1 요약 도메인 구현 32 5.1.2 요약 해석 알고리즘 구현 32 5.2 개념 검증을 위한 실험 34 제 6 장 고찰 및 향후 과제 37 6.1 고찰 37 6.2 향후 과제 37 제 7 장 결론 39 참고문헌 40 Abstract 42Maste

판 압연에서 압하력 및 장력 분포 예측 모델 개발

2