• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.38 no.3
• /
• pp.185-197
• /
• 2001

Recently, the design method by VHDL coding and synthesis has been used widely. As the integration ratio increases, the amount design by VHDL at a time also increases so many coding errors occur in a design. Thus, lots of time and effort is dissipated to detect those coding errors. This paper proposed a method to verify the coding errors in VHDL behavioral-level designs. As the methodology, we chose the method to detect the coding error by applying the generated set of verifying patterns and comparing the responses from the error-free case(gold unit) and the real design. Thus, we proposed an algorithm to generate the verifying pattern set for the coding errors. Verifying pattern generation is peformed for each code and the coding errors are classified as two kind: condition errors and assignment errors. To generate the patterns, VHDL design is first converted into the corresponding CDFG(Control & Data Flow Graph) and the necessary information is extracted by searching the paths in CDFG. Path searching method consists of forward searching and backward searching from the site where it is assumed that coding error occurred. The proposed algorithm was implemented with C-language. We have applied the proposed algorithm to several example VHDL behavioral-level designs. From the results, all the patterns for all the considered coding errors in each design could be generated and all the coding errors were detectable. For the time to generate the verifying patterns, all the considered designed took less than 1 ［sec］ of CPU time in Pentium-II 400MHz environments. Consequently, the verification method proposed in this paper is expected to reduce the time and effort to verify the VHDL behavioral-level designs very much.

• Journal of the Korea Safety Management & Science
• /
• v.13 no.4
• /
• pp.53-60
• /
• 2011

Job stress weakens physical ability causing the diseases related to working condition, decreases a production level, and increases mistakes and accidents. This study examined the relationship between job stress and human error, and focused on the moderating effect of age and maintenance type on the relationship between job stress and human error. The study used a quantitative design based on the 450 questionnaires of maintenance personnel in the Air force. The results of multiple regression analysis showed that physiological and psychological stress responses have positively related with human error. In moderating effect test, age appeared to impact on the relationship between physiological/behavioral stress and human error.

• Proceedings of the IEEK Conference
• /
• 1998.06a
• /
• pp.815-818
• /
• 1998

Hardware formal verification involves the use of analytical techniques to prove that the implementation of a system confroms to the specification. The specification could be a set of properties that the system must have or it could be an alternative representation of the system behavior. We can represent our behavioral specification to be written in VHDL coding. In this paper, we proposed a new hardware design verification method. For theis method, we assumed that a verification pattern already exists and try to make an algorithm to find a place where a design error occurred. This method uses an hierarchical approach by making control flow graph(CFG) hierarchically. From the simulation, this method was turned out to be very effective that all the assumed design errors could be detected.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2019.11a
• /
• pp.265-265
• /
• 2019

Marine accidents continue to occur every year due to human errors. The purpose of this study is to promote navigational safety by preventing ship collision accidents caused by human errors of behavior of navigators. There are two ways to manage human error caused by navigator's behavior. It is divided in individual approach and system approach, which is applied to situational awareness theory and Rasmussen's behavioral theory. This study investigated past marine accidents caused by human error and conducted experiments using ship handling simulators to identify these two behavioral characteristics. After analyzing two human error characteristics, we will propose a countermeasure in next study.

• Proceedings of KOSOMES biannual meeting
• /
• 2018.06a
• /
• pp.84-84
• /
• 2018

• Journal of KIISE:Software and Applications
• /
• v.30 no.12
• /
• pp.1158-1171
• /
• 2003

The UML is a widely accepted standard in object-oriented modeling. As the UML is semantically rich, we can describe in detail the system that will be developed, but we cannot guarantee the correctness and consistency of the designed model. Therefore, it is important to minimize the error by verifying user models in an early stage. In this paper, we propose a method for verifying the consistency of UML structural diagrams and behavioral diagrams using OCL verification rules and meta-metamodel. The consistency is a nature for checking whether the structural diagrams and behavioral diagrams are coherently designed according to a specific requirement. First we build meta-metamodels of the structural diagram and behavioral diagram that are described with the UML diagrams and the related elements, we derive rules for verifying the consistency from each meta-metamodels, and then formally specify with the language such as OCL for automatic verification. Finally, we verify the usefulness of the rule through a case study.

• Anxiety and mood
• /
• v.11 no.1
• /
• pp.33-37
• /
• 2015

Objective : Impaired response inhibition has been suggested to play an important role in the pathophysiology of obsessive-compulsive disorder (OCD). The aim of this study was to evaluate the response inhibition in patients with OCD, by using the Go/NoGo paradigm, and to better understand its associations with clinical symptoms. Methods : The participants included 63 OCD patients and 80 healthy volunteers matched in age and sex. response inhibition was evaluated using computerized Go/NoGo task, in which their commission error rates, omission error rates, and mean response times were measured. The severity of clinical symptoms in the OCD patients was assessed using Montgomery-Asberg Depression Scale and Yale-Brown Obsessive Compulsive Scale. Result : OCD patients showed significantly impaired inhibition and higher omission errors rates despite their slower response time, compared to normal controls. Clinical symptoms were not correlated with commission errors and omission errors. Conclusion : The present results indicate that impairment in response inhibition may play a critical role in the pathophysiology of OCD as a trait. These findings suggest that deficit of response inhibition may contribute to developing and maintaining clinical symptoms such as compelling need to repeat certain actions in patients with OCD.

