• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2003년도 춘계학술대회논문집
• /
• pp.73-78
• /
• 2003

This paper proposes the simulator synthesis scheme which is based on the exploration of the total design space in attributed AND-OR graph. Attributed AND-OR graph is a systematic design space representation formalism which enables to represent all the design space by decomposition rule and specialization rule. In addition, attributes attached to the design entity provides flexible modeling. Based on this design space representation scheme, a pruning algorithm which can transform the total design space into sub-design space that satisfies the user requirements is given. We have shown the effectiveness of our framework by (ⅰ) constructing the design space of superscalar processor in attributed AND-OR graph (ⅱ) pruning it to obtain the ARM9 processor architecture. (ⅲ) modeling the components of the architecture and (ⅳ) simulating the ARM9 model.

• 한국CDE학회논문집
• /
• 제3권4호
• /
• pp.211-222
• /
• 1998

Parametric design is an important modeling paradigm in CAD/CAM applications, enabling efficient design modifications and variations. One of the major issues in parametric design is to develop a geometric constraint solver that can handle a large set of geometric configurations efficiently and robustly. In this appear, we propose a new approach to geometric constraint solving that employs a graph-based method to solve the ruler-and-compass constructible configurations and a numerical method to solve the ruler-and-compass non-constructible configurations, in a way that combines the advantages of both methods. The geometric constraint solving process consists of two phases: 1) planning phase and 2) execution phase. In the planning phase, a sequence of construction steps is generated by clustering the constrained geometric entities and reducing the constraint graph in sequence. in the execution phase, each construction step is evaluated to determine the geometric entities, using both approaches. By combining the advantages of the graph-based constructive approach with the universality of the numerical approach, the proposed approach can maximize the efficiency, robustness, and extensibility of geometric constraint solver.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2005년도 춘계학술대회 논문집
• /
• pp.34-39
• /
• 2005

