• 대한수학회보
• /
• 제26권2호
• /
• pp.203-209
• /
• 1989

Recently many authors [2,3,5,6] proved the existence of zeros of accretive operators and estimated the range of m-accretive operators or compact perturbations of m-accretive operators more sharply. Their results could be obtained from differential equations in Banach spaces or iteration methods or Leray-Schauder degree theory. On the other hand Kirk and Schonberg [9] used the domain invariance theorem of Deimling [3] to prove some general minimum principles for continuous accretive operators. Kirk and Schonberg [10] also obtained the range of m-accretive operators (multi-valued and without any continuity assumption) and the implications of an equivalent boundary conditions. Their fundamental tool of proofs is based on a precise analysis of the orbit of resolvents of m-accretive operator at a specified point in its domain. In this paper we obtain a sufficient condition for m-accretive operators to have a zero. From this we derive Theorem 1 of Kirk and Schonberg [10] and some results of Morales [12, 13] and Torrejon[15]. And we further generalize Theorem 5 of Browder [1] by using Theorem 3 of Kirk and Schonberg [10].

• 한국수학사학회지
• /
• 제29권5호
• /
• pp.295-314
• /
• 2016

In tropical geometry, the sum of two numbers is defined as the minimum, and the multiplication as the sum. We learned that dynamic programming in tropical algebraic geometry can be used to find the shortest path in graphs. We have also learned about the Bezout's Theorem, which is a theorem concerning the intersections of tropical plane curves, and the stable intersection principle.

• 한국경영과학회지
• /
• 제26권4호
• /
• pp.39-45
• /
• 2001

Maximum and minimum of rendom variables are frequently encountered in the stochastic modelling for various OR problems. We summarize and extend characteristics of maximum and minimum, emphasizing the case in which random variables are independent and all of them except one are distributed exponential. As an application, we derive a transform-free expression for the M/G/1 queue length distribution.

• 대한기계학회논문집A
• /
• 제25권9호
• /
• pp.1461-1467
• /
• 2001

This paper proposes a new approach for the ant-swing control of overhead cranes. The proposed control consists of a model-based anti-swing control scheme and a practical path planning scheme. The anti-swing control scheme is designed based on the Lyapunov stability theorem; the proposed control does not require the usual constraints of small load mass, small load swing, slow hoisting speed, and small hoisting distance, but guarantees asymptotic stability while keeping all internal signals bounded. The path planning scheme is designed based on the concepts of minimum-time control and anti-swing control; the proposed path planning generates near-minimum-time trajectories independently of hoisting speed and distance. The effectiveness of the proposed control is shown by computer simulation.

• 전산구조공학
• /
• 제11권1호
• /
• pp.161-170
• /
• 1998

길이가 긴 원통형 실린더를 구성하는 데에 사용될 조인트 부재에 대한 공차설계를 수행하였다. 즉, 원통형 실린더를 체결할 때 사용되는 조인트 부품 가운데 스터드 볼트를 최소 민감도해석에 의해 공차설계를 하였다. 조인트 부재의 공차설계를 위한 최소 민감도 해석에 의한 정식화는 목적함수가 폰 마이세스 응력의 공차에 대한 민감도이고, 여러 부등호 제약식 중에서 자중이 부등호 제안식에 포함된다. 조인트 부재의 경우 자중에 대한 타당한 부등호 제안식을 설정하기 위하여 우선 확정적인 경우에 대한 최적설계를 수행하여 그 범위값을 선정하였다. 원통형 부재의 구조 응답은 축대칭 유한요소로서 구조해석을 수행하여 제안식을 설정하였으며, 직접미분에 의해서 설계 민감도를 구하여 ,최적화 알고리즘과 결합하여 최적의 공차를 제시하였다.

• 품질경영학회지
• /
• 제7권2호
• /
• pp.7-10
• /
• 1979

In this paper the Rao-Blackwell and Lehmann-$Scheff{\acute{e}}$ Theorem are used to drive the minimum variance unbiased estimators of system reliability for a number of distributions when a system consists of n Components whose random life times are assumed to be independent and identically distributed. For the case of a negative exponential life time, we obtain the maximum likelihood estimator of the system reliability and compair it with minimum variance unbiased estimator of the system reliability.

• Structural Engineering and Mechanics
• /
• 제18권1호
• /
• pp.1-20
• /
• 2004

The paper presents a numerical method for the limit analysis of structures made of a rigid no-tension material. Firstly, we formulate the constrained minimum problem resulting from the application of the kinematic theorem, which characterizes the collapse multiplier as the minimum of all kinematically admissible multipliers. Subsequently, by using the finite element method, we derive the corresponding discrete minimum problem in which the objective function is linear and the inequality constraints are linear as well as quadratic. The method is then applied to some examples for which the collapse multiplier and a collapse mechanism are explicitly known. Lastly, the solution to the minimum problem calculated via numerical codes for quadratic programming problems, is compared to the exact solution.

• 대한수학회보
• /
• 제60권3호
• /
• pp.561-574
• /
• 2023

In this paper, we focus on establishing the MacWilliams-type identities on vectorial Boolean functions with bent component functions. As their applications, we provide a bound for the non-existence of vectorial dual-bent functions with prescribed minimum degree, and several Gleason-type theorems are presented as well.

• KIEE International Transactions on Power Engineering
• /
• 제2A권3호
• /
• pp.121-128
• /
• 2002

This study proposes a new method for transmission system expansion planning using fuzzy integer programming. It presents stepwise cost characteristics analysis which is a practical condition of an actual system. A branch and bound method which includes the network flow method and the maximum flow - minimum cut set theorem has been used in order to carry out the stepwise cost characteristics analysis. Uncertainties of the permissibility of the construction cost and the lenient reserve rate and load forecasting of expansion planning have been included and also processed using the fuzzy set theory in this study. In order to carry out the latter analysis, the solving procedure is illustrated in detail by the branch and bound method which includes the network flow method and maximum flow-minimum cut set theorem. Finally, case studies on the 21- bus test system show that the algorithm proposed is efficiently applicable to the practical expansion planning of transmission systems in the future.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2001년도 추계학술대회 논문집 전력기술부문
• /
• pp.350-353
• /
• 2001

This study proposes a new method for the transmission system expansion planning using the fuzzy integer programming. It presents stepwise cost characteristics analysis which is a practical condition of an actual systems. A branch and bound method which includes the network flow method and the maximum flow-minimum cut set theorem has been used in order to proceed the stepwise cost characteristics analysis. Uncertainties of the permission of the construction cost and not strict reserve rate and load forecasting of expansion planning have been included and also processed using fuzzy set theory in this study. In order to proceed the latter analysis, the solving procedure is illustrated in detail by branch and bound method which includes the network flow method and maximum flow-minimum cut set theorem. Finally, case studies on 21-bus test system show that the algorithm proposed is efficiently applicable to the practical expansion planning of transmission systems in future.