• Title/Summary/Keyword: consistency verification

검색결과 145건 처리시간 1.211초

UML 객체지향 분석모델의 완전성 및 일관성 진단을 위한 시나리오기반 검증기법 (Scenario-Driven Verification Method for Completeness and Consistency Checking of UML Object-Oriented Analysis Model)

  • 조진형;배두환
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제28권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

  • PDF

한국판 삼킴 곤란 척도(K-SDQ)의 번안본 검증 (The Verification of Korean Version Swallowing Disturbance Questionnaire (K-SDQ))

  • 정소운;김정완
    • 재활복지
    • /
    • 제22권4호
    • /
    • pp.43-58
    • /
    • 2018
  • 영양 섭취와 일상생활 삶의 질에 영향을 미치는 삼킴장애는 신경장애 환자뿐만 아니라 정상 노년층에게서도 적지 않게 나타난다. 본 연구에서는 노인의 삼킴 문제를 조기 선별하여 진단 검사로 연결될 수 있도록 도움을 주기 위한 기초연구로서, 주관적 삼킴장애 평가도구인 삼킴곤란척도(Swallowing Disturbance Questionnaire, SDQ)를 한국인의 정서와 문화에 맞게 번안하여 신뢰도와 타당도를 검증하고, 뇌졸중 환자 105명을 대상으로 하여 그 유용성을 검증하였다. 연구 결과, 한국판 SDQ의 문항내적 일관성 신뢰도는 .601, 검사-재검사 신뢰도는 .97, 공인타당도는 .956이었고, 절단점 8점을 기준으로 민감도가 46.8%, 특이도가 81.6%인 것으로 나타났다. 객관적 삼킴장애 검사인 비디오투시조영검사와 한국판 SDQ 검사 상 관찰된 삼킴곤란 유무와의 비교 결과, 음성예측도(negative predictive value, NPV)는 81%, 양성예측도(positive predictive value, PPV)는 53%로 나타났다. 한국판 SDQ는 뇌졸중 환자들의 삼킴장애 유무를 변별하는데 유용한 검사도구로 활용될 수 있을 것으로 기대되며, 재활전문가에 의한 임상평가가 이루어지기 전에 대상자가 보이는 삼킴곤란을 미리 선별하여 진단검사를 의뢰하거나, 삼킴문제가 없는 뇌졸중 환자를 정확하게 선별하여 잉여적인 추가 검사 노출을 배제하는 차원에서 그 임상적 의의가 크다고 볼 수 있다.

한국판 삶의 균형 척도의 심리측정적 특성 및 감각 처리와의 관련성 (Psychometric Characteristics of Korean Version of Life Balance Inventory (K-LBI) and Relationship Between Life Balance and Sensory Processing)

  • 김은영;이선욱;김영;이상헌;김혜진;권정아
    • 대한감각통합치료학회지
    • /
    • 제16권2호
    • /
    • pp.36-49
    • /
    • 2018
  • 목적 : 본 연구는 한국판 삶의 균형 척도(Korean version of Life Balance Inventory; K-LBI)의 타당도 및 신뢰도를 검증하고, 삶의 균형과 감각 처리 간 관련성을 제시하고자 하였다. 연구방법 : K-LBI는 번역 및 역번역 과정을 통해 구성되었다. 후기 청소년기 대학생을 대상으로 K-LBI와 한국판 지각된 스트레스 척도, 한국판 삶의 만족도 척도, 성인 행동 평가 척도를 실시하여 수렴 타당도를 검증하였고, 내적 일관성 및 검사-재검사 신뢰도를 측정하였다. 감각 처리와 삶의 균형 간의 관련성을 알아보기 위해 한국판 청소년/성인 감각 프로파일과 K-LBI 간 상관 분석을 실시하였다. 결과 : K-LBI와 수렴 타당도를 위한 척도 간 유의미한 상관관계(r = .337~.449, p < .01), 양호한 반분 신뢰도(r = .906, p < .01) 및 검사-재검사 신뢰도(ICC = .669, p < .01)가 산출되었다. 감각민감 혹은 감각회피 성향과 관계 삶의 균형 영역 간 정적 상관(r = .422~.443, p < .01) 및 등록저하와 도전 삶의 균형 영역 간 부적 상관(r = -.373, p < .05)이 나타났다. 결론 : 본 연구는 후기 청소년을 대상으로 K-LBI의 타당도와 신뢰도를 제시하였고 삶의 균형과 감각 처리 간의 관련성에 대한 이해를 제공한다.

