• 한국산학기술학회논문지
• /
• 제10권7호
• /
• pp.1568-1574
• /
• 2009

사용자 요구사항 공학에서 가장 어려운 문제 중의 하나는 다양한 말단 사용자, 책임자와 소프트웨어 기술자 사이에 존재하는 상호이해의 불일치이다. 시나리오는 다양한 책임자에게 일부 추상 모델 대신 그들의 언어로 기술하고 검토할 수 있도록 해준다. 본 논문에서는 도출, 분석과 검증을 포함한 다양한 요구사항 공학 단계에 시나리오를 사용하는 진보적이고 반복적으로 삽입되는 프로세스를 제안한다. 프로세스 모델은 본 논문의 TRES 시스템에 적용되었다. 제안하는 시스템에서는 기존 도구들의 단점을 없애기 위해 시제품, 시나리오와 사용 사례를 하나의 포괄적인 프레임워크로 조합한다. 본 시스템은 시나리오 기반 요구사항 추출을 위한 XML 기반 시스템이다. TRES 시스템 내에서 시나리오는 사용의 문맥을 포함하여 사용자와 작업에 관한 정보를 얻을 수 있다. 본 TRES 시스템에서 시나리오는 XML 기반의 데이터베이스에 보관되고 XML 표기법을 사용하여 기술된다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권7호
• /
• pp.595-602
• /
• 2007

본 논문에서는 미지의 아미노산 서열이 신호 펩티다제 I에 의해 절단되는 분비성 단백질인지를 판별하고, 분비성 단백질일 경우에는 절단 위치를 예측하는 방법을 제안한다. 아미노산의 소수성을 이용한 전처리를 수행하여 분비성 단백질의 선도서열인 신호서열의 존재와 절단 위치를 추정한다. 전처리를 통해서 신호서열 아닌 서열을 초기에 제외함으로써 신호서열 예측의 정확도를 높인다. 지지벡터기계를 신호서열의 예측에 효과적으로 적용하기 위해서, 생물학적 정보와 관련된 아미노산 서열간의 거리를 제안한다. 아미노산의 세포내 위치를 예측할 수 있는 소수성 척도와 아미노산의 진화적인 관계를 나타낼 수 있는 치환행렬을 이용하여 아미노산 서열간의 거리를 정의한다. Swiss-Prot release 50 단백질 자료에 대하여 교차타당성 기법을 사용하여 실험한 결과 제안한 방법은 신호서열중에 98.9%를 신호서열로 판별하였고, 88%의 절단위치 예측정확도를 보였다. 기존의 방법과의 비교실험을 통해서 제안한 방법이 신호서열의 예측에 더욱 효과적임을 확인하였다.

• 한국산학기술학회논문지
• /
• 제16권9호
• /
• pp.5802-5809
• /
• 2015

철도신호시스템은 열차의 운행을 책임지는 바이탈한 제어장치로서, 실제 사용 전에 충분한 시험을 통해 그 기능 안전성이 검증되어야 한다. 지금까지는 대부분 실험실에서 시뮬레이터에 의한 개발한 철도신호시스템의 검증을 수행 후 철도현장에 설치하여 다른 장치와 운용성 테스팅 단계를 거치게 된다. 이러한 접근방법은 일부 제한된 범위에서 상호운용성이 검증되고 있어, 보다 체계적인 상호 운용성 검증이 요구되고 있다. 본 논문에서는 철도신호시스템의 상호운용성 검증을 위한 단계를 3단계로 제시하고, 각 단계별 검증 방법을 설명한다. 또한 최종단계인 3단계에 적용을 위한 시험방법 및 테스팅 도구를 제안하였다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제9권11호
• /
• pp.339-344
• /
• 2020

