http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
LTS로 명세화된 철도 신호제어용 프로토콜 검정 및 적합성시험
서미선(Seo Mi-Seon),김성운(Kim Sung-Un),황종규(Hwang Jong-Gyu),이재호(Lee Jae-Ho) 한국철도학회 2003 한국철도학회 학술발표대회논문집 Vol.- No.-
As a very important part in development of the protocol, verification and conformance test for protocol specification are complementary techniques that are used to increase the level of confidence in the system functions as prescribed by their specifications. In this paper, we verify the safety and liveness properties of rail signal control protocol type 1 specified in LTS(Labeled Transition System) with model checking method, and experimentally prove that it is possible to check for the deadlock, livelock and rechability of the states and actions on LTS. We also propose a formal method on generation of conformance test cases using the concept of UIO sequences from verified protocol specification.
임상시험 대상자가 지각한 임상연구 간호사의 의사소통 유형과 간호서비스 만족도
서미선(Seo, Mi Seon),박영임(Park, Young Im) 한국간호교육학회 2016 한국간호교육학회지 Vol.22 No.4
Purpose: This study aimed to examine the communication styles and nursing service satisfaction of clinical research nurses perceived by clinical subjects. Methods: The data were collected with self-administrated questionnaires after receiving consents from 200 clinical trial subjects. The data were analysed with descriptive statistics, t-test, ANOVA, Pearson’s correlation coefficients and stepwise multiple regression analysis using SPSS 21.0 statistic program. Result: Clinical subjects perceived that clinical research nurses used the informative, affective, and non-authoritative communication styles. The study identified factors influencing the nursing service satisfaction, and they were the informative communication styles (β=.34, p<.001) and affective communication styles (β=.35, p<.001, R²=37%) by multiple linear regression. Conclusion: If educational programs on communication are developed to help clinical research nurses use the informative and affective communication styles according to the characteristics of subjects and applied to the field of practice, they will be able to increase the nursing service satisfaction and contribute to the higher quality of clinical trials.
철도 신호 제어프로토콜의 검정 및 적합성시험 도구 개발에 관한 연구
서미선 ( Mi-seon Seo ),황진호 ( Jin-ho Hwang ),김성운 ( Sung-un Kim ),황종규 ( Jong-gyu Hwang ),이재호 ( Jea-ho Lee ) 한국정보처리학회 2004 한국정보처리학회 학술대회논문집 Vol.11 No.1
본 논문에서는 LTS(Labeled Transition System)로 명세화된 철도 신호 제어 프로토콜의 동작의 정확성을 형식기법을 통해 검정하고 적합성 시험을 위한 시험계열을 자동으로 생성해 주는 도구로서 프로토콜 검정기와 적합성 시험 계열 생성기를 개발하였다. 본 도구는 과거에 사용되었던 비정형적 방법의 많은 오류와 모호함을 제거하고 프로토콜 개발시간 및 비용을 절약해 줌으로써 철도 신호 제어시스템의 안전성 및 신뢰성을 보장해 줄뿐만 아니라, 다른 시스템에도 응용되어 검정 및 시험을 효율적으로 수행하게 해주는 도구이다.
전문 미용실과 일반미용실에 대한 소비자들의 인식이 만족도와 재방문의도에 미치는 영향
서미선 ( Mi-seon Seo ),진용미 ( Yong-mi Jin ) 한국미용학회 2018 한국미용학회지 Vol.24 No.4
As the modern beauty industry is grabbing diverse consumers' attention regardless of age and sex, the number of beauty shop is also rapidly increasing. In such saturated beauty market, the professional beauty shops that have segmentalized/specialized the beauty area with their own differentiated strategies are appearing. Thus, the objective of this study is to research the beauty shop users' perception in order to seek for measures to improve the perception of users of general beauty shops and specialized beauty shops. A survey was conducted targeting customers who had used general or specialized beauty shops. Using the autonomic questionnaire, it was analyzed through SPSS 21.0. As a factor extraction method of factor analysis, the principal component analysis was used while the Varimax was used as a factor rotation method. For the reliability analysis of variables, the Cronbach's α value was used. For the reliability analysis of variables, the Cronbach's α value was used. In the results of this study, regarding the satisfaction with s service quality, the satisfaction with service quality of specialized beauty shops was high. In case of the revisit intention, there were positive results in the technical factor of specialized beauty shops and the service factor of general beauty shops.
신뢰성 확보를 위한 철도 신호제어용 프로토콜 검정기 개발
서미선(Seo Mi-Seon),황진호(Hwang Jin-Ho),황종규(Hwang Jong-Gyu),이재호(Lee Jae-Ho),김성운(Kim Sung-Un) 한국철도학회 2004 한국철도학회 학술발표대회논문집 Vol.- No.-
In this paper, we develope a protocol verification tool that verifies the correctness of rail signal control protocol type 2 specified in LTS(Labeled Transition System) by using model checking method. This tool automatically checks several properties for deadlock, livelock and reachability of states and actions on LTS. and removes many errors and ambiguities of an informal method used in the past, so saves down expenditures and times required in the protocol development. Therefore it is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling system by using the developed verification tool.
I/O FSM으로 명세화된 철도 신호제어용 프로토콜 검정에 관한 연구
서미선(Seo Mi-Seon),황종규(Hwang Jong-Gyu),이재호(Lee Jae-Ho),김성운(Kim Sung-Un) 한국철도학회 2004 한국철도학회 학술발표대회논문집 Vol.- No.-
The verification confirms a correspondence between requirements and a specification before implementing. The problem in the formal method verifying a protocol specification using model checking is that the protocol behaviors must be always specified in LTS(Label Transition System). But if Region Automata is applied to the model checking, it is enable to verify whether properties are true on specification specified in I/O FSM(Input/Output Finite State Machine) as well as LTS. In this paper, we verify the correctness of rail signal control protocol type 1 specified in I/O FSM by using model checking method and region automata. This removes many errors and ambiguities of an informal method used in the past and saves down expenditures and times required in the protocol development. Therefore it is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling system by using the proposed verification methods.
조광현(Kwang-Hyun Cho),배효진(Bae Hyoe Jin),정창현(Chang-Hyun Jeong),서미선(Mi-Seon Seo),김성운(Sung-Un Kim) 한국정보과학회 2004 한국정보과학회 학술발표논문집 Vol.31 No.2Ⅲ
본 논문에서는 차세대 OVPN(Optical Virtual Private Network)에서 제어 프로토콜인 LMP(Link Management Protocol)를 IPsec(IP Security Protocol)을 사용하여 보안성을 제공하는 메커니즘의 문제점을 제시한다. 그리고 이에 대한 해결책으로, IPsec를 사용하지 않고 보안성을 제공하면서 빠른 속도로 처리되는 확장된 LMP 메커니즘을 제안한다.