• Proceedings of the Korean Geotechical Society Conference
• /
• 2006.03a
• /
• pp.394-401
• /
• 2006

This study developed two dimensional finite element program(FE-SCP) for the analysis of a composite ground reinforced by sand compaction piles with a low area replacement ratio based on the Mohr-Coulomb elastic perfectly plastic constitutive model. Program FE-SCP give some conveniences to users such as automatic mesh generation according to the replacement ratio and the effective sand pile diameter in the post processor. Also, it contains optimum processor in calculation of In-situ stress equilibrium considering different coefficient of earth pressure between sand pile and surrounding clay. Estimated stress-strain behavior using FE-SCP and the measured one from a centrifuge test showed good agreement comparing to the result from a general finite element program.

• Journal of Korean Association for Spatial Structures
• /
• v.12 no.1
• /
• pp.43-50
• /
• 2012

Recently, due to the advanced computer technology, momental architectures have been designed and built using features that are very sophisticated. People's interest in free-form structural system has increased steadily not only nationwide, but also worldwide. However, there were many difficulties in the materialization of free-form structural system owing to the lack of technique and research. To solve this problem, this study performs the interface between the 3D modeling program and the optimization program. In the 3D modeling program, it is possible to automatic mesh generation and immediately to information extraction. It performs the shape optimization. Consequently, this research designs the example model and performs optimization in order to verify the developed interface module.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.4
• /
• pp.265-269
• /
• 2009

Formal specification plays important roles in guaranteeing software safety of safety-critical systems such as nuclear power plant's digital control systems. We had developed a technique [1] which synthesizes Function Block Diagram(FBD) programs from NuSCR formal requirements specifications, but it did not be used widely as it had no automatic tool support. FBD is one of the programming languages for Programmable Logic Controllers(PLC) based system. This paper introduces a CASE tool, NuSCRtoFBD, developed to automate the synthesis procedure. The CASE tool NuSCRtoFBD can reduce a number of errors occurred in the process of manual FBD programming.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2004.05b
• /
• pp.203-207
• /
• 2004

This treatise presents that a possibility of non-musician's composition. In fart, as a development of music composition program(used by IAVA) helps to compose music easily, but non-musician still feels hard to compose some musics and perform some musics even though the band-in-a-box is already existed(which is an auto accompaniment program). This treatise shows non-musicians' special music composition way. Select a cord and put the cord to special program which ratted ‘the cord composition program’, and then the cord composition program creates the rest cords. After this progress, non-musicians overwrite their own melodies in accordance with created cords. Finally, they can perform their own musics with the sound of master-keyboard and other sound sources using by the band-in-a-box program.

• The KIPS Transactions:PartA
• /
• v.14A no.1 s.105
• /
• pp.31-38
• /
• 2007

Code Optimization is converting to a code that is equivalent to given program but more efficient, and this process is processed in Code Optimizer. This paper designed and processed Code Optimizer Generator that automatically generates Code Optimizer. In other words Code Optimizer is automatically generated for DFA Pattern Matching which finds the optimal code for the incoming pattern description. DFA Pattern Matching removes redundancy comparisons that occur when patterns are sought for through normalization process and improves simplification and structure of pattern shapes for low cost. Automatic generation of Code Optimization for DFA Pattern Matching eliminates extra effort to generate Code Optimizer every time the code undergoes various transformations, and enables formalism of Code Optimization. Also, the advantage of making DFA for optimization is that it is faster and saves cost of Code Optimizer Generator.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.28 no.1
• /
• pp.133-142
• /
• 2010

To monitor composition and change of the national land, intelligent topographical classifier which enables accurate classification of land-cover types from airborne LiDAR data is highly required. We developed a topographical classifier development support system cooperating with da1a mining tool WEKA to help users to construct accurate topographical classification systems. The topographical classifier development support system has the following functions; superposing LiDAR data upon corresponding aerial images, dividing LiDAR data into tiles for efficient processing, 3D visualization of partial LiDAR data, feature from tiles, automatic WEKA input generation, and automatic C++ program generation from the classification rule set. In addition, with dam mining tool WEKA, we can choose highly distinguishable features by attribute selection function and choose the best classification model as the result topographical classifier. Therefore, users can easily develop intelligent topographical classifier which is well fitted to the developing objectives by using the topographical classifier development support system.

• Proceedings of the Korean Powder Metallurgy Institute Conference
• /
• 2006.09b
• /
• pp.1276-1277
• /
• 2006

