• 제목/요약/키워드: model checking

검색결과 569건 처리시간 0.028초

블로그에서 포스팅 성향 분석과 갱신 가능성 예측 (Analysis of Posting Preferences and Prediction of Update Probability on Blogs)

  • 이범석;황병연
    • 한국정보과학회논문지:데이타베이스
    • /
    • 제37권5호
    • /
    • pp.258-266
    • /
    • 2010
  • 메타 블로그에 등록된 RSS(Really Simple Syndication)의 수는 수십만 개 또는 수백만 개에 이른다. 따라서 이들에 대한 갱신 확인을 수행하는 것은 상당히 긴 시간과 네트워크 자원을 필요로 한다. 메타 블로그나 블로그 검색엔진은 제한된 자원을 가지고 있기 때문에 하루에 방문할 수 있는 블로그의 수가 제한적이다. 하지만 블로그 검색엔진의 성능향상을 위해 새로운 데이터를 최대한 수집하는 것이 필요하기 때문에, 우리는 이 논문에서 수집 효율을 높이기 위한 새로운 방법을 제안한다. 제안하는 방법은 블로그의 포스팅 성향을 분석하여 그것을 토대로 향후 갱신 가능성에 대해 예측하고 갱신 가능성이 높은 시점에만 갱신 확인을 수행한다. 이 연구는 블로그의 입장에서는 분산 서비스 거부 공격(DDoS Attack: Distributed Denial-of-Service Attack)만큼이나 빈번한 갱신확인을 줄이는데 도움이 되고, 인터넷 전체로 보아서는 트래픽을 감소시키는데 기여할 수 있다. 본 논문에서는 블로거들의 포스팅이 이루어지는 요일과 시간에 특정한 패턴이 존재할 것이라는 가정을 하고, 15119개의 실제 블로그에 작성된 포스트에 대해 요일과 시간의 선호도를 분석하였다. 그리고 과거의 포스팅 이력과 요일에 대한 선호도를 바탕으로 갱신 가능성을 예측하기 위한 방법을 제안하고, 12115개의 실제 블로그에 적용하여 그 정확도를 확인하였다. 성능평가를 통해 약 93.06%의 블로그에서 0.5 이상의 정확도를 가짐을 확인하였다.

Acceptance Testing and Commissioning of Robotic Intensity-Modulated Radiation Therapy M6 System Equipped with InCiseTM2 Multileaf Collimator

  • Yoon, Jeongmin;Park, Kwangwoo;Kim, Jin Sung;Kim, Yong Bae;Lee, Ho
    • 한국의학물리학회지:의학물리
    • /
    • 제29권1호
    • /
    • pp.8-15
    • /
    • 2018
  • This work reports the acceptance testing and commissioning experience of the Robotic Intensity-Modulated Radiation Therapy (IMRT) M6 system with a newly released $InCise^{TM}2$ Multileaf Collimator (MLC) installed at the Yonsei Cancer Center. Acceptance testing included a mechanical interdigitation test, leaf positional accuracy, leakage check, and End-to-End (E2E) tests. Beam data measurements included tissue-phantom ratios (TPRs), off-center ratios (OCRs), output factors collected at 11 field sizes (the smallest field size was $7.6mm{\times}7.7mm$ and largest field size was $115.0mm{\times}100.1mm$ at 800 mm source-to-axis distance), and open beam profiles. The beam model was verified by checking patient-specific quality assurance (QA) in four fiducial-inserted phantoms, using 10 intracranial and extracranial patient plans. All measurements for acceptance testing satisfied manufacturing specifications. Mean leaf position offsets using the Garden Fence test were found to be $0.01{\pm}0.06mm$ and $0.07{\pm}0.05mm$ for X1 and X2 leaf banks, respectively. Maximum and average leaf leakages were 0.20% and 0.18%, respectively. E2E tests for five tracking modes showed 0.26 mm (6D Skull), 0.3 mm (Fiducial), 0.26 mm (Xsight Spine), 0.62 mm (Xsight Lung), and 0.6 mm (Synchrony). TPRs, OCRs, output factors, and open beams measured under various conditions agreed with composite data provided from the manufacturer to within 2%. Patient-specific QA results were evaluated in two ways. Point dose measurements with an ion chamber were all within the 5% absolute-dose agreement, and relative-dose measurements using an array ion chamber detector all satisfied the 3%/3 mm gamma criterion for more than 90% of the measurement points. The Robotic IMRT M6 system equipped with the $InCise^{TM}2$ MLC was proven to be accurate and reliable.

