http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 송문배(Moon-Bae Song) (검색결과 5 건)
- 무료
- 기관 내 무료
- 유료
-
송문배,동균탁,장훈,Song, Moon-Bae,Dong, Gyun-Tak,Chang, Hoon 한국통신학회 1998 韓國通信學會論文誌 Vol.23 No.8
BOD의 최적화 문제는 논리합성과 형식검증 영역에서 필수적인 것으로 인식되고 있다. 변수 순서화 문제는 BOD의 크기와 형태에 직접적인 영향을 미치므로, 적절한 변수 순서를 구하는 문제는 매우 중요한 문제이다, 본 논문에서 는 점진적 시프팅이라 부르는 새로운 변수 순서화 알고리듬을 소개한다. 제안된 알고리듬은 기존의 시프팅 알고리듬에서의 탐색공간을 절반이하로 줄이며, 성능의 저하없이 계산시간을 크게 감소시킬 수 있다. 더욱이 점진적 시프팅 알고리듬은 시프팅 알고리듬을 비롯한 다른 변수 순서화 알고리듬에 비해 매우 단순하다. 제안된 알고리듬은 많은 벤치마크 회로를 이용한 실험에서 그 효율성이 입증되었다. The optimization problem of BDDs plays an improtant role in the area of logic synthesis and formal verification. Since the variable ordering has great impacts on the size and form of BDD, finding a good variable order is very important problem. In this paper, a new variable ordering scheme called incremental optimization algorithm is presented. The proposed algorithm reduces search space more than a half of that of the conventional sifting algorithm, and computing time has been greatly reduced withoug depreciating the performance. Moreover, the incremental optimization algorithm is very simple than other variable reordering algorithms including the sifting algorithm. The proposed algorithm has been implemented and the efficiency has been show using may benchmark circuits.
-
-
송문배(Moon-Bae Song),동균탁(Gyun-Tak Dong),양선웅(Sun-Woong Yang),장훈(Hoon Chang) 한국정보과학회 1998 정보과학회논문지 : 시스템 및 이론 Vol.25 No.9
이진 결정 다이어그램(BDD: Binary Decision Diagram)은 부울 함수의 표현과 조작에 효과적인 자료구조로서 CAD 분야에 널리 활용되고 있다. 이러한 BDD의 최적화 문제는 특히 논리 합성과 형식 검증 영역에서 필수적인 것으로 인식되고 있다. 변수 순서는 BDD의 크기와 형태에 직접적인 영향을 미치므로, 적절한 변수 순서를 구하는 것은 매우 중요한 문제이다. 본 논문에서는 점진적 시프팅이라 부르는 국부 탐색 기반의 새로운 변수 순서화 알고리듬을 제안한다. 제안된 알고리듬은 기존의 시프팅 알고리듬에서의 탐색공간을 절반 이하로 줄일 수 있으며, 또한 계산 시간을 크게 감소시킬 수 있을 뿐만 아니라, 성능 면에서도 우수하다. 또한 점진적 시프팅 알고리듬은 시프팅 알고리듬을 비롯한 다른 변수 최적화 알고리듬에 비해 매우 단순하며, 여러가지 형태로의 휴리스틱의 개발이 가능하다. 제안된 알고리듬은 많은 벤치마크 회로에서 그 효율성이 입증되었다. Binary decision diagrams (BDDs) are widely used in computer-aided design (CAD) as data structure for representation and manipulation of Boolean functions. The optimization problem of BDDs plays an important role in the area of logic synthesis and formal verification especially. Since the variable ordering has great impacts on the size and form of BDD, finding a good variable order is very important problem. In this paper, a new variable ordering scheme based on local search, called incremental sifting, is presented. The proposed algorithm reduces a search space more than a half of that of the conventional sifting algorithm, therefore computing time has been greatly reduced. Moreover the algorithm is superior to the conventional sifting algorithm in the aspect of performance. The incremental optimization algorithm is very simple than other variable reordering algorithm including the sifting algorithm, and application of using a number of heuristics is also possible. The proposed algorithm has been implemented and the efficiency has been shown using well known benchmark circuits.
-
김승현(Seung-Hyun Kim),송문배(Moon-Bae Song),남성헌(Sung-Hun Nam),황종선(Chong-Sun Hwang),손진곤(Jin-Gon Shon) 한국정보과학회 2002 한국정보과학회 학술발표논문집 Vol.29 No.1A
이동 기술의 발전으로 위치와 이동 패턴이 연속적으로 변화하는 객체가 증가하였다. 시간에 따라 객체가 이동하면서 그 위치와 모양이 연속적으로 변화하는 것을 이동 객체라 한다. 과거의 DBMS는 연속적으로 이동 정보가 변화하는 객체를 관리하기 위해 빈번한 DB 갱신이 이루어 져야 하는 문제점이 있다. 객체의 이동 정보는 연속적으로 변화한다. 이러한 정보를 저장하는 매체인 이동 객체 데이터베이스의 갱신 횟수는 매우 중요하다. 본 논문에서 객체는 일반적으로 일정한 패턴으로 이동한다고 가정한다. 이러한 객체의 일정한 이동 패턴을 이용하여, 이동 객체 데이터베이스의 갱신 횟수를 최소화하면서, 효과적으로 인덱싱 하는 전략을 제시한다. 또한 질의에 대한 객체 위치의 오차를 최소화하여 반환해 주는 질의 처리 기법을 제안한다.
-
TPR-트리에서 경계 사각형의 사장 공간을 줄이기 위한 효율적인 MBR 근사 기법
최석창(Seok-Chang Choi),송문배(Moon-Bae Song),강상원(Sang-Won Kang),황종선(Chong-Sun Hwang) 한국정보과학회 2004 한국정보과학회 학술발표논문집 Vol.31 No.2Ⅱ
이동 객체의 현재와 미래 위치 질의에 최적화된 색인 구조로써 TPR 트리가 있다. TPR 트리는 기존의 공간 색인 구조와 달리 이동 객체와 경계 사각형을 참조 위치와 속도 벡터를 매개 변수로 한 시간에 대한 선형 함수 형태로 모델링함으로써 갱신 비용을 줄이고 현재 및 가까운 미래 위치 정보의 예측을 가능하도록 한다. 하지만 TPR 트리는 시간의 경과에 따라 경계 사각형이 선형적으로 확장됨으로 인해 경계 사각형 내의 객체를 제외한 나머지 공간인 사장 공간과 경계 사각형들 간의 겹침 현상을 증가시켜 질의 성능이 떨어진다는 단점을 가진다. 본 논문에서는 질의 성능을 향상시키기 위하여 경계 사각형 내의 이동 객체들이 이동함에 따라 변경되는 최소 경계 사각형 (MBR : Minimim Bounding Rectangle)을 베지어 곡선 함수를 이용하여 근사함으로써 사장 공간을 줄이는 적응 경계 사각형(ABR : Adaptive Bounding Rectangle) 기법을 제안한다.
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
