• Journal of the Institute of Convergence Signal Processing
• /
• v.2 no.4
• /
• pp.77-84
• /
• 2001

Since Hopfield introduced the neural network for liner programming problems many papers have been published about it and some of them are about nonlinear programming problems Therefore nonlinear, cost function problem has been solved however nonlinear constraints problem has not been solved In this paper I have proposed the general nonlinear programming neural networks which minimize cost function with nonlinear constraints.

• Journal of Institute of Control, Robotics and Systems
• /
• v.4 no.5
• /
• pp.600-607
• /
• 1998

일반적인 비선형 동역학 최적화문제를 비선형 프로그래밍 문제로 변환하는데 제어변수들을 방사성 기본 함수로 근사화하는 방법이 사용되었다. 방사성 기본 함수의 계수들을 연속적으로 보정하기 위하여 최소수정기법에 기초를 둔 비선형 프로그래밍 알고리즘이 연구되었다. 이러한 알고리즘을 실제적인 다변수 제어 시스템에 적용하여 성능을 검증하였다.

• Journal of the Korea Computer Graphics Society
• /
• v.8 no.3
• /
• pp.25-34
• /
• 2002

최근 프로그래밍이 가능한 그래픽스 프로세서(GPU)의 등장은 렌더링 속도의 향상은 물론 기존의 GPU가 할 수 없었던 다양한 그래픽스 계산을 효과적으로 수행할 수 있도록 해주고 있다. 이로 인하여 기존에 CPU 상에서 수행해야만 했던 그래픽스 계산들의 일부를 GPU 상에서 수행하도록 해주는 기법들에 대한 연구가 활발히 진행되고 있다. 본 논문에서는 선형식에 기반을 둔 여러 응용 문제들을 GPU 상에서 효율적으로 구현할 수 있도록 도와주는 쉐이더 코드 최적화 기법을 제안한다. 이 기법은 SIMD 형태의 병렬 처리 능력을 가진 버텍스 쉐이더의 명령어에 맞게 고안되었다. 본 기법의 활용 가능성을 보이기 위하여 미분 방정식을 풀기 위한 4차 런지-쿠타 방법, 선형방정식을 풀기 위한 가우스-자이델 방법, 자연스러운 유체 모델링을 위한 파동 방정식 등의 문제에 적용하여 보았다. 본 논문에서 제안한 최적화 기법은 버텍스 쉐이더 용 컴파일러 구현에 쓰일 수 있으며, 향후 프로그래밍이 가능한 GPU 상에서의 실시간 그래픽스 소프트웨어 개발에 유용하게 사용될 수 있을 것이다.

• International Journal of Highway Engineering
• /
• v.14 no.1
• /
• pp.1-8
• /
• 2012

The horizontal alignment of road is deeply related with the stability of the road and traffic capacity. It is necessary to analyze horizontal alignment of road accurately for efficient maintenance of the road and relevance judgment about the standard. Recently the study on horizontal alignment of road using Lidar data and GPS was concluded, but they were many problem analyzing horizontal alignment radius of curvature in wide area. In this study, the tool which the radius of curvature can evaluate the suitability about "Rules about the Road Structure & Facilities Standards" by using center lines of the road of the digital map tries to implement on GIS. The interface was designed and implemented which can automatically estimate the Road Centerline Horizontal Alignment by using $ESRI^{(R)}$ $ArcObject^{TM}$.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.40 no.11
• /
• pp.62-72
• /
• 2003

This paper deals with a crosstalk minimization method by wire spacing. The suggested method uses linear programming method and consider crosstalk of both horizontal segments and vertical segments. In this paper, we suggest a method which can predict the coupling length between vertical segments in the final routing result using longest path algorithm. By the suggested method, we can make LP problem without integer variable. Therefore, it is much faster to solve the problem. In the case of crosstalk optimization, the suggested method optimized peak crosstalk 11.2%, and 3% total crosstalk more than wire perturbation method. The execution time of the suggested method is as fast as it takes 11 seconds when Deutsch is optimized.

• Journal of KIISE:Computer Systems and Theory
• /
• v.34 no.8
• /
• pp.327-336
• /
• 2007