고객만족도 조사도구의 차원별 가중치 부여방법 비교 (A Comparative Study on the Methods for Weighting the Dimensions of Customer Satisfaction with Importance Perceived by Customers)

  • 강명근;조우현;이선희;최귀선;문기태
    • 한국의료질향상학회지
    • /
    • 제7권2호
    • /
    • pp.230-242
    • /
    • 2000
  • Background : The measuring instruments for customer satisfaction in hospitals are often composed of some dimensions reflecting the conceptive complexity of them. Then, overall satisfaction would be expected to be equal the 'weighted' sum of scores by dimensions because the importance rated by customers may be different across the dimensions. But the issue of how to weight the dimensions with importance is not yet solved. We examined 3 sets of weighting methods as to make effect on predictive power against overall satisfaction. Methods : We conducted a survey included 483 subjects who had visited or admitted to a university hospital, using the short form questionnaire being developed by The Korean Society of Quality Assurance in Health Care for out-patient and in-patient. By using a multiple linear regression model, we compared among changes of explanatory powers against overall satisfaction as dependent variable after weighting 4 dimensions of the survey questionnaire as independent variables with importance scores of dimensions perceived by consumers. And we compared the feasibility of each weighting, methods by checking missing cases. Results : There were no weighting methods increasing the explanatory power after applying them. The method of absolute scoring was found higher explanatory-power than others, but this finding had no statistical significance. Regarding the number of missing value, method of absolutely scoring had the least cases. Conclusion : Our findings suggested that weighting the dimensions with importance might have little significance in the cases of scales having items highly correlated, such as consumers' satisfaction. Though asking with items to be answered absolutely, customers might be rating relatively in some degree and this method produced least missing cases. Considering these points, in the cases when weighting the dimensions with importance would be required, we suggest that weighting method by absolute scoring might be better than others.

  • PDF

한국어 수분류사 어휘의미망 KorLexClas 1.5 (KorLexClas 1.5: A Lexical Semantic Network for Korean Numeral Classifiers)

  • 황순희;권혁철;윤애선
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제37권1호
    • /
    • pp.60-73
    • /
    • 2010
  • 본 연구의 목적은 한국어 수분류사 체계를 설정하고, 수분류사와 공기명사 간 의미관계 정보를 제공하는 한국어 수분류사 어휘의미망 "KorLexClas 1.5"의 정보구조와 구축방식을 소개하는 데 있다. KorLex 명사, 동사, 형용사, 부사가 영어 워드넷(Princeton WordNet)을 기반으로 참고구축 방식으로 개발된 것에 비해, KorLexClas 1.0버전과 이를 확장한 1.5버전은 직접구축 방식으로 개발하였다는 점에서, 수분류사의 계층구조와 언어단위 간 의미관계 설정은 매우 방대한 시간과 정교한 구축 방식을 요구한다. 따라서 작업의 효율성을 기함과 동시에, 구축된 어휘의미망의 신뢰성 및 확장성을 높이기 위해, (1) 다양한 기구축 언어자원을 활용하되 상호 검증하는 절차를 거치고, (2) 부분문장 분석방법을 이용하여, 수분류사 및 공기명사 목록을 확장하며, (3) 언어학적 준거를 기준으로 수분류사의 계층구조를 설정하고, (4) 수분류사와 공기명사 간 의미관계 정보를 제공하되 확장성을 확보하기 위해, KorLexNoun 1.5에 '최하위 공통상 위노드(LUB : Least Upper Bound)'를 설정하는 방식을 택한다. 이러한 특성을 가진 KorLexClas 1.5는 기계번역을 비롯한 한국어정보처리의 제 분야에 응용될 수 있다.

