• 한국해양공학회지
• /
• 제8권1호
• /
• pp.123-130
• /
• 1994

일반적으로 규칙파 또는 불규칙파중에서의 반잠수식 해양구조물의 응답을 추정할때, 선형계에 적합한 주파수 영역해석법을 사용하고 있다. 대다수의 해양구조물은 Lower Hull과 단면적이 일정한 Column으로 구성되어 있지만, 만약 Column의 단면적이 홀수에 따라 변화한다면 복원력항에 비선형계를 적용해야만 한다. 따라서 본 논문에서는 비선형 복원력을 고려한 반잠수식 해양구조물의 응답을 추정할 수 있는 시간 영역 해석법을 개발하였다. 그리고, Column형상이 다른 5개의 모델을 선정하여, 이들의 시간 영역 해석결과와 주파수 영역 해석 결과를 서로 비교하였다. 또한 파랑외력으로서 불규칙파를 적용할 때, 비선형 복원력이 해양구조물에 응답에 미치는 영향을 조사 하였다.

• 한국컴퓨터산업학회논문지
• /
• 제5권7호
• /
• pp.711-720
• /
• 2004

프로그램을 계산적으로나 수명적으로 최적화하는 기법에는 수식 모션 변환과 수식 모션을 포함하는 배정문 모션 변환이 있다. 본 논문에서는 노드 단위 분석과 명령어 단위 분석의 혼용 때문에 발생하는 모호함을 가지는 Knoop의 알고리즘을 개선하는 불필요한 코드 모션 재구성 알고리즘을 제안하였다. 제안한 알고리즘은 수식이나 배정문의 불필요한 재계산이나 재수행을 피하게 함으로써 프로그램의 능률과 수행시간을 개선하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.958-960
• /
• 2005

이식성과 성능 사이의 타협을 위해 수식 평가 순서를 부분적으로 정의할 수 밖에 없는 C 언어는 표준이 사용하는 일반 영어의 모호성으로 일부 복잡한 수식의 유효성(validity)을 판별하기 어려운 문제를 안고 있다. 그동안 의존 관계나 언어 형식화(formalization)를 이용해 일관되게 유효성을 판별하려는 시도가 있었으나 이해와 구현 모두가 용이해야 한다는 표준의 요구를 만족하지 못했다. 본 연구에서는 구현을 고려해 AST(Abstract Syntax Tree)에 변수의 참조$\cdot$수정 정보를 덧붙여 수식 부작용(side effect)과 관련된 시퀀스 포인트(sequence point) 문제를 해결하는 효율적인 모델을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (C)
• /
• pp.228-232
• /
• 2007

정보화 시대에 방대한 양의 정보에서 필요한 정보를 효율적으로 찾아내는 것은 그 무엇보다도 중요하다. 이를 위해 많은 검색 엔진이 효율적인 검색 결과 제공을 위해 노력하고 있지만 그 인터페이스의 문제로 인하여 사용자가 검색결과를 효율적으로 받아들이기 어려우며 또한 원하는 정보를 검색하기 위해서는 일정 수준 이상의 검색 능력을 필요로 한다. 이 논문에서는 기존의 검색 엔진의 인터페이스 변경을 통하여 시각적인 연관성 정보를 제공하며 이를 통해 사용자가 검색 능력에 구애받지 않고 정확한 답을 얻을 수 있도록 유도한다. 또한 이 과정에서 기존의 키워드 추출 알고리즘의 문제점을 발견하여 이를 단어간의 수식 관계를 이용하여 해결하였다. 또한 단어간의 수식 관계를 이용하여 효율적으로 문서간의 연관성을 생성할 수 있는 알고리즘을 제시하였다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2007년도 제19회 한글 및 한국어 정보처리 학술대회
• /
• pp.250-253
• /
• 2007

본 논문에서는 현재 검색 엔진의 랭킹 방식의 문제점과 인터페이스의 문제점을 해결하기 위하여 노력하였다. 기존의 페이지간 링크와 같은 부가적 정보를 이용한 인기도 기반 랭킹의 문제점을 단어간의 수식 관계를 이용한 의미 기반 랭킹 알고리즘의 제시를 통해 해결하였다. 또한 검색어와 연관된 단어를 수식 관계를 이용하 계산, 시각화하여 제공함으로써 사용자가 잘못된 검색어로 검색을 시작하였더라도 항상 올바른 검색 결과를 얻을 수 있도록 도왔으며 각 검색 결과와 함께 원문을 요약해 제공함으로써 검색 결과를 일일이 클릭해 보지 않고도 내용을 쉽게 유추할 수 있도록 도왔다.

• 한국해양공학회지
• /
• 제2권1호
• /
• pp.106-115
• /
• 1988

반잠수식 시추선의 설계에 있어서 구조의 피로수명을 정확하게 추정하는 것은 매우 중요하며, 또한 어려운 일이다. 본 논문에서는 이미 실용화된 Aker H-3모델에 대하여 Palmgren-Miner 가정에 의하여 시추선의 hot-point인 수평 및 수직 K-brace 멤버에 대하여 피로수명을 로이드 선급의 커브에 따라 계산한 결과 북해의 해성환경 조건에서는 16년 동안 계속 작업을 할 수 있다는 결론을 얻었으나 응력 집중계수 (SCF)를 선정하는데 불확실성으로 인하여 사용하는데 주위를 요한다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2011년도 춘계학술대회
• /
• pp.399-401
• /
• 2011

반잠수식 시추선의 주선체(lower hull)를 세 가지 타입으로 설계하여 주선체에 대한 유체정역학적 계산, 조종성능 및 내항성능 계산 그리고 이론계산을 수행하여 wave distribution과 height도 각각 비교 분석하였다. 주선체의 Convention type, Bulbous bow type, 그리고 Ice breaking type 중 Ice breaking type 선형의 성능이 가장 우수하였다. 다음으로는 반잠수식 시추선의 모든 조건(작업, 이동, 생존)에서 주기둥(column) 또는 주선체(Lower)가 손상되어 부력을 상실했을 시 전복 되지 않도록 고안된 예비부력 기능과 기름 유출 사고시 기름을 회수 할 수 있는 기능을 갖춘 유회수 겸용 예비부력 탱크를 개발하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(C)
• /
• pp.374-376
• /
• 2012

최근 독서 장애인을 위한 국제 디지털 음성 도서 표준인 DAISY를 통해 장애인의 고등 교육을 위한 연구가 활성화되고 있으나 그림이나 수식과 같은 특수요소는 음성도서로 만들어 활용하기 어렵다. 이를 위해, 본 연구에서는 중학교 교과과정에 포함된 내용 MathML 엘리먼트에 대한 한글 독음 규칙을 정의하였다. 또한, 정의한 한글 독음 규칙에 따라 내용 MathML로 표현된 수식을 독음 텍스트로 변환하는 프로그램을 XSLT로 구현하였다.

• 대한조선학회지
• /
• 제31권4호
• /
• pp.22-25
• /
• 1994

선체성능, 선박운항성능 및 기관성능의 현황파악과 예측을 하는 것은 선박설계자, 선박운항자 및 선박관리운영자에게 설계, 보선관리 및 용역관리상 대단히 중요하다. 선체성능의 전산원용예측에 관한 대부분의 문헌은 모형수조시험 및 공시해상시험의 자료를 수식화하는 데 집중하고 있다. 따라서 현재까지 자료의 수식화, 예측된 자료와 성능시험결과치의 상관기법 및 PC soft ware를 이용한 선박성능예측의 체계적 접근법 등에 관한 연구가 활발히 진행되어 왔다. 또한 선박의 Abstract Log Book의 자료 및 주기관 성능자료의 수식화, PC soft ware 개발에 의한 선박운 항성능 및 기관성능예측에 대한 연구가 역시 수행되고 있다. 이와 관련하여 본 고에서는 선체 성능(저항과 추진계수), 선박운항성능 및 주기관성능의 예측에 관하여 그 개요를 소개코져 한다.

• 해양환경안전학회지
• /
• 제29권5호
• /
• pp.479-487
• /
• 2023

최근 지구 온난화의 영향으로 태풍의 파괴력이 증가함에 따라 부유식 해상풍력발전기의 막대한 유실과 붕괴에 대한 우려가 깊어지고 있다. 부유식 해상풍력발전기의 안전한 운영을 위해 새로운 형태의 탈착형 계류 시스템 개발이 요구되고 있다. 본 연구에서 고려한 새로운 반잠수식 계류 풀리는 기존의 탈착형 계류 장치에 비해 계류 라인으로 부유식 해상풍력 터빈을 보다 쉽게 탈부착할 수 있도록 고안되었다. 8MW급 부유식 해상풍력발전기에 적용 가능한 반잠수식 계류 풀리의 초기 설계에 대한 구조적 안전성을 검토하기 위해 3D 프린터를 이용하여 축소구조모형을 제작하고, 이 모형에 대한 구조시험을 수행하였다. 축소 모형의 구조시험을 위해 3D 프린팅에 사용된 ABS 소재의 인장 시편을 제작하고 인장시험을 수행하여 소재의 물성을 평가하였다. 인장시험에서 얻은 재료 특성과 축소모형 구조 시험과 동일한 하중 및 경계 조건을 적용하여 반잠수식 계류 풀리의 유한요소해석을 수행하였다. 유한요소해석을 통해 반잠수식 계류 풀리의 구조적 취약 부분을 검토하였다. 반잠수식 계류 풀리의 주요 하중조건을 고려하여 구조모형시험을 수행하였으며, 재료의 최대인장응력 이상이 발생하는 위치에 대해 유한요소해석과 시험 결과를 비교하였다. 유한요소해석과 모형시험의 결과로부터 작동조건에서는 Body와 Wheel의 연결부 구조가 취약한 것으로 파악되었고, 계류조건에서는 Body와 Chain stopper의 연결부 구조가 취약한 것으로 검토되었다. 축소모형 구조시험에서 나타난 SMP의 구조 취약부는 구조해석의 결과와 일치하는 것으로 나타났다. 연구 결과를 통해 반잠수식 계류 풀리의 초기 설계에 대한 구조적 안전성을 실험적으로 검증할 수 있었다. 또한, 본 연구 결과는 상세설계 단계에서 반잠수식 계류 풀리의 구조 강도를 향상시키는데 유용하게 활용될 수 있을 것으로 판단된다.