• Title/Summary/Keyword: Consistency verification

Search Result 145, Processing Time 0.024 seconds

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

  • Jo, Jin-Hyeong;Bae, Du-Hwan
    • 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

  • PDF

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

  • Jung, SoWoon;Kim, JungWan
    • 재활복지
    • /
    • v.22 no.4
    • /
    • pp.43-58
    • /
    • 2018
  • Swallowing disorders that can affect nutrient intakes and quality of life are commonly shown among the elderly as well as patients with neurogenic disorder. This study verifies the reliability and validity of the Swallowing Disturbance Questionnaire (SDQ), a subjective swallowing disability assessment tool, modified for Koreans' eating habit and cultural sentiment, against 105 stroke patients, in order to help identify early swallowing problems of the elderly. Reliability of internal consistency in the Korean version of SDQ is .601, test-retest reliability is .97, and concurrent validity is .956. Based on 8 points of cut-off score, 46.8% of sensitivity and 81.6% of specificity. Comparing the results of video fluoroscopic study (VFSS), an objective swallowing disorder test with those of Korean version of SDQ, negative predictive value (NPV) and positive predictive value (PPV) was shown as 81% and 53%. The Korean version of SDQ is expected to be a useful testing tool to discriminate swallowing disorders in stroke patients. It has great clinical significance in that swallowing difficulties shown by subjects can be sorted out to request a diagnostic assessment before clinical evaluation by a rehabilitation therapist or ruling out unnecessary exposure to additional tests by accurately identifying stroke patients without swallowing problems.

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

  • Kim, Eun Young;Lee, Sun Wook;Kim, Young;Lee, Sang-Heon;Kim, Heyjin;Gwon, Jung-A
    • The Journal of Korean Academy of Sensory Integration
    • /
    • v.16 no.2
    • /
    • pp.36-49
    • /
    • 2018
  • Objective : The purpose of this study was to examine the validity and reliability of the Korean version of Life Balance Inventory (K-LBI) and to present the relationship between life balance and sensory processing. Methods : K-LBI was constructed through forward and backward translation. Convergent validity, internal consistency, and test-retest reliability were tested for college students. To verify convergent validity, correlation analyses between K-LBI and Korean version of Perceived Stress Scale, Korean version of Satisfaction With Life Scale, and Adult Self Report-Achenbach system of empirically based assessment were performed. Split-half reliability and test-retest reliability were also obtained for reliability verification. We performed the correlation analysis between K-LBI and Korean version of Adolescent/Adult Sensory Profile. Results : A significant correlation was found between K-LBI and the scales for convergent validity. A favorable split-half reliability and test-retest reliability were calculated. The positive correlations were found between relationship life balance and sensory sensitivity/sensation avoiding quadrants. The negative correlation was found between challenges life balance and low registration. Conclusion : This study shows that K-LBI is a valid and reliable tool in Korea. It also provides an in-depth understanding of the relationship between life balance and sensory processing.

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

  • Shin, Jaeseop;Choi, Jaepil
    • Korean Journal of Construction Engineering and Management
    • /
    • v.20 no.5
    • /
    • pp.52-60
    • /
    • 2019
  • The APR1400 is a 1400MWe nuclear power plant developed through national technology development project over a period about 10years. Approximately 65,000 design drawings are produced for APR1400 construction. In order to maintain consistency among numerous drawings, the highest level of design bases drawings (DBDs) are created according to design bases and this is used in the subsequent design. However, DBDs are produced and managed on a document basis and they are managed various field, it was difficult to accurately reflect the design bases information in the subsequent design. Therefore, this study recognizes limitations of the document based DBDs and develops a system that can accurately reflect the design bases information to subsequent design by adopting BIM based design bases integrated information system. Especially, by introducing DBIL(Design Bases Information Layer) concept, DBIL was created and analyzed based on five design bases(Physical protection, Fire protection, Internal missile protection, Internal flood protection, Radiation protection) applied to APR1400. In the final result DBIL set and Datasheet are integrated of room, design bases information, building data(wall, slab, door, window, penetrations). So it can be used for subsequent design automation and design verification. Furthermore, it is expected that APR1400 DBILs data can be used extensively in constructability and design economics analysis through comparison with next generation nuclear power plant.

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

  • Lee, Yena
    • The Journal of the Korea Contents Association
    • /
    • v.21 no.10
    • /
    • pp.576-593
    • /
    • 2021
  • In this study, in order to investigate the factors that affect the percentage of correct answers and the degree of discrimination of the TOEIC test, a regression analysis was performed using corpus indicators that influence correct answer rate and the degree of discrimination for each part derived from the item analysis. The basic calculation word_length, consistency index LSA_overlap_adjacent_sentences, lexical diversity MTLD_VOCD, conjunction All_logical_causal_connectives_incidence, situational model casual_particles_causal_verbs_Ratio, syntactic complexity Left_embeddedness, and syntactic pattern density Infinitive_density were found to have negative effects. These factors that lower the correct answer rate can be utilized when setting learning goals. Vocabulary diversity index MTLD_VOCD, conjunction Additive_connectives_incidence, syntactic pattern density Infinitive_density, and lexical information person1_2_pronoun_incidence were found to have a positive effect. Factors influencing the increase in discrimination may provide important information for developing a learning program.

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

  • Jeon, Kyungsik;Kim, Jintae;Lee, Byoungkil
    • Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
    • /
    • v.39 no.3
    • /
    • pp.179-186
    • /
    • 2021
  • In general, the daily safety inspection activities, which investigate damages in structures and measures the size of the damage, have been relied heavily on the visual inspection so far. Since the probe of the condition and performance of facilities by such personnel is often dependent on the subjective judgment of the investigator, the consistency and repeatability of the probing results may reduce. Particularly, damage located in a difficult-to-reach place depends mainly on experience with the naked eye, and an unsafe method using a ladder has mainly applied when necessary. Therefore, in this study, we tried to propose a way of using images that can reduce the deviation between safety inspection investigators, enhance objectivity, and improve the safety of workers. In this study, we have applied homographic transformation as a method of correcting the image. As a result of analyzing the size of the damage in the corrected image of the test subject, it confirms that the accuracy of measuring the magnitude of the damage can satisfy the target levels of 5.0mm and 0.005m2, the target accuracy levels. As a result of the field verification test to which the proposed image correction technique applied, the coefficient of variation of the crack length in the structure decreased from 5.4~7.0% to 0.072~0.12%, and that of the damaged area from 10.9% to 1.6%. It confirms that the measurement accuracy is improved. Therefore, it is expected that this study on the image utilization technique in safety inspection activities can increase the accuracy of damage measurement and improve the reliability of the safety inspection reports and exterior survey drawings.

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

  • Song, Jiae
    • Journal of the Korean Society for Library and Information Science
    • /
    • v.55 no.2
    • /
    • pp.179-200
    • /
    • 2021
  • This study is aimed at analyzing cases of management focusing on a reading club using the blended learning at school library and the relevant programs of the free semester system. Therefore, the study has designed a research model for the blended-based management of school libraries, and cases of activities of reading clubs at school libraries for participants in programs linked with the free semester system have been analyzed. As a result of the analysis, first, the confidence level was satisfied in all areas of stability, consistency, predictability and verification on confidence level for related variables of the research model. Second, a meaningful relation has been verified in the correlation analysis between the blended activities and activities of the career search and the career design. Third, as a meaningful static effect has been shown in the contact-free activities in the areas of activities of the blended learning and activities of the career search and the career design, it was verified that programs linked with reading clubs of the free semester system have higher positive effects in the contact-free activities. Last but not least, programs related to local governments to support reading clubs at school libraries have been presented, and management of the blended learning at school libraries has been suggested.

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

  • Lee, Jeong-Hoon;Park, Ji-Hyuk
    • Therapeutic Science for Rehabilitation
    • /
    • v.10 no.4
    • /
    • pp.53-63
    • /
    • 2021
  • Objective : This study aimed to develop a Korean version of the Flow State Scale for Occupational Task (K-FSSOT), to measure the level of a flow experience of a subject in occupational therapy activities. Methods : To develop a measure of K-FSSOT, validity and reliability were verified through a systematic development process. The validity was verified by calculating the content validity index (CVI) through the content validity of 10 occupational therapists and a question-and-answer survey of 20 patients. Reliability was verified by investigating the internal consistency and examination-re-test reliability of 33 patients. Results : The item-CVI for each question in the content feasibility study was .90 to 1.00, and the scale-CVI, which is the average of the whole item, was found to be appropriate at .97. The verification of reliability indicated that the intrinsic value of the entire question was high at .855, and the test-retest reliability value was high at .894 (p<.01), showing a high correlation, and very high reliability. Conclusion : K-FSSOT could be used as a useful tool to measure the level of a flow experience of the target in performing occupational therapy activities for occupational therapists concerned about the participation and flow experience of the target.

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

  • Koo, Soo-Yong;Jeon, Yong-Bae;Choi, Eui-Yul
    • 한국체육학회지인문사회과학편
    • /
    • v.54 no.4
    • /
    • pp.363-372
    • /
    • 2015
  • The purpose of this study was to suggest marketing plan to improve and promote screen baseball utilization, applying Importance-Performance Analysis (IPA) incorporating marketing mix 4Cs; Customer value, Convenience, Cost, and Communication. A convenience sample was made up of 267 users in screen baseball clubs located in metropolitan area. Evidence on validity and reliability of the data was obtained through exploratory factor analysis and internal consistency analysis. Frequency analysis and paired sample t-test for the difference verification of IPA were conducted also in SPSS version 21.0 with .05 of significance level. The main results of the study were as follows. First, there were partially significant differences between importance and satisfaction regarding the sub-categories of Customer value and Convenience. Second, there were all significant differences between importance and satisfaction regarding the sub-categories of Cost and Communication. Third, as the results regarding IPA, quadrant I indicating 'Keep up Good Work' included healthy use of leisure time, improvement of self-achievement, accessibility, communication between service user and provider, etc. Fourth, quadrant II indicating 'Concentrate Here' included diversification of screen baseball program, cost regarding facility use, etc. Fifth, quadrant III indicating 'Low Priority' included interpersonal relationship, subsidiary facilities, cost of food and beverage, etc. Lastly, quadrant IV indicating 'Possible Overkill' included improvement of physical health and life satisfaction and rules and procedures of screen baseball.

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 (Conventional, IMRT, VMAT을 이용한 CSI 치료시, Setup 오차에 따른 각 Junction부의 선량변화측정을 통한 치료계획 비교)

  • Lee, Ho Jin;Jeon, Chang Woo;Ahn, Bum Suk;Yu, Sook Hyeon;Park, So Yeon
    • The Journal of Korean Society for Radiation Therapy
    • /
    • v.26 no.2
    • /
    • pp.217-224
    • /
    • 2014
  • Purpose : Conventional, IMRT, at CSI treatment with VMAT, this study compare the treatment plan with dose changes measured at Junction field according to the error of Setup. Materials and Methods : This study established Conventional, the IMRT, VMAT treatment planning for CSI therapy using the Eclipse 10.0 (Eclipse10.0, Varian, USA) and chose person in Seoul National University Hospital. Verification plan was also created to apply IMRT QA phantom for each treatment plan to the film measurements. At this time, the error of Setup was applied to the 2, 4, 6mm respectively with the head and foot direction. ("+" direction of the head, "-" means that the foot direction.) Using IMRT QA Phantom and EBT2 film, was investigated by placing the error of Setup for each Junction. We check the consistency of the measured Film and plan dose distribution by gamma index (Gamma index, ${\gamma}$). In addition, we compared the error of Setup by the dose distribution, and analyzing the uniformity of the dose distribution within the target by calculating the Homogeneity Index (HI). Results : It was figured out that 90.49%-gamma index we obtained with film is agreement with film scan score and dose distribution of treatment plan. Also, depend on the dose distribution on distance, if we make the error of Setup 2, 4, 6mm in the head direction, it showed that 3.1, 4.5, 8.1 at $^*Diff$(%) of Conventional, 1.1, 3.5, 6.3 at IMRT, and 1.6, 2.5, 5.7 at VMAT. In the same way, if we make the error of Setup 2, 4, 6mm in the foot direction, it showed that -1.6, -2.8, -4.4 at $^*Diff$(%) of Conventional, -0.9, -1.6, -2.9 at IMRT, and -0.5, -2.2, -2.5 at VMAT. Homogeneity Index(HI)s are 1.216 at Conventional, 1.095 at IMRT and 1.069 at VMAT. Discussion and Conclusion : The dose-change depend on the error of Setup at the CSI RT(radiation therapy) using IMRT and VMAT which have advantages, Dose homogeneity and the gradual dose gradients on the Junction part is lower than that of Conventional CSI RT. This a little change of dose means that there is less danger on patients despite of the error of Setup generated at the CSI RT.