혼합 도달성 분석을 이용한 상태 불변식의 단순화 (Simplification of State Invariant with Mixed Reachability Analysis)

  • 권기현
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제30권3_4호
    • /
    • pp.212-218
    • /
    • 2003
  • 상태 불변식은 도달 가능한 모든 상태에서 만족되는 속성이다. 불변식은 복잡한 소프트웨어 시스템의 분석과 이해에 사용될 뿐만 아니라 안전성, 궁극성, 일관성 등과 같은 시스템 검증에도 사용된다. 이와 같은 이유로 인해서, 유한 상태 기계 모델로부터 상태 불변식을 추출하는 연구가 활발히 진행되고 있다. 상태 불변식을 생성하는 기존 연구에서는 도달 가능한 상태가 모두 고려됐다. 따라서 생성된 상태 불변식은 길고 복잡해서, 사용자가 이해하기 어려웠다. 본 논문에서는 '어떻게 상태 불변식을 단순화 할 것인가\ulcorner` 란 질문에 대한 답을 보인다. 상태 불변식의 복잡성은 고려되어진 상태의 크기에 강하게 좌우된다. 고려된 상태들이 작으면 작을수록, 상태 불변식의 길이는 짧다. 단순한 상태 불변식을 생성하기 위해서는, 전체 상태 공간보다는 관심 있는 특정 부분(즉 범위)에 집중해야 한다. 관심 있는 범위를 표현하기 위하여 본 논문에서는 CTL 논리를 사용한다. CTL로 범위가 표현되면, 혼합 도달성 분석을 이용하여 범위 내에 속하는 상태들을 찾는다. 명백히, 이 방법으로 계산된 상태 집합은 도달 가능한 모든 상태의 부분 집합이다. 따라서, 더 약하지만 더 이해력 있는 상태 불변식을 얻는다.

RFID와 리더간의 안전성이 검증된 키 분배 프로토콜의 개선 (Improvement of a Verified Secure Key Distribution Protocol Between RFID and Readers)

  • 배우식;이종연
    • 정보처리학회논문지C
    • /
    • 제18C권5호
    • /
    • pp.331-338
    • /
    • 2011
  • RFID 시스템은 리더와 태그간의 무선 통신 구간이 존재한다. 이 부분은 항상 보안 취약성으로 공격자의 목표가 되며 기밀누설, 프라이버시침해등 보안적인 문제가 발생한다. 이와 관련하여 기존에 여러 가지의 프로토콜이 제안된 바 있으나 구현이 까다로워 대부분 이론적 정리증명의 수준에서 머물러 보안 프로토콜의 안정성이 정확히 증명되지 못했다. 따라서 본 논문에서는 특히 기존에 제안된 Kenji et al. 의 프로토콜이 보안 속성을 만족하는지 검사하고 ID 및 메시지의 노출 등 취약성을 확인하였다. 이 문제의 해결책으로 공개키 및 난수를 줄여 개선한 RFID 보안 프로토콜을 제안한다. 주요 특징으로는 불필요한 계산을 없애고 보안상으로 취약성이 없도록 구성했다. 안전한 프로토콜을 개발 및 검증하기 위해 Casper 및 FDR(Failure Divergence Refinements) 도구를 이용하여 확인하고 제안한 프로토콜이 보안상으로 안전함을 확인했다. 아울러 본 연구의 학술적 기여는 다음과 같이 요약된다. 첫째 정리증명에서 벗어나 모델 체킹으로 보안성을 검증하였다. 둘째 FDR 검증으로 프로토콜의 개발을 좀 더 효과적으로 할 수 있는 방법을 제시하였다.

자기 검색척도(Self-Monitoring Scale)의 타당성 검정에 관한 연구 (The Study of the Validity Test on the Self-monitoring Scale)

  • 이선아
    • 대한간호학회지
    • /
    • 제28권3호
    • /
    • pp.751-759
    • /
    • 1998
  • The study of the validity test on the self-monitoring scale for nurses In this study, both the literary survey as well as empirical research has been executed to test the validity of the scales that measure the construct of the self-monitoring scale. The self-monitoring scale could not be classified into five factors as Snyder suggested. Many other scholars (Briggs, Cheek and Buss, 1980) suggested 3 different classifications which was accepted by Snyder and Gangestad (1986). John, Cheek and Klohnen(1996) claimed a two-factor classification. As has been discussed, factor analysis is used to prove convergent validity within the factor and discriminant validity between the factors. However, depending on the researchers, many variations in classification of the factors were found and a lack of content and discriminant validity were found in the previous research findings. It is also important to note that Snyder's self-monitoring scale did not factor-load at over. 30 for all 25 items, regardless of how many factors could be classified. According to findings of this study, the self-monitoring scale neither classified as five, three or two factors nor factor loaded as hypothesized. It is also clear that Snyder's self-monitoring scale lacks convergent validity as the sub-factors of the scale failed to prove its uni-dimensionality. The A self-monit oring scale not only fail to overcome the problems of Snyder's self-monitori ng scale but even lost the attractiveness of the self-monitoring scale. In this study it was also found that the A self-monitoring scale was not classified in either in a two or three-factor classification as hypothesized. It is, of course, not desirable to use any scale that lacks convergent and discriminant validity even though it has been widely used and has held a great deal of influence on the field of social psychology. To overcome the shortcomings of Snyder's self-monitoring scale, Lennox and Wolfe(1984) suggested 13 items. This study was dedicated to test the validity and reliability of the scale, in which we found that the data presented in validity as the two factors were class ified and loaded as expected. Reliability was also proven by checking Cronbach's α for each factor and for the total items. In addition, a confirmatory factor analysis was executed for the 13 items using LISREL 8.12 program to confirm convergent validity in a two-factor classification. The model was fitting and sound : however, the self-monitoring scale was unfitted and not validated. Thus, it is recommended to use not the original nor the abbreviated self-monitoring scale but the 13 items in future studies. It should also be noted that items 7 and 13 should be removed to obtain better uni-dimensionality for the 13 items. These items loaded at over. 30, too high for the two factors in the test results of Factor analysis. In addition, it is necessary to double-check the cause of two-hold loading at over .30 for the two factors. It could be a problem caused by data or by the scale itself. Therefore, additional studies should follow to better clarify this matter.

  • PDF

