• The Journal of the Korea Contents Association
• /
• v.6 no.2
• /
• pp.117-126
• /
• 2006

Although the Java bytecode has numerous advantages, there are also shortcomings such as slow execution speed and difficulty in analysis. In order to overcome such disadvantages, bytecode analysis and optimization must be performed. First control flow of the bytecode should be analyzed, after which information is required regarding where the variables are defined and used to conduct data flow analysis and optimization. There may be cases where variables with an identical name contain different values at a different location during the execution according to the value assigned to a variable in each location. Therefore, in order to statically determine the value and type, the variables must be separated according to allocation. In order to do so, the variables can be expressed using a static single assignment form. After the transformation into a static single assignment form, the type information of each node expressed by each variable and expression must be configured to perform static analysis and optimization. Based on the basic type information, this paper proposes a method for finding related equivalent nodes, setting the nodes with strongly connection components and efficiently assigning each node the type.

• The KIPS Transactions:PartD
• /
• v.14D no.2
• /
• pp.217-224
• /
• 2007

In order to determine the value and type statically. CTOC uses the SSA Form which separates the variable according to assignment. The SSA Form is widely being used as the intermediate expression of the compiler for data flow analysis as well as code optimization. However, the conventional SSA Form is more associated with variables rather than expressions. Accordingly, the redundant expressions are eliminated to optimize expressions of the SSA From. This paper defines the partial redundant expression to obtain a more optimized code and also implements the technique for eliminating such expressions.

• Journal of Physiology & Pathology in Korean Medicine
• /
• v.20 no.3
• /
• pp.503-515
• /
• 2006

This research is purposed to find Dong-mu's thought on 'philosophy and medical interrelationship' in his writings. It was researched with Dong-mu's chief medical writings such as ${\ulcorner}$Gyukchigo(格致藁)${\lrcorner}$ , ${\ulcorner}$Dongyi Soose Bowon(東醫壽世保元) ${\lrcorner}$ , ${\ulcorner}$Dongyi Soose Bowon Sasang Chobongyun(東醫壽世保元四象草本卷)${\lrcorner}$ , ${\ulcorner}$Dong-mu's posthumos work(東武遺稿)${\lrcorner}$ Dong-mu describe his philosophy conception with the system of The Book of change(周易). But he changes the meaning of Taegeuk(太極), LangYui(兩儀), Sasang(四象) on the respect of human being. Gyuchigo(格致藁) can be understood as social behavior pattern of Sasang constitute. From ${\ulcorner}$Gyukchigo(格致藁)${\lrcorner}$ to The theory of Sung-Meung(性命論), It is focused on Nature(性) and Order(命). Affairs- Mind - Body-Objects(事心身物) was distributed at Heaven-Human -Nature-Order(天人性命) on the respect of Human Moral. In the respect of Form-Use(體用), It is assigned to Form(體) and metaphysical philosophy. After The theory of Sa-Dan(四端論) in ${\ulcorner}$Dongyi Soose Bowon(東醫壽世保元) ${\lrcorner}$, It is focused on Nature-Emotion(性情). Affairs - Mind - Body - Objects(事心身物)is distributed at Heaven-Human -Nature-Order (天人性命) on the respect of human internal mind. In the respect of Form-Use(體用), It is assigned to Use(用) and Physical science. Sasang Constitution can be expanded to Eight COnstitution in the respect of dominant position among Nature(性) and Emotion(情).

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2003.10a
• /
• pp.121-124
• /
• 2003

A new form-joining process with the aid of an adhesive is proposed in which an epoxy adhesive is applied to a sheet metal pair, and before it cures the pair is clinched to cause the geometric constraint in the form of a protrusion. In order to reduce the forming load and the height of protrusions, a new die and punch set with a very small clearance was devised to reduce the depth of drawing and the forming load. Taguchi method was employed to find the optimal values of design parameters. To implement each case of the orthogonal array, the finite element method was used. The experiments showed that on the tensile-shear test, the bonding strength of the new form-joining process with an epoxy adhesive is approximately the same as that of the resistance spot welding; and in comparison with the other two form-joining processes with an epoxy adhesive, the height of protrusions was reduced by more than 65 percent and the forming load by 50 percent.

• Fashion & Textile Research Journal
• /
• v.13 no.2
• /
• pp.155-161
• /
• 2011

