[特輯]시간, 어떻게 표현할 것인가?

백은옥 한국정보과학회 1992 정보과학회지 Vol.10 No.4

융합방법을 이용한 定理증명기의 구현

백은옥(Eunok Paek),류기열(Kee Yeol Ryu) 한국정보과학회 1985 정보과학회논문지 Vol.12 No.1

이 논문은 一次論理에서의 정리를 융합(resolution)을 근거로 하여 증명하는 방법에 관한 것이다. 먼저 일차 predicate calculus의 제반 주요 개념들을 개략적으로 설명하고 융합 방법에 대한 소개와 함께 융합과정에서 성능을 높이기 위한 몇가지 기법을 소개하였다. LISP를 사용하여 구현한 시스템에 관해 간략히 설명하고 결론으로서 논문의 의의 및 앞으로의 방향을 제시하였다. This paper concerns the method of proving theorem in the first order predicate calculus based on resolution and its implementation. The overall review of the first order predicate calculus is given. This paper introduces the resolution refutation method and a few strategies for higher efficiency in the process of resolving. It describes this theorem proving system implemented by LISP.

역추론적 계획인식론

백은옥(Eunok Paek) 한국정보과학회 1994 정보과학회논문지 Vol.21 No.2

계획인식은 인공지능의 중요한 연구분야로 여겨져 왔으며, 특히 자연언어이해와 객체간의 상호협동 등의 분야에서 그 유용성을 입증해왔다. 한 객체의 계획을 인식하는 작업은 그 객체가 왜 관찰된 행위를 하였는가를 설명하는 작업과 동일하다는 점에서, 일종의 역추론적(abductive) 사고를 요하는 것임은 널리 인지되어져 있다. 본 논문에서는 계획인식 문제에 대한 역추론적 접근방법을 보이고, 이 접근방법이 Kautz의 최소화 접근방법과 어떻게 다르며, 어떤 면에서 일치하는지를 보이겠다. 여기에 소개된 방법은 계획인식을 “설명”이라는 틀 안에서 이해함과 동시에 소위 최소갯수 원칙이 여러 가능한 설명들간의 우열을 가리기 위한 성질로 표현될 수 있음을 보임으로써, 역추론적 방법이 계획인식을 위한 일관성있는 체제임을 보이겠다. Plan recognition has been an important area of research within the field of Artificial Intelligence and has proven its utility in the areas such as natural language understanding and agent cooperation. It is well recognized that plan recognition is a form of abductive reasoning in the sense that recognizing an agent's plan amounts to explaining why the agent performed the observed action. Here we present an abductive approach to the plan recognition problem and show how it differs/coincides with Kautz's minimization approach. Our approach provides a coherent framework for plan recognition in that so called minimum cardinality principle can be formalized as preference relation among candidate explanations as well as giving an account of plan recognition in terms of explanations.

와일드카드 문자를 포함하는 스트링 데이타 사이의 포함관계 확인을 위한 효율적인 알고리즘

김도한,백은옥,박희진 한국정보과학회 2005 정보과학회논문지 : 시스템 및 이론 Vol.32 No.9

문자를 포함하는 스트링 데이타는 텍스트에 나타나는 특정 패턴을 표현하는 데에 사용될 수 있다. 임의의 두 패턴 사이의 포함 관계는 각 패턴과 매칭이 가능한 모든 스트링의 집합 사이의 포함관계로 나타낼 수 있으며, 포함 관계를 결정하는 것은 패턴이 나타내는 스트링의 집합을 중복성 없이 표현하기 위해 필요하다. 본 논문에서는 이와 같이 패턴의 중복성을 판단하기 위해 와일드카드 문자를 포함하는 스트링 데이타 사이의 포함 관계를 결정하기 위한 효율적인 알고리즘을 제안한다. 먼저 기존의 접미사 트리 알고리즘을 단순하게 확장하여 와일드카드 문자를 포함하는 스트링 데이타 사이의 포함 관계를 확인할 수 있도록 하는 방법과 이러한 접미사 트리를 스트링 데이타의 각 위치 별로 나누어 구성하여 포함 관계를 확인하는 방법을 제안한다. data containing wildcard characters may represent certain patterns in texts. A subsumption relation between two patterns can be defined by a subset relation between sets of strings that match those patterns. Thus, the subsumption relation check is important to determine whether each pattern represents a set of strings without any overlap with another pattern. In this paper, we propose an effective algorithm that can determine subsumption relation between strings with wildcard characters. First, we consider a simple extension of the suffix tree algorithm so that it may include wildcard characters and then we propose another method that checks the subsumption relation by dividing a suffix tree structure at each location of string data.

