• 한국산학기술학회논문지
• /
• 제16권5호
• /
• pp.3071-3080
• /
• 2015

철도를 통한 승객 및 화물 운송의 수요가 증대함에 따라 철도 교통량 및 혼잡도가 증가하여 이에 따른 사고발생 가능성의 상승과 승객서비스 품질의 저하가 중요한 문제로 부각되고 있다. 이러한 문제들에 대한 해결책의 하나로 철도운영에 이용되는 통신서비스망의 통합을 통한 망의 고품질화가 최근에 많은 주목을 받게 되었다. GSM-R이 그러한 요구에 부응하는 유럽에서 개발된 통합 철도통신망인데, 망 자체의 속도 제한 때문에 다양하고 고품질이 요구되는 철도통신 서비스를 제공하는 데에는 제약이 있음이 알려져 있다. 이에 국내에서는 차세대 통신수단인 LTE 기반의 첨단 철도 통합무선망 구축에 관한 연구가 진행 중에 있다. 하지만 철도 통합무선망 자체에 대한 구축이 이루어진다 해도, 통합 통신망을 운영하고 관리하는 시스템이 필요한데 관련 연구가 미흡하다. 본 연구에서는 구축되는 철도 통합무선망을 위한 망의 운영관리 시스템에 대해 연구하는 것이 목표이다. 이를 위해 모델 기반 접근법을 통해 통신망 운영관리 시스템에 대한 개념설계를 수행하였다. 운영관리 시스템 설계에 있어서 먼저 운영관리의 개념을 명확하게 하는 것이 중요하기 때문에, 유스 케이스 다이어그램을 통해 시스템 컨텍스트 모델을 생성하였다. 또한 운영관리 개념의 명확성을 확보하기 위해서 모델링 표준언어인 SysML을 사용하여 운영 시나리오 모델을 생성하였다. 계속해서 SysML 모델들을 EFFBD 모델로 변환한 후 모델 시뮬레이션 및 검증을 수행하였다. 따라서 본 논문에서 보고된 연구 결과는 향후 운영관리 시스템의 개발 단계에서 상세설계를 진행할 때 기본 토대로 활용될 수 있다.

• 융합신호처리학회논문지
• /
• 제10권4호
• /
• pp.274-279
• /
• 2009

시스템수준 설계방법론에서 널리 사용하고 있는 설계흐름도는 시스템명세, 시스템수준의 HW/SW 분할, HW/SW 통합설계, 가상 또는 물리적 프로토타입을 이용한 통합검증, 시스템통합으로 구성된다. 본 논문에서는 SystemVerilog와 SystemC를 기반으로 하여 신속한 기능검증이 가능한 native-code 통합검증환경과 클럭수준 검증까지 가능한 계층화 통합검증환경을 각각 구현하였다. Native-code 통합검증환경은 시스템수준 설계언어인 SystemC를 이용하여 HW/SW 분할단계를 수행한 후, SoC 설계의 HW부분과 SW부분을 각각 SystemVerilog와 SystemC로 모델링하여 상호작용을 하나의 시뮬레이션 프로세스로 검증한다. 계층화된 SystemVerilog 테스트벤치는 임의의 테스트벡터를 생성하여 DUT의 모서리 시험을 포함하는 검증환경으로 본 논문에서는 SystemC를 도입하여 다중 상속을 가지는 통합검증환경의 구성요소를 먼저 설계한 후, SystemVerilog DPI와 ModelSim 매크로를 이용하여 SystemVerilog 테스트벤치와 결합된 통합검증환경을 설계한다. 다중 상속은 여러 기초클래스를 결합한 새로운 클래스를 정의하여 코드의 재사용성을 높이는 장점을 가지므로, 본 논문의 SystemC를 도입한 통합검증환경 설계는 검증된 기존의 코드를 재사용할 수 있는 이점을 가진다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권3호
• /
• pp.211-223
• /
• 2001

