• Proceedings of the KIEE Conference
• /
• 2007.10a
• /
• pp.305-306
• /
• 2007

본 논문은 차세대 원전 신고리 #3, 4호기 NSSS(Nuclear Steam Supply System) 제어계통의 검증시스템을 개발하기 위한 설계개념에 관한 것이다. 차세대 원전 신고리 #3, 4호기는 KHNP(Korea Hydro & Nuclear Power Co., Ltd.)가 개발한 APR1400(Advanced Power Reactor 1400 [MWe])을 적용하는 최초의 원자력 발전소이다. APR1400은 3세대 원자력발전소로 인정받고 있으며, APR1400 원자력발전소의 안전한 운영을 위하여 I&C(Instrumentation and Control)시스템이 디지털 표준 플랫폼으로 설계되었다[2]. 특히, 차세대 원전 신고리 #3, 4호기의 비안전계통(제어 감시 및 경보계통)은 WEC (Westinghouse Electric Company)의 DCS(Distributed Control System) 상용 단일 플랫폼으로 구성될 예정이다. 우리는 신고리 #3, 4호기의 제어계통 중에서 NSSS(Nuclear Steam Supply System) 제어계통의 검증시스템을 개발하기 위하여 Stimulated Simulator의 방법론을 적용하여 "Simulator"라는 설계 개념을 정립하였다. 현재 원자력발전소 NSSS 제어계통의 DCS Stimulator 개발을 위하여 차세대 원전 신고리 #3, 4호기에 시설될 WEC의 DCS와 Simulation 서버 그리고 I/O 설비를 구축 중에 있으며, 원자력발전소 현장 기기 모델링 소프트웨어와 I/O 설비간의 인터페이스를 위한 동신 소프트웨어도 개발하고 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.638-640
• /
• 1999

객체지향 방법의 초기 단계인 객체지향 분석은, 문제 기술서에서 사용자 요구 사항을 실 세계의 개념과 도메인 지식을 통하여 객체 관점에서 모델링하고, 객체 지향 요구 명세를 생성하는 절차이다. 기존에 제안된 객체 모델링 방법론에서 분석 단계의 정적 모델링은 시멘틱 모델 등의 풍부한 시멘틱을 제공하여 모델과 모델링의 많은 부분들을 정형화할 수 있었다. 그러나 대부분의 방법론들의 분석과정은 동적 모델의 정형화가 미흡하다. 본 논문에서는 시스템의 정적인 구조를 검증할 수 있는 정보 트리 모델에 동적인 행위 정보를 포함하도록 확장하고, 검증 절차를 제시함으로써 시스템의 동적 행위를 검증할 수 있게 하였다. 또한, 객체 지향 요구 명세의 동적인 행위에 대한 검증은 확장 정보트리를 사용하여 use case와 시나리오를 추적하면서 검증한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2008.05a
• /
• pp.458-462
• /
• 2008

교육에서 수월성의 문제가 처음 제기된 문제는 아니지만 국가 간의 경쟁력이란 차원에서뿐만 아니라 교육환경의 개선이란 차원에서도 현대사회에서 창의적인 사고력을 지닌 학생의 교육이 무엇보다 강조되고 있다. 이 논문에서는 정보 영재의 교육 중에서 프로그래밍을 위한 사고력 신장에 적합한 교수-학습 모형 개발 및 적용에 목적을 두고 있다. 제안된 교수-학습 모형에서 자료구조로는 트리를 구성하고 제어구조로는 recursion 개념을 학습하도록 하고 있다. 정보 영재 지도에 도입할 수 있는 가능성을 모색하기 위해 교수-학습 모형을 현장에 적용하여 교육 프로그램 개발의 타당성을 검증한다. 예제로 선택한 하노이 타워를 트리로 구성하는 방법과 트리 탐색의 방법으로서 recursion 개념을 적용하는 교수-학습 활동으로 사고력 신장을 위한 교육 프로그램 개발의 타당성을 검증한다.

