• 정보처리학회논문지C
• /
• 제11C권4호
• /
• pp.471-484
• /
• 2004

현재 차세대 인터넷 IPv6 네트워크의 보안을 위한 IPsec(IP Security)의 구현에 대한 연구가 매우 활성화 되고 있는 추세이다. 그러나 현재 IPv6 네트워크 계층의 보안성을 평가하기 위한 자동화된 도구나 평가 방법론 등에 관한 연구는 매우 미진한 상황이다 본 논문에서는 IPv6 기반 IPsec이 적용된 보안 시스템의 보안성을 평가하기 위해, 보안성 평가 항목을 정의할 수 있는 평가규칙표기언어를 설계하고 평가규칙표기언어를 이용하여 정의된 평가규칙을 해석하고 실행하기 위한 평가규칙 처리 도구를 제안한다. 평가규칙 처리도구는 사용자 인터페이스 부, 평가규칙 모듈 부, DBMS부로 구성되며 평가 대상 시스템에 탑재된 에이전트와의 협력을 통해 평가를 수행하는 구조를 갖는다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (2)
• /
• pp.57-59
• /
• 1998

소프트웨어의 고품질화를 추구하는 것은 필수적인 일이다. 좋은 품질의 소프트웨어를 획득 또는 개발하기 위해서는 S/W 품질평가에 대한 효율적인 방법이 요구되고 있다. S/W 품질평가는 객관적이고 정량적으로 평가되어야 하므로 본 논문에서는 S/W 품질평가에 대한 표준 및 기준, 방침과 전문가의 지식을 반영한 규칙기반 시스템을 이용하여 평가함으로써 정확하고 신뢰성을 보장하도록 설계하였다. 특히 쉽게 지식을 변경 또는 추가할 수 있도록 규칙기반 시스템으로 설계하였으며, 이러한 규칙기반 시스템을 이용하여 질의 응답을 통해 쉽고 효율적으로 S/W 품질을 평가할 수 있는 기반/기초기술을 제공하였다.

• 한국산업정보학회논문지
• /
• 제6권1호
• /
• pp.61-69
• /
• 2001

본 연구는 관능검사에서 얻은 결과로 평가규칙을 설계하고 이를 이용하여 추후의 관능평가에 응용할 수 있는 방법을 제안함에 있어서, 퍼지추론의 규칙을 효율적으로 설계하는 것에 관련된 것이다. 퍼지추론 규칙의 수는 규칙의 전건부의 구조와 파라미터를 설계함에 있어서 퍼지분할의 수에 따라 결정되는데, 분할의 수가 많다고 해서 최적은 아니므로 효율적으로 규칙의 수를 축소하는 것이 규칙을 응용할 때의 효율성을 제고하는 동시에 실무에 응용할 때 추론엔진의 속도를 높일 수 있다. 이를 위해 본 연구에서는 선행연구에서 제시된 사례를 이용하여 추론규칙의 수를 축소하여도 대등한 결과를 얻을 수 있음을 수치예를 통하여 증명하였다. 본 연구의 결과는 향후 관능검사를 이용하는 다른 분야에도 유효하게 응용될 수 있을 것이다.

• Journal of the Korean Data and Information Science Society
• /
• 제23권4호
• /
• pp.717-725
• /
• 2012

데이터 마이닝은 데이터베이스로부터 쉽게 드러나지 않는 의미 있는 정보를 생성하는 기법이다. 이 중에서 연관성 규칙은 일반적으로 발생 여부를 나타내는 자료를 이용하여 지지도, 신뢰도, 향상도 등을 수치화함으로써 항목들 간의 관련성을 나타낸다. 기존의 연관성 규칙은 발생 빈도의 크기를 고려하지 않음으로써 정보 손실에 의한 오류를 범할 수 있다. 이를 위해 본 논문에서는 발생 가능한 규칙의 수를 고려한 연관성 평가 기준들을 제안하고 예제를 통하여 기존 연구와 비교한 후, 본 논문에서 제안한 연관성 평가 기준의 유용성을 살펴보았다. 실제 데이터를 통하여 분석한 결과, 기존의 연관성 규칙 평가 기준은 관심항목 수와 트랜잭션의 수를 2배로 하여도 지지도와 신뢰도, 향상도의 값이 동일한 반면에 본 논문에서 제안한 평가 기준은 발생 가능한 규칙의 수를 고려하기 때문에 각각의 평가 기준의 값들이 트랜잭션의 수에 따라 다르다는 것을 알 수 있었다. 또한 본 논문에서 제안하는 평가 기준이 기존의 연관성 규칙 평가 기준에 비해 좀 더 정확한 정보를 제공하는 것을 알 수 있다. 특히 본 논문에서 제안한 신뢰도의 범위가 기존 연관성 평가 기준에 비해 크므로 좀 더 비교 가능한 정보를 제공하는 동시에 향상도의 비교를 용이하게 한다고 할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (B)
• /
• pp.250-252
• /
• 2001

