http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
기술과 증명이 용이한 싱크로 나이저 기술방법에 관한 연구
우치수(Chi Su Wu),최경희(Kyung Hee Choi),한상영(Sang Young Han) 한국정보과학회 1985 정보과학회논문지 Vol.12 No.4
본 논문에서는 공유자원의 정확한 운용이나 프로세스 사이의 커뮤니케이션을 위하여 중요한 싱크로나이제이션 문제를 공유자원을 사용하려는 프로세스나 메시지의 큐, 공유자원의 상태, 그리고 싱크로나이저의 상태 변화를 유도하는 이벤트를 이용하여 해결하였다. 본 논문에서 해결된 readers writers 문제에서 보듯이 본 연구에서 개발된 방법은 싱크로나이저의 기술과 invariant assertion의 증명을 용이하게 함을 알 수 있다. This paper presents a modeling and description method for synchronization problems which are important for the reliable use of shared objects and the reliable interprocess communications. The model and description are built using process or message queues, states of shared objects, and events causing changes of synchronizers' states. The model presented in this paper, illustrated by the familiar readers writers problem, make it easy to solve synchronization problems and to verify the invariant assertions.
우치수(Chi Su Wu),한상영(Sang Young Han),이강수(Gang Soo Lee) 한국정보과학회 1988 정보과학회논문지 Vol.15 No.3
본 논문에서는 소프트웨어 신뢰도의 측정 연구에 관하여 논한다. 소프트웨어 신뢰도 분야들과 30종의 고장자료를 조사 수집하였고, 고장수 형태의 자료를 고장간시간 형태의 자료로 변환하는 2가지 방법을 제시하였다. 측정 및 비교연구를 위하여, 고장간시간 형태의 모델중에서 대표적인 Jehnski-Moranda 모델과 고장수 형태의 모델중에서 대표적인 Non-homogeneous Poisson Process 모델을 선택하여 수집된 30종의 고장자료에 적용하였고 4종의 에러들을 이용해 비교하였다. 모델적용시, 모수들은 최우 추정식을 regular-falsi 반복법을 이용해 풀었다. In this paper, we discuss a study on software reliability measures. We survey and collect the software reliability area and 30 set of actual fault data, and propose transformation methods which transform fault-count (FC) type data into time-between-fault (TBF) type data. For the measurement and comparative study, the Jelinski-Maranda model, which is one of the basic TBF type models, is compared with the Non-homogeneous Poisson Process model, which is a FC type, using the collected fault data and 4 types of error. We solved the maximum likelyhood parameter estimation problem of the models by the regular-falsi iteration method.
박선정(Sun Jung, Park),박순옥(Sun Ok, Park),김태현(Tae Hyeon, Kim),김진욱(Jin Uk, Kim),박영우(Young Woo, Park),우상영(Sang Young, Woo),한수정(Soo Jung, Han),이수정(Soo Jung, Lee),조세현(Se Hyun, Cho),최은영(Eun Young, Choi),박상용(Sa 한국간호연구학회 2019 한국간호연구학회지 Vol.3 No.3
Purpose : The purpose of this study was to examine college students’ awareness of respect for life and their consciousness of respect for life in an attempt to highlight the importance of respect for life. Methods : This is a descriptive research study to investigate the way students who were in their first, second, third and fourth years in college looked at respect for life. The collected interview data on the awareness of the selected college students about respect for life were analyzed according to the procedure of content analysis to find out their definitions of respect for life, the importance of it, Results : when they felt respect for life was needed and how to put it into practice, and 62 significant statements and 17 categories were selected. Given the findings of the study, education on respect for life should systematically be conducted from diverse angles to teach college students the preciousness of life and the importance of respect for it. And this education should focus on finding out, systematizing and internalizing the basis of the thought of respect for life. Conclusion : A school curriculum should be revamped into a curriculum of respect for life, and the content of it should be prepared in detail to instill the thought of respect for life in students in light of their characteristics in each stage.