• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2010.05a
• /
• pp.1335-1336
• /
• 2010

• Journal of Computing Science and Engineering
• /
• v.2 no.3
• /
• pp.301-320
• /
• 2008

Partial redundancy elimination (PRE) is an interesting compiler optimization because of its effectiveness and generality. Among many PRE algorithms, the one in static single assignment form (SSAPRE) has benefits over other bit-vector-based PRE algorithms. It preserves the properties of the SSA form after PRE and exploits the sparsity of the SSA form, resulting in reduced analysis and optimization time. This paper presents a practical improvement of the SSAPRE algorithm that further reduces the analysis and optimization time. The underlying idea is removing unnecessary ${\Phi}$'s during the ${\Phi}$-Insertion phase that is the first step of SSAPRE. We classify the expressions into three categories: confined expressions, local expressions, and the others. We show that unnecessary ${\Phi}$'s for confined and local expressions can be easily detected and removed. We implement our locality-based SSAPRE algorithm in a C compiler and evaluate its effectiveness with 20 applications from SPEC benchmark suites. In our measurements, on average 91 of ${\Phi}$'s identified by the original demand-driven SSAPRE algorithm are unnecessary for PRE. Pruning these unnecessary ${\Phi}$'s in the ${\Phi}$-Insertion phase makes our locality-based SSAPRE algorithm 1.8 times faster, on average, than the original SSAPRE algorithm.

• Transactions of Materials Processing
• /
• v.8 no.4
• /
• pp.356-363
• /
• 1999

This paper discusses some techniques for the determination of optimum blank size and pre-form design for multi-stepped deep drawing of oval shell. The deep drawing process of oval shape has been regarded as more difficult than that of cylindrical shell because of its complicated behavior of plastic deformation. But there is insufficient information in this area to carry out successful deep drawing work of irregular products such as oval, rectangular, and square shapes. In order to find the optimum conditions, the drawing apparatus for two kinds of pre-form design are built, a series of drawing experiments performed, and thickness stain distributions measured. From the results of thess suggested experiments, various optimum process variables are observed and discussed.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.9 no.6
• /
• pp.101-108
• /
• 2010

The drum clutch investigated in this study is formed in 5 forming steps, which are 1st deep drawing, 2nd deep drawing, restriking, embossing, and $Grob^{TM}$ processes. Dimensional accuracy of the final products greatly depends upon how much more accurate pre-form is manufactured in the previous forming processes before the $Grob^{TM}$ process. The deep drawing, restriking and embossing processes in which the pre-form is formed are very important and decisive steps. Thus in some cases, excessive strain by these operations causes dimensional inaccuracy and cracks initiated from the base and wall of the product. Process variables such as the punch shapes both of 1st and 2nd deep drawing, and punch angle were selected to evaluate the deformation characteristics. The optimum parameters were determined from forming simulations using commercial FEM codes, DEFORM and Tauchi method, specifically developed for metal forming simulation. Finally, experiments for the whole drum clutch forming processes were carried out to verify the optimized forming parameters and the analytical results.

• Bulletin of the Korean Chemical Society
• /
• v.32 no.5
• /
• pp.1559-1563
• /
• 2011

Thermal hydrogenation of phenylacetylene (PA, $C_8H_6$) to styrene ($C_8H_8$) on pre-$C_xH_y$- and C-covered Cu(111) single crystal substrates has been studied using temperature-programmed desorption (TPD) mass spectrometry. Chemisorbed PA with an acetylene group has been proved to be associated with hydrogen of pre-adsorbed $C_xH_y$ to form styrene (104 amu) on Cu surface. For the parent (PA) mass (102 amu) TPD profile, the TPD peaks at 360 K and 410 K are assigned to chemisorbed vertically aligned PA and flat-lying cross-bridged PA, respectively (J. Phys. Chem. C 2007, 111, 5101). The relative $I_{360K}/I_{410K}$ TPD ratio dramatically increases with increasing pre-adsorbed $C_xH_y$ before dosing PA, while the ratio does not increase for pre-C-covered surface. For PA on pre-$C_xH_y$-covered Cu(111) surface, styrene desorption is enhanced relative to the parent PA desorption, while styrene formation is dramatically quenched on pre-C-covered (lack of adsorbed hydrogen nearby) surface. It appears that only cross-bridged PA associates with adsorbed hydrogen to form styrene that promptly desorbs at 410 K, while vertically aligned PA is less likely to participate in forming styrene.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.10
• /
• pp.6673-6678
• /
• 2015