코로나19 상황에서 교육산업은 4차 산업혁명의 핵심기술을 기반으로 다양한 지능 정보기술을 도입함으로써 기존의 이러닝(e-Learning)에서 한 단계 진화한 '에듀테크' 개념을 정리하고 다양한 컨텐츠를 통하여 확산시키고 있다. 한편, 각종 산업은 기존의 비즈니스에 새로운 기술의 적용을 통하여 신산업을 창출하고 있으며, 새롭게 나타나는 문제를 해결할 수 있는 기존의 전통적인 ICT 기술과 산업 비즈니스를 이해하는 인력의 양성을 필요로 하고 있다. 그러나, 기존의 단방향 지식전달의 고전적인 이러닝 또는 일부 대화형을 구축한 양방향 소통체계로는 이러한 인력을 양성하기 위한 콘텐츠를 구축하기에 어려움이 있다. 이에 따라 본 연구에서는 기존의 양방향 소통체계를 기반으로 교육자가 실시간으로 학습자와 소통하며 문제해결형 교육을 진행할 수 있는 협동형 이러닝 시스템에 대한 연구를 수행하였다. 그 결과, 콘텐츠에 대한 프레임과 프로토타입 개발을 통하여 수업에 일부 적용하고, 교수자 및 학습자의 효용성 분석을 통하여 실제 수업에 적용하기 위한 시뮬레이션 기반 협동형 콘텐츠로써 적합함이 나타났다.

• 한국정보처리학회논문지
• /
• 제6권7호
• /
• pp.1789-1804
• /
• 1999

본 논문에서는 기존 객체행위 설계방법에 의해 개발된 '시각적 실시간 객체모델'의 설계의미를 검증·확인하기 위한 시뮬레이션 기반 지원 시스템을 제안한다. 이 시스템은 실행 가능한 Ada 코드 생성에 의한 객체 프로세스들간의 동적이 상호작용을 시뮬레이션 할 수 있게 하며, 실제 시스템 구현에 앞서 여러 가지 논리적, 시간적 문제들을 검출할 수 있게 한다. 또한, 시뮬레이션에 의해 검증·확인된 명세서로부터 Ada 프로토타잎 코드를 직접 생성시켜 준다. 이 시스템은 Visual C++ 버전4.2로 개발되었다. 그리고, 시뮬레이션 코드로 Ada를 사용하였는데, 이것은 Ada의 병행 행위 및 시간 표현력 등의 실시간 시스템의 표현력에 있어 기존의 언어들에 비해 우수성을 가지고 있기 때문이다. 이 작업은 방법론 기반 시각적 모델과 자동화 된 정형기법 기반 시뮬레이션 시스템의 연결, 그리고 자동화된 명세 검증·확인 기술의 실현이라는 점에서 기여한다.

• 한국컴퓨터정보학회논문지
• /
• 제20권8호
• /
• pp.121-128
• /
• 2015

This study aimed to investigate the effects of an unplugged robot education system capable of computerless coding education. Specifically, this study compared this education system with PicoCricket, an educational robot that can also be used with elementary students in lower grades, using assessment tools on perceived usefulness and ease. Using random sampling and randomized assignment for more objective validation, 30 participants were assigned to the unplugged robot education system group (experimental group) and 30 participants were assigned to the PicoCricket group (control group), for a total of 60 study participants. The research procedure included verification of the equivalence of the two groups by conducting a pretest after a 2-hour basic training session on algorithms and programming. The experimental and control groups learned the same content using different educational tools in accordance with software training guidelines for a total of 12 hours. Then, the difference in perceived usefulness and ease between the two groups was examined using a post-treatment test. The study results showed that scores on both dependent variables, perceived usefulness and perceived ease, were significantly higher in the experimental group than the control group. Moreover, scores on all sub-variables of the dependent variables were significantly higher in the experimental group than the control group. These results suggest that learners using the unplugged robot education system found it more useful and easier to use than learners using the existing educational robot, PicoCricket. This study's findings are significant, as according to the technology acceptance model, the perceived usefulness and ease of an educational tool are important variables that determine the acceptance of the tool (i.e., persistence of learning).

• 대한간호학회지
• /
• 제51권5호
• /
• pp.617-629
• /
• 2021

