• 인터넷정보학회논문지
• /
• 제22권6호
• /
• pp.141-150
• /
• 2021

인공지능(Artificial Intelligence) 기술을 활용하여 인공지능 기반의 전쟁 (AI-enabled warfare)가 미래전의 핵심이 될 것으로 예상한다. 자연어 처리 기술은 이러한 AI 기술의 핵심 기술로 지휘관 및 참모들이 자연어로 작성된 보고서, 정보 및 첩보를 일일이 열어확인하는 부담을 줄이는데 획기적으로 기여할 수 있다. 본 논문에서는 지휘관 및 참모의 정보 처리 부담을 줄이고 신속한 지휘결심을 지원하기 위해 언어 모델 기반의 다출처 정보 통합 (Language model-based Multi-source Information Integration, LAMII) 프레임워크를 제안한다. 제안된 LAMII 프레임워크는 자기지도 학습법을 활용한 언어 모델에 기반한 표현학습과 오토인코더를 활용한 문서 통합의 핵심 단계로 구성되어 있다. 첫 번째 단계에서는, 자기지도 학습 기법을 활용하여 구조적으로 이질적인 두 문장간의 유사 관계를 식별할 수 있는 표현학습을 수행한다. 두 번째 단계에서는, 앞서 학습된 모델을 활용하여 다출처로부터 비슷한 내용 혹은 토픽을 함양하는 문서들을 발견하고 이들을 통합한다. 이 때, 중복되는 문장을 제거하기 위해 오토인코더를 활용하여 문장의 중복성을 측정한다. 본 논문의 우수성을 입증하기 위해, 우리는 언어모델들과 이의 성능을 평가할 때 활용되는 대표적인 벤치마크 셋들을 함께 활용하여 이질적인 문장간의 유사 관계를 예측의 비교 실험하였다. 실험 결과, 제안된 LAMII 프레임워크가 다른 언어 모델에 비하여 이질적인 문장 구조간의 유사 관계를 효과적으로 예측할 수 있음을 입증하였다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2004년도 전력전자학술대회 논문집(1)
• /
• pp.374-379
• /
• 2004

H-브릿지 멀티레벨 인버터는 여러 개의 단상 Power Cell을 직렬로 연결함으로써 저전압 전력용 반도체를 사용하여 고전압을 얻을 수 있고, 정현파에 가까운 출력전압 파형을 얻을 수 있는 멀티레벨 인버터 토폴로지이다. 본 토폴로지는 출력전압 레벨에 비례하여 Power Cell의 수가 증가하므로, 주제어기의 연산능력에 대한 부담증가와 신호선의 많아지는 단점이 있다. 따라서 Power Cell제어를 직접적인 PWM 신호가 아닌 통신을 사용함으로써 이러한 단점을 극복할수 있으며, 신뢰성 측면이나 보수/유지 측면에서도 유리하다. 본 논문은 산업현장에서 신뢰성을 인정받아 많이 사용되고 있는 직렬통신 방식의 일종인 CAN통신 인터럽터를 이용한 H-브릿지 멀티레벨 인버터 Power Cell의 PWM 동기화 및 위상 전이 방법에 관한 것이다. 제안된 방법의 주요 장점은 주제어기와 셀 제어기 사이에 직렬통신(CAN)을 사용함으로써 주제어기와 셀 제어기의 신호선의 단순화, 주제어기의 부담 감소, Power Cell의 모듈화, 셀 단위의 보호동작 용이, 확장성 향상 그리고 제어 신호 및 Power Cell의 신뢰성을 향상에 있다. 13레벨로 구성된 H-브릿지 멀티레벨 인버터 시험을 통해 제안된 방법의 타당성과 신뢰성을 입증하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권2호
• /
• pp.120-133
• /
• 2000

산업현장에서 복합 실시간 계통(HRTS: Hybrid Real-Time Systems) 개발을 위한 정형기법 사용의 주된 장벽은 인지적 어려움이며 이는 또 다른 위험을 초래할 수 있다. 이러한 문제를 극복하기 위해 HRTS 요구분석과 안전성 분석 시 사용자의 인지적 부담을 줄여줄 수 있는 정성적 요구분석 체계를 제안한다. 이 체계는 요구사항 명세를 위한 정성적 정형기법(QFM: Qualitative Formal Method)과 인과정보에 의한 요구사항 안전성 분석기법(CRSA: Causal Requirements Safety Analysis)으로 구성되어 있다. QFM에서는 인공지능 분야에서 연구된 정성추론 이론을 정형명세에 도입하여 요구사항 설계자와 분석자의 인지적 부담을 줄일 수 있도록 하였다. CRSA는 QFM에서 도출한 HRTS 동작의 인과 정보에 따라 체계적으로 위험 원인을 추적할 수 있도록 하여, 기존 결함 트리 분석(FTA: Fault Tree Analysis) 기법의 단점인 분석자의 주관에 의존하는 문제를 해결한다. 월성 원자력 발전소 자동정지계통(Shutdown System 2) 소프트웨어 요구사항 명세와 안전성 분석에 QFM과 CRSA를 적용하여 그 실효성을 입증하고자 하였다.

