• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (하)
• /
• pp.1973-1976
• /
• 2002

본 논문에서는 유 무선 네트워크 환경에서의 자료 일치성 유지를 위한 동기화 프로토콜(SyncML1.1)을 검증한다. 프로토콜 검증에 관한 기존 연구에서는 약한 일관성을 갖는 동기화 프로토콜은 다루어지지 않았으며 정리 증명 혹은 모델 채킹에 대한 선택적 접근으로인해 증명 영역이 제한적이었다. 본 연구에서는 프로토콜의 의미를 정의하고 행위 및 시스템 구조, 메시지 패싱에 대한 개별적 모델을 단계적으로 설계하는 한편, 동기화 프로토콜에서의 안전성 및 상호 배제, 궁극성 속성은 시퀀트 계산법에서의 역방향 전략으로 증명되며, 모델 채킹 기술을 하나의 증명 규칙으로 사용했다. 본 연구는 두가지 부분에서 특징과 의미을 갖는다. 첫째, 정리증명과 모델 채킹이 혼합된 검증 방법을 사용했다. 둘째, 객체 제약 언어 및 정형 명세 언어의 사용을 통해 모델의 생성을 보다 단계적이고 정형적으로 유도했으며 이를 통해 검증의 신뢰성 및 품질을 높였다.

• 자원환경지질
• /
• 제46권2호
• /
• pp.105-121
• /
• 2013

본 연구에서는 원격탐사, 전기비저항탐사, 전기전도도탐사(전자기탐사), 시추공 영상촬영법을 융합하여 효과적인 제방의 안정성 및 누수 평가 방법을 서산 A지구 방조제에 적용하여 제시하였다. Landsat ETM+열적외선 밴드를 사용하여 방조제 부근에서 다른 온도의 해수와 담수가 혼합되는 양상을 통해 누수의 존재, 규모 및 기간을 유추하였다. 전기비저항탐사를 방조제를 따라 실시하여 평균비저항 값 83.197 ${\Omega}$-m이하를 보이는 이상대의 수평적 수직적 분포를 확인하였다. 간조와 만조 시의 전기전도도 값의 분석을 통해 배경치의 영향을 최소화한 수평적 이상대 분포를 확인하였다. 시추공영상촬영을 통해 파쇄대의 수직적 분포양상과 기존 탐사법의 정확도를 확인하였다. 그 결과 전체 제방의 연장 중 41.7%에서 세 수평적 이상대 탐사법의 중첩구간이 확인되었으며, 시추공에서 확인된 수직적 파쇄양상을 고려할 때 누수구간이 제방단면의 중심부를 따라 상당부분 수평적으로 연장이 되어 방대한 양의 누수가 존재할 가능성이 높을 것으로 사료된다. 네 탐사법의 융합적 접근은 각 탐사방법이 가지고 있는 장점을 부각하고 단점을 보완하여 수평적 및 수직적인 누수구간과 기간의 확인 및 판별이 가능하고, 시추공에서 확인된 수직적 파쇄양상의 수평적 연장성을 예측하는데 높은 신뢰도를 보인다 할 수 있다.

• 지능정보연구
• /
• 제9권3호
• /
• pp.99-115
• /
• 2003

본 논문은 지식 기반 객체지 향 공간 데이터베이스시스템 KOBOS를 제안한다. 객체지향 공간 데이터베이스 시스템의 데이터 모델링과 근접 질의답변에 지식기반 접근법을 도입한다. 공간객체와 근접 공간 연산자를 다루기 위해 다음과 같은 세 단계 객체지향 데이터 모델을 제안하고 있다: (1) 공간 형상 모델; (2) 공간 객체 모델: (3) 내부 기술 모델. 근접 공간 연산자의 범위는 공간 타입 추상 계층으로 알 수 있다. 또한 객체지향 공간 질의어인 SOQL을 제안한다. SOQL은 공간 객체의 다양한 출력과 공간 및 비 공간 객체의 검색을 수행할 수 있는 통합 기능을 제공해준다. 효율적인 혼합 질의 처리를 위하여, 하향 공간 질의 처리 방법을 이용하여 처리해 준다.

• 공업화학
• /
• 제34권3호
• /
• pp.213-220
• /
• 2023

