• Journal of KIISE
• /
• v.42 no.2
• /
• pp.155-161
• /
• 2015

It is difficult and cumbersome to figure out whether a multithread program runs with concurrency bugs, such as data races and atomicity violations, because there are many possible executions of the program and a lot of the defects are hard to reproduce. Hence, monitoring techniques for collecting and analyzing the information from program execution, such as thread executions, memory accesses, and synchronization information, are important to locate data races for debugging multithread programs. This paper presents an efficient and practical monitoring tool, called VcTrace, that analyzes the partial ordering of concurrent threads and events during an execution of the program based on the vector clock system. Empirical results on C/C++ benchmarks using Pthreads show that VcTrace is a sound and practical tool for on-the-fly data race detection as well as for analyzing multithread programs.

• Economic and Environmental Geology
• /
• v.38 no.4 s.173
• /
• pp.451-462
• /
• 2005

In order to examine the extent of environmental contamination at abandoned Samsanjeil Cu mines in Kosung-kun, Kyeongsangnam-do, we have investigated the contaminations and mobility of toxic trace elements from mine wastes including about 280,000 tonnages of tailings by chemical experiments (total extraction, partial extraction by 0.1N HCI and sequential extraction procedure). Total concentrations of trace elements showed that Cu, As, Co, Zn, Pb, and Cd concentrations in tailings were 14.0, 3.6, 3.1, 2.1, 2.1 and 1.6 times greater than those in background soil, respectively. From the proportion of metals bound to the exchangeable and carbonate fractions, the comparative mobility of metals decrease in order of $Zn(29.0\%)>Cu(12.3\%)Pb(9.6\%)>Cd(3.0\%)>As=Co(0.0\%)$. Based on the concentrations, chemical speciations of tailings, waste rock and nearby soil, it was revealed that Cu and Zn were the most possible elements to contaminate the surrounding environment in Samsanjeil mine area. In addition, the tailings had total trace metal concentrations below Dutch guideline values except Cu, and they might not affect adverse impact on environment.

• ETRI Journal
• /
• v.32 no.2
• /
• pp.273-280
• /
• 2010

The overall channel capacity of a multihop wireless path drops progressively over each hop due to the cascading effect of noise and interference. Hence, without optimal rate adaptation, the video quality is expected to degrade significantly at any client located at a far-edge of an ad-hoc network. To overcome this limitation, decoding and forwarding (DF), which fully decodes codewords at each intermediate node, can be employed to provide the best video quality. However, complexity and memory usage for DF are significantly high. Consequently, we propose syndrome-based partial decoding (SPD). In the SPD framework an intermediate node partially decodes a codeword and relays the packet along with its syndromes if the packet is corrupted. We demonstrate the efficacy of the proposed scheme by simulations using actual 802.11b wireless traces. The trace-driven simulations show that the proposed SPD framework, which reduces the overall processing requirements of intermediate nodes, provides reasonably high goodput when compared to simple forwarding and less complexity and memory requirements when compared to DF.

• Clean Technology
• /
• v.7 no.3
• /
• pp.195-202
• /
• 2001

In this study the trace of chlorinated organic compound in aqueous solution was separated by pervaporation process using crosslinked PDMS (polydimethylsiloxane) membrane. The flux of trichloroethylene(TCE) increased linearly with feed composition but the flux of water was slightly increased. The partial flux of TCE was greater than that of tetrachloroethylene(PCE). The partial flux of TCE was not changed with operating temperature, but increased rapidly with feed flow rates. High crosslinking density causes the reduction of solubility and diffusivity for target component. The reduction of flux and selectivity for TCE is due to the chain immobilization and reduction of diffusivity with crosslinking density.

• Journal of Pharmacopuncture
• /
• v.18 no.3
• /
• pp.75-79
• /
• 2015

