• Journal of the Korean Mathematical Society
• /
• v.37 no.2
• /
• pp.297-308
• /
• 2000

We survey results, obtained in the past three years, on characterizing bounded (and Kobayashi-hyperbolic) Reinhardt domains by their automorphism groups. Specifically, we consider the following two situations: (i) the group is non-compact, and (ii) the dimension of the group is sufficiently large. In addition, we prove two theorems on characterizing general hyperbolic complex manifolds by the dimensions of their automorphism groups.

• Journal of KIEE
• /
• v.11 no.1
• /
• pp.21-26
• /
• 2001

This paper considers the problem of robust H$\infty$ filter is derived by using the equivalence relationship between the FIR filter and the recursive filter, that would be guarantee a prescribed H$\infty$ performance in the continuous-time context, irrespective of the parameter uncertainty and unknown initial states.

• Proceedings of the KIEE Conference
• /
• 1987.07a
• /
• pp.18-21
• /
• 1987

The problem of electromagnetic scattering from arbitrarily shaped lossy dielectric bodies of revolution is studied. Two coupled vector integral equations are formulated from the potential formulas, the equivalence principle and boundary condition. The unknown surface currents (both electric and magnetic) can be found by the moment method, Galerkins's procedure. After the surface currents are determined, the scattering pattern can be evaluated.

• Journal of Arbitration Studies
• /
• v.23 no.2
• /
• pp.81-113
• /
• 2013

The World Trade Organization (WTO) offers remedies for non-compliance by the introduction of compensation or retaliation in the Dispute Settlement Understanding (DSU). There are no the provisions under the WTO DSU and it seems unclear what retaliation is attempting to achieve. Therefore, it is unclear whether the goal of WTO retaliation is to induce compliance or to restore the balance between the rights and the obligations of WTO members. It has been claimed the WTO has a strong dispute settlement system by providing retaliation when the recommendations and rulings of Dispute Settlement Body (DSB) are not complied with. But this seems to be inadequate to bring about effective and timely compliance. Especially there is a problem with free riding by a violating member because the level of retaliation is determined from the expiration of a reasonable period of time, providing an incentive to delay compliance. Also the level of the suspension of concessions or other obligations authorized by the DSB is equivalent to the level of nullification or impairment, according to DSU Article 22.4. However, if the member concerned objections to the level of the suspension proposed, the matter shall be referred to arbitration. The arbitrator shall not examine the nature of the suspension of concessions or other obligations to be suspended but shall determine whether the level of such suspension is equivalent to the nullification or impairment. The arbitrator makes an assessment standard of equivalence by comparing the suspension of concessions or other obligations and the nullification or impairment calculated in terms of the amount of trade. But it is necessary that other standards replace the quantitative standards when the level of the nullification or impairment cannot be quantified by concrete damages.

• Journal of Magnetics
• /
• v.21 no.3
• /
• pp.442-449
• /
• 2016

In this paper, an effective numerical analysis method is proposed for calculating dosimetry of the wireless power transfer system operating low-frequency ranges. The finite-difference time-domain (FDTD) method is widely used to analyze bio-electromagnetic field problems, which require high resolution, such as a heterogeneous whole-body voxel human model. However, applying the standard method in the low-frequency band incurs an inordinate number of time steps. We overcome this problem by proposing a modified finite-difference time-domain method which utilizes a quasi-static approximation with the surface equivalence theorem. The analysis results of the simple model by using proposed method are in good agreement with those from a commercial electromagnetic simulator. A simulation of the induced electric fields in a human head voxel model exposed to a wireless power transmission system provides a realistic example of an application of the proposed method. The simulation results of the realistic human model with the proposed method are verified by comparing it with the conventional FDTD method.

• Transactions of the Korean hydrogen and new energy society
• /
• v.17 no.1
• /
• pp.75-81
• /
• 2006

