• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1996.04a
• /
• pp.381-385
• /
• 1996

본 연구에서는 자동화 제조 시스템 (Automatic Manufacturing System :AMS)의 설계및 구현에 있어서 물리적인 검증 (Physical Validation)을 위한 소프트웨어 시스템의 구조를 제안하고 구현하였다. 제안된 소프트웨어 시스템은 설비들과 물류 흐름에 있어서 간섭 검증과 운영 가능성을 검증하는 기능을 제공하며 크게 4개의 모듈로 나누어져 있다. : 1) 기본 형상들을 이용하여 원하는 형상을 정의하는 "Shape Modeling Module", 2) 실제 설비의 Kinematics와 기능을 모델링하는 "Facility Modeling Module", 3) AMS의 물리적인 배치를 구성하는 "Layout Design Module", 4) 모델링된 AMS를 실행시켜 볼 수 있는 "Factory Emulation Module". 이와 같은 소프트웨어 시스템을 구현하기 위해 수행된 주된 연구는 다음과 같다. : 1) AMS를 구성하는 설비들을 모델링하는 방법을 제시, 2) 표준 설비들의 Instancing Parameter 제시, 3) C++과 GL을 이용하여 소프트웨어로의 구현, 4) Flexible Manufacturing System (FMS)에의 응용.lexible Manufacturing System (FMS)에의 응용.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2010.07a
• /
• pp.91-94
• /
• 2010

본 논문에서는 SDP 시스템이 충족해야 할 요구 규격을 검증하기 위하여 시험 환경 구축 방안을 제안하였다. SDP 시험 환경은 기능/성능/안정성 시험을 수행할 수 있도록 기존 항공관제시스템의 서브 시스템들과 동일한 기능을 수행하는 Simulation System들과 항적 추적 성능을 검증하기 위한 Eurocontrol의 SASS-C와 SMART 시스템으로 구축하였다. 또한 SDP 시험에 있어 Test Case 및 Test Procedure를 구성하여 SDP 요구 규격에 대한 정확한 검증을 수행할 수 있도록 시험 절차를 정의하였다. 제안된 시험 환경 및 시험 절차는 모의 시험을 통해 소프트웨어 구현 과정에서의 시스템 요구 규격에 대한 충족도를 보다 높일 수 있다.

• Review of KIISC
• /
• v.26 no.5
• /
• pp.54-61
• /
• 2016

정보 통신 기술이 빠르게 발전하고 디지털 기기가 보급됨에 따라 다양한 유형의 사건을 해결하는데 있어서 디지털 증거가 핵심적인 요소로 활용되고 있다. 이에 잠재적인 디지털 증거를 수집, 추출, 복구, 분석하기 위한 디지털 포렌식(Digital Forensics) 기술의 연구 개발이 전 세계적으로 매우 활발하게 진행되어 왔다. 활발한 연구 개발의 결과, 보다 효율적인 디지털 포렌식 활동을 지원하기 위해서 여러 도구(S/W, H/W)들이 공개되고 있으며 현재 다양한 목적으로 널리 활용되고 있다. 이와 같이 디지털 포렌식 도구의 활용이 일반화되었고 특히 동일(또는 유사한) 기능을 제공하는 여러 도구가 존재함에 따라서 각각의 도구가 제공하는 기능의 범위와 구현의 정확성 등에 대한 검증의 필요성이 제기되었다. 이러한 요구에 맞춰 1999년 미국 국립표준기술연구소(NIST)에서 디지털 포렌식 도구 검증 체계를 구축하였고, 현재까지도 활발하게 진행되고 있다. 본 논문에서는 NIST에서 수행 중인 CFTT와 CFReDS 프로젝트를 소개하고, 진행 현황과 향후의 발전 방향을 설명한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06b
• /
• pp.379-381
• /
• 2006

본 연구는 디스플레이 제품의 OSD(On Screen Display) 메뉴의 문자 오류 검사 과정을 자동화하는 방법과 FMM 신경망을 이용한 실시간 문자인식 방법을 제안한다. 이는 일반적인 문자인식 문제와는 달리 시스템 환경에 대한 몇 가지 가정과 제약조건을 고려해야 한다. 예컨대 문제의 특성상 카메라 및 TV제어 기기부의 동작과 연동하는 작업 스케줄링 기능과 실시간 분석기능 등의 요건은 시스템개발을 복잡하게 하는 반면, 주어진 OSD 메뉴 데이터로부터 검증과정은 미지 패턴에 대한 인식과정을 단순화하여 일종의 판정(decision) 문제로 고려될 수 있게 한다. 본 연구에서는 디스플레이 제품의 OSD 메뉴와 같이 특수한 구조를 갖는 문서영상에 대한 논리적인 구조분석을 통해서 연속적인 문서영상을 발생시켜서 검증과정을 자동화하는 작업스케줄링 방법을 제안하고 인식의 방법론으로서 수정된 구조의 FMM신경망을 적용한다. 또한 실제 데이터를 사용한 실험결과를 통해 시스템의 유용성을 고찰한다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.10 no.1
• /
• pp.23-37
• /
• 2000

본 논문은 인터넷 상에서 전자상거래가 이루어지는데 기본적으로 요구되는 보안성을 강화하기 위해 침입탐지 전자지불 프로토콜을 제안하였다. 여기서 침입탐지 기능이란 저보 전송이 이루어지는 순간마다 침입이 발생하였는지 탐지하도록 하므로써 신속한 탐지가 이루어지도록 하는 기능을 말한다. 제안된 침입탐지 전자지불 프로토콜의 타당성, 안정성을 분석하기 위해 페트리네트와 CPN(Coloured PetriNet)을 이용하여 모델링하였다. 또한 암호화 논리의 유용한 검증 도구로서 BAN(Burrows-Abadi-Needham)논리 시스템과 Kailar 논리 시스템을 이용하여 프로토콜의 타당성과 안정성을 확인 ·검증하였다.