BIM기반 Algorithm을 활용한 APR1400 설계기준 통합관리 체계 구축 (Establishment of Integrated Design Bases Management System of APR1400 Using BIM based Algorithm)

  • 신재섭;최재필
    • 한국건설관리학회논문집
    • /
    • 제20권5호
    • /
    • pp.52-60
    • /
    • 2019
  • APR1400은 1992년 12월부터 2001년 12월까지 약 10여년에 걸쳐 국가선도 기술개발과제를 통해 개발된 1,400MWe급 차세대 원자력발전소 노형으로, 건설을 위해서 약 6만 5천 장의 도면이 생산된다. 또한 수많은 도면 간 일치성 유지를 설계기준(Design Bases)에 따라 가장 높은 수준의 설계기준도면(Design Bases Drawing)를 작성하여 후속설계에 가이드라인 역할로 활용하고 있다. 하지만 설계기준도면이 문서기반으로 생산 관리되고 있고, 다양한 분야에서 파편적으로 운영되어 설계기준정보를 정확하게 인지하고 후속설계에 정확하게 반영하는데 어려움이 있었다. 따라서 본 연구는 문서기반의 설계기준도면의 한계를 인식하고, BIM 기반의 설계기준 통합관리 체계를 도입하여, 설계기준 정보를 체계적이고 정확하게 후속설계에 반영 할 수 있는 체계를 구축하였다. 특히 DBIL(설계기준정보층)개념을 도입하여 5가지 설계기준(물리적방호, 화재방호, 내부비산물방호, 내부침수방호, 방사선방호)을 적용하여 DBIL생성 및 속성을 분석하였다. 최종 결과물인 DBIL set와 Datasheet에는 실(Room), DBIL, 설계기준 속성, 빌딩 데이터(벽 바닥 슬라브, 문 창문, 수직 수평관통부)를 통합 추출하여 후속설계 자동화 및 설계검증에 활용할 수 있도록 하였다. 더 나아가 APR1400 DBIL에 적용되는 5가지 설계기준의 속성을 분석하여 후속호기 및 차세대 노형과의 비교를 통한 경제성 분석 등에 폭 넓게 활용할 수 있을 것이라 예상한다.

코퍼스 지표를 활용한 모의 토익시험의 유용성 검증 : 난이도와 변별도 분석을 중심으로 (Verification of the Usefulness of the Mock TOEIC Test using Corpus Indices : Focusing on the Analysis of Difficulty and Discrimination)

  • 이예나
    • 한국콘텐츠학회논문지
    • /
    • 제21권10호
    • /
    • pp.576-593
    • /
    • 2021
  • 본 연구에서는 토익 시험의 정답률과 변별도에 영향을 미치는 구조적인 요인이 무엇인지 분석하기 위하여 문항 분석에서 도출된 각 파트별 코퍼스 지표들을 분석하였다. 이를 위하여 모의 토익 시험의 정답률과 변별도에 대한 코퍼스 요인들의 회귀 분석을 실시하였고, 분석 결과는 다음과 같다. 정답률에 대해서는 기초산출치중에서 word_length, no_word_sentence1, sentence_length, 정합성 지표들 중에서는 LSA_overlap_adjacent_sentences, 어휘 다양성 지표들 중에서는 MTLD_VOCD, 접속사 지표들 중에서는 All_logical_causal_connectives_incidence, 상황모형 지표들 중에서는 casual_particles_causal_verbs_Ratio, 통사적복잡성 지표들 중에서는 Minimal_Edit_Distance1, Left_embeddedness, 통사적 패턴밀도 지표들 중에서는 Infinitive_density, Preposition_phrase_density 등이 음의 영향을 미치는 것으로 나타났다. 이러한 코퍼스 요인들은 토익의 정답률을 낮추는 효과가 있기 때문에 하위 레벨의 학습자들이 단기적인 학습효과를 향상시킬 수 있는 중요한 정보들을 제공해 줄 수 있을 것이다. 변별도에 대해서는 어휘 다양성 지표들 중에서 MTLD_VOCD, 접속사 지표들 중에서는 All_logical_causal_connectives_incidence, Additive_connectives_incidence, 통사적 패턴밀도 지표들 중에서는 Infinitive_density, 어휘정보 지표들 중에서는 person1_2_pronoun_incidence 등이 정의 영향을 미치는 것으로 나타났다. 이러한 코퍼스 요인들은 변별도 증가에 영향을 주기 때문에 영어 능력 하위 그룹에 필요한 학습 프로그램을 개발하는 데 있어서 활용될 수 있을 것이다.

