• 한국산학기술학회논문지
• /
• 제10권10호
• /
• pp.2676-2683
• /
• 2009

본 논문은 소프트웨어 설계 시 향상된 오류 검출방법을 통해서 소프트웨어 설계의 질을 향상시켜 그에 따른 소프트웨어 제품의 질을 향상시키는데 목적을 두고 있다. 본 논문에서 오류검출의 범위는 일관성결여 오류로 제한하여 일관성 오류에 관한 명세에 초점을 맞춘다. UML 표현의 문제점인 의미 일관성 표현의 한계를 극복하기 위해 ODES 모델을 제안하였으며 검증방법으로 일관성 검사 방법을 제안한다. UML 설계에서 확인된 의미적으로 중요한 특징이 ODES 모델로 구현되며, UML 모델을 ODES 모델로 변환과정에서의 일관성검사방법을 제시한다. ODES 모델로의 변환과정은 ODES 모델의 인스턴스를 생성하기 위한 알고리즘에서 복수의 사상테이블을 이용하는 소프트웨어 설계의 어휘분석과 의미분석을 포함한다.

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

1979년 3월 Three Mile Island 2 (TMI-2) 발전소에서 사고가 발생했을 때 원자로용기내에 생성된 수소기체로 인하여 운전원은 원자로용기의 수위를 정확히 측정할 수 없었으며, 이로 인하여 사고상태를 신속히 파악하지 못하였다. TMI 사고이후 미국 원자력규제위원회 NRC는 이 같은 문제점을 해결하고자 미국내 모든 원전에서 사고 또는 비정상 조건이 발생할 경우에 원자로 용기 수위에 대하여 운전원이 신뢰성을 갖을 수 있는 후속조치를 수행토록 요구하였다. 또한 미국의 대표적인 전력연구소인 EFRI에서는 개량형 경수로 (Advanced Light Water Reactor : ALWR) 설계 요건으로 이러한 설계가 반영되도록 요건화 하였다.［1］. 본 논문에서는 2,825 MWt급 한국형 표준원전을 대상으로 EPRI에서 요구한 설계요건에 따라 TMI 2 발전소에서와 같은 사고로 인하여 수소기체가 발생했을 경우와 발전소가 비정상 상태로 인하여 증기가 발생했을 경우에, 이를 신속히 제거하여 운전원이 원자로용기의 수위를 정확히 감지할 수 있도록 하는 설계 방안을 검토하였다. 따라서, 설계방안으로 원자로용기에 모인 증기 또는 수소기체를 계통중 가장 높은 위치에 있으며, 계통구성 기기중 유일하게 2상을 유지하고 있는 가압기로 배출시키고자 두 기기간에 연결관을 설치하는 방안에 대해서 분석하였다. 원자로용기 상부해드와 가압기를 연결하는 방안은 여러가지가 있으나, 검토한 결과 한국형 표준원전에서는 연결관을 가압기 상부해드보다 4m 높게하여 원자로용기 상부해드와 연결하는 방안이 EPRI의 설계요건을 만족하면서 기존설계에 영향을 가장 적게 미치는 적합한 설계방안으로 분석되었다.크다는 단점이 있다.TEX>$_2$O$_3$ 흡착제 제조시 TiO$_2$ 함량에 따른 Co$^{2＋}$ 흡착량과 25$0^{\circ}C$의 고온에서 ZrO$_2$와 $Al_2$O$_3$의 표면에 생성된 코발트 화합물을 XPS와 EPMA로 부터 확인하였다.인을 명시적으로 설명할 수 있다. 둘째, 오류의 시발점을 정확히 포착하여 동기가 분명한 수정대책을 강구할 수 있다. 셋째, 음운 과 정의 분석 모델은 새로운 언어 학습시에 관련된 언어 상호간의 구조적 마찰을 설명해 줄 수 있다. 넷째, 불규칙적이며 종잡기 힘들고 단편적인 것으로만 보이던 중간언어도 일정한 체계 속에서 변화한다는 사실을 알 수 있다. 다섯째, 종전의 오류 분석에서는 지나치게 모국어의 영향만 강조하고 다른 요인들에 대해서는 다분히 추상적인 언급으로 끝났지만 이 분석을 통 해서 배경어, 목표어, 특히 중간규칙의 역할이 괄목할 만한 것임을 가시적으로 관찰할 수 있 다. 이와 같은 오류분석 방법은 학습자의 모국어 및 관련 외국어의 음운규칙만 알면 어느 학습대상 외국어에라도 적용할 수 있는 보편성을 지니는 것으로 사료된다.없다. 그렇다면 겹의문사를 [-wh]의리를 지 닌 의문사의 병렬로 분석할 수 없다. 예를 들어 누구누구를 [주구-이-ν가] [누구누구-이- ν가]로부터 생성되었다고 볼 수 없다. 그러므로 [-wh] 겹의문사는 복수 의미를 지닐 수 없 다. 그러면 단수 의미는 어떻게 생성되는가\ulcorner 본 논문에서는 표면적 형태에도 불구하고

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

