• Title/Summary/Keyword: self-checking

Search Result 217, Processing Time 0.023 seconds

Verification of Self-Adaptation Strategy for Unmanned Weapon Systems (자가 적응 무인 시스템의 임무수행 전략 검증)

  • Kim Sang-Soo;Chae Joung-Wook;In Hoh
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2005.11b
    • /
    • pp.349-351
    • /
    • 2005
  • 자가 적응 시스템을 무인 시스템(UWS: Unmanned Weapon Systems)에 적용하기 위한 다양한 연구가 이루어지고 있다. 자가 적응 시스템은 임무중인 시스템이 다양한 주변 환경 및 시스템의 변화에 따라 능동적으로 시스템 또는 임무수행을 위한 전략을 주정해 항상 최상의 성능을 발휘할 수 있도록 하는 능력을 갖춘 시스템을 말한다. 자가 적응 시스템에서 능동적으로 변화시킨 시스템의 아키텍처나 임무수행 전략이 유효한 것인지에 관한 검증을 수행한 후 시스템에 적용해야 한다. 기존의 대부분의 자가 적응 시스템에 대한 연구결과에서는 능동적으로 변화된 시스템이 임무수행에 적합한지에 대한 검증 방법을 제시해 주고 있지 않다. 본 연구에서는 UWS의 자가 적응 시스템이 임무수행 중 변화 되었을 때 미래의 발생할 사건에 대해 적절하게 적용 가능한지를 검증하기 위하여 시간적인 사건의 완전성을 검증하기에 적합한 Computation Tree Logic(CTL) 모델체킹(Model Checking)을 적용하여 자가 적응 시스템의 적응결과를 검증하는 방법을 제시하였다.

  • PDF

Development of Self-Checking characteristics Serial Data Distribution Module (자기검사특성을 갖는 시리얼데이터 분배모듈의 개발)

  • Shin, Duck-Ho;Lee, Jong-Woo;Kim, Jong-Ki;Lee, Key-Soe
    • Proceedings of the KIEE Conference
    • /
    • 2002.07d
    • /
    • pp.2240-2242
    • /
    • 2002
  • This paper show serial communication method in order to design how to interface between fault tolerant systems with redundancy. Problem has been in the method that fault tolerant system had switched of serial data with common switching device. This problem degrade reliability in itself and total system which is interfaced with that serial communication system. So Arbitration module of serial communication which is suggested in this paper can improve the reliability using voter algorithm which fault is detected passively.

  • PDF

Feasibility Prediction-Based Obstacle Removal Planning and Contactable Disinfection Robot System for Surface Disinfection in an Untidy Environment (비정돈 환경의 표면 소독을 위한 실현성 예측 기반의 장애물 제거 계획법 및 접촉식 방역 로봇 시스템)

  • Kang, Junsu;Yi, Inje;Chung, Wan Kyun;Kim, Keehoon
    • The Journal of Korea Robotics Society
    • /
    • v.16 no.3
    • /
    • pp.283-290
    • /
    • 2021
  • We propose a task and motion planning algorithm for clearing obstacles and wiping surfaces, which is essential for surface disinfection during the pathogen disinfection process. The proposed task and motion planning algorithm determines task parameters such as grasping pose and placement location during the planning process without using pre-specified or discretized values. Furthermore, to quickly inspect many unit motions, we propose a motion feasibility prediction algorithm consisting of collision checking and an SVM model for inverse mechanics and self-collision prediction. Planning time analysis shows that the feasibility prediction algorithm can significantly increase the planning speed and success rates in situations with multiple obstacles. Finally, we implemented a hierarchical control scheme to enable wiping motion while following a planner-generated joint trajectory. We verified our planning and control framework by conducted an obstacle-clearing and surface wiping experiment in a simulated disinfection environment.

The Effect of Grouping by Extraversion and Introversion in Paired Think-Aloud Problem Solving Using Problem-Solving Strategy (문제 해결 전략을 사용하는 해결자.청취자 활동에서 내.외향성에 따른 소집단 구성의 효과)

  • Jeon, Kyung-Moon;Kang, Hun-Sik;Noh, Tae-Hee
    • Journal of The Korean Association For Science Education
    • /
    • v.23 no.1
    • /
    • pp.57-65
    • /
    • 2003
  • In this study, the effects of grouping by extraversion and introversion in paired think-aloud problem solving using a four-stage problem-solving strategy emphasizing planning and checking stages were investigated. Prior to the instructions, the students' extraversion/introversion in three high school classes (N=87) were examined, and those classes were randomly assigned to the homogeneous, the heterogeneous, and the control groups. The test scores of the two treatment groups were significantly higher than those of the control group in the problem-solving ability. However, there were no significant differences in learning difficulty and self-efficacy. Although there were no significant differences between the scores of two treatment groups in the subcategories of the perception of treatment, the test scores of extroverts were significantly higher than those of introverts in the perception of performing listener's role, the preference to problem solving strategy, and the preference to paired think-aloud problem solving.

