• Journal of KIISE:Software and Applications
• /
• v.29 no.7
• /
• pp.510-520
• /
• 2002

This paper proposes a transformation-based approach to design constraint-based analyses for Java at a coarser granularity. In this approach, we design a less or equally precise but more efficient version of an original analysis by transforming the original construction rules into new ones. As applications of this rule transformation, we provide two instances of analysis design by rule-transformation. The first one designs a sparse version of class analysis for Java and the second one deals with a sparse exception analysis for Java. Both are designed based on method-level, and the sparse exception analysis is shown to give the same information for every method as the original analysis.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.33 no.3
• /
• pp.29-42
• /
• 2008

Semantic Web society initially focused only on data but has gradually moved toward knowledge. Recently rule beyond ontology has emerged as a key element of the Semantic Web. All of these activities are obviously aiming at making data and knowledge on the Web sharable and reusable between various entities around the world. If one of ultimate visions of the Semantic Web is to increase human's decision making quality assisted by machines, there is a missing but important part to be shared and reused. It is knowledge about constraints on data and concepts represented by ontology which should be emphasized more. In this paper, we propose Semantic Web Constraint Language (SWCL) based on OWL and show how effective SWCL can be in representing and solving an internet shopper's decision making problem by an implementation of a shopping agent in the Semantic Web environment.

• Transactions on Control, Automation and Systems Engineering
• /
• v.4 no.4
• /
• pp.289-295
• /
• 2002

In this paper, a linear matrix inequality(LMI)-based robust control method, which combines model predictive control(MPC) with the feedback linearization(FL), is presented for constrained nonlinear systems with parameter uncertainty. The design procedures consist of the following 3 steps: Polytopic description of nonlinear system with a parameter uncertainty via FL, Mapping of actual input constraint by FL into constraint on new input of linearized system, Optimization of the constrained MPC problem based on LMI. To verify the performance and usefulness of the control method proposed in this paper, some simulations with application to a flexible single link manipulator are performed.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.25 no.10
• /
• pp.1597-1604
• /
• 2001

Alternative computational scheme is presented fur reliability based optimal design using a modified advanced first order second moment (AFOSH) method. Both design variables and design parameters are considered as random variables about their nominal values. Each probability constraint is transformed into a sub -optimization problem and then is resolved with the modified Hasofer- Lind-Rackwitz-Fiessler (HL-RF) method for computational efficiency and convergence. A method of design sensitivity analysis for probability constraint is presented and tested through simple examples. The suggested method is examined by solving several examples and the results are compared with those of other methods.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.492-492
• /
• 2000

This paper proposes LQ optimal controller design method based on the modal decomposition. Here, the design problem of linear time-invariant systems is considered by using pencil model. The mathematical model based on matrix pencil is one of the most general representation of the system. By adding some conditions the model can be reduced to traditional system models. In pencil model, the state feedback is considered as an algebraic constraint between the state variable and the control input variable. The algebraic constraint on pencil model is called purely static mode, and is included in infinite mode. Therefore, the information of the constant gain controller is included in the purely static mode of the augmented system which consists of the plant and the control conditions. We pay attention to the coordinate transformation matrix, and LQ optimal controller is derived from the algebraic constraint of the internal variable. The proposed method is applied to the numerical examples, and the results are verified.

• Proceedings of the Materials Research Society of Korea Conference
• /
• 1994.11a
• /
• pp.133-136
• /
• 1994

A microcechanical analysis based on the single fiber model has studied in the standpoint of stress-strain hysteresis response. A comparative study of constraint and unconstraint effects ha been taken into account to investigate includes the stress grouping technique to evaluate the domain-based field quantities. Results indicated that the development of significant fiber stresses both for the tensile and compressive loading, due to the constraint effects, provides an important contribution to the composited strengthening

• Proceedings of the Korea Concrete Institute Conference
• /
• 2000.10a
• /
• pp.199-204
• /
• 2000

In this study, an optimum design algorithm using efficient reanalysis is proposed for seismic design of RC Piers. The proposed algorithm for optimization of RC Piers is based on efficient reanalysis technique. Considering structural behavior of RC Piers, several other approximation techniques, such as artificial constraint deletion is introduced to increase the efficiency of optimization. The efficiency and robustness of the proposed algorithm increase the proposed reanalysis technique is demonstrated by comparing it with a conventional optimization algorithm. A few of design examples are optimized to show the applicability of the proposed algorithm.

• Journal of Industrial Technology
• /
• v.26 no.A
• /
• pp.173-180
• /
• 2006

Scheduling for shipbuilding processes has many alternative solutions since it has long time horizon and handles many jobs. In this paper, an shipbuilding scheduling system for outfitting and painting is presented based on constraint satisfaction techniques(CST). We provide a field based model and an efficient solution methodology by using ILOG Scheduler and Solver. ILOG Solver support extensive optimization goals easily. We do verify the improvement and efficiency of the schedule generated by the scheduling system presented in this paper.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2000.06a
• /
• pp.606-611
• /
• 2000

It has been noted that the low frequency absorption coefficient of a porous sample placed in a standing wave tube is affected by the nature of the sample's edge constraint. The edge constraint has the effect of stiffening the solid phase of the sample, which itself can be strongly coupled to the material's fluid phase, and hence the incident sound field, by viscous means at low frequencies. In recent work it has also been shown that such a circumferential constraint causes the low frequency transmission loss of a layer of fibrous material to approach a finite low frequency limit that is proportional to the flow resistance of the layer and which is substantially higher than that of an unconstrained sample of the same material. However, it was also found that the benefit of the circumferential edge constraint was reduced in a transitional frequency range by a shearing resonance of the sample. Here it will be shown that the effect of that resonance can be mitigated or eliminated by adding additional axial and radial constraints running through the sample. It will also be shown that the constraint effect can be modeled closely by using a finite element procedure based on the Biot poroelastic theory. Implications for low frequency barrier design are also discussed.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.26 no.1
• /
• pp.105-112
• /
• 2002

In recent years, the integrity of reactor Pressure Vessel(RPV) under pressurized thermal shock (PTS) accident has been treated as one of the most critical issues. Under PTS condition, the combination of thermal and mechanical stress by steep temperature gradient and internal pressure causes considerably high tensile stress at the inside of RPV wall. As a result, cracks on inner surface of RPV may experience elastic-plastic behavior which can be characterized by J-integral. In such a case, however, J-integral may possibly lose its vapidity due to the constraint effect. The degree of constraint effect is influenced by the loading mode, crack geometry and material properties. In this paper, in order to investigate the effect of clad thickness and crack geometry on constraint effect, three dimensional finite element analyses were performed for various surface cracks. Total of 27 crack geometries were analyzed and results were presented by a two-parameter characterization based on the J-integral and the f-stress.