• Magazine of the Korea Institute for Structural Maintenance and Inspection
• /
• v.16 no.1
• /
• pp.90-101
• /
• 2012

최근 일본의 설계규정(설계기준 내 재료모델)은 전 세계에서 수집된 실험 결과들을 바탕으로 개발된 것으로, 세계 최고 수준의 예측 방법으로 알려져 있다. 그럼에도 불구하고 장기간 관측된 실제 교량의 처짐은 예측결과와 많은 차이를 나타내고 있다. 이 논문에서는 콘크리트의 시간의 존적 거동에 대한 일본 설계규정의 주요 변천 과정을 소개하고, 실제 장기거동과 예측결과가 큰 차이를 보이는 원인에 대한 논의가 이루어질 것이다. 또한 내구성이 높고 경제적인 콘크리트 구조물 건설을 위한 앞으로의 연구방향이 제시될 것이다.

• The Korean Journal of Applied Statistics
• /
• v.5 no.1
• /
• pp.29-39
• /
• 1992

A testing and estimation procedure is considered for changes at unknown time point in simple linear regression model. A test statistic of quadratic form is suggested. We also discuss the asymptotic distribution and its level control. The proposed method is compared with the likelihood ratio test through a example.

• Journal of Energy Engineering
• /
• v.9 no.3
• /
• pp.184-191
• /
• 2000

본 연구에서는 국내 10MW급 기력발전소의 소형 터빈 로터에 대한 응력 해석을 실시하였다. 터빈 로터의 기하학적 형상, 증기의 온도 및 압력 등의 기동조건 변화, 로터 재료의 온도에 따른 물성값 등을 고려하여 대류 열 전달계수를 계산하는 사용자 부프로그램을 구성하였으며, 이를 바탕으로 열해석을 실시하여 로터의 온도 분포를 결정하였다. 이 온도분포 조건에서 시간 경과에 따른 열응력 해석을 실시하여 로터의 응력 분포를 결정하였으며 그 결과 취약부위에서의 응력변동 범위 및 가동중 정상상태 응력수준을 결정하였다. 이 취약부위의 응력값과 운전이력을 이용하여 크리프 수명과 피로수명을 계산하고 로터의 잔여수명을 결정하는 방법을 논의하였다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2004.10a
• /
• pp.285-288
• /
• 2004

인터넷의 확산과 IT의 혁신으로 인하여 Digital Item(이하 DI)의 종류와 양은 기하급수적으로 증가하고 있으며 DI를 실행시키는 application 역시 양적인 측면이 증가하고 있다. DI와 관련된 이해관계자인 제작자, 저작권자, 공급자, 최종 사용자간에는 저작권 관련 문제들이 발생하고 있으며 이를 위한 표준화 활동 또한 활발히 진행되고 있으며 본 논문은 표준화 제정에 관한 MPEG 표준기구의 활동을 이해하고 최근 진행되고 있는 MPEG-21 Part4 IPMP 표준화 논의에 최종적으로 도출될 결과물들을 예상하여 그 수준을 평가할 수 있는 상위참조모델을 제시한다.

• The Korea Swine Journal
• /
• v.17 no.10 s.194
• /
• pp.56-57
• /
• 1995

이번 시작된 불황은 일시적인 고통을 없애는 수매비축이나 수입육 방출 중단도 중요하지만 양돈업계의 근본 문제를 해결하는 기회가 되어야 한다. 지금까지 논의를 꺼려왔던 문제들을 적극적으로 토의하고, 왜 생산비가 높은 지에 대한 구체적이고 과학적인 검토와 절감될 수 있는 부분과 절감해야 할 부분을 솔직히 표현하는 것이 필요하다. 90Kg 돼지 1마리를 생산하는데 목표를 12만원으로 정하면 이를 위해서 인건비, 사료비는 얼마가 되어야 하고, 생산성은 어느 수준에 맞추어야 되는 지를 계산해 볼 필요가 있다. 그리고 이를 현실로 실천에 옮기기 위한 계획과 노력이 필요하다.

• Electronics and Telecommunications Trends
• /
• v.11 no.3 s.41
• /
• pp.71-84
• /
• 1996

