• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제8권3호
• /
• pp.965-983
• /
• 2014

Concurrent behaviors of multithreaded programs cannot be described effectively by automata-based models. Thus, concurrent program intrusion attempts cannot be detected. To address this problem, we proposed the process algebra-based detection model for multithreaded programs (PADMP). We generate process expressions by static binary code analysis. We then add concurrency operators to process expressions and propose a model construction algorithm based on process algebra. We also present a definition of process equivalence and behavior detection rules. Experiments demonstrate that the proposed method can accurately detect errors in multithreaded programs and has linear space-time complexity. The proposed method provides effective support for concurrent behavior modeling and detection.

• 기본간호학회지
• /
• 제24권1호
• /
• pp.1-8
• /
• 2017

Purpose: The purpose of this study was to evaluate the psychometric properties of the Hypertension Self-Care Behavior Scale for older adults with hypertension in Korea. Methods: A cross-sectional descriptive study was used with 196 participants. Translation and back-translation were performed by bilingual nursing professionals and a nutritionist. Reliability and validity such as content validity, construct validity, and concurrent validity were conducted. To evaluate the concurrent validity, the correlation coefficients between the Korean version of Hypertension Self-Care Behavior and concurrent scales (hypertension adherence scale and self-efficacy scale) were calculated. Results: The total 20 items for the Korean version of the Hypertension Self-Care (HBP-SC) Behavior Scale were retained during item-analysis. In explanatory factor analysis, a two-factor solution was proposed and the two factors named, 'HBP-SC Diet behavior' and 'HBP-SC Health behavior (except diet)'. The two factors accounted for 48.9% of the variances. The Korean version of the Hypertension Self-Care Behavior Scale correlated with concurrent variables such as hypertension adherence and self-efficacy. For reliability of the Korean version of the Hypertension Self-Care Behavior, Cronbach's ${\alpha}=.92$. Conclusion: Findings show that the Korean version of the Hypertension Self-Care Behavior is reliable and valid for measuring self-care behavior of older adults with hypertension.

• 한국정보통신학회논문지
• /
• 제3권3호
• /
• pp.587-595
• /
• 1999

상속 변칙이 발생하는 기본적인 이유는 병행객체에 대해 동기화 코드가 메소드 코드와 적당하게 분할되지 않을 때, 파생 클래스를 만들어내기 위한 코드의 확장이 슈퍼 클래스에 존재하는 동기화 코드와 메소드 코드를 변경하도록 할 때, 그리고 병행 객체지향 언어에서 상속성과 병행성이 결합할 때 발생한다. 강조할 점은 상속 변칙을 피하는 방법이다. 그래서 본 논문에서는 새로운 모델인 객체 모델을 제안하고 행위 방정식을 사용하여 병행 객체지향 언어에서 나타나는 상속 변칙의 문제를 최소화시키고자 한다.

• 아동학회지
• /
• 제23권3호
• /
• pp.1-15
• /
• 2002

The subjects of this study were 4th to 6th grade children and instruments were the Teenage Inventory of Social Skills, the Internal-External Control Scale, the Self-Esteem Scale, and the Peer Relations Questionnaire. In the concurrent study, children lower in social skills and in self-esteem and external in locus of control reported more bullying and victimization. Children higher in social skills and in self-esteem and internal in locus of control reported more prosocial behavior. In the prospective study, children lower in social skills were more involved in bullying and victimization. Children higher in social skills reported more prosocial behavior. The effects of locus of control and self-esteem on peer relations diminished over time. However, social skills had a significant influence on bullying, victimization and prosocial behavior up to two years later. Children lower in psychosocial development were more vulnerable to peer victimization.

• 동의신경정신과학회지
• /
• 제28권3호
• /
• pp.195-206
• /
• 2017

Objectives: To evaluate the effects of concurrent therapy with cognitive behavior therapy and person-centered counseling in addition to general Korean herbal medicine treatment for a patient with anorexia nervosa. Methods: A patient diagnosed with anorexia nervosa was treated with Korean herbal medicine treatment, cognitive behavior therapy, and person-centered treatment. The results were evaluated through a feeding interview, self-checklist, beck depression inventory (BDI) and InBody test. Results: After the treatment period, the treatment effects such as improvement of dietary restriction and elimination behavior, weight gain, and reduced depression were confirmed. Conclusions: This study suggests that concurrent therapy together with cognitive behavior therapy, person-centered counseling, and general Korean herbal medicine treatment is effective on patients with anorexia nervosa.

• 아동학회지
• /
• 제22권3호
• /
• pp.49-61
• /
• 2001

