• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2004년도 학술대회지
• /
• pp.59-63
• /
• 2004

In recent days. it is necessary to find environment-friendly way of diposing industrial waste and reclying system. So this study will analyze the property of Porous concrete improved by concrete waste powder and recycled lightweight aggregate and then suggest the ways of reclying. The method deals with experimenting unit weight of capacity. thermal conductivity, compression and ultrasonic pluse velocity. Considering the relation between ultrasonic pluse velocity and unit weight & thermal conductivity through the graph. the result of relation between ultrasonic pluse velocity and unit weight & thermal conductivity on the graph expessed their high interaction shown as direct proportion on the graph. Recycled Porous concrete merits lightweight and adiabatic. Therefore. we will expect that the current using ALC and Recycled Porous concrete has be similar thermal conductivity.

• Management Science and Financial Engineering
• /
• 제13권1호
• /
• pp.121-126
• /
• 2007

Among many graphs, directed acyclic graph(DAG) attracts many researchers due to its nice property of existence of topological sort. In some classic graph problems, it is known that, if we use the aforementioned property, then much efficient algorithms can be generated. So, in this paper, new algorithm for the all-pairs shortest path problem in a DAG is proposed. While the algorithm performing the iteration, it identifies the set of essential arcs which requires in a shortest path. So, the proposed algorithm has a running time of $O(m^*n+m)$, where m, n and $m^*$ denote the number of arcs, number of node, and the number of essential arcs in a DAG, respectively.

• Journal of applied mathematics & informatics
• /
• 제34권3_4호
• /
• pp.221-225
• /
• 2016

For a connected graph G = (V, E), its inverse degree is defined as $\sum_{{\upsilon}{\in}{V}}^{}\frac{1}{d(\upsilon)}$. Using an upper bound for the inverse degree of a graph obtained by Cioabă in [4], we in this note present sufficient conditions for some Hamiltonian properties and k-connectivity of a graph.

• 대한수학교육학회지:학교수학
• /
• 제1권2호
• /
• pp.555-569
• /
• 1999

The graph unit(chapter) is a good example of a topic in elementary school mathematics for which computer use can be incorporated as part of the instruction. Teaching graph can be facilitated by using the graphing utilities of computers, which make it possible to observe the property of many types of graphs. This study was concerned with utilizing an educational software Graphers as an instructional tool in teaching to help young students gain a better understanding of graph concepts. For this purpose, three types of instructional activities using Graphers were shown in the paper. Graphers is a data-gathering tool for creating pictorial data chosen from several data sets. They can represent their data on a table or with six types of graphs such as Pictograph, Bar Graph, Line Graph, Circle Graph, Grid Plot and Loops. They help students to select the graph(s) which are the most appropriate for the purpose of analyzing data while comparing various types of graphs. They also let them modify or change graphs, such as adding grid lines, changing the axis scale, or adding title and labels. Eventually, students have a chance to interpret graphs meaningfully and in their own way.

• 한국정보과학회논문지:정보통신
• /
• 제32권2호
• /
• pp.261-277
• /
• 2005

센서 네트워크에서는 베이스 노드와 다수의 센서 노드들간의 데이타 중심 (Data-centric) 기반의 통신 모델을 사용한다는 특징을 활용하여, 오버헤드를 최소화 하면서 최저 전력 라우팅 경로를 찾고, 또한 전체 네트워크의 수명을 최대화 시킬 수 있는 PAD (Power Aware Data-centric routing protocol)를 제안한다. PAD는 최저전력 라우팅 경로와는 상관없는 통신 링크를 제거한 최저전력특징그래프(Minimum Energy Property Graph)를 찾은 후, 오버혜드를 최소화 하고 slow convergence와 라우팅 경로의 루프 문제를 해결한 Distributed Data-centric Bellman-Ford Algorithm을 사용하여 라우팅 경로를 결정한다. 특히 PAD가 제안한 최저전력특징그래프를 찾는 알고리듬은 기존의 방식에 비해서 훨씬 빠르며, 간단하여 구현이 용이하면서도 가장 적은 수의 에지를 가지는 그래프를 구한다. 이는 기존의 방식이 사용하던 path-loss 모델만을 이용한 기하학적 계산과 복잡한 알고리듬을 path-loss 모델로부터 독립시켜 전력소모를 예측할 수 있는 어떠한 방법이든지 사용 가능하게 하고 또한 최단거리 알고리듬을 사용한 결과이다. PAD는 모든 과정을 분산된 방식으로 수행하며, 또한 최소의 오버헤드만을 가지므로, 다양한 센서 네트워크 응용에서 사용할 수 있을 것으로 기대한다.

