• Journal of Power System Engineering
• /
• v.18 no.5
• /
• pp.28-34
• /
• 2014

This paper deals with optimum PI controller design using genetic algorithm to improve control performance and robustness for an oil cooler system. The optimum PI gain was found to minimize an object function, integrated absolute error, and to satisfy control design specifications such as overshoot and settling time based on practical transfer function of the oil cooler system. The control performance and robustness were investigated by comparing indicial responses and Bode diagram analysis with respect to three kinds of PI gains obtained from different gain decision manners. Moreover, the robustness against to input disturbances, sinusoidal wave form and abrupt single pulse, was evaluated. The computer simulation results showed that the suggested optimum gain can establish desirable control performance and strong robustness with easy design process.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 1997.10a
• /
• pp.181-188
• /
• 1997

This work proposes possible use of the hyperdocument as a companion for structural steel designers and also as a part of any expert system to be used for the design of steel structures. AISC Specification for Structural Steel Buildings - Allowable Stress Design and Plastic Design, June 1, 1989-has been thoroughly hyperdocumented. Database for the most of AISC standard sections has been built for easier reference to sectional properties and even for search for the relevant sections. Hardy and wxCLIPS from AIAI, The University of Edinburgh were used as development tools. Hardy is integrated with NASA's rule-based and object-oriented language CLIPS 6.0 to enable users to rapidly develop diagram-related applications. Currently this work does not include any sophisticated rule-bases. Rather, this work will form a part of the expert systems for the steel structural design to be developed later. Nevertheless, the hyperdocument of this work will make a good companion for structural steel designers in its own right.

• Proceedings of the KSR Conference
• /
• 2006.11b
• /
• pp.947-953
• /
• 2006

ATC on-board equipment require realtime embedded software with high level of safety and reliability. To satisfy these requirements, many techniques are applied to the development of software during the lifecycle. In case of software modeling, object-oriented methodology is widening its niche replacing traditional structured methodology and modeling in UML using a CASE tool is a growing trend. In this paper, we modeled ATC on-board software in UML using Rhapsody, which is a modeling tool for realtime embedded software. We modeled the behavior of ATC on-board equipment based on state machine diagram and validated the model using the animation feature provided in the tool. According to our study, the CASE tool based on UML showed high level of applicability in modeling and verifying the software with complex behavioral characteristics.

• Proceedings of the KAIS Fall Conference
• /
• 2003.11a
• /
• pp.50-56
• /
• 2003

In the development of complex software system, it is important to use hierarchical use case model due to the complex scope of development procedure. The use case model is core factor of the OMG (Object Management Group)'s UML (Unified Modeling Language) diagrams. In this paper, we propose a novel method to check syntactic consistency automatically in use case models at the different level of abstraction. This method is a rule-based approach which utilizes actor tree, use case tree and use case description. The proposed method is simulated on ITS (Intelligent Transportation System) architecture for the verification.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.13 no.2
• /
• pp.243-252
• /
• 2009

This paper presents an implementing of Use Case Description writing tool to support systematically writing and editing Use Case Description. It also supports both 1 column and 2 column formats of use case scenarios and increases convenience for editing scenario steps with automated step numbering function we presented. It results in not only user-friendly and effective description for use case but also contributing to development of integrated use case modeling tool with use case diagram.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.329-332
• /
• 2004

레거시 소프트웨어를 재사용하기 위해서는 소스코드의 구조와 행위, 연관관계를 파악하는 것이 중요하다. 소스코드 분석을 통해 레거시 소프트웨어의 구조를 얻어내고 이에 대한 수정을 통해 소스코드에 반영하고자 하는 연구가 활발히 진행되고 있다. 그러나 기존의 역공학 도구들은 레거시 소프트웨어를 객체지향 다이어그램으로 정확히 추출해내지 못하였고 또한 호환성이 떨어지는 문제점을 가지고 있다. 본 연구에서는 기존의 역공학 툴들의 문제점을 보안하고 호환성을 높이며 재사용성을 향상시키기 위한 방법을 제시한다. 자바 소스코드로부터 UML클래스 다이어그램을 추출하기 위해 본 논문에서는 자바 소스코드의 파싱을 통해 클래스 다이어그램 생성에 필요한 AST를 추출하여 XML로 저장함으로써 상호운영성을 높이며 클래스간의 연관관계를 상세히 표현하기 위한 방법을 제시한다.

