• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.04a
• /
• pp.174-179
• /
• 2000

Workflow 관리 시스템은 비즈니스 프로세스의 자동화를 지원하는 것으로서, 비즈니스 프로세스의 각 업무 단계에 관련된 인적 자원 및 IT자원을 적절히 활용하도록 구현되어야 한다. 이러한 Workflow 관리 시스템은 Workflow 프로세스에 대한 명세로부터 실행 모델이 구성되어 Workflow 엔진을 통해 수행되는 과정을 거친다. 한편, 명세된 프로세스의 논리적 검증과 성능 예측을 위하여는 Workflow 의 수행 전에 시뮬레이션을 통한 분석이 선행되어야 한다. 본 연구에서는 기술된 Workflow 프로세스 명세로부터 이산사건 시스템 형식론인 DEVS를 기반으로 통일된 실행모델을 생성하고, 이를 바탕으로 시뮬레이션 분석과 실시간 수행을 하는 시뮬레이션 엔진과 실시간 분산수행 엔진을 각각 개발하였다. 간단한 업무 프로세스의 예를 통하여 분산환경에서 실행함으로써 제안된 방법의 유용성을 검증할 수 있었다.

• Proceedings of the KIEE Conference
• /
• 2006.07a
• /
• pp.99-100
• /
• 2006

지금까지 국내 디지털 보호계전기의 성능 검증은 동작치 특성 시험 등 정특성시험(steady-state performance) 검증 위주로 수행되어 왔으며, 신규개발 디지털 보호계전기 및 신규 도입 디지털 보호계전기에 대해서는 정특성 시험과 함께 시뮬레이터를 이용한 동특성 시험을 병행하여 왔다. 동특성 시험은 보호계전기에 내장된 계전요소들의 유기적인 성능을 검증할 수 있는 시험으로서 복수 개의 보호계전요소를 탑재하고 있는 디지털 보호계전기를 검증하기 위해서는 필수적인 성능검증 수단이다. 그러나 이러한 장점들과 편리함에도 불구하고 디지털 보호계전기의 성능검증에 사용되는 계통 모델이 실 계통을 정확하게 반영하지 못할 경우 검증 결과의 신뢰성을 보장하기가 어렵다. 본 논문에서는 154kV 송전선로 보호용 디지털 보호계전기의 성능 검증을 위한 기반 구축 과정 및 결과에 대해서 기술한다.

• Review of KIISC
• /
• v.11 no.2
• /
• pp.60-67
• /
• 2001

본 연구에서는 정보보호시스템의 신분확인 기능과 데이터 무결성 기능 그리고 네트워크 취약성 평가를 수행할 수 있는 정보보호시스템의 보안기능 통합 평가 도구를 개발하였다. 개발된 도구는 독립적으로 수행되어온 평가기능들을 통합, 개선함으로써 네트워크를 통해 연결되어 있는 시스템의 안전성을 총체적으로 평가할 수 있으며, 또한 네트워크 의 보호를 목표로 개발된 침입차단시스템의 구성상의 취약성이나 IPSec이나 SSL을 적용하여 가상사설망(VPN)을 구현 한 제품들에서 제공하는 무결성을 검증하기 위한 자동화된 도구로서 활용될 수 있다.

• Journal of KIISE:Software and Applications
• /
• v.28 no.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

• Journal of Ocean Engineering and Technology
• /
• v.12 no.2 s.28
• /
• pp.130-138
• /
• 1998

본 논문은 AUV의 수직면 운동제어를 수행하기 위하여 의사 슬라이딩 모드 제어기를 이용한 모델링 기법과 제어기 설계법에 관한 것으로서, 샘플링 간격이 길어지는 경우에도 시스템의 강인성이 확보되며 심도 제어가 안정적으로 수행되는 실용성을 실험과 수치 해석을 통하여 검증하였다. 제어기는 참고문헌에서 제안한 방법을 이용하였으며, 한국기계연구원 선박해양공학연구센터(KRISO)에서 개발한 VORAM호를 제어 대상 AUV로 선정하였다. PMM 시험으로 얻어진 운동 계수를 이용하여 수치 해석을 수행하였으며, KRISO의 장수조에서 실험을 수행하였다. 수치 해석과 실험 결과로부터 샘플링이 길어짐에 따라 의사 슬라이딩 모드 제어기는 연속계에 대한 슬라이딩 모드 제어기에서 발생하는 과도한 채터링 및 불안정성을 보이지 않았으며, 시스템의 안정성이 확보되고 불확실성에 대하여 강인한 제어 성능을 보였다. 또한, 본 논문에서는 수치 해석과 실험 결과를 근거로 의사 슬라이딩 모드 제어기의 설계를 위한 제어 변수의 선정 기준을 제시하였다.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.43-44
• /
• 2011

