• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (D)
• /
• pp.214-219
• /
• 2007

생성 규칙(Production Rule)과 이를 기반으로 하는 규칙 엔진(Rule Engine)을 기반으로 한 OWL 추론 엔진은 메타 규칙((Meta Rule)에 의존해 왔다. 메타 규칙은 OWL의 의미론 (Semantics)을 표현하기 용이하여 보다 손쉽게 OWL 추론 엔진을 구현할 수 있다는 장점을 제공하였으나 OWL 추론 성능에 있어 추론 속도와 대용량 온톨로지 처리 측면에서 모두 만족할 만한 성과를 얻지 못하였다. 본 논문은 DLP(Description Logic Programming)의 번역 접근법을 기반으로 한 번역 규칙(Translation Rules)을 메타 규칙과 혼용하는 OWL 추론 기법을 소개한다. LUBM 벤치마크를 통해 이 기법이 메타 규칙만을 이용했을 때 보다 100% 이상 추론 성능을 향상시켰을 뿐 아니라 메모리 사용량도 대폭 축소시켰음을 확인할 수 있었다. 또한, 번역을 통해 제한없는 차수 제약(Cardinality Restriction) 관련 추론을 지원하는 등 보다 넓은 범위의 OWL 추론을 지원할 수 있다.

• 정보보호학회논문지
• /
• 제13권1호
• /
• pp.139-146
• /
• 2003

본 논문은 과포화 다변수 방정식을 이용하여 LILI-128 스트림 암호를 분석한다. LILI-128 암호$^{[8]}$ 는 128비트 키를 가진 선형귀환 쉬프트 레지스터 기반의 스트림 암호로 구조를 살펴보면 크게 “CLOCK CONTROL” 부분과 “DATA GENERATION” 부분으로 나뉘어진다. 분석 방법은 “DATA CENERATION” 부분에 사용되는 함수 \ulcorne $r^{d}$ 의 대수적 차수가 높지 못하다는 성질을 이용한다. 간략히 설명하면 차수(K)가 6차인 다변수 방정식을 많이 얻을 수 있고, 이를 7차 (D)의 다변수 방정식으로 확장하여 주어진 변수보다 많은 연립방정식을 얻어 그 해를 구하는 XL 알고리즘을 통해 전수조사보다 빠르게 키정보를 찾을 수 있다. 결과 중 가장 좋은 것은 출력 키수열 2$^{26.3}$비트를 가지고 2$^{110.7}$ CPU 시간을 통해 128비트 키정보를 얻는 것이다.다.

• 환경생물
• /
• 제27권4호
• /
• pp.397-405
• /
• 2009

2007년 10월부터 2008년 10월까지 하천차수에 따른 금강수계에서 피라미, Zacco platypus를 대상으로 서식지 평가를 실시하였다. 하천차수에 따라 28개 지점을 설정하여 모니터링을 실시하여 총 2,362마리를 채집하였다. 3차하천 이상에서 수심 및 유속은 0.8m와 $0.8\;m\;s^{-1}$에서 대부분 서식하는 것으로 나타났다. 전장 8~10 cm, 유속 $0.3\;m\;s^{-1}$, 수심 0.4 m, 모래 (0.1~1.0 mm)~굵은자갈 (50.0~100.0 mm), 유수역에서 가장 많이 서식하였다. 전장 6.9 cm 이상에서 암수구별이 가능하였으며, 이에 따라 수컷과 암컷에서 전장 (total length, TL)과 체중(body weight, BW)의 상대성장식은 각각 $BW=0.0068{\times}TL^{3.0274}$ ($r^2=0.9102$) 및 $BW=0.0075{\times}TL^{2.9995}$ ($r^2=0.8517$) (n=1059)로 나타났다. 부화일수(days after parturition, DAP) TL=0.0108DAP+1.5795 ($r^2=0.9721$)로 나타났다. 식에 의해 6.9 cm일때 무게는 2.7 g (수컷)과 2.4 g (암컷)로 나타나 부화일수로부터 약 490일 성장한 것으로 추정되었다.

• 생태와환경
• /
• 제40권2호
• /
• pp.327-336
• /
• 2007

본 연구는 1999년 6월과 8월에 남한강 상류수계의 15개 조사지점으로부터 어류의 다변수 모델을 이용하여 생태건강성을 평가하였고, 전통적인 군집분석에 의한 지수와 서로 비교 평가하였다. 본 연구를 위해 우리나라의 생태적 특성에 맞게 보완된 10-메트릭 건강성 평가 모델을 적용하였다. 어류조사에 따르면, 총 6과 24종이 출현하였고, 생태적인 교란정도와 하천차수에 따라 일부 변이를 보였다. 생태길드분석에 따르면, 민감종과 충식종은 각각 91%, 56%로서 생태적으로 수환경이 건강한 상태로 나타났다. 그러나 S1과 S2의 2차 하천에서는 내성종이 66%, 잡식종이 76%가 채집되어 물리적 서식지의 질적 저하가 영향을 나타낸 것으로 판단되었다. 본 수계에서 생태건강도의 평균 모델값은 38로서 양호상태를 보였고, 개별적 IBI 값의 패턴은 다른 산간계류형 하천들과 유사하여 비교적 이화학적 오염에 의한 영향이 적은 것으로 사료되었다. 하천차수에 따른 IBI 값과 종다양성 지수와의 비교에 따르면, 두 변수 값은 분명한 차이가 있음을 보여주었다 Shannon-Weaver의 종다양성 지수는 실제 군집상태를 잘 반영하지 못했으며, 특히 2차 하천에서의 종다양성 지수 변이의 폭은 IBI 값으로 산정한 생태 건강도에 비해 훨씬 크게 나타났다. 본 연구결과는 다변수 메트릭에 의한 연구 접근방식은 수생태계 관리에 유용한 도구로 사용될 수 있으나, 기존의 종 다양도 지수와 같은 군집 분석법은 하천차수를 고려하지 않을 경우 비효율적인 것으로 사료되었다.

• 생태와환경
• /
• 제41권3호
• /
• pp.301-310
• /
• 2008

본 연구는 2003$\sim$2006년까지 영산강 수계 22개 지점을 대상으로 어종들의 생태특성 및 지리적 분포양상을 분석하고 하구둑 축조 전.후 어류상의 변화를 비교 평가하였다. 본 연구에서 채집된 어류는 총 14과 44종으로 나타났고, 주요 우점종은 피라미, 큰납지리, 갈겨니, 붕어 등으로 나타났다. 생태지표특성 분석에 따르면, 내성종 및 잡식종의 상대풍부도는 각각 41%, 68%로 높게 나타나 화학적 수질악화 및 물리적 서식지 교란요인이 존재하는 것으로 사료되었다. 또한, 오염원의 영향을 받지 않은 지점(NPS)과 영향을 받은 지점(PS)의 비교 분석에 따르면, 종과 개체수가 최대 70%까지 차이를 보여 생태계 교란이 뚜렷하게 발생하였음을 시사하였다. 하천차수에 따른 어종 및 생태지표특성 분석에 따르면, 대조군지점(RS)은 하천차수가 높아질수록 총 종수 및 총 개체수가 증가하였고, 조사지점(SS)에서는 감소하는 경향을 보였다. 또한, 하천차수가 높아질수록 민감종과 충식성 어종의 상대풍부도는 감소하는 경향을 보였고 내성종과 잡식성 어종의 상대풍부도는 증가하는 것으로 나타났다. 외래어종이면서 육식종인 배스는 어종구성 및 영양단계구조에 변화를 가져와 궁극적으로 수생태계의 건강성을 악화시키는 요인으로 작용하게 되었다. 영산강 하구둑 건설은 정체수역을 증가시키고, 해수에서 담수화됨에 따라 정체수역을 선호하는 어종인 붕어, 잉어, 치리 등의 출현빈도가 높게 나타나게 되었으며, 기수역에 서식하는 어종과 회유성 어종의 출현빈도가 상대적으로 감소하게 되었다. 영산강 수계의 어류상은 외래어종의 도입, 물리적 서식환경의 교란과 오염원의 유입 등에 의하여 어종구성 및 영양단계구조가 변하였고, 궁극적으로 수생태 건강성에 영향을 미친 것으로 사료되었다. 이러한 변화를 예측 관리하기 위하여 장기적이고 지속적인 어류 모니터링이 필수적으로 요구되며, 외래어종에 의한 교란 억제와 물리적 서식지의 복원이 함께 진행되어야 할 것으로 사료되었다.

• 대한토목학회논문집
• /
• 제2권1호
• /
• pp.1-17
• /
• 1982

하천형태학적(河川形態學的) 특성(特性)은 유역(流域)의 수문학적(水文學的) 특성(特性) 및 수리학적(水理學的) 특성(特性)과 밀접(密接)한 관계(關係)를 가진다. 본(本) 연구(硏究)에서는 하천형태학적(河川形態學的) 특성(特性)과 빈도유량(頻度流量) 및 수리기하(水理幾何)의 관계(關係) 그리고 빈도유량(頻度流量)과 수리기하학적(水理幾何學的) 특성간(特性間)의 상관성(相關性)을 금강수계(錦江水系)를 대상(對象)으로 분석(分析)하였으며, 이들 연구(硏究)의 목적(目的)은 미계획지점(未計劃地點)에 대한 이수계획(利水計劃)을 수립(樹立)하는데 필요한 자료(資料)를 제공(提供)하는데 있다. 금강수계(錦江水系)의 하천형태학적(河川形態學的) 특성분석(特性分析)은 Horton의 하천차수개념(河川次數槪念)을 이용(利用)하여 하천지형(河川地形)의 3대법칙(大法則)에 의거 분석(分析)하였으며 분석결과(分析結果)는 Horton의 법칙(法則)과 잘 일치(一致)하였다. 금강수계내(錦江水系內)의 5개(個) 수위표지점(水位標地點)에서 생기빈도(生起頻度) 0.1~0.9의 유량자료(流量資料)를 사용(使用)하여 얻은 각(各) 지점(地點)의 유량빈도곡선(流量頻度曲線)은 대체(大體)로 지수관계(指數關係)로 표시(表示)할 수 있었다. 하천형태학적(河川形態學的) 특성(特性)을 연속적(連續的)으로 표시(表示)하기 위하여 비례하천차수(比例河川次數)를 도입(導入)하였으며 이를 이용(利用)하여 유량(流量)-생기빈도(生起頻度)-비례하천차수간(比例河川次數間)의 관계(關係)에 대한 수학적(數學的) 모형(模型)을 정립(定立)하였다. 유역(流域)의 하천형태학적(河川形態學的) 특성(特性)을 매개변수(媒介變數)로 하여 빈도유량(頻度流量)과 수리기하학적(水理幾何學的) 인자간(因子間)의 관계(關係), 유역면적(流域面積)과 수리기하학적(水理幾何學的) 인자간(因子間)의 관계(關係)를 분석(分析)하여 각각(各各)에 대한 수학적(數學的) 모형(模型)을 제안(提案)하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (2)
• /
• pp.601-603
• /
• 1999

대부분의 다면체 모델 데이터의 표면과 지리 정보 시스템을 위한 지형 데이터는 삼각 분할을 통하여 만들어진 불규칙 삼각형 네트웍(Triangulated Irregular Network:TIN) 구조를 가지고 있다. 대용량 TIN 데이터를 그래픽스 시스템에서 빠르게 시각화 하는데는 많은 어려움이 있으므로, 일반적으로 TIN 데이터의 특징을 이용하여 압축된 데이터를 이용한다. 그러나 압축한 TIN 데이터는 부분적인 수정과 같은 연산을 수행하기 위하여 전체 데이터를 디코딩하고 다시 인코딩하는 과정을 반복하여 수행하므로 이같은 연산이 자주 발생하는 응용분야에는 부적합하다. 본 논문은 이러한 문제의 해결방안으로 삼각형 메쉬를 삼각형 스트립으로 재구성 한 후에 이 삼각형 스트립을 정점 체인과 각 정점의 차수 정보를 이용하는 저장하는 압축 알고리즘과 함께 이 알고리즘이 부분적인 불규칙 삼각망 수정에 유용하게 적용될 수 있음을 제시한다. 제안된 알고리즘은 각각의 정점 체인이 독립적으로 인코딩 가능하므로 불규칙 삼각망 정보를 수정할 경우 최소한의 인코딩과 디코딩으로 불규칙 삼각망을 수정할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(D)
• /
• pp.19-20
• /
• 2012

소셜 네트웍을 통한 다양한 서비스들은 새로운 비즈니스 모델의 형성이라는 긍정적인 측면이 있는 반면에, 개인정보 누출이나 스팸과 같이 부정적인 측면도 등장하고 있다. 현재 스팸을 차단하기 위해 스팸방지 가이드라인, 스팸 단어 검색에 의한 스팸 메시지 차단 등 많은 방법 및 연구들이 논의되어 왔다. 하지만, 기존의 차수를 활용한 방법은 스팸이 아닌 정점 또한 스팸으로 간주하는 문제점을 가지고 있어 부정확하다는 단점이 있다. 본 연구에서는 이를 해결하고자 다른 구조적 특성인 순환을 분석하여 스팸들을 차단하는 방법을 제안하고 그 효과를 입증하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (D)
• /
• pp.367-372
• /
• 2008

최근 사용자들의 특성에 맞게 개인화되고 세분화된 위치 기반 서비스를 개발하기 위한 목적으로 이동 객체의 다양한 패턴들 중 의미있는 지식인 유용한 이동 패턴을 탐사하는 문제가 주요 이슈로 부각되고 있다. 이에 본 논문에서는 방대한 이동 객체의 이력 데이터 집합으로부터 특정 지점들 간의 최적 이동 경로나 정해진 시간내의 스케줄링 경로 탐색과 같이 복합적인 시간 및 공간 제약을 갖는 최적 이동 패턴을 탐사하는 문제에 대해 정의하고, 다양한 이동 패턴들 중 가장 빈발하게 발생하는 패턴이 최적의 비용을 소요할 것이라는 가정을 기반으로 최대 빈발 2-시퀀스를 추출하는 방법을 제안한다. 후보 시퀀스 집합으로부터 지지도 계산을 통해 추출되는 빈발 2-시퀀스들의 순차적인 조합은 패턴 탐사를 수행하는 각 패스 진행 시 후보 시퀀스 항목의 차수가 점차 감소하여 최적 이동 패턴 탐사 방법에 효과적으로 적용된다.

• 한국환경과학회:학술대회논문집
• /
• 한국환경과학회 2005년도 봄 학술발표회지 제14권(제1호)
• /
• pp.131-135
• /
• 2005

댐 붕괴형상에 따른 시나리오를 설정하여 DAMBRK모형에 의해 댐 붕괴모의를 실시한 결과 다음과 같은 결과를 얻을 수 있었다. DAMBRK 모형에 의해 댐 붕괴모의를 실시한 결과 붕괴부의 평균 폭이 3 H $_d$ 이고 붕괴부 형성시간이 1시간인 경우(콘크리트 댐과 표면차수벽형 댐의 경우 0.1시간) 최대 첨두홍수량이 발생하는 것으로 나타났다. 밀양댐의 경우 안동댐의 경우에 버금가는 첨두유량을 나타내는 것으로 분석되었으며, 이는 붕괴 양상의 가정에서 평균 폭이 3 H $_d$ 인 경우를 선정한 결과로, 밀양댐의 경우 댐 높이가 89m 로 안동댐의 83m 보다 더 크기 때문에 붕괴부의 규모가 7개 댐 가운데 가장 커지게 되었기 때문이다. 그러나 밀양댐의 경우 저류용량이 작기 때문에 붕괴홍수의 지속시간은 가장 짧은 것으로 분석되었다. 본 연구에서 댐붕괴 수치모의를 한 결과 붕괴시 침두유량에 대하여 하류지역의 대처방안수립과 침수에 따른 피해방지대책 및 대피경로등을 수립할 수 있을 것으로 판단된다.