• Journal of KIISE:Computer Systems and Theory
• /
• v.29 no.12
• /
• pp.655-664
• /
• 2002

In many data-parallel applications massive parallelism can be easily extracted through data distribution. But it often causes very long communication latency. This paper shows that task parallelism, which is extracted from data-parallel programs, can be exploited to hide such communication latency Unlike the most previous researches over exploitation of task parallelism which has not been considered together with data parallelism, this paper describes exploitation of task parallelism in the context of data parallelism. PCFG(Parallel Control Flow Graph) is proposed to represent a multithreaded program consisting of a few task threads each of which can include a few data-parallel loops. It is also described how a PCFG is constructed from a source data-parallel program through HDG(Hierarchical Dependence Graph) and how the multithreaded program can be constructed from the PCFG.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2021.10a
• /
• pp.236-239
• /
• 2021

With the growth of AI technology, the scale of Knowledge Graphs continues to be expanded. Knowledge Graphs are mainly expressed as RDF representations that consist of connected triples. Many RDF storages compress and transform RDF triples into the condensed IDs. However, if we try to transform a large scale of RDF triples, it occurs the high processing time and memory overhead because it needs to search the large ID mapping table. In this paper, we propose the method of converting RDF triples using Hash-based ID mapping tables with MapReduce, which is the software framework with a parallel, distributed algorithm. Our proposed method not only transforms RDF triples into Integer-based IDs, but also improves the conversion speed and memory overhead. As a result of our experiment with the proposed method for LUBM, the size of the dataset is reduced by about 3.8 times and the conversion time was spent about 106 seconds.

• Applied Chemistry for Engineering
• /
• v.26 no.3
• /
• pp.336-340
• /
• 2015

