• Journal of Advanced Marine Engineering and Technology
• /
• v.32 no.5
• /
• pp.753-758
• /
• 2008

A CAM program for forming design Automated of CAM for Spring using car was developed in this study. This program was written in AUTO LISP on the AUTO CAD system with a personal. An approach to the system is based on the kinemateic of the object function. We make a determination of an cam programming. A CAM spline is continuous in displacement. velocity and acceleration. This program which can design Coil Spring shapes will successfully support CAN designing and manufacturing for Small & Medium companies.

• 한국신재생에너지학회:학술대회논문집
• /
• 2010.11a
• /
• pp.191-191
• /
• 2010

As many researchers want to predict or assess more about wind condition and wind power generation, CFD(Computational Fluid Dynamics) analysis method is very good way to do predict or assess wind condition and power generation. But CFD analysis is needed much knowledge of aerodynamics and physical fluid theory. In this paper, Auto-Wind CFD analysis program will be introduced. User does not need specific knowledge of CFD or fluid theory. This program just needs topographical data and wind data for initial condition. Then all of process is running automatically without any order of user. And this program gives for user to select and set initial condition for advanced solving CFD. At the last procedure of solving, Auto-Wind program shows analysis of topography and wind condition of target area. Moreover, Auto-Wind can predict wind power generation with calculation in the program. This Auto-Wind analysis program will be good tool for many wind power researchers in real field.

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

In general, test data generation techniques require the specification of an entire program path for automated test data generation. This paper presents a new way for generating test data automatically een without specifying a program path completely. For the ends, this paper presents a technique for transforming a program under test into Alloy which is the first order relational logic and then producing test data via Alloy analyzer. The proposed method reduces the burden of selecting a program path and also makes it easy to generate test data according to various test adequacy criteria. This paper illustrates the proposed method through simple, but illustrative examples.

• The KIPS Transactions:PartD
• /
• v.16D no.3
• /
• pp.371-380
• /
• 2009

Recently, lots of research on automated test data generation has been actively done. However, techniques for automated test data generation presented so far have been proved ineffective for programs with flag variables. It can present problems when considering embedded systems such as engine controllers that make extensive use of flag variables to record state information concerning devices. This paper introduces a technique for generating test data effectively for programs with flag variables. The presented technique transforms the test data generation problem into a SAT(SATisfiability) problem and makes advantage of SAT solvers for automated test data generation(ATDG). For the ends, we transform a program under test into Alloy which is the first-order relational logic and then produce test data via Alloy analyzer.

• Proceedings of the Optical Society of Korea Conference
• /
• 2008.07a
• /
• pp.403-404
• /
• 2008

This report described the development of Vision Inspector program which can simulate numerically the image acquisition process of Machine Vision System for automatic optical inspection of any products. The program consists of an illuminator, a product to be inspected, and a camera with image sensor, and the final image obtained by ray tracing.

• Journal of Institute of Control, Robotics and Systems
• /
• v.12 no.8
• /
• pp.834-841
• /
• 2006

Recently, many enterprises are installing AMSs(Automated Manufacturing Systems) for their competitive advantages. As the level of automation increases, proper design and validation of control logic is a imperative task for the successful operation of AMSs. However, current discrete event simulation methods mainly focus on the performance evaluation. As a result, they lack the modeling capabilities for the detail logic of automated manufacturing system controller. Proposed in this paper is a method of validation of the controller logic for automated material handling system using an object-oriented design and simulation. Using this method, FA engineers can validate the controller logic easily in earlier stage of system design, so they can reduce the time for correcting the logic errors and enhance the productivity of control program development Generated simulation model can also be used as a communication tool among FA engineers who have different experiences and disciplines.

• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• pp.2679-2683
• /
• 2011

The purpose of this study is to develop automated structural design and analysis aided-program of aluminum extrusion carbody structures for railway vehicle. This developed program is possible to perform simultaneously structural design and design verification of aluminum extrusion profiles independent of expertise and experience of design engineers. Design engineers was able to design it using database of existing aluminum extrusion profiles or user-defined function. The design verification was programmed to evaluate its structural integrity according to Korean Railway Safety Law or Urban Transit Safety Law. Also, this program could automatically generate an executable file of various commercial finite element program and CAD files such as stp and iges by GUI environment applications using MFC(Microsoft Foundation Classes). In conclusion, it is expected to contribute to reduce product development time and improve product quality of aluminum extrusion profile and structures in railway industry.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2011.10a
• /
• pp.519-524
• /
• 2011

The aim of this study is to develop an automated program for noise prediction in shipboard compartments, for this purpose of calculating noise levels accurately and quickly. The program calculates sound power level at HVAC components based on the empirical method suggested by NEBB and utilizing the manufacturer's test data. The program developed uses the GUI functions to help in efficient modeling and calculation. To verify the reliability of developed program, the predicted data was compared with the measured data in shipboard compartments. As a result, the average difference between predicted and measured data is ${\pm}3dB$.

• Steel and Composite Structures
• /
• v.13 no.6
• /
• pp.561-570
• /
• 2012

Seismic collapse analysis requires efficient and automated method to perform thousands of time history analyses. The paper introduced the advantages of speed and convergence property of explicit method, provided a few techniques to accelerate speed of calculation and developed an automated procedure for collapse assessment, which combines the strong capacity of commercial explicit finite element software and the flexible, intelligent specialties of control program written in FORTRAN language aiming at collapse analysis, so that tedious and heavy work of collapse analysis based on FEMAP695 can be easily implemented and resource of calculation can be made the best use of. All the key commands of control program are provided to help analyzers and engineers to cope with collapse assessment conveniently.

• Journal of Korean Society of Steel Construction
• /
• v.12 no.5 s.48
• /
• pp.475-485
• /
• 2000

In this study, an automated optimum design program for steel box girder bridges has been developed for the optimum design of composite steel box girder bridges. The design constraints required for the optimum design of steel box girder bridges are based on the Korean standard bridge specification. Considering characteristics of steel box girder bridges, several approximation techniques, such as artificial constraint deletion, variable linking and stress reanalysis technique etc. are also introduced to enhance the efficiency of optimization. The developed program is mainly composed of major sub-system modules including structural analysis module using commercial structural analysis program such as RM-SPACEFRAME, optimum design module, pre-process module for friendly user input, and post-processor module for office automation. In addition, in order to demonstrate the efficiency and applicability of the developed optimum design program for steel box girder bridges, a few numerical examples are applied. Based on the results of the application, it may be stated that the automatic optimum design program developed in this study can be a prototype model for the developement of optimum design program for other type of bridge.