• Transactions of the Korean Society of Mechanical Engineers
• /
• v.13 no.1
• /
• pp.1-8
• /
• 1989

A general and efficient algorithm is proposed for the analyses of multibody elastic contact problems. It is presumed that there exists negligible friction between the bodies. It utilizes a simplex type algorithm with a modified entry rule and incoporates finite element method to obtain flexibility matrices for arbitrarily shaped bodies. The multibody contact problem of a vehicle support on an elastic foundation is considered first to show the effictiveness of the suggested algorithm. Its solution is compared favorably with the existing solution. A contact problem among inner race, rollers and outer race is analyzed and the distribution of load, rigid body movements and contact pressure distributions are obtained. The trend of contact characteristics is compared with that of the idealized Hertzian solutions for two separate two-body contact problems. The numerical results obtained by directly treating a multibody contact are believed to be more exact than the Hertzian solution for the idealized two separate two-body contact problems.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.34 no.1C
• /
• pp.90-97
• /
• 2009

The advantages of the orthogonal frequency division multiplexing (OFDM) are high spectral efficiency, resiliency to RF interference, and lower multi-path distortion. To further utilize vast channel capacity of the multiuser OFDM, one has to find the efficient adaptive subchannel and bit allocation among users. In this paper, we propose an 0-1 integer programming model formulating the optimal subchannel and bit allocation problem of the multiuser OFDM. We employ a dual-decomposition method that provides a tight linear programming (LP) relaxation bound. Simulation results are provided to show the effectiveness of the 0-1 integer programming model. MATLAB simulation on a system employing M-ary quardarature amplitude modulation (MQAM) assuming a frequency-selective channel consisting of three independent Rayleigh multi-paths are carried with the optimal subchannel and bit allocation solution generated by 0-1 integer programming model.

• Journal of the Korea Society of Computer and Information
• /
• v.15 no.9
• /
• pp.47-55
• /
• 2010

Linear constraint satisfaction optimization problem is a kind of combinatorial optimization problem involving linearly expressed objective function and complex constraints. Integer programming is known as a very effective technique for such problem but require very much time and memory until finding a suboptimal solution. In this paper, we propose a method to improve the search performance by integrating local search and integer programming. Basically, simple hill-climbing search, which is the simplest form of local search, is used to solve the given problem and integer programming is applied to generate a neighbor solution. In addition, constraint programming is used to generate an initial solution. Through the experimental results using N-Queens maximization problems, we confirmed that the proposed method can produce far better solutions than any other search methods.

• Journal of the Korea Society for Simulation
• /
• v.26 no.3
• /
• pp.105-113
• /
• 2017

This study considers an optimal investment planning for improving survivability from an air threat in the layered air defense system. To establish an optimization model, we first represent the layered air defense system as a network model, and then, present two optimization models minimizing the failure probability of counteracting an air threat subject to budget limitation, in which one deals with whether to invest and the other enables continuous investment on the subset of nodes. Nonlinear objective functions are linearized using log function, and we suggest dynamic programming algorithm and linear programing for solving the proposed models. After designing a layered air defense system based on a virtual scenario, we solve the two optimization problems and analyze the corresponding optimal solutions. This provides necessity and an approach for an effective investment planning of the layered air defense system.

• The KIPS Transactions:PartD
• /
• v.17D no.5
• /
• pp.337-346
• /
• 2010

Timing diagram is popularly utilized for the reason of its advantages; it is convenient for timing diagram to describe behavior of system and it is simple for described behaviors to recognize it. Various techniques are needed to test systems described in timing diagram. One of them is a technique to derive the system into a certain condition under which a test case is effective. This paper proposes a technique to automatically generate the test input sequence to reach the condition for systems described in timing diagram. It requires a proper input set which satisfy transition condition restricted by input waveform and timing constraints to generate a test input sequence automatically. To solve the problem, this paper chooses an approach utilizing the linear programming, and solving procedure is as follows: 1) Get a Timing diagram model as an input, and transforms the timing diagram model into a linear programming problem. 2) Solve the linear programming problem using a linear programming tool. 3) Generate test input sequences of a timing diagram model from the solution of linear programming problem. This paper addresses the formal method to drive the linear programming model from a given timing diagram, shows the feasibility of our approach by prove it, and demonstrates the usability of our paper by showing that our implemented tool solves an example of a timing diagram model.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1993.04a
• /
• pp.97-97
• /
• 1993

• Computational Structural Engineering
• /
• v.17 no.3
• /
• pp.36-44
• /
• 2004

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1994.10a
• /
• pp.193-193
• /
• 1994

• The Korean Journal of Applied Statistics
• /
• v.30 no.6
• /
• pp.931-941
• /
• 2017

Typical Nonparametric methods for randomized block design with replications are two methods proposed by Mack (1981) and Mack and Skillings (1980). This method is likely to cause information loss because it uses the average of repeated observations instead of each repeated observation in the processing of each block. In order to compensate for this, we proposed a test method using linear placement statistics, which is a score function applied to the joint placement method proposed by Chung and Kim (2007). Monte Carlo simulation study is adapted to compare the power with previous methods.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.4
• /
• pp.1-8
• /
• 2009

In this paper, we deal an implementation of the software that produces sub-optimal solution of cutting-ironbar planning problem using dynamic programming. Generally, it is required to design an optimization algorithm to accept the practical requirements of cutting ironbar manufacturing. But, this problem is a multiple-sized 1-dimensional cutting stock problem and Linear Programming approaches to get the optimal solution is difficult to be applied due to the problem of explosive computation and memory limitation. In order to overcome this problem, we reform the problem for applying Dynamic Programming and propose a cutting-ironbar planning algorithm searching the sub-optimal solution in the space of fixed amount of combinated columns by using heuristics. Then, we design a graphic user interfaces and screen displays to be operated conveniently in the industry workplace and implement the software using open-source GUI library toolkit, GTK+.