Objectives: As the peripheral part of the primo vascular system (PVS) is difficult to visualize, we used a vascular casting material Mercox injected directly into the skin to take advantage of a simple procedure to visualize PVS structures as primo vessels (PVs) and primo nodes (PNs) in the skin. Methods: Two colors of the polymer Mercox were injected into mouse skin. After a partial maceration of the whole body with potassium hydroperoxide solution, we anatomized it under a stereomicroscope to trace the Mercox that had been injected into the PVS. Results: Injection of Mercox directly into the skin allowed the PVs and the PNs to be visualized. This approach can fill the PVS when the material is ejected out of the PVs or PNs. The shapes, sizes, and topographic positions of the nodes and the vessels are the hallmarks used to identify the PVS in skin when Mercox is used as a tracer. Conclusion: The direct injection of the casting material Mercox into skin, with modified partial maceration procedures, is a promising method for visualizing the PVs and the PNs in the peripheral part of the PVS in skin. The polymer Mercox can penetrate through the primo pores of the primo vascular wall and fill the PVs and the PNs. The data prove that PVs and PNs exist on the hypodermal layer of the skin.

• Convergence Security Journal
• /
• v.17 no.1
• /
• pp.3-13
• /
• 2017

As security log plays important roles in various fields, the integrity of log data become more and more important. Especially, the stored log data is an immediate target of the intruder to erase his trace in the system penetrated. Several theoretical schemes to guarantee the forward secure integrity have been proposed, even though they cannot provide the integrity of the log data after the system is penetrated. Authentication tags of these methods are based on the linear-hash chain. In this case, it is difficult to run partial validation and to accelerate generating and validating authentication tags. In this paper, we propose a log authentication mechanism, based on Mekle Tree, which is easy to do partial validation and able to apply multi threading.

• Steel and Composite Structures
• /
• v.31 no.2
• /
• pp.187-199
• /
• 2019

This paper presents the semi-analytical development of the dynamic instability behavior and the dynamic response of functionally graded (FG) cylindrical shallow shell panel subjected to different type of periodic axial compression. First, in prebuckling analysis, the stresses distribution within the panels are determined for respective loading type and these stresses are used to study the dynamic instability behavior and the dynamic response. The prebuckling stresses within the shell panel are the same as applied in-plane edge loading for the case of uniform and linearly varying loadings. However, this is not true for the case of parabolic loadings. The parabolic edge loading produces all the stresses (${\sigma}_{xx}$, ${\sigma}_{yy}$ and ${\tau}_{xy}$) within the FG cylindrical panel. These stresses are evaluated by minimizing the membrane energy via Ritz method. Using these stresses the partial differential equations of FG cylindrical panel are formulated by applying Hamilton's principal assuming higher order shear deformation theory (HSDT) and von-$K{\acute{a}}rm{\acute{a}}n$ non-linearity. The non-linear governing partial differential equations are converted into a set of Mathieu-Hill equations via Galerkin's method. Bolotin method is adopted to trace the boundaries of instability regions. The linear and non-linear dynamic responses in stable and unstable region are plotted to know the characteristics of instability regions of FG cylindrical panel. Moreover, the non-linear frequency-amplitude responses are obtained using Incremental Harmonic Balance (IHB) method.

• Economic and Environmental Geology
• /
• v.23 no.2
• /
• pp.245-259
• /
• 1990