Three different types of polycarbonate (PC)/graphene oxide (GO) composites using diphenyl carbonate as a monomer were fabricated by melt polymerization. Those were the PC/GO composite (PC/GO) using a twin extruder, in-situ PC/GO composite (PC/GO-cat.) using a catalyst, and in-situ PC/GO composite (PC/GO-COCl) using a GO-COCl treated by -COCl, Chemical structures of the composites were confirmed by C-H and C=O stretching peak at $3000cm^{-1}$ and $1750cm^{-1}$, respectively. The slope for the storage (G') versus loss (G") modulus plot decreased with an increase in the heterogeneous property of polymer melts. So we can check the GO dispersion of the PC/GO composites using by the slop for G'-G" plot. According to the G'- G" slopes for three different types of PC/GO composites, GO was well dispersed within PC matrix in case of PC/GO and PC/GO-cat.. It was also confirmed by atomic force microscope (AFM) photos. One of the reasons for the poor GO dispersion of PC/GO-COCl is branching and crosslinking processes occurred during polymerization, which was further confirmed by a plot for the complex modulus versus phase difference.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2005.05b
• /
• pp.991-995
• /
• 2005

본 연구에서는 1차원 이송-분산 과정을 연구하고 전단류 흐름 및 분산거동에 있어 Taylor 이론의 핵심이라 할 수 있는 '종방향 이송과 횡방향 확산의 균형'을 기본 개념으로 하여, 이송과 확산을 분리하여 이 두 과정이 순차적으로 발생한다는 가정에 의거한 순차혼합모형을 제시하였다. 본 모형에서는 가상의 하천을 여러 개의 행과 종방향 거리를 길이가 일정한 구획으로 나누어 연속적인 분산과정을 이산적인 형태로 나타낼 수 있게 하고, 횡방향 유속분포에 따라 각 행에 각기 다른 유속을 할당한다. 오염물질은 하폭방향 선오염원으로 원점에 순간주입되며, 주어진 혼합시간 $t_m$ 동안 각 행의 오염물질들이 각자에 할당된 유속을 따라 진행하고 진행이 끝난 후 횡방향 확산이 순간적으로 이루어진다. 횡방향 확산은 횡방향으로 완전하게 일어남을 가정하여, 횡방향 확산이 끝나면 각 열에서의 농도 평균값이 할당된다. 이러한 혼합시간 $t_m$ 동안의 순차적인 이송-확산 과정이 반복되면서 오염물질의 분산이 일어나며, 농도 분포 그래프를 그릴 수 있게 된다. 순차혼합모형을 가상의 직선하천에 적용하여 종분산계수를 유도하였는데, 본 연구에서 유도된 종분산계순식은 Fischer.가 제안한 식과 유사한 형태로 나타남을 알 수 있었다. 본 모형에서 계산된 농도분포 곡선을 해석해와 비교한 결과,두 곡선이 적절히 일치함을 확인할 수 있었으며 해석해와의 비교를 통해 종분산계수 K가 혼합시간 $t_m$과 선형관계임을 확인할 수 있었다. 수심대하폭비에 따라 각기 다른 유속분포에 적용하여 종분산계수 K가 유속편차강도의 제곱에 비례관계에 있음이 밝힐 수 있었다. 수압은 $4.69kg/cm^2$으로 나타났다. 밸브 개폐도가 $100\%$일 때가 밸브를 $60\%$와 $80\%$ 개폐시켰을 때보다 $0.3kg/cm^2,\;0.29kg/cm^2$ 낮게 나타나 밸브를 전체 개방 했을 때 관로내의 수압이 상수설계기준에 적합한 수압을 유지함을 알 수 있다. 상수관로 설계 기준에서는 관로내 수압을 $1.5\~4.0kg/cm^2$으로 나타내고 있는데 $6kg/cm^2$보다 과수압을 나타내는 경우가 $100\%$로 밸브를 개방하였을 때보다 $60\%,\;80\%$ 개방하였을 때가 더 빈번히 발생하고 있으므로 대상지역의 밸브 개폐는 $100\%$ 개방하는 것이 선계기준에 적합한 것으로 나타났다. 밸브 개폐에 따른 수압 변화를 모의한 결과 밸브 개폐도를 적절히 유지하여 필요수량의 확보 및 누수방지대책에 활용할 수 있을 것으로 판단된다.8R(mm)(r^2=0.84)$로 지수적으로 증가하는 경향을 나타내었다. 유거수량은 토성별로 양토를 1.0으로 기준할 때 사양토가 0.86으로 가장 작았고, 식양토 1.09, 식토 1.15로 평가되어 침투수에 비해 토성별 차이가 크게 나타났다. 이는 토성이 세립질일 수록 유거수의 저항이 작기 때문으로 생각된다. 경사에 따라서는 경사도가 증가할수록 증가하였으며 $10\% 경사일 때를 기준으로 $Ro(mm)=Ro_{10}{\times}0.797{\times}e^{-0.021s(\%)}$로

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.10 no.5
• /
• pp.462-468
• /
• 2017

In this paper IoT/WSN(Internet of Things/Wireless Sensor Network) has been modeled with a random geometric graph. And a performance of the decentralized code for the efficient storage of data which is generated from WSN has been analyzed. WSN with n=100 or 200 has been modeled as a random geometric graph and has been simulated for their performance analysis. When the number of the total nodes of WSN is n=100 or 200, the successful decoding probability as decoding ratio ${\eta}$ depends more on the number of source nodes k rather than the number of nodes n. Especially, from the simulation results we can see that the successful decoding rate depends greatly on k value than n value and the successful decoding rate was above 70% when $${\eta}{\leq_-}2.0$$. We showed that the number of operations of BP(belief propagation) decoding scheme increased exponentially with k value from the simulation of the number of operations as a ${\eta}$. This is probably because the length of the LT code becomes longer as the number of source nodes increases and thus the decoding computation amount increases greatly.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2008.05a
• /
• pp.1899-1903
• /
• 2008

대수층의 저유량이 풍부한 강변여과수 개발 예정지역의 충적층(지표면하 $25{\sim}35\;m$ 구간)에서 수리전도도와 종분산지수의 규모종속효과를 규명하기 위해 양수시험과 수렴흐름 추적자시험이 수행 되었다. 양수시험과 추적자시험의 규모는 2 m 와 5 m 이었으며 양수시험은 5개 공, 추적자시험은 3개 공을 이용하여 수행되었다. 양수시험은 일정한 양수율($2,500\;m^3/day$)로 수행되었으며, 양수 시작 후 경과시간에 따른 수위변화 자료를 AQTESOLV 3.5 프로그램에 입력하여 해석하였다. 시험 대수층의 수리전도도는 양수정에서 $1.745{\times}10^{-3}\;m/sec$, 양수정에서 이격거리가 2 m 구간에서는 $2.161{\times}10^{-3}\;m/sec$와 $2.270{\times}10^{-3}\;m/sec$ 이었으며, 이격거리가 5 m 구간에서는 $2.452{\times}10^{-3}\;m/sec$와 $2.591{\time}10^{-3}m/sec$로 산정되었다. 그리고, 양수정에서 회복시험 시 Theis(Recovery) 방법에 의해 해석된 수리전도도는 $1.603{\times}10^{-3}\;m/sec$이었다. 양수정에서 관측정의 이격거리(d)에 따른 수리전도도(K) 증가함수는 log K=0.0693 log d-2.671와 log K=0.0817 log d-2.655로 추정되었으며, 결정 계수는 각각 0.965와 0.979로서 매우 높게 나타났다. 따라서 양수정에서의 이격거리가 멀수록 수리전도도가 증가하는 규모종속을 확인하였으며, 또한 시험대수층의 수리전도도가 방사상으로 유사하게 분포하고 있음을 알 수 있었다. 수렴흐름 추적자시험의 양수율은 $2,500\;m^3/day$ 이었으며, 2개의 주입정에 염소이온 5 kg을 순간 주입하였다. 염소이온의 농도이력곡선을 작성하여 초기도달시간과 최고농도의 차이를 분석하였으며, 누적질량회수곡선을 통해 양수 후 경과시간에 따른 염소이온의 질량회수율을 분석하였다. 그리고, 염소이온농도 대 누적질량회수율의 이력그래프를 작성하여 누적질량회수율에 따른 염소이온농도의 증가와 감소 변화를 분석하였다. 또한, 염소이온농도의 증가/감소 구간에 대한 선형회귀분석을 수행하여 농도 증가율과 감소율의 변화를 파악하였다. 양수정에서 관측된 경과시간별 염소이온농도 자료를 CATTI 코드의 "Converging Radial Flow With Instantaneous Injection" 해석법에 적용하여 종분산지수를 추정하였다. 양수정에서 이격거리가 2 m인 경우의 종분산지수는 0.4152 m, 이격거리가 5 m인 경우의 종분산지수는 3.2665 m이었다. 따라서 양수정에서 이격거리가 멀수록 종분산지수가 증가하는 규모종속효과를 확인하였으며, 또한 이격거리에 대한 종분산지수의 비는 각각 0.21과 0.65 정도로서 증가하였다.

• Polymer(Korea)
• /
• v.38 no.3
• /
• pp.378-385
• /
• 2014

Multiwall carbon nanotubes (MWCNTs) were modified with a water soluble polymer, poly(vinyl alcohol), PVA, using a simple ultrasonic wave in water. Under the irradiation of ultrasound, PVA chains were severed as macroradicals and instantly grafted onto the surface of MWCNTs due to the radical scavenging effect of MWCNTs. To control the grafting PVA onto MWCNTs, the ultrasonication power and irradiation time were changed from 300 to 500 W and from 10 to 50 min, respectively. The grafted PVA onto MWCNTs was confirmed by FTIR, TGA, SEM, and TEM. Dispersion stability of the modified MWCNTs was monitored by Turbiscan. The amount of grafted PVA on MWCNTs increased with the increase in the sonication power and irradiation time. The grafted PVA on MWCNTs induced the improved dispersion stability of the modified MWCNTs in water. These findings exhibit that ultrasound can be readily used for the grafting polymer chains on MWCNTs.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.12
• /
• pp.1447-1457
• /
• 1999

본 논문에서는 일반적인 네트워크에서 적응력 있는(adaptive) 분산형 시스템 레벨 결함 진단을 위한 분할 기법을 제안한다. 적응력 있는 분산형 시스템 레벨 결함 진단 기법에서는 시스템의 형상이 변경될 때마다 시험 할당 알고리즘이 수행되므로 적응력 없는 결함 진단 기법에 비하여 결함 감지를 위한 시험의 갯수를 줄일 수 있다. 기존의 시험 할당 알고리즘들은 전체 시스템을 대상으로 하는 비분할(non-partitioning) 방식을 이용하였는데, 이 기법은 불필요한 과다한 메시지를 생성한다. 본 논문에서는 전체 시스템을 이중 연결 요소(biconnected component) 단위로 분할한 후, 시험 할당은 각 이중 연결 요소 내에서 수행한다. 이중 연결 요소의 관절점(articulation point)의 특성을 이용하여 각 시험 할당에 필요한 노드의 수를 줄임으로서, 비분할 기법들에 비해 초기 시험 할당에 필요한 메시지의 수를 감소시켰다. 또한 결함이 발생한 경우나 복구가 완료된 경우의 시험 재 할당은 직접 영향을 받는 이중 연결 요소내로 국지화(localize) 시켰다. 본 논문의 시스템 레벨 결함 진단 기법의 정확성을 증명하였으며, 기존 비분할 방식의 시스템 레벨 결함 진단 기법과의 성능 분석을 수행하였다.Abstract We propose an adaptive distributed system-level diagnosis using partitioning method in arbitrary network topologies. In an adaptive distributed system-level diagnosis, testing assignment algorithm is performed whenever the system configuration is changed to reduce the number of tests in the system. Existing testing assignment algorithms adopt a non-partitioning approach covering the whole system, so they incur unnecessary extra message traffic and time. In our method, the whole system is partitioned into biconnected components, and testing assignment is performed within each biconnected component. By exploiting the property of an articulation point of a biconnected component, initial testing assignment of our method performs better than non-partitioning approach by reducing the number of nodes involved in testing assignment. It also localizes the testing reassignment caused by system reconfiguration within the related biconnected components. We show that our system-level diagnosis method is correct and analyze the performance of our method compared with the previous non-partitioning ones.

• Journal of the Korea Convergence Society
• /
• v.8 no.8
• /
• pp.51-57
• /
• 2017

A wireless sensor network is composed of many resource constrained sensor nodes. These networks are attacked by malicious attacks like DDoS and routing attacks. In this paper, we propose the intrusion detection and prevention system using convergence of software-defined networking and security technology in wireless sensor networks. Our proposed scheme detects various intrusions in a central server by accumulating log messages of OpenFlow switch through SDN controller and prevents the intrusions by configuring OpenFlow switch. In order to validate our proposed scheme, we show it can detect and prevent some malicious attacks in wireless sensor networks.

• KIPS Transactions on Computer and Communication Systems
• /
• v.11 no.9
• /
• pp.289-304
• /
• 2022

It is necessary to apply process algebra and logic in order to analyze and verify safety requirements for Smart IoT Systems due to distributivity and mobility of the systems over some predefined geo-temporal space. However the analysis and verification cannot be fully intuitive over the space due to the fact that the existing process algebra and logic are very limited to express the distributivity and the mobility. In order to overcome the limitations, the paper presents a new logic, namely for GTS-VL (Geo-Temporal Space-Visual Logic), visualization of the analysis and verification over the space. GTS-VL is the first order logic that deals with relations among the different types of blocks over the space, which is the graph that visualizes the system behaviors specified with the existing dTP-Calculus. A tool, called SAVE, was developed over the ADOxx Meta-Modeling Platform in order to demonstrate the feasibility of the approach, and the advantages and practicality of the approach was shown with the comparative analysis of PBC (Producer-Buffer-Consumer) example between the graphical analysis and verification method over the textual method with SAVE tool.