• Electronics and Telecommunications Trends
• /
• v.29 no.5
• /
• pp.125-135
• /
• 2014

ICN(Information Centric Networking)은 데이터가 저장되어 있는 위치(where) 중심으로 동작하고 있는 현재의 인터넷 패러다임을 사용자의 최종 관심사인 데이터(what) 중심으로 이동하고자 하는 새로운 네트워킹 구조이다. 이 패러다임은 최근 들어 대두된 것은 아니며 이미 2000년대 초반부터 이러한 개념을 도입한 실험적 프로젝트들이 있어 왔다. 이러한 다양한 연구과제들은 세부적인 기술측면에서는 다소 차이가 있지만, 지향하는 목표 측면에서는 유사한 개념이라고 볼 수 있다. 하지만 데이터 중심 인터넷 구조에 대한 관심이 높아지면서 개별적 기술들을 아우르는 기술표준화에 대한 관심이 높아졌는데, 인터넷 선행기술을 연구하는 인터넷 연구 그룹(IRTF: Internet Research Task Force)에서는 이러한 표준화 요구를 수용하여 ICNRG(ICN Research Group)라는 연구그룹을 결성하고 2012년부터 관련 기술의 선행기술 표준연구를 시작하였다. 본고에서는 ICNRG에서 작업 중인 표준문서를 기반으로 이러한 ICN 기술에서의 연구과제를 검토해보고 ICN 기술을 검증/평가하기 위한 검증 시나리오에 대해서도 정리해 보고자 한다.

• Annual Conference of KIPS
• /
• 2006.05a
• /
• pp.1355-1358
• /
• 2006

임베디드 리눅스 디바이스 드라이버의 개발이 증가하면서 이에 대한 오류 테스트 기능을 가진 모듈의 필요성이 증가되고 있다. 본 논문은 리눅스 디바이스 드라이버를 위한 freed 메모리 오류 테스트 모듈의 기본 개념을 제시하며, 기본 개념을 바탕으로 오류 테스트 모듈을 설계한다. freed 메모리 오류 테스트 모듈 설계를 위해 리눅스 USB 디바이스 드라이버에 설계하고, 오류가 발생할 가능성이 존재하는 부분에 대한 검증을 위한 코드를 추가하여 테스트 모듈을 작성한다. 오류 테스트 모듈 설계를 위해서 usb storage 디바이스 드라이버를 대상으로 하였다. 또한 작성된 오류 테스트 모듈의 실험을 진행하였다. 실험을 통해 리눅스 디바이스 드라이버의 오류 테스트 모듈의 동작을 확인할 수 있다.

• Journal of Korea Society of Industrial Information Systems
• /
• v.7 no.5
• /
• pp.73-82
• /
• 2002

The economic relevance of Web applications increases the importance of controlling and improving their quality. Moreover the new available technologies for the development allow the insertion of sophisticated functions, but often leave the developers responsible for the organization and evolution. As a consequence, a high demand is emerging for methodologies and tools for quality assurance of Web based systems. In this paper, a UML model of Web applications is introduced for their high level representation and concept of the verification and validation activities. In this paper proposed analysis algorithm that was based on Domestic Website and presented result through experiments.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2005.05b
• /
• pp.95-99
• /
• 2005

중장기 이수계획 수립이나 미래 기후변화에 대한 수자원 영향평가 연구 등에서 월 단위 이상의 유출량을 계산할 수 있는 강우-유출 모형의 필요성이 강조되고 있다. 본 연구에서는 월 유출모의를 위해 개념적 물수지모형의 적용가능성을 검토하였다. 4개의 물수지모형을 대청댐 상류유역에 대하여 구축하고, 기존에 구축된 일 강우-유출 모형인 SSARR 및 TANK 모형과 비교하였다. 그 결과 가장 우수한 모의능력을 보여준 abcd 모형을 미계측유역에 적용하기 위해 매개변수를 지역화기법으로 추정하였다. 즉 13개 다목적댐 중 9개 다목적댐에서 구한 매개변수와 유역특성인자를 이용하여 회귀식을 작성한 후 미계측유역으로 가정한 4개 다목적댐에 적용하여 검증하였다. 검증결과 효율성계수가 $90\%$ 이상으로 비교적 간단하면서 모의능력이 우수한 개념적 월 물수지모형은 중장기 유출량모의에 그 활용성이 클 것으로 기대된다.