Lots of effort toward design optimizations have been paid for a cost-effective system design in various ways from a transistor level to RTL designs. In this paper, we propose a bit level optimization of an adder design for expanding its design space. For the bit-level optimization, a heterogeneous adder organization utilizing a mixture of carry propagation schemes is proposed to design a delay-area efficient adder which were not available in an ordinary design space. Then, we develop an optimization method based on Integer Linear Programming to search the expanded design space of the heterogeneous adder. The novelty of the Proposed architecture and optimization method is introducing a bit level reconstruction/recombination of IPs which have same functionality but different speed and area characteristics for producing more find-grained delay-area optimization.

• Information Systems Review
• /
• v.5 no.2
• /
• pp.203-217
• /
• 2003

Constraint Programming and Optimization have developed in different fields to solve common problems in real world. In particular, constraint propagation and linear Programming are their own fundamental and complementary techniques with the potential for integration to benefit each other. This intersection has evoked the efforts to combine both for a solution method to combinatorial optimization problems. Attempts to combine them have mainly focused on incorporating either technique into the framework of the other with traditional models left intact. This paper argues that integrating both techniques into an old modeling fame loses advantages from another and the integration should be molded in a new framework to be able to exploit advantages from both. The paper propose a declarative modeling framework in which the structure of the constraints indicates how constraint programming and optimization solvers can interact to solve problems.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10c
• /
• pp.33-35
• /
• 1998

선형논리는 Girard에 의해 소개되었으며, 고전논리의 확장이다. 최근에는 형할당 시스템으로 λ$\mu$-논리의 연구가 성행중이며 함수프로그래밍 언어가 발전할 수 있는 계기가 되었다. λ$\mu$-논리에서의 계산은 형추론 연역과정이다. λ$\mu$-논리의 카테고리로의 해석 λ$\mu$＊-논리를 이용하여 분배카테고리를 일차적으로 구성하고 함수의 흐름을 구체적으로 나타내는 준함수로써 회로 카테고리Cir(CLL*)를 설계하였다. 특히 전산처리에서 흔히 사용하는 큐(Queues)로써 선형고전논리 기증을 온전히 발휘할 수 있음을 지적한다.

• Tunnel and Underground Space
• /
• v.28 no.6
• /
• pp.651-669
• /
• 2018

This study suggests the prediction model to estimate the specific energy of a pick cutter using a gene expression programming (GEP) and particle swarm optimization (PSO). Estimating the performance of mechanical excavators is of crucial importance in early design stage of tunnelling projects, and the specific energy (SE) based approach serves as a standard performance prediction procedure that is applicable to all excavation machines. The purpose of this research, is to investigate the relationship between UCS and BTS, penetration depth, cut spacing, and SE. A total of 46 full-scale linear cutting test results using pick cutters and different values of depth of cut and cut spacing on various rock types was collected from the previous study for the analysis. The Mean Squared Error (MSE) associated with the conventional Multiple Linear Regression (MLR) method is more than two times larger than the MSE generated by GEP-PSO algorithm. The $R^2$ value associated with the GEP-PSO algorithm, is about 0.13 higher than the $R^2$ associated with MLR.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.49 no.1
• /
• pp.21-30
• /
• 2021

Mid-course trajectory of the missiles equipped with seeker should be designed to detect target within FOV of seeker and to maximize the maneuverability at the point of transition to terminal guidance phase. Because the trajectory optimization problems are generally hard to obtain the analytic solutions due to its own nonlinearity with several constraints, the various numerical methods have been presented so far. In this paper, mid-course trajectory optimization problem for boost-glide missiles is calculated by using SOCP (Second-Order Cone Programming) which is one of convex optimization methods. At first, control variable augmentation scheme with a control constraint is suggested to reduce state variables of missile dynamics. And it is reformulated using a normalized time approach to cope with a free final time problem and boost time problem. Then, partial linearization and lossless convexification are used to convexify dynamic equation and control constraint, respectively. Finally, the results of the proposed method are compared with those of state-of-the-art nonlinear optimization method for verification.