• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2005년도 추계학술대회 논문집
• /
• pp.954-957
• /
• 2005

In order to implement Artificial Intelligence, various technologies have been widely used. Artificial Intelligence is applied for many industrial product and machine tools are the center of manufacturing devices in intelligent manufacturing system. The purpose of this paper is to present the construction of Rule Base for knowledge structure that is applicable to machine tools. This system is that decision whether to act in accordance with machine status is support system. It constructs Rule Base of knowledge used of machine toots. The constructed Rule Base facilitates the effective operation and control of machine tools and will provide a systematic way to integrate the expert's knowledge that will apply Intelligent Machine Tools.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2020년도 학술발표회
• /
• pp.42-42
• /
• 2020

충남서부권은 기상이변으로 강수량이 적고 가뭄이 심화되고 있는 반면, 신규수원 개발 적지 부족 등 용수공급에 어려움을 겪고 있다. 2015년부터 2016년까지 가뭄시 비상용수공급을 위해 비상도수로를 건설하였다. 이 비상도수로는 보령댐의 가뭄단계 상황기준으로 운영중에 있다. 가뭄단계 상황이 경계단계에 진입하면 도수로를 가동시작하여 관심단계 회복시에 중단하게 된다. 동 연구는 현재 운영중인 보령댐도수로의 가동Rule을 수량(이수안전도), 수질(BOD), 전력비용을 고려하여 시나리오별로(상시도수, 총 도수량대비 25%, 50%, 75%, 100%) 도수할 때 어느 도수 Rule이 수량-수질-에너지 넥서스 측면에서 가장 유리한지를 밝혀 내고자 하였다. 연구에 사용된 기초자료는 보령댐도수로 준공이후 2016년~2019년 도수실적 자료를 이용하였다. 수량(이수안전도) 검토는 MODSIM을 활용하였고, 수질개선효과는 실측 BOD를 기준으로 도수조건별로 오염부하량으로 검토하였다. 전력비용은 금강원수 도수년도별로 산정하여 분석하였다. 추가 연구결과를 통해 가뭄단계 상황기준, 월별 물관리 여건을 고려하여 기준향후 비상도수로 운영에 있어서 수량절량, 수질개선, 전력비용 절감을 기대할 수 있을 것이다.

• 물과 미래
• /
• 제18권4호
• /
• pp.347-359
• /
• 1985

본 연구는 단일다목적 저수지의 운영정책을 수립함에 있어서, DP를 적용하여 댐의 여러 물리적 제약조건하에서 댐 하류의 용수수요를 최대로 충족시킬 수 있는 월별 저수지 최대 운영정책을 수립하는 알고리즘을 개발하는데 주안점을 두었다. 분석대상인 안동댐의 과거 월평균 유입량으로부터 장래 월유입량을 모의발생시키고, 그 모의 발생된 자료 중에서 ddlqfid 계열 A, B, C를 선정하여, 각 계열별로 낙동강 본류의 용수수요 중에서 안동댐이 30%∼100%까지 충족시킬 수 있도록 8개의 대안을 설정하였다. 그리고 DP 모델을 적용시켜 물 수요량과 운영곡선에 근거한 시스템 운영목적함수를 가장 잘 수행하는 대안을 최적 운영 정책으로 결정하였다.

• 디지털콘텐츠학회 논문지
• /
• 제2권2호
• /
• pp.103-115
• /
• 2001

본 논문은 퍼지지식베이스에서 러프 집합과 요인공간이론을 적용하여 최소 결정규칙 생성과 근사추론 연산을 수행하는 두 개의 알고리듬을 제안한다. 최소 결정규칙의 생성은 속성요인에 관련한 상관분석과 베이지안 정리를 응용한 데이터의 분류기법과 리덕트에 의해 수행된다. 이 결정규칙으로 이루어진 최소지식 베이스의 탐색공간에서 소속함수와 t-norm의 합성 연산을 정의한 근사추론 방식에 의해 특정 객체를 검색한다. 본 연구의 러프와 퍼지연산 모듈을 수행하는 제안 알고리듬 기법을 객체및 속성수를 증가시키는 시뮬레이션을 통해 다른 검색이론 및 합성연산 방식과 비교하였다. 그 결과 다른 제 방법보다 본 연구에서 제안하는 기법이 특정 객체를 추출하기 위한 검색연산 시간에 있어 보다 빠르게 검색됨을 입증하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권12호
• /
• pp.1393-1403
• /
• 1999