The progress of silicon technology enables to implement a highly complex digital system on a given chip area. However, even the modern design environment is not so efficient to catch up with the progress of process technology. Design reuse is a promising approach to designing such a complex system in an efficient way. However, the rigidness and inflexibility of a model has been an obstacle to design reuse. This paper proposes a high-level model management methodology by introducing attributed AND-OR graph(AOG), a (formal semantics for representing the possible structure of a model. Using the formalism enables a designer to extract, extend and reuse the pre-modeled and pre-verified design. A complete process of constructing a cache operational model, extending the model and extracting executable models is exemplified to show effectiveness of the proposed framework.

• 전자공학회논문지CI
• /
• 제42권1호
• /
• pp.27-34
• /
• 2005

본 논문에서는 그래프 임베딩 문제와 관련된 이항트리에서의 Q-에지 번호매김 방법을 제안한다. 이러한 연구결과는 신뢰성이 높은 통신망을 설계하는 최적화 문제인 "n 개의 노드와 e 개의 에지를 가지면서 연결도가 최대인 그래프를 구성하라."를 해결한 Harary 그래프의 일반화인 원형군 그래프(circulant graph)의 점프열로 Q-에지번호들을 이용하면 연결도가 최대인 신뢰성이 높은 새로운 상호연결망(interconnection networks)의 위상을 설계할 수 있다. 그리고 이러한 위상은 이항트리를 스패닝 트리로 가지므로 최적방송이 가능하다.

• 한국정보통신학회논문지
• /
• 제17권9호
• /
• pp.2091-2096
• /
• 2013

본 논문에서는 방향성 그래프에 기초하여 절점들 간의 입출력 관계가 트리의 특성을 갖는 연관관계를 분할연산기법과 수학적 해석을 통하여 함수로 변환하고 이를 회로 설계하는 방법에 대하여 논의하였다. 기존에 제안된 알고리즘이 임의의 절점수를 갖는 방향성 그래프에 대하여 같은 수의 잉여절점수를 삽입함으로써 생성되는 매개변수들이 양의 정수로 표현되지 못하여 회로의 설계가 불가능하게 되는 문제점이 있었다. 이를 개선하기 위해서 본 논문에서는 트리의 성질을 수학적으로 해석하여 주어진 임의의 절점수를 가지는 방향성 그래프에 대하여 절점들의 관계를 규명해주는 매개변수들과 논리레벨 P의 승수로 표현되어 항상 양의 정수 값을 갖도록 레벨 간에 각기 다른 잉여절점을 삽입하여 효율적인 회로설계를 하였다.

• 한국지능시스템학회논문지
• /
• 제16권6호
• /
• pp.677-682
• /
• 2006

멀티-도메인 공학시스템은 전기, 기계, 유압, 열등의 구성요소를 포함하고, 시스템 구성이 복잡하여 설계에 많은 어려움을 가지고 있다. 최적의 설계를 위해서는 각 도메인에 대한 통합된 설계 방법과 자동적이고 효율적인 탐색방법이 요구된다. 본 논문은 도메인에 독립적인 모델링 도구인 본드 그래프(Bond Graph)와 대규모 공간 해의 탐색에 접합한 진화 알고리즘의 일종인 유전 프로그래밍(Genetic Programming)를 결합하여 멀티 도메인 동적시스템에 대한 디자인 해를 자동적으로 생성해주는 설계 방법을 제시하였다. 제안된 설계방법의 효용성을 입증하기 위해서 3가지 서로 다른 도메인을 가진 아나로그 필터, 전동프린터 드라이브, 에어펌프 시스템에 대한 설계 결과가 기술된다.

• 한국CDE학회논문집
• /
• 제6권2호
• /
• pp.78-88
• /
• 2001

In order to adopt feature-based parametric modeling, CAD/CAM applications must have a geometric constraint solver that can handle a large set of geometric configurations efficiently and robustly. In this paper, we describe a graph constructive approach to solving geometric constraint problems. Usually, a graph constructive approach is efficient, however it has its limitation in scope; it cannot handle ruler-and-compass non-constructible configurations and under-constrained problems. To overcome these limitations. we propose an algorithm that isolates ruler-and-compass non-constructible configurations from ruler-and-compass constructible configurations and applies numerical calculation methods to solve them separately. This separation can maximize the efficiency and robustness of a geometric constraint solver. Moreover, the solver can handle under-constrained problems by classifying under-constrained subgraphs to simplified cases by applying classification rules. Then, it decides the calculating sequence of geometric entities in each classified case and calculates geometric entities by adding appropriate assumptions or constraints. By extending the clustering types and defining several rules, the proposed approach can overcome limitations of previous graph constructive approaches which makes it possible to develop an efficient and robust geometric constraint solver.

• 한국정보처리학회논문지
• /
• 제5권12호
• /
• pp.3088-3098
• /
• 1998

순열 방사형 그래프는 병렬 또는 분산 시스템의 상호 연결망 구조로써 n-큐브의 새로운 대안으로 제시되고 있다. 그러나 최근까지 제시된 구조(메쉬, 하이퍼큐브 등)에 대한 오류 허용 설계 모델은 많이 연구되어왔지만 순열 방사형 그래프에 적합한 오류 허용 설계 모델은 연구되고 있지 않다. 따라서 본 논문에서는 순열 방사형 그래프에 적합한 새로운 오류 허용 설계방법을 제안하였다. 이 방법은 현재 수행중인 구성 요소 중에서 오류가 발생할 때 기존 구조를 유지하기 위해서, 예비 구성요소를 추가하여 적절히 오류 요소를 대치하는 기법이다. 먼저, 순열 방사형 그래프를 순환 그래프로 변환한 다음 순환 그래프의 준 동형 성질을 이용하였다. 또한 k개 예비프로세서를 추가하여 각 프로세서 당 최대 통신 링크를 최소화함으로써 오류 허용 설계구조의 비용을 최적화 하였다. 특히, 최대 통신 링크의 수를 최소화하는 새로운 연구 방법을 제안하였다.

• 터널과지하공간
• /
• 제15권5호
• /
• pp.369-377
• /
• 2005

지하공동의 안정성은 생산성과 안전을 확보해야 하는 광산의 운영에 있어서 가장 중요한 관심사이다. 암반분류는 많은 경험적인 설계방법의 근간을 이룰 뿐만 아니라 수치해석을 위한 기초자료로 이용되고 있다. 공동의 안정성에 영향을 주는 많은 요소들 중 주어진 암반의 조건 중에서 공동폭은 하나의 중요한 설계요소가 된다. 이 논문에서는 Lug에 의해 제안된 한계 공동폭 기준, Mathews stability graph method 그리고 저자들에 의해 제안된 한계 공동폭 기준을 비교하였다. Methews stability graph method를 이용하여 저자들에 의해 수정된 한계 공동폭 기준을 제안하였고 이것을 여러 석회석 광산 지하공동의 안정성을 평가하는 데 사용하였다.

• ETRI Journal
• /
• 제29권3호
• /
• pp.381-389
• /
• 2007

In this paper we propose a graph-theoretic method based on linear congruence for constructing low-density parity check (LDPC) codes. In this method, we design a connection graph with three kinds of special paths to ensure that the Tanner graph of the parity check matrix mapped from the connection graph is without short cycles. The new construction method results in a class of (3, ${\rho}$)-regular quasi-cyclic LDPC codes with a girth of 12. Based on the structure of the parity check matrix, the lower bound on the minimum distance of the codes is found. The simulation studies of several proposed LDPC codes demonstrate powerful bit-error-rate performance with iterative decoding in additive white Gaussian noise channels.