초임부를 대상으로 한 자가검색도 척도의 타당도 비교 (Study of the Validity Test on the Self-monitoring Scale for Primi-Gravida)

  • 이선아
    • 여성건강간호학회지
    • /
    • 제4권2호
    • /
    • pp.173-186
    • /
    • 1998
  • In this study, both the literary survey as well as empirical research has been executed to test the validity of the scales that measure the construct of self-monitoring scale could not be classified into five factors as Snyder suggested. Many other scholars (Briggs, Cheek and Buss, 1980) suggested 3 different classifications which was accepted by Snyder and Gangestad (1986). John, Cheek and Klohnen (1996) claimed a two-factor classification. As has been discussed, factor analysis is used to prove convergent validity within the factor and discriminant validity between the factors. However, depending on the researchers, many variations in classification of the factors were found and a lack of content and discriminant validity was found in the previous research findings. It is also important to note that Snyder's self-monitoring scale, did not factor-load at over 30 for all 25 items, regardless of how many factors could be classified. According to findings of this study, the self-monitoring scale neither classified as five, three or two factors nor factor loaded as hypothesized. It is also clear that Snyder's self-monitoring scale lack convergent validity as the sub-factors of the scale fail to prove its uni-dimensionality. The A self-monitoring scale not only fail to overcome the problems of Snyder's self-monitoring scale but even lost the attractiveness of the self-monitoring scale. In this study, it was also found that the A self-monitoring scale was not classified as hypothesized in either in a two or three-factor classification. It is, of course, not desirable to use any scale that lacks convergent and discriminant validity even though it has been widely used but also has held a great deal of influence on the field of social psychology. To overcome the shortcomings of Snyder's self-monitoring scale, Lennox and Wolfe(1984) suggested 13 items. This study 1. was dedicated to test the validity and reliability of the scale, in which we found that the data presented in validity as the two factors were classified and loaded as expected. Reliability was also proven by checking Cronbach's alpha for each factor and for the total items. In addition, a confirmatory factor analysis was executed for the 13 items using LISREL 8.12 program to confirm convergent validity in a two-factor classification. The model was fitting and sound ; however, the self-monitoring scale was unfitted and not validated. Thus, it is recommended to use not the original or the abbreviated self-monitoring scale but the 13 items in future studies. It should also be noted that items 7 and 13 should be removed to obtain better uni-dimensionality for the 13 items. These items loaded at over .30, too high for the two factors in the test results of factor analysis. In addition, it is necessary to double-check the cause of two-hold loading at over .30 for the two factors. It could be a problem caused by data or by the scale itself. Therefore, additional studies should follow to better clarify this matter.

  • PDF

