자료흐름 분석기법을 이용한 프로그램 시험 모델

진철(Jin Cheol),류성열(Rhew Sung Yul),이철희(Lee Chul Bee) 한국정보과학회 1987 한국정보과학회 학술발표논문집 Vol.14 No.2

지금까지 연구된 프로그램 모듈에 대한 시험 방법은 제어흐름을 중심으로 고려했기 때문에 오류의 검출을 보장하지 못할 뿐만 아니라 순환 구조의 경우에는 무한계의 경로가 발생하는 등의 문제점들을 내포하고 있다. 이런 문제점들을 해결하기 위해 자료흐름 분석기법을 이용한 Rapps/Weyuker 모델과 Laski/Korel 모델이 개발되었다. 그러나 이 모델들은 개별 모델에 적용하는 프로그램 실행 경로 선택 기준만을 제시했으며, 또한 각 경로 선택 기준을 만족시키는 완전 경로 산출은 제시해 주지 못했다. 본 모델에서는 이 두 모델의 개별적인 경로 선택 기준들을 통합하고, Petri Net을 이용하며, 순환을 zero-two subset 개념을 적용해서 처리함으로써 사용자에게 각 경로 선택 기준을 만족하는 완전 경로를 제시하고, 산출된 경로를 기본으로 기존 모델의 경로 선택 기준 포함 계층구조를 처리할 수 있는 포괄적 통합 모델을 제시한다.

1형당뇨인 및 그 가족의 심리사회적 적응을 위한 게슈탈트와 수용-전념치료 프로그램의 개발 및 효과

진철 ( Cheol Jean ),유성진 ( Seong Jin Yoo ),최윤영 ( Yoon Young Choi ) 한국게슈탈트상담심리학회 2016 한국게슈탈트상담연구 Vol.6 No.2

아동기에 주로 발병하는 1형당뇨는 만성질환의 하나로, 1형당뇨 당사자뿐만 아니라 이들의 가족도 사회적 인식 편향 및 지지체계의 부족으로 심리사회적인 적응에 어려움을 겪고 있다. 따라서 1형당뇨 가족을 위한 치료 접근은 생물학적 치료의 한계에서 벗어나 심리치료적 중재가 병행되어야 한다. 본 연구는 1형당뇨 가족의 특성불안과 상태불안 수준을 감소시키고, 수용행동, 긍정적 자기개념과 심리사회적 적응 수준을 증가시키려는 목적을 가지고 게슈탈트와 수용-전념치료 프로그램을 개발하여 실시하였다. 본 연구는 게슈탈트와 수용-전념 치료를 통합한 프로그램을 1형당뇨인과 그 가족의 불안문제에 적용하여, 심리사회적 적응 향상의 효과를 측정하였다. 본 연구의 대상은 중학생 이상 성인까지의 1형당뇨 당사자와 보호자 41명으로, 1형당뇨인을 위한 온라인 커뮤니티를 통하여 모집하였다. 이들을 처치집단 22명, 통제집단 19명으로 나눈 후 처치집단에게 주말 하루 2회기씩 총 10회기 프로그램을 5주간, 총 40시간 실시하였다. 게슈탈트와 수용-전념치료가 1형당뇨인과 그 가족의 심리사회적 적응에 미치는 효과를 검증하기 위해 연구 참가자들의 특성불안, 상태불안, 수용행동, 자기개념, 1형당뇨 적응 수준을 측정하여 비교하였다. 연구 결과, 처치집단에서는 특성불안, 상태불안 수준은 통계적으로 유의미하게 감소하였으며, 수용행동, 긍정적 자기개념 및 1형당뇨 적응 수준은 통계적으로 유의미한 증가를 보였다. 이러한 효과는 추후검사까지 지속되었다. 본 연구 결과, 게슈탈트와 수용-젼념치료 통합 프로그램의 치료개입이 1형당뇨인과 그 가족의 특성 및 상태불안을 감소시키고, 수용행동, 긍정적 자기개념, 심리사회적 적응수준을 높이는 데 효과적인 치료중재임을 시사하고 있다. 마지막으로, 본 연구의 의의, 제한점 및 추후연구를 위한 고려사항 등이 논의되었다. Type 1 diabetes, which occurs normally during childhood, is a chronic disease. It causes difficulty for both patients and their families with psychosocial adaptation due to bias of social awareness and lack of support system. Therefore, the treatment approach to type 1 diabetes must integrate both biological treatment and psychotherapy. This study aims to reduce state and trait anxiety as well as experience avoidance of the families of type 1 diabetes patients, and improve positive self-identity and psychosociological adaptability, by developing and executing the Gestalt-ACT group therapy. This program is an integrated treatment of Gestalt and acceptance-focused treatment and was applied to anxiety of families of type 1 diabetes patients while measuring the effect of improved psychosocial adaptability. The subjects of this study were 41 type 1 diabetes between middle school students and adults with type 1 diabetes and their guardians collected through an online community for type 1 diabetes patients. The subjects were divided into the experimental group, 22 people, and control group, 19, to whom twice a week, a program was executed for 10 sessions for five weeks, total of 40-hours. In order to verify the effect of Gestalt-ACT group therapy on psychosocial adaptation of families of type 1 diabetes patients, the level of trait anxiety, state anxiety, acceptance behavior, self-concept, and type 1 diabetes adaptation was measured and compared. The result shows that the levels of trait and state anxiety, and experience avoidance were reduced statistically-significantly, while positive self-concept and type 1 diabetes adaptation showed significant increase. The treatment effect was verified as it changes the trait anxiety, state anxiety, experience avoidance, positive self-concept, and type 1 diabetes adaptation on a statistically significant level even in the test result obtained after 10 weeks after the end of the program. Lastly, the meaning, limitations, and considerations for future studies were discussed.

