• 정보처리학회논문지A
• /
• 제12A권5호
• /
• pp.385-390
• /
• 2005

`집합 제한 논리 언어`는 `집합 이론`을 프로그래밍에 도입한 언어이다. 본 논문은 A. Dovier 연구팀이 제안한 집합 제한 문제 풀이(solver) 절차를 소개하고, 이 절차가 논리 언어 Prolog 상에서 어떻게 구현 가능한 지를 보인다. 이 절차는 `다시쓰기 규칙(rewrite rule)`으로 표현되어 있는데 이 표현의 특징은 일반 프로그래밍 언어가 표현하기 힘든 비결정적 규칙 적용(nondeterministic rule application)과 수학적 변수 (mathematical variable)를 사용한다는 점이다. 본 연구에서는 이들 특징이 Prolog 언어에서 제공되는 비결정적 제어 (nondeterministic control), 논리적 변수(logical variable) 및 리스트(list) 자료구조의 사용으로 쉽게 구현 가능함을 보인다. 본 연구의 구현은 다음과 같은 의의를 가지고 있다. 첫째 본연구는 이 언어의 모든 기능을 완전하게 구현하였다는 점이다. 둘째 본 연구에서는 이 언어의 구현 방법을 누구나 알기 쉽게 기술하였다는 점이다. 셋째 기존의 구현이 상업적 Prolog인 SICStus Prolog를 사용하여 구현한 것과는 달리 본 구현은GNU GPL(General Public License)을 가지는CIAO Prolog를 사용하여 구현하였기 때문에 누구나 자유롭게 사용할 수 있는 점이다. 넷째 본 연구에서 개발된 소스 코드는 공개 소프트웨어이기 때문에 누구나 자유롭게 사용, 수정 및 배포할 수 있다는 점이다.

• 한국학교수학회논문집
• /
• 제4권1호
• /
• pp.91-101
• /
• 2001

Nowadays the number of students that is losing their interest as well as learning desire in mathematics is increasing because of lack of logical thought creative power and abstract expression that present-day mathematics requires by reason of discrepancy of extreme scholastic ability by speciality of mathematics. In these conditions, we reduce the number of learning depression by bringing about learning desire or learning interest on mathematics, and students learn effective learning methods to be voluntary learning of discovery themselves that studies basic concepts, principles, rules through logical thought of students to solve difference of scholastic ability, thus we assumed that debate studies through small group activities in ability group would be one of ways to improve learning power, so the results of our research are as follows; 1. Debate studies through small group activities were very effective because of reinforcing the achivement level of students. 2. By this learning method, an individual or cooperrative learning was fostered, and lively discussions were accomplished. And learning attitudes of students were changed by the extension of cooperative learning abilities through advices or by themselves. 3. A personal opinion is payed regard by accepting an individual idea in the process of making questions. Learners can correct wrong concepts in the process of correcting wrong answers. So if we apply above-mentioned studies with easy contents from the lower grades, the effectiveness would increase as learners go to the higher grade. According to the results of various researches as follows; "The teaching-learning method oriented coopperative debate studies is effective to find solutions to mathematical problems." If small group activities are applied in the educational situation to search the course of a desirable cooperation learning through small group activities to improve scholastic abilities for a discoverable problem-solving power. I think that the teaching-learning method oriented cooperative debate studies is one of the most desirable methods to increase the problem-solving ability.

• 한국정보처리학회논문지
• /
• 제4권7호
• /
• pp.1665-1680
• /
• 1997

다양한 응용 분야의 데이터베이스 설계시에 시스템 사용자와 설계자 간의 이해를 증진시키고 올바른 모델링을 위해 개체-관계 모델이 많이 사용되고 있다. 그렇지만 효과적인 구현을 위해 이 개체-관계 모델로 표현된 데이터베이스는 데이터 조작과 표현이 효율적인 객체지향 데이터베이스 모델로 변환되어야 한다. 이를 위해 개체-관계 모델의 모든 개념을 객체지향 모델의 개념으로 의미의 손실없이 변환시키는 방법이 연구되어야 한다. 이 논문은 일반화 상속과 집단화 상속의 개념을 도입하여 개체-관계 모델의 기능을 확장시켰고, 개체-관계 모델의 각 성분을 객체지향 데이터베이스 모델의 성분으로 변환시키는 규칙을 제시하고자 한다. 이 변환 규칙에서 역할에 따른 변환 기법을 제시하고, 이 제시된 변환 규칙을 이용하여 개체-관계 모델에서 객체지향 모델의 스키마로 의미의 손실 없이 변환됨을 예로써 보인다. 제안된 변환 기법은 데이터베이스 설계의 논리적 모델 설계에 활용될 수 있다.

• Journal of Multimedia Information System
• /
• 제4권3호
• /
• pp.107-114
• /
• 2017

As to talk about computer aided 3D modeling, it can be conformed to the popular aesthetics based theory of heightening the organizing useful visual information. This thesis heightens the formativeness of the 3D modeling from the angle of the Gestalt psychology and attempts a finding of a method as also explains among the grouping laws of Gestalt. They are the definitions and the special features of 'The Law of Proximity', 'The Law of Similarity', 'The Law of Closure', 'The Law of Continuity', etc. And, through a logical, theoretical analysis, the relationships between such laws are found out. And the case examples of the uses of such laws in the 3D animation character designs and the situation in which such laws are applied to the things in the actual lives are analyzed. If it is intended to improve the formativeness of the 3D model forms, the rules of the simplicity, the safety, and the symmetry must be pursued according to the visual recognitions of the human beings. Because the actual objects are seen and touched, other than the visual pursuits by the human beings, the functionalities and the practicalities of the objects must be considered.