연관규칙 탐사기법은 트랜잭션을 대상으로 항목간, 또는 속성간의 연관관계를 발견하는 방법으로, 데이터 집합의 구조를 쉽게 통찰할수 있다는 장점으로 인하여 활발히 연구되어져 왔다. 그러나 현재까지의 연구들은 전체 사용자중 공통적인 특성을 지닌 사용자 그룹이 존재할 경우, 그러한 그룹별 연관규칙을 찾아낼 수 없다는 한계점을 지닌다. 본 논문에서는 이러한 점을 해결하기 위하여, 속성선택 및 사용자 구분 기법을 이용하여 사용자를 부분집합으로 구분하고, 그 부분집합별로 연관규칙을 발견한다. 또한 위와 같이 얻어진 연관규칙이 전체 사용자를 대상으로 한 연관규칙보다 해당 부분집합에 더욱 적합하다는 사실을 여러 연관규칙 평가치를 이용하여 평가한다.

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

능동적 시간지원 데이터베이스 시스템은 시간지원 데이터베이스 시스템에 능동규칙 시스템을 통합하여 구성한 진보된 데이터베이스 시스템이다. 이 시스템은 추세 분석, 상태 관찰을 통한 경보,고장에 대한 예측, 금융 시스템 및 공정 제어 등과같은 고도의 응용에 효과적으로 대응할수 있다. 그러나 능동적 시간지원 데이터베이스 시스템은 시간 차원을 갖는 다차원 데이터공간에 대해 처리해야 하므로 그 처리비용이 매우 높으며, 규칙 처리에 의한 시스템 부하가 매우 증가할 수 있다. 따라서 효과적 규칙 처리방법에 대한 연구가 수행되어야 한다. 한편 규칙의 성능에 대한 문제는 일반적으로 조건 평가 방법의 효율성에 달려있다. 특히 데이터의 시간차원을 고려한 시간지원 능동규칙의 경우 시간 영역에 따라 규칙에 의해 처리되어야 할 데이터 량의 증가하고 이에 다라 성능의 차이가 많이 나므로 더욱 문제가 된다. 따라서 이 논문에서는 능동적 시간지원 데이터베이스 시스템을 위한 시간지원 능동규칙의 성능향상을 위해 조건 평가를 검토하고 시간지원 차분에 의한 시간지원 점진적 평가연산을 제시하였다. 아울러 이 시간지원 점진적 연산자를 적용한 조건 평가 예를 보이고 이 연산자의 효율성을 증명하였다.

• 논리연구
• /
• 제9권1호
• /
• pp.97-136
• /
• 2006

비트겐슈타인의 규칙따르기 개념에 대한 올바른 이해는 그의 후기 철학의 궤적을 살피는데 있어서 중요하다. 비트겐슈타인의 규칙따르기 문제에 대해 회의적 해석으로 유명한 크립키는 "탐구"의 201절을 문제 삼으며 '역설'의 문제를 새로운 형식의 철학적 회의주의로 간주했다. 본 논문은 규칙의 역설에 대한 크립키의 논증이 비트겐슈타인의 관점과 무엇 때문에 충돌하는지를 밝히면서 그와 함께 비트겐슈타인이 '규칙의 역설'을 제시한 궁극적 이유를 규명하는데 있다. 규칙의 역설에 대한 크립키 논증의 의의와 한계를 비판적으로 다룸으로서 필자는 다음과 같은 점을 주장할 것이다. 비트겐슈타인에게 있어서 규칙은 우리들의 행동을 이끄는 지침의 역할을 하며, 규칙의 문제를 추론과 연관시켜 수학이 엄격한 규칙을 따르는 인간의 지적 활동이며, 규칙에 대한 비트겐슈타인의 관점은 귀납적 회의주의와 무관하다. 이런 맥락에서 비트겐슈타인을 회의주의자 혹은 상대주의자로 평가하는 것은 문제가 있다. 그런 점에서 비트겐슈타인은 오히려 어떤 이론이나 선입견에 사로잡히지 않은 봄의 방식을 강조한 철학자로 평가하는 것이 옳다.