Girard에 의해서 1987년에 처음 소개된 선형 논리(linear logic)는 컴퓨터 사이언스에 큰 관심을 불러 일으키며 빠르게 발전하고 있다. 선형 논리는 상태 및 자원을 논리적 수준에서 다루고 있는 특징이 있다. 본 고에서는 선형 논리의 의미, 동기 및 특성을 소개하며, Gentzen의 시퀀트 계산법과 Prawitz의 자연 연역법 사이의 연관성 및 여러 증명 사이의 '같음'에 대한 개념을 컷제거 정리 측면에서 논의하고, 이러한 개념에 의하여 선형 논리의 증명이 증명망으로서 표현될 수 있음을 보인다.

• Nuclear industry
• /
• v.6 no.11 s.45
• /
• pp.113-121
• /
• 1986

일본에서의 최근의 원자력안전성에 관한 논점에 대해서 일본 원자력의 기본정책, 원자력발전소의 인가절차 및 TMI-2 사고이후 일본에서 논의되어온 중요한 안전상의 문제점을 포함해서 개술소개코자 한다. 안전하고, 신뢰할 수 있는 원자력발전소 운전을 위해서는 높은 기술수준으로 플랜트를 설계$\cdot$제작$\cdot$건설하여야 되며, 주의깊게 운전하여야 된다. 또한 이상사태의 파급에 의한 영향을 체감시킴으로서 이상사태 발생방지에 최대한의 노력을 해야 할 것이다. 원자력안전연구를 열류체변동에 초점을 맞추었을 경우 1963년 이후 국가프로젝트로 진행된 것중 몇가지는 국제협력으로 되어 있는데 Source term, 중대사고, 안전목표 및 입지평가와 서로 관련시켜서 생각해야 할 것이다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2005.04a
• /
• pp.213-216
• /
• 2005

자동주행을 위한 반자동 이동로봇의 실험능력을 배양시키기 위하여 주행능력과 세상지도정보를 모으고 그 능력에 대한 지식정보를 배가시키는데 관심을 두고 있다. 중심 사항은 환경을 거쳐 나가면서 환경의 지도를 만들 수 있는 이동 로봇의 본래의 불확실성을 다루는데 필요한 타당한 이유를 제시한다. 문제점을 더욱 간단한 임무로써 분할시킴으로써 주행과 이동성을 가능케하는 충분한 수준의 지식정보를 보여주는 이동 로봇을 발전시킬 수 있다. 본 논문에서는 자동 주행 참지향 능력배양을 위한 반자동 행동제어 시스템의 기본골격에다 퍼지논리를 적용시키는 전략에 대해 논의한다.

• 대학교육
• /
• s.147
• /
• pp.77-83
• /
• 2007

강원대학교와 삼척대학교의 통합은 강원도에 산재한 5개 대학 간에 논의된 연.통합의 연장선이며, 1도 1 국립대학 추진이라는 다자간의 틀 속에서 추진된 양자 간의 통합이라는 것이 타 대학의 통합 사례와 다른 점이다. 통합으로 인해 입학정원과 대폭적인 기구 감축을 통한 운영의 효율성 강화, 교수의 연구 경쟁력 향상, 학생 충원 및 신입생 수준 향상, 캠퍼스별 특성화, 대학의 혁신역량 제고 등의 성과가 있었다. 그러나 통합 이전 양 대학이 가지고 있던 이질적인 대학 문화의 일체화, 캠퍼스 간의 거리로 인한 접근성의 한계와 업무적 중복성, 정부차원의 행.재정적 지원의 지속 여부는 향후 통합의 성패를 가름하는 매우 중요한 과제로 남아 있다.

• Electronics and Telecommunications Trends
• /
• v.31 no.5
• /
• pp.90-98
• /
• 2016

컴퓨터 수준의 스마트 디바이스를 이용하는 현재의 이동통신 환경은 처리해야 할 정보량의 급속한 증가에 효율적으로 대응하기 위해서 새로운 시스템 및 네트워크 구조와 기술들을 연구개발하고 있고 여러 가지 후보 기술 중 대규모 고밀도 액세스 네트워크(UDN) 구조 연구에 대한 관심이 높아지고 있다. UDN 환경의 CAPEX 및 OPEX 문제를 해결하기 위해서 최근 액세스 네트워크의 공유 방안에 대한 논의 및 표준화가 진행되어 기술적으로는 인터넷 환경에서 검증된 가상화 기술의 액세스 네트워크 적용을 추진하고 있다. 이러한 동향을 반영하여 최근 SCF 주도로 완성된 소형 셀 기지국 가상화 규격이 현실적이고 실질적인 연구 결과로 평가되어 세부 사항을 분석한다.