• Proceedings of the Korean Society of Computer Information Conference
• /
• 2017.07a
• /
• pp.384-385
• /
• 2017

과학 모델은 복잡한 자연현상을 단순화하고 패턴화한 것이다. 따라서 과학 모델은 특정한 알고리즘을 가지며, 과학 모델에 대한 이해는 모델이 갖는 특정한 알고리즘에 대한 이해와 직접적으로 관련되어있다. 본 연구에서는 많은 학생들이 대안 개념을 가지고 있는 산-염기를 주제로 하여, 이 모델이 가지는 알고리즘을 학습하기 위한 프로그램을 설계하고, 알고리즘을 학습 하였을 때 과학 학습에 미치는 효과를 확인하였다. 고등학생 3학년을 대상으로 4차시로 수업을 진행하였으며, 수업의 사전과 사후 검사를 실시하여, 학생들의 모델에 대한 이해를 분석하였다. 수업 결과, 학생들은 모델의 정의와 화학반응 및 화학평형의 정성적인 부분에서는 이해의 향상을 보였으나, 정량적인 부분에는 효과를 보이지 못하였다. 이는 화학이 많은 수의 입자를 고려해야 하는 독특한 과목의 특성에 기인하며, 이를 보완하기 위하여 추후 컴퓨터프로그램을 교육 도구로 사용하는 수업을 통해 후속연구를 진행하고자 한다.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.1875-1876
• /
• 2008

네트웍 모델러(Network Modeler)는 EMS 시스템에서 전력 네크워크 토폴로지(Network Topology)를 입력하기 위한 도구이다. 네트워크 모델러는 토폴로지 정보를 입력하여 모델을 생성하고 변경하는 일과 네트워크 다이어그램을 생성하는 일 등을 처리한다. 모델을 생성하기 위해 계통요소를 나타내는 심벌을 마우스로 움직여 화면에 배치하고 각 요소의 파라미터를 설정하며 작성된 전력계통 구성이 올바른지 검사하는 기능도 수행한다. 네트워크 모델러는 주로 EMS에서 사용되었고 SCADA 시스템에서는 사용되지 않았으나, 최근 개발되고 있는 SCADA 시스템은 네트워크 모델러를 함께 포함하여 시스템의 기능을 향상시키고 있다. 그러나 기존의 Network Modeler가 EMS 시스템 개발 벤더에 따라 다른 데이터 구조를 가지고 있어서 데이터의 상호 운용성이 떨어지고, 입력방법에 있어서도 자동화 및 자료 연계가 미흡하여 관리에 많은 시간이 소요되는 단점을 가지고 있다. 본 논문에서는 CIM 기반으로 정의된 데이터 모델을 사용자가 그래픽 다이어그램을 이용하여 쉽게 네트워크 토폴로지를 정의하도록 하고, 입력정보의 상호 운영성이 향상된 CIM 기반 Network Modeler를 설계한 내용을 설명하도록 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.315-317
• /
• 2016

소프트웨어의 활용 영역이 점차 넓어지면서 프로그램 코드에 대한 안전성이 훨씬 더 중요해지고 있다. 이에 따라 소프트웨어 품질을 높이기 위한 방법들이 다양하게 제시되어 왔고, 다양한 도구들을 활용한 소프트웨어 품질분석에 대한 관심도 증가하였다. 본 논문에서는 이러한 분석 도구들에 대하여 설명하고 소프트웨어 안전성 분석절차를 제시한다. 분석절차는 시험도구 준비, 시험 수행, 시험결과 검증, 시험결과 산출 단계로 구성되며, 안전성 검사에 효과적임을 확인할 수 있었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.472-474
• /
• 1998

병렬 객체를 이용한 소프트웨어의 개발시, 병렬성에서 기인한 경쟁 조건의 만족 여부나 교착 상태, 기아 상태 등의 오류를 모델의 검증을 통하여 개발의 초기 단계에 발겨하고 수정하는 것은 개발의 효율성을 높일 수 있다. 이러한 병력 객체모델의 검증을 위해서는 객체간의 상호 메시지 교환과 동적 행위를 기술할 수 있는 모델링 언어가 필요하며, 검증하고자 하는 속성을 기술하기 위한 방법이 요구된다. 본 연구에서는 시스템의 모델링을 위해 SPIN에서 사용되는 PROMELA를 쓰레드 기반의 객체 모델링 언어인 SPIN++로 확장하고, 속성의 기술을 위해 확장된 선형 시제 논리를 제안하였으며, 유한 상태에서는 모델 검사(model checking) 도구인 SPIN을 이용하여 검증하는 방법을 제시하고자 한다. 이러한 연구를 통하여 병렬 객체 모델의 정형적인 검증을 수행할 수 있으며, 시스템 개발의 효율성을 높이는 데 도움을 줄 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.1233-1236
• /
• 2004