혼합기질막(mixed-matrix membrane, MMM)은 고성능 충전제가 고분자 기질에 분산된 구조로, 지난 30년간 이를 이용한 기체분리 연구가 집중적으로 수행되었다. 일반적으로 MMM은 고분자 막보다 우수한 기체 분리 성능을 가지고 있으며, 다결정 막에 비해 좋은 확장성을 보인다. 그러나 이러한 잠재성에도 불구하고, MMM의 상용화는 여러 가지 어려운 문제들로 인해 지연되고 있다. MMM의 주요 문제 중 하나는 충전제와 고분자 사이의 부적절한 계면 상호작용으로 결함(즉, 개면 공극 등)이 형성될 수 있다는 것이다. 따라서 많은 MMM 연구에서 이러한 계면의 문제를 해결하기 위한 전략이 제시되었다. 하지만 계면상의 상호작용으로 MMM이 가진 문제점들을 해결하려는 과학적 접근에 비해 손쉽고 효과적으로 대면적의 MMM을 제조하기 위한 공학적 접근은 상대적으로 간과되어 왔다. 본 총설에서는 MMM의 대면적화를 위한 공학적인 접근 중 하나인 고분자 변형을 통해 가능해진 금속-유기 골격체(metal-organic framework, MOF)의 원위치 형성을 이용한 MMM 제막 방법을 소개하고자 한다. 이 새로운 제막법은 현재 MMM이 직면하고 있는 문제들을 공학적인 접근으로 효과적으로 해결하여 MMM의 상용화를 촉진시킬 수 있다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 심포지엄 논문집 정보 및 제어부문
• /
• pp.457-458
• /
• 2007

우리는 동영상에서 낮은 연산량으로 강인하게 움직이는 물체를 탐지하는 방법을 제안한다. 동영상에서 움직이는 물체를 탐지하기 위한 많은 방법들이 제안되었는데, 각각의 방법은 접근 방법에 따라 탐지 성능과 처리속도에 trade-off가 존재한다. 최근 폭넓게 사용되고 있는 가우시안 혼합모델을 이용한 배경모델생성 법의 경우 탐지성능은 우수하나 연산량이 많고, 차영상(Temporal difference)을 이용한 방법은 연산량은 적으나 노이즈에 민감하게 반응한다. 또한 알고리즘 특성상 탐지된 물체에 Hole과 Ghost가 발생하는 문제가 있다. 우리는 이러한 단점들을 극복하기 위해 이 두 가지 알고리즘을 효율적으로 결합하여 움직이는 물체를 탐지하였다. 실험은 사람, 차, 오토바이와 같이 실외환경에서 흔히 움직이는 물체로 탐지되는 요소들이 다양한 환경에서 실시하였으며, 실험한 결과 배경영역에서 발생하는 노이즈는 효과적으로 제거하면서 움직이는 물체를 탐지하였다.

• 한국지반공학회지:지반
• /
• 제14권1호
• /
• pp.109-126
• /
• 1998

본 논문에서는 플라이애쉬를 폐기물 매립장 차수재의 건설재료로 활용하기 위한 방안으로 실행한 일련의 실내실험연구결과를 보고한다. 폐기물 매립장 차수재의 투수계수 기준을 만족하기 위한 플라이애쉬와 벤토나이트의 적정 혼합비를 구하였다. 혼합차수재의 투수 메카니즘과 CaO가 차수층의 투수계수에 미치는 영향을 다양한 조건에 대한 투수시험과 X선 회절분석, 전자주사현미경분석, 헬릅 간극측정 법, 확대영상분석기법 등의 미세구조적 접근을 통하여 연구하였다. 벤토나이트의 첨가에 따라 플라이애쉬 혼합차수재의 투수계수는 감소하였다. 이는 주로 벤토나이트의 팽창에 의해 간극이 충진되었기 때문이며, 플라이애쉬-벤토나이트 간 포졸란 반응 및 그 에 따른 투수계수 저감효과는 시험에 사용된 국내 플라이애쉬의 CaO성분이 적고 $SiO_2$ 반응성이 낮아 크지 않은 것으로 나타났다. 혼합차수재에서 구성물질간 화학반응의 효과를 높이려 인위적으로 석회를 첨가하고 시행한 실험결과에 의하면 혼합차수재에서 구성성분간 화학반응성 및 그에 따른 투수계수에 미치는 영향은 구성성분의 외형적 총량보다는 구성성분의 형태와 활성도에 따라 크게 좌우되는 것으로 나타났다.

• 한국멀티미디어학회논문지
• /
• 제3권2호
• /
• pp.201-208
• /
• 2000

