• 정보처리학회논문지D
• /
• 제17D권6호
• /
• pp.415-422
• /
• 2010

본 논문은 단위 컴포넌트가 제공하는 서비스를 중심으로 컴포넌트 행위모델을 합성하고 상위수준의 추상적 행위모델을 추출하는 서비스기반 합성과 검증기법을 제안한다. 이를 위하여, 상향식 행위양식 추상화의 기초가 되는 추상 컴포넌트를 정의하고, 포트기반 동기화 알고리즘과 서비스기반 투영을 통한 추상화기법을 제안하였다. 또한, 제안된 기법을 적용한 모델검증 프레임워크를 개발하고, 사례연구를 통하여 제안된 방식이 검증비용을 절감함을 입증하였다.

• 한국정보통신학회논문지
• /
• 제16권3호
• /
• pp.571-578
• /
• 2012

본 논문에서는 크게 두 가지 사항에 대해서 제안하고자 한다. 첫 번째는 논리합성을 위한 제약조건 방법에 대한 것이고, 두 번째는 효율적인 논리합성방법에 대한 것이다. 논리 합성은 주어진 제약조건(constraint)을 최대한 만족 시키면서 논리 사상과 최적화 등을 통하여 RTL(register transfer level) 코드로부터 게이트-수준의 네트리스트를 얻는 과정이다. 논리합성의 결과는 주어진 제약조건과 합성 방법에 매우 종속적이다. 이들에 의해서 설계의 면적 및 타이밍이 크게 변화하므로 우리는 제약조건과 합성방법을 철저하게 고려하여야 한다. 본 논문에서는 논리합성을 하는 과정에서 실제로 고려해야하는 사항들에 대해서 경험적이고 실험적인 결과를 바탕으로 혼합방식의 논리합성 기법을 제안한다. 제안된 기법을 이용하여 약 65만 게이트의 하드웨어 자원량을 사용하는 회로에 적용시켜본 결과로 상향식 방법에 비해서 합성 시간이 약 47% 감소하였고, 하향식 방법에 비해서 타이밍 특성이 우수하였다.

• Korean Chemical Engineering Research
• /
• 제62권3호
• /
• pp.201-213
• /
• 2024

세포는 40억년전에 처음 탄생하였으며, 오랜 기간동안 진화하며 발전해온 우수한 시스템이다. 상향식 합성생물학(bottom-up synthetic biology)은 40억년전으로 돌아가 세포를 기초부터 다시 설계하는 접근법으로 "인공세포(artificial cell)"를 개발하는 연구분야이다. 이렇게 개발된 인공세포는 비록 완벽한 세포는 아니지만 세포의 중요한 특징들을 보유한 인공적인 세포 유사(cell mimicry) 시스템이다. 인공세포를 설계함으로써 이 분야의 연구자들은 기존의 세포생물학과는 다른 접근법으로 세포의 체계와 근원을 탐구하고, 나아가서 살아있는 세포의 이용을 대체하고자 하는 목표를 가진다. 본 총설에서는 최근 활발히 연구되고 있는 캡슐 및 생물촉매 기반의 인공세포에 대한 개념 및 이 분야의 최신 연구들을 소개하고자 한다.

• 전자공학회논문지SC
• /
• 제44권1호
• /
• pp.50-58
• /
• 2007

본 논문에서는 로봇이 태스크와 관련된 부분에 시각 집중을 하도록 하기 위해서 기존의 상향식 주목 알고리즘을 확장한 질의 기반 시각 집중 알고리즘을 제안한다. 질의 기반 시각 집중 알고리즘은 로봇이 수행 할 태스크와 관련한 물체를 질의하면 그 물체의 속성을 분석하여 여러 종류의 도드라짐(Conspicuity) 영상 지도에 적용될 가중치 값을 작성한다. 그리고 가중치를 이용하여 도드라짐 영상 지도를을 합성한 Saliency 영상 지도를 작성하여 기존의 주목 알고리즘과 비교 평가를 수행하였다. 여기서는 일예로서 질의 물체의 속성을 색으로 사용하였다.

• 한국도로학회논문집
• /
• 제13권2호
• /
• pp.125-131
• /
• 2011