본 논문에서 제안하는 시나리오기반 검증기법의 목적은 UML로 작성된 객체지향 분석모델의 완전성 및 일관성을 진단하는 것이다. 검증기법의 전체 절차는 요구분석을 위한 Use Case 모델링 과정에서 생성되는 Use Case 시나리오와 UML 분석모델로부터 역공학적 방법으로 도출된 객체행위 시나리오와의 상호참조과정 및 시나리오 정보트리 추적과정을 이용하여 단계적으로 수행된다. 본 검증절차를 위하여 우선, UML로 작성된 객체지향 분석모델들은 우선 정형명세언어를 사용하여 Use Case 정형명세로 변환하다. 그 다음에, Use Case 정형명세로부터 해당 Use Case 내의 객체의 정적구조를 표현하는 시나리오 정보트리를 구축하고, Use Case 정형명세 내에 포함되어 있는 객체 동적행위 정보인 메시지 순차에 따라 개별 시나리오흐름을 시나리오 정보트리에 표현한다. 마지막으로 시나리오 정보트리 추적과 시나리오 정보 테이블 참조과정을 중심으로 완전성 및 일관성 검증작업을 수행한다. 즉, 검증하고자 하는 해당 Use Case의 시나리오 정보트리를 이용한 시나리오 추적과정을 통해 생성되는 객체행위 시나리오와 요구분석 과정에서 도출되는 Use Case 시나리오와의 일치여부를 조사하여 분석모델과 사용자 요구사양과의 완전성을 검사한다. 그리고, 시나리오 추적과정을 통해 수집되는 시나리오 관련종보들을 가지고 시나리오 정보 테이블을 작성한 후, 분석과정에서 작성된 클래스 관련정보들의 시나리오 포함 여부를 확인하여 분석모델의 일관성을 검사한다. 한편, 본 논문에서 제안하는 검증기법의 효용성을 증명하기 위해 대학의 수강등록시스템 개발을 위해 UML을 이용해 작성된 분석모델을 특정한 사례로써 적용하여 보았다. 프로세싱 오버헤드 및 메모리와 대역폭 요구량 측면에서 MARS 모델보다 유리함을 알 수 있었다.과는 본 논문에서 제안된 프리페칭 기법이 효율적으로 peak bandwidth를 줄일 수 있다는 것을 나타낸다.ore complicate such a prediction. Although these overestimation sources have been attacked in many existing analysis techniques, we cannot find in the literature any description about questions like which one is most important. Thus, in this paper, we quantitatively analyze the impacts of overestimation sources on the accuracy of the worst case timing analysis. Using the results, we can identify dominant overestimation sources that should be analyzed more accurately to get tighter WCET estimations. To make our method independent of any existing analysis techniques, we use simulation based methodology. We have implemented a MIPS R3000 simulator equipped with several switches, each of which determines the accuracy level of the

• 한국컴퓨터정보학회논문지
• /
• 제26권12호
• /
• pp.53-59
• /
• 2021

본 연구에서는 '레플리카'와 같은 텍스트 입력 기반의 부정적 감정 완화가 가능한 국내 인공지능 챗봇인 BERGPT-chatbot을 제안하고자 한다. BERGPT-chatbot은 KR-BERT와 KoGPT2-chatbot을 파이프라인으로 만들어 감정 완화 챗봇을 모델링하였다. KR-BERT를 통해 정제되지 않은 일상 데이터셋에 감정을 부여하고, 추가 데이터셋을 KoGPT2-chatbot을 통해 학습하는 방식이다. BERGPT-chatbot의 개발 배경은 다음과 같다. 현재 전 세계적으로 우울증 환자가 증가하고 있으며, 이는 COVID-19로 인해 장기적 실내 생활이나 대인 관계 제한으로 더욱 심각한 문제로 대두되었다. 그로 인해 부정적 감정 완화나 정신 건강 케어에 목적을 둔 국외의 인공지능 챗봇이 팬데믹 사태로 사용량이 증가하였다. 국내에서도 국외의 챗봇과 비슷한 심리 진단 챗봇이 서비스 되고 있으나, 국내의 챗봇은 텍스트 입력 기반 답변이 아닌 버튼형 답변 중심으로 국외 챗봇과 비교하였을 때 심리 진단 수준에 그쳐 아쉬운 실정이다. 따라서, BERGPT-chatbot을 통해 감정 완화에 도움을 주는 챗봇을 제안하였으며, BERGPT-chatbot과 KoGPT2-chatbot을 언어 모델의 내부 평가 지표인 '퍼플렉서티'를 통해 비교 분석하여 BERGPT-chatbot의 우수함을 보여주고자 한다.