• Journal of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.353-385
• /
• 2019

In this paper, we introduce the notion of combinatorial Auslander-Reiten (AR) quivers for commutation classes [${\tilde{w}}]$ of w in a finite Weyl group. This combinatorial object is the Hasse diagram of the convex partial order ${\prec}_{[{\tilde{w}}]}$ on the subset ${\Phi}(w)$ of positive roots. By analyzing properties of the combinatorial AR-quivers with labelings and reflection functors, we can apply their properties to the representation theory of KLR algebras and dual PBW-basis associated to any commutation class [${\tilde{w}}_0$] of the longest element $w_0$ of any finite type.

• Publications of The Korean Astronomical Society
• /
• v.27 no.4
• /
• pp.311-316
• /
• 2012

Lyman break Galaxies are galaxies selected in the rest-frame ultraviolet. But, one important and missing information for these Lyman break galaxies is the amount of dust attenuation. This is crucial to estimate the total star formation rate of this class of objects and, ultimately, the cosmic star formation density. AKARI, Spitzer and Herschel are therefore the major facilities that could provide us with this information. As part of the Herschel Multi-tiered Extragalactic Survey, we have began investigating the rest-frame far-infrared properties of a sample of more than 4,800 Lyman Break Galaxies in the GOODS-North fiels. Most LBGs are not detected individually, but we do detect a sub-sample of 12 objects at 0.7 < z <1.6 and one object at z = 2.0. The ones detected by Herschel SPIRE have redder observed NUV-U and U-R colors than the others, while the undetected ones have colors consistent with average LBGs at z > 2.5. We have analysed their UV-to-FIR spectral energy distributions using the code cigale to estimate their physical parameters. We find that LBGs detected by SPIRE are high mass, luminous infrared galaxies. They also appear to be located in a triangle-shaped region in the $A_{FUV}$ vs. $logL_{FUV}$ diagram limited by $A_{FUV}$ = 0 at the bottom and by a diagonal following the temporal evolution of the most massive galaxies from the bottom-right to the top-left of the diagram. In a second step, we move to the larger COSMOS field where we have been able to detect 80 Lyman break galaxies (out of ~ 15,600) in the far infrared. They form the largest sample of Lyman break galaxies at z > 2.5 detected in the far-infrared. We tentatively name them Submillimeter Lyman break galaxies (S-LBGs).

• Journal of Digital Convergence
• /
• v.13 no.6
• /
• pp.165-175
• /
• 2015

Methods to design programs which implement IT systems have been developed in various forms from flowchart to activity diagram of UML. However, program design tools and methods developed so far have not been efficient comparing to program coding tools and methods. In addition, Program design methods and tools developed until now have been difficult to support the bidirectional conversion between program design and coding, and the improvement of development productivity and maintainability. Therefore, in this study, we propose Convergence Development Method to enable working with wide bandwidth through fusing the program design and coding phase by using SOC and supporting tool named SETL which automatizes the convergence of design and coding. Thus, by using SETL, it is expected that the efficiency gap between the program design and coding phase is reduced, and development productivity and maintainability is increased. key words.

• The KIPS Transactions:PartA
• /
• v.10A no.5
• /
• pp.503-512
• /
• 2003

Recently many applications are being developed as web technologies are evolved rapidly, but the development emthodology and quality improvement speed of the web apllications is not so. The creations of Most web applications have developed depending on the developer's knowledge and experience without a systematic development methodologies. But the web-based application systems require the various developing gechniques and the rich developing methodogies for a design process. This paper applies the UML(Unified Modeling Language) supporting an object-oriented development methodology to the design and implementation of a mobile customer management system. That is, it appliesthe UML to the system modeling based on a story board and a requirement specification at the web development of the similar web applications. Applying UML to this system achieved the analysis and the design of an web application effciently.