• 정보처리학회논문지D
• /
• 제15D권2호
• /
• pp.197-206
• /
• 2008

최근 많이 사용되고 있는 자바 바이트코드의 분석과 최적화를 효율적으로 수행하기 위해 CTOC 프레임워크가 구현되었다. CTOC에서는 바이트코드에 대해 분석과 최적화를 수행하기 위해 가장 먼저 eCFG를 생성하였다. 분석하기 어렵다는 바이트코드의 특성 때문에 기존의 바이트 코드를 제어 흐름 분석에 적합하게 확장하여 제어 흐름 그래프를 작성하였다. 이를 확장된 제어 흐름 그래프인 eCFG라 부른다. 또한 정적으로 분석하기 위해 eCFG를 SSA Form으로 변환 하였다. 변환 시 많은 프로그램에서 루프가 발견되었다. 이전 CTOC에서는 루프에 대한 처리를 수행하지 않은 상태에서 직접 SSA Form으로 변환을 수행하였다. 하지만 SSA Form으로 변환하기 이전에 루프에 대한 부분을 처리하면 더욱 효율적인 SSA Form을 생성할 수 있게 된다. 본 논문은 루프에 대한 처리를 효율적으로 하기 위해 eCFG를 SSA Form으로 변환하는 과정 이전에 루프를 발견하고 이와 관련된 루프 트리를 생성하는 과정을 보인다.

• 한국컴퓨터정보학회논문지
• /
• 제13권5호
• /
• pp.27-35
• /
• 2008

최근 웹 어플리케이션 분야에서 많이 사용되고 있는 자바 바이트코드의 분석과 최적화 과정을 효율적으로 수행하기 위해 CTOC 프레임워크를 개발하였다. CTOC는 바이트코드에 대해 분석과 최적화를 수행하기 위해 E-Tree를 중간 표현으로 사용하는 eCFG를 생성한다. eCFG는 바이트코드에 대한 제어 흐름 분석에 적합하도록 확장한 제어 흐름 그래프이다. 또한, 바이트코드를 정적으로 분석하기 위해 E-Tree를 SSA Form으로 변환한다. 이러한 변환과정 중 프로그램의 많은 부분에서 루프가 발견된다. 하지만 기존의 CTOC에서는 루프에 대한 처리를 수행하지 않은 상태에서 직접 SSA Form으로 변환을 수행하였다. 하지만 SSA Form으로 변환 이전에 루프를 처리하면 더욱 효율적인 SSA Form을 생성할 수 있게 된다. 따라서 본 논문에서는 루프에 대한 처리를 효율적으로 하기 위해 E-Tree를 SSA Form으로 변환하는 과정 이전에 eCFG에서 루프를 발견하고 이와 관련된 루프 트리를 생성한 후 루프 벗기기를 수행하는 과정을 보인다.

• 대한수학회보
• /
• 제54권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.

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 1999년도 봄 학술발표회 논문집(I)
• /
• 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.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2018년도 추계 학술논문 발표대회
• /
• 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
• /
• 제20권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.

• 한국컴퓨터정보학회논문지
• /
• 제11권6호
• /
• pp.19-26
• /
• 2006

CTOC에서 SSA Form으로 변경된 표현식에 대해 최적화를 적용하기 위해선 중복된 표현식을 제거하여야 한다. 본 논문에서는 이를 위해 VN(Value Numbering)을 적용하였다. VN을 수행하기 위해서 우선 SSA Form 형태로 정보를 유지하는 SSAGraph를 생성하고, 그래프에서 동등한 노드를 찾은 후, SCC(Strong1y Connected Component)를 생성한다. SCC를 통해 동등한 노드에 같은 valnum을 설정하게 된다. VN을 수행한 결과 SSA Form 수행 과정에서 추가되었던 많은 노드에 대한 제거를 확인할 수 있었다. 설정된 valnum은 최적화와 타입 추론에 적용된다.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2016년도 춘계 학술논문 발표대회
• /
• 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.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2019년도 춘계 학술논문 발표대회
• /
• 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).

• 제어로봇시스템학회논문지
• /
• 제5권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.