• 한국산학기술학회논문지
• /
• 제20권1호
• /
• pp.268-277
• /
• 2019

유도무기 비행시험 시스템은 비행시험 중 여러 가지 상태를 실시간으로 감시하고 비상상황 발생 시 안전조치를 수행할 수 있어야 한다. 점차 복잡화, 광역화되고 있는 비행시험의 환경 변화 속에서 시험안전 확보의 중요성이 더욱 증대되고 있다. 또한 국내외 정세 변화와 전시작전권 전환 등으로 인하여 다수의 유도무기체계가 동시에 개발되어야 하고 동시에 연구개발 및 시험평가 기간단축을 통한 조기 전략화 및 예산절감도 요구되는 상황이다. 이에 따라 국내의 부족한 시험장 자원 여건 하에서 비행시험 시 발생되는 위험은 증가하고 있으며 시험안전 확보를 위한 대책 마련이 시급한 실정이다. 이러한 요구에 부응하기 위해서 연구개발 초기 단계에서부터 비행시험 시스템의 문제를 식별하고 대처방안을 마련할 수 있도록 모델기반 비행시험 시스템 개발을 본 연구의 목표로 설정하였다. 구체적으로 유도무기 비행시험의 설계 및 검증 방법을 제안하였다. 제안된 방법은 선진 시험평가기관에서 연구하고 있는 Agile 방식의 Shift Left 시험평가 방법론과 항공우주분야에서의 시스템 참조모델을 활용하였다. 연구개발 단계에서 유도무기체계와 동시에 설계를 진행하고 비행시험 요구사항에 대한 상호 간의 결함을 조기에 식별하여 수정함으로써 시험평가 단계에서 수행하는 비행시험 시 발생될 위험을 완화할 수 있다. 또한 항공우주분야에서 복잡한 시스템을 통합하고 검증하는 데 적용하고 있는 참조모델을 기반으로 시스템 모델링 표준 언어인 SysML을 활용하여 모델기반 비행시험 시스템을 구현함으로써 다수의 유도무기 비행시험 설계에 적용할 수 있는 확장성을 갖고 있으며, 시뮬레이션 분석을 통해 비행시험에서 발생하는 문제를 조기에 식별하고 조치함으로써 시험평가 기간의 지연을 방지할 수 있다.

• 한국문헌정보학회지
• /
• 제55권1호
• /
• pp.393-413
• /
• 2021

디지털 정보기술과 인문학적 연구 문제의 결합을 통해 새롭고 혁신적인 지식을 창출하는 디지털인문학은 대표적인 다학제적 융합 학문 분야라고 볼 수 있다. 이러한 디지털인문학 분야의 지적구조를 규명하기 Digital Humanities 학술대회 최근 2년간(2019, 2020)의 논문 441건을 대상으로 저자사항과 키워드 동시출현 네트워크 분석을 수행하였다. 저자와 키워드 분석 결과를 살펴보면, 유럽, 북미 지역, 동아시권의 일본 중국의 저자의 활발한 활동을 찾아볼 수 있다. 공저자 네트워크를 통해서는 11개의 분절된 네트워크를 확인할 수 있으며, 이는 폐쇄적인 공저활동의 결과로 볼 수 있다. 키워드 분석을 통해서는 16개의 세부 주제 영역을 규명할 수 있으며, 이는 기계학습, 교육학, 메타데이터, 토픽모델링, 문체, 문화유산, 네트워크, 디지털아카이브, 자연언어처리, 디지털도서관, 트위터, 드라마, 빅데이터, 신경망 네트워크, 가상현실, 윤리으로 구성된다. 이러한 군집 구성은 디지털 정보기술이 주된 세부 주제 영역으로 자리매김하고 있음을 알 수 있다. 또한 출현빈도가 높은 키워드들은 인문학 기반 키워드, 디지털 정보기술 기반 키워드, 융합 키워드으로 구분될 수 있으며, 디지털인문학의 성장과 발전 과정의 역동성을 찾아볼 수 있다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제13권1호
• /
• pp.35-49
• /
• 2024