공간 데이타베이스 시스템을 통하여 공유되는 공간 데이타는 무결성이 적절하게 유지되지 않는 한 전체 응용 시스템의 행위를 예측할 수 없게 되므로 데이타의 무결성 확인 및 유지는 필수적이다. 특히 공공 GIS에 저장된 공간 데이타는 토지 이용도 평가, 도시 계획, 자원 관리, 시설물 관리, 안전 관리, 국방 등 국가 전체 및 지역의 중요한 정책 결정을 위한 다양한 응용 시스템들에 의해 이용되므로 적절한 공간 객체의 무결성 확인이 더욱 더 필요하다. 본 논문에서는 능동(active) DBMS의 능동 규칙(active rule) 기법을 이용하여 공간 객체의 무결성 확인을 지원하기 위한 규칙 관리 시스템을 제시한다. 능동 규칙을 이용한 공간 객체의 무결성 확인은 응용 프로그래머를 무결성 확인에 대한 부담으로부터 자유롭게 할 수 있다. 본 시스템은 특정 DBMS에 종속되지 않는 독립적인 외부 시스템으로 존재하며, 능동 규칙 관리기, 규칙 베이스, 그리고 활성규칙 생성기의 3 부분으로 구성된다. 사용자가 공간 데이타베이스 응용 프로그램을 통해 공간 객체를 조작하고자 할 때, 본 시스템은 데이타베이스 트랜잭션을 단위로 조작되는 모든 공간 객체의 무결성 확인을 위해 응용 프로그램에 삽입될 무결성 제약조건 규칙들을 효율적으로 관리하는 역할을 한다.Abstract It is necessary that the integrity of spatial data shared through the spatial database system is validated and appropriately maintained, otherwise the activity of whole application system is unpredictable. Specially, the integrity of spatial data stored in public GIS has to be validated, because those data are used by various applications which make a decision on an important policy of the region and/or whole nation such as evaluation of land use, city planning, resource management, facility management, risk management/safety supervision, national defense. In this paper, we propose rule management system to support validating the integrity of spatial object, using the technique of active rule technique from active DBMS. Validating data integrity using active rules allows database application programmer to be free from a burden on validation of the data integrity. This system is an independent, external system that is not subject to specific DBMS and consists of three parts, which are the active rule manager, the rule base, and the triggered rule generator. When an user tries to manipulate spatial objects through a spatial database application program, this system serves to efficiently manage integrity rules to be inserted into the application program to validate the integrity constraints of all the spatial objects manipulated by database transactions.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제5권4호
• /
• pp.416-425
• /
• 1999

