• Proceedings of the IEEK Conference
• /
• 2002.06e
• /
• pp.17-20
• /
• 2002

This paper describes the synthesis of robust and non-fragile Η$^{\infty}$ output feedback controller for parameter uncertain systems with time delay. The sufficient condition of controller existence, and the design method of robust and non-fragile Η$^{\infty}$ output feedback controller are presented. The obtained conditions can be represented as parameterized LMIs, and PLMIs feasibility problems involve infinitely many LMIs hence are very hard to solve. Therefore, PLMIs are replaced by a finite set of LMIs using relaxation techniques(separated convexity concepts). This method is potentially conservative but often provide practically exploitable solutions of difficult problems with a reasonable computational effort. The compatibility of resulting controller is illustrated by numerical example.

• Proceedings of the IEEK Conference
• /
• 2007.07a
• /
• pp.195-196
• /
• 2007

The purpose of this paper is to analyze the resource allocation problem in a self organizing network from the viewpoint of game theory. The main focus is to suggest the model and analyze a power control algorithm in wireless ad-hoc networks using non cooperative games. Our approach is based on a model for the level of satisfaction and utility a wireless user in a self organizing network derives from using the system. Using this model, we show a distributed power control scheme that maximizes utility of each user in the network. Formulating this as a non-cooperative game we will show the feasibility of such power control as well as existence of the Nash Equilibrium achieved by the non-cooperative game.

• International Commerce and Information Review
• /
• v.10 no.4
• /
• pp.495-512
• /
• 2008

Because Korea and Japan has joined WTO and OECD, it is impossible to carry out a direct export-promoted policy such as export subsidies. Therefore, the only policy which is internationally valid for promoting an export is the export insurance. Hence export insurance system became more useful tool since it's one of the few allowed subsidies under WTO. This paper examines to find the impacts of export insurance on the export supply in Korea and Japan. The period of data is from 1980 to 2006. Unlike previous studies on the effectiveness of export subsidy in export supply, the current study examines the stationarity nature of the concerned variables. The unit root tests show that all variables are not I(0) Time Series. Instead, they are I(1) Time Series. To this, cointegration verification was conducted based on the use of Johansen verification method to define the existence (or non-existence) of long-term balance relationship among variables. The concerned variables are revealed to be cointegrated. In order to analyze, this study introduce a VEC model. In this paper we construct two VEC models. The one is about Korea, the other is about Japan. The empirical evidences show that export insurance system has not contributed to promoting export supply in Japan. But the results of empirical analysis showed significant and positive effects of Korea export insurance upon the export supply.

• The Journal of Asian Finance, Economics and Business
• /
• v.9 no.4
• /
• pp.251-259
• /
• 2022

This study investigates the impact of ownership structures and audit quality on carbon emission disclosure. It also examines how audit quality affects the relationship between ownership structures and carbon emission disclosure. This research includes 106 standalone sustainability reports from non-financial companies that were listed on the Indonesia Stock Exchange (IDX) between 2015 and 2018. Our findings show that family and concentrated ownerships convey less information about carbon emissions. Our results fail to demonstrate that disclosure of carbon emissions could be a corporation's approach to respond to stakeholder pressure and public visibility and to provide legitimacy for its existence. We also find a positive and significant association between high-quality (Big4) auditors and carbon emission performance. Our further result suggests that Big4 auditors seem to compromise their high standard quality on auditing family and concentrated ownership firms. They fail to influence their family and concentrated ownership clients to be socially responsible. Policymakers should support the existence of Big4 auditors as a driver of carbon emission performance. Top management should be proactive to tackle carbon emission issues by adopting stakeholder-driven mechanisms and establishing legitimacy with society. Nevertheless, the involvement of family and highly concentrated shareholders in decision-making processes and information disclosure should not be encouraged.

• Journal of the Korean BIBLIA Society for library and Information Science
• /
• v.21 no.2
• /
• pp.159-170
• /
• 2010