Lean premixed combustion is a well known method for low $NO_x$ gas turbine combustor. But lean combustion is usually accompanied by flame instability. To overcome this problem, the hydrogen ($H_2$) was added to main fuel methane to increase flammable limit. In this paper, the effects of hydrogen addition on lean premixed combustion of methane ($CH_4$) were investigated numerically. Results showed that the extinction stretch rate increases and the extinction temperature constant with relatively small amount of $H_2$ addition. The flame temperature and NO emission increase with $H_2$ addition at the same stretch rate and equivalence ratio but it could increase the range of lean extinction and extinction equivalence ratio limit. Eventually, the $H_2$ addition case showed almost same or lower NO emission than no addictive $CH_4$ case in the extinction condition.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.4 no.3
• /
• pp.217-224
• /
• 2011

This paper proposes DDPT(Dynamic Data Protection Technique) which solves the problem of private information exposure occurring in a dynamic database environment. The DDPT in this paper generates the MAG(Multi-Attribute Generalization) rules using multi-attributes generalization algorithm, and the EC(equivalence class) satisfying the k-anonymity according to the MAG rules. Whenever data is changed, it reconstructs the EC according to the MAC rules, and protects the identification exposure which is caused by the EC change. Also, it measures the information loss rates of the EC which satisfies the ${\ell}$-diversity. It keeps data accuracy by selecting the EC which is less than critical value and enhances private information protection.

• Journal of Computing Science and Engineering
• /
• v.4 no.4
• /
• pp.313-349
• /
• 2010

In this paper, we study the data interoperability problem of web services in terms of XML schema compatibility. When Web Service A sends XML messages to Web Service B, A is interoperable with B if B can accept all messages from A. That is, the XML schema R for B to receive XML instances must be compatible with the XML schema S for A to send XML instances, Le., A is a subschema of B. We propose a formal model called Schema Automaton (SA) to model W3C XML Schema (XSD) and develop several algorithms to perform different XML schema computations. The computations include schema minimization, schema equivalence testing, subschema testing, and subschema extraction. We have conducted experiments on an e-commerce standard XSD called xCBL to demonstrate the practicality of our algorithms. One experiment has refuted the claim that the xCBL 3.5 XSD is backward compatible with the xCBL 3.0 XSD. Another experiment has shown that the xCBL XSDs can be effectively trimmed into small subschemas for specific applications, which has significantly reduced the schema processing time.

• The KIPS Transactions:PartD
• /
• v.16D no.1
• /
• pp.65-72
• /
• 2009

Component based development has increasingly become important in the software industry. However, in the current component based development approach with UML, the absence of behavioral description of components brings about a cost problem which causes semantic errors on the testing phase. Accordingly we cannot grasp the usage pattern of component by its provided interfaces which refer to an abstraction of software component. And we cannot guarantee the behavioral conformance of the provided and required interfaces of components. In order to solve these problems, we describe the behaviors of component interfaces by state machine diagram and guarantee their behavior conformance at the modeling phase. We also propose a method to guarantee the behavior conformance of component interfaces with concept of observation equivalence and invocation consistency. And we provide an analyzing tool which checks interface behavior conformance.

• The Mathematical Education
• /
• v.58 no.1
• /
• pp.1-20
• /
• 2019

As the importance of algebraic thinking in elementary school has been emphasized, the links between fraction knowledge and algebraic thinking have been highlighted. In this study, we analyzed the solution methods and characteristics of thinking by fifth graders who have not yet learned fraction division when they solved 'reverse fraction problems' (Pearn & Stephens, 2018). In doing so, the contexts of problems were extended from the prior study to include the following cases: (a) the partial quantity with a natural number is discrete or continuous; (b) the partial quantity is a natural number or a fraction; (c) the equivalent fraction of partial quantity is a proper fraction or an improper fraction; and (d) the diagram is presented or not. The analytic framework was elaborated to look closely at students' solution methods according to the different contexts of problems. The most prevalent method students used was a multiplicative method by which students divided the partial quantity by the numerator of the given fraction and then multiplied it by the denominator. Some students were able to use a multiplicative method regardless of the given problem contexts. The results of this study showed that students were able to understand equivalence, transform using equivalence, and use generalizable methods. This study is expected to highlight the close connection between fraction and algebraic thinking, and to suggest implications for developing algebraic thinking when to deal with fraction operations.