복잡한 무결성 제약 조건을 효율적으로 확인하기 위해 제약 조건들을 룰 베이스(rule base)에 저장하고 별도의 룰 관리 시스템과 제약 조건 관리 시스템을 통해 제약 조건을 확인하는 기법이 많은 연구자들에 의해 연구되고 발표되었다. 그러나 제약 조건 관리 시스템이 실행시간에 응용 프로그램을 항상 모니터링하고 있다가 데이타의 수정이 요청될 때마다 개입하여 프로세스를 중단시키고 관련 제약 조건을 확인하는 기존의 방법들은 처리 시간의 지연을 피할 수 없다. 본 논문은 컴파일 시간에 제약 조건 확인 코드를 응용 프로그램에 미리 삽입할 것을 제안한다. 응용 프로그램 자체 내에 제약 조건 확인 코드가 삽입되기 때문에 실행 시간에 다른 시스템의 제어를 받지 않고 직접 제약 조건의 확인 및 데이타베이스의 접근이 가능해져서 처리 시간의 지연을 피할 수 있을 것이다. 이를 위해 어떤 구문이 제약 조건의 확인을 유발하는 지를 추적하였고, 컴파일러가 그러한 구문을 어떻게 전처리 과정에서 검색하는지 그리고 그러한 구문마다 어떻게 해당 제약 조건 확인 코드를 삽입할 수 있는 지를 객체지향1) 데이타베이스 언어인 Objectivity/C++에 대해 gcc의 YACC 코드를 변경함으로써 보여 주었다.Abstract To cope with the complexity of handling integrity constraints, numerous researchers have suggested to use a rule-based system, where integrity constraints are expressed as rules and stored in a rule base. A rule manager and an integrity constraint manager cooperate to check the integrity constraints efficiently. In this approach, however, the integrity constraint manager has to monitor the activity of an application program constantly to catch any database operation. For each database operation, it has to check relevant rules with the help of the rule manager, resulting in considerable delays in database access. We propose to insert the constraints checking code in the application program directly at compile time. With constraints checking code inserted, the application program can check integrity constraints by itself without the intervention of the integrity constraint manager. We investigate what kind of statements require the checking of constraints, show how the compiler can detect those statements, and show how constraints checking code can be inserted into the program, by modifying the GCC YACC file for Objectivity/C++, an object-oriented database programming language.

• 전자공학회논문지A
• /
• 제31A권1호
• /
• pp.84-92
• /
• 1994

In this paper, we present a novel scheduling algorithm using the weighted interval graph. An interval graph is constructed, where an interval is a time frame of each operation. And for each operation type, we look for the maximum clique of the interval graph: the number of nodes of the maximum clique represents the number of operation that are executed concurrently. In order to minimize resource cost. we select the operation type to reduce the number of nodes of a maximum clique. For the selected operation type, an operation selected by selection rule is moved to decrease the number of nodes of a maximum clique. A selected operation among unscheduled operations is moved repeatly and assigned to a control step consequently. The proposed algorithm is applied to the pipeline and the nonpipeline data path synthesis. The experiment for examples shows the efficiency of the proposed scheduling algorithm.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2005년도 ICCAS
• /
• pp.767-772
• /
• 2005

The Internet is a packet switched network which offers best-effort service, but current IP network provide enhanced services such Quality of Services, Virtual Private Network (VPN) services, Distribute Firewall and IP Security Gateways. All such services need packet classification for determining the flow. The problem is performing scalable packet classification at wire speeds even as rule databases increase in size. Therefore, this research offer packet classification algorithm that increase classifier performance when working with enlarge rules database by rearrange rule structure into Bitmap Intersection Lookup (BIL) tables. It will use packet's header field for looking up BIL tables and take the result with intersection operation by logical AND. This approach will use simple algorithm and rule structure, it make classifier have high search speed and fast updates.

• 정보교육학회논문지
• /
• 제3권1호
• /
• pp.116-124
• /
• 1999

Cyber education and teacher training is the distance training program which is operating in the Korea National University of Education for teachers and citizen. In this paper, we suggest a model for establishing legal basis of cyber teacher training, by analyzing laws and processing-laws in the parliament and cyber teacher training institutes. The model contain 'The Rule for Operating CTTI(Cyber Teacher Training Institute)', 'The Rule for Using CIT Systems', 'The Rule for Operation CIT'.

• 한국통신학회논문지
• /
• 제41권12호
• /
• pp.1858-1860
• /
• 2016

논문에서는 YARA의 스캐닝 스레드 알고리즘을 개선하여 다수의 룰 파일 패턴 매칭을 수행할 수 있는 새로운 소프트웨어 구조를 제안한다. 제안하는 방식은 기존의 YARA에 비해 매칭을 위한 룰 파일의 메모리 적재 횟수를 감소시킨다. 따라서 제안된 구조를 적용할 경우 메모리 사용량은 룰 파일의 개수에 비례하여 증가하지만 패턴 매칭 수행에 따른 시간을 감소시킬 수 있다.