• School Mathematics
• /
• v.19 no.1
• /
• pp.117-135
• /
• 2017

Even though patterns and correspondence serve a fundamental basis of function for elementary students, there has been lack of research in this field. This study explored prior studies to extract the key instructional elements on how to teach patterns and correspondence. This study then analyzed the unit of 'patterns and correspondence' in the mathematics textbooks in terms of four key instructional elements (i.e., relation to real-life contexts, diversity of pattern tasks, exploration for a correspondence relationship, and teaching variables). The results of this study showed that topics dealing with patterns and correspondence were represented with relation to real-life contexts but diversity of pattern tasks and exploration for a correspondence relationship were needed to be further considered in the textbooks. Another noticeable result was that teaching variables was not explicitly addressed in the textbooks. Based on these results, this study provides textbook writers with implications on what to further consider in dealing with patterns and correspondence.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2020.11a
• /
• pp.634-636
• /
• 2020

대형 및 복합 화재에 효과적으로 대응하기 위해서 화재 현장에 대한 다양한 컨텍스트를 고려하여 표준작전절차 및 매뉴얼을 기반으로 최적의 대응 방안을 도출해야 한다. 이러한 의사결정을 긴급한 상황에서 신속하고 정확하게 수행하기 위하여 화재 상황 및 관련 대응규칙을 자동으로 분석하고 대응절차를 선제적으로 제시하는 방법이 필요하다. 이를 위해 이 논문에서는 공간정보 및 화재안전정보를 이용하여 규칙 기반으로 화재 대응 의사결정을 지원하는 방법을 제안한다. 제안하는 방법에서는 소방대상물의 실내외 공간정보 및 다양한 화재안전정보를 기반으로 화재 상황의 가변성을 모델링하고 이를 참조하여 화재 대응규칙 명세를 개발한다. 그리고 의사결정 시 주어진 상황에 맞게 가변성을 선택하고 룰 엔진을 통해 대응규칙을 실행하여 대응절차를 도출한다. 제안하는 방법을 재난현장 표준작전절차의 대상물별 표준작전절차를 대상으로 적용하여 실현 가능성을 검증하였다.

• Journal of Internet Computing and Services
• /
• v.3 no.1
• /
• pp.51-59
• /
• 2002

The conventional procedure to verify rule bases are corresponding to the propositional logic-level knowledge representation. Building knowledge bases, in real applications, we utilize the predicate logic-level rules. In this paper, we present a verification algorithm of rule bases using Pr/T nets which represent the predicate logic-level rules naturally.

• Korea Trade Review
• /
• v.48 no.4
• /
• pp.169-188
• /
• 2023

The increase in assertive and unilateral measures represents a key feature of the recent global trade environment. Against this backdrop, the EU is pushing to introduce the so-called "anti-coercion instrument(the instrument)," which aims to allow unilateral countermeasures in the event of economic coercion or threats from third countries. This paper examines the recent assertive trade environment and the legislative background of the instrument. It evaluated the necessity of and concerns arising from the instrument by comparing the existing EU trade policy, i.e., Trade Barrier Regulation (TBR). In addition, the paper aims to analyze the permissibility of the instrument under the WTO system, especially in the context of the principle of "strengthening of the multilateral system." Finally, the paper draws implications of the instrument in terms of our domestic policies that can effectively address economic threats or trade friction in the growing geopolitical crisis.

• Annual Conference on Human and Language Technology
• /
• 1993.10a
• /
• pp.571-580
• /
• 1993

영어 문장을 한국어 문장으로 기계 번역하는 과정에는 분석 규칙이나 변환 규칙만으로는 해결하기 어려운 표현의 대응 관계들이 많이 나타난다. 본 논문은 영어-한국어 기계 번역에서 질적으로 향상된 한국어 문장을 얻기 위하여 두 언어 표현들 사이의 관용적 대응 관계에 기반하는 번역 방식을 논한다. 두 언어 표현들 사이의 다양한 직접 대응 관계를 제공하는 번역 사전을 이용하며, 입력 영어 문장으로부터 이와 같은 표현들을 인식하고 한국어 표현으로 직접적으로 대응시키는 번역 방식이다. 이러한 번역 방식은 기존의 변환 규칙 기반의 번역 방식보다 자연스러운 한국어 문장을 생성할 뿐만 아니라, 많은 구조적-의미적 모호성을 해결함으로써 시간적-공간적 처리효율을 크게 높일 수 있다.

