• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.49 no.9
• /
• pp.520-525
• /
• 2000

This paper deals with the design of H$\infty$ control for uncertain linear systems with the regional eigenvalue assignment constraint. The considered region is a disk in the left half plane and the two types of time-varying uncertainties are considered. We presents a state feedback control that minimize the L2 gain from the disturbance to the measured output as well as it guarantees that all eigenvalues of closed loop are inside a disk. The state feedback control is obtained by checking the feasibility of linear matrix inequalities (LMI's) which are numerically tractable. Finally we give an example to show the applicability and usefulness of our results.

• The KIPS Transactions:PartD
• /
• v.10D no.6
• /
• pp.971-982
• /
• 2003

The consistency of UML diagrams is a nature for checking whether diagrams are coherently designed with only one requirements and the correctness of UML Diagrams, especially it uses OCL(Object Constraint Language) which is standard constraint language in UML. Firstly we devise metamodels that are described with conponent and relationships, then we derive verification rules from each matamodels for verifying correctness and consistency, and then we formally specify the rules with OCL for automatic verification. Finally we verify the rules with USE TOOL.

• Proceedings of the KIEE Conference
• /
• 1992.07a
• /
• pp.169-171
• /
• 1992

In an automated power distribution systems, the fault situation is controlled from the control center through remotely-controlled sectionalizing switches. In this paper, the service restoration strategy which can yield the minimal switching actions and constraint checking is proposed and an expert system which generates the appropriate switching actions is described.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.566-568
• /
• 1999

본 논문에서는 실시간 시스템의 시간 제약이 제대로 만족되는가를 시스템 수행 중에 감시하는 수행시간 모니터를 구현하기 위한 환경으로 실시간 객체 모델인 TMO(Time-triggered Message-triggered Object) 모델과 Windows 98NT 상의 TMO 프로그램 실행 환경인 WTMOS(Windows TMO System)를 이용한다. 모니터의 대상과 모니터하는 조건을 TMO 프로그램에 명시하는 방법이 연구되었고 정의된 모니터 기능을 WTMOS 내부와 TMO 형태의 응용 객체로 분산시켜서 적은 비용으로 모니터 시스템을 구축하는 효과적인 방법이 개발되었다.

• Journal of KIISE:Software and Applications
• /
• v.35 no.11
• /
• pp.661-670
• /
• 2008

In some applications of software engineering such as the verification of software model or embedded program, SAT solver is used. To practical use a SAT solver, a problem is encoded to a CNF formula, but because the formula has lower expressiveness than software models or source codes, optimal CNF encoding is required. In this paper, we propose optimal encoding techniques for the problem of "Selecting adjacent $k{\leq}n$ among n objects," Through experimental results we show the proposed constraint is efficient and correct to solve Japanese puzzle. As we know, this paper is the first study about CNF encoding for adjacency in BCC.

• The KIPS Transactions:PartD
• /
• v.8D no.6
• /
• pp.843-852
• /
• 2001

Statistics concerning software errors indicate that more errors are introduced in analysis and design phase than implementation phase. Therefore, it is needed to check whether the design modeling is appropriate for own function and structure. This paper discussed the effective test method for the object-oriented design model, i.e., UML. A new method was proposed for generating test data. This method consists of category partition theory by the representation each element in UML model with OCL (Object Constraint Language). Test data generated in this way can be used for testing the source code functionality as well as for checking the design model.

• Journal of KIISE:Software and Applications
• /
• v.29 no.10
• /
• pp.726-735
• /
• 2002

E-mail service has been a general method for communication as internet is widely used instead of post mails. Many companies have invested in e-mail advertisement as e-mail service is spread. E-mail advertisement has an advantage that it can consider personal characters. A lot of e-mail users have been given e-mails that they did not want to receive because their e-mail addresses were opened out to companies on internet. Therefore, they need junk mail checking systems and several e-mail service providers have supported junk mail filters. However, the junk mail filters can check the junk mail with constraint because they don't check the junk degree of mails by the contents of e-mail. This paper suggests a content-based junk mail checking model using fuzzy relational products. The process of the junk mail checking model using fuzzy relational products is as following: (1) analyzes semantic relation between junk words-base and e-mails, (2) checks the junk degree of the e-mail using the semantic relation, (3) checks the mails with SVJ(Standard Value of Junk) if those are junk mail or non-junk mail. The efficiency of the proposed technique is proved by comparing the junk degree of the e-mail and the number of junk mails that was checked by e-mail users and checked by the proposed junk mail checking model.

• Journal of Korean Society for Atmospheric Environment
• /
• v.14 no.5
• /
• pp.411-420
• /
• 1998

To estimate the dispersion coefficients in a coastal area with complex topography, several schemes using empirical equations expressed with and in lateral and vertical directions, respectively have been examined. Estimation results using these equations and meteorological data obtained from SODAR system were compared' with previously measured dispersion coefficients in other coastal areas. Validations of estimation results have been performed by comparing the measured concentrations with predicted ones empolying in Boryung coastal area. Important conclusions were drawn as follows; (1) Variations of lateral and vertical wind direction revealed different height dependency in upper and lower mixed boundary layer. (2) Because of turbulent constraint effect by large water body in a coastal region, the lateral and the vertical dispersion coefficients were smaller than those of P-G system. (3) As a result of examining the performance measure of these schemes through checking of coincidence between measured and predicted concentrations, vertical dispersion coefficients were smaller than those of P-G system, and the Cramer scheme was found to be more appropriate rather than others in the coastal area surrounding Boryung power plant.

• The Journal of Society for e-Business Studies
• /
• v.2 no.1
• /
• pp.79-94
• /
• 1997

Commerce activities which are free form space and time constraint using a communication network are called Electronic Commerce(EC). Because of sending a commercial information using open network such as Internet in EC, they need the security of commerce information (payment information and purchase information), checking the integrity of transferring data and certifying all parts participated in commerce for a secure commerce. Recently Visa and MasterCard Co. released the Secure Electronic Transaction (SET) Protocol for secure payment card transaction on Internet. This paper proposes a Secure Electronic Commerce Transaction Model(SECTM) using SET in order to support the secure commerce on Internet. The proposed transaction model prevents merchant from abusing the cardholder's payment information (credit-card number etc.) and enables cardholder to shop securely in Electronic Shopping Mall.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2001.05a
• /
• pp.973-978
• /
• 2001

Noise reduction has become a major issue of the manufacturing industry. This paper describes the reduction of noise and vibration of rotary compressors. Empirical design for the present strap of the accumulator has been considered to be sufficient for the constraint of the accumulator resonance modes without thorough study. Recently, however, some researchers found out that the accumulator contributes considerably to the sound propagation. In this paper, the contribution of accumulator to the noise propagation is investigated through sound measuring experiments by checking the directivity of the noise. And, experimental modal analysis results show that frequencies of some resonance modes of the accumulator coincide with the highest peaks on sound spectrum. To demonstrate the reason for those resonance modes, a finite element analysis is conducted. Normal mode analysis of the finite element model of the rotary compressor shows the mechanism of the accumulator resonance modes.