• Title/Summary/Keyword: tree conversion process

Search Result 18, Processing Time 0.026 seconds

Implementation of Loop Peeling in CTOC (CTOC에서 루프 벗기기 구현)

  • Kim, Ki-Tae;Kim, Je-Min;Yoo, Weon-Hee
    • Journal of the Korea Society of Computer and Information
    • /
    • v.13 no.5
    • /
    • pp.27-35
    • /
    • 2008
  • The CTOC framework was implemented to efficiently perform analysis and optimization of the Java bytecode that is often being used lately. In order to analyze and optimize the bytecode from the CTOC, the eCFG was first generated. Due to the bytecode characteristics of difficult analysis, the existing bytecode was expanded to be suitable for control flow analysis. and the control flow graph was drawn. We called eCFG(extended Control Flow Graph). Furthermore, the eCFG was converted into the SSA Form for a static analysis. Many loops were found in the conversion program. The previous CTOC performed conversion directly into the SSA Form without processing the loops. However, processing the loops prior to the SSA Form conversion allows more efficient generation of the SSA Form. This paper examines the process of finding the loops prior to converting the eCFG into the SSA Form In order to efficiently process the loops, and exhibits the procedures for generating the loop tree.

  • PDF

INTERACTIVE SYSTEM DESIGN USING THE COMPLEMENTARITY OF AXIOMATIC DESIGN AND FAULT TREE ANALYSIS

  • Heo, Gyun-Young;Lee, Tae-Sik;Do, Sung-Hee
    • Nuclear Engineering and Technology
    • /
    • v.39 no.1
    • /
    • pp.51-62
    • /
    • 2007
  • To efficiently design safety-critical systems such as nuclear power plants, with the requirement of high reliability, methodologies allowing for rigorous interactions between the synthesis and analysis processes have been proposed. This paper attempts to develop a reliability-centered design framework through an interactive process between Axiomatic Design (AD) and Fault Tree Analysis (FTA). Integrating AD and FTA into a single framework appears to be a viable solution, as they compliment each other with their unique advantages. AD provides a systematic synthesis tool while FTA is commonly used as a safety analysis tool. These methodologies build a design process that is less subjective, and they enable designers to develop insights that lead to solutions with improved reliability. Due to the nature of the two methodologies, the information involved in each process is complementary: a success tree versus a fault tree. Thus, at each step a system using AD is synthesized, and its reliability is then quantified using the FT derived from the AD synthesis process. The converted FT provides an opportunity to examine the completeness of the outcome from the synthesis process. This study presents an example of the design of a Containment Heat Removal System (CHRS). A case study illustrates the process of designing the CHRS with an interactive design framework focusing on the conversion of the AD process to FTA.

Constructing A Loop Tree in CTOC (CTOC에서 루프 트리 구성하기)

  • Kim, Ki-Tae;Kim, Je-Min;Yoo, Weong-Hee
    • The KIPS Transactions:PartD
    • /
    • v.15D no.2
    • /
    • pp.197-206
    • /
    • 2008
  • The CTOC framework was implemented to efficiently perform analysis and optimization of the Java bytecode that is often being used lately. In order to analyze and optimize the bytecode from the CTOC, the eCFG was first generated. Due to the bytecode characteristics of difficult analysis, the existing bytecode was expanded to be suitable for control flow analysis, and the control flow graph was drawn. We called eCFG(extended Control Flow Graph). Furthermore, the eCFG was converted into the SSA Form for a static analysis. Many loops were found in the conversion program. The previous CTOC performed conversion directly into the SSA Form without processing the loops. However, processing the loops prior to the SSA Form conversion allows more efficient generation of the SSA Form. This paper examines the process of finding the loops prior to converting the eCFG into the SSA Form in order to efficiently process the loops, and exhibits the procedures for generating the loop tree.