• The KIPS Transactions:PartD
• /
• v.10D no.1
• /
• pp.33-44
• /
• 2003

XML is the standard for storing and exchanging information in the Web. As the applications of XML become more widespread, the worts on rule-based technology are rapidly going on to support reactive functionality on the XML documents and the XML repositories. Active rules consist of event-condition-action, which automatically perform actions in response to status change of database. Therefore the feature of active rule satisfies the new needs in XML setting. In this paper, we propose not only a XML based active rule language to manage XML document automatically, but also an active rule analysis method to guarantee rule termination. Finally, we demonstrate some examples of active rule defined by the proposed rule language, and also verify the efficiency of our analysis method by comparing with another method.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.3
• /
• pp.688-702
• /
• 1998

In this paper, we propose sign language morpheme generation rule corresponding to morpheme analysis for each part of speech. Korean natural sign language has extremely limited vocabulary, and the number of grammatical components eing currently used are limited, too. In this paper, therefore, we define natural sign language grammar corresponding to Korean language grammar in order to translate natural Korean language sentences to the corresponding sign language. Each phrase should define sign language morpheme generation grammar which is different from Korean language analysis grammar. Then, this grammar is applied to morpheme analysis/combination rule and sentence structure analysis rule. It will make us generate most natural sign language by definition of this grammar.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.12
• /
• pp.3539-3547
• /
• 1999

Korean linguistic information for the generation modulo of KANT(Knowledge-based Accurate Natural language Translation) system was constructed. As KANT has a language-independent generation engine, the construction of Korean linguistic information means the development of the Korean generation module. Constructed information includes concept-based mapping rules, category-based mapping rules, syntactic lexicon, template rules, grammar rules based on the unification grammar, lexical rules and rewriting rules for Korean. With these information in sentences were successfully and completely generated from the interlingua functional structures among the 118 test set prepared by the developers of KANT system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.58-60
• /
• 2001

능동 데이터베이스는 능동 규칙(rule)을 이용하여 DBMS 스스로 데이터베이스 상태변화에 대응하는 규칙을 수행한다. 이러한 능동 규칙은 서로 다른 규칙을 무환하게 트리거 할 수 있고 그로 인해 종료하지 못하고 무한한 순환적 동작을 반복할 가능성이 있다. 그러므로 규칙의 비종료를 방지하고 규칙 처리를 미리 예측하기 위한 목적으로 규칙의 종료에 관한 연구가 수행되고 있지만 규칙의 다양한 사건 형태에 따라 분석 결과가 달라질 수 있음에도 불구하고 일반적으로 사용되고 있는 복합사건의 규칙과 규칙 실행의 적용시점을 나타내는 before, after 규칙을 포함한 종료분석방법은 제시되고 있지 않다. 그러므로 이 논문에서는 규칙 종료의 정확한 분석을 위해 복합사건의 규칙과 before 또는 after 규칙을 고려한 종료분석 방법을 제시하고 이것을 기존의 트리거 그래프와 규칙간에 형성되는 비활성화 관계를 그래프로 표현하여 결합한 그래프에 적용하는 규칙종료 분석 방법을 제시한다.

• Journal of Korean Medical classics
• /
• v.17 no.4
• /
• pp.31-36
• /
• 2004

개요 및 목적: 고금명의(古今名醫)들의 신(神), 혼(魂), 백(魄), 의(意), 지(志) 등의 이상에 대한 치료를 고찰분석(考察分析)함으로서 오장과 신(神), 혼(魂), 백(魄), 의(意), 지(志)의 대응관계를 연구하였다. 방법: 임상병례(臨床病例)들을 취하고 통계방법을 사용하여 고금명의들의 처방 중에서 조건에 부합되는 처방 589예를 선택하여 약물귀경에 대하여 통계처리를 함으로서 각 종류의 정신중상에 사용된 약들이 어느 한 장부계통과 특정적인 대응규칙이 있는지 여부를 분석해 보았다. 결과: 임상치료(臨床治療)에서 여러 가지 정신증상에 사용된 약들은 오장계통에 모두 영향을 주었는데 여러 가지 정신증상을 치료하는 약들은 어떤 한 가지 증상에 그와 대응되는 한 가지 장부 계통이 연관되는 특정적인 규칙은 없었다. 각 종상에 사용된 약들은 오장계통(五臟系統)중에서도 심계통과 비위계통을 치료하는 약이 나타난 빈도가 가장 높았다.