• Journal of Korean Society of Transportation
• /
• v.13 no.3
• /
• pp.87-98
• /
• 1995

본 연구는 교통망 집성화(Aggregation)를 수행하기 위한 간단한 개념을 제시하고, 그 개념을 교통망 설계 문제(Network Design Problem)의 개략적이나 상당히 타당성 있는 해답을 얻기 위해 적용함으로써 교통망 집성화 정도(degree)의 효율성 및 유용성을 검증함에 그 목적이 있다. 교통망 집성화 및 O-D 교통량 측정 절창가 먼저 제시된 후, 교통망 설계 문제에 적용되었다. 본래의 교통망과 집성화된 교통망상에서의 교통망 설계 문제의 실행 결과가 언급되고, 또한 정확도 및 계산시간 측면에서의 비교가 고찰되었다. 교통망 설계 문제에 대한 개략적이나 비교적 정확한 해답을 고도로 집성화된 교통망으로부터 추정할 수 있음이 본 논문의 결과로서 검증되었다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 1998.10a
• /
• pp.185-190
• /
• 1998

다양화 및 이질화되어 가는 통신망을 효과적이고 통합적으로 관리하기 위해 TMN(Telecommunication Management Network)개념이 등장하게 되었고, 관리 대상이 실자원이나 시스템, 소프트웨어 등에 국한되지 않고 서비스 영역으로 확대됨에 따라 이 서비스 영역의 관리가 필요하게 되었다. 또한 ATM 망은 구성이 복잡하고 기존 망에 비해 서비스가 확대되었으며, 고속 정보처리로 인한 망 관리 시간의 제한, 다양한 트래픽으로 인한 QoS 관리의 어려움 등의 문제가 대두되었다. 따라서 본 논문에서는 ATM 망의 성능과 QoS 관리를 위한 정보 모델을 설계하였고, ATM 망 성능 및 QoS 관리 에이전트 시스템을 TMN LLA 개념에 따라 설계하였으며, 패트리네트 모델링과 도달성 트리를 이용하여 시스템 모듈의 설계를 검증하였다.

• Information and Communications Magazine
• /
• v.29 no.3
• /
• pp.58-67
• /
• 2012

미래인터넷 연구 아이디어를 검증하기 위한 테스트베드는 연구자들이 창의적인 네트워킹 개념들을 실험적으로 실증할 수 있도록 연결용 네트워크와 이에 연동된 장비들, 그리고 이를 지원하는 각종 실험용 소프트웨어 일체를 지칭하는 일종의 가상적인 실험실이어야 한다. 본 논문에서는 미래인터넷 테스트베드에서 수행될 실험과 이를 검증하기 위해 사용될 실험적인 설비 전반에 걸친 이해를 다음과 같이 돕고자 한다. 먼저 미래인터넷 테스트베드에서 사용하는 자원들에 대한 요구사항과 안정적으로 실험자원을 공급하기 위한 과정을 포함하여 슬라이스 기반으로 실험자원을 관리하는 이슈들을 설명한다. 이어서 실험자가 서비스 합성 기반 실험을 진행하는 전체적인 절차를 설명하고, 효율/확장 지향으로 테스트베드를 구축하고 운영하는 방식을 선택하는 수직적, 수평적인 접근 방식들도 비교한다. 마지막으로 FIRST@PC 사례를 통해 컴퓨팅/네트워킹을 균형 있게 다루는 새로운 서비스 지향 테스트베드 구축 노력을 설명한다.