• 한국정보처리학회논문지
• /
• 제4권12호
• /
• pp.3069-3077
• /
• 1997

이 논문에서는 비공유 병렬구조에서 이행적 종속성을 갖는 선형적 재귀규칙의 병렬평가에 대한 패러다임을 제안한다. 병렬평가를 위해 우리는 모든 노드가 메시지 교환을 위해 연결망만을 공유하는 비공유 병렬구조를 고려한다. 여기서 정규화된 규칙의 평가는 그 규칙의 중명-이론적 의미의 계산이다. 이행적 종속성올 갖는 정규 화된 선형적 재귀규칙을 정의하고, 그 규칙이 등가의 표현식으로 변환될 수 있음을 보이고, 등가의 표현식을 근거로 결합, 분할, 이행성폐포 연산을 이용하여 정규화된 규칙에 대한 병렬평가를 위한 패러다임을 제안하고 시간 복잡도를 분석하였다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2000년도 추계학술대회 논문집
• /
• pp.56-60
• /
• 2000

최근 반도체 산업은 주문형 제품의 생산이 증가하고 이에 대한 납기달성도에 대한 관리가 점차 중요해지고 있다. 본 논문은 납기달성도의 제고를 위한 생산 스케줄링 규칙을 제시하고 이에 대한 성능평가를 위해 반도체 Fabrication 라인을 모델로 한 시뮬레이션 모형을 개발하였다. 제시된 규칙이 라인의 밸런스는 물론 납기만족과 사이클 타임을 줄이는 데 좋은 성능을 나타내는 것을 보였다. 또한 제시된 규칙이 주문변화와 웨이퍼 투입규칙에 민감하지 않은 강건한 규칙임을 보이고 있다.

• Journal of the Korean Data and Information Science Society
• /
• 제25권6호
• /
• pp.1345-1352
• /
• 2014

데이터마이닝 기법 중에서 연관성 규칙은 연관성 평가 기준을 기반으로 하여 데이터베이스에 포함되어 있는 항목들 간의 관련성을 탐색하는 기법이다. 일반적인 연관성 규칙 기법과는 달리 역의 연관성 규칙은 하나의 항목집합이 발생하지 않으면 다른 항목집합도 발생하지 않는다는 규칙을 찾아내는 것이다. 이러한 역의 연관성 규칙을 일반적인 연관성 규칙과 함께 생성하면 기업체에서 특정 제품을 판매하기 위해서는 그 제품만의 마케팅뿐만 아니라 더 나아가 어떤 제품의 마케팅이 필요한 지에 대한 정보를 파악할 수 있다. 이를 위해 본 논문에서는 이러한 두 종류의 연관성 규칙에 적용 가능한 균형화된 기여 상대적 규칙 정확도를 연관성 평가 기준으로 제안하고자 한다. 또한 Piatetsky-Shapiro (1991)가 제안한 흥미도 측도가 가져야 할 조건들을 점검한 후, 예제를 통하여 제안된 측도와 연관성 규칙에 적용 가능한 의학진단분야의 평가 측도들의 유용성을 비교하였다. 그 결과, 기여 상대적 정확도와 역의 기여 상대적 정확도의 크기가 다르게 나타나면 연관성의 정도를 명확하게 설명하기가 어려우므로 이들 두 측도를 동시에 고려한 균형화된 기여 상대적 규칙 정확도를 이용하는 것이 가장 바람직하다는 사실을 확인하였다.