• 한국항공우주학회지
• /
• 제46권11호
• /
• pp.961-968
• /
• 2018

항공기 시현계통은 항공기 운영에 필요한 다양한 정보를 통합하여 조종사에게 시현한다. 시현계통에서 소프트웨어 결함이 발생되면 정확하지 않은 정보가 조종사에게 시현될 수 있기 때문에 항공기의 운영에 심각한 영향을 미칠 수 있다. 따라서 시현계통의 개발 중에 지상시험과 비행시험을 통해 발생 가능한 소프트웨어 결함을 식별하고 제거하려고 노력하고 있다. 본 연구는 비행시험 자료를 이용하여 시현계통의 소프트웨어 결함 분석을 지원하는 도구인 FDR(Flight Data Replay)을 제시한다. 이 도구는 항공기 임무컴퓨터와 연동되어 실시간으로 동작한다. 그리고 시현소프트웨어에 비행시험 자료를 적용하여 시현장치에 나타나는 기능적인 오류상황을 재현한다.

• 한국도서관정보학회지
• /
• 제31권4호
• /
• pp.165-189
• /
• 2000

교육과 연구의 현자인 대학에서 네트워크를 이용한 디지털 정보자원의 활용은 특정 전공에 국한되지 않고 필수적인 도구가 되어가고 있다. 이러한 정보원과 도구를 대학 환경에서 모든 구성원들이 적극적이고도 손쉽게 활용하는 것이 대학의 정보서비스 업무에 기본이 되어야 한다. 하지만 급속히 변화하는 정보 네트워크 서비스 현장에서 발생하는 문제점들은 대체로 육안으로 확인하기 어려운 것들이기 때문에 이용자들의 요구사항을 정기적으로 조사·분석하여 이용자 측면에서 교내의 정보시스템을 평가·감사하는 것은 시스템을 성공적으로 운영하는데 있어서 필수적인 활동이다. 본 연구에서는 S 대학의 사례를 통하여 구성원들이 가지고 있고 또 필요로 하는 정보자원을 효과적으로 이용할 수 있도록 하는 최선의 방법을 조사 연구하여 문제 해결 방안을 제시하고자 하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.595-597
• /
• 2001

오늘날 우리가 사용하고 있는 시스템은 날이 갈수록 규모 면에서 대형화되고, 기능면에서 복잡해지고 있다. 이런 복잡성의 증가로 시스템 에러 발생가능성은 더욱 높아졌다. 특히, safety-critical 시스템의 경우 에러가 발생했을 때 인간과 생태계에 엄청난 영향을 미치기 때문에 더욱 신중한 개발 과정이 필요하다. 따라서 정형기법을 이용한 safety-critical 시스템의 개발방법론이 나오게 되었다. 본 논문에서는 대표적인 safety-critical 시스템인 원자력 발전소 시스템에서 Digital Plant Protection System(DPPS)를 가지고 어떻게 방법론이 적용되는지를 보여준다. Software Cost Reduction(SCR)이라는 정형 명세 도구로 명세를 하였고, SPIN 이라는 정형 검증 도구로 그 특성(property)을 검증하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (B)
• /
• pp.232-237
• /
• 2007

컴퓨터 시스템의 설계는 알고리즘 수준의 모델링에서부터 시제품 수준까지 시스템을 구체화해 나가는 일련의 과정이다. 시스템 구현의 구체화 과정에는 단순하고 반복적인 구현이 많이 포함되며, 이 과정에서 많은 오류가 발생한다. 이러한 오류는 개발자가 알고리즘 수준에서는 드러나지 않는 복잡하고 아키텍처 의존적인 하드웨어-소프트웨어 동기화 메커니즘의 개발과 같은 시스템 구현의 구체화 과정을 모두 떠안고 있기 때문에 발생하는 것이다. 이 논문에서는, 이러한 문제를 극복하기 위하여, 알고리즘을 데이터 플로우로 모델링하면 이로부터 합성 가능한 하드웨어 플랫폼과 동기화 로직, 그리고 동기화를 위한 드라이버 소프트웨어 일제를 자동 생성하는 설계 과정을 제시하고자 한다. 제시된 설계 과정은 자체 개발한 통합 설계 도구 상에 구현되었으며, 이를 통해서 개발된 H.263 디코더 예제를 상용의 RTL 통합 시뮬레이션 도구인 Seamless CVE와, SoC 프로토타이핑 환경인 Altera Excalibur 시스템 상에서 테스트하여 그 완성도를 검증하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (상)
• /
• pp.645-648
• /
• 2000