본 연구는 도로 운영시 강우로 인하여 발생하는 배수 취약구간에 대하여 현장 조사를 통하여 도로 배수 취약구간의 발생 원인을 과학적이고 구체적으로 규명하는데 목적이 있다. 도로 배수 취약구간의 발생 원인을 규명하기 위하여 배수취약구간에 대한 기존 연구결과 및 현황 자료를 검토하였으며, 도로 노면 배수시설과 도로 인접지 배수시설에 대한 취약구간을 조사 및 분석한 결과, 시공 및 기타의 원인으로 발생한 배수 취약구간이 45.7%, 도로의 기하구조가 원인이 된 배수 취약구간은 32.3%, 도로의 수리 수문의 원인은 22.0%로 분석되었으며, 분석된 원인 별 개선 방안으로서 i)시공 및 기타 부분에서는 토사측구의 재료 변경, 단면의 크기 상향 및 수리학적 근거를 바탕으로 한 용량의 산정을, ii)도로의 기하구조 측면에서는 편경사 및 종단선형을 고려한 합성경사의 도출 및 범위 산정과 종단 오목부 구간의 배수구조물 적정 간격의 제시를, iii)도로의 수리 수문 측면에서는 1분단위 강우강도식의 사용과 노면 강우의 부등류 흐름 해석 기법의 적용과 선형 배수방식에 따른 도로 노면 강우의 신속배제를 개선 방안으로 제안하였다.

• 한국정보과학회논문지:데이타베이스
• /
• 제32권5호
• /
• pp.473-486
• /
• 2005

최근에 Agrawal 등이 제안한 히포크라테스 데이타베이스는 관계형 데이타베이스에 프라이버시 보호 기능을 추가한 데이타베이스 모델이다. 본 논문의 저자들은 히포크라테스 데이타베이스 모델을 XML 데이타베이스에 적용할 수 있도록 확장한 히포크라테스 XML 데이타베이스 모델[4]을 제안하였다. 본 논문에서는 동적 프레디킷(dynamic predicate)이라는 새로운 개념을 제안하고, 히포크라테스 XML 데이타베이스 모델에서의 액세스 통제에 이 개념을 적용한다. 동적 프레디킷은 권한에 의해 액세스가 허용되는지를 결정하는데 적용될 수 있는 질의 처리 도중에 동적으로 생성되는 조건을 나타낸다. 동적 프레디킷은 권한 검사를 질의 계획에 효과적으로 통합하여 액세스가 허용되지 않은 엘리먼트들이 질의 처리 과정에서 일찍 제외될 수 있게 해준다. 합성 데이타와 실제 데이타를 사용하여 기존의 액세스 통제 방법과 질의 처리 시간을 비교하는 다양한 실험을 수행한 결과, 본 논문에서 제안한 액세스 통제 방법은 하향식 액세스 통제 방법에 비하여 최대 219배, 상향식 액세스 통제 방법에 비하여 최대 499배 성능을 향상시킴을 보였다. 본 논문의 주요 공헌은 히포크라테스 XML 데이타베이스 모델 상에서 동적 프레디킷을 사용하여 액세스 통제 방법을 질의 계획에 효과적으로 통합할 수 있도록 한 것이다.

• 한국정보과학회논문지:데이타베이스
• /
• 제31권6호
• /
• pp.684-698
• /
• 2004