• 한국정보통신학회논문지
• /
• 제17권4호
• /
• pp.863-868
• /
• 2013

본 논문에서는 최근의 디지털논리시스템의 함수구성시에 도입되고 있는 그래프이론에 바탕을 둔 새로운 형태의 데이터구조 형태인 모서리값 확장 그래프를 추출하는 알고리즘을 제안하였다. 이를 위해 수학적 배경으로는 리터럴 함수와 리드 뮬러 확장에 대해 논의하였으며, 본 논문의 근간인 모서리 확장 그래프의 도출에 대해 논의하였다. 또한, 모서리 확장 그래프로부터 임의의 m치 n변수의 축약된 함수구성을 도출하는 알고리즘을 제안하였으며 이를 예에 적용하여 그 타당성을 보였다. 제안된 알고리즘의 규칙성을 고려하여 동일부분을 모듈화함으로써 일반성을 가짐을 보였다.

• 컴퓨터교육학회논문지
• /
• 제13권5호
• /
• pp.91-102
• /
• 2010

스타 그래프는 노드 대칭성, 최대 고장 허용도, 계층적 분할 성질을 갖고, 하이퍼큐브보다 망 비용이 개선된 널리 알려진 상호 연결망이다. 본 연구에서는 스타 그래프와 그의 변형된 그래프들 상호 간의 임베딩 방법을 제안한다. 버블정렬 그래프가 팬케익 그래프와 스타 그래프에 각각 연장율 3, 확장율 1로 임베딩 가능함을 보이고, 팬케익 그래프가 버블정렬그래프에 임베딩 하는 연장율 비용이 O($n^2$)임을 보인다. 그리고 스타 그래프가 팬케익 그래프에 연장율 4, 확장율 1로 임베딩 가능함을 보인다. 또한 스타그래프를 버블정렬 그래프에, 팬케익 그래프를 스타 그래프에 임베딩 하는 연장율 비용이 각각 O(n)임을 보인다.

• 정보처리학회논문지A
• /
• 제15A권2호
• /
• pp.119-124
• /
• 2008

본 논문에서는 피라미드 그래프 내에 내재된 사이클 특성을 분석한다. 높이 N의 피라미드 그래프에 연속적인 사이클 확장 연산을 적용함으로써 길이 3이상 ($4^N-1$)/3 까지에 해당하는 모든 길이의 다양한 사이클들을 생성할 수 있음을 증명한다. 이는 피라미드 그래프가 범사이클 특성을 보유하고 있음을 의미한다.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 1999년도 추계학술대회-지능형 정보기술과 미래조직 Information Technology and Future Organization
• /
• pp.281-289
• /
• 1999

The objective of this paper is to propose a brand new interface mechanism to provide more intelligent decision making support for EC problems. Its main virtue is based on a numerical process mechanism by using an Extended AND-OR Graph (EAOG)-based logic algebra. Using this mechanism, decision makers engaged in electronic commerce (EC) can effectively deal with complicated decision making problems. In the field of traditional expert systems research, AND-OR Graph approach has been suggested as a useful tool for representing the logic flowchart of the forward and/or backward chaining inference methods. However, the AND-OR Graph approach cannot be effectively used in the EC problems in which real-time problem-solving property should be highly required. In this sense, we propose the EAOG inference mechanism for EC problem-solving in which heurisric knowledge necessary for intelligent EC problem-solving can be represented in a form of matrix. Finally, we have proved the validity of our approach with several propositions and an illustrative EC example

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 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.