Recently, the free form buildings are constructed frequently. Exterior and interior components of these buildings have the free cross-section and a curved shape. So, There are many usages of classical finite element having tapered section and free-style shape. Some general commercial applications like ETABS, SAP2000, MIDAS are usually used for the safety evaluation of the free form structures. However, there are some limits in the accuracy of structural analysis and the length of analysis time because a very complicated finite element mesh have to be used. Therefore, In this study, a pre and post program module was developed to take advantage of general 3-D curved beam element which has a free-style curved shape and mathematical backgrounds. Pre-post processing module has been developed in this study was developed to control the curvature of the curved members by the NURBS control points. As a result, fast geometric modeling than was possible commercial applications. In addition, realistic depiction of the shape and behavior patterns were possible because of the free-form building allows visual check of the free form.

• Steel and Composite Structures
• /
• v.13 no.1
• /
• pp.71-89
• /
• 2012

The paper investigates beam lateral buckling stability according to linear and non-linear models. Closed form solutions for single-symmetric cross sections are first derived according to a non-linear model considering flexural-torsional coupling and pre-buckling deformation effects. The closed form solutions are compared to a beam finite element developed in large torsion. Effects of pre-buckling deflection and gradient moment on beam stability are not well known in the literature. The strength of singly symmetric I-beams under gradient moments is particularly investigated. Beams with T and I cross-sections are considered in the study. It is concluded that pre-buckling deflections effects are important for I-section with large flanges and analytical solutions are possible. For beams with T-sections, lateral buckling resistance depends not only on pre-buckling deflection but also on cross section shape, load distribution and buckling modes. Effects of pre-buckling deflections are important only when the largest flange is under compressive stresses and positive gradient moments. For negative gradient moments, all available solutions fail and overestimate the beam strength. Numerical solutions are more powerful. Other load cases are investigated as the stability of continuous beams. Under arbitrary loads, all available solutions fail, and recourse to finite element simulation is more efficient.

• Molecules and Cells
• /
• v.41 no.10
• /
• pp.889-899
• /
• 2018

Intrinsically disordered proteins (IDPs) are highly unorthodox proteins that do not form three-dimensional structures under physiological conditions. The discovery of IDPs has destroyed the classical structure-function paradigm in protein science, 3-D structure = function, because IDPs even without well-folded 3-D structures are still capable of performing important biological functions and furthermore are associated with fatal diseases such as cancers, neurodegenerative diseases and viral pandemics. Pre-structured motifs (PreSMos) refer to transient local secondary structural elements present in the target-unbound state of IDPs. During the last two decades PreSMos have been steadily acknowledged as the critical determinants for target binding in dozens of IDPs. To date, the PreSMo concept provides the most convincing structural rationale explaining the IDP-target binding behavior at an atomic resolution. Here we present a brief developmental history of PreSMos and describe their common characteristics. We also provide a list of newly discovered PreSMos along with their functional relevance.

• The Research Journal of the Costume Culture
• /
• v.9 no.3
• /
• pp.501-510
• /
• 2001

This study is focused on apparel textile design process applying pre-developed Korean traditional motifs. Since the fusion culture is in trend, Orientalism or Oriental look is the center of attraction in fashion. Under the circumstances, developing the traditional resources as sophisticated Korean-style is the goal of the BK21 team. This study makes a move to achieve the goal. As a method of accomplishing this study, 4 trendy motif samples such as stylized letter, butterfly, peony, and female face are selected after investigating fashion magazines and fashion related websites. As a result, pre-developted Korean traditional motifs are elected and revised using Adobe Illustrator 9.0. The newly revised motifs are applied to the textile pattern repeat form. The completed textile patterns are simulated on the simulated on the shawls to show their usages as one of souvenir items since the year of 2001 is the year of “Visit Korea”.

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

This study is a mock-up experiment prior to field application of insulated gang form. In order to investigate concrete Heating cost in winter, pre-comparison was made before application.