S-Transform은 어떠한 신호의 변환 후 원 신호의 주파수 및 크기를 모두 알 수 있는 효과적인 방법이다. 따라서, 본 논문에서는 IEEE에서 제시한 전력품질 이벤트의 분류를 기반으로 S-Transform 기반의 전력품질 이벤트의 측정지수를 제안하였다. 제안한 측정지수의 효율성을 검증하기 위하여, ATPDraw를 이용하여 고장 및 비선형 부하를 모의하였다. 그 결과를 이용하여 S-Transform을 수행하여 제안된 측정지수의 효율성을 검증하였다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1995.05b
• /
• pp.821-826
• /
• 1995

방사성 폐기물 드럼 내에 함유된 핵종의 종류 및 농도를 비파괴적으로 평가하기 위하여 드럼 이 상하 또는 회전 운동을 하게 한 후 감마선을 검출하는 감마 스케닝 자동화 장치 및 관련평가 기술을 개발하였다. 자동화 장치를 컴퓨터로 제어하기 위한 컴퓨터 프로그램은 사용자가 사용하기에 편리하도록 컴퓨터 화면에 나타난 여러가지 기능 키들을 마우스를 사용하여 간단하게 조작할 수 있게 하였다. 또한 본 연구에서 개발한 몬테칼로 전산 코드의 검증 작업도 수행하였다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05d
• /
• pp.549-554
• /
• 1996

원전의 안전성을 보다 확보하기 위해서는 혁신적인 안전개념 도입과 체계적인 안전성 평가 및 성능검증의 강화가 수반되어야 한다. 본 논문에서는 신형 원전에 적용될 안전규제기술요건의 체계와 세부사항으로서 인간공학설계에 관련된 일반안전요건, 상세기술요건, 규제지침에 포함될 주요 내용의 기본사항을 제안하였고, 인간공학설계와 관련된 규제요건의 계층적 구조 방안을 정량화하고 가시화하기 위한 연구·개발될 내용과 방향을 제시하였다. 또한 제시된 요건에 관한 주요 기본사항들은 구체화하기 위한 다각적인 검증평가 과정과 추가 연구가 수행될 예정이다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2003.05b
• /
• pp.198-201
• /
• 2003

사용자의 요구 사항을 정확히 분석하여 효과적으로 개발 단계에 적용하기 위해 문서간의 의존성, 즉 상·하위 문서간의 연계성 등을 측정할 수 있는 방법에 대한 연구가 절실한데 이를 위해 적게는 두 용어가 얼마나 밀접한 관련이 있는가를 나타내는 용어간의 유사도 정보가 중요시된다. 이에 본 논문은 임의의 두 문서에 대한 다양한 유사도 측정방법을 통하여 최적의 유사도를 알아보고 두 문서간 유사여부를 검증하기 위해 Neural Network을 적용하였다. 이러한 유사도 측정과 검증 방법은 분산환경에서 입력되는 요구사항 문서들을 효율적으로 분류, 관리해 줄 수 있으며 사용자 요구사항 분석과 전체 Project 수행에 좋은 기초자료를 제공해 줄 수 있다.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.1786-1787
• /
• 2011

화력발전소에 사용되는 제어시스템을 개발함에 있어 하드웨어 분야는 시스템의 안정성과 신뢰성 확보를 위해 반드시 기기검증시험을 통과한 후 적용하여야 한다. 이러한 시험은 제어모듈의 모든 종류의 개별 시험과 실제 사용하고자 하는 구성으로 캐비닛에 모두 장착한 상태에서 시험하여야 한다. 이번 시험은 제어시스템을 설계하고 제작한 후 설계 제원대로 성능을 가지고 있는지에 대한 검증을 목적으로 하였으며, 유럽규격의 CE 마크 획득에 필요한 기준으로 시험을 수행한 기준을 설명한다.