생활환경 기반 u-건강관리서비스 설계 및 구현 (Design and Implementation of the u-Health Care Services in the Life Environment)

  • 홍인화;김주영;최호천;김찬규;정광모;김남일;강정진
    • 한국인터넷방송통신학회논문지
    • /
    • 제11권6호
    • /
    • pp.107-118
    • /
    • 2011
  • 논문은 U-Health Service 기술분야로 기존의 사업자 중심의 U-Health Service와 달리 이용자(시민)와 서비스 제공자(의료서비스) 관점에서 건강관리 서비스를 기획하고, IT기술을 활용하여 개발 구축한 서비스이며, 성남시 지원의 산학연과제로서, 성남시 탄천변에 구축 운영중인 건강관리 서비스 모델에 대한 실증 논문이다. 본 건강관리 서비스는 이용자 관점에서 서비스 만족도를 극대화하기 위해 4가지 주요원칙(최대한 단순하게, 최대한 가볍게, 맞춤형을 지향, 재미있는 피드백)하에 구현하였으며, 건강 관리서비스의 핵심 알고리즘은 평가/처방/모니터링/피드백의 4가지 단계로 구성되어있고. 시스템 구성은 평가 부분은 성남시 탄천변의 금곡공원에 건강지킴이 부스를 설치하여 RFID와 체성분계, 혈압계를 연동한 건강측정 및 평가를 제공하고, 건강관리서비스 처방엔진을 통해 개인 맞춤형 건강행동 처방(운동처방 및 건강신호등 처방)이 제공되며, 처방된 운동 처방은 탄천변의 기 구축된 운동시설(근력, 유산소)을 통해 이용자 스스로가 맞춤형 운동을 시행하고, 모니터링된 데이터를 기반으로 맞춤형 피드백 서비스가 제공된다. 본 건강관리 서비스는 2010년1월 ~ 12월(개발), 2011년 1월~2월(시범서비스 및 시스템 안정화), 2011년 2월 ~ 3월(분당 서울대병원 중심의 50명의 임상군을 대상으로 한 2개월간의 임상시험), 2011년 3월부터 현재 까지 600여명의 시민을 대상으로 시민 자율형 건강관리 서비스를 제공하고 있다. 생활환경 기반 건강관리 서비스의 만족도는 높은 편이며, 몇 가지 이용자 측면에서의 이용 편이성을 높이고, 지자체/의료기관/방송사업자가 연계된 사업모델이 발굴된다면 향후 유비쿼터스 건강관리 서비스 분야에서 성장성이 매우 높을 것으로 기대된다.

치기공과 학생의 수업 방해 요인과 수업 만족도와의 관계 (Relations between class distracting factors and class satisfaction of dental technology students)

  • 권순석;이혜은
    • 대한치과기공학회지
    • /
    • 제39권4호
    • /
    • pp.263-273
    • /
    • 2017
  • Purpose: This study aimed to explore the relations between class distracting factors and class satisfaction of the dental technology students and then provide a primary data to help further related studies and develop educational programs with which instructors can efficiently manage their classroom. Methods: For this study we have conducted a survey started from the beginning of May 2017 to the end of June. The subjects of the survey were Dental Technology students of D-city, K-city, W-city, selected by random sampling method. The questionnaire was self-administrated and 437 valid results were chosen for our analysis among 450 distributed questionnaires. Results: The results of the research was as follows. Firstly, The overall average point of class distracting factors was 2.5 point. The environmental factors were the highest point as 2.59 and as for the subcategories tiredness and drowsiness was the highest point as 2.76. Secondly, The overall average point of class satisfaction turned out 3,88 point and compliance with class and attitude factors gained the highest point as 4.06. Of the subcategories strict roll checking was the highest point as 4.17. Thirdly, As for class distracting factors from general characteristics a statistical significance was shown as follows; 'instructor factor'(p<.01), 'learner factor'(p<.05), 'total class distracting factor'(p<.05) in the area of gender, 'environmental factor'(p<.001), 'total class distracting factor'(p<.01), 'learner factor'(p<.05), 'instructor factor'(p<.05) in the area of gender 'learner factor'(p<.001), 'instructor factor'(p<.001), 'environmental factor'(p<.001), 'total class distracting factor'(p<.01) in the area of class grade, 'environmental factor'(p<.05) in GPA. Fourthly, A statistical significance, a negative correlation (p<.01) were shown between class distracting factors and class satisfaction. Class distracting factor that especially affects the class satisfaction was instructor factor(p<.001) and the explanatory power of the model turned out 14.7%, which was statistically meaningful (p<.001). Conclusion : Results of this study reveal that instructor factor is the key to class satisfaction of the students. So it is crucial that the instructor faithfully prepare for the class to reinforce the students' learning. Additionally further studies should be followed with more subjects and newer perspectives to develop innovative teaching methodology.