• 생명과학회지
• /
• 제18권4호
• /
• pp.565-571
• /
• 2008

생물정보학의 발전으로 다양한 형태의 생물정보가 컴퓨터 프로그램에 의해 양산되고 있다. 단순한 서열간의 비교나 작은 규모의 자료를 처리하기 보다는 다각화된 정보와 대규모의 생물정보를 취급하고 있다. 그 중에서 시각화와 annotation를 위한 도구개발은 지난 10년간 많은 연구가 되고 있는 분야이다. 그럼에도 일반화된 도구 개발은 생물정보의 다양성과 사용자 요구의 다양화로 인해 매우 어렵다. 본 논문에서는 유전체간 알려진 정보와 다중 관계 그래프를 이용하여 이를 annotation하고 시각화하는 GenoVA 시스템을 제안한다. 다중 정렬을 위한 몇 개의 프로그램이 존재하지만 그 방법들이 서열내의 복잡성 때문에 많은 정보가 누락된다. 따라서 제안된 방법에서는 pairwise alignment를 확장하여 모든 유전체간 비교를 통해 연관성 도출한다. 유전체간 보존되는 영역의 빈도수와 BLAST 점수가 높은 것을 블록노드라 하고 이들 간의 연관관계를 다중 관계 그래프로 표현하였다. 또한 GenoVA는 알려진 정보, COG, 유전자를 시각화하고 다중 관계 그래프의 한 영역을 중심으로 클러스터링된 경로를 계층적으로 보여주었다. 이때 누락되거나 알려지지 않은 유전자나 다른 annotation정보 추출할 수 있다. 본 논문의 실험을 위해 열 개의 박테리아 유전체가 사용되었고 시각화와 annotation을 위한 자료로 활용하였다. GenoVA는 새로운 유전체에 대한 개략적이고 전산적 annotation을 직관적이고 편리하게 제공한다.

• Journal of Acupuncture Research
• /
• 제25권2호
• /
• pp.139-149
• /
• 2008

Objectives : The 7-zone-diagnostic system is a diagnostic device to predetermine bodily locations by measuring the energy of body. This study was to investigate the relation between the different patterns of Zone 2, 6 of Factor AA in VEGA DFM 722(VEGA, Germany), 7-zone-diagnostic system and clinical parameters. The purpose of this study was relation Korean traditional medicine and western medicine with the data from 7-zone-diagnostic system and the clinical parameters. Methods : This study was carried out with the data from some clinical parameters. We made two groups according to the Factor AA patterns of VEGA DFM 722. The Factor AA pattern of Group A is that the red bar graph of zone 2 was higher than the normal range and the red bar graph of zone 6 was lower than the normal range. The Factor AA pattern of Group B was that the red bar graph of zone 2 was lower than the normal range and the red bar graph of zone 6 was higher than the normal range. After the data from clinical parameters to correspond with conditions of each group were selected, the data from clinical parameters between each gropus analyzed statistically. Results and Conclusions : The values of Direct Bilirubin, GOT, BUN and BUN/Creatinine ratio of Group A were higher than them of Group B. The values of Sodium and Tyroxine of Group A were lower than them of Group B. These results mean that Group A has low energy but has increading tendency. To conclude, it is thought that the red bar graph of zone 2 is higher, the group is the more increasing and the red bar graph of zone 6 is lower, the group has the lower energy.

• 대한수학교육학회지:학교수학
• /
• 제11권1호
• /
• pp.131-145
• /
• 2009

본 연구는 초등학교 학생들에게 함수의 그래프 표현 및 해석의 지도가능성을 탐색하기 위하여 설계되었다. 이를 위하여 부분적으로 역동적인 기하 소프트웨어를 이용하는 점진적인 함수 그래프 지도 방법을 고안하여, 초등학교 5학년생 4명을 대상으로 8차시의 수업을 실행하였다. 연구 결과, 아동들은 함수 관계에 대한 개념화, 1차 함수 그래프의 해석, 1차 함수 그래프 기울기의 의미를 인식하고, 기울기에 대한 논의와 실생활과의 관련성을 파악하는 것으로 나타났다. 함으로써 함수의 그래프 표현 및 해석의 지도가 가능함을 알 수 있었다. --삭제) 또한, 아동들은 GSP-선그래프를 통하여 그래프에서의 점과 선의 관계를 시각적으로 명확히 인식하였으며, 함수관계를 그래프로 정확하게 표현하는 데에 있어서 결정적인 역할을 했음을 알 수 있었다.

• 한국전자거래학회지
• /
• 제24권3호
• /
• pp.87-98
• /
• 2019

인공지능이 활발하게 연구되면서 이미지, 영상, 자연어 처리와 같은 다양한 분야에 적용되고 있다. 특히 자연어 처리 분야는 사람이 말하고 쓰는 언어들을 컴퓨터가 이해할 수 있도록 하기 위한 연구들이 진행되고 있고 인공지능 기술에서 매우 중요한 영역 중 하나로 여겨진다. 자연어 처리에서 컴퓨터에게 사람의 상식을 이해할 수 있도록 학습시키고 사람의 상식을 기반으로 결과를 생성하도록 하는 것은 복잡하지만 중요한 기술이다. 단어들의 관계를 이용해 연결한 지식 그래프는 컴퓨터에게 쉽게 상식을 학습시킬 수 있다는 장점이 있다. 하지만 기존에 고안된 지식 그래프들은 특정 언어나 분야에만 집중해 구성되어 있거나 신조어 등에는 대응하지 못하는 한계점을 갖고 있다. 본 논문에서는 실시간으로 데이터를 수집 및 분석하여 자동으로 확장 가능한 지식 그래프를 구축하고, 이를 기반 데이터로 활용하는 챗봇 시스템을 제안하고자 한다. 특히 자동 확장 그래프에 BERT 기반의 관계 추출 모델을 적용시켜 성능을 향상시키고자 한다. 자동 확장 지식 그래프를 이용해 상식이 학습되어 있는 챗봇을 구축하여 지식 그래프의 활용 가능성과 성능을 검증한다.