이 논문에서는 시계열 예측을 위하여 퍼지 엔트로피에 의한 입력공간의 분할과 퍼지 제어규칙을 자동으로 생성하는 방법을 제안하고, Mackey-Glass 데이터 Set을 이용한 시계열 예측 문제에 적용하여 그 성능을 검증한다. 이 방법은 샤논 함수와 퍼지 엔트로피 함수를 이용하여 입력공간을 분할하고, 분할된 부 공간에 대해 이력 데이터와 부합할 수 있는 각각의 규칙에 등급을 정하여 불필요한 제어규칙을 제거하여 최적의 규칙베이스를 구성하도록 한다. 적용되는 퍼지 신경망의 기본적인 구조는 퍼지 제어기의 규칙베이스와 추론의 과정을 신경회로망을 이용하여 구현하며 퍼지 제어규칙의 매개변수들은 최대 급경사 강하법에 의해 적응되어진다. 제안되는 알고리즘을 매개변수의 수를 줄이기 위하여 제어 규칙의 결론부의 출력값은 신경망의 가중치로 구성하여 퍼지 신경망의 복잡도를 줄임으로서 추론형과 기술형 접근법을 혼합한 형태의 학습 알고리즘이다.

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

전 세계에서 홍수로 인한 인명손실과 재산적 피해의 기록을 살펴보면 최근 몇 년 동안 꾸준히 증가하고 있다. 이로 인해서 홍수를 방어하기 위한 노력은 증가하게 되었다. 이로 인해 홍수터에서 인구집중과 개발로 인해 홍수방어를 위해서 막대한 투자가 필요하다. 이와 동시에 지속가능하고 효과적인 수자원 관리는 전체적인 접근방법이 요구되며, 사회와 경제발전과 생태계 보호 및 토지이용과 수자원 이용의 적절한 관리와 연결된 개념이 필요하다. 유역은 육지와 수계 사이의 많은 상호작용이 있는 동적인 시스템이다. 이러한 관점에서 유역을 간단한 고정된 지역적인 문제라고 생각하는 것보다 전체로서의 유역 기능을 개선하는데 노력이 필요하고 시도되어야 할 것이다. 통합홍수관리(IFM : Integrated Flood Management)는 홍수의 긍정적인 측면과 부정적인 측면을 고려한 새로운 접근방법이며, 홍수가 자원적 가치를 지닌 것이라고 생각하는 개념이다. 통합홍수관리의 특징은 홍수조절 대책의 적절한 혼합, 대책의 목적 및 형태(구조적 및 비구조적 대책), 단기간 및 장기간 대책 등의 대책들을 통합하는 것이다. 여기에는 전유역의 수문순환 관리, 통합 토지이용 및 수자원 관리, 최적 혼합대책의 적용 및 통합재해관리 적용 등이 있다. 홍수는 자연적인 수문학적 체계의 중요한 요소이며, 주요 수자원이기도 하다. 그리고 빈번한 홍수로 인해 제방을 넘어 홍수터를 점령한다. 이 결과로 상습 홍수범람지역은 점점 더 인구가 밀집되고 있고 홍수에 더 취약하게 된다. 그러므로 금호강유역에 발생한 홍수의 개요, 원인 및 결과에 대해서 살펴보고, 홍수관리대책과 실효성에 대해서 조사 분석하였다. 그리고 홍수가 발생한 후 홍수관리대책과 관리기술의 변화를 통합홍수관리의 개념에서 분석하였다.Jones matrix, which allows a new interpretation in the conversion efficiency of the thin-film optical waveguides.있다는 장점이 있었다. 따라서 소아에서 복막투석도관 수술 시 복강경적 방법을 이용하는 것이 효율적인 복막 투석을 위해 유용하다고 생각된다.상부 방광천자에 비해 민감도 59.5%(25/42), 특이도 86.6%(13/15)였고 위양성률 13.3%(2/15), 위음성률 40.5%(17/42) 로 정확도가 낮았다. 결론 : 소변을 가리지 못하는 영유아에서 요로 감염을 진단하기 위해서는 도뇨관 채뇨에 비해 초음파 감시하 치골상부 방광천자가 정확하고 안전한 채뇨법으로 권장되어야 한다고 생각한다.應裝置) 및 운용(運用)에 별다른 어려움이 없고, 내열성(耐熱性)이 강(强)하므로 쉬운 조건하(條件下)에서 경제적(經濟的)으로 공업적(工業的) 이용(利用)에 유리(有利)하다고 판단(判斷)되어진다.reatinine은 함량이 적었다. 관능검사결과(官能檢査結果) 자가소화(自家消化)시킨 크릴간장은 효소(酵素)처리한 것이나 재래식 콩간장에 비하여 품질 면에서 손색이 없고 저장성(貯藏性)이 좋은 크릴간장을 제조(製造)할 수 있다는 결론을 얻었다.이 있음을 확인할 수 있었다.에 착안하여 침전시 슬러지층과 상등액의 온도차를 측정하여 대사열량의 발생량을 측정하고 슬러지의 활성을 측정할 수 있는 방법을 개발하였다.enin과 Rhaponticin의 작용(作用)에 의(依)한 것이며, 이는 한의학(韓醫學) 방제(方劑) 원리(原理)인 군신좌사(君臣佐使) 이론(理論)에서 군약(君藥)이 주증(主症)에 주(主)로 작용(作用)하는 약물(藥物)이라는 것을 밝혀주는 것이라고 사료(思料)된다.일전 $

