• 논리연구
• /
• 제17권2호
• /
• pp.323-349
• /
• 2014

이 글에서 우리는 보상 없는 강화 (cfr) $(({\phi}&{\psi}){\rightarrow}({\phi}{\wedge}{\psi})){\vee}(({\phi}{\vee}{\psi}){\rightarrow}({\phi}&{\psi}))$를 갖는 유니놈 논리의 확장에 대해 표준 완전성이 제공될 수 있다는 것을 보인다. 이를 위하여, 먼저 보상 없는 강화를 갖는 유니놈 논리 $UL_{cfr}$을 소개한다. 이 체계에 상응하는 대수적 구조를 정의한 후, $UL_{cfr}$이 대수적으로 완전하다는 것을 보인다. 다음으로, $UL_{cfr}$이 표준적으로 완전하다는 것 즉 단위 실수 [0, 1]에서 완전하다는 것을 Yang (2009)에서의 방법을 사용하여 보인다.

• 한국물환경학회지
• /
• 제33권1호
• /
• pp.51-62
• /
• 2017

The purpose of this study is to evaluate on the applicability of Load Duration Curve (LDC) method using Maintenance of Variance Extension types 2 method and sampling data for efficient total maximum daily loads at the Nakbon-A unit watershed in Korea. The LDC method allows for characterizing water quality data such as BOD, TOC, T-N and T-P in this study at different flow regimes(or quarters). BOD usually exceeded the standard value (exceedance probability 50%) at low flow zone. On the other hand, TOC, T-N, T-P usually exceeded the standard value at dry and low flow zone. Seasonally all water quality variables usually exceeded the standard value at Q1(Jan-Mar) and Q2(Apr-Jun) zones. Improvement of effluent control from wastewater treatment plants are effective to improve BOD and T-P.

• 융합신호처리학회논문지
• /
• 제3권2호
• /
• pp.71-75
• /
• 2002

본 논문은 여러 프로세스제어에 사용되는 PID제어기의 최적 자동동조에 관한 새로운 방법을 제안하고자 한다. 이 방법은 먼저, 제어대상의 계단응답으로부터 모델링된 1차 지연계를 Pade 근사화 하고, Ziegler-Nickels의 한계감도 법으로 초기계수를 결정한 후 유전자알고리즘의 부모세대의 2진 스트링에 적합도 값으로 입력시켜 선택 교배 및 돌연변이를 통하여 새로운 자손세대를 형성한다 이 방법은 Ziegler-Nickels로 구한 출력특성보다 더욱 좋은 특성을 가지며 입력변수 K, L, T의 학습범위가 없어져 응용범위가 확장되는 장점을 가지고 있다.

• 지구물리와물리탐사
• /
• 제12권4호
• /
• pp.281-288
• /
• 2009

한반도의 감쇠상수에 대한 고유 및 산란감쇠 분리가 최근 해석적인 방법으로 수행되었으나, 깊이에 따라 변하는 산란구조를 고려하기 위해서는 해석적인 방법보다는 수치적인 방법을 써야한다. 그런데, 수치적인 방법의 일종인 Direct Simulation Monte Carlo(DSMC)법은 1차원부터 3차원에 이르기까지 확장성이 좋은 방법이나, 이를 이용한 조사는 잘 이루어지지 않고 있는 상황이다. 븐 연구에서는 해석적인 방법과 DSMC법을 소개하고, 균일한(isotropic)산란 모델에 대하여 두 방법의 결과 값을 비교하였다. 그 결과, 산란감쇠계수$\eta_s$는 동일하나 고유감쇠계수($\eta_i$)의 경우 해석적인 방법이 DSMC 방법보다 값과 그 오차 범위가 더 컸다. 더욱이 DSMC법으로 구한 $Q^{-1}_t$값이 한반도의 기존 연구결과에 가까운 것으로 보아, DSMC법이 한반도의 감쇠상수 분리에 보다 신뢰도 높은 결과를 도출할 수 있는 것으로 보인다.

• 전자통신동향분석
• /
• 제16권6호통권72호
• /
• pp.29-40
• /
• 2001

본 고에서는 디스크 기반의 정보검색시스템의 성능을 높이는 것을 목표로, 주기억장치 상주형 정보검색시스템에 적합한 주기억장치 기반의 인덱싱 기법을 비교 평가하고자 한다. 인덱스는 인덱스를 구성하는 키의 순서가 유지되는지의 여부에 따라 크게 두 종류로 나눌 수 있는데, 키가 일정한 순서로 유지되는 트리 계열과 키의 순서와 관계없이 무작위로 유지되는 해시 계열로 구분할 수 있다. 트리 계열 인덱스는 일정한 범위가 주어지는 연산을 처리할 때 유용하게 사용될 수 있으며, 해시 계열 인덱스는 특정한 키에 의한 빠른 데이터 접근을 제공한다. 트리 계열 인덱스로는 AVL 트리, B+ 트리, T 트리 등이 있으며, 해시 계열 인덱스로는 체인 버켓 해싱(Chained Bucket Hashing: CBH), 확장 해싱(Extendible Hashing: EH), 선형 해싱(Linear Hashing: LH), 수정된 선형 해싱(Modified Linear Hashing), 다중 디렉토리 해싱(Multi-directory Hashing) 및 확장된 체인 버켓 해싱(Extendible Chained Bucket Hashing: ECBH) 등이 있다.

• KNOM Review
• /
• 제22권1호
• /
• pp.30-41
• /
• 2019

