• Korean Journal of Computational Design and Engineering
• /
• v.16 no.3
• /
• pp.167-177
• /
• 2011

This paper describes an ontology-based intelligent CAD system for injection mold design, which has been developed based on a commercial CAD system called Unigraphics and an ontological framework for representing the implicit design knowledge as well as the explicit based on the extended function-behavior-structure (FBS) engineering design model that includes the constraint. The system also provides various convenient solid modeling capabilities for mold design and the design process modeling capability that facilitates mold redesign process.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.9 no.2
• /
• pp.77-84
• /
• 1984

In this paper, the method of the stability test of the Two-Dimensional digital filters is developed. The Liepunov's stability theorem of One-Dimensional discrete system is extended to Two-Dimensional digital filter transfer function which can be transformed twodimensional state space representation. The results developed above is agreed with of mapping method.

• Proceedings of the KIEE Conference
• /
• 1999.07b
• /
• pp.963-965
• /
• 1999

A linear chromosome combined with a grid-based representation of the network and a new crossover operator allow the evolution of the architecture and the weights simultaneously. In our approach there is no need for a separate weight optimization procedure and networks with more than one type of activation function can be evolved. In this paper one evolutionary' strategy of a given dual neural controller was introduced and the simulation results were described in detail through applications to a stabilization control of an Inverted Pendulum System.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2003.05a
• /
• pp.1108-1115
• /
• 2003

This paper Introduces a method to automate process design using Case Based Reasoning technique. A case is represented hierarchically through functional requirement, behavioral model, and process mechanism model Specifically, a case retrieval algorithm to use function and behavior, case adaptation method to use hierarchical case representation, and a machine selection method are presented.

• Proceedings of the IEEK Conference
• /
• 2003.11b
• /
• pp.91-94
• /
• 2003

In this paper, we present a simple framework to measure BRDF(Bidirectional Reflectance Distribution Function) values of objects and to render them using the values more realistically. There are lots of BRDF measurement methods, but the methods have been separated from the effective rendering of the values. Therefore, we suggest the framework which includes the BRDF measurement methods of objects and the effective rendering methods of the measured BRDF data. Before measuring the BRDFs, we do light sources analysis, camera calibration and display device characterization. After measuring them, we apply them to the characterized display device for rendering effectively and realistically.

• Communications of the Korean Mathematical Society
• /
• v.22 no.4
• /
• pp.509-512
• /
• 2007

We aim at deriving Gauss's second summation theorem for the series $_2F_1(1/2)$ by using Euler's integral representation for $_2F_1$. It seems that this method of proof has not been tried.

• Communications for Statistical Applications and Methods
• /
• v.13 no.1
• /
• pp.167-175
• /
• 2006

It has long been recognized that cancer is a genetic disease. To find this measures of genetic instability, stain cells with chromosome specific probes using chromosome in-situ hybridization technique is adopted. Even though in-situ hybridization technique is powerful, truncation of nuclei often results in under-representation of chromosome copies in slides due to the sectioning of tissue blocks. Because of this problem we suggest three different methods to analyze the cervical cancer data set. We observe that genetic instability is an increasing function of histology and our suggested model is the best in detecting genetic instability of tumorigenesis processes.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 1998.06b
• /
• pp.51-54
• /
• 1998

This paper describes the development of the 3DDAC mk.4 system, which is a brand new implementation on the research program. The 3DDAC is a fatigue-less stereoscopic display system that is provided with a compensating function of accommodation for binocular disparity 3D image representation. The mk.4 system also features a light-weight HMD style.

• Journal of the Chungcheong Mathematical Society
• /
• v.29 no.3
• /
• pp.515-521
• /
• 2016

This paper deals with linear impulsive differential equations with non-integer orders. We provide the explicit representation of solutions of linear impulsive fractional differential equations with constant coefficient by mean of the Mittag-Leffler functions.

• Proceedings of the Safety Management and Science Conference
• /
• 2008.04a
• /
• pp.333-337
• /
• 2008

The Balanced scorecard has been evolved in various function. In the various functional Balanced scorecard, this paper focuses on the reverse logistics BSC, and the decision the weights of Key Performance Indicators. In this paper, a combination of Balanced scorecard and value evaluation based approach proposed multi-criteria provides a more accurate representation of the problem for measuring company.