• Annual Conference of KIPS
• /
• 2012.11a
• /
• pp.1543-1546
• /
• 2012

반응형 시스템은 외부 환경과 지속적으로 상호작용하는 시스템이다. 반응형 시스템이 요구 사항을 만족하는지를 검사하기 위해서 상호 작용을 수행할 환경 모델을 구축 해야 한다. 환경 모델은 반응형 시스템에게 항상 올바른 입력들을 제공 해야만 검사 결과의 신뢰성을 보장할 수 있기 때문에 올바른 입력들을 포함하는 것은 매우 중요하다. GR(1) Synthesis 는 수학적 정형 기법으로써 논리식으로 표현된 요구 사항을 보장할 수 있는 모델을 자동으로 생성할 수 있다. 이 기법을 이용하여 올바른 환경 모델을 생성하고 반응형 시스템에게 올바른 환경의 입력들을 자동으로 제공 함으로써 반응형 시스템의 행위가 올바른지를 환경 모델 상에서 검사하였다. 또한 사례 연구를 통해 환경 모델을 이용한 검사가 기존 방법에 비해 우수함을 알 수 있었다.

• Journal of The Korean Association For Science Education
• /
• v.33 no.5
• /
• pp.893-910
• /
• 2013

The purpose of this study was to identify changes in mental models of students in the elementary school about causes of seasonal changes. During a total of eight sessions, eight sixth graders were asked to describe the causes of seasonal changes through pictures, writing and thinking aloud by using microgenetic research methods, and the changes in mental models were examined. When the research was conducted, linguistic and behavioral factors and contents of interviews of participants were recorded on video. Moreover, a variety of materials such as field observation chart were written by a researcher and mental models records were written by a student. The protocol was written by integration of collected results, and it was repeated to read and was inductively categorized. The results of this study were as follows: First, participants' mental models about causes of seasonal changes were changed in various paths within and across sessions. Participants' mental models that had been more changed in various ways were closer to the scientific model. In addition, like rotation and revolution, students who correctly established the preconceptions related to seasonal changes formed the mental models consistent with scientific concept based on new information. On the other hand, students who did not correctly establish the preconceptions did not deviate from non-scientific mental models. Second, prior knowledge, experience and information which participants held in advance, accuracy of prior knowledge, resolution of inconsistency between new knowledge and existing mental models, activation of mental models through operation of models and drawing an picture affected the changes of mental models. Teachers should provide to learners with sufficient experience which can be configured to various mental models in order to form the scientific concepts. And they need to let learners feel the doubt and resolve it through presentation of new teaching material which is inconsistent with the existing mental models.

• Annual Conference of KIPS
• /
• 2020.11a
• /
• pp.984-987
• /
• 2020

최근 오픈 도메인 자연어 질문 응답 분야에서는 폭넓은 다중 문서들을 토대로 다중 홉 추론과 동시에 서로 다른 수준의 여러 문제들을 한꺼번에 해결해야 하는 다중 작업 질문 응답에 관한 관심이 높다. 본 논문에서는 이러한 다중 홉 추론과 다중 작업을 요구하는 복잡 질문들에 효과적으로 응답하기 위해, 계층적 그래프 기반의 새로운 심층 신경망 모델을 제안한다. 제안 모델에서는 계층적 그래프와 그래프 신경망을 이용해 다중 문서들로부터 서로 다른 수준의 맥락 정보를 얻어낸 후, 이들을 활용하여 뒷받침 문장들, 답변 영역, 응답 유형 등을 동시에 구해야 하는 다중 작업 문제에 관한 답들을 예측해낸다. 본 논문에서는 오픈 도메인 자연어 질문 응답 데이터 집합인 HotpotQA를 이용한 실험들을 통해, 제안 모델의 긍정적 효과를 입증한다.

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

과학기술 논문의 수준을 평가하고, 국내 학술지 및 기관간의 연구능력 비교 분석의 척도로 사용하기 위한 KSCI(Korean Science Citation Index : 한국과학기술인용색인) 구축 및 활성화를 위하여 XML을 기반으로 하는 모델을 설계하였다. KSCI 데이터베이스는 인용만 논문과 인용된 논문들 사이의 관계를 정의하고 논문을 작성한 저자들에 대한 인력DB의 구축과 연계를 통하여 구성되어진다. 이러한 과정에서 발생되어지는 표준화 과정과 데이터베이스간의 연계를 효율적으로 주진하고 효율적인 KSCI 데이터베이스를 구축하기 위한 XML 표준을 설계하였다. 첫째, 데이터베이스틀의 연계를 위한 모델을 설계, 둘째, 인용된 논문과 인용한 논문에서의 서지정보. 저널정보, 참고문헌정보에 대한 XML DTD를 정의 셋째, 저자와 공저자들에 대한 인력DB 구축을 위한 XML DTD를 정의하였다. 본 논문은 KSCI데이터베이스 구축을 통해서 데이터에 대한 상호 교환, 공동 활용을 보다 효율적으로 수행하고 안정적인 체제 구축을 고려하여 모델을 설계하였다.