Usability Evaluation Case Study of an Educational Electronic Performance Support System (E-EPSS)

Park, Su-Hong,Baek, Eun-Ok,An, Jae Soon 한국교육정보방송학회 2002 교육정보미디어연구 Vol.8 No.1

전자수행지원시스템(EPSS)의 개념은 원래 기업교육 현장에서 유래되었다. 최근에 이 개념을 학교상황에 적용하려는 몇몇 시도가 있어왔다. 학교교육용 EPSS(E-EPSS)의 예는 웹상에서 찾아 볼 수 있다. 그렇지만, 이렇게 새롭게 출현한 E-EPSS를 위한 평가연구가 거의 없으며, 평가를 위한 준거도 없는 실정이다. 따라서 본 연구의 주요 목적은 STEPS(support for teacher enhancing performance in schools)이라고 불리우는 E-EPSS의 한 사례분석를 통하여 E-EPSS의 질을 어떻게 향상시킬 것인가를 위한 설계상의 조언을 제공하기 위한 것이다. 이 목적을 성취하기 위하여, 본 연구는 먼저 교사의 전문성개발(professional development)의 관점에서 E-EPSS와 관련된 문헌을 검토하여, 포괄적인 경향, 요구와 정의에 대하여 분석하였다. 둘째, 지각에 기반을 둔 사용성평가(perception-oriented usability evaluation) 방법을 이용하여 STEPS 사례를 분석/평가하였다. 설문지와 인터뷰방법을 혼합하여 방법론적 다각화 (triangulation)을 시도하였으며, 특히 인터뷰시 질문문항에 따라 평가자들이 STEPS 프로그램을 think-aloud를 통하여 검토한 과정을 관찰/분석하였다. 연구결과, 평가자들은 STEPS과 같은 교육용 EPSS의 가능성에 대한 일치된 긍정적인 견해를 나타냈었지만, STEPS의 질을 향상시키기 위해서, 프로그램과 교사와의 상호작용성을 고양시키고, 단순히 정보를 제시하는 차원을 넘어선, 교수학습활동을 지원하는 측면이 보다 부각되어야할 것으로 나타났다. 마지막으로 STEPS 평가결과와 문헌검토에 터하여 STEPS 그 자체뿐만 아니라 E-EPSS 전반에 대한 질 향상을 위한 방안을 제시하였다. The concept of EPSS (Electronic Performance Support System) originated in business settings. Recently, there have been many attempts to apply the concept to schools: educational EPSSs (E-EPSSs) have become available on the Web. However, there is little evaluation research and few evaluation frameworks for these emergent E-EPSSs. The primary purpose of this article is to provide our design recommendations for how to improve the quality of E-EPSSs in general, based upon the evaluation of one specific E-EPSS, called STEPS (Support for Teacher Enhancing Performance in Schools). To achieve this purpose, the article first reviews E-EPSSs in terms of teachers' professional development and discusses their encompassing trends, needs, and definitions. Secondly, it presents an evaluation case of STEPS. An evaluation perspective called "perception oriented usability evaluation"drives the evaluation. Lastly, it lists recommendations for improving STEPS as well as E-EPSSs in general based on our STEPS evaluation results and literature review.

서포트 벡터 머신을 이용한 탠덤 질량 스펙트럼의 Quality 필터 구현

조현진,백은옥 한국정보과학회 2017 한국정보과학회 학술발표논문집 Vol.2017 No.06