Effects of Drinking Rhus Tree-Extract on Performance of Broiler (옻나무 추출액의 음수투여가 육계의 생산성에 미치는 영향)

  • 손장호;김상호
    • Korean Journal of Poultry Science
    • /
    • v.31 no.1
    • /
    • pp.25-31
    • /
    • 2004
  • The effect of drinking rhus tree-extract on performance of broiler was performed to investigate development of natural antibiotic in process of broilers production. A total of 320 broiler chicks at 1 day of age were fed the commercial diet and water, drinking water containing 0 ppm(control), 500 ppm (T1), 1,000 ppm (T2) and 2,000 ppm (T3) of rhus tree-extract fur seven weeks. The body weight gain and fred conversion ratio were not different by drinking rhus tree-extract until 35 days of age, but body weight gain and feed conversion ratio were tend to improve by drinking rhus tree-extract over 35 days of age, the improvement was higher in both T$_1$, and T$_3$ than control group(p<0.05) when 35 to 42 days of age. There was a decrease in the microflora population of both E. coli. end Salmonella in the cecum contents and feaces in broilers by drinking rhus tree-extract. The digestibility of dry matter, crude fat, and crude ash of feed were tend to increased in broiler drinking rhus tree-extract. Digestibility of crude protein of feed in broiler three treated groups was significantly improved (p<0.15) as compared with those in control group. These results indicated that the drinking rhus tree-extract were effective in the body weight gain, feed conversion ratio, decreasing of microflora population of both E. coli and Salmonella in the cecum contents and feaces, and it had also effective the digestibility of nutrients in broilers.

Adaptive Conversion of Web Content for Mobile Terminals (이동단말을 위한 적응적 웹 문서 변환)

  • Kang, Sueng-Chun;Chung, Kwang-Sue
    • Journal of KIISE:Computing Practices and Letters
    • /
    • v.6 no.6
    • /
    • pp.635-642
    • /
    • 2000
  • In this paper, we proposed an efficient document conversion mechanism to provide a adaptive web document to mobile terminals. We also proposed a RHTML(Reduced HTML) to archive the adaptive tag reduction. Markup error correction process in the proposed adaptive document conversion mechanism converts a HTML(HyperText Markup Language) document into a XML(Extensible Markup Language) application document. This. process makes web document easy to handle with a DOM (Document Object Mode)) as the tree model and removes the hardware overhead in mobile terminals. Also, tag reduction process provides the adaptive web document with three DTD(Document Type Definition)s in the RHTML.

  • PDF

Development of a Wood Recovery Estimation Model for the Tree Conversion Processes of Larix kaempferi (낙엽송 제재에 따른 이용재적 산출 모델의 개발)

  • Kwon, Kibeom;Han, Hee;Seol, Ara;Chung, Hyejean;Chung, Joosang
    • Journal of Korean Society of Forest Science
    • /
    • v.102 no.4
    • /
    • pp.484-490
    • /
    • 2013
  • This study was conducted to develop a simulation model for estimating the amount of such products as round wood, dimension lumber and the residual wood biomass produced by processing the individual trees of Larix kaempferi. In the model, the stem volume is assessed using the taper equations of the species to estimate the stem forms. Then, the model simulates the conversion processes of logs to round wood or lumber and assesses the maximum amount of the wood products by the lumber dimensions or round wood size. Also the model provides information on the amount of residuals for kerf and slabs produced on the conversion processes for sawn timber or round wood. According to the results of an application of the model to a L. kaempferi process, the trees greater than 12 cm of DBH can be converted to logs for lumber or round wood production. For the trees, of which DBH is available for log conversion, the maximum amount of final products by dimensions were analyzed. In this analysis, production of the bigger dimension lumber was assumed to be preferred to that of the smaller or round wood. This model can be used for assesment of forest economic value through estimation of merchantable volume for the trees, and assessment of mill residues which has the potential to provide significant amount of feedstock for bioenergy production as well.

Design of Formalized message exchanging method using XMDR (XMDR을 이용한 정형화된 메시지 교환 기법 설계)

  • Hwang, Chi-Gon;Jung, Kye-Dong;Choi, Young-Keun
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.12 no.6
    • /
    • pp.1087-1094
    • /
    • 2008
  • Recently, XML has been widely used as a standard for a data exchange, and there has emerged the tendency that the size of XML document becomes larger. The data transfer can cause problems due to the increase in traffic, especially when a massive data such as Data Warehouse is being collected and analyzed. Therefore, an XMDR wrapper can solve this problem since it analyzes the tree structures of XML Schema, regenerates XML Schema using the analyzed tree structures, and sends it to each station with an XMDR Query. XML documents which are returned as an outcome encode XML tags according to XML Schema, and send standardized messages. As the formalized XML documents decrease network traffic and comprise XML class information, they are efficient for extraction, conversion, and alignment of data. In addition, they are efficient for the conversion process through XSLT, too, as they have standardized forms. In this paper we profuse a method in which XML Schema and XMDR_Query sent to each station are generated through XMDR(extended Meta-Data Registry) and the generation of products and XML conversion occur in each station wrapper.

