• Proceedings of the Korean Society of Computer Information Conference
• /
• 2009.01a
• /
• pp.445-449
• /
• 2009

인터넷의 발달과 인터넷 문화의 보편화로 인하여 사용자들은 폭발적으로 증가하는 다양한 정보를 접할 수 있게 되었으며, 자체 생산하거나 다른 신문사들로부터 생산된 기사들을 단순 유통, 링크를 통하여 정보검색 사이트들뿐만 아니라 각종 포털 사이트, 인터넷신문사들은 많은 다양한 경로로 기사를 제공할 수 있게 되었다. 이에 따라 인터넷산문을 규정하고 법적, 테두리에 넣기 위한 법률이 제정되었으며, 인터넷신문사에 대해 기사의 자체 생산량이라는 요건 검증에 대한 요구가 증가하고 있다. 본 논문은 인터넷신문 자체기사 생산량을 측정하기 위해 필요한 기술들을 조사하고 타당성을 검토하여 이에 적합한 기술을 제시한다. 제시한 방법은 대량의 기사의 비교를 빠른 시간에 수행한 수 있도록 하기 위해 인간의 단어 인지와 관련한 경험적 정보의 반영을 통하여 변형한 편집거리 기반 방법이다. 제시하는 방법의 정확성을 검증하기 위해 실제 소량의 인터넷 신문 기사를 대상으로 실험하였다.

• Bulletin of the Korean Space Science Society
• /
• 2003.10a
• /
• pp.66-66
• /
• 2003

우주 공간이라는 극한 상황에서 운용되는 인공위성을 개발하기 위해서는 실제 제작 공간인 지상에서 가능한 모든 우주 공간에서의 위험을 예측하여 원하지 않는 재난을 방지할 수 있는 설계를 수행함이 요망된다. 위성의 기동 및 자세 제어에 사용되는 하이 드라진 추진시스템의 경우 예상되는 가장 큰 재난은 추진제의 동결로 인한 추진시스템의 작동 불능이다. 본 연구에서는 추진시스템의 안정적 작동을 위해 요구되는 추진제의 동결 방지를 위해 사용되는 히터 사양을 결정하며 이를 위해 위성 추진시스템의 열ㆍ수학적 모델을 개발한다. 개발된 열ㆍ수학적 모델의 타당성을 검증하기 위해 수치적으로 계산된 결과를 열진공 시험의 결과와 비교 연구한다 이론적 해석 모델과 열진공 시험조건 사이의 다소의 불일치성에도 불구하고 두 결과는 정성적으로 잘 부합된다. 따라서 본 연구를 통해 위성 추진시스템의 히터가 적절히 설계되었으며 개발된 열ㆍ수학적 모델은 인공위성 추진시스템의 주요한 설계 수단으로 사용될 수 있음을 검증한다.

• Journal of the Korean Society of Hazard Mitigation
• /
• v.3 no.3 s.10
• /
• pp.143-150
• /
• 2003

Recently, The corrosions of reinforced concrete structures are severe problems of economical social effects. PE-coated bars protecting from corrosion and enhancing durability of reinforced concrete structures are testified to evaluate structural properties. Tests are verified by comparative bending tests of the three type materials of epoxy coating, without coating and pe-coating. Load-deflection relations ate superior in pe-coated bar than any other materials(bare bar and epoxy bar). These are proved bonding properties enhancement by using cement powder.

• Proceedings of the KIPE Conference
• /
• 2014.11a
• /
• pp.152-154
• /
• 2014

본 논문에서는 단상 5kVA의 용량을 갖는 3-레그 방식의 고효율 자동전압조정기에 최적화된 방열설계가 제안된다. 3-레그 자동전압조정기의 경우 스위칭 알고리즘에 따라 스위칭 횟수가 줄어들어 효율이 좋은 장점이 있다. 스위칭 소자로 IGBT를 사용하여 열 분배가 중요함으로 전력변환 장치의 신뢰성과 안전성을 높일 수 있도록 최적화된 방열설계안을 제시하고 설계의 타당성을 위해 시뮬레이션을 통한 검증을 수행하였다.

• Proceedings of the KIEE Conference
• /
• 2015.07a
• /
• pp.766-767
• /
• 2015

전자기 관련 제품에서 제작공차에 의한 성능변동의 확률론적 분포특성을 효율적으로 예측하기 위해 성능 모멘트 적분법을 도입하였다. 제안된 기법을 검증하기 위해 간단한 수학예제와 스피커 모델의 폴피스 사이 공극의 평균자속 밀도에 대한 확률론적 분포특성 예측을 수행하고, 이를 기존 확률론적 분포특성 예측 기법과 비교하였다. 또한 몬테카를로 수치모사법을 이용하여 도출된 성능의 확률론적 분포특성 예측 값을 재계산 후 비교함으로써 제안된 기법의 정밀도를 검증하였다.

• Proceedings of the KIEE Conference
• /
• 2001.04a
• /
• pp.369-371
• /
• 2001