• 대한수학회보
• /
• 제56권4호
• /
• pp.1059-1075
• /
• 2019

Let G be a graph with no isolated vertex. A total dominating set, abbreviated TDS of G is a subset S of vertices of G such that every vertex of G is adjacent to a vertex in S. The total domination number of G is the minimum cardinality of a TDS of G. In this paper, we study the total domination number of central graphs. Indeed, we obtain some tight bounds for the total domination number of a central graph C(G) in terms of some invariants of the graph G. Also we characterize the total domination number of the central graph of some families of graphs such as path graphs, cycle graphs, wheel graphs, complete graphs and complete multipartite graphs, explicitly. Moreover, some Nordhaus-Gaddum-like relations are presented for the total domination number of central graphs.

• Kyungpook Mathematical Journal
• /
• 제62권3호
• /
• pp.437-453
• /
• 2022

Unlike for polynomial rings, the notion of multiplication for the near-ring of polynomials is the substitution operation. This leads to somewhat surprising results. Let S be an abelian left near-ring with identity. The relation ~ on S defined by letting a ~ b if and only if ann_S(a) = ann_S(b), is an equivalence relation. The compressed zero-divisor graph 𝚪_E(S) of S is the undirected graph whose vertices are the equivalence classes induced by ~ on S other than [0]_S and [1]_S, in which two distinct vertices [a]_S and [b]_S are adjacent if and only if ab = 0 or ba = 0. In this paper, we are interested in studying the compressed zero-divisor graphs of the zero-symmetric near-ring of polynomials R₀[x] and the near-ring of the power series R₀[[x]] over a commutative ring R. Also, we give a complete characterization of the diameter of these two graphs. It is natural to try to find the relationship between diam(𝚪_E(R₀[x])) and diam(𝚪_E(R₀[[x]])). As a corollary, it is shown that for a reduced ring R, diam(𝚪_E(R)) ≤ diam(𝚪_E(R₀[x])) ≤ diam(𝚪_E(R₀[[x]])).

• 한국컴퓨터정보학회논문지
• /
• 제3권4호
• /
• pp.44-48
• /
• 1998

본 는문에서는 RT콤포넌트를 이용한 맵핑 방법으로 HDL로 기술된 연산자들을 RT콤포넌트에 맞도록 CDFG를 구성한 후 그래프를 최소화하고 cost와 bound를 계산하여 적합한 라이브러리를 선정하여 맵핑할 수 있는 콤포넌트 합성 알고리즘(Component Synthesis Algorithm)을 제안하였다.

• ETRI Journal
• /
• 제9권1호
• /
• pp.84-96
• /
• 1987

The equality relation is very important in mechanical theorem proving procedures. A proposed inference rule called RHU-resolution is intended to extend the hyperparamodulation[23, 9] by introducing a bidirectional proof search that simultaneously employs a forward reasoning and a backward reasoning, and generalize it by incorporating beneflts of extended hyper steps with a preprocessing process, that includes a subsumption check in an equality graph and a high level planning. The forward reasoning in RHU-resolution may replace the role of the function substitution link.[9] That is, RHU-deduction without the function substitution link gets a proof. In order to control explosive generation of positive equalities by the forward reasoning, we haue put some restrictions on input clauses and k-pd links, and also have included a control strategy for a positive-positive linkage, like the set-of-support concept, A linking path between two end terms can be found by simple checking of linked unifiability using the concept of a linked unification. We tried to prevent redundant resolvents from generating by preprocessing using a subsumption check in the subsumption based eauality graph(SPD-Graph)so that the search space for possible RHU-resolution may be reduced.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2002년도 학술논문발표회
• /
• pp.91-96
• /
• 2002

This study is to investigate the insulation performance of lightweight concrete using recycled lightweight aggregate, to develop lightweight concrete products which have an excellence on the insulation performance are satisfied with properties of building materials. As a result of this study, recycled EPS aggregate is considered to have an independent pores which is closed by dense partitions. So, it is showed that the insulation performance of lightweight concrete using recycled EPS aggregate are excellent. Especially, in the case of lightweight concrete under conditions of replacement ratio over 100%, it is considered that insulation performance is very excellent as thermal conductivity is showed about 0.2kcal/mh$^{\circ}C$. According to considering the relation between ultrasonic pulse velocity, unit weight and thermal conductivity through the graph, the result of relation between ultrasonic pulse velocity, unit weight and thermal conductivity on the graph expressed their high interaction shown as direct proportion on the graph. So that it is possible to extract the insulation performance of lightweight concrete using recycled EPS aggregate by ultrasonic pulse velocity and unit weight.

• 한국연소학회지
• /
• 제21권3호
• /
• pp.16-23
• /
• 2016

In this study, skeletal mechanisms are produced by directed relation graph with specified threshold value and sensitivity analysis based on species database from the directed relation graph. Skeletal mechanism is optimized through the elimination of unimportant reaction steps by computational singular perturbation importance index. Reduction is performed for the detailed mechanism of methyl butanoate consisting of 264 species and 1219 elementary reactions. Validation shows acceptable agreement for auto-ignition delays in wide parametric ranges of pressure, temperature and equivalence ratio. Methyl butanoate has been proposed as a simple biodiesel surrogate although the alkyl chain consists of four carbon atoms. The resulting surrogate mechanism for n-heptane and MB consists of 76 species and 226 reaction steps including those for NOx.