• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.48 no.7
• /
• pp.863-871
• /
• 1999

While Logic Based Expert System (LBES) has a merit of rapid and complete inference, it also has a defect of huge knowledge base. Hierarchical LBES (HLBES) replaces the assertion time inference of LBES with the multi-level logic minimization procedure, and it guarantees smaller knowledge base comparing with LBES. This paper has two contributions. The one is proposing so-called fact-minimization procedure which reduces not only the number of facts or measured events but also the size of knowledge base dramatically. The other contribution is application of HLBES and the proposed fact-minimization to the fault diagnosis of power system. The application is successfully performed in the example with the transmission system which takes 72 goals and 352 facts.

• Journal of Korean Institute of Industrial Engineers
• /
• v.19 no.2
• /
• pp.3-13
• /
• 1993

In this study, we develop a B & B type algorithm for the concave minimization problem with 0-1 knapsack constraint. Our algorithm reformulates the original problem into the singly linearly constrained concave minimization problem by relaxing 0-1 integer constraint in order to get a lower bound. But this relaxed problem is the concave minimization problem known as NP-hard. Thus the linear function that underestimates the concave objective function over the given domain set is introduced. The introduction of this function bears the following important meanings. Firstly, we can efficiently calculate the lower bound of the optimal object value using the conventional convex optimization methods. Secondly, the above linear function like the concave objective function generates the vertices of the relaxed solution set of the subproblem, which is used to update the upper bound. The fact that the linear underestimating function is uniquely determined over a given simplex enables us to fix underestimating function by considering the simplex containing the relaxed solution set. The initial containing simplex that is the intersection of the linear constraint and the nonnegative orthant is sequentially partitioned into the subsimplices which are related to subproblems.

• Journal of Ocean Engineering and Technology
• /
• v.33 no.6
• /
• pp.495-503
• /
• 2019

Approximately 90,000 ships are registered in South Korea, and about 80,000 of these ships are used in domestic shipping. Among these, 84% are small ships, such as a fishing vessels that weigh less than 20 tons and are made mostly of an FRP (Fiber Reinforced Plastics). When this fact is taken into account, the greenhouse gas emissions that are released per ton of a composite vessel are sizeable. In this study, the laminated structures of an FRP fishing vessel, many of which currently are being built in Korea, were analyzed by ISO (International Organization for Standardization) and international design rules, and the structures of the hulls are lightweight with optimum glass fiber mass content as determined by the laminate weight minimization algorithm. As a result, it was confirmed that the laminations of the vessels in accordance with the Korean rule could have 6.4% to approximately 11% more design margin compared to the requirements of ISO and other international rules. And the case study of the application of the laminate weight minimization algorithm showed the possibility of reducing the weight of the hull bottom plating by as much as about 19.32% and by as much as about 18.06% in the overall structure.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.12 no.10
• /
• pp.749-757
• /
• 2002

Excessive vibration in flexible structures is a problem encountered in many different fields, causing fatigue of structural components. Passive techniques, though sometimes limited in their capabilities, have been used in the past to attenuate vibrations. Recently active techniques have been developed to enhance vibration control performance beyond that provided by their passive counterparts. Most often, the focus of active control methods has been to suppress structure displacements. In cases where vibration results in structure failures, displacement suppression may not be the best choice of control approaches (it can, in fact, increase dynamic loads which would be even more harmful to supports) . This paper presents two optimal control methods for attenuating steady state vibrations in flexible structures. One method minimizes shaft displacements while another minimizes dynamic reaction forces. The two methods are applied to a model of a typical flexible structure system and their results are compared. It is found that displacement minimization can increase loads, while load minimization decreases loads.

• Journal of Computing Science and Engineering
• /
• v.4 no.3
• /
• pp.189-206
• /
• 2010