보안 시스템에서 접근 통제 모델을 사용하는 가장 중요한 목적은 시스템 및 사용자에 대한 안정성을 보장하기 위해서이다. 본 논문에서 다루고 있는, SPR은 보안 시스템의 행위를 유한 상태 기계(FSM) 기반의 보안모델로 표현한 후, 보안 모델에 대한 초기 상태의 안전성을 검사하고 초기 상태에서 다음 상태로 전이가 존재할 경우에 그 상태들에 대응하는 모든 상태들에 대해서 보안기준을 만족하는지 검증하는 도구이다. 본 논문에서는 SPR를 사용하여 현재 많은 사람들이 이용하는 Windows 운영 체제의 NTFS에 기반을 둔 보안모델의 안전성을 검증하는 방법을 소개한다

• Proceedings of the Korea Society for Simulation Conference
• /
• 1993.10a
• /
• pp.11-11
• /
• 1993

도메인에 대한 전문 지식 획득(Acquisition of expert knowlegde)은 지식 제공자인 인간 전문가에 의존한다. 도메인이 복잡해 질수록 인간 전문가로부터 관련된 모든 지식을 획득하기란 어렵다. 이런 지식 획득의 어려움을 부분 흑은 완전 자동화된 지식 획득 시스템을 통해 해결하려는 많은 연구가 있어 왔다. 그러나 지식 획득을 위한 여러 시도들은 지식 제공자의 촛점이 도메인이 아닌 표현 구조나 도구- representation environment -에 보다 치우치게 하여, 잘못된 지식을 획득하게 하거나 주요지식이 생략되는 경우를 보이기도 한다. 또한 정적인 관계(relationship)에 의해서만 지식(Static Knowledge)을 생성하므로 시간흐름에 따라변화하는 지식을 나타내기는 어렵다. 본 연구에서는 시뮬레이션을 통한 자동 지식 획득(Simulation Based automatic Knowledge Acquisition) 방법을 제시한다. 이 방법은 1) 도메인에 관한 초기 인과관계 정보를 입력 받고, 2) 입력된 정보를 일정한 프레임에 따라 구조화 시켜 경험 베이스를 구성하고 이를 탐색하여 도메인과 관련된 확장된 정보를 얻은 후, 3) 위의1),2)를 통해 얻어진 정보를 분석하여 주어지는 입력에 대해 다양한 출력을 낼 수 있는 시뮬레이션 모델을 생성한다. 이 모델은 다음 단계의 지식 생성을 위한 수단(resource)이 되며, 구간값과 같은 불확실한 정보를 포함할 수 있는 구조이다. 마지막으로 4) 생성된 모델을 시뮬레이션하여 결과로 생성된 지식을 획득한다. 위의 과정에서, 지식획득을 위한 수단인 시뮬레이션 모델이 지식 제공자의 개입 없이 자동 생성됨에 따라, 지식 제공자는 도메인 관련 지식 그 자체에 집중할 수 있으며, 생성된 모델을 시뮬레이션한 결과에 의해 지식을 생성함으로써 동적인 지식이 얻어질 수 있다. DEVS 모델에 대한 타당성 검사 방법을 고찰하고 그 문제점에 대하여 자세히 설명한다. DEVS 모델의 타당성 검사에 이용하는 SPN 모델에 대한 개념과 DEVS 모델과 행위적으로 동등한 SNP 모델로 변환을 위한 관점을 제조명하다. 동일한 관점에서 두 모델의 상태표현이 같도록 DEVS 모델이 SPN 모델로 표현됨을 보이는 변환이론을 제시하고 변환이론을 바탕으로 모델 변환과정을 제시한다. 모델 변환이론과 변환고정을 기본으로 타당성 검사를 위한 새로운 동질함수(homogeneous function)를 정의하고 이와 함께 SPN 모델의 특성을 이용하여 DEVS 모델에 대한 타당성 검사 방법을 새롭게 제안한다. 에탄올투여로 증가된 유리기 해독계 효소인 GSH-Px활성을 큰 폭으로 감소시키고 에탄올투여로 감소된 비효소적 항산화작용을 나타내는 GSH함량을 다량 증가시킴으로서 지질과산화물에 대한 방어력이 증가되어 나타난 결과로 여겨지며, 또한 혈청중의 ALT, ALP 및 LDH활성을 유의성있게 감소시키므로서 감잎 phenolic compounds가 에탄올에 의한 간세포 손상에 대한 해독 및 보호작용이 있는 것으로 사료된다.반적으로 홍삼 제조시 내공의 발생은 제조공정에서 나타나는 경우가 많으며, 내백의 경우는 홍삼으로 가공되면서 발생하는 경우가 있고, 인삼이 성장될 때 부분적인 영양상태의 불충분이나 기후 등에 따른 영향을 받을 수 있기 때문에 앞으로 이에 대한 많은 연구가 이루어져야할 것으로 판단된다.태에도 불구하고 [-wh]의미의 겹의문사는 병렬적 관계의 합성어가 아니라 내부구조를 지니지 않은 단순한 단어(minimal $X^{0}$ elements)로 가정한다. 즉, [+wh] 의미의 겹의문사는 동일한 구성요 소를 지닌 병렬적 합성어([$[W1]_{XO-}$ $[W1]_{XO}$ ]$

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2018.05a
• /
• pp.327-331
• /
• 2018

The purpose of this study was to design a competence teaching-learning model that could help college students improve their computational thinking among core competences in SW education. A competence teaching-learning model, UDDPAAP (Unplugged-Demonstration-Decomposition-Pattern Recognition-Abstraction-Algorithm-Programming), was designed by analyzing competences of learners with no experience in software coding, by reconstructing DMM, DDD, and DPAA among the five existing SW-based teaching-learning models, and by analyzing unplugged activity and the Bebras challenge computational thinking scale carefully. The unplugged activity partially adapted to instruction for college students and some items chosen from the Bebras challenge computational thinking scale were applied to the existing teaching-learning model. To determine the effects of the study, pretest was conducted in freshmen for computational thinking and self-confidence on the basis of the experience in SW and computer information literacy education, and posttest following instruction applying the UDDPAAP teaching-learning model. The students provided with SW education based on the UDDPAAP teaching-learning model saw their computational thinking competence improved.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.16 no.6
• /
• pp.295-303
• /
• 2016

The purposes of this study are to describe the process for the instrument construction and the development of scales on rating college students' adaptability and to analyze the technical qualities of the test. The primary goal of this study is to inform students and institutions what is needed to college student's adjustment process into university and college life. The scales are tested by specialty group and statistical methods, and finally composed of 142 items, which measures 8 scales, the academic integration, the social integration into college, career identity, emotional stability, learning condition's stability, relationship with professors, satisfaction degree of educational service, satisfaction degree of college education. This study analyzed 1,959 students' responses from 4 colleges and universities. This study confirms that the scales which this study developed show high concurrent evidence with the college student's adaptability inventory for Korean university and college students based on various development process, specially rapid great change of college. The result of factor analysis shows the evidence based on internal structures of the scales. The Cronbach's ${\alpha}$ of the subscales is .965, from 742 to .937. The prediction model to determine the possibility of dropout by 7 scales is statistically significant in .05, except learning condition's stability. According to CFA Model, RMSEA= .08~.09. dependence factor variance are explained by this study's CFA model. In conclusion, this study confirms that the scales which this study developed are valid and reliable instrument for Korean university and college students to predict their adaptability to college.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.11a
• /
• pp.263-266
• /
• 2005

실시간 시스템은 시간적 정확성을 갖기 때문에 소형 임베디드 시스템부터 대형 분산 시스템까지 많은 분야에서 사용되고 실시간 시스템을 기반으로 하는 실시간 프로그램도 많은 분야에서 사용되고 있다. 이러한 실시간 프로그램의 시간적 특성을 지키기 위해 개발자들은 프로그램 개발에 집중하지 못하고 실행시간의 정의와 정의한 실행시간의 정확성 검사에 많은 시간을 보내고 있다. 실시간 시스템에 대한 연구 결과로서 TMO 모델은 실시간 개념에 따른 시간 처리의 다양한 기능을 지원하고, 응답시간을 보장하여 개발자가 프로그램 개발에 집중할 수 있다. 하지만, 실행시간의 정의는 개발자에 의해 이루어지기 때문에 이를 정의하고 그 정확성 여부를 확인하는 작업은 어렵다. 이러한 문제로 인하여 실행시간 정의의 기준점을 제시할 수 있는 도구가 필요하지만 이를 위한 TMO 분석 도구에 대한 연구는 미흡하다. 이에 본 논문에서는 TMO 기반 정적 분석 도구를 위한 PS-Block을 제시한다. PS-Block은 블록 단위로 실행시간을 분석할 수 있는 기반으로써 프로그램을 작업 단위로 분리하여 분석할 수 있도록 한다. 이를 기반으로 실행시간을 분석하여 시간 정보 결정의 기준으로 하고, 실시간 메소드의 적시성 확인을 쉽게 함으로써 실시간/신뢰성의 향상과 개발 기간을 단축할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.382-384
• /
• 2001

잘 정의된 소프트웨어 아키텍쳐는 복잡성과 무형성으로 인한 소프트웨어의 개발과 진화의 어려움을 상당히 해소할 수 있다. 소프트웨어 시스템을 아키텍쳐 수준에서 효과적으로 설계, 분석하기 위해서는 아키텍쳐 기술 언어 (ADL)와 이를 지원하는 도구의 사용이 필요하다. 본 논문은 컴포넌트 기반의 도메인 아키덱쳐 모델링 시C2스타일의 아키덱쳐 기술을 지원할 수 있도록 본 연구팀이 정의한ADL로 기술된 아키텍쳐 모델의 편집과 구문 및 의미상의 오류검사를 지원하는 ADL 처리기의 설계와 구현방법을 기술한다.