객체지향 데이타베이스에서 메타객체를 이용한 클래스 버젼 지원에 관한 연구

박철순(Park Cheol-Sun),진철(Jin Cheol),임영수(Lim Young-Soo) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.1

데이타베이스의 내용은 쉽게 변경될 수 있는 반면, 일반적으로 구조는 매우 경직되어 있다. 객체지향 데이타베이스 시스템에서 데이타베이스의 경직성을 완화시키려는 노력이 집중되고 있다. 클래스 정의는 데이타베이스에서 지속성객체이므로 수정되고 공유될 수 있다. 그러나 한 클래스의 변경은 그 클래스의 객체와 클래스래티스, 그 클래스의 객체를 사용하는 프로그램까지도 그 영향이 미친다. 본 논문에서는 실세계의 모델화부분의 변경으로 발생하는 스키마 진화에 유연하게 대처하고, 특정사용자 요구를 만족시켜줄 수 있는 확장성과 융통성을 지원할 수 있도록 메타객체를 이용한 클래스버젼의 지원 메카니즘을 제안한다. 제안된 시스템은 전/후진 호환성이 보장되고, 공간 사용을 최소화할 수 있는 클래스 버젼 메카니즘을 사용한다. 또한 임의의 클래스 래티스를 유연하게 유지시킬 수 있도록 스키마 객체를 도입하고, 메타객체의 메소드를 클래스버젼/진화연산에 사용함으로서 클래스객체의 본래의 의미를 명확히 한다. 또한 분리된 객체에서 메타객체의 대치는 다양한 구현전략을 실현할 수 있는 확장성과 융통성을 지원한다.

자료흐름도 및 ERD를 이용한 객체지향 모델로의 변환방법에 관한 연구

박영우(Park Young-Woo),진철(Jin Cheol),임영수(Yim Young-Soo) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.1

구조적 개발방법론이 가지고 있는 문제점에 대한 인식의 확산과 객체지향 관련 기술의 발전에 따라 기존의 시스템을 객체지향 시스템으로 변환시키려는 시도가 증가되고 있다. 이에 따라 이미 개발된 시스템에 대해 분석되어 있는 많은 정보를 효과적으로 활용하여 객체지향 시스템 개발에 필요한 기본적인 객체지향 모델을 생성하고자 하는 연구가 진행되고 있다. 본 논문에서는 자료흐름도 또는 ERD(Entity-Relationship Diagram)를 활용하여 객체지향 모델을 생성하는 기존의 방안을 고찰하고 그 문제점을 분석하였다. 또한 데이타베이스 응용업무에 대해 구조적분석을 실시하여 산출된 자료흐름도, 자료사전, 소단위명세어, ERD 등을 이용하여 객체지향 모델을 생성하기 위한 방안을 제안했다. 이 방안에서는 ERD를 활용하여 클래스 및 클래스의 애트리뷰트를 식별할 수 있는 기존의 규칙을 보완하여 제시하였으며, 자료흐름도와 소단위명세서를 이용하여 식별된 클래스에 대한 오퍼레이션을 정의하는 방안을 제안하였다.

