• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1996.04a
• /
• pp.249-252
• /
• 1996

This paper presents an algorithmic approach used in the development of a task-level off-line programming system for the efficient applicaiton of robot. In the method, robot tasks are graphically described with manipulation functions. By applying robot language these graphic robot tasks are converted into commands for the robot. A programming example demonstrates the potentiality of task-oriented robot programming.

• Proceedings of the Korea Water Resources Association Conference
• /
• 1992.07a
• /
• pp.419-427
• /
• 1992

• Journal of Institute of Control, Robotics and Systems
• /
• v.7 no.2
• /
• pp.173-182
• /
• 2001

Ascent trajectory optimization and optimal explicit guidance problems for a satellite launch vehicle in a 2-dimensional pitch plane are studied. The trajectory optimization problem with boundary conditions is formulated as a nonlinear programming problem by parameterizing the pitch attitude control variable, and is solved by using the SQP algorithm. The flight constraints such as gravity-turn are imposed. An optimal explicit guidance algorithm in the exoatmospheric phase is also presented, the guidance algorithm provides steering command and time-to-go value directly using the current states of the vehicle and the desired orbit insertion conditions. To verify the optimality and accuracy of the algorithm simulations are performed.

• Proceedings of the Korea Water Resources Association Conference
• /
• 1994.02a
• /
• pp.361-366
• /
• 1994

저수지 운영방안 정책결정에 있어 보다 효과적으로 적용할 수 있는 방법론의 개발이 여러측면에서 이루어져 왔다. 이중 동적계획기법의 Explicit 및 Implicit 해에 의한 최적운영방안의 검토가 한강수계의 충주댐을 대상으로 이루어졌다. 이들 방법은 한정된 과거 기록치로부터 합성유량을 발생하여 동적계획기법에 의한 충주댐 최적 운영모형에 적용하여 얻어진 상태변수 및 결정변수의 상관관계를 기준으로 도출한 운영율에 기초하여 모의운영모형을 개발할 수 있다. 개발된 모형중 Explicit 기법은 조건확율에 따른 전단계의 이산화된 유입량 조건별 운영단계의 월초저류량을 기준으로 월말 저류량은 결정하는 방법이며, Implicit 기법은 전단계 저류량 및 유입량, 운영단계 저류량 및 유입량을 대상으로 조합에 의한 회귀분석후 상관성이 우수한 운영율 방정식을 개발하게 된다. 본 연구에서는 이렇게 개발된 두가지 운영율을 기준으로 다목적 운영정책 결정을 위한 저수지 모의운영 모형을 개발하여 모형의 이행도를 평가하였다. Explicit 및 Implicit 기법에 기초한 모의모형의 평가방법은 모의치와 과거 운영실적을 비교하는 것으로 하고 Explicit 기법의 적용에서 홍수기 수문사상의 불확실성에 따른 저수지 운영 효율개선을 위하여 수정 방류량 결정방법을 도입하여 가장 적절한 저수지 운영모의모형 개발방법을 제시하고 있다.

• Journal of applied mathematics & informatics
• /
• v.12 no.1_2
• /
• pp.211-218
• /
• 2003

Let H be a Hilbert space, X be a real Banach space, A : H \longrightarrow X be an operator with D(A) dense in H, G： H \longrightarrow H be positive definite, $\chi$ $\in$ D(A) and b $\in$ H. Consider the quadratic programming problem: QP： Minimize $\frac{1}{2}$〈p, $\chi$〉 + 〈$\chi$, G$\chi$〉 subject to A$\chi$= b In this paper, we obtain an explicit solution to the above problem using generalized inverses.

• Nuclear Engineering and Technology
• /
• v.48 no.2
• /
• pp.404-418
• /
• 2016