• 한국항공우주학회지
• /
• 제48권12호
• /
• pp.969-976
• /
• 2020

전 세계적으로 도심항공교통이 미래 혁신산업으로 주목받고 있으며 국내/외 유수의 산업체들은 신개념의 전기동력 수직이착륙 항공기 설계 및 제작에 구조적 강건성과 경량화를 위해 복합재료의 적용을 고려하고 있다. 본 논문에서는 신개념의 전기동력 수직이착륙 항공기에 복합재료를 적용하기 위하여 항공선진국의 복합재료 인증체계 및 국내 실정에 적합한 항공용 복합재료 인증 절차 및 방법, 재료 입증을 수행할 조직구성 등 항공안전기본계획에 의해 제도화된 복합재료 인증체계에 대해 분석하였다. 국내에서 수립된 항공용 복합재료 인증체계에 의해 신개념의 전기동력 수직이착륙 항공기 제작사는 사전 소재인증을 통해 국산 항공기에 복합재료를 적용하는 것이 용이해졌을 뿐만 아니라 형식증명 기간 내에 소재 입증에 대한 부담이 감소할 것이다. 또한, 재료 품질 및 성능이 입증된 국산 복합재료의 제작사는 국산 항공기 적용을 위한 진입이 수월할 것이며 항공기에 적용한 경험이 있는 재료 제작사는 해외 수출에도 긍정적인 영향을 미칠 것이다. 이를 통해 신개념의 전기동력 수직이착륙 항공기 산업발전을 도모하고 국내에서 제작된 기체의 국제적 신인도 제고를 기대할 수 있을 것이다.

• 대한전자공학회논문지SD
• /
• 제44권4호
• /
• pp.73-79
• /
• 2007

본 논문에서는 트랜잭터를 정형화하고 DUT(Design Under Test)의 다양한 입출력에 따라 자동으로 트랜잭터를 생성해주는 생성기를 구현하였다. 호스트 컴퓨터와 FPGA(Field Programmable Gate Array) 사이의 PCI(Peripheral Component Interconnect) 인터페이스 신호들로 구성된 트랜잭터 프로토콜에 의존하는 블록과 DUT에 의존하는 블록으로 신호들을 재정리 함으로써 트랜잭터를 정형화하고 설계하였다. 구현된 트랜잭터의 자동 생성기는 DUT의 입출력에 관한 정보를 GUI(Graphical User Interface)를 통하여 입력받아 정형화된 하드웨어 블록들을 근간으로 입력정보를 추가하여 각각의 블록들을 만들어 하나의 Verilog 코드로 생성하는 동작을 한다. 자동 생성기의 정상동작을 확인하기 위하여 이미 검증된 하드웨어 블록을 이용하여 생성된 트랜잭터의 정상동작을 입증하였고, 사용자가 직접 설계한 트랜잭터와 비교함으로써 생성된 트랜잭터의 효율성을 입증하였으며 DUT의 다양한 입출력 정보들에 대하여 융통성 있게 동작하는 자동 생성기를 검증하였다. 트랜잭터 자동 생성기를 이용하는 경우 트랜잭터 설계시간을 단축 할 수 있고, 사용자가 트랜잭터 프로토콜를 이해하고 트랜잭터를 설계하는 부담을 줄여 시뮬레이션 속도가 빠른 트랜잭션 레벨 검증모드를 쉽게 사용 할 수 있도록 하였다.

• 한국전산구조공학회논문집
• /
• 제20권3호
• /
• pp.303-309
• /
• 2007

무한영역에서 진행하는 탄성파를 유한영역에서 수치적으로 해석하기 위해 많은 흡수경계조건들이 제안되어져 왔다. Paraxial 경계조건은 흡수경계조건의 하나로서 스칼라 및 탄성파 방정식의 paraxial 근사화를 통해 얻어지며, 그 성능이 우수하고 수치해석시 계산적 부담을 주지 않는다. 그러나 경계조건이 복잡한 편미분 방정식으로 표현되어 있어 유한요소해석으로의 적용이 어렵다. 본 논문에서는 penalty function method를 이용하여 전체 에너지 범함수와 paraxial 경계조건을 함께 변분정식화 함으로써 유한요소해석을 수행하였다. 유한요소해석에 가장 적용이 용이하며, 많이 사용되어지는 Lysmer-Kuhlemeyer의 흡수경계조건과 성능을 비교함으로써 연구결과의 타당성을 입증하였다.

• 한국정보통신학회논문지
• /
• 제9권4호
• /
• pp.693-697
• /
• 2005

본 논문에서는 Multi-Carrier 방식중의 하나인 MC DS/CDMA 방식과 대역확산 방식중의 하나인 주파수 호핑 방식을 결합한 FH MC-DS CDMA 시스템에서 SFH와 FFH를 적용하여 나카가미 페이딩 채널 하에서 멀티톤 재밍을 고려하여 시스템의 BER 성능을 비교 $\cdot$ 분석하였다. 호핑 횟수가 증가된다는 것은 주파수 다이버시티의 효과를 얻을 수 있게 되어 수신측의 부담을 줄이면서 FH MC DS/CDMA 시스템의 BER 성능을향상 시킬 수 있다는 것을 의미한다. 따라서 호핑 횟수를 증가시킴으로써 FH MC/DS CDMA 시스템의 성능을 개선할 수 있음을 입증하였다.