영상을 활용한 시설물 안전점검 작업 효율성 향상 방안 연구 (A Study on Improving the Efficiency of Facility Safety Inspection Work Using Images)

  • 전경식;김진태;이병길
    • 한국측량학회지
    • /
    • 제39권3호
    • /
    • pp.179-186
    • /
    • 2021
  • 일반적으로 구조물에서의 손상을 조사하고 손상 크기를 측정하는 일상안전점검 활동은 지금까지 점검인력에 의한 육안점검에 크게 의존하고 있다. 이러한 인력에 의한 시설물의 상태 및 성능점검은 조사자의 주관적 판단에 의존하는 경우가 많기 때문에 측정결과의 일관성과 반복성이 저하될 수 있다. 특히 접근이 어려운 곳에 위치한 손상은 육안에 의한 경험에 주로 의존하고 있으며, 필요한 경우에 사다리를 이용하는 안전하지 못한 방법이 주로 사용되고 있다. 이에 본 연구에서는 안전점검 조사자 간 편차를 줄여 객관성을 확보하고, 작업자의 안전성을 강화할 수 있는 영상 활용 기법을 제안하고자 하였다. 본 연구에서는 촬영대상과의 거리와 촬영각도에 따른 영상의 변화를 보정하는 방법으로 평면사영변환을 적용하였다. 실험대상에 대한 변환된 영상에서 손상 크기를 분석한 결과 손상 크기 측정의 정확도는 목표 수준인 5.0mm와 0.005m2를 만족시킬 수 있는 것으로 확인되었다. 제안된 영상 보정 기법을 적용한 현장검증시험 결과, 구조물에 발생된 균열의 길이의 변동계수는 5.4~7.0%에서 0.072~0.12%로 감소하였고, 손상 면적의 변동계수는 10.9%에서 1.6%로 줄어들었고, 측정의 정확도가 향상되는 것을 확인하였다. 그러므로 안전점검 활동에서의 영상 활용 기법에 대한 본 연구를 통해 손상 크기 측정 정확도 향상 및 안전점검 보고서와 외관조사망도에 대한 신뢰도 향상을 기대할 수 있을 것으로 판단된다.

학교도서관의 블렌디드 러닝 운영에 관한 연구 - 자유학기제 연계 독서동아리 프로그램을 중심으로 - (A Study on the Management of Blended Learning at School Library: Focusing on Reading Club Program Linked with Free Semester System)

  • 송지애
    • 한국문헌정보학회지
    • /
    • 제55권2호
    • /
    • pp.179-200
    • /
    • 2021
  • 본 연구는 학교도서관의 블렌디드 러닝을 활용한 자유학기제 독서동아리와 연계 프로그램을 중심으로 운영에 관한 사례를 분석하는 데 있다. 이에 본 연구에서는 블렌디드 기반의 학교도서관 운영에 대한 연구모형을 설계하였으며, 자유학기제 연계 프로그램의 참여자를 대상으로 학교도서관 독서동아리 활동에 대해 사례를 분석하였다. 분석 결과, 첫째, 연구모형의 관련변인에 대한 안정성, 일관성 및 예측가능성 신뢰도 검증의 모든 영역에서 신뢰수준을 만족하였다. 둘째, 블렌디드 활동과 진로탐색 및 진로설계 활동의 상관관계분석에서 유의한 관계가 검증되었다. 셋째, 블렌디드 러닝의 활동과 진로탐색 및 진로설계 활동 영역에서 비대면 활동에 유의한 정적인 영향이 나타나, 자유학기제 독서동아리 연계 프로그램은 비대면 활동에서 긍정적인 효과가 높은 것으로 검증되었다. 마지막으로 학교도서관 독서동아리 지원의 지자체 연계 프로그램을 제시하고, 학교도서관의 블렌디드 러닝에 관한 운영을 제안하였다.