Program Plagiarism Detection based on X-treeDiff+ (X-treeDiff+ 기반의 프로그램 복제 탐지)

  • Lee, Suk-Kyoon
    • Journal of the Institute of Electronics Engineers of Korea CI
    • /
    • v.47 no.4
    • /
    • pp.44-53
    • /
    • 2010
  • Program plagiarism is a significant factor to reduce the quality of education in computer programming. In this paper, we propose the technique of identifying similar or identical programs in order to prevent students from reckless copying their programming assignments. Existing approaches for identifying similar programs are mainly based on fingerprints or pattern matching for text documents. Different from those existing approaches, we propose an approach based on the program structur. Using paring progrmas, we first transform programs into XML documents by representing syntactic components in the programs with elements in XML document, then run X-tree Diff+, which is the change detection algorithm for XML documents, and produce an edit script as a change. The decision of similar or identical programs is made on the analysis of edit scripts in terms of program plagiarism. Analysis of edit scripts allows users to understand the process of conversion between two programs so that users can make qualitative judgement considering the characteristics of program assignment and the degree of plagiarism.

Failure analysis of capacitor for sub-module in HVDC (HVDC 서브모듈용 커패시터의 고장 분석)

  • Kang, Feel-soon;Song, Sung-Geun
    • Journal of IKEEE
    • /
    • v.22 no.4
    • /
    • pp.941-947
    • /
    • 2018
  • In general, capacitors have a large influence on the life of the system due to frequent charging and discharging. In this paper, we analyze the cause of the core failure of high voltage, high current HVDC sub-module film capacitor and analyze the precautions of the capacitor design and manufacturing process. First, the cause of the fault, the failure mode, and the effect are analyzed through the FMEA of the capacitor. To quantitatively evaluate the causes and effects of faults that have the greatest effect on the failure of a capacitor, a fault tree for the capacitor is presented and the failure rate is analyzed according to the design parameters and the driving conditions. It is verified that the main cause of capacitor failure is the capacitance change, and it is necessary to minimize the temperature rise, corona occurrence, electrode expansion, and insulation distance decrease during capacitor design and manufacturing process in order to reduce the failure rate of the capacitor.

Estimation of Carbon Absorption Distribution by Land Use Changes using RS/GIS Method in Green Land (RS/GIS를 이용한 토지이용변화에 의한 녹지의 이산화탄소 (CO2) 흡착량 분포 추정)

  • Na, Sang-Il;Park, Jong-Hwa;Park, Jin-Ki
    • Journal of The Korean Society of Agricultural Engineers
    • /
    • v.52 no.3
    • /
    • pp.39-45
    • /
    • 2010
  • Quantification of carbon absorption and understanding the human induced land use changes (LUC) forms one of the major study with respect to global climatic changes. An attempt study has been made to quantify the carbon absorption by LUC through remote sensing technology. The Landsat imagery four time periods was classified with the hybrid classification method in order to quantify carbon absorption by LUC. Thereafter, for estimating the amount of carbon absorption, the stand biomass of forest was estimated with the total weight, which was the sum of individual tree weight. Individual tree volumes could be estimated with the crown width extracted from digital forest cover type map. In particular, the carbon conversion index and the ratio of the $CO_2$ molecular weight to the C atomic weight, reported in the IPCC guideline, was used to convert the stand biomass into the amount of carbon absorption. Total carbon absorption has been modeled by taking areal estimates of LUC of four time periods and carbon factors for land use type and standing biomass. Results of this study, through LUC suggests that over a period of construction, 7.10 % of forest and 9.43 % of barren were converted into urban. In the conversion process, there has been a loss of 6.66 t/ha/y (7.94 %) of carbon absorption from the study area.