• 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.

• 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.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.2155-2163
• /
• 2017

Zwegers showed that a mock theta function can be completed to form essentially a real analytic modular form of weight 1/2 by adding a period integral of a certain weight 3/2 unary theta series. This theta series is related to the holomorphic modular form called the shadow of the mock theta function. In this paper, we discuss the computation of shadows of the second order mock theta functions and show that they share the same shadow with a mock theta function which appears in the Mathieu moonshine phenomenon.

• Proceedings of the Korea Concrete Institute Conference
• /
• 1999.04a
• /
• pp.197-202
• /
• 1999

The properties of surface-glossing of exposed concrete with the kinds of form materials and form oil are investigated under various slump value. According to the experimental results, surface-glossing has high value with the increase of slump. In case of surface-glossing with the kind of the form, the form made of acryl has the best performance among the form kinds tested in this experiment. The order of surface-glossing is follows ; fancy plywood > metal form > plywood. Water solution type form oil has better performance in surface-glossing than oil solution type form oil. Also, surface-glossing get worse with the elapse of age.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2018.11a
• /
• pp.77-78
• /
• 2018

Form-work is a must for construction work. In order to secure the best condition of the form surface and to increase the number of times, the form releasing agent is applied during the process of the form-work. The base oil of the form release agent which has been used already uses the oil which directly or indirectly affects the natural environment and the concrete. In this study, the basic study on the form release agent for concrete was carried out only for the effect of adhesion. The adhesive force of the tile is measured by the mortar to determine the change of the releasing agent and the adhesive strength.

• Journal of Mechanical Science and Technology
• /
• v.20 no.12
• /
• pp.2124-2135
• /
• 2006

In this paper, the reliability estimation of pipelines is performed by employing the probabilistic method, which accounts for the uncertainties in the load and resistance parameters of the limit state function. The FORM (first order reliability method) and the SORM (second order reliability method) are carried out to estimate the failure probability of pipeline utilizing the FAD (failure assessment diagram). And the reliability of pipeline is assessed by using this failure probability and analyzed in accordance with a target safety level. Furthermore, the MCS (Monte Carlo Simulation) is used to verify the results of the FORM and the SORM. It is noted that the failure probability increases with the increase of dent depth, gouge depth, operating pressure, outside radius, and the decrease of wall thickness. It is found that the FORM utilizing the FAD is a useful and is an efficient method to estimate the failure probability in the reliability assessment of a pipeline. Furthermore, the pipeline safety assessment technique with the deterministic procedure utilizing the FAD only is turned out more conservative than those obtained by using the probability theory together with the FAD. The probabilistic method such as the FORM, the SORM and the MCS can be used by most plant designers regarding the operating condition and design parameters.

• Journal of the Korea Society of Computer and Information
• /
• v.11 no.6 s.44
• /
• pp.19-26
• /
• 2006

Redundant expressions must be eliminated in order to apply optimization for expressions in SSA Form from CTOC. This paper applied VN(Value Numbering) for this purpose. In order to carry out VN, SSAGraph must be first generated to maintain the information in the SSA Form, equivalent nodes must be found and SCC(Strongly Connected Component) generated. Equivalent nodes are assigned with an identical valnum through SCC. We could confirm elimiations for many nodes that added at SSA Form process after VN. The valnum can be applied in optimization and type inference.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2016.05a
• /
• pp.115-116
• /
• 2016

Numerous of free-form buildings come up with external appearances using various types of free-form panels. If the panel types produced, transport and installation order and maintenance history are not properly managed, it is difficult to complete a given project successfully. For free-form building projects that satisfy 5 factors (proper time, place, price, product and quantity), a supply chain management technique is applied for distribution management of free-form concrete panels. In addition, the study listed the whole production process of free-form concrete panels and any necessary information, and suggested a basic model for the management. The study result will be a great help in effective distribution management of free-form panels for free-form building projects.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2019.05a
• /
• pp.83-84
• /
• 2019

Free-form buildings refer to geometric external structures in curved form, unlike conventional structures with straight lines. The development of construction technologies for the implementation of these Free-form buildings is ongoing. However, there are still many restrictions on the construction technology of Free-form buildings, resulting in problems such as increased construction period and increased construction costs. Therefore, it is urgent to develop building technology for the construction of Free-form building in order to secure competitiveness in the global Free-form building market. Accordingly, this study proposes Two-sided multi-point press technology that can solve problems of existing technology and implement FCP(Free-form Concrete Panel).

• Journal of Institute of Control, Robotics and Systems
• /
• v.5 no.3
• /
• pp.324-337
• /
• 1999

In this work, a new 3-PSP type spatial 3-degree-of-freedom parallel mechanism is proposed. And a 6 DOF hybrid manipulator which consists of a 3-PPR type planar 3 DOF parallel mechanism and a new 3-PSP type spatial 3-degree-of-freedom parallel mechanism is proposed. Both 3 DOF mechanism modules have closed-form forward position solutions and particularly, 3-PSP spatial module has unique forward position solution. Firstly, the closed-form position analysis and first-order kinematic analysis for the proposed 3-PSP type module are carried out, and the first-order kinematic characteristics are examined via maximum singular value and the isotropic index of the mechanism. It is shown through these analyses that the mechanism has excellent isotrpic property throughout the workspace. Secondly, position and kinematic analysis of the 3-PPR planar module are briefly described. Thirdly, the forward position analysis for the 3-PPR 3-PSP type 6 degree-of-freedom hybrid mechanism consisting of a 3-PPR planar module and a 3-PSP spatial module is performed along with the analysis of the workspace size and first-order kinematic characteristics. The kinematic characteristics of the proposed hybrid manipulator are compared to those of geometrically similar Stewart manipulator.