• Proceedings of the IEEK Conference
• /
• 2009.05a
• /
• pp.178-181
• /
• 2009

본 논문에서는 선박용 항해정보기록장치의 개발을 위해 필요한 요구사항을 만족할 수 있는 기능을 갖추고, 향후 여러 가지 부가 기능이 쉽게 추갇힐 수 있는 구조를 갖도록 WnCE O/S 기반 ARM embedded 시스템용 플랫폼을 설계하였고, 주요 기능 중 영상 정보 압축 및 저장 회로를 구현하여 기능을 검증하였다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.11a
• /
• pp.204-207
• /
• 2000

본 논문에서는 기존 쇼핑몰의 상품 판매 기능을 이용해 음악 관련 컨텐트를 취급할 수 있는 전자상거래 시스템의 개발에 대해 제안하였다. ASP기반으로 동작하며, 일반적인 상품 판매 기능 이외에 악보를 검색, 판매할 수 있는 기능을 추가했다. 악보는 SMF(Standard Midi File)를 소스로 사용해 기존의 인쇄물 흑은 비트맵, 포스트 스크립트 타입의 악보에서는 불가능했던 여러 가지 기능들을 가지며, Music ML을 이용해 악보로 표현하도록 했다. 개발한 시스템을 실제로 사용하기 전에 시뮬레이션을 통해서 검증하였다.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.9
• /
• pp.2403-2413
• /
• 1999

There is a strong need to develop a software cost estimation model on economic value perspective. The objective of this research is to improve current software cost estimation method on economic value perspective. We reviewed domestic and foreign researches and practices on software cost estimation with function point method, and derived promising alternative models. Pilot simulation was performed with real project data, and the probable best model was chosen. We collected data from 39 Korean companies, and assesed statistical significance of the model with those data. Empirical data shows that more practical model has better prediction accuracy. That is, the number of input and output modules, the number of tables, and the number of algorithms are chosen to be best set of functions. There exists strong correlation between the calculated function points and project effort. And, the revised set of technical complexity factors and evaluation guidelines show practical usefulness. We suggest that the above result be incorporated in a new improved guideline for software cost estimation. By adopting the results of this research to the guideline, we expect that technology innovation will be expedited, and that overall productivity of software industry will be increased.

• Journal of KIISE:Software and Applications
• /
• v.26 no.2
• /
• pp.263-272
• /
• 1999

기능 분해는 복잡한 시스템을 이해하기 위해 광범위에게 사용되는 시스템 모델링 기술이다. 기능 분해는 문제 영역을 기능별로 분해하는 데 그 기반을 두고 있으며 , 이는 시스템의 기능에 대한 식별을 전제로 한다. 일반적으로 시스템의 기능에 대한 식별은, 분석가에 의해 어떠한 조직적인 지침없이 비정형적으로 수행되는 것이 관례였다. 따라서 이러한 기법을 이용하면 시스템을 분할하거나 시스템의 기능을 올바르게 식별하기가 매우 어렵다. 본 논문은 이러한 기능 분석에 대해 use case을 이용한 기법을 제안하고자한다. 본 기법의 장점은 크게 두가지로 요약할수 있다. 첫째, 시스템의 분할과 기능에 대한 식별이 전통적인 기법보다 더 용이하다. 둘째, 시스템의 요구사항과 구현이 사용자에 의해 쉽게 검증될 수 있다. 본 기법은 하향식으로 이루어져, 구조적 분석과 같이 보편화된 기능 분석 기법들과 자연스럽게 병합될 수 있다. 본 논문은 이를 위해 use case의 식별, 그리고 이를 이용한 기능 분해를 단계적 과정과 가이드라인을 통해 설명하고, 이를 특정 에플리케이션에 적용하여 그 유용성을 입증한다.

• The Journal of the Korea Contents Association
• /
• v.15 no.9
• /
• pp.317-328
• /
• 2015

The purpose of this study is to measure the validity and reliability of the Korean version of the self-efficacy for restorative care activity (K-SERCA) scale and the outcome expectations for restorative care activity (K-OERCA) scale. Psychometric testing was given to 187 nurses who have worked in 69 long-term care facilities in South Korea via post service and personal visit. Data were collected via structured-questionnaire and analyzed using SPSS/WIN 21.0 and AMOS 22.0. Content, construct validity using confirmatory factor analysis (CFA), criterion validity and internal consistency reliability were conducted. The K-SERCA scale had factor loading of the 10 items ranged from .74 to .87, and was validated by confirmatory factor analysis (CFI=.96, NFI=.94, RMSEA=.10). The K-SERCA scale was also a significantly positive correlation with 'Job satisfaction' (r=.32, p<.001). There was a reliable internal consistency with a Cronbach's ${\alpha}=.94$. The K-OERCA scale had factor loading of the 9 items ranging from .38 to .95, and was validated by confirmatory factor analysis (CFI=.98, NFI=.96, RMSEA=.09). The K-OERCA scale was also a positive correlation with 'Knowledge (r=.26, p<.001)', and 'Job satisfaction (r=.30, p<.001)'. There was a reliable internal consistency with a Cronbach's ${\alpha}=.89$. The results demonstrate that the K-SERCA and K-OERCA scales had satisfactory validity and reliability to measure self-efficacy and outcome expectations for restorative care activities among nurses who have worked in long-term care facilities in South Korea.