Petrochemical analyses of granitic rocks including trace element, REE and oxygen isotope were carried out to understand petrogenesis of plutonic rocks from the Chungju, Wolaksan and Jecheon granite batholiths, which might be related with tungsten-base metal-fluorite mineralization in the Hwanggangri metallogenic province. Different geochemical characteristics such as major and trace elements were found between Jurassic Daebo granitic rocks (Chungju, Jecheon, Wonju, and Boeun granitic rocks) and Cretaceous Bulgugsa granitic rocks (Wolaksan, Muamsa and Sokrisan granitic rocks). Cretaceous granitoids are characterized by high $SiO_2$and $K_2O$ contents and low $TiO_2$, $Al_2O_3$, MgO and CaO contents. They also have relatively high contents of trace elements(Zn, V, Co, Cr, Sr, and Ba) in comparison with the Jurassic granitoids. (Eu)/($Eu^*$) and $(La/Lu)_{CN}$ ratios of Jurassic plutons vary from 0.78 to 1.13 and from 26.02 to 30.5, respectively, while the ratios of Cretaceous ones range from 0.22 to 0.28 and from 4.42 to 14.2, respectively. The REE patterns of the Cretaceous and Jurassic granitic rocks have quite different Eu anomalies: large negative Eu anomaly in the former, and mild or absent Eu anomaly in the latter. The large Eu negative of Cretaceous granitic rocks are interpreted as a differentiated product of fractional crystallization of granitic magma deduced by Rayleigh fractionation model(Tsusue et al., 1987). Oxygen isotopic compositions of quartz for Daebo and Bulgugsa granitic rocks range from 9.98 to 10.51‰ and from 8.26 to 9.56‰, respectively. The Daebo granitic rocks enriched in $^{18}0$ suggest that the magma be undergone different partial melting processes from the Bulgugsa ones. Of the Bulgugsa granitoids, Wolaksan and Sokrisan mass have different contents of trace elements and ${\delta}\;^{18}0$ values of the silicate minerals, which indicate that they are not from the identical source of magma. Many mineral deposits are distributed in and/or near the Wolaksan and Muamsa granitic rocks, but a few mineral deposits are found in and near the Chungju and Jecheon granite batholiths. It might be depend on geochemisty of the related igneous rocks which have low contents of Ba, Sr, Co, V, Cr, Ni, Zn and high contents of Nb and Y, and on lithology of country rocks such as cabonate and noncarbonate rocks.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.06a
• /
• pp.352-357
• /
• 1998

Conventional marketing research generally focuses on a single layer's benefit. A notable example is the consumer layer providing managers with partial market information to evaluate relevant strategies. As generally known, marketing management encounters complex supply and demand behaviors, thereby necessitation that a successful marketing strategy adopt multi-layer considerations, such as the consumer layer, channel-retailer layer, and marketing planner layer. In light of above situation, this study applies fuzzy theory and the analytic hierarchy process(AHP) technique to analyze the performances of marketing strategies under multi-layer benefits, In addition, conventional marketing research has difficulty in efficiently allocating the limited budget so that each desired criterion can be significantly enhanced by a group of events. Therefore, a weighting structure among the goal, layers, criteria, and strategies(i.e. a group of events) is also developed herein to trace the influential process and assist marketing managers in efficiently allocating resources(i.e.budget).

• Journal of the Korean earth science society
• /
• v.36 no.5
• /
• pp.447-459
• /
• 2015

Dok island comprises Pliocene volcanic products such as a series of volcanoclastic rocks and lavas ranging in composition from alkali basalts, and trachyandesites to trachytes. Compositional variation of the basaltic rocks can be attributed to fractional crystallization of olivine, clinopyroxene, plagioclase, and magnetite. Chemical variations among the trachyandesites are caused by fractionation of clinopyroxene, plagioclase, and magnetite with minor amphibole, while trachytes are controlled mainly by feldspar fractionation. Incompatible element abundance ratios and chondrite normalized LREE/HREE ratios (e.g., (La/Yb)c: 24.8 to 32.8 for basalts, 15.6 to 31.2 for trachyandesites) suggest that the origins of the basalts and trachyandesites involve both different degrees of partial melting and subsequent fractional crystallization processes. Trace element ratios of the basalts from Dok island are characterized by high Ba/Nb, La/Nb, Ba/Th and Th/U and isotopic ratios (Tasumoto and Nakamura, 1991) that are similar to the EM 1 type of oceanic island basalts such as Gough and Tristan da Cunha basalts.