• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2008년도 하계종합학술대회
• /
• pp.753-754
• /
• 2008

LiDAR data are acknowledged as very useful method to represent 3-D geographical information. In this paper aquad tree has been utilized to represent the 3-D spatial information. Compression algorithm is implemented based on a given threshold. The efficiency of compress is very high with large threshold values.

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

본 논문은 기존의 O-tree 표현법을 이용한 플로어플랜 알고리즘의 결점을 보완한 새로운 알고리즘을 제안한다. 기존의 방법에선 플로어플랜의 변형을 처리하는 과정에서 몇 가지 변형을 간과하기 때문에 좋은 해를 놓치는 경우가 발생한다. 본 논문에서는 기존의 방법을 수정하여 변형을 처리하는 과정에서 블록이 들어갈 수 있는 모든 위치를 고려하였다. 그 결과 MCNC 밴치마크 회로를 이용한 실험에서 총면적이 이전의 방법에 비해 평균 3% 개선되었다.

• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2008년도 학술대회 1부
• /
• pp.390-396
• /
• 2008

여러 출판물, 특히 아동을 위한 출판문에는 삽화가 포함된다. 동화책 출판 과정에 삽화가 자동으로 생성된다면, 출판과정의 편의성이 더욱 높아질 것이다. 본 논문에서는 삽화를 생성하는 과정에서 객체들을 적절하게 배치하는 방법에 대하여 논의한다. 객체들을 적절하게 배치하기 위해서는 객체들이 불필요하게 겹치는 현상을 줄이고 글에 기술된 공간 상의 관계들을 만족하도록 해야 한다. 본 논문에서는 이러한 공간 상의 관계가 표현되도록 삽화로 생성하고자 하는 자연언어문장을 트리 및 술어-논항 구조를 이용하여 나타내는 방법을 제안한다. 이어서 이로부터 트리구조의 단일화, 영역 연결 계산을 이용하여 삽화를 생성하는 과정을 논의한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1989년도 한국자동제어학술회의논문집; Seoul, Korea; 27-28 Oct. 1989
• /
• pp.805-812
• /
• 1989

An efficient diagnostic approach for real-time operation aiding expert system in chemical process plants is discussed. The approach is based on the hybrid of the simplified symptom tree(SST) and the fault consequence digraph(FCD), representation of propagation patterns of fault states. The SST generates fault hypothesis efficiently and the FCD resolve the real fault accurately. Frame based knowledge representation and object-oriented programming make diagnostic system general and efficient. Truth maintenance system enables robust pattern matching and provides enhanced explain facilities. A prototype expert system for supports operation of naphtha furnaces process, called OASYS, has been built and tested to demonstrate this methodology. Utilization of diversified process symbolic data, produced using dynamic normal standards, overcomes the problem of qualitative Boolean reasoning and enhance the applicability.

• 대한안전경영과학회지
• /
• 제13권4호
• /
• pp.201-205
• /
• 2011

개인화된 제품과 서비스에 대한 소비자의 요구는 성공적인 전자상거래 플랫폼을 기반으로 하고 있다. 성공적인 전자상거래 플랫폼을 개발함에 있어 자주 간과되고 있는 중요한 요소는 바로 웹 페이지의 HTML 구조이다. HTML 구조는 전자상거래 웹사이트의 속도와 랭킹을 결정짓는 기본적인 요소이다. 본 논문은 HTML 구조를 분석하기 위한 효율적이고 다소 생소한 시각화 기법을 제안하는데, 이러한 기법을 사용하여 개발자는 잠재적인 프로그래밍 오류와 개선 사항을 발견할 수 있다. 본 논문은 하나의 사례를 이용하여 제안된 기법을 더욱 구체화 시킨다.

• Journal of applied mathematics & informatics
• /
• 제40권5_6호
• /
• pp.883-896
• /
• 2022

A hereditary base-b representation, used in the celebrated Goodstein's theorem, can easily be converted into a labeled rooted tree. In this way it is possible to give a more elementary geometric proof of the aforementioned theorem and to establish a more general version, geometrically proved. This view is very useful for better understanding the underlying logical problems and the need to use transfinite induction in the proof. Similar problems will then be considered, such as the so-called "hydra game".

• 대한전기학회논문지
• /
• 제39권5호
• /
• pp.494-499
• /
• 1990

A new compact hierarchical representation method image is proposed. This method represents a binary image with the set of decimal numbers. Each decimal number represents the pattern of nonterminal node(gray node) in the quadtree. This pattern implies the combination of its four child nodes. The total number of gray nodes is one third of that terminal nodes. We show that gray tree method is efficient comparing with others which have been studied.

• 제어로봇시스템학회논문지
• /
• 제18권12호
• /
• pp.1096-1100
• /
• 2012

Most of previous genetic algorithms for solving graph problems have used a vertex-based encoding. We proposed an edge encoding based new genetic algorithm using a spanning tree. Contrary to general edge-based encoding, a spanning tree-based encoding represents only feasible partitions. As a target problem, we adopted the MAX CUT problem, which is well known as a representative NP-hard problem, and examined the performance of the proposed genetic algorithm. The experiments on benchmark graphs are executed and compared with vertex-based encoding. Performance improvements of the spanning tree-based encoding on sparse graphs was observed.

• 정보처리학회논문지D
• /
• 제16D권5호
• /
• pp.673-682
• /
• 2009

웹상에서 데이터 교환과 표현을 위한 표준으로 XML 데이터가 널리 사용되고 있으며 유비쿼터스 환경에서 XML 데이터의 형태는 연속적이다. 이와 관련하여 XML 스트림 데이터에 대한 빈발 구조 추출 및 효율적인 질의처리를 위한 마이닝 방법들이 연구되고 있다. 이 논문에서는 슬라이딩 윈도우 기반으로 하여 XML 스트림 데이터로부터 최근 윈도우 범위에 속하는 데이터에 대한 빈발 패턴 구조를 추출하기 위한 마이닝방법을 제안한다. 제안된 방법은 XML 스트림 데이터를 트리집합 모델, XFP_tree로 표현하고 이를 이용하여 최근의 데이터에 대한 빈발구조 패턴을 빠르게 추출한다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 1998년도 추계학술대회 논문집
• /
• pp.280-287
• /
• 1998

In this paper, Dynamic Fault Tree algorithm(DFT algorithm) is presented. This new algorithm provides a concise representation of dynamic fault tolerance system structure with redundancy, dynamic redundancy management and complex fault ＆ error recovery techniques. And it allows the modeler to define a dynamic fault tree model with the relative advantages of both fault tree and Markov models that captures the system structure and dynamic behavior. This algorithm applies to TMR and Dual-Duplex systems with the dynamic behavior and show that this algorithm captured the dynamic behavior in these systems with fault ＆ error recovery technique, sequence-dependent failures and the use dynamic spare. The DFT algorithm for solving the problems of the systems is more effective than the Markov and Fault tree analysis model.