• Korean Journal of Construction Engineering and Management
• /
• v.14 no.5
• /
• pp.131-143
• /
• 2013

There is the difference of criteria to apply guidelines among the project participants and to depend on the purpose of utilizing BIM models, although modeling criteria are basically provided through BIM guidelines. Therefore, it is quite important to check compliance with guidelines to raise quality of the BIM model. But Quality Checking (QC) items and method for BIM model modeled in accordance with guidelines is not provided. This study suggested QC items and Rule Specifications(RS) for automatic QC. First of all, QC items were derived by analyzing domestic BIM guidelines and a process for structuring natural language is conducted by utilizing flowchart and pseudocode. So, by combining them, RS was suggested. Finally, RS-based case study was conducted by implementing automatic QC process with solibri model checker$^{TM}$. This study will contribute to the improvement of design quality and completeness of BIM model including huge data of 3 dimension. Furthermore, it is necessary to develop BIM guidelines according to the use case and to provide detailed process and standard for QC of BIM model.

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

최근 고객에게 개인화된 서비스를 제공하기 위한 방법의 하나인 CRM 시스템에 대한 연구가 활발히 이루어지고 있다. 본 논문에서는 룰 기반 CRM에서의 효율적인 룰 매칭을 목적으로 하는 시간요소를 고려한 룰 모델을 제안하고자 한다. 룰 매칭 시점관련조건을 고객관련조건과 구분함으로써 룰의 의미를 구조적으로 명백히 파악할 수 있고 룰 매칭 시에 룰 매칭 시점관련조건을 고객관련조건보다 먼저 수행할 수 있으므로 현재 시점에 룰 매칭을 해야 하는 룰들만을 대상으로 전체 고객 데이터를 검색할 수 있다. 이 때 룰 매칭 시간요소조건을 분류하기 위하여 필요한 카데고리 정보를 저장하고 계산 로직의 반복 수행을 막기 위한 목적으로 어휘를 정의하여 사용하는 방법에 대해서 설명한다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.19 no.3
• /
• pp.418-424
• /
• 1994

Like the Hermitian function field over GF(q), those subfields defined by y +y=x where s divides q+1 are also maximal, having the maximum number os places of degree one permissible by the Hasse-Weil bound. Geometric Goppa codes(or algebraic geometric codes) arising from these subfields of the Hermitian function field are studied in this paper. Their dimension and minimum distance are explicilty and completely presented for any m with m

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.27 no.10
• /
• pp.1-9
• /
• 1990

The performance of noncoherent FH/FSK system in the presence of multitone jamming and noise is analyged. Random and the structured jammings are considered as a multitone jamming model. The probability density function is derived and then optimum decision rule is applied to determine error probability of each cases. As a result, error probabilities of random and structured multitone jamming are shown as a function of number of jamming tones, jamming to signal power ratio, jamming signal phase and one jamming tone power to signal power ratio under Worst-case Jamming interference. It is found that error probability is maximam when one jamming tone power to signal power ratio is 1. Also we know that error performance of random and structured jamming is almost equal.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06a
• /
• pp.17-18
• /
• 2007

