http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
CodeAnt : 소프트웨어 검증 효율 향상을 위한 코드 슬라이싱 도구
박민규 ( Ming Yu Park ),김동우 ( Dong Woo Kim ),최윤자 ( Yun Ja Choi ) 한국정보처리학회 2015 정보처리학회논문지. 소프트웨어 및 데이터 공학 Vol.4 No.1
Safety critical systems require exhaustive verification of safety properties, because even a single corner-case fault can cause a critical safety failure. However, existing verification approaches are too costly in terms of time and computational resource required, making it hard to be applied in practice. In this paper, we implemented a tool for minimizing the size of the verification target w.r.t. verification properties to check, based on program slicing technique[1]. The efficacy of program slicing using our tool is demonstrated in a case study with a verification target Trampoline[3], which is an open source automotive operating system compliant with OSEK/VDX[2]. Experiments have shown enhanced performance in verification, with a 71% reduction in the size of the code.
물리치료사의 직무유형이 직무만족도와 조직몰입도에 미치는 영향 : 부산지역을 중심으로
김성구 ( Seong Gu Kim ),노정운 ( Jung Woon No ),박민규 ( Ming Yu Park ),하용목 ( Yong Mok Ha ),김지혁 ( Chi Hyok Kim ),배원식 ( Won Sik Bae ) 대한통합의학회 2014 대한통합의학회지 Vol.2 No.4
Purpose : The purpose of this survey was to investigate the effect on job satisfaction and organizational commitment according to the job types of Pusan area physical therapists figuring out structural causality between job satisfaction and organizational commitment. Method : This survey was conducted through structured questionnaire for the physical therapists working in Pusan area, and data from 217 therapists were utilized in the final analysis. Data collection was deployment questionnaire using Google Docs (online survey), The SPSS 21.0 program was used according to for research purposes independent t-test was used for individual and job characteristics, was used according to job types and job satisfaction and organizational commitment are logistic regression analysis, correlation analysis and chi-square test. Result : The results of this study were as follows. 1. Overall job satisfaction according to the job types was appeared musculoskeletal physical therapist more 4 times. 2. Job types according to the organizational commitment did not make direct effect. Conclusion : Number of musculoskeletal physical therapist than neurological physical therapist was fewer and there were many per day treatment of patients, but overall job satisfaction was appeared that is higher. This is thought that job types affects more than working environment.