• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2002년도 추계학술대회 논문집(I)
• /
• pp.162-167
• /
• 2002

열차가 고속으로 터널에 진입하게 되면 터널 내부에서 극심한 압력 교란이 발생하게 되며 이로 인한 이명현상은 승객들에게 불쾌감을 크게 유발시키고, 열차 구조물에 작용하는 반복적인 하중변화 또한 구조상 큰 문제를 일으킬 수 있게 된다. 따라서 이를 해결하기 위해서는 터널 내부의 유동장에 대한 정확한 예측이 필요하다. 본 논문은 긴 터널을 효율적으로 해석하기 위해서 최소 차원의 공간 가정을 통하여 계산 시간을 절약할 수 있는 혼합차원 기법을 이용하여 현재 G7 시제차의 시험 운행 구간내의 터널들에 대해서 수치해석을 수행하였다. 해석 결과 터널 내부에서는 압축파, 팽창파의 상호 작용에 의한 복잡한 압력 교란이 발생하였고, 이러한 압력 변화는 열차 속도, 터널 길이, 측정위치에 따라 각각 다르게 나타났다. 따라서 터널 내부의 유동장을 정확히 예측하려면 열차 속도, 터널 길이, 열차 길이, 열차/터널 단면적 비, 측정 위치 등을 고려하여 해석을 수행하여야 한다. 이러한 수치 해석 결과는 시제차 시험 계획의 수립 및 시험기기의 선택과 설치 위치 등을 결정하는 중요한 자료로 활용될 수 있을 것이며, 고속 열차의 여압 시스템과 외부 부착 구조물에 대해서도 중요한 정보를 제공할 수 있을 것이다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1997년도 춘계학술발표회논문집(2)
• /
• pp.110-117
• /
• 1997

Alloy 690 제1열 시제 전열관을 U 굽힘 가공할 시 전열관에 도입된 표면 잔류응력 및 굽힘 단면에서 치수변화 (벽두께, 진원도)를 위치별로 측정하여 평가하였다. 외측호(extrados)의 표면 잔류응력은 $\psi$=0$^{\circ}$에서 축 방향 응력이 -319 MPa (압축)로 가장 높았으며, 내측호(intrados)는 $\psi$=0$^{\circ}$, 160$^{\circ}$ 위치인 천이영역 부관에서 응력 변화가 크게 되는 경향을 보였다 측면(flank)은 인장 잔류응력으로 $\psi$=90$^{\circ}$(apex)에서 최대 190 MPa 로 축방향 응력으로 나타났다. 잔류응력치는 벽두께 보다는 진원도 변화와 일치되어 나타났으며, 시제 전열관의 벽두께 및 진원도는 ASTM의 치수 허용치 내에 포함되는 것으로 평가되었다. 잔류응력 측정은 스트레인 게이지를 이용한 구멍뚫기 방법 (Hole-Drilling Method)을 사용하였다.

• 한국식품영양과학회지
• /
• 제37권10호
• /
• pp.1323-1329
• /
• 2008

연어를 이용한 신제품 개발에 관한 일련의 연구로 연어를 이용한 조미 분말 제품의 개발을 시도하였고, 아울러 시제품의 품질 특성에 대하여도 살펴보았다. 시제 조미 연어 분말은 일반성분의 경우 수분 함량이 42.1%, 단백질 함량이 30.3%, 지질 함량이 18.9%, 회분 함량이 6.2%이었고, 헌터 색조의 경우 백색도가 68.14, 적색도가 7.86, 황색도가 19.13, 그리고 색차가 35.12이었다. TCA 가용성 질소 함량은 시제 조미 연어 분말이 360 mg/100 g으로 시판 조미 연어 분말의 234 mg/100 g에 비하여 54%가 높았다. 또한, total taste value는 시제 조미 연어 분말이 시제 조미 연어 분말에 비하여 2.2배가 높았고, 이들의 주성분은 glutamic acid(각각 90.640 및 39.840)이었다. 주요 구성 지방산은 조미 연어 분말의 종류에 관계없이 두 제품이 모두 16:0, 18:1n-9, 18:2n-6 및 22:6n-3 등이었다. 아미노산 총 함량은 시제 조미 연어 분말이 29.05 g/100 g으로 시판 조미 연어 분말의 20.79 g/100 g에 비하여 높았고, 두 제품의 주요 구성 아미노산은 aspartic acid, glutamic acid, leucine 및 lysine 등이었다. 시제 조미 연어 분말을 섭취하는 경우 철의 보강 효과는 약간 기대되었으나 칼슘의 보강 효과는 기대하기 어려우리라 판단되었고, 시제품이 시판품에 비하여 맛, 색조 및 냄새와 같은 모든 항목에서 우수하였다.

• 동양고전연구
• /
• 제68호
• /
• pp.209-235
• /
• 2017