Analysis on Recognition, Practice and Information Acquisition Behaviors regarding Food Additives of University Students (식품첨가물에 대한 대학생의 인식과 실천 행동 및 정보 획득 행동 분석)

  • Kim, Hyochung;Kim, Meera
    • Journal of the East Asian Society of Dietary Life
    • /
    • v.24 no.5
    • /
    • pp.572-584
    • /
    • 2014
  • The purpose of this study was to investigate the levels of recognition, practice and information acquisition behaviors regarding food additives of university students for development of educational programs. The data were collected from 283 students in the Yeungnam region through a self-administered questionnaire. The level of concern about food additives was intermediate. The level of checking labels for food additives when buying processed foods was not high. The main reason for not checking labels for food additives was "Buying the special brand products repeatedly". In the factor analysis for perception of food additives, three factors were categorized; effect of food additives on human health, administration and regulation of food additives, and necessity of food additives. According to regression analyses, grade, concern about food additives and perception of amount of food additives had significant effects on human health. The significant variables for administration and regulation of food additives were gender, grade, major, monthly allowance and concern about food additives. In addition, major was a significant variable for the necessity of food additives. Many respondents did not reduce intake of food additives; males did less than females. Most respondents answered they did not acquire sufficient information about food additives. Regarding needs for information content on food additives, respondents wanted information about safety of food additives the most, followed by items of labels for food additives, and ways to reduce intake of food additives.

Analysis on Psychological Self-regulation and Arousal Variation of Actors on Performance (공연 시 배우의 각성변화와 심리적 자기조절 분석)

  • Hong, Kil-Dong;Lee, Hong-Sik;Lee, Hyung-Kook;Oh, Jin-Ho;Lee, Ki-Ho
    • The Journal of the Korea Contents Association
    • /
    • v.8 no.12
    • /
    • pp.176-189
    • /
    • 2008
  • The purpose of this study was to analyze self-regulation about changing heart rate and perceived arousal variation when actors start their performance. Object of this study were 5 actors who belong to the theater selected using the purposive sampling method. This study used a measuring instrument of heart rate to measure arousal status, used behavior observation paper to observe and record self-regulation behavior and executed personal consultation after ending performance. There was graph mad by variation transition which calculated average and standard deviation about variation of heart rate each time of performance. The results of this study were as follows. First, there were high variation of awake level that actor's heart rates were rising before starting performance and the most high level of arousal was from 20minutes to 5minutes before starting performance. Second, there were self-regulation behaviors appeared such as deep breathing, breath controling, self talking, talking with other actors, concentrating an script, going to toilet, smoking, checking closes before starting performance. Third, when performance start, actors used psychological self-regulational method such as relaxation, self concentration, confidence reinforcement, coping with state or accommodation for controling raised arousal status.

A study on the relationship of self-efficacy to stressors and stress adaptation in dental hygiene students (치위생과 학생의 자기효능감 수준에 따른 스트레스 요인의 적응방법에 관한 연구)

  • Lim, Mi-Hee;Ku, In-Young;Choi, Hye-Sook
    • Journal of Korean society of Dental Hygiene
    • /
    • v.11 no.5
    • /
    • pp.811-822
    • /
    • 2011
  • Objectives : The purpose of this study was to examine the relationship of the self-efficacy of dental hygiene students to their stressors and ways of stress-adaptation patterns. Methods : The subjects in this study were dental hygiene juniors in four selected colleges located in the metropolitan area. Results : 1. They got a mean of 3.22 in self-efficacy. They gave the highest mark(3.50) to an item 'I can attain it if I set a primary goal.' 2. They got a mean of 3.18 in stressors. Among the stressors, task assignments(3.74) were identified as the greatest stressor, followed by the curriculum(3.25), learning environments(3.16), prospects of employment (3.07) and test anxiety(2.95). 3. They got a mean of 2.02 in stress-adaptation method. They got 2.31 and 1.72 in long-term and short-term adaptation respectively, which showed that long-term stress adaptation method were more prevailing than short-term ones. 4. As a result of analyzing whether there would be any gaps in self-efficacy according to general characteristics, statistically significant gaps were found in that regard according to experience of preparing for college admission after leaving high school, academic standing, satisfaction with the department of dental hygiene and prospects of employment(p<.05). 5. As a result of checking the relationship of their self-efficacy to their stressors and ways of stress adaptation method, there were statistically significant differences in that aspect according to examinations and prospect of employment(p<0.05). As for ways of stress adaptation method, there were statistically significant differences in long-term adaptation method (p<0.05). Conclusions : As it's found that the level of the self-efficacy of the dental hygiene students was linked to the efficiency of their ways of stress adaptation method, the development and implementation of programs geared toward boosting the self-efficacy of dental hygiene students are required to teach them to successfully cope with various kinds of stress that they are likely to face after getting a job.