병렬 오류인 메시지경합을 가진 메시지전달 프로그램은 비결정적인 수행결과를 보이므로, 이를 탐지하고 수정하는 것이 어렵다. 기존의 메시지경합 탐지 도구들은 메시지경합에 관련된 간접적인 정보를 제공하는 수준이며, 메시지경합의 원인을 자동으로 탐지하지 못한다. 그리고 탐지과정 중에 부가적인 메시지전달 작업이 발생하며, 대상 프로그램을 수정해야 하는 부담이 있다. 본 논문에서 제안된 탐지 도구는 리눅스 클러스터 시스템을 위한 병렬 프로그램의 메시지경합을 자동으로 탐지하여 직접적인 경합 정보를 제공한다. 그리고 탐지 엔진 부분을 리눅스 커널에 설치함으로써 경합 탐지를 위한 부가적인 메시지전달의 필요성을 제거하고, 대상 프로그램의 수정없이 경합을 탐지할 수 있는 투명성을 제공한다.

• 재활치료과학
• /
• 제11권4호
• /
• pp.55-68
• /
• 2022

서론 : 본 연구는 연하장애 환자의 혀 운동 및 측정 도구들에 대한 고찰을 통해 도구의 원리와 특징을 확인하여 임상 적용을 위한 정보를 제공하고자 하였다. 본론 : 연하재활 분야에서 혀 운동 및 측정 도구로 활용되고 있는 15개의 도구를 확인하였고, 원리에 따라 벌브 센서 원리, 저항 센서 시트 원리, 마우스피스형 센서, 기타 기술의 도구로 분류하였다. 벌브 센서는 IOPI, KSA, TPM-01이 있었으며, 사용방법이 다소 간편하지만 혀의 압력 측정 시 위치 고정에 대한 제한점이 있었다. 저항 센서 시트는 I-SCAN, KEI, IPMD, PRESLA가 있었고, 모두 입천장에 고정이 가능하여 벌브 센서 원리에 비해 안정적인 위치에서 혀 압력 측정이 가능하다. 하지만 제작과정이 복잡하고, 많은 비용이 소모된다는 단점이 있었다. 마우스피스형 원리는 MOST, T-Station, SwallowSTRONG, LFDS가 있었으며, 도구의 특성상 개인의 구강에 맞게 제작되어 혀 압력 측정 시 고정이 가능하고, 안정적인 측정이 가능하다. 하지만 제작 과정에서 많은 비용이 발생하며, 세밀한 움직임의 측정과 내구성에 제한점이 있었다. 기타 도구로는 OPG, TTS, OroPress, TPWA가 있으며, 빛 감지의 원리와 무선 측정이 가능하다는 장점이 있다. 하지만 신뢰도와 타당도가 입증되지 않아 추후 연구가 필요한 실정이다. 결론 : 본 연구는 1990년대부터 현재까지 개발된 혀 운동 및 측정 도구들의 분석을 통해 연하재활 분야에서 활용할 수 있는 정보를 제시하였다. 이에 임상에서 도구의 선택 과정에 도움이 될 것으로 판단된다. 향후에는 기존 도구들의 장단점들을 고려하여 임상뿐만 아니라 가정에서도 활용 가능한 혀 운동 및 측정 도구 개발이 필요하다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2009년도 추계학술발표논문집
• /
• pp.759-763
• /
• 2009

본 연구의 목적은 도심지역 주민들의 건강생활습관과 췌장암과의 연관성을 파악하는데 있다. 이를 위해 2008년 6월 20일부터 7월 20일까지 종합병원에 내원한 췌장암 환자군 51명, 대조군 116명을 대상으로 설문 및 면접조사를 실시하였다. 연구결과 첫째, 음주량이 증가함에 따라 췌장암발생 위험은 유의하게 증가되었다(P<0.05). 둘째, 췌장암 발생위험에 대한 식사속도, 자극성 음식선호여부, 뜨거운 음료선호여부, 채식선호 정도 등은 환자군과 대조군간에 유의한 차이를 보이지 않았으나 교육수준이 낮을수록 수입이 낮을수록 도시보다는 농 어촌에 거주할수록 췌장암 발생위험도가 유의하게 증가함을 보였다(P<0.01). 셋째, 췌장암 발생에 대한 흡연과 음주의 상협효과 결과 흡연과 음주를 동시에 이용하였을 때 췌장암 발생위험도는 흡연 또는 음주만 이용할 때보다 상협적인 증가를 보였으며 통계적으로 유의하였다(P<0.05). 이상에서 볼 때 췌장암 진단을 위한 정기적인 검사가 보편화되지 않고 대상자의 판단에 의해서만 실시되고 있는 국내 상황을 고려할 때 본 연구에서 유의하게 나타난 위험요인들을 기초로 췌장암 위험 사정 도구의 개발이 필요하다.