컴퓨터 비전과 자연어 처리의 융합의 중요한 결과로서 비디오 캡셔닝은 인공지능 분야의 핵심 연구 방향이다. 이 기술은 비디오 콘텐츠의 자동이해와 언어 표현을 가능하게 함으로써, 컴퓨터가 비디오의 시각적 정보를 텍스트 형태로 변환한다. 본 논문에서는 딥러닝 기반 비디오 캡셔닝의 연구 동향을 초기 분석하여 CNN-RNN 기반 모델, RNN-RNN 기반 모델, Multimodal 기반 모델, 그리고 Transformer 기반 모델이라는 네 가지 주요 범주로 나누어 각각의 비디오 캡셔닝 모델의 개념과 특징 그리고 장단점을 논하였다. 그리고 이 논문은 비디오 캡셔닝 분야에서 일반적으로 자주 사용되는 데이터 집합과 성능 평가방안을 나열하였다. 데이터 세트는 다양한 도메인과 시나리오를 포괄하여 비디오 캡션 모델의 훈련 및 검증을 위한 광범위한 리소스를 제공한다. 모델 성능 평가방안에서는 주요한 평가 지표를 언급하며, 모델의 성능을 다양한 각도에서 평가할 수 있도록 연구자들에게 실질적인 참조를 제공한다. 마지막으로 비디오 캡셔닝에 대한 향후 연구과제로서 실제 응용 프로그램에서의 복잡성을 증가시키는 시간 일관성 유지 및 동적 장면의 정확한 서술과 같이 지속해서 개선해야 할 주요 도전과제와 시간 관계 모델링 및 다중 모달 데이터 통합과 같이 새롭게 연구되어야 하는 과제를 제시하였다.

• 한국도로학회논문집
• /
• 제8권3호
• /
• pp.129-141
• /
• 2006