This study explored concurrent and prospective relationships of the coping strategies of 4th and 6th grade children in peer conflict focusing on bullying, victim, and prosocial behavior. Instruments were the Self-Report Coping Scale and the Peer Relations Questionnaire. Concurrent results of Study I showed children using more avoidance and fewer approach strategies were more likely to bullies or victims; and children using fewer avoidance and more approach coping strategies were more likely to be prosocial children. Externalizing best explained bullies and victims; seeking social support best explained prosocial children. Prospective results of Study II showed children using more externalizing and fewer problem solving were more likely to be bullies; and children employing internalizing and externalizing were more likely to be victims; and children using more seeking social support were more likely to be prosocial children. It was also found that externalizing at Time I best predicted bullies, internalizing best predicted victims, and seeking social support best predicted prosocial children.

• 한국생활과학회지
• /
• 제24권4호
• /
• pp.477-497
• /
• 2015

The purpose of this study was to examine the psychometric property of the Children's Behavior Questionnaire(CBQ), including reliability, content validity, construct validity, cross validity, and concurrent validity with EAS(Emotionality, Activity, Sociability) scale. The CBQ is a caregiver report measure designed to provide a detailed assessment of temperament in children 3 to 7 years of age. In this study, two groups of participants were included to check cross validity. The first group of participants were 108 preschoolers, 3 to 7 years of age attending kindergartens or child care centers, and their mothers. The second group of participants were 168 preschoolers and their mothers. The CBQ subscales demonstrate adequate internal consistencies. Also, exploratory and confirmatory factor analyses of the CBQ scale reliably recover a three-factor solution indicating three broad dimension of temperament: extraversion/surgency, negative affectivity, and effortful control. Evidence for concurrent validity derives from results of correlation analysis with EAS scale.

• 한국사회복지학
• /
• 제67권3호
• /
• pp.151-180
• /
• 2015

본 연구는 사회복지실천 현장에서 보편적인 서비스를 이용하는 일반 클라이언트의 일상생활에서의 신체건강행동을 측정하기 위한 척도를 개발하는데 목적을 두었다. 문헌검토와 사회복지사 대상 FGI 및 관련 전문가의 내용타당도 검증을 거쳐 설문문항을 구성하였으며, 일반 성인 350명을 대상으로 설문조사를 시행하였다. 요인분석을 통해 '증진행동척도'와 '저해행동척도'의 하위척도로 나뉘는 '신체건강행동척도'를 완성하였다. 증진행동척도는 7요인(신체건강관리, 구강관리, 신체활동, 위생관리, 건강음식섭취, 수면관리, 식습관)으로, 저해행동척도는 5요인(흡연, 저해식품섭취, 음주, IT기기사용, 저해식습관)으로 구성되었다. 두 척도 모두 모형적합도가 우수하였고, 내적일관성 신뢰도 역시 높게 나타났다. 또한 수렴타당도, 판별타당도, 동시타당도 등의 검증에서 모두 유의미한 결과를 보임에 따라 타당성 있는 척도임이 확인되었다. 이렇게 개발된 척도는 사회복지실천의 현장에서 클라이언트에게는 신체건강행동에 대한 자기점검의 도구로, 사회복지사에게는 신체건강행동의 사정(Assessment)을 통한 근거기반의 실천을 할 수 있는 유용한 도구로 활용될 수 있을 것이다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제9권2호
• /
• pp.659-679
• /
• 2015

Distributed applications are composed of multiple nodes, which exchange information with individual nodes through message passing. Compared with traditional applications, distributed applications have more complex behavior patterns because a large number of interactions and concurrent behaviors exist among their distributed nodes. Thus, it is difficult to detect anomalous behaviors and determine the location and scope of abnormal nodes, and some attacks and misuse cannot be detected. To address this problem, we introduce a method for detecting anomalous behaviors based on process algebra. We specify the architecture of the behavior detection model and the detection algorithm. The anomalous behavior detection and analysis demonstrate that our method is a good discriminator between normal and anomalous behavior characteristics of distributed applications. Performance evaluation shows that the proposed method enhances efficiency without security degradation.

• 아동학회지
• /
• 제23권3호
• /
• pp.109-121
• /
• 2002

The subjects of this validation of the Antisocial Behavior Scale(ABS) consisted of 323 normal and 29 clinically referred preschoolers between the ages of four and six years. The ABS has 3 factors: oppositional/aggression, nonsocial/egoism, and inattention. Results showed high test-retest reliability(r=.83-.90). The scale discriminated between the normal and clinical groups. The first(oppositional/aggression) and the third(inattention) factors of the ABS, measuring externalizing behaviors, correlated highly with the Externalizing Problems and Attention Problems Scales of the Korean Version of Child Behavior Checklist(K-CBCL). The second(nonsocial/egoism) factor of the ABS, measuring emotional areas correlated highly with the Emotional Liability Scale of the K-CBCL.