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.
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.
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.
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.
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.
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.
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.
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).
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.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 2004년 10월 1일]
이용약관
제 1 장 총칙
제 1 조 (목적)
이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
제 2 조 (용어의 정의)
① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을
말합니다.
② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여
받은 자를 말합니다.
③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을
말합니다.
④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
제 3 조 (이용약관의 효력 및 변경)
① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다.
② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의
초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을
변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전
내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
제 4 조(약관 외 준칙)
① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다.
② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
제 2 장 이용계약의 체결
제 5 조 (이용계약의 성립 등)
① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한
온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다.
② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을
포함합니다.
제 6 조 (회원가입)
서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
제 7 조 (개인정보의 보호 및 사용)
당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
제 8 조 (이용 신청의 승낙과 제한)
① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다.
② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다.
- 이용계약 신청서의 내용을 허위로 기재한 경우
- 기타 규정한 제반사항을 위반하며 신청하는 경우
제 9 조 (회원 ID 부여 및 변경 등)
① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다.
② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를
해지하고 재가입해야 합니다.
③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
제 3 장 계약 당사자의 의무
제 10 조 (KISTI의 의무)
① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록
하여야 합니다.
② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다.
③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를
거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야
합니다.
제 11 조 (회원의 의무)
① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며,
허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다.
② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된
ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다.
③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
제 4 장 서비스의 이용
제 12 조 (서비스 이용 시간)
① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을
원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에
서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를
통해 사전에 공지합니다.
② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만
이 경우 그 내용을 공지합니다.
제 13 조 (홈페이지 저작권)
① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고
있습니다.
② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을
받아야 합니다.
③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에
합치되게 인용할 수 있습니다.
④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우
저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
제 14 조 (유료서비스)
① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에
당 사이트 홈페이지를 통하여 회원에게 공지합니다.
② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
제 5 장 계약 해지 및 이용 제한
제 15 조 (계약 해지)
회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
제 16 조 (서비스 이용제한)
① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는
경우 서비스 이용을 제한할 수 있습니다.
- 2년 이상 서비스를 이용한 적이 없는 경우
- 기타 정상적인 서비스 운영에 방해가 될 경우
② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의
일시정지, 이용계약 해지 할 수 있습니다.
제 17 조 (전자우편주소 수집 금지)
회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
제 6 장 손해배상 및 기타사항
제 18 조 (손해배상)
당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
제 19 조 (관할 법원)
서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
[부 칙]
1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.