• International Journal of Aeronautical and Space Sciences
• /
• v.9 no.2
• /
• pp.71-78
• /
• 2008

New formation flight controller for unmanned aerial vehicles is proposed. A behavioral decentralized control approach called formation geometry center control is adopted. Trajectory tracking as well as formation geometry keeping are the purpose of the formation flight, and therefore two controllers are designed: a trajectory tracking controller for reference trajectory tracking, and a position controller for formation geometry keeping. Each controller is designed using Lyapunov stability theorem to guarantee the asymptotic stability. Formation flight controller is finally obtained by combining the trajectory tracking controller and the formation geometry keeping controller using a weighting parameter that depends on the relative distance error between unmanned aerial vehicles. Numerical simulations are performed to validate the performance of the proposed controller.

• Child Health Nursing Research
• /
• v.20 no.1
• /
• pp.1-10
• /
• 2014

Purpose: The purposes of the study were to develop and test a model which explains the relationship among factors affecting behavioral problems in elementary school children. Methods: The participants for the study were 368 elementary school children and their mothers at 3 elementary schools in one city. Data analysis was done using the SPSS 17.0 program for t-test, -test, and ANOVA and the AMOS 17.0 program for theoretical model testing. Results: The theoretical model showed a significant goodness of fit to the empirical data (Goodness of Fit Index: .96, Adjusted Goodness of Fit Index: .93 Comparative Fit Index: .95, Root Mean Square Error of Approximation: .06, Standardized Root Mean Square Residual: .02). Six paths were found to be statistically significant including from child rearing attitude to self-esteem, stress, stress coping and behavioral problems, and from self-esteem to stress and behavioral problems. Child rearing attitude showed a significant effect to behavioral problems by total effect. Self-esteem affected behavioral problems by total and direct effects. Conclusion: Child rearing attitude and selfesteem of children are important factors affecting behavioral problems in elementary school children.

• Korean Journal of Biological Psychiatry
• /
• v.13 no.2
• /
• pp.70-81
• /
• 2006

Objective : The purpose of this study was to investigate the differences of the cognitive performance, emotional and behavioral problems among the attention-deficit/hyperactivity disorder(ADHD) groups that show the difference between visual and auditory attention. Method : Using 'ADHD Diagnostic System(ADS)', visual attention and auditory attention of 98 children diagnosed as ADHD were measured. According to the omission and commission error of ADS, they were divided into three groups ; 1) the group whose each visual omission and commission error scores were higher than each auditory omission and commission error scores(VV group), 2) the group whose each auditory omission and commission error scores were higher than each visual omission and commission error scores(AA group), 3) the group that was the rest of VV and AA group(M group). And the results of both the subscales of Korean Educational Development Institute-Wechsler Intelligence Scale for Children(KEDI-WISC) and the subscales of Korean Child Behavior Checklist(K-CBCL) among three groups were compared. Finally, the correlation between the visual omission, visual commission, auditory omission, auditory commission error and the results of KEDI-WISC, K-CBCL were investigated. Results : The results were as follows ; 1) In 98 ADHD children, the number of VV group(N=56) was higher than that of AA (N=10) and M group (N=32). 2) All mean scores of the subscales of KEDI-WISC of VV group were higher than those of M and AA group. The score of verbal IQ(p=.039) of VV group was significantly higher than that of AA group and the scores of block design(p=.015), Kaufman's factor 2(p=.045), performance IQ(p=.004) were significantly higher than those of M group. The score of full IQ(p=.004) were significantly higher than that of M and AA group. 3) The mean scores of all K-CBCL subscales of VV group were higher than those of M and AA group, except the score of Somatic complaint subscale. The score of Social subscale(p=.041) of VV group was significantly higher than that of AA group. The score of Withdrawn subscale(p=.021) of AA group was significantly higher than that of VV group. 4) There were no significant correlation between the scores of visual omission/commission error and those of each subscale of KEDI-WISC. But, there were many significant correlations between the scores of auditory omission/commission error and those of each subscale of KEDI-WISC. 5) There were significant correlation between the score of the visual omission error and that of Thought problem subscale(r=.205, p=.043) of K-CBCL. There were significant correlation between the scores of the auditory omission error and those of Social subscale(r=-.319, p=.001), Social problems subscale(r=.206, p=.042), Thought problem subscale(r=.235, p=.021). Finally, there were significant correlation between the scores of auditory commission error and those of Social subscale(r=-.241, p=.017), Thought problem subscale(r=.235, p=.020). Conclusion : The ADHD children whose auditory attention ability were higher than visual attention ability had relatively better cognitive performance and less emotional/behavioral problems than the others. The more comprehensive experiment will be needed about the cognitive performance, emotion and behavior problems of the ADHD children showing the difference between visual and auditory attention.