This thesis, concerning Femme Fatale Images Costume Form in paintings viewed from DeLong's Theory, analyzed frequency and traits on the basis of DeLong's Form Observation Theory and drew out the result as followings. First, Costume Form was mostly open, whole, planer integration, rounded, and indeterminate. The styles were similar each other. Second, surface structure was expressed by line & shape, color, texture, and pattern of which color had the highest priority. Next, line & shape and texture had the priority in order. They were expressed through intereaction. Third, the traits of Costume Form were a similar color harmony or large light and darkness contrast+soft quality+interaction by ambiguous line & shape. So, Femme Fatale Image in paintings was expressed by soft and pure images and erotic images.

• Steel and Composite Structures
• /
• v.22 no.2
• /
• pp.387-398
• /
• 2016

In order to evaluate the effects of U shape ultra high performance concrete (UHPC) permanent form on the behaviors of Reinforced Concrete (RC) beam, a full scale RC composite beam is designed and tested with U shape UHPC permanent form and a reference RC beam with same parameters is tested simultaneously for comparison. The effects of the permanent form on the failure mode, cracking strength, ultimate capacity and deformation are studied. Test results shows that the contributions of the U shape UHPC permanent form to the flexural cracking behaviors of RC beam are significant. This study may provide a reference for the design of sustainable RC beam with high durable UHPC permanent form.

• Journal of the Korean housing association
• /
• v.17 no.1
• /
• pp.67-75
• /
• 2006

Multi-family housings caused several problems related to physical form such as isolation of housing estate, inhumanity of the exterior space, and mismatch with the urban structure. To handle these problems, the purpose of this study is to analyse density elements which have a direct impact on physical forms, thereby understand the characteristics of physical form and also identify a meaning of inter-relationships between them. Therefore both formal constituents and density elements are reformed into respective analyzing indices. From the analysis, physical form and the spatial layout of buildings were more uniform in large-scale housing estates than in medium or small housing estates. However, small-scale housing estates showed various form and the spatial layout of buildings in order to increase the building density.

• 제어로봇시스템학회:학술대회논문집
• /
• 1999.10a
• /
• pp.116-120
• /
• 1999

The step response of the Manabe standard form[1］has little overshoot and shows almost same waveforms regardless of the order of the characteristic polynomials. In some situations it is difficult to control the rise time and settling time simultaneously of the step response of the Manabe standard form. To control its rise time and settling time efficiently, we develop the generalization of the Manabe standard form: we try to find out the SRFS(Slow Rise time & Fast Settling time) form which has the slower rise time and faster settling time than those of the Manabe standard form. we also consider the other three forms: FRSS(Fast Rise time & Slow Settling time), SRFS(Slow Rise time ＆ Fast Settling time) and SRSS(Slow Rise time & Slow Settling time) forms. In this paper, by using the genetic algorithm, we obtain all the coefficient of the four forms we mention above. Finally, we design a controller for a given plant so that the overall system has the performance that the rise time is faster, the settling time is slower than those of the Manabe standard form.

• Journal of The Korean Digital Architecture Interior Association
• /
• v.10 no.1
• /
• pp.49-56
• /
• 2010

The purpose of this study is to examine the relationship between the structural system used in modern architecture and the form and spatial composition of the buildings. The principle in stabilization of structures is closely related to the architectural form. That is, in order to stabilize a building, a special type of structural system is required and consequently shows up with consistent characteristics in the architectural form. Modern architecture can be classified into skeleton structure, trusses structure, and space structure according to the structural characteristics. Skeleton structure is then divided into a perpendicular form and tapered form. Trusses structure is categorized as dome-shaped structure and slab-shaped structure, and space structure can be divided into compressible space structure and tensile space structure. When classifies the modern building with the aspect of architectural effect, there is a possibility of trying to divide with effect of production, and its expression. Effect of production mean structural system and effect of expression mean space and plan.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2013.05a
• /
• pp.12-13
• /
• 2013

Free-form building is increasing because of request that an order to raise the value and request of the local residents and the government trying to own iconic and beautiful buildings. In addition, the installation and production of free-form concrete segment are now available because of development of construction technology, such as the development of materials and equipment. However, the production of free-form concrete segment requires a lot of time and manpower than shaping. In particular, resources of the mold for the production of free-from segment will be invested excessively because mold can not be recycled. Thus, the problems of increased costs, construction periods and loss of productivity occur. To solve these problems, this study proposes a technique of making the mold of for variable within a short time. Technique proposed in this study can be recycled die and will realize fast and accurate free-form concrete segment.