아스팔트 포장은 점탄성재료로서 포장체에 발생되는 토압은 차량하중의 크기와 재하속도, 아스팔트 포장층의 온도와 하부층의 재료구성에 따라 크기와 분포 양상이 다르게 발생된다. 본 연구는 이러한 다양한 조건에 따른 포장체 하부의 토압분포를 분석하고, 기층과 보조기층의 지지력을 평가하는 평판재하시험 기준과 실제 계측된 토압과의 비교를 통해 현재 적용되고 있는 지지력기준에 대한 타당성을 검토하고자 한다. 또한 실제 포장단면을 모사한 유한요소해석을 통해 포장체 하부에 발생되는 토압을 예측하고 계측결과와 비교함으로서 포장체의 거동을 예측할 수 있는 모델을 제안 하고자 한다. 이를 위해서 시험도로의 2004년 8, 9, 11월과 2005년 8월에 계측이 수행된 아스팔트 포장 동적재하시험 결과 중 계측기 상태가 양호한 A5, A7, A14, A15 단면에 대해 계측결과의 분석을 수행하였다. 토압계의 분석은 차량하중의 크기와 속도. 아스팔트 포장의 온도, 포장하부의 재료구성에 따른 토압의 크기 변화와 차량하중으로 인한 포장체 내부의 횡방향과 깊이방향 하중의 영향 범위를 분석하였다. 포장체의 유한요소해석은 ABAQUS 프로그램을 활용하였으며, 실제 포장체의 거동을 모사하기 위해 시험도로 포장단면을 그대로 반영하고 계측이 이루어진 당시의 온도계측 자료를 활용해 아스팔트 포장의 물성을 적용하였다. 토압계의 분석결과 차량의 하중이 크고 저속으로 주행 할 때 토압의 크기는 증가하고 아스팔트층의 온도가 높을수록 하중의 영향반경이 작아지고 최대 토압크기는 증가하였다. 또한 실제 포장단면과 물성을 적용한 해석결과 계측결과와 매우 유사한 형태의 토압분포와 크기를 보였다. 그리고 기존 보조기층 및 동상방지층의 다짐관리 기준은 실측된 토압과 비교해 볼때 상당히 높은 수준으로 나타났다.다양한 요구에 의해 변화하는 조건들을 수용하기 쉽기 때문에 이에 중점을 두고 성능 문제를 해결하는 데 초점을 맞추었다. 데이터베이스 시스템의 일련의 처리 과정에 따라 DBMS를 구성하는 개체들과 속성, 그리고 연관 관계들이 모델링된다. 데이터베이스 시스템은 Application / Query / DBMS Level의 3개 레벨에 따라 구조화되며, 본 논문에서는 개체, 속성, 연관 관계 및 데이터베이스 튜닝에 사용되는 Rule of thumb들을 분석하여 튜닝 원칙을 포함한 지식의 형태로 변환하였다. 튜닝 원칙은 데이터베이스 시스템에서 발생하는 문제를 해결할 수 있게 하는 일종의 황금률로써 지식 도매인의 바탕이 되는 사실(Fact)과 룰(Rule) 로써 표현된다. Fact는 모델링된 시스템을 지식 도매인의 하나의 지식 개체로 표현하는 방식이고, Rule 은 Fact에 기반을 두어 튜닝 원칙을 지식의 형태로 표현한 것이다. Rule은 다시 시스템 모델링을 통해 사전에 정의되는 Rule와 튜닝 원칙을 추론하기 위해 사용되는 Rule의 두 가지 타업으로 나뉘며, 대부분의 Rule은 입력되는 값에 따라 다른 솔루션을 취하게 하는 분기의 역할을 수행한다. 사용자는 제한적으로 자동 생성된 Fact와 Rule을 통해 튜닝 원칙을 추론하여 데이터베이스 시스템에 적용할 수 있으며, 요구나 필요에 따라 GUI를 통해 상황에 맞는 Fact와 Rule을 수동으로 추가할 수도 었다. 지식 도매인에서 튜닝 원칙을 추론하기 위해 JAVA 기반의 추론 엔진인 JESS가 사용된다. JESS는 스크립트 언어를 사용하는 전문가 시스템[7]으로 선언적 룰(Declarative Rule)을 이용하여 지식을 표현 하고 추론을 수행하는 추론 엔진의 한 종류이다. JESS의 지식 표현 방식은 튜닝 원칙을

• 한국통신학회논문지
• /
• 제29권11B
• /
• pp.980-990
• /
• 2004