액화 천연 가스 플랜트 시뮬레이터는 막대한 자본 투자가 필요한 대형 시스템 설계 및 건설 단계에서 사전에 설계 오류 검출 및 시스템 검증을 함으로써 많은 비용을 절약해줄 수 있는 중요한 시스템이다. 이 연구에서는 플랜트, 시뮬레이터, 운전원 훈련 시스템 및 제어시스템을 운전하는 과정에서 발생하는 정보를 효과적으로 처리하기 위해서 구축되는 정보 처리 시스템의 기본 설계에 관한 내용을 소개한다. 전체 시스템은 물리적 플랜트와 가상 플랜트로 나눌 수 있고 가상 플랜트는 시뮬레이터와 운전원 훈련 시스템으로 구현되며, 제어 시스템은 PLC로 구현하고 Modubus 프로토콜과 OPC 서버를 통해 데이터 처리가 가능하다. 플랜트로부터 생성되는 데이터 처리에서는 실시간 데이터 처리 속도가 중요하므로 실시간 데이터베이스를 도입하였다. 실제 플랜트 데이터와 시뮬레이터 데이터는 상호 교환이 가능하도록 구성하였다. 본 시스템 설계는 기본 설계 단계이므로 향후 LNG 플랜트에 적용하기 위해서는 상세 설계가 필요하다.

• 한국정보통신학회논문지
• /
• 제3권4호
• /
• pp.831-837
• /
• 1999

본 논문에서는 Viterbi 복호기의 동작을 고속화할 수 있는 구조를 제시하였고, 제시된 방식으로 설계된 Viterbi 복호기를 CPLD 칩으로 구현하였다. Altera사의 Design Compiler를 이용하여 FLEX10K 칩에 합성한 Viterbi 복호기는 최고 20[Mbps]급 전송속도를 갖고 있으며, ASIC 설계시 100Mbps 이상의 속도가 가능하므로 고속 무선멀티미디어통신 시스템의 오류정정부호로 적용될 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (A)
• /
• pp.283-285
• /
• 2004

개발과정에서의 오류로 인한 취약점을 이용한 공격들이 늘어나면서 이에 대한 보안패치를 체계적인 방법으로 신속하게 자동 분배가 가능한 보안패치 분배 시스템에 대한 필요성이 증대되고 있다. 그러나, 이러한 시스템을 설계 및 구현하는 과정에서 많은 문제점이 대두되었다. 본 논문에서는 이러한 문제점들을 해결하고 분산 시스템 환경 및 안전한 통신을 기반으로 보안패치를 분배할 수 있도록 하기 위해서 Java RMI와 SSL를 함께 사용한 보안패치 분배 시스템 프레임워크를 설계, 제시하고자 한다.

• 한국산학기술학회논문지
• /
• 제20권12호
• /
• pp.102-109
• /
• 2019

본 논문은 K56 탄약운반장갑차에 장착되는 서보제어기의 통신오류를 제거하기 위한 회로카드조립체의 설계에 대한 연구이다. K56 탄약운반장갑차는 K-55A1 자주포에 탄약 보급 및 적재를 자동화한 무기체계로써, 탄약운반장갑차의 서보제어기는 탄약이동 제어를 담당하는 핵심적인 기능품이다. 따라서, 서보제어기는 K-55A1 자주포의 운용성을 위해 높은 통신 안정성 및 신뢰성이 요구된다. 그러나, 기존의 서보제어기는 간헐적인 통신오류가 발생하는 문제점이 확인되었으며, 이로 인한 긴급정지 현상이 발생한 바 있다. 본 논문은 이러한 문제를 해결하기 위해 서보제어기의 통신신호 분석 및 서보제어기의 회로카드조립체에 대한 고장원인을 식별하였다. 또한 고장원인 분석을 통해 회로카드조립체의 Data/Address 라인에 의한 신호간섭이 발생하는 현상을 확인하였으며, 각 통신회선 간의 이격거리 조정, 위치변경 등의 신호간섭을 회피하는 재설계를 수행하여 통신오류 현상을 해소하였다. 마지막으로 제안된 원인 분석 및 설계의 유효성을 서보제어기 단품시험과 체계장비 부착시험을 통해 입증하였다. 따라서, 서보제어기의 신뢰성 확보를 통한 방위력 향상과 더불어, 통신의 신뢰성이 필요한 유사품목의 설계에도 참고자료가 될 것으로 기대된다.