• 한국인터넷방송통신학회논문지
• /
• 제15권1호
• /
• pp.157-163
• /
• 2015

XML은 인터넷 상의 데이터의 표현 및 교환의 사실상 표준으로 자리 잡고 있으며, XML 자체가 데이터를 저장하기 위한 논리적 구조를 표현하고 있지만, 다양하고 복잡한 표현으로 인해 문서 구조를 한 눈에 파악하기에는 어려운 점이 있어 개념적 모델의 도구로 사용하기 적절하지 못한 점이 있다. 본 논문은 XML 스키마 문서 구조를 확장된 개체관계 모델을 이용하여 그래픽 형태로 개념적 모델링할 수 있는 기법을 제안한다. 이를 위해 XML 스키마 구조를 표현하기 위해 확장된 개체관계 모델을 제시하고, XML 스키마 요소들을 확장된 개체관계 모델로 표현하기 위한 표현규칙들을 제시하고, 제안한 기법으로 모델링한 개념적 모델을 논리적 모델인 XML 스키마 문서로 매핑하는 사례를 통해 본 기법의 완전성을 보여준다.

• 전기학회논문지
• /
• 제60권10호
• /
• pp.1804-1810
• /
• 2011

It is necessary to adopt some logical techniques and methods of alarm processing for a large complex plant such as nuclear power plants in order to present the occurred alarm messages properly and concisely. Among such alarm processing techniques, the alarm suppressing function is a strong tool to avoid alarm flooding during the sudden transients of plant output power such as turbine trips, reactor trips and other incidents. Unless any suppression or representation technologies are used in an alarm message listing system, it cannot provide quick assistance to plant operators or supervisors during plant upsets because too many alarm messages are presented in an alarm list window. This paper presents the key suppression methods and analysis processes developed for implementing a suppressed alarm message listing function of an integrated alarm system called LogACTs which has been applied to a CANDU nuclear power plant. A simulation testing of the suppressing function conducted with the real plant alarm message list data has demonstrated an effective performance of the developed logics with the high suppression rate.

• 산업공학
• /
• 제17권spc호
• /
• pp.46-51
• /
• 2004

In order to quickly respond to the rapidly changing manufacturing environment, it is imperative for the system to have such capabilities as flexibility, adaptability, reusability, etc. One of the promising approaches for new manufacturing paradigm satisfying those capabilities is the fractal manufacturing system (FrMS). The FrMS can be optimized by reorganizing the structure of fractals through the dynamic restructuring process (DRP) to deal with the changes of environment. Through the DRP, the logical connections between fractals and roles of fractals are autonomously changed. To determine an appropriate fractal structure, certain rules are needed to build and evaluate alternative structures for fractals involved in the DRP. In this paper, an algorithm for the DRP-, which is invoked when some equipment are unavailable, is introduced and explained with examples.

• 한국통신학회논문지
• /
• 제17권5호
• /
• pp.495-508
• /
• 1992

이 논문은 SGML(Standardized General Markup Larguage)을 적용하여 작성된 SGML 문서와 DTD(Document Type Definition)를 분석하는 SGML파서(parser)의 설계를 기술한다. 먼저 SGML 규칙을 내포하는 yacc 정의 파일을 구성하였고, 이 파일에 의하여 SGML DTD와 문서를 적합한 토큰(token)으로 파싱하였다. 이 토근으로 SGML문서의 논리적 구조를 내부 구조화하고, 엔터티(entity)테이블(table),엘리먼트(element)테이블등을 생성하여 데이터베이스(database)를 구축하였으며,이를 이용하여 속성값 입력등의 다음 단계처리에 이용 할 수 있게 하였다. 또한 이 파서는 소규모 참조를 변화하여 확장하는 기능도 갖는다. 이 파서에 몇몇 SGML문서를 시험 적용하여 바르게 시행됨을 확인하였다.

• 자연과학논문집
• /
• 제8권1호
• /
• pp.93-100
• /
• 1995

본 논문은 서로 다른 시스템들 간에 구조화된 멀티미디어 문서정보 교환을 위한 국제표준 문서구조인 ODA의 문서 포맷터 설계 및 구현에 관한 것이다. 포맷터는 공통배치구조로부터 특정배치구조를 생성함과 동시에 사용자의 상호작용에 따라서 특정배치구조와 특정논리구조의 관계를 설정토록 하였으며, 이를 위해 역추적(backtracking) 메커니즘과 배치 지시자(layout directive)의 처리규칙을 제안하였다. 특히 복잡한 내부구조를 투명하게 보임으로써 보다 용이하게 문서작성을 수행토록 사용자 인터페이스를 대화식 처리방식으로 구현하였다.

• 무역상무연구
• /
• 제72권
• /
• pp.81-113
• /
• 2016

The adoption of the YAR 2016 brings to an end the 12 years of uncertainty for shipowners and Marine insurers which followed the adoption of the YAR 2004, which did not have the support of shipowners, and which were very rarely used in preference to the well-established and well understood YAR 1994. The development and finalisation of the YAR 2016 is the product of an extensive review undertaken by the IWG with input from the International Group, international average adjusting community, National Maritime Law Associations, the International Chamber of Shipping, BIMCO and IUMI amongst others. The Group clubs welcome and support the adoption of the YAR 2016 and recommend its incorporation in members' future shipping contracts. The Club will be taking steps to adopt logical changes to the 2017 Rules. In the meantime, this circular serves as confirmation Club cover extends to all shipping contracts incorporating YAR 2016. This study analyse the adjustment practice of general average according to the application of YAR 2016.