It is generally accepted that dynamic voltage scaling (DVS) is one of the most effective techniques of energy minimization for real-time applications in embedded system design. The effectiveness comes from the fact that the amount of energy consumption is quadractically proportional to the voltage applied to the processor. The penalty is the execution delay, which is linearly and inversely proportional to the voltage. According to the granularity of tasks to which voltage scaling is applied, the DVS problem is divided into two subproblems: inter-task DVS problem, in which the determination of the voltage is carried out on a task-by-task basis and the voltage assigned to the task is unchanged during the whole execution of the task, and intra-task DVS problem, in which the operating voltage of a task is dynamically adjusted according to the execution behavior to reflect the changes of the required number of cycles to finish the task before the deadline. Frequent voltage transitions may cause an adverse effect on energy minimization due to the increase of the overhead of transition time and energy. In addition, DVS needs to be carefully applied so that the dynamically varying chip temperature should not exceed a certain threshold because a drastic increase of chip temperature is highly likely to cause system function failure. This paper reviews representative works on the theoretical solutions to DVS problems regarding inter-task DVS, intra-task DVS, voltage transition, and thermal-aware DVS.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2001.11b
• /
• pp.1126-1131
• /
• 2001

Excessive vibration in rotating machinery is a problem encountered in many different fields, causing such difficulties as fatigue of machinery components and failure of supporting bearings. Passive techniques, though sometimes limited in their capabilities, have been used in the past to attenuated vibrations. Recently active techniques have been developed to provide vibration control perform beyond that provided by their passive counters. Most often, the focus of active control methods has been to suppress rotating machinery displacements. In cases where vibration results in bearing failures, displacement suppression may not be the best choice of control approaches (it can, in fact, increase dynamic bearing loads which would be even more harmful to bearings). This paper presents two optimal control methods for attenuating steady state vibrations in rotating machinery. One method minimizes shaft displacements while the other minimizes dynamic bearing reaction forces. The two methods are applied to a model of a typical rotating machinery system and their results are compared. It is found that displacement minimization can increase bearing loads, while bearing load minimization, on the other hand, decreases bearing loads.

• Journal of the Korea Convergence Society
• /
• v.10 no.11
• /
• pp.71-77
• /
• 2019

This paper defines a multi-selection knapsack problem and presents an algorithm for seeking its optimal solution. Multi-selection means that all members of the particular group be selected or excluded. Our branch-and-bound algorithm introduces a simplex containing the feasible region of the original problem to exploit the fact that the most tightly underestimating function on the simplex is linear. In bounding operation, the subproblem defined over the candidate simplex is minimized. During the branching process the candidate simplex is splitted into two one-less dimensional subsimplices by being projected onto two hyperplanes. The approach of this paper can be applied to solving the global minimization problems under various types of the knapsack constraints.

• Journal of applied mathematics & informatics
• /
• v.17 no.1_2_3
• /
• pp.315-328
• /
• 2005

In this paper we present a new method for designing a nozzle. In fact the problem is to find the optimal domain for the solution of a linear or nonlinear boundary value PDE, where the boundary condition is defined over an unspecified domain. By an embedding process, the problem is first transformed to a new shape-measure problem, and then this new problem is replaced by another in which we seek to minimize a linear form over a subset of linear equalities. This minimization is global, and the theory allows us to develop a computational method to find the solution by a finite-dimensional linear programming problem.

• Journal of the Korean Professional Engineers Association
• /
• v.33 no.5
• /
• pp.16-22
• /
• 2000

The rapid industrializing of China has helped the development of the industrial economy since 1980. However, the problem is some environmental pollution, such as SO$_2$, TSP, HOx, Dioxin etc, generated by the industrial facilities located in Northeastern China is moving to the Korean Peninsula through the cold air stream during the Asian dust season, This kind of air pollution worsens the environmental pollution of the Korean Peninsula year by year. Therefore, NGO suggests to China that the minimization of the environmental problems linked to both Korea and China has to be discussed. In fact, I would like to suggest that the activity of EMS(ISO14000) should help the environmentally sound '||'&'||' sustainnable development of both countries,

• Journal of Institute of Control, Robotics and Systems
• /
• v.7 no.9
• /
• pp.766-773
• /
• 2001

Omni-directional mobile robots have been popularly employed in several application areas. However, the kinematics for these systems have not been clearly identified, specially for redundantly actuated case which is common in omni-directional mobile robot such as the Nomadic model. For such mobile robot systems, exploitation of redundant actuation as well as singularity analysis has not been extensively addressed. In light of this fact, this paper introduces two different kinematic approaches for omni-directional mobile robots. Then, a singular-free load distribution scheme for redundantly actuated three-wheeled omni-directional mobile robot is proposed. Through simulation, several advantages of redundantly actuated mobile robot in aspect of singularity avoidance, minimization of torque norm, and exploiting several subtasks are presented.