• 정보관리학회지
• /
• 제15권1호
• /
• pp.129-148
• /
• 1998

본 연구의 목적은 기존의 불논리 검색 시스템에서 사용할 수 있는 실용적인 피드백 검색 기법을 찾아내는 것으로서, 이용자의 적합성 평가 부담을 덜어줄 수 있도록 사전에 이용자 모형을 구축하여 놓고 피드백 검색시 시스템이 자동으로 적합성 평가를 하는 이용자 모형 기반 피드백 검색 기법을 제안하고 이의 유용성을 실험적으로 입증하였다. 이를 위하여 먼저 증진된 불논리 검색 모형인 DNF 검색 모형과 P-norm 검색 모형을 사용한 피드백 검색 실험을 실시한 후, 검색효율이 높게 나온 DNF 모형을 채택하여 이용자 모형 기반 피드백 검색을 실시하였다. 실험 결과 모든 피드백 검색은 초기검색에 비해 검색효율이 크게 향상되었으며, 이용자 모형 기반 피드백 검색은 DNF 피드백 검색 결과에는 못미치지만 P-norm 피드백 검색 결과와는 거의 같은 수준의 검색효율을 보였다.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 2000년도 추계공동학술대회논문집
• /
• pp.695-702
• /
• 2000

OTS(Operator Training Simulator) 소프트웨어는 원자력발전소, 화력발전소 또는 화학공장 등과 같은 플랜트의 동적 특성을 실제의 플랜트와 같게 컴퓨터 환경을 이용하여 모의하는 기능을 수행한다. OTS 소프트웨어는 개발 규모가 방대하고 개발에 소요되는 시간과 비용부담이 큰 특징을 갖는다. 또한 플랜트 공정제어와 감시에 대한 전문지식이 요구된다. 따라서 OTS 소프트웨어 개발은 정부투자기관이나 연구기관의 자체인력을 활용하여 개발되어 왔다. 그러나, 최근에는 아웃소싱이 보편화됨에 따라 OTS 소프트웨어 개발 또한 외주개발 형태를 띄게 되었다. OTS 소프트웨어 외주개발은 소프트웨어 개발회사들에게 동등한 기회를 부여하기 위하여 일반적으로 2 단계 공개경쟁 형태로 프로젝트가 수행된다. 즉, 기술규격경쟁과 가격경쟁의 결과에 따라 외주개발 회사가 선정된다. 국내 소프트웨어 개발회사들의 경우에 OTS 소프트웨어 개발경험이 적으므로 OTS 소프트웨어 개발 프로젝트 수주를 위한 첫 번째 장벽은 발주자의 제안요청서에 합당하는 기술 제안서를 작성하여 OTS 소프트웨어를 개발할 수 있는 기술적 사업적 능력이 충분함을 입증하는 일이다 본 연구에서는 OTS의 유형과 특징, 프로젝트의 기술제안서 평가요소를 고찰하고 OTS 소프트웨어 개발에 참여하려 고 개발회사가 제안서를 작성 제출할 경우에 기술규격 경쟁에서 우위를 점할 수 있는 기술제안서 작성방안을 토의한다.

• 한국정보교육학회:학술대회논문집
• /
• 한국정보교육학회 2008년도 동계학술대회
• /
• pp.263-268
• /
• 2008

학교의 학습 과정에 있어서 학습자 간의 학습 능력의 차이는 존재하며 이를 해결하기 위해 교육과정에서는 개별 학습과 수준별 학습을 권장한다. 유무선 인터넷을 통한 수준별 학습은 최근에 많은 연구가 되고 있는 u-러닝(Ubiquitous Learning) 환경에도 부합하며 학습자 개개인이 자신의 속도와 수준에 맞게 자기주도적으로 학습을 하기에 알맞은 방법이라 할 수 있다. 이에 본 연구에서는 학습자가 시간과 공간에 구애받지 않고 자율적으로 수준에 맞게 학습할 수 있는 수준별 학습 시스템을 설계하였다. 특히 시스템에 체계성을 더하기 위해 개별화 학습 체제 중에서 과거 많은 연구를 통해 그 효과성이 입증된 Keller의 PSI(Personal System of Instruction) 이론을 활용하여 시스템의 각 과정을 설계하였다. 본 시스템의 장점은 다음과 같다. 첫째, 학습자가 원하는 시간과 공간에서 자신의 속도에 맞게 학습할 수 있으므로 자기주도적인 학습 능력을 기를 수 있다. 둘째, 시스템 구성상 평가를 통해 일정한 기준에 미달하면 목표에 도달할 때까지 계속 학습하고 도전해야 하므로 궁극적으로 완전학습에 도달할 수 있다. 셋째, 제한된 교실 상황에서 벗어나 온라인에서의 학습 지원이 가능하므로 학습자의 개인차에 따른 수준별 학습을 관리하고 책임져야 하는 교사의 부담을 덜어준다.