• 천문학회보
• /
• 제37권2호
• /
• pp.181.2-181.2
• /
• 2012

우주공간에서는 solar particle과 galactic cosmic ray에 포함된 proton, electron 및 heavy ion등에 의해 radiation 현상이 발생하는데 이는 각종 전자장비의 성능 감쇄 및 디지털 장비의 내부 정보를 교란을 야기할 수 있다. 특히 메모리의 bit 정보가 반전되는 Single Event Upset (SEU)의 경우 인공위성 및 우주정거장 등의 시스템에서도 빈번히 발생할 수 있으며 적절한 조치가 이루어지지 않으면 주어진 임무 수행 실패는 물론 시스템 failure까지 이를 수 있다. 따라서 SEU에 의한 문제 발생 시 신속한 문제 확인 및 대처가 매우 중요하다. 본 논문에서는 SEU의 발생 원인 및 영향과 기존의 오류 검출 및 수정 기법에 대해 소개하도록 한다. 또한 효율적이고 신뢰성 있는 설계를 위해 각 하드웨어 소자 특성에 따른 적합한 SEU 회피 방안을 제시하도록 한다.

• 한국지능시스템학회논문지
• /
• 제3권3호
• /
• pp.38-54
• /
• 1993

퍼지 제어기(FLC)는 Max-Min CRI 방법을 이용하여 추론하는 시스템이다. 그러나 이 방법은 주관적인 멤버쉽 함수의 결정, 오류 발생 가중치 전략, 비합리적인 추론 규칙들의 조합이라는 세가지 문제점 때문에 원하는 추론 결과와 실제 추론 결과 사이에 상당한 오류 영역을 발생시킨다. 본 논문에서는 이를 해결하기 위해 퍼지 이론에 신경 회로망의 학습 기능이 융합되어 지능적으로 작동하는 뉴로-퍼지 시스템(INFS)을 제안한다. INFS는 이상의 문제 해결 방안이 지식 획득 단계, 적응 조절단계를 통해 작동함으로써 임의의 입력에 대해서도 추론이 가능한 시스템이다. 제안된 INFS를직류 계열 모니터에 적용한 결과 신경 회로망을 사용하지 않았을때 보다 오류 영역을 상당히 줄여주었다. 또한 학습 시간을 고려해 볼 때, INFS에서 사용하는 추론 방법(NCRI 방법)이 지금까지 다른 방법에 비해 휠씬 효율적이었다.

• 한국정보처리학회논문지
• /
• 제6권8호
• /
• pp.2072-2087
• /
• 1999

소프트웨어의 대형화와 사용자 요구사항의 복잡화에 따라, 소프트웨어 개발 초기 단계에서의 산출물의 정확성과 일관성은 중요해지고 있다. 하지만, 객체지향 방법을 기반으로 한 설계 문서에 대한 오류 검출 및 일관성 점검을 위한 기법은 만족할 만한 수준에 이르지 못하고 있다. 본 논문은 UML(Unified Modeling Language)의 다이어그램들에 대한 메타모델을 작성하고, 메타모델의 각 요소들에 대하여 적용할 일반화된 메타규칙을 도출하고, 메타규칙들을 각 다이어그램에 적용한 세부규칙 도출에 활용하였다. 이 방법은 오류 검출과 일관성 점검에 활용할 세부규칙들을 체계적으로 도출하므로, 규칙의 완전성을 도모하고 규칙적용의 자동화를 가능하게 하였다. 또한, 도출된 세부규칙을 적용한 사례를 통하여 그 효용성을 확인하였다.

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

차세대 원전 경보시스템에서의 경보처리는 발전소의 과도상태 및 비정상운전시 경보필터링, 경보억제, 발전소 상태에 근거한 우선순위처리 등을 적용하여 운전원에게 경보정보를 효율적으로 처리하고자 한다. 경보표시 측면에서는 인간공학 및 인지공학적 요소를 적용하여 운전원의 인적오류를 최소화하여 기존 경보계통의 단점을 개선하고자 하였다. 본 논문에서는 차세대 경보계통설계의 구현을 위해서 COAST(Computerized Alarm System Toolbox)를 사용하여 경보처리방법 중 그룹핑기법을 구현하였다.