Purpose: The aim of this study was to examine the validity and reliability of the Korean version of the self-efficacy for managing chronic disease 6-item scale (SECD-6-K). Methods: The English version of the Self-Efficacy for Managing Chronic Disease 6-item Scale first underwent forward and backward translation procedures. The SECD-6-K was then used to collect data from 350 adults diagnosed with chronic diseases. Content, construct, convergent, discriminant, and criterion validity were all evaluated. Reliability was assessed using Cronbach's α. SPSS 25.0 and the data were analyzed using AMOS 26.0 software. Results: The SECD-6-K consists of six items in two domains: disease management and health behavior. The results for construct, convergent, and discriminant validity were good. Exploratory factor analysis produced eigen values between 2.27 and 3.28, with factors total explained cumulative variance of 91.1%. Confirmatory factor analysis supported goodness of fit and reliability for the modified SECD-6-K model. The criterion validity also showed significant correlation with both the Patient Health Questionnaire and 12-item Short-Form Health Survey version 2. Finally, reliability was found to be excellent. Conclusion: This study identified the high reliability and validity of SECD-6-K. The SECD-6-K is an appropriate tool for determining Korean patients' self-efficacy in managing their chronic conditions. Therefore, this scale may be used in clinical settings as well as in educational and research settings.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제8권1호
• /
• pp.19-26
• /
• 2019

본 논문에서는 기타 타브 악보에서 추출한 프렛 번호를 대상으로 학습 알고리즘의 분류 성능을 비교한다. 타브 악보로부터 세그먼트를 통해 추출된 타브 숫자 데이터는 타브 선과 악보 기호가 포함하기 때문에 레이블링 기법과 비선형 필터를 이용하여 프렛 숫자를 추출한다. 추가적인 데이터 확보를 위해 전처리가 수행된 데이터에 대해 4 방향으로 이동 연산을 수행한다. 선택된 학습 모델은 베이지안 분류기, 지지벡터기기, 프로토타입 기반 학습, 다층 신경망 그리고 합성곱 신경망 모델 등이다. 실험 결과 베이지안 분류기는 85.0% 평균 정확도를 보였고 나머지 분류기는 99.0% 이상의 평균 정확도를 보였다. 일반화 성능과 전처리 단계를 고려 시 합성곱 신경망이 다른 학습 모델들보다 우수하다.

• 해양환경안전학회지
• /
• 제23권7호
• /
• pp.933-940
• /
• 2017

선박의 다양한 흘수 및 트림 조건은 조종성능 추정을 위한 중요한 요소 중 하나이다. 본 논문에서는 세 종류의 흘수 및 트림 조건에서의 해상 시운전 자료를 바탕으로 하여 선체 유체력 미계수를 추정하였다. 시스템 식별법(system identification)의 하나인 수학적 최적화(mathematical optimization method) 및 Rheinmetall Defense사의 선박 운동 모델을 적용한 fast time 시뮬레이션 소프트웨어를 이용하여 시운전 항적데이터 및 관련 시뮬레이션 자료를 이용하여 선체 유체력 미계수를 추정하였다. 최적화 된 계수를 적용한 시뮬레이션 결과는 기존 계수 추정식을 사용한 시뮬레이션 결과와 대비하여 해상 시운전 계측 결과와 유사함을 보여주었으며 추가로 진행된 2차 검증 결과에서도 상대적으로 높은 유사함을 확인하였다.

• 한국컴퓨터정보학회논문지
• /
• 제26권9호
• /
• pp.57-64
• /
• 2021

본 논문에서는 음성 명령을 인식하여 비행기의 1차 조종면을 제어할 수 있는 장치를 제안한다. 음성 명령어는 19개의 명령어로 구성되며 총 2,500개의 데이터셋을 근간으로 학습 모델을 구성한다. 학습 모델은 TensorFlow 기반의 Keras 모델의 Sequential 라이브러리를 이용하여 CNN 모델로 구성되며, 학습에 사용되는 음성 파일은 MFCC 알고리즘을 이용하여 특징을 추출한다. 특징을 인식하기 위한 2단계의 Convolution layer 와 분류를 위한 Fully Connected layer는 2개의 dense 층으로 구성하였다. 검증 데이터셋의 정확도는 98.4%이며 테스트 데이터셋의 성능평가에서는 97.6%의 정확도를 보였다. 또한, 라즈베리 파이 기반의 제어장치를 설계 및 구현하여 동작이 정상적으로 이루어짐을 확인하였다. 향후, 음성인식 자동 비행 및 항공정비 분야의 가상 훈련환경으로 활용될 수 있을 것이다.