• Communications of the Korean Mathematical Society
• /
• v.18 no.4
• /
• pp.713-723
• /
• 2003

We study a limit problem of reflected solutions of parabolic stochastic partial differential equations driven by martingale measures. The existence of solutions is found in an extension of the work with respect to white noise by Donati-Martin and Pardoux [4]. We show that if a certain sequence of driving martingale measures converges, the corresponding solutions also converge in the Skorohod topology.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.1
• /
• pp.225-234
• /
• 2021

Let D be a division ring and n > 1 be an integer. In this paper, it is shown that if D ≠ ��3, then every subpermutable subgroup of the general skew linear group GLn(D) is normal. By applying this result, we show that every subpermutable subgroup of the unit group (ℝG)∗ of the real group algebras RG of finite groups G is normal in (ℝG)∗.

• Transactions on Control, Automation and Systems Engineering
• /
• v.3 no.4
• /
• pp.229-235
• /
• 2001

Recently, service area has been emerging field f robotic applications. Even though assistant robots play an important role for the disabled and the elderly, they still suffer from operating the robots using conventional interface devices such as joysticks or keyboards. In this paper we propose an efficient computer interface using real-time eye-gaze tracking system. The inputs to the proposed system are images taken by a camera and data from a magnetic sensor. The measured data is sufficient to describe the eye and head movement because the camera and the receiver of a magnetic sensor are stationary with respect to the head. So the proposed system can obtain the eye-gaze direction in spite of head movement as long as the distance between the system and the transmitter of a magnetic position sensor is within 2m. Experimental results show the validity of the proposed system in practical aspect and also verify the feasibility of the system as a new computer interface for the disabled.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.16-18
• /
• 2004

Single system image(SSI) have been the mainstay high-performance computing for many years. SSI requires the integration and aggregation of all types of resources in a cluster to present a single interface to users. In this paper, we describe a cluster computing architecture with the concept of single process space(SPS) where all processes share a uniform process identification scheme. With SPS, a process on any node can create child process on the same or different node or communicate with any other process on a remote node, as if they are on a single node. For this purpose, SPS is built with the support of unique cluster-wide pid, signal forwarding, and remote fork. We propose a novel design of SPS cluster which addresses the scalability and flexibility problem of traditional clusterwidely unique pid implementation by using blocked pid assignment. We have implemented this new design of SPS cluster, and we demonstrate its performance by comparing it to Beowulf distributed process space. Benchmark performance results show that our design of SPS cluster realized both scalability and flexibility that are essential to building SPS cluster.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.16 no.2
• /
• pp.226-235
• /
• 2016

The yield of 3D stacked IC manufacturing improves with the pre-bond integrity testing of through silicon vias (TSVs). In this paper, an efficient pre-bond test method is presented based on IEEE std. 1500, which can precisely diagnose any happening of TSV defects. The IEEE std. 1500 wrapper cells are augmented for the proposed method. The pre-bond TSV test can be performed by adjusting the driving strength of TSV drivers and the test clock frequency. The experimental results show the advantages of the proposed approach.

• Proceedings of the Korea Electromagnetic Engineering Society Conference
• /
• 2005.11a
• /
• pp.367-370
• /
• 2005

In this paper, we made a Singly Fed patch which is the fittest at the feeding part. And we found out return loss and radiation pattern about dielectric rod array antenna which has six's passive element to shape FTEP(Flat-topped element pattern) after we analyzed the characters of singly dielectric rod antenna. We show the conclusion that has the optimum return loss and more flat radiation pattern.

• Journal of Korea Multimedia Society
• /
• v.6 no.4
• /
• pp.565-575
• /
• 2003

This paper proposed context based annotation model and annotation ambiguity correction methods. The proposed model provides various annotation types, semantic models, and pen-based free drawing interface. Annotation correction method that is specifically based on the context which includes various textual and structure information between free-form marking and annotation. Also, interface for XML environment using the proposed model and correction methods is proposed and possibilities of application is looked at. The results from the implementation of the proposed method show that the annotated areas included in the free-form marking information are more accurate, achieving more accurate exchange results amongst multiple users in a heterogeneous document environment

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10c
• /
• pp.516-520
• /
• 2007

This paper presents a intuitive, simple and easy smart home TV remote control system using the hand gesture recognition. Hand candidate regions are detected by cascading policy of the part of human anatomy on the disparity map image, Exact hand region is extracted by the graph-cuts algorithm using the skin color information. Hand postures are represented by shape features which are extracted by a simple shape extraction method. We use the forward spotting accumulative HMMs for a smart home TV remote control system. Experimental results show that the proposed system has a good recognition rate of 97.33 % for TV remote control in real-time.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.17 no.1
• /
• pp.162-166
• /
• 2017

Earliest virtual deadline zero laxity (EVDZL) algorithm is proposed for mobile GPU schedulers for its improved responsiveness. Responsiveness of user interface (UI) is one of the key factors in evaluating smart devices because of its significant impacts on user experiences. However, conventional GPU schedulers based on completely fair scheduling (CFS) shows a poor responsiveness due to its algorithmic complexity. In this letter, we present the EVDZL scheduler based on the conventional earliest deadline zero laxity (EDZL) algorithm by accommodating the virtual laxity concept into the scheduling. Experimental results show that the EVDZL scheduler improves the response time of the Android UI by 9.6% compared with the traditional CFS scheduler.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.14 no.3
• /
• pp.345-355
• /
• 2014

Today's System-on-a-Chip (SoC) is designed with reusable IP cores to meet short time-to-market requirements. However, the increasing cost of testing becomes a big burden in manufacturing a highly integrated SoC. In this paper, an efficient parallel scan test technique is introduced to minimize the test application time. Multiple scan enable signals are adopted to implement scan architecture to achieve optimal test application time for the test patterns scheduled for concurrent scan test. Experimental results show that testing times are considerably reduced with little area overhead.