The ever increasing requirements on today's compacts with regard to their geometry and precision call for flexible high-precision and most capable production systems. DORST Technologies has coped with these requirements by developing the new HP series for pressing forces between 1600 kN and 16000 kN and the new HS series for pressing forces between 150 kN and 1200 kN. These fully hydraulic presses featuring upper ram, lower ram, core rod, filler, up to 4 lower tool levels and up to 4 upper tool levels with closed-loop controlled movements. Thanks to latest servo technology and an electronic bus system it is possible to have all movements closed-loop controlled in the desired relation to each other. Thus, today's hydraulic presses provide high stroke rates, low energy consumption and a user-friendly interface. The input of data is carried out via clearly arranged screen masks on a touch-screen. The innovative DORST $IPG^{(R)}$ (Intelligent Program Generator) has been designed to support the set-up staff in preparing and optimizing the toolprogram. The combination of the machine type with the hydraulic unit determines the productivity in consideration of the specific application and the part to be pressed. Thanks to the closed-loop control circuits, DORST hydraulic automatic presses of the latest generation ensure unmatched precision and repeatability - and consequently process reliability - often without necessitating subsequent machining steps.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.4
• /
• pp.1765-1794
• /
• 2019

Genetic Programming (GP) is an intelligence technique whereby computer programs are encoded as a set of genes which are evolved utilizing a Genetic Algorithm (GA). In other words, the GP employs novel optimization techniques to modify computer programs; imitating the way humans develop programs by progressively re-writing them for solving problems automatically. Trial programs are frequently altered in the search for obtaining superior solutions due to the base is GA. These are evolutionary search techniques inspired by biological evolution such as mutation, reproduction, natural selection, recombination, and survival of the fittest. The power of GAs is being represented by an advancing range of applications; vector processing, quantum computing, VLSI circuit layout, and so on. But one of the most significant uses of GAs is the automatic generation of programs. Technically, the GP solves problems automatically without having to tell the computer specifically how to process it. To meet this requirement, the GP utilizes GAs to a "population" of trial programs, traditionally encoded in memory as tree-structures. Trial programs are estimated using a "fitness function" and the suited solutions picked for re-evaluation and modification such that this sequence is replicated until a "correct" program is generated. GP has represented its power by modifying a simple program for categorizing news stories, executing optical character recognition, medical signal filters, and for target identification, etc. This paper reviews existing literature regarding the GPs and their applications in different scientific fields and aims to provide an easy understanding of various types of GPs for beginners.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.31A no.3
• /
• pp.53-67
• /
• 1994

This paper describes the design of a high-level synthesis system. SODAS-VP. which automatically generates hardwares executing operation sequences in pipelined fashion.Target architecture and clocking schemes to drive pipelined datapath are determined, and the handling of pipeline hazards which degrade the performance of pipeline is considered. Partitioning of an operation into load, operation, and store stages, each of which is executed in partitiones control step, is performend. Pipelinecl hardware is generated by handling pipeline hazards with internal forwarding or delay insertion techniques in partitioning process and resolving resource conflicts among the partitioned control steps with similarity measure as a priority function in module allocation process. Experimental results show that SODAS-VP generates hardwares that execute faster than those generated by HAL and ALPS systems. SODAS-VP brings improvement in execution speed by 17.1% and 7.4% comparing with HAL and ALPS systems for a MCNC benchmark program, 5th order elliptical wave filter,respectively.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.19 no.6
• /
• pp.1351-1362
• /
• 1995

A method to estimate the torsional critical speed for practical rotors has been developed in this study. First, the rotor with a uniform shaft segment is modeled for undamped torsional motion analysis, while satisfying all the boundary conditions. This eventually generates governing equations for the torsional critical speeds of the system. The set of governing equations has the form of a sparse and banded matrix. The elements of banded matrix can be arranged in partitions, which correspond to the specific boundary of the rotor. This permits an automatic generation of the system matrix using a computer. In order to calculate the determinant generated by the simultaneous equations, which leads to the torsional critical speed, a recurring numerical algorithm for a (3*4) sub-matrix has been used. This numerical algorithm practically examines successive (3*4) sub-matrix, one at a time, instead of treating a huge matrix. The output of the program provides the mode shapes with continuous curves. The method has been implemented to three rotors given as examples : a simple rotor, Prohl's rotor, and Macmillan rotor.