http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Symbolic Incremental CTL 모델 검증
채정욱(Jung-Wook Chae),인호(Hoh Peter In) 한국정보과학회 2005 한국정보과학회 학술발표논문집 Vol.32 No.1
최근 유비쿼터스 컴퓨팅 환경이 부각되면서 유비쿼터스 컴퓨팅 환경에서의 모델 검증을 위해 기존의 심볼릭 검증 모델을 응용한 매우 크고 여러 콤포넌트로 구성된 모델 검증 대상이 빈번히 변화하는 상황을 가정한 모델 검증 기술이 요구되었다. 본 논문에서는 빈번히 변화하는 모델 검증을 위해 새로운 알고리즘을 제시하고 완전히 증명하였으며 기존의 모델과 새로운 모델간의 성능 비교 실험으로 새로운 모델의 효율성을 증명하였다.
최병순,채정욱,Choi, Byung-Soon,Chae, Jeong-Uk 한국농촌의학지역보건학회 1998 농촌의학·지역보건 Vol.23 No.2
To find health problems of Pohang city and to plan the activities to solve them in the situation of localization, the mortalities of the citizens in recent three years from 1994 to 1996 were analyzed from the notices and the certificates of death. The ratios of the notices with the certificates of death In the rural area of Pohang city were higher than those of whole country, the ratios of the urban area were lower than the respective ones, and the ratio differences between the rural and urban area were increasing. It may be that medical facilities are not within easy access of the rural inhabitants. especially in the rural south district with high population density. The proportional mortality indicators(PMI) were lower them those of whole country, much lower in male. So the health status of young aged males is relatively unsatisfactory. The urban inhabitants died in hospitals about two times more than the rural inhabitants and the differences were increasing. It may be that living and housing conditions and socio-cultural differences affected on the places of death. Because it is thought that death in hospitals will be growing at high speed, it is necessary to enlarge facilities fur funeral services. The age standardized mortalities were lower than those of whole country and age grouped mortalities were also the same. There were not any consistent and meaningful findings in the sex ratios of mortality according to the age groups or the calendar years. The mortalities by neoplasms and cardiovascular diseases according to the twenty one major causes of death were rapidly increased from the middle ages in both male and female. So it is important to plan the activities for early detection and health maintenance or promotion by behavior modifications. The leading causes of death were cardiovascular diseases, hypertensive diseases, and traffic accidents. And accidental drowning because of coastal area, liver diseases in male, and low respiratory tract diseases in female were the leading causes of death in part of age groups.
사공정규,채정욱 대한신경정신의학회 2001 신경정신의학 Vol.40 No.1
Objectives:The purpose of this study is to get basic data to develop plan and strategy of community mental health in Pohang city by identifying attitudes toward mentally ill in Pohang community. Methods:The subjects of this study are the 491 persons aged between 20 and 59 who live in Pohang. Methods of selection for the subjects based on multistage stratified cluster sampling, i.e. by sex, by age, by place of residence(“Up”·“Myeon”·“Dong”), and by ratio to total populations. Tool of the study is Community Attitudes to the Mentally Ill Inventory(CAMI). Results: 1) The residents of Pohang community showed positive attitude in ‘Benevolence’ and ‘Community mental health ideology’ subscale and negative attitude in ‘Authoritarianism’ and ‘Social restrictiveness’ subscale. Therefore community mental health project in Pohang city will be established and activated easily. 2) Aged group had more authoritative, social restrictive and less community mental health oriented attitude. 3) The lower educated group had more authoritative, social restrictive and less benevolent, community mental health oriented attitude. 4) The unmarried group had less authoritative, less social restrictive attitude. 5) The home-owners had more authoritative, more social restrictive attitude. 6) The opinion leaders had more authoritative and less community mental health oriented attitude. 7) The respondents whose family had used mental health services had less benevolent attitude. The respondents who themselves had used mental health services had more authoritative, less benevolent and community mental health oriented attitude. Conclusions:Therefore, it will be necessary to give public information and education for those who have negative attitude groups of aged, low educated, home-owners, opinion leaders and respondents who themselves or whose family had used mental health services. If resource could be made of persons of positive attitude groups of younger aged, highly educated and unmarried, community mental health project will be more efficient 연구목적: 포항시 지역사회 정신보건사업을 수행함에 있어, 포항시 지역주민의 정신질환자에 대한 태도를 평가하고 이를 결정하는 요인과의 상관관계를 밝혀서 향후 포항시에 적합한 지역사회 정신보건사업의 기초자료로 활 용하기 위함이다. 방 법: 2000년 3월에 포항시 지역에 거주하는 지역 주민 중 20∼59세 사이의 성인 인구수를 모집단으로 하였으 며, 성별, 연령별, 읍·면·동별 인구 비율을 준거로 표본 수를 정하는 다단계 층화 표집법을 사용하였다. 총 대상자는 491명이었다. 조사도구는 Community Attitudes to the Mentally Ill Inventory(이하‘CAMI’로 약칭함)를 사용하였다. 결 과: 포항시 지역주민들의 정신질환자에 대한 전반적인 태도를 CAMI 하위척도별로 보면, 권위주의 33.5± 4.84, 자비심 22.8±5.87, 사회생활제한 31.1±5.08, 지역정신보건개념 26.9±4.92로 전반적으로는 긍정적 인 경향을 보였다. 고연령, 저학력, 기혼 집단, 자가 집단, 여론 주도층, 정신질환자 가족 및 본인의 정신과 치료 경험군에서 부정적인 태도를 보였고, 저연령, 고학력, 미혼 집단에서 긍정적인 태도를 보였다. 결 론: 정신질환자에 대해 부정적인 태도를 보인 고연령, 저학력, 기혼 집단, 자가 집단, 여론 주도층, 정신질환자 가족 및 본인의 정신과 치료 경험군에 정신질환자에 대한 부정적 견해, 편견 등을 교정시키기 위한 교육, 계 몽 사업을 우선적으로 시행하여야 할 것으로 생각되며, 정신질환자에 대해 긍정적인 태도를 보인 저연령, 고 학력, 미혼 집단을 지역사회 정신보건사업의 자원으로 활용하여 효율적인 정신보건사업이 될 수 있도록 사업 계획을 수립하는 것이 필요할 것으로 생각된다.