한글판 작업과제 몰입상태척도(Korean version of Flow State Scale for Occupational Task: K-FSSOT)의 타당도 및 신뢰도연구 (Validity and Reliability of a Korean Version of the Flow State Scale for Occupational Task)

  • 이정훈;박지혁
    • 재활치료과학
    • /
    • 제10권4호
    • /
    • pp.53-63
    • /
    • 2021
  • 목적 : 본 연구는 작업치료 활동에서 대상자의 몰입상태정도를 측정하는 한글판 작업과제 몰입상태척도(Korean version of Flow State Scale for Occupational Task: K-FSSOT)를 개발하는 것이다. 연구방법 : 한글판 작업과제 몰입상태척도 개발을 위해 체계적인 번안과정을 거쳐 타당도 및 신뢰도 검증을 하였다. 타당도 검증은 작업치료사 10명의 내용타당도와 환자 20명의 문항이해도 조사를 통해 CVI 값을 산출하였다. 신뢰도 검증은 환자 33명의 내적일치도 및 검사-재검사 신뢰도를 조사하였다. 결과 : 내용타당도의 문항별 I-CVI 값은 .90~1.00으로 나타났고, 전체 항목의 평균인 S-CVI 값은 .97로 적절한 것으로 확인되었다. 신뢰도 검증 결과 전체 문항의 내적일치도 값은 .855로 높은 수준으로 나타났으며, 검사-재검사 신뢰도 값은 .894(p<.01)로 높은 상관관계를 보임으로 높은 신뢰도가 확인되었다. 결론 : K-FSSOT가 대상자의 참여와 몰입을 고민하는 작업치료사에게 작업치료 활동을 수행하는 대상자의 몰입상태정도를 측정하는데 유용한 도구로 활용되기를 기대한다.

스크린야구 이용의 개선 및 증진방안 (Improvement and Promotion Plan for the Screen Baseball Utilization)

  • 구수용;전용배;최의열
    • 한국체육학회지인문사회과학편
    • /
    • 제54권4호
    • /
    • pp.363-372
    • /
    • 2015
  • 본 연구는 스크린야구 이용자의 중요도 및 만족도 분석을 통해 이용의 개선점과 증진방안을 알아보기 위한 목적으로 수도권 소재 스크린야구 이용자 267명을 대상으로 설문조사를 실시하였으며, 수집된 자료는 모든 통계적 유의수준은 α=.05로 설정하고 SPSS 21.0을 이용하여 빈도분석, 구성타당도를 검증하기 위해 탐색적 요인분석, 신뢰성 검증을 위해 Cronbachs' α 계수를 산출하였다. IPA(중요도-만족도)의 차이검증을 위해서는 대응표본 t-test를 실시하여 다음과 같은 결론을 얻었다. 첫째, 스크린야구에 대한 흥미로운 점으로 생생한 현실감, 실내, 음향효과, 게임방식 등으로 나타났고, 부족한 점으로 3D의 기능 저하, 입체감, 주자와 수비수를 조정할 수 없는 것 등으로 나타났다. 둘째, 스크린야구에 대한 마케팅믹스 4Cs의 중요도-만족도 간의 차이검증을 실시한 결과, 참여자 가치, 편리성에서는 부분적으로 유의한 차가 나타났고, 비용, 커뮤니케이션의 문항 간에는 모두 통계적으로 유의한 차이가 나타났다. 셋째, 스크린야구에 대하여 중요도-만족도에 대한 인식을 IPA분석 기법을 적용하여 마케팅믹스 4Cs의 관점에서 분석한 결과, I사분면은 현상유지 부분으로 건전한 여가선용, 필요시설의 구축, 이용자와 제공자 간의 의사소통 등의 속성, II사분면은 집중노력지향 부분으로 스크린야구 프로그램의 다양화, 1회 이용 및 시간대비 비용의 적절성 등의 속성, III사분면은 열등순위 부분으로 부대시설의 구비, 식음료 비용의 적절성 등의 속성, IV사분면은 과잉노력지양 부분으로 생활만족도 향상, 스크린야구의 규칙 및 절차 등의 속성이 포함되어 있다.