MQTT 프로토콜은 IoT 정보 전송을 위한 오픈 Publish / Subscribe 시스템 중 하나이다. 본 논문에서는 MQTT 클러스터링 시스템에 동적으로 참여하는 가입자를 적절한 브로커에 배정하는 알고리즘을 제안한다. 중앙 집중식 브로커가 있는 MQTT 시스템에서는 가입자와 중개자 간의 연결 및 메시지 손실이 발생한다. 이 논문에서는 확장 가능한 개방형 IoT 시스템을 개발하고 SDN 인프라에서 MQTT 브로커 클러스터링을 고려하여 이 문제를 해결한다. 특히 이 논문은 SDN 기반 MQTT 클러스터에서 브로커의 부하 및 통신비용을 줄이기 위해 브로커의 주제 공유에 따라 브로커에 가입자를 할당하는 문제에 중점을 둔다. 실험 결과는 제안 된 알고리즘이 기존의 방법에 비해 부하 및 비용을 감소시킴을 보여준다.

• 컴퓨터교육학회논문지
• /
• 제8권1호
• /
• pp.93-103
• /
• 2005

대부분의 프로그램 실행 시간은 루프 구조에서 소비되기 때문에 순차 루프 프로그램으로부터 병렬성을 추출하는 것은 프로그램을 빠르게 실행하는 데 필수적이다. 병렬성을 추출하기 위한 기존의 연구들은 주로 불변 자료 종속 거리에 초점을 맞추어왔다. 본 논문에서는 중첩 루프에서 자료 종속성을 제거하는 방법과 자료 종속성 제거 방법을 확장한 프로시저 호출을 가진 루프에서 병렬성을 추출하는 방법을 제안한다. 이 두 가지 방법들은 모두 자료 종속 거리에 관계없이 적용할 수 있다. 중첩 루프에서의 자료 종속성 제거 방법과 프로시저 호출을 가진 루프에서 병렬성을 추출하는 방법을 기존의 방법들과 CRAY-T3E에서 성능 평가를 하였다. 두 개의 방법 모두가 기존의 방법들보다 매우 우수함을 보였다.

• 한국멀티미디어학회논문지
• /
• 제4권2호
• /
• pp.145-160
• /
• 2001

통신 및 컴퓨터의 보급 발전을 통해 공개 네트워크 상에서 그룹에 기반한 통신 응용 서비스의 요구가 증가하고 있다. 이러한 필요성에 따라 멀티캐스트 기반 구조에 대한 연구가 활발히 진행되고 있다. 하지만 멀티캐스트 구조에 대한 안전성과 효율성 및 확장성 부분에 대한 해결책은 아직 미비한 상태이다. 본 연구에서는 기존의 대표적인 멀티캐스트 키 관리 구조를 고찰함과 동시에 안전성과 효율성 및 확장성을 분식한다. 이에 기초해 확장성을 제공하는 안전하고 효율적인 멀티캐스트 키 관리 구조를 제안하고, 기존 방식과 통신 및 계산량 부분에 비교 분석을 통해 그 효율성을 확인한다.

• 한국통신학회논문지
• /
• 제24권9B호
• /
• pp.1661-1667
• /
• 1999

본 논문에서는 ATM 망에서의 ABR 다점 대 점 연결을 위한 효과적인 VP 확장 알고리즘을 제안한다. ABR 다점 대 점 연결은 VC 머징 (VC merging) 방식 또는 VP 머징 (VP merging) 기법을 이용하여 구현할 수 있다. 본 논문에서는 VP 머징 기법을 이용하며, VP 자원 부족 문제점을 해결하기 위해 VP 확장 알고리즘을 제안한다. 제안된 기법은 표준 VPI/VCI 구조를 따르기 때문에 VP 확장에 따른 별도의 VPI/VCI 테이블을 필요로 하지 않는다. 성능 평가를 위해서 VC 머징 방식과 제안한 기법의 성능을 비교한다. 실험 결과 제안한 기법은 다점 대 점 연결의 각 소스에 대역폭을 공평히 분배할 수 있음을 알 수 있었다.

• 방송공학회논문지
• /
• 제13권4호
• /
• pp.501-515
• /
• 2008

최근에 고품질 이동 멀티미디어 서비스에 대한 사용자의 요구가 증대되고, 계층 변조 전송 기법을 통하여 추가적인 전송 대역폭을 확보할 수 있게 됨에 따라 스케일러블 비디오 부호화(Scalable Video Coding)를 이용하여 기존의 T-DMB(Terrestrial DMB)의 화질을 개선한 고품질 지상파 DMB(Advanced Terrestrial DMB) 서비스를 제공하기 위한 연구가 활발히 진행되고 있다. 그러나 T-DMB와 AT-DMB의 호환적인 서비스를 지원하는 SVC 계층 부호기는 매우 복잡한 구조를 갖게 되므로, 조기 서비스 도입을 위하여 부호기의 복잡도 감소에 대한 연구가 요구된다. 본 논문에서는 기존의 T-DMB와 호환성을 갖는 공간 확장성 SVC 부호기에서 매크로블록 계층의 부호화 모드 제한을 통한 고속 부호화 모드 결정 기법을 제안한다. 제안된 기법은 매크로블록 계층의 부호화 모드 결정 함수의 구조 분석을 통한 기저 계층과 향상 계층, 그리고 계층 간에 사용되는 부호화 모드의 통계적 특성에 기초한다. 모의실험을 통하여, 제안된 기법이 우수한 성능을 유지하면서, 수행시간을 크게 단축시킬 수 있는 호환적인 부호기를 얻을 수 있음을 보인다.