다중 노드 지원이 가능한 Link-K 전술자료생성기 설계에 관한 연구

이윤정(Lee Youn Jeong),전기윤(Jeon Gi Yoon),진철(Jin Cheol),홍원의(Hong Won Eui) 한국정보과학회 2014 한국정보과학회 학술발표논문집 Vol.2014 No.6

멀티코어 환경에서 비실시간 메시지의 응답시간 지연을 최소화하는 리눅스 기반 메시지 처리기의 설계 및 구현

왕상호(Sangho Wang),박영훈(Younghun Park),박성용(Sungyong Park),김승춘(Seungchun Kim),김철회(Cheolhoe Kim),김상준(Sangjun Kim),진철(Cheol Jin) 한국정보과학회 2017 정보과학회논문지 Vol.44 No.2

메시지 처리기란 다양한 클라이언트로부터 오는 메시지를 받아 처리하는 서버 소프트웨어이며, 메시지의 종류에 따라 마감기한 이내에 처리해야 하는 실시간 메시지와 비실시간 메시지를 처리한다. 최근 마이크로프로세서 기술의 발전과 리눅스의 빠른 보급에 따라 메시지 처리기는 멀티코어 기반의 리눅스 서버에서 구현되고 있으며, 멀티코어 환경에서는 코어를 효율적으로 사용해야 시스템의 성능을 극대화 시킬 수 있다. 멀티코어를 효율적으로 사용하기 위한 다양한 실시간 스케줄러가 제안되어 있지만, 많은 연구들이 이론적 분석이나 시뮬레이션에 국한되어 있고, 리눅스를 위해 제안된 일부 알고리즘들도 커널을 수정하거나 특정 커널 버전에서만 동작된다는 단점이 있다. 본 논문에서는 멀티코어 환경에서 쓰레드를 사용자 수준에서 코어에 직접 매핑하는 리눅스 기반 메시지 처리기의 구조를 제안한다. 구현된 메시지 처리기에서는 기존의 RM(Rate Monotonic) 알고리즘을 수정하여 사용하였고, 특정 코어에 최대한 실시간 메시지를 몰아서 처리하도록 First fit 기반의 빈패킹(Bin-Packing) 알고리즘을 사용하여, 실시간 메시지의 위배율을 보장하면서 비실시간 메시지의 응답시간의 지연을 최소화하였다. 성능평가를 위하여 LITMUS 프레임워크에서 제공하는 2가지 멀티코어 스케줄링 알고리즘(GSN-EDF, P-FP)을 이용하여 메시지 처리기를 구현한 후 제안된 시스템과 비교한 결과, 비실시간 메시지의 응답시간이 2가지 알고리즘 대비 최대 17~18%까지 향상되는 것을 확인하였다. A message processor is server software that receives non-realtime messages as well as realtime messages from clients that need to be processed within a deadline. With the recent advances of micro-processor technologies and Linux, the message processor is often implemented in Linux-based multi-core servers and it is important to use cores efficiently to maximize the performance of system in multi-core environments. Numerous research efforts on a real-time scheduler for the efficient utilization of the multi-core environments have been conducted. Typically, though, they have been conducted theoretically or via simulation, making a subsequent real-system application difficult. Moreover, many Linux-based real-time schedulers can only be used in a specific Linux version, or the Linux source code needs to be modified. This paper presents the design of a Linux-based message processor for multi-core environments that maps the threads to the cores at user level. The message processor is implemented through a modification of the traditional RM algorithm that consolidates the real-time messages into certain cores using a first-fit-based bin-packing algorithm; this minimizes the response-time delay of the non-real-time messages, while guaranteeing the violation rate of the real-time messages. To compare the performances, the message processor was implemented using the two multi-core-scheduling algorithms GSN-EDF and P-FP, which are provided by the LITMUS framework. The benchmarking results show that the response-time delay of non-real-time messages in the proposed system was improved up to a maximum of 17% to 18%.