• 시스템엔지니어링워크숍
• /
• 통권1호
• /
• pp.1-8
• /
• 2003

시스템 개발환경이 대형화, 복잡화됨에 따라 개발 생명주기의 각 단계에서 발생하는 요건은 기술적, 관리적 측면에서 많은 영향을 받게 되었다. 즉, 개발 생명주기의 초기단계에서 요건에 대한 잘못된 이해나 분석, 개발 영역에 대한 충분한 이해와 관리의 부재 및 계속적인 변경 요구는 부정확성하고 불완전한 요건을 발생시키고, 다른 요건과의 충돌 및 일관성 결여 등을 발생시킬 수 있다. 이러한 결과는 전체적인 시스템의 완전성과 성능 등에 커다란 영향을 주고 유지보수에 많은 비용과 노력을 요구한다. 본 연구에서는 이러한 문제점을 해결하기 위하여 실무 프로젝트 개발에 적용할 수 있도록 요건관리와 관련된 프로세스와 활동을 요구공학을 기반으로 완전성과 일치성을 가진 요구사항의 생성 및 관리 등을 포함하는 총체적인 활동과 원칙에 대한 공학적 접근을 제시하여 전체 소프트웨어 개발비용과 위험부담을 경감시키며 품질향상을 이룰 수 있도록 한다. 또한, 각 업무 도메인과 개발 환경에 따라 적절하게 적용할 수 있도록 프로세스와 활동을 커스터마이징 및 컴포넌트화하고 요구사항 관리 도구의 프로토타입을 제시한다.

• 한국콘텐츠학회논문지
• /
• 제15권11호
• /
• pp.374-385
• /
• 2015

본 연구는 중등학교 학생을 대상으로 난독증 선별 체크리스트 개발을 목적으로 한다. 내용 타당도를 확보하기 위해 선행연구 사례를 참조했고, 5명으로 구성된 전문가 자문을 받아 측정요인과 문항을 구성하였다. 예비조사는 충청남도에 소재한 중학교와 고등학교에 재학 중인 학생 265명을 대상으로 하였다. 신뢰도를 확보하기위하여 SPSS 21.0을 활용하여 탐색적 요인분석을 했고, 적합도를 얻기 위해 AMOS 18.0을 활용하여 확인적 요인분석을 실시하였다. 연구결과는 다음과 같다. 첫 번째는, 측정요인 8개와 문항 34개를 확보하였다. 둘째, 탐색적 요인분석 결과 신뢰도 통계량(Crombach ${\alpha}$)은 .922로 매우 높은 값을 얻었다. 셋째, 확인적 요인분석결과 절대적 적합지수 GFI=.920, RMR=.057, RMSEA=.062, 증분적 적합지수 CGI=.960, TLI=.977의 결과 값을 얻었다. 따라서 이와 같은 결과를 바탕으로 본 연구에서 개발된 중등학생 대상 난독증 척도검사 도구는 측정도구로써 적합함을 확인 하였다.

• 한국산학기술학회논문지
• /
• 제22권5호
• /
• pp.423-432
• /
• 2021

본 연구의 목적은 대학생의 일상에서 발생할 수 있는 부정적 생활사건에 대해 개인의 인지된 스트레스 수준을 측정하는 도구를 개발하고, 타당도와 신뢰도를 검증하는 것이다. 도구 개발과정은 DeVellis의 도구 개발 단계와 지침에 따라 수행하였다. 도구의 타당도와 신뢰도 검증을 위해, 2020년 일 대학 재학생 1,242명에게 수집된 자료를 무작위로 2개(A, B) 그룹으로 나누어 분석하였다. A그룹의 표본 (N=620)으로 문항검사, 탐색적 요인분석, 다특성-다방법 행렬, 준거 타당도, 신뢰도를 검증한 후 B그룹의 표본(N=622)으로 확인적 요인분석과 신뢰도 재검증을 수행하였다. 그 결과, 33문항, 8개 하위요인의 최종 도구가 개발되었다. 최종 도구의 탐색적 요인분석 결과, KMO 값은 0.92, Bartlett의 구형성 검정 결과는 유의하였고(χ²=12532.42, p<.001), 초기 고유값 1.0 이상인 요인수는 8개, 누적 요인적재량은 71.5%, 각 문항의 공통성은 0.56 이상이었다. 신뢰도 검증에서도 도구 전체의 신뢰도는 Cronbach's alpha 0.94, 요인별로는 0.78~0.90이었다. 확인적 요인분석과 신뢰도 재검증에서도 유사한 결과가 도출되었다. 그러므로 본 연구에서 개발한 도구를 대학생의 일상 스트레스 수준 측정에 유용하게 사용할 것을 제안한다.