http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
An efficient Abstract Domain for the Static Analysis of AND-parallelism
Kim, Hie-cheol,Lee, Chang-Sik,Lee, Yong-Doo 大邱大學校 科學技術硏究所 1997 科學技術硏究 Vol.4 No.2
Logic programming has many advantages as a paradigm for parallel programming since it offers ease of programming while retaining high expressive power due to its declarative semantics. In parallel logic programming, one of the important issues is the compile -time parallelism detection. Static data-dependency analysis has been widely used to gather some information needed for the detection of AND-parallelism. However, the static data-dependency analysis cannot fully detect the AND-parallelism because it does not provide some necessary functions such as the propagation of groundness. As an alternative approach, the abstract interpretation is a promising way to deal with AND-parallelism detection, while a full-blown abstract interpretation is not efficient in terms of computation since it inherently employs some complex operations not necessary for gathering the information on AND-parallelism. In this paper, we propose an abstract domain which can provide a precise and efficient way to use the abstract interpretation in the detection of AND-parallelism of logic programs.
Evaluation of I/O Performance on a Parallel Transaction Processing System
Kim, Hie-cheol,Sin, Jung-Hun,Lee, Yong-Doo 大邱大學校 科學技術硏究所 1997 科學技術硏究 Vol.4 No.2
Databases have several characteristics that affect differently the memory hierarchy and the IO system from the scientific benchmarks. In this paper, we provide in depth analysis made with respect to the following points : the balance of computing power between the processing node and the IO nodes. CPU clock speed, Xcent switch clock speed, Inter-Cluster Xcent switch of the SPAX system being developed in the ETRI. The evaluation results shows that it is very important to design a parallel transaction system balanced between the computation power and the I/O power. Also, both the number of input buffers and the clock speed of the Xcent switch not have any significant effect on the system performance. This finding provides an evidence that the current configuration of the SPAX does hardly benefit from the increase of the switch clock speed and the number of buffers of the switches for the benchmarks similar to the TPC-B. Importantly, the analysis shows that some evaluation other than the TPC-B is essential for the more accurate performance evaluation of the interconnection network of the SPAX system because the TPC-B benchmark inherentpy presents only light data movement between clusters, while the data movement mostly is made between inside clusters.
김희철(Kim Hie Cheol),이용두(Lee Yong Doo) 한국정보처리학회 1998 정보처리학회논문지 Vol.5 No.7
This paper presents a systematic approach to the compilation of logic programs for efficient clause indexing. As the kernel of the approach, we propose the indexing tree which provides a simple, but precise representation of average parallelism per node (i.e., choice point) as well as the amount of clause trials. It also provides the way to evaluate the number of the cases that the control is passed to the failure code by the indexing instruction such as switch_on_term, switch_on_constant, or switch_on_structure. By analyzing the indexing tree created when using the indexing scheme implemented in the WAM, we show the drawback of the WAM indexing scheme in terms of parallelism exposition and scheduling efficiency. Subsequently we propose a new indexing scheme, which we call the Flat indexing. The experiment result shows that over one half of the benchmarks benefit from the Flat indexing such that, compared with the WAM indexing scheme, the number of choice points is reduced by 15%. Moreover, the amount of failures which occurs during the execution of indexing instructions is reduced by 35%.
수직 분할 태스크 모델 기반의 IEEE 802.15.4 소프트웨어 구현과 성능평가
김희철(Hie Cheol Kim),유성은(Seong Eun Yoo) 한국산업정보학회 2014 한국산업정보학회논문지 Vol.19 No.1
IEEE 802.15.4의 물리계층은 저속, 저전력, 저가격 기반의 LR-WPAN(Low-Rate Wireless Personal Area Network) 의 물리계층으로 세계적으로 가장 많이 사용되고 있다. IEEE 802.15.4에 대한 기존의 많은 이론 연구들은 저전력 무선네트워크 환경에서의 에너지효율성, 전송처리율, 전송신뢰성에 대한 거시적 이해와 안목을 제공하는 중요한 결과들을 산출하고 있다. 이 논문에서는 이러한 이론연구에 실환경 요소를 보완하기 위해 MAC(Medium Access Control)소프트웨어 구조부터 실제 네트워크 기반 성능분석에 이르는 실험연구를 수행한다. 연구에서는 수직분할 모델의 네트워킹 스택의 MAC 계층 기능으로 IEEE 802.15.4 MAC 스택을 구현하고 이를 네트워킹 스택에 통합하여 시험 · 분석을 수행한다. 이 연구에서 도출한 네트워크 소프트웨어 모델과 실험결과는 향후 IEEE 802.15.4 MAC 소프트웨어의 구현과 실용적인 네트워크 스택 환경에서의 성능에 참고자료로 활용될 수 있다. IEEE 802.15.4 is one of the most widely adopted physical layer standards in the area of LR-WPAN(Low-Rate Wireless Personal Area Network). Numerous previous researches have contributed to deep insights on energy efficiency, transmission throughput, and reliability that IEEE 802.15.4 delivers to the LR-WPAN. As a research that is orthogonal and complementary to previous researches, we explore the implementation and practical performance evaluation of IEEE 802.15.4 MAC software. We implement the MAC software from the perspective of the networking stack, exploring the issues raised when the MAC software serves as a functional component in a complete networking stack consisting of MAC, network as well as application support layers. The performance is evaluated on a realistic experimental software environment integrated with operating system, networking stack, and applications.
김희철(Kim Hie Cheol),신필섭(Shin Pil Sup),박영진(Park Young Jin),이용두(Lee Yong Doo) 한국정보처리학회 1999 정보처리학회논문지 Vol.6 No.9
Over the Internet, in order to utilize a collection of idle computers as a parallel computing platform, we propose a new scheme called GICE (Global Internet Computing Environment). GICE is motivated to obtain high programmability, efficient support for heterogeneous computing resources, system scalability, and finally high performance. The programming model of GICE is based on a single address space. GICE is featured with a Java based programming environment, a dynamic resource management scheme, and efficient parallel task scheduling and execution mechanisms. Based on a prototype implementation of GICE, we address the concept, feasibility, complexity and performance of Internet computing.
Joung Sug Kim,Hyang-Mi Park,Kyong Mi Jun,Tae-Ho Lee,Duk-Ju Hwang,Sung-Dug Oh,Jong-Sug Park,Dae-Geun Song,Cheol-Ho Pan,Doil Choi,Yul-Ho Kim,Baek Hie Nahm,Yeon-Ki Kim 한국육종학회 2014 한국육종학회 심포지엄 Vol.2014 No.07
The perturbation of the steady state of reactive oxygen species due to biotic and abiotic stresses in a plant could lead to protein denaturation through the modification of amino acid residues, including the oxidation of methionine residues. Methionine sulfoxide reductases (MSRs) catalyze the reduction of methionine sulfoxide back to the methionine residue. To assess the role of this enzyme, we generated transgenic rice using a pepper CaMSRB2 gene under the control of the rice Rab21 promoter with/without a selection marker, the bar gene. A drought resistance test on transgenic plants showed that CaMSRB2 confers drought tolerance to rice, as evidenced by less oxidative stress symptoms and a strengthened PSII quantum yield under stress conditions, and increased survival rate and chlorophyll index after the re-watering. The results from immunoblotting using a methionine sulfoxide antibody and nano-LC-MS/MS spectrometry suggest that porphobilinogen deaminase (PBGD), which is involved in chlorophyll synthesis, is a putative target of CaMSRB2. The oxidized methionine content of PBGD expressed in E. coli increased in the presence of H2O2, and the Met-95 and Met-227 residues of PBGD were reduced by CaMSRB2 in the presence of dithiothreitol. An expression profiling analysis of the overexpression lines also suggested that photosystems are less severely affected by drought stress. Our results indicate that CaMSRB2 might play an important functional role in chloroplasts for conferring drought stress tolerance in rice