Self-reported Realities of Health Behavior of Undergraduate Students After Web-based Health Promotion Education: Qualitative Content Analysis (웹기반 건강증진교육 참여 후 자가분석에 나타난 대학생의 건강관련 생활습관 실재: 질적내용분석)

  • Kim, Joo Hyun;Park, Eun Young;Lim, Kyung Choon
    • The Journal of Korean Academic Society of Nursing Education
    • /
    • v.18 no.3
    • /
    • pp.413-423
    • /
    • 2012
  • Purpose: This study was aimed to evaluate the changes of health behaviors and concepts via self-reflection after health education with 6 videotapes for undergraduate students. Method: After the first semester in 2011, we collected the data for evaluating their own health-related life-style. Using qualitative content method, the data were analyzed. Result: Thirty-nine students participated in this study. Average age was 22.7 years, and 27 were male. Thirty-seven students replied unhealthy diet pattern; irregular meal time and binge. Four themes and 11 subjects emerged. The four themes were new perception for health and illness, evaluation of own health state, checking for health-related lifestyle, and trying to change for a healthy life pattern. The eleven subjects were chance to change their health habits, new perception about illness experience with family, uncertainty about upcoming health, worry about disease occurring, grasp the facts of unhealthy diet pattern, less exercise, growing stress, high-pressure drinking culture in the university, increasing concern for a healthy life, trying to change lifestyle, and difficulty in changing lifestyle. Conclusion: From the results of this study, we concluded that self-reflection on the health behaviors after health education with videotapes could reinforce to change health behaviors and concepts for undergraduate students.

A Comparative Study on the Awareness of Health Risks and the Risk Reduction Measures Related to Sodium Intake between Female and Male University Students in Busan and Gyeongnam: An Application of Protection Motivation Theory (보호동기이론을 적용한 나트륨 과다섭취에 따른 위험성 및 나트륨 섭취 감소 방안의 효과성에 대한 부산·경남 지역 남녀 대학생들의 인식 비교 연구)

  • Jang, Soo-Hyun;Yoon, Eunju
    • Korean journal of food and cookery science
    • /
    • v.32 no.1
    • /
    • pp.136-146
    • /
    • 2016
  • The purpose of this study was to investigate whether there was a gender difference in motivating university students to decrease their sodium intake and to identify effective motivating factors. Within the protection motivation theory (PMT) framework, a survey questionnaire was developed to measure participants' perceptions on the severity of and the vulnerability to risk of serious diseases due to the high sodium intake, as well as the effectiveness (response efficacy) and the ability to perform preventive measures (self-efficacy). Behavioral intentions on five specific practices (checking nutrition label, consuming more fruits and vegetables, consuming less soups, avoiding spicy and pungent food, purchasing less instant or restaurant foods) related to decreasing sodium intake were also included. A total of 294 usable response data were collected from university students (92 male, 202 female) in Busan and Gyeongnam in June 2015 and analyzed using IBM SPSS 22. Severity was the highest (4.04) PMT factor followed by response efficacy (3.72), self-efficacy (3.42), and vulnerability (3.26). Compared to male students, female students thought that the threat was more severe (t=6.035, p<0.001) and reducing sodium intake would be effective to prevent serious illnesses (t=4.724, p<0.001), but their vulnerability and self-efficacy perceptions were not different from male students. Among the five items measuring behavioral intention, female students were more likely to increase fruits and vegetables consumption (t=3.811, p<0.001), while male students were more likely to avoid spicy and pungent foods (t=2.336, p=0.020). Based on findings of this study, the recommended strategy to effectively motivate university students to lower their sodium consumption level is the development of campaign focused on increased vulnerability perception, response efficacy, and ease of practicing preventive measures instead of emphasizing the severity of the consequences.

Privacy-Preserving Self-Certified Public Auditing for Secure Cloud Storage (안전한 클라우드 스토리지를 위한 프라이버시 보장 자체 인증 공공 감사)

  • Baek, Mokryeon;Kim, Dongmin;Jeong, Ik Rae
    • Journal of KIISE
    • /
    • v.43 no.4
    • /
    • pp.497-508
    • /
    • 2016
  • With a cloud storage service, data owners can easily access their outsourced data in cloud storage on different devices and at different locations, and can share their data with others. However, as the users no longer physically have possession of their outsourced data and the cloud still facing the existence of internal/external threats, the task of checking the data integrity is formidable. Over recent years, numerous schemes have been proposed to ensure data integrity in an untrusted cloud. However, the existing public auditing schemes use a third-party auditor(TPA) to execute high computation to check data integrity and may still face many security threats. In this paper, we first demonstrate that the scheme proposed by Zhang et al. is not secure against our two threat models, and then we propose a self-certified public auditing scheme to eliminate the security threats and guarantee a constant communication cost. Moreover, we prove the securities of our public auditing scheme under three security models.