최근에 Agrawal 등이 제안한 히포크라테스 데이타베이스(Hippocratic database)는 관계형 데이타베이스에 프라이버시 보호 기능을 추가한 데이타베이스 모델이다 히포크라테스 데이타베이스는 관계형 데이타베이스에 기반한 모델이므로 최근에 널리 사용되는 XML 데이타베이스에 적용하기 위해서는 확장이 필요하다. 본 논문에서는 히포크라테스 데이타베이스 모델을 XML 데이타베이스에 적용할 수 있도록 확장한 히포크라데스 XML 데이타베이스(Hippocratic XML database) 모델과 이 모델에서의 효과적인 액세스 통제 방법을 제안한다. XML 데이타는 관계형 모델과 달리 트리 형태의 계층 구조를 가진다. 따라서, 히포크라테스 데이타베이스의 모델에서 제시한 개념들인 프라이버시 선호 및 정책, 프라이버시 권한, 데이타 레코드의 사용목적을 트리 형태의 계층 구조에 맞게 확장하며, 확장된 개념들을 정형적으로 정의한다. 다음으로, 본 모델의 액세스 통제 방법에 사용되는 새로운 방법인 다차원 인덱스를 사용한 권한 인덱스(authorization index)를 제안한다. 이 권한 인덱스는 최근접 질의(nearest neighbor search) 기법을 활용하여 가장 가까운 조상 엘리먼트에 부여된 권한에 의해 내포되는 권한을 효율적으로 찾을 수 있게 해준다. 합성 데이타와 실제 데이타를 사용하여 기존의 액세스 통제 방법과 질의 처리 시간을 비교하는 다양한 실험을 수행한 결과, 본 논문에서 제안한 액세스 통제 방법은 하향식(top-down) 액세스 통제 방법에 비하여 최대 13.6배, 상향식(bottom-up) 액세스 통제 방법에 비하여 최대 20.3배 성능을 향상시킴을 보였다. 본 논문의 주요 공헌은 1) 히포크라테스 데이타베이스 모델을 히포크라테스 XML 데이타베이스 모델로 확장하고 2) 제안한 모델 상에서 권한 인덱스와 최근접 질의 기법을 사용하는 효과적인 액세스 통제방법을 제안한 것이다.

• 대한환경공학회지
• /
• 제28권8호
• /
• pp.866-871
• /
• 2006

연속 회분식 방식의 실험실 규모 상향류 반응조를 사용하여 인 결정화공정을 이용한 영양물질 회수에 대한 연구를 수행하였다. 양이온 공급원으로서 산업폐기물인 폐석회와 마그네슘염을 이용하여 그 운전특성을 비교하였다. 이 연구는 고성능 발효조와 인 결정화 반응조로 구성된 새로운 통합 슬러지 처리 공정에 있어서 인 결정화공정의 성공적인 적용성 평가에 초점을 두고 있다. 발효조 유출수와 유사한 특성으로 제조된 합성폐수를 이용한 첫 번째 struvite 결정화 실험에서 반응은 $0.5{\sim}1$ hrs 사이의 반응시간에서 빠르게 진행되었는데, 그 동안 상당량(약 60% 이상)의 암모니아와 인이 제거되었다. 알칼리성 조건이라는 기질의 고유특성으로 인하여 암모니아 탈기 현상이 다소 발생하였으나 그 정도는 미미한 것(<5%)으로 나타났다. 또한 공기주입에 의한 이산화탄소 탈기조건을 추가적으로 제공하였을 때 struvite 형성속도의 향상은 일어나지 않았다. 실폐수로서 발효조 유출수를 사용한 두 번째 실험에서 stuvite 결정화를 위한 마그네슘염의 최적주입량은 struvite형성질량비와 유사한 0.86 g Mg $g^{-1}$ P이었다. 반면에 폐석회의 최적주입량은 0.3 g $L^{-1}$으로 다소 높게 나타났으며, 약 3시간의 반응시간 조건에서 $NH_4$-N과 $PO_4$-P의 제거효율은 각각 80%와 41%로 나타났다. 각 실험에서 침전물을 현미경으로 분석한 결과 마네슘염을 사용한 경우 프리즘과 같은 결정체가 관찰된 반면 폐석회를 사용한 경우는 비결정질의 결정체가 주로 관찰되었다. 하수처리용량 158,880 $m^3\;d^{-1}$의 실규모 처리시설의 경우를 대상으로 한 통합 슬러지처리시스템의 물질수지 분석결과 결정화 반응조 유출수로 부터의 반송되는 영양물질의 재순환 부하(각각 하수 1 $m^3$ 당 0.13 g N와 0.19 g P)는 매우 낮게 유지되는 것으로 나타났다. 그러므로 이미 산업폐기물 형태로 존재하는 폐석회를 본 연구에서와 같이 통합 슬러지 처리시스템의 영양물질 회수 공정에서 재이용하는 것은 높은 환경적 및 경제적 이익과 동시에 산업폐기물의 지속발전적 처리/처분이라는 다양한 장점을 가질 것이다.