데이터베이스 튜닝은 일반적으로 데이터베이스 어플리케이션을 "좀 더 빠르게" 실행하게 하는 일련의 활동을 뜻한다[1]. 데이터베이스 관리자가 튜닝에 필요한 주먹구구식 룰(Rule of thumb)들을 모두 파악 하고 상황에 맞추어 적용하는 것은 비싼 비용과 오랜 시간을 요구한다. 그렇게 때문에 서로 다른 어플 리케이션들이 맞물려 있는 복잡한 서비스는 필수적으로 자동화된 데이터베이스 성능 관리와 튜닝을 필 요로 한다. 본 논문에서는 이를 해결하기 위하여 지식 도매인(Knowledge Domain)을 기초로 한 자동화 된 데이터베이스 튜닝 원칙(Tuning Principle)을 제시하는 시스템을 제안한다. 각각의 데이터베이스 튜닝 이론들은 지식 도매인의 지식으로 활용되며, 성능에 영향을 미치는 요소들을 개체(Object)와 콘셉트 (Concept)로 구성하고 추론 시스템을 통해 튜닝 원칙을 추론하여 쉽고 빠르게 현재 상황에 맞는 튜닝 방법론을 적용시킬 수 있다. 자동화된 데이터베이스 튜닝에 대해 여러 분야에 걸쳐 학문적인 연구가 이루어지고 있다. 그 예로써 Microsoft의 AutoAdmin Project[2], Oracle의 SQL 튜닝 아키텍처[3], COLT[4], DBA Companion[5], SQUASH[6] 등을 들 수 있다. 이러한 최적화 기법들을 각각의 기능적인 방법론에 따라 다시 분류하면 크게 Design Tuning, Logical Structure Tuning, Sentence Tuning, SQL Tuning, Server Tuning, System/Network Tuning으로 나누어 볼 수 있다. 이 중 SQL Tuning 등은 수치적으로 결정되어 이미 존재하는 정보를 이용하기 때문에 구조화된 모델로 표현하기 쉽고 사용자의 다양한 요구에 의해 변화하는 조건들을 수용하기 쉽기 때문에 이에 중점을 두고 성능 문제를 해결하는 데 초점을 맞추었다. 데이터베이스 시스템의 일련의 처리 과정에 따라 DBMS를 구성하는 개체들과 속성, 그리고 연관 관계들이 모델링된다. 데이터베이스 시스템은 Application / Query / DBMS Level의 3개 레벨에 따라 구조화되며, 본 논문에서는 개체, 속성, 연관 관계 및 데이터베이스 튜닝에 사용되는 Rule of thumb들을 분석하여 튜닝 원칙을 포함한 지식의 형태로 변환하였다. 튜닝 원칙은 데이터베이스 시스템에서 발생하는 문제를 해결할 수 있게 하는 일종의 황금률로써 지식 도매인의 바탕이 되는 사실(Fact)과 룰(Rule) 로써 표현된다. Fact는 모델링된 시스템을 지식 도매인의 하나의 지식 개체로 표현하는 방식이고, Rule 은 Fact에 기반을 두어 튜닝 원칙을 지식의 형태로 표현한 것이다. Rule은 다시 시스템 모델링을 통해 사전에 정의되는 Rule와 튜닝 원칙을 추론하기 위해 사용되는 Rule의 두 가지 타업으로 나뉘며, 대부분의 Rule은 입력되는 값에 따라 다른 솔루션을 취하게 하는 분기의 역할을 수행한다. 사용자는 제한적으로 자동 생성된 Fact와 Rule을 통해 튜닝 원칙을 추론하여 데이터베이스 시스템에 적용할 수 있으며, 요구나 필요에 따라 GUI를 통해 상황에 맞는 Fact와 Rule을 수동으로 추가할 수도 었다. 지식 도매인에서 튜닝 원칙을 추론하기 위해 JAVA 기반의 추론 엔진인 JESS가 사용된다. JESS는 스크립트 언어를 사용하는 전문가 시스템[7]으로 선언적 룰(Declarative Rule)을 이용하여 지식을 표현 하고 추론을 수행하는 추론 엔진의 한 종류이다. JESS의 지식 표현 방식은 튜닝 원칙을 쉽게 표현하고 수용할 수 있는 구조를 가지고 있으며 작은 크기와 빠른 추론 성능을 가지기 때문에 실시간으로 처리 되는 어플리케이션 튜닝에 적합하다. 지식 기반 모률의 가장 큰 역할은 주어진 데이터베이스 시스템의 모델을 통하여 필요한 새로운 지식을 생성하고 저장하는 것이다. 이를 위하여 Fact와 Rule은 지식 표현 의 기본 단위인 트리플(Triple)의 형태로 표현된다, 트리플은 Subject, Property, Object의 3가지 요소로 구성되며, 대부분의 Fact와 Rule들은 트리플의 기본 형태 또는 트리플의 조합으로 이루어진 C Condition과 Action의 두 부분의 결합으로 구성된다. 이와 같이 데이터베이스 시스템 모델의 개체들과 속성, 그리고 연관 관계들을 표현함으로써 지식들이 추론 엔진의 Fact와 Rule로 기능할 수 있다. 본 시스템에서는 이를 구현 및 실험하기 위하여 웹 기반 서버-클라이언트 시스템을 가정하였다. 서버는 Process Controller, Parser, Rule Database, JESS Reasoning Engine으로 구성 되 어 있으며, 클라이 언트는 Rule Manager Interface와 Result Viewer로 구성되어 었다. 실험을 통해 얻어지는 튜닝 원칙 적용 전후의 실행 시간 측정 등 데이터베이스 시스템 성능 척도를 비교함으로써 시스템의 효용을 판단하였으며, 실험 결과 적용 전에 비하여 튜닝 원칙을 적용한 경우 최대 1초 미만의 전처리에 따른 부하 시간 추가와 최소 약 1.5배에서 최대 약 3배까지의 처리 시간 개선을 확인하였다. 본 논문에서 제안하는 시스템은 튜닝 원칙을 자동으로 생성하고 지식 형태로 변형시킴으로써 새로운 튜닝 원칙을 파생하여 제공하고, 성능에 영향을 미치는 요소와 함께 직접 Fact과 Rule을 추가함으로써 커스터마이정된 튜닝을 수행할 수 있게 하는 장점을 가진다. 추후 쿼리 자체의 튜닝 및 인텍스 최적화 등의 프로세스 자동화와 Rule을 효율적으로 정의하고 추가하는 방법 그리고 시스템 모델링을 효과적으로 구성하는 방법에 대한 연구를 통해 본 연구를 더욱 개선시킬 수 있을 것이다.

• Korean Journal of Soil Science and Fertilizer
• /
• v.43 no.2
• /
• pp.119-123
• /
• 2010

This experiment was conducted at Sinheung series (fine loamy, mixed, nonacid, mesic family of Fluvaquentic Endoaquepts) in 2007 to 2008 at the National Institute of Crop Science (NICS), RDA, Suwon, Gyeonggi province, Korea. Three kinds of green manure crops (hairy vetch, barley, rye) incorporated in soil for rice cultivation. 6.3 kg N $10a^{-1}$, and3.2 kg $P_2O_5$ $10a^{-1}$ were applied to rye and barley plot before rice transplanting. Chemical fertilizers had not been applied to hairy vetch plot. Glomalin concentration, soil bulk density, and porosity were measured in soil from different green manure crops incorporation after rice harvesting in paddy. Soil bulk density and porosity after rice harvesting improved at surface soil of hairy vetch incorporation plot. Degree of water stable aggregates increased all green manure incorporation plots. Glomalin concentrations significantly increased at hairy vetch incorporation treatment. In barley plot, the concentration of glomalin increased at 10-20 soil depth. There were no differences relationship between soil carbon, and glomalin concentration, but relationship between soil aggregate stability, and glomalin concentration significantly positive under green manure crop-rice cropping system. Rice yield decreased at hairy vetch incorporation plot because of field lodging. We suggested that hairy vetch incorporation should be considered about application amount, and water management using rice cultivation because of soil properties changes.