• Annual Conference of KIPS
• /
• 2007.05a
• /
• pp.572-573
• /
• 2007

과학기술계 협회는 첨단 산업기술정보의 주요 생산집단이다. 이들 협회가 발간하는 저널들은 책자 형태가 대부분이다. 저널의 오프라인 발간은 정보의 파급에 한계가 있으며 결과적으로 정보이용을 제한한다. 그러므로 협회 전자저널의 온라인 발간은 대단히 중요하다. 하지만 대부분 협회의 정보 인프라 환경이 열악하여 전자저널 생성 모델 자체가 부재한 상황이다. 이에 본 논문에서는 협회 오프라인 저널의 전자소스를 다양하게 활용하여 검색 가능한 전자저널을 생성할 수 있는 모델을 연구하고 개발하였다. 향후, 현 모델을 바탕으로 오프라인 저널을 배제한 순수한 온라인 저널 출판이 가능한 개선된 모델을 연구할 계획이다.

• 한국과학기술학회:학술대회논문집
• /
• 2006.10a
• /
• pp.1-18
• /
• 2006

• Journal of The Korean Association For Science Education
• /
• v.33 no.2
• /
• pp.522-537
• /
• 2013

This study analyzed the relationship among the construct level of analogical reasoning, prediction and uncertainty, and the construction of an explanatory model that were produced during small group discussions for scientific problem solving. This study was participated in by 8 students of K University divided into 2 teams conducting scientific problem solving. The participants took part in discussions in groups after achieving scientific problem solving individually. Through individual interviews afterwards, changes in their thinking through discussion activities were looked into. The results are as follows: The analogy at the Entities/Attributes level was used to make people clearly understand the characteristics of certain objects or entities in the discussions. The analogy at the Configuration/Motion level that was produced during the discussions ensured other participants to predict the results of problem solving. The analogy at the Mechanism/Causation level changed the structure of problem situations either to help other participants to reconstruct the explanatory model or to come up with a new situation that was never been through before to justify the created mechanism and through this, the case of creating Thought Experiments during the discussions were observed. if looking into the changes of analogies, each individual's analogic paradigm during the discussions were shown as production paradigm, reception-production paradigm, production-reception paradigm, and reception paradigm. The construction and reconstruction of the explanatory model were shown in analogic production paradigm, and in the reception paradigm of an analogy, participants changed their predictions or their certainty.

• The Korean Publising Journal, Monthly
• /
• s.235
• /
• pp.2-3
• /
• 1998

제 학문적 화두는 한국 전통과학의 전개과정을 체계화할 관점을 세우는 것이었습니다. 우리나라는 예부터 전세계의 과학지식과 기술을 받아들여 왔지만 언제나 한국적 모델로 재창조해 왔습니다. 이 같은 ‘수용과 창조의 역사’가 바로 우리 과학사입니다.

• The Science & Technology
• /
• v.28 no.1 s.308
• /
• pp.72-73
• /
• 1995

「이달의 과학자」로 선정된 최희준교수는 물리현상 및 공학현상의 수학적 모델인 포물선형 편미분방정식과 변분부등식 해의 행태 등의 연구로 과학기술분야의 균형적 발전에 큰 공을 세웠다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2023.05a
• /
• pp.16-16
• /
• 2023

기후변화로 인한 가뭄, 홍수, 녹조 등 이상기후 현상들이 본격화함에 따라 안정적인 수자원 관리의 필요성이 증가하고 있다. 특히 급변하는 환경조건 속에서도 안정적인 수자원 확보를 가능하게 하는 지하수 자원의 적극적인 활용은 기후변화대응에 있어 핵심적인 요소이다. 지하수는 하천, 호수 연안지역 등 다양한 지표의 수문환경과 연결되어 천층지권의 수문생태적 특성을 결정하기 때문에, 지속가능한 수자원 활용을 위해서는 지하수와 지표수의 상호작용에 대한 통합적인 검토가 이루어져야 한다. 하지만 긴밀하게 연계된 특성에도 불구하고 지하수와 지표수에 대한 연구는 오랜기간 개별수문환경에 대해 독립적으로 수행되어왔다. 이러한 연구경향은 저류시간이 크게 다른 지하수와 지표수의 수문적 특성뿐 아니라 개별수문환경에서 나타나는 작용들을 통합적으로 다룰 수 있는 모델의 부제에도 기인한다. 최근 비약적인 연산능력의 향상과 함께 지하수-지표수 환경을 연계한 통합수문모델(Integrated Hydrology Model)의 개발 및 활용이 이루어짐에 따라 기후변화 및 수자원 활용에 따른 수문환경변화 대한 통합적인 연구 시도가 이루어지고 있다. 본 발표에서는 최근의 통합수문모델과 다중요소 반응성 운송 모형(Multicomponent Reactive Transport Model)의 연계를 통한 물질순환 연구의 최신 동향을 소개하고(농도-유량 상관관계, 지표수계의 화학적 풍화와 이산화탄소 저감, 녹조 등), 데이터 기반 모형을 통한 통합수문모델의 연산 효율 및 정확성 향상을 위한 방법에 대해 모색하고자 한다.