A survey was conducted with 155 professors in 23 universities in Seoul. The survey investigated recognition and the present condition of FISP among those professors, the results of which were analyzed in terms of three aspects: recognition of FISP, utility and implementation of FISP, and FISP users' satisfaction and opinions. of professors, FISP users were most frequently using it to write a treatise, while non-FISP users failed to use it because they had no information of its existence. Both FISP and non-FISP users significantly favored implementation of FISP and showed very positive intention of using it.

• Journal of KIISE:Computer Systems and Theory
• /
• v.34 no.9
• /
• pp.395-406
• /
• 2007

Races in programs with OpenMP directives must be detected for debugging, because they may cause unexpected result by non-deterministic executions. But, Thread Checker of Intel corporation, a well-known existing tool for detecting the races, is not practical because this tool does not verify the existence of races and is known that the cost for race detection is too big. This paper presents a web-based tool which verify the existence of races with an optimal functionality and performance using the results from the property analysis of OpenMP program as well as the user requirements. Our tool is proved to be practical in the aspect of functionality and performance by experiments using synthetic programs, because the suggested tool can verify the existence of race and shows O(n) as the ratio of time consumption while Thread Checker can not verify the existence of race and shows $O(n^2)$ as the ratio, where n is the number of total accesses.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.45 no.5
• /
• pp.1-7
• /
• 2008

This paper presents not only the robust stabilization technique but also robust non-fragile controller design method for discrete-time singular systems and static state feedback controller with multiplicative uncertainty. The condition for the existence of robust stabilization controller, the admissible controller design method, and the measure of non-fragility in controller are proposed via LMI(linear matrix inequality) approach. In order to get the maximum measure of non-fragility, the obtained sufficient condition can be rewritten as LMI optimization form in terms of transformed variable. Therefore, the presented robust non-fragile controller for discrete-time singular systems guarantees robust stability in spite of parameter uncertainty and controller fragility. Finally, a numerical example is given to show the validity of the design method.

• The KIPS Transactions:PartB
• /
• v.17B no.1
• /
• pp.15-22
• /
• 2010

Background generation is very important for accurate object tracking in video surveillance systems. Traditional background generation techniques have some problems with non-moving objects for longer periods. To overcome this problem, we propose a newbackground generation method using mean-shift and Fast Marching Method (FMM) to use pixel information along temporal and spatial dimensions. The mode of pixel value density along time axis is estimated by mean-shift algorithm and spatial information is evaluated by FMM, and then they are used together to generate a desirable background in the existence of non-moving objects during longer period. Experimental results show that our proposed method is more efficient than the traditional method.

• ETRI Journal
• /
• v.36 no.1
• /
• pp.31-41
• /
• 2014

The heterogeneous network (HetNet) has been discussed in detail in the Long-Term Evolution (LTE) and LTE Advanced standards. However, the standardization of High-Speed Packet Access HetNet (HSPA HetNet) launched by 3GPP is pushing at full steam. Interference coordination (IC), which is responsible for dealing with the interference in the system, remains a subject worthy of investigation in regard to HSPA HetNet. In this paper, considering the network framework of HSPA HetNet, we propose a quasi-distributed IC (QDIC) scheme to lower the interference level in the co-channel HSPA HetNet. Our QDIC scheme is constructed as slightly different energy-efficient non-cooperative games in the downlink (DL) and uplink (UL) scenarios, respectively. The existence and uniqueness of the equilibrium for these games are first revealed. Then, we derive the closed-form best responses of these games. A feasible implementation is finally developed to achieve our QDIC scheme in the practical DL and UL. Simulation results show the notable benefits of our scheme, which can indeed control the interference level and enhance the system performance.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.10
• /
• pp.2830-2837
• /
• 1999

Image processing steps are consist of image acquisition, preprocessing, region, segmentation and recognition. But image corrupted commonly by noise reduction methods, many filters were proposed like mean filter, median filter, weighted median filter, Cheikh filter, and Kyu-cheol lee filter as spatial noise reduction filtering. We propose a new edge detection algorithm so that we find out edge existence and nonexistence. In non-edge area, we selectively apply weighted median filter based upon using information of difference value between weighted median filter's value and center pixel's value. As a result, we finally prove a better performance of noise reduction by applying adaptive weighted median filter and improvement of processing time through using simple algorithm.