Usability Evaluation Case Study of an Educational Electronic Performance Support System (E-EPSS)

박수홍,백은옥,안재순 한국교육정보미디어학회 2002 교육정보미디어연구 Vol.8 No.1

박수홍백은옥 안재순(인디애나 대학)전자수행지원시스템(EPSS)의 개념은 원래 기업교육 현장에서 유래되었다. 최근에 이 개념을 학교상황에 적용하려는 몇몇 시도가 있어왔다. 학교교육용 EPSS(E-EPSS)의 예는 웹상에서 찾아 볼 수 있다. 그렇지만, 이렇게 새롭게 출현한 E-EPSS를 위한 평가연구가 거의 없으며, 평가를 위한 준거도 없는 실정이다. 따라서 본 연구의 주요 목적은 STEPS(support for teacher enhancing performance in schools)이라고 불리우는 E-EPSS의 한 사례분석를 통하여 E-EPSS의 질을 어떻게 향상시킬 것인가를 위한 설계상의 조언을 제공하기 위한 것이다. 이 목적을 성취하기 위하여, 본 연구는 먼저 교사의 전문성개발(professional development)의 관점에서 E-EPSS와 관련된 문헌을 검토하여, 포괄적인 경향, 요구와 정의에 대하여 분석하였다. 둘째, 지각에 기반을 둔 사용성평가(perception-oriented usability evaluation) 방법을 이용하여 STEPS 사례를 분석/평가하였다. 설문지와 인터뷰방법을 혼합하여 방법론적 다각화 (triangulation)을 시도하였으며, 특히 인터뷰시 질문문항에 따라 평가자들이 STEPS 프로그램을 think-aloud를 통하여 검토한 과정을 관찰/분석하였다. 연구결과, 평가자들은 STEPS과 같은 교육용 EPSS의 가능성에 대한 일치된 긍정적인 견해를 나타냈었지만, STEPS의 질을 향상시키기 위해서, 프로그램과 교사와의 상호작용성을 고양시키고, 단순히 정보를 제시하는 차원을 넘어선, 교수학습활동을 지원하는 측면이 보다 부각되어야할 것으로 나타났다. 마지막으로 STEPS 평가결과와 문헌검토에 터하여 STEPS 그 자체뿐만 아니라 E-EPSS 전반에 대한 질 향상을 위한 방안을 제시하였다.

동위원소에 의한 펩타이드 질량분포의 근사 계산방법과 펩타이드 중수소치환에의 적용

이경훈,백은옥,나승진 한국정보과학회 2012 정보과학회논문지 : 소프트웨어 및 응용 Vol.39 No.10

질량분석법을 이용하는 프로테오믹스 연구에서는 먼저 시료 내의 단백질을 펩타이드로 절단한 다음, 질량 분석기를 이용해서 펩타이드의 질량 스펙트럼을 얻는다. 이렇게 얻어진 질량 스펙트럼은 펩타이드 이온의 질량을 전하량으로 나눈 값(m/z)에서 그 펩타이드가 얼마나 많이 나타났는지를 의미하는 intensity로 구성된다. 그런데 자연계에 분포하는 동위원소의 존재로 인해 펩타이드는 하나의 질량으로 결정되지 않고, 동위원소의 구성 비율에 따라 다양한 질량을 보이는데 이를 동위원소 분포(isotopic distribution)라 한다. 이런 isotopic distribution을 결정하는 것은 질량분석 데이터를 해석하는 첫 단계라고 할수 있으나 정확한 분포를 구하는 것은 많은 계산량을 요구한다. 이 논문에서는 isotopic distribution의 확률 모델을 근사시켜 정확도를 희생하는 대신, 계산량을 대폭적으로 줄여 계산의 속도를 향상시킨 알고리즘을 구현하였다. 그리고 이 근사 알고리즘이 중수소치환 실험결과를 분석하여 얻어진 결과를 검증하는 소프트웨어의 개발에 응용될 수 있음을 보였다. Mass spectrometry-based proteomics involves analyzing mass spectra of peptides resultant from protein digestion. A mass spectrum is a record of peaks, each of which is signal intensity at a mass-to-charge ratio of a peptide. In a mass spectrum, a peptide is not represented as a single peak but consists of an isotopic cluster of peaks due to isotopes existing in nature. Thus, to determine the exact mass of a peptide, analyzing its isotopic distribution is the first step in data processing, but calculating an exact isotopic distribution requires a large amount of computation. In this work, we introduce an approximation method to reduce the computational complexity and show that it significantly improved the speed of the calculation with little loss in accuracy. Finally, we have shown this approximation algorithm can be applied to validating that analysis results of mass spectrometry data from hydrogen-deuterium exchange (HDX) experiments.

