http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 박민규 ( Ming Yu Park ) (검색결과 2 건)
- 무료
- 기관 내 무료
- 유료
-
CodeAnt : 소프트웨어 검증 효율 향상을 위한 코드 슬라이싱 도구
박민규 ( Ming Yu Park ),김동우 ( Dong Woo Kim ),최윤자 ( Yun Ja Choi ) 한국정보처리학회 2015 정보처리학회논문지. 소프트웨어 및 데이터 공학 Vol.4 No.1
고안전성이 요구되는 소프트웨어의 경우 극히 낮은 확률로 발생하는 오류로 인하여 전체시스템의 안전에 치명적인 상황을 야기할 수 있으므로, 철저한 안전성 검증이 요구된다. 하지만 모든 가능한 실행경로를 고려해야 하는 안전성 검증은 고비용이 발생한다는 단점이 있다. 본 논문에서는 안전성 검증의 고비용 문제를 개선하기 위해 안전성 특질을 기준으로 코드 슬라이싱 기법[1]을 구현한 도구를 개발하였다. 개발한 도구를 OSEK/VDX[2] 기반의 개방형 차량 전장용 운영체제인 Trampoline[3] 소스코드에 적용한 결과 분석 대상의 코드의 크기를 평균 71% 줄일 수 있었고, 실제 검증을 수행했을 시에도 도구 적용 이전보다 검증 비용을 절감할 수 있었음을 보였다. 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.
ScienceON
KISS연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