• 한국가금학회지
• /
• 제39권1호
• /
• pp.1-8
• /
• 2012

본 연구는 오메가-3 다가불포화지방산의 함량을 높인 육계의 생산을 위하여 n-3 지방산과 올리브유를 혼합한 사료[CON(5% 일반지방), FXO(2.5% 아마씨유+ 2.5% 올리브유), FEO(2.45% 아마씨유+ 0.05% EPA + 2.5% 올리브유), FDO(2.45% 아마씨유+ 0.05% DHA + 2.5% 올리브유) 그리고 FHO(2.5% 어유+ 2.5% 올리브유)]를 육계에게 4주 간 급이하였다. 4주간의 사양 후 도계를 통하여 닭의 간, 가슴살 그리고 다리살을 채취하였다. 채취한 간은 간 무게/생체중의 비율, 육색 그리고 지방산의 조성 분석을 위하여 사용되었으며, 닭 가슴살과 다리살은 지방산 함량 분석을 위하여 사용되었다. FHO 사료를 급이한 육계의 간은 EPA가 유의적으로 낮았으나 DPA와 DHA는 높았다(p<0.05). 가슴 근육은 n-6 지방산인 AA와 DPA 그리고 n-3 지방산에서 FDO 처리구가 이외의 처리구 대비 유의적으로 높았으며(p>0.05), 더욱이 유의적인 차이는 나타나지 않았으나 수치적으로 EPA와 DHA 함량 역시 높았다. LNA 함량은 FEO와 FDO 사료를 급이한 닭의 다리 근육에서 유의적으로 높았으며, AA 함량 또한 FHO와 유사하였다. FHO 사료를 급이한 닭의 다리 근육은 EPA, DHA 그리고 n-3 지방산에서 유의적으로 높은 함량을 나타낸 반면에 AA의 함량과 n-6/n-3 지방산의 비율은 유의적으로 낮았다(p<0.05). 따라서 본 실험은, n-3의 다가불포화지방산의 함량을 증가시킴과 동시에 n-6/n-3 비율의 향상을 위해서는 근섬유 조성에 따라 그 접근법이 달라야 된다는 사실이 조사되었으며, 가슴과 다리 근육 내 n-3 지방산의 함량을 증가시키기 위해서는 각각 FDO와 FHO 사료의 급이가 적합할 것으로 판단된다.

• 한국컴퓨터정보학회논문지
• /
• 제17권2호
• /
• pp.215-224
• /
• 2012

본 연구에서는 국내 이학 및 공학 분야의 학술기관에 정보서비스를 제공하는 K연구소를 대상으로 고객의 니즈파악을 위한 탐색적 연구를 시도하였다. K연구소는 제공되는 학술정보 서비스에 대한 고객 만족도를 높이기 위한 일환으로 맞춤형 서비스를 구상하고 있으며, 이에 따라 고객 니즈 분석 및 고객세분화 연구를 시작하였다. 이는 최근 공공기관에서의 CRM도입이 활성화 되는 시점이라서 매우 시의적절한 것으로 평가된다. 파일럿 분석을 위해 사용된 기법은 데이터마이닝과 데이터웨어하우징 기법이다. 고객 세분화에 사용된 기법은 조직 관점의 고객가치와 고객 관점의 조직에 대한 가치를 동시에 고려한 '균형적 고객 세분화' 모형에 고객 수명주기 개념을 추가한 혼합적인 세분화 모형을 적용하였다. 분석 결과 K연구소에서는 산업에서 일반적으로 사용되는 고객세분화 기법보다는 '균형적 고객세분화' 모형과 데이터웨어하우스/OLAP을 이용한 '컨텐츠 도달관점'의 적용이 유력한 접근법으로 파악되었다. 본 탐색적 사례연구는 최근 CRM 영역에서 이슈가 되고 있는 '조직 고유의 CRM 모형 도출'에 하나의 유용한 지침을 제공해 줄 것으로 평가된다.