Conventional, IMRT, VMAT을 이용한 CSI 치료시, Setup 오차에 따른 각 Junction부의 선량변화측정을 통한 치료계획 비교 (Comparison treatment planning with the measured change the dose of each Junction section according to the error of setup CSI Treatment with Conventional, IMRT, VMAT)

  • 이호진;전창우;안범석;유숙현;박소연
    • 대한방사선치료학회지
    • /
    • 제26권2호
    • /
    • pp.217-224
    • /
    • 2014
  • 목 적 : Conventional, IMRT, VMAT을 이용한 CSI치료 시, Setup 오차에 따른 각 Junction부의 선량변화측정을 통해 치료계획을 비교한다. 대상 및 방법 : 본원에서 CSI 치료환자를 대상으로 이클립스 10.0(Eclipse10.0, Varian, USA)를 이용하여 Conventional, IMRT, VMAT 치료계획을 세웠다. 또한 필름측정을 위하여 각 치료계획마다 IMRT QA phantom을 적용한 Verification plan을 생성하였다. 이때, 각 치료기법의 Setup 오차는 0, 머리방향으로 2, 4, 6mm, 다리방향으로 2, 4, 6mm로 적용하였다.(이하, '+'는 머리 방향, '-'는 다리방향을 의미한다.) IMRT QA Phantom과 EBT2 film을 이용하여, 각 치료기법별로 Junction부의 Setup 오차를 0, +2, +4, +6, -2, -4, -6mm로 이동하여 조사하였다. Film을 Scan하여 감마지수(Gamma index,${\gamma}$)를 도출하여, 측정된 Film과 치료계획상의 선량분포와의 일치성을 확인한 후, Setup 오차에 따른 Conventional, IMRT, VMAT 치료계획별 선량분포도를 비교하였고, Homogeneity Index(HI)를 계산하여 표적 내 선량분포의 균일성을 분석하였다. 결 과 : Film으로 측정하여 얻은 감마지수는 90.49%로 Film scan값과 치료계획상의 선량분포와의 일치성을 확인하였다. 또한, 거리에 따른 선량분포도에 따르면, Setup 오차를 머리 방향으로 2, 4, 6mm설정하면 Conventional의 $^*Diff$(%)는 3.1, 4.5, 8.1, IMRT는 1.1, 3.5, 6.3, VMAT은 1.6, 2.5, 5.7으로 나타났다. 같은 방법으로 Setup 오차를 다리방향으로 2, 4, 6mm로 설정을 하면 Conventional의 $^*Diff$(%)는 -1.6, -2.8, -4.4, IMRT는 -0.9, -1.6, -2.9, VMAT은 -0.5, -2.2, -2.5으로 나타났다. Homogeneity Index(HI)는 Conventional 1.216, IMRT 1.095, VMAT 1.069로 값을 얻었다. 결 론 : Dose homogeneity와 Junction 부위에 대한 완만한 Dose gradient의 장점을 가진 IMRT와 VMAT을 이용한 CSI치료는 Conventional 기법보다 Setup 오차에 따른 Junction 부위의 선량의 변화가 적었고, 균일성 또한 좋게 나타났다. 이러한 적은 선량의 변화는 CSI치료 시 발생하는 Setup 오차에도 환자에게 위험성이 적음을 의미한다.