본 논문에서는 경량전철시스템 기술개발사업에서 개발하고자하는 차량시스템, 신호제어시스템, 전력공급시스템 및 선로구축불의 목표신뢰도를 정의하였다. 이 목표신뢰도의 배분은 국내지하철의 고장유형 및 철도분야에 축적되어있는 고장율을 바탕으로 작성되었다. 특히, 차량시스템분야는 보다 자세히 목표신뢰도를 배분하였다. 이러한 목표신뢰도 배분을 통하여 경량전철 시스템의 각 개발단계마다 이루어지는 개발활동(설계, 제작 및 구매)의 검증을 수행하여야 신뢰성을 확보한 경량전철시스템개발이라는 궁극적인 목적을 달성할 수 있다. 목표신뢰도 배분에 맞추어 경량전철시스템개발동안 제동장치, 추진장치, 출입문장치, 제어장치 등 고장시 열차의 운행을 정지시킬 수 있는 구성품에 대한 신뢰도를 모델링하여 신뢰도 예측 및 분석하고 이에 맞추어 설계검증 및 보안을 한다. 또한 경량전철시스템의 시험선로에서의 주행시험을 통하여 국내 경량전철시스템에 적합한 신뢰도 기준을 마련하고자 한다.

• 한국항공운항학회:학술대회논문집
• /
• 2015.11a
• /
• pp.179-182
• /
• 2015

DO-278A는 소프트웨어 인증 절차를 제공할 목적으로 만들어진 것은 아니지만, 소프트웨어 개발 절차를 설명하는 것으로 지상용 항공장비의 소프트웨어를 만드는데 적절한 역할을 수행할 수 있다. 대체적으로, 수명주기증거품(life cycle evidence)을 통해 프로세스가 정확하고 적합하게 이행되었다는 것을 증명할 수 있다면 소프트웨어는 적합성을 확인을 받을 수 있다. 본 논문에서는 국토부 R&D로 개발되고 있는 항공기 지상이동유도 및 통제시스템(Advanced-Surface Movement Guidance & Control System, A-SMGCS)의 소프트웨어 개발 및 검증에 DO-278A 절차를 적용한 방안을 제시하고자 한다.

• Proceedings of the KIPE Conference
• /
• 2018.07a
• /
• pp.93-95
• /
• 2018

본 논문은 전기버스에 사용되는 HDC(High voltage DC-DC Converter)를 위한 제어 전략에 대하여 설명한다. 기존 IGBT를 사용한 HDC는 낮은 동작 주파수로 인하여 전류 리플 만족을 위해 인덕터 용량이 증대되며, 대 전류 구동 시 자기 포화방지를 위해 코어의 크기가 커지는 문제점이 있다. 따라서 본 논문에서는 고속 스위칭 특성이 우수한 SiC-FET의 적용을 통해 인덕터 용량을 저감하였다. 또한 일반 산업에서 많이 사용되고 있는 Phase-Shift PWM 방식의 아날로그 IC를 사용하여 비절연 강압형 DC-DC 컨버터의 동작 및 성능을 구현시킬 수 있는 방법에 대하여 설명한다. 본 논문에서는 제안된 방식의 타당성을 검증하기 위하여 이론적 분석 및 시작품을 제작하여 실험을 수행하였으며, 본 연구의 제어 전략과 제품의 성능은 실차 시험을 통하여 그 타당성을 검증하였고 보완설계를 통하여 신뢰성을 확보하였다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.10a
• /
• pp.197-202
• /
• 1997

ORIGEN2코드의 검증계산을 통해 PWR 사용 후 핵연료 조성핵종의 핵종량에 대한 핵임계측면에서 보수성을 가지는 안전인자를 산출하였고, MCNP코드의 검증계산으로 95/95 신뢰구간에서의 계산오차를 구하였다. 이를 바탕으로 직경이 1.2567cm이고 길이가 380.5cm인 196 개 금속봉을 장전한 캐니스터 ( 금속저장체 )가 x-y 방향으로 무한히 배열된 경우에 대해 캐니스터의 두께, 간격 및 외부의 공기중 수분농도에 따른 핵임계 안전해석을 수행하였다. 그 결과, 캐니스터의 두께가 7mm일 때 공기중 수분농도가 0.30 g/㎤이고 캐니스터간의 간격이 6.0cm인 경우의 최종핵 임계도값은 0.94130로서 최대허용핵임계값 (0.942)보다 적은 값을 보였다.

• Journal of the Korean Society of Systems Engineering
• /
• v.2 no.2
• /
• pp.33-38
• /
• 2006

It is well known that efficient management and thorough implementation of stakeholder requirements is vital for a successful development of a large-scale and complex system. Equally important is to make sure that all the requirements be correctly realized in the developed system. For the purpose, verification requirements are derived with traceability from the system requirements. This paper discusses a step by step process for constructing the requirements verification model which includes : 1) the schema modeling both requirements and their traceability; 2) the template documenting the verification requirements; 3) the verification model constructed from the schema; and 4) the test and evaluation plan that can be printed automatically.