This paper presents a documentation and development method to facilitate the certification of scientific computing software used in the safety analysis of nuclear facilities. To study the problems faced during quality assurance and certification activities, a case study was performed on legacy software used for thermal analysis of a fuelpin in a nuclear reactor. Although no errors were uncovered in the code, 27 issues of incompleteness and inconsistency were found with the documentation. This work proposes that software documentation follow a rational process, which includes a software requirements specification following a template that is reusable, maintainable, and understandable. To develop the design and implementation, this paper suggests literate programming as an alternative to traditional structured programming. Literate programming allows for documenting of numerical algorithms and code together in what is termed the literate programmer's manual. This manual is developed with explicit traceability to the software requirements specification. The traceability between the theory, numerical algorithms, and implementation facilitates achieving completeness and consistency, as well as simplifies the process of verification and the associated certification.

• East Asian mathematical journal
• /
• v.36 no.1
• /
• pp.91-99
• /
• 2020

This paper obtains an explicit expression for a debtor's consumption, porfolio and time for filing for bankruptcy when the debtor is subject to upper bound on consumption rate. The utility of consumption is CRRA type and the dynamic programming principle is applied.

• Journal of Institute of Control, Robotics and Systems
• /
• v.8 no.7
• /
• pp.613-623
• /
• 2002

Ascent trajectory optimization and explicit guidance problems for a satellite launch vehicle with yaw maneuver in a 3-dimension are considered. The trajectory optimization problem with boundary conditions is formulated as a nonlinear programming problem by parameterizing the inertial pitch and yaw attitude control variables, and is solved by using the SQP algorithm. The flight constraints such as gravity-turn and range safety conditions are imposed. An explicit inertial guidance algorithm in the exoatmospheric phase is also presented. The guidance algorithm provides steering command and time-to-go value directly using the current states of the vehicle and the desired orbit insertion conditions. The liquid propelled Delta 2910 launch vehicle is used as a numerical model.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.27 no.1
• /
• pp.66-76
• /
• 2003

The arbitrary V-notched crack problem is considered. The general expressions for the stress components on this problem are obtained as explicit series forms composed of independent unknown coefficients which are denoted by coefficients of eigenvector. For this results eigenvalue equation is performed first through introducing complex stress functions and applying the traction free boundary conditions. Next solving this equation, eigenvalues and corresponding eigenvectors are obtained respectively, and finally inserting these results into stress components, the general equations are obtained. These results are also shown to be applicable to the symmetric V-notched crack or straight crack. It can be shown that this solutions are composed of the linear combination of Mode I and Mode II solutions which are obtained from different characteristic equations, respectively. Through performing asymptotic analysis for stresses, the stress intensity factor is given as a closed form equipped with the unknown coefficients of eigenvector. In order to calculate the unknown coefficients. based on these general explicit equations, numerical programming using the overdetermined boundary collocation method which is algorithmed originally by Carpenter is also worked out. As this programming requires the input data, the commercial FE analysis for stresses is performed. From this study, for some V-notched problems, unknown coefficients can be calculated numerically and also fracture parameters are determined.

• Structural Engineering and Mechanics
• /
• v.14 no.2
• /
• pp.223-236
• /
• 2002

The main objective of the present paper is to address a formal procedure for orthotropic steel plates design. The theme of the proposed approach is to recast the design procedure into a mathematical programming model. The objective function to be optimized is the total weight of the structure. The total weight is function of its layout parameters and structural element design variables. Mean while the proposed approach takes into consideration the strength and rigidity criteria in addition to other dimensional constraints. A nonlinear programming model is developed which consists of a nonlinear objective function and a set of implicit/explicit nonlinear constraints. A transformation method is adopted for minimization strategy, where the primal model constrained problem is transformed into a sequence of unconstrained minimization models. The search strategy is based on the well-known Fletcher/Powell algorithm. The finite element technique is adopted for discretization and analysis strategies. Mindlin theory is selected to simulate the finite element model and a selective reduced integration scheme is exploited to avoid a shear lock problem.