본 논문에서는 Ethernet Passive Optical Network(EPON)시스템에서 단말들에 대한 공정성을 부여하는 동적 대역할당 알고리듬을 제안하고 시뮬레이션을 통한 성능분석을 하였다. 기존 EPON에서는 Optical Network Unit(ONU)로부터 보고 받는 버퍼의 상태만을 고려하여Optical Line Termination (OLT)가 상향링크의 대역을 할당한다 이러한 ONU버퍼상태에 따른 대역할당방법은 ONU들에 대한 공정한 대역할당은 가능하지만 ONU에 연결된 단말들에 대한 공정한 대역할당을 보장하지 않는 문제가 있다. 예를 들어, 어떤 ONU에 연결된 어떤 단말로부터의 전송이 일시적으로 폭증할 경우, 급격하게 증가된 이 ONU의 버퍼상태가 OLT에 보고됨으로써, 이 ONU는 더 많은 상향 대역폭을 할당받게 된다. 이러한 대역할당의 결과, 상향전송이 많은 단말에 대해서는 많은 대역이 할당되지만, 상대적으로 전송량이 적은 단말들이 접속된 다른 ONU들에는 기존보다 감소된 대역이 할당됨으로써 이러한 ONU들에 접속되어 있는 단말들의 전송지연시간이증가되는 불공정성 문제가 발생한다. 이러한 문제점에 착안하여, 본 논문에서는 ONU가 보고하는 버퍼상태뿐만 아니라, ONU에 연결된 단말의 개수도 OLT에 보고함으로써, OLT가 단말들에 대한 공정한 대역할당을 할 수 있는 방식을 제안하였다. 제안된 방법의 성능분석을 위해 SIMULA 시뮬레이션 언어를 이용하여 EPON시스템을 모델링하였다. 각 단말과 ONU 관점에서의 수율과 지연시간, 시간에 따른 ONU의 버퍼 변화 등을 비교 분석한 시뮬레이션 결과로부터, 제안된 방법이 각 단말들에 대하여 대역을 공정하게 분배할 수 있음을 보였다. 마지막으로, EPON 시스템을 망사업자가 운용할 때, 최종단에 위치한 가입자 단말들에 대하여 공정하게 대역을 할당할 경우, 제안된 방법이 효율적으로 활용될 수 있을 것이다.고체 식품에서 보다 높게 나타났다. 이상의 결과에서 식습관이 치아우식발생과 밀접한 관계를 가지고 있으므로 초등학교 아동에 있어 치아우식을 유발할 수 있는 간식의 섭취를 줄이되 우식성 식품을 간식으로 섭취한 후에는 잇솔질을 반드시 실시하도록 하며 정규식사에서 치아를 보호하는 세정식품의 섭취에 대한 영양교육이 지속적이고 단계적으로 꾸준히 이루어져야 한다고 본다.lity regardless difference on companies, ages, departments, and authority of an employees. Second, Satisfaction on incentive for employees in Family Restaurants were not well received. Although these necessary demand, there is not yet incentive system operation to most of business. Especially, it is not even studied on Family Restaurants. This study should have been studied on more customers and spotted employees to be objective. It is strongly recommended to do this study without limitation and further studies is considered on this subjects. 비하여 전반적으로 낮은 염증반응을 보였다. 7) 각 군간 결과의 차이에 통계적 유의성은 없었다(p>0.05).mmunity. Then, a hierarchical language is to defeat its own purpose.중 행정부가 북한에 대해 실시한 포용정책이 어떠한 성과를 거두고 어떠한 문제점을 간과하고 있는가에 대해 논의하고, 대북 정책의 새로운

• Investigative Magnetic Resonance Imaging
• /
• 제18권2호
• /
• pp.107-119
• /
• 2014

목적: 실제 촬영 결과와 전자기 모의실험 결과를 시각적으로 비교함으로써 위상배열코일을 이루는 모든 코일 요소의 감도를 효과적으로 검증할 수 있는 소프트웨어를 개발하였다. 대상과 방법: 위상배열코일검증기(PACE)라 불리는 프로그램을 MATLAB과 C언어를 이용해 구현하였다. 위상배열 코일검증기는 코일 소자의 3차원 형상 모델 구축, FDTD 모의실험 결과의 수용, 보통의 직각좌표계 및 코일면에 기준하는 직각좌표계 상에서 각기 코일 소자 감도를 도시하는 기능을 가지고 있다. 위상배열코일의 3차원 형상 모델을 구축하기 위해 바늘침 모양의 3차원 전자기 위치추적기를 사용하였다. 3차원 형상 모델을 만든 뒤, 이 형상 모델 데이터를 FDTD 모의실험 장치에 보낼 수 있게 하였다. 결과: 3차원 전자기 위치추적기를 이용해 실제 실험에 사용된 위상배열코일과 FDTD 모의실험에 사용된 위상배열코일 모델을 정확하게 일치시킴으로써, 각기 코일 소자의 공간적 감도를 평가할 때 모의실험 결과와 촬영실험 결과 사이 정확한 비교가 가능하게 되었다. 모의실험과 실제 촬영실험에는 36 채널의 헬멧형 위상배열코일을 사용하였다. MRI 촬영 대상체로는 FDTD 모의실험의 모델과 같은 크기와 형상을 가진 원통형 팬텀을 사용하였다. 개발한 프로그램에서는 위상배열코일의 성능을 편리하게 평가하기 위해 관심 코일 소자를 쉽게 선택할 수 있게 하였다. 결론: 개발한 위상배열코일 성능 검증 프로그램은 위상배열코일의 개발 및 정기적인 유지보수에 사용될 수 있을 것으로 기대한다.