Teaching on the Web : Dilemma faced by constructivist on-line teacher educators 구성주의 온라인 교사의 딜레마

L, B-R,B, E-O,R, S,S, H 한국교육정보방송학회 2002 교육정보미디어연구 Vol.8 No.4

이 연구는 사범대학에서 온라인강좌를 담당하고 있는 교수자가 가지는 온라인교수전략에 대한 선호도와 태도를 밝히고, 성공적인 온라인강좌를 위한 효과적인 교수전략을 규명 하고자 하는 것이다. 이 연구는 기존의 연구자들에 의해 제시된 온라인 교수전략이 실제 현장에서 사용될 때는 변형 또는 왜곡되어 사용되고 있음을 규명하였으며 이와 관련하여 교수자들이 겪는 딜레마를 보여주고 있다. 이러한 연구결과에 기초하여 본 연구는 온라인 강좌를 성공적으로 이끌기 위한 방법을 제시하고 있다. 여섯명의 교사교육자들이 연구에 참여하였으며 이들은 미국 중서부의 주립대학에서 예비교사 및 현장교사를 대상으로 한 온라인강좌를 가르치고 있었다. 개별 인터뷰, 문서분석과 관찰을 통하여 각 강좌에서 활용된 교수전략이 규명되었으며 포커스그룹 인터뷰를 통하여 교수자들의 원격교육에 유용한 교수전략에 대한 인식과 태도를 밝혔다. 다음의 3가지 범주가 주요 분석의 틀이 되었다: 1) 교수자의 교수학습관점, 2) 학습자의 전문적 경험이 교수전략 활용에 미치는 영향, 3) 교수자들에 의해 실제로 사용된 교수전략. 연구에 참여한 교수자들은 구성주의적 교수학습관점을 가지고 있었으나 이러한 관점이 실제로 이루어진 교수활동에 반영되지 못하고 있었다. 즉, 교수자들은 온라인 환경에 맞게 자신들의 교수전략을 수정, 활용하고 있었으며 이는 그들의 구성주의적 교수학습관과 일정하게 거리가 있었다. 이와 같이 교수자들은 자신들의 관점과 교수의 실제 사이에서 불일치를 경험하고 있었다. 본 연구는 이러한 불일치의 원인과 극복방안에 대하여 논의하였다. The purposes of this study are to identify effective instructional strategies that online teacher educators can use for their distance education courses and to determine online teacher perceptions about which online instructional strategies are most effective for professional development courses. This study will also illustrate the disparities between the instructional strategies that are actually being used and those identified in the literature. We will also make recommendations based on our findings. Six instructors, who are teaching online professional development courses in the school of education of a mid-western university, were recruited for an individual and a focus group interview. The findings are categorized in four areas: 1) online teacher educators' perspectives, 2) the effect of students' professional experience on the instructors' methodology, and 3) instructional strategies actually used by online instructors. We found, in the majority of the interviews, that all of the online instructors had more or less constructivist perspectives; they were aware of teachers' needs, but this did not seem to largely affect the design and delivery of their online instruction. In reality, they developed their own strategies in a way somewhat different from the constructivist principles. We discuss what disparities exist, why they occur, and how to overcome them.

인공신경망을 이용한 phosphorylated peptide의 MS/MS 예측

최현진,나승진,백은옥 한국정보과학회 2019 한국정보과학회 학술발표논문집 Vol.2019 No.12