본고는 박세채의 예론과 고금절충론적 특징을 살펴보기 위해 작성되었다. 박세채는 현종대 기해예송, 민신의 대복사건, 갑인예송 등에서 송시열의 주장 및 서인예론에 동조하는 입장이었다가 이후 숙종 대 효종세실의, 태조추시의 등에서 송시열의 주장에 대한 신중론 및 비판을 제기하여 서인예론에서 탈피하는 경향을 보인다. 이는 그가 저술한 예학설을 통해서도 검토할 수 있다. 생애 전반에 저술한 "복제사의(服制私議)"(1660), "부사위조위모이복의(父死爲祖爲母異服議)"(1667) 등과 생애 후반에 저술한 "국휼졸곡전장제설(國恤卒哭前葬祭說)"(1683), "관서혼상계약속(關西昏喪契約束)"(1686), "상제치역두설(喪祭値疫痘說)"(1690) 등을 비교함으로써 그의 고금절충론적 특징에 미묘한 변화가 있음을 확인할 수 있다. 그의 예론은 고례(古禮)["의례(儀禮)"], 금례(今禮)["주자가례(朱子家禮)"], 시제(時制)[국제(國制)]를 절충하는 특징을 지니고 있는데, 현종대 서인예론을 주장하던 시기에는 금례를 중심으로 고례와 시제를 절충하다가, 숙종대 서인예론을 탈피하면서 점차 시제를 중시하는 경향을 띄기 시작한다. 요약하자면, 그의 예론은 금례를 중심으로 고례와 시제를 검토하던 고금절충론에서 시제를 중심으로 고례와 금례를 검토하는 고금절충론으로 변화해갔다고 할 수 있다.

• 국방과기술
• /
• 11호통권249호
• /
• pp.48-59
• /
• 1999

이 글은 미국의 차세대 전투기로 개발 및 시험중에 있는 F-22 항공기의 개발과정중 주요 형상변경을 비롯한 개발과정의 실제상황을 간접설명하기 위하여 록히드 항공사에서 발간한 "Code One" 잡지의 내용을 번역한 것이다. 본 내용은 미국의 항공 무기체계 개발 단계중 가장 설계 활동이 활발한 시범 및 입증단계(Demonstration/Validation Phase) 및 체계개발단계(Full Scale Development, or Engineering and Manufacturing Development Phase)의 설계 변경과정을 소개한 것이다. 독자의 이해를 돕기 위하여 미국의 항공무기체계 개발단계를 F-22 중심으로 간단히 소개하고자 한다

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

상황 인식 시스템에서, 핵심 요소 중의 하나가 서비스 명세이다. 지금까지 서비스 명세를 표현하기 위해서 생성 규칙, 마크업 기반 언어 및 온톨로지 기반 언어 등이 사용되었다. 이들과는 다르게, 본 논문에서는 병행 시스템 및 반응형 시스템의 속성 명세에 널리 사용되는 시제 논리를 이용하여 상황 인식 서비스를 명세하고자 한다.

• 국방과기술
• /
• 10호통권248호
• /
• pp.54-63
• /
• 1999

이 글은 미국의 차세대 전투기로 개발 및 시험중에 있는 F-22 항공기의 개발과정중 주요 협상변경을 비롯한 개발과정의 실제상황을 간접설명하기 위하여 록히드 항공사에서 발간한 "Code One" 잡지의 내용을 번역한 것이다. 본 내용은 미국의 항공 무기체계 개발 단계중 가장 설계 활동이 활발한 시범 및 입증단계(Demonstration/Validation Phase) 및 체계개발단계(Full Scale Development, or Engineering and Manufacturing Development Phase)의 설계 변경과정을 소개한 것이다. 독자의 이해를 돕기 위하여 미국의 항공 무기체계 개발단계를 F-22 중심으로 간단히 소개하고자 한다

• 논리연구
• /
• 제9권1호
• /
• pp.173-204
• /
• 2006

최근의 시간에 관한 철학적 논의에서 새로운 무시제 이론가들은 시제 문장들의 진리조건을 무시제 문장들을 통해 부여할 수 있다는 언어철학적 결과를 통해, 시제 사실들과 같은 것들을 받아들일 필요가 없다고 주장함으로써 A-이론을 비판해 왔다. 이 논문에서는 형이상학적 논변을 새롭게 제시함으로써, 언어 철학적인 논변과 달리 B-이론은 유지될 수 없으며, 오히려 A-이론이 시간에 대한 올바른 이론임을 논증하게 된다. 그리고 이러한 논의가 이루어지는 가운데 존속과 변화에 관한 흥미로운 문제들이 다루어지며, 시간 철학에서의 몇몇 개념에 관한 명료화 작업이 이루어진다. 나아가 이를 바탕으로 A-이론과도 B-이론과도 다른 새로운 대안적인 시간 이론이 제시되고, 이 이론이 지니는 특징들과 장점들이 이야기된다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2015년도 추계학술발표대회
• /
• pp.1085-1087
• /
• 2015

본 논문에서는 심장의 전기활성도를 반영하는 ECG 신호 중 일부를 명세한다. 꾸준히 축적되었고 통용되는 ECG 신호의 비정형 명세를 정형 명세로 바꾸는 과정에서 선형 시제 논리보다 시간을 다루는 명세 및 양적 평가에 유리한 신호 시제 논리(Signal Temporal Logic)를 사용한다. ECG 신호를 감지했다는 가정하에 특징점을 추상화하여 신호를 맹세했고, 양적으로 평가해주는 모델 기발 실시간 ECG 모니터링 시스템의 신속한 개발 필요성을 제시한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2015년도 추계학술발표대회
• /
• pp.1080-1081
• /
• 2015

기존에 음악치료 시스템이 많이 활용되고 있다. 그러나 시스템 내의 문제가 고정적으로 되어있어서 수정 및 변경을 하기에 많은 불편함이 있다. 따라서 문제 생성의 유연성을 높이고자 신호 시제 논리를 활용한 음악치료 시스템을 개발해 본다.