• Journal of KIISE:Software and Applications
• /
• v.27 no.4
• /
• pp.412-421
• /
• 2000

In spite that the main contents of mathematical and scientific learning are understanding principles and their applications, most of existing educational softwares are based on rote learning, thus resulting in limited educational effects. In the artificial intelligence research, some progress has been made in developing automatic tutors based on proving and simulation, by adapting the techniques of knowledge representation, search and inference to the design of tutors. However, these tutors still fall short of being practical and the turor, even a prototype model, for learning problem solving is yet to come out. The geometry problem-solving tutor proposed by this research involves dynamic inference performed in parallel with learning. As an ontology for composing the problem space within a real-time setting, we have employed the notions of propositions, hypotheses and operators. Then we investigated the mechanism of interactive learning of problem solving in which the main target of inference involves the generation and the test of these components. Major accomplishment from this research is a practical model of a problem tutor embedded with a series of inference techniques for algebraic manipulation, which is indispensable in geometry problem solving but overlooked by previous research. The proposed model is expected to be applicable to the design of problem tutors in other scientific areas such as physics and electric circuitry.

• Proceedings of the KOSOMBE Conference
• /
• v.1995 no.11
• /
• pp.34-38
• /
• 1995

Using a 3-D finite element method (FEM), the biomechanical characteristics of a threaded truncated acetabular component and a porous coated hemispherical acetabular component were studied. The Von-Mises stress/strain patterns in the acetabulum reconstructed with these two different types of cementless acetabular cups were investigated. The geometry and dimensions of human hemi-pelvis used in the present shape modeling for finite element analysis were scanned with a 3-D laser scanner(TDS-9000, Cyberware, USA). The scanned data was numerically handled with a shape modelling software 'Pro-Engineer'. Using 19836, 16853 tetrahedral elements, respectively, the stress and displacement field of the acetabulum reconstructed with the two different types of the acetabular components were computed. While the hemi-sphere component was found to show a relatively similar stress/strain patterns to those in the normal hip, the results with the threaded cup showed a considerably different patterns from those in the normal condition. Several regions in cancellous bone near the threads and the edge of the truncated cup was found to be overstressed, especially in the superior-lateral part of the acetabulum. It was postulated that the excessive reaming-out of subchondral bone layer when the truncated cup was used can cause the presence of these overstressed regions of cancellous bone. This theoretical prediction for the implanted acetabulum appeared to consistent with the pathological observation of proximal/medial migration of the threaded truncated acetabular prostheses in the previous publications.

• Journal of KIISE:Software and Applications
• /
• v.29 no.3
• /
• pp.202-210
• /
• 2002

During the last few years, the extraction and reconstruction of the blood vessels in the medical image has been actively researched and the analysis for the retinal vessel structure has provided important information for diagnosis and remedy of the retinopathy patients. In this research, we propose the algorithm that tracks automatically the entire retinal vessel in retinal image acquired by the ICG(IndoCyanine Green) technology. This algorithm extracts contours and centers by estimating the local maxima and processing directions and detects bifurcations and junctions by comparing direction components of the local maxima from the gradient magnitude profile of each blood vessel. We present experimental results that the entire blood vessel is automatically reconstructed and is excellent in accuracy and connectivity after applying our algorithm to the ICG retinal images of patients.

• Journal of KIISE:Software and Applications
• /
• v.33 no.4
• /
• pp.378-387
• /
• 2006

A programming model for ubiquitous sensor network (USN) applications based on Nano-Qplus is proposed. USN applications mean programs of nodes which are components of sensor network such as sensor, router, sink and actuator. Developers can automatically generate programs of USN applications by setting attributes values of nodes using a script after they model a sensor network. A script for setting attributes values of a node is proposed in this paper. The algorithm of automatic code generation is also described. Developers can easily implement USN applications even if they do not know details of low-level communication, data sharing, and collective operations because the applications are automatically generated from a script. They set only attributes values of nodes using the script. Efforts for USN applications development also are reduced because of automatic code generation. Furthermore, developers can correct errors of applications in the early stage of development through ear]y test based on rapid code generation.

• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.3
• /
• pp.300-312
• /
• 2000

The application areas of embedded real-time systems are very wide and so are the requirements for real-time processing and reliability of the systems. To develop embedded real-time systems effectively with its real-time and reliability properties guaranteed, an appropriate real-time model is needed. Recently, the research on real-time object-oriented model is active, which graft the concept of object-orientation on real-time systems modeling and development. In this paper, we propose dRTO (dependable Real-Time Object) model, with 5 primitive classes. These allow designers to effectively model the characteristics of real-time systems, i.e., object-orientation, real-time-ness and dependability. The dRTO model has three main features. First, it is able to model and implement the timing constraints imposed on real-time objects as well as interactions among the objects. Second, hardware and software components (including kernel) of embedded systems can be modeled in one frame. Third, it is able to represent fault detection and recovery mechanisms explicitly.

• Journal of Power Electronics
• /
• v.14 no.6
• /
• pp.1303-1313
• /
• 2014

Dynamic behavior of the harmonic detection part of an active power filter (APF) has an essential role in filter compensation performances during transient conditions. Instantaneous power (p-q) theory is extensively used to design harmonic detectors for active filters. Large overshoot of p-q theory method deteriorates filter response at a large and rapid load change. In this study the harmonic estimation of an APF during transient conditions for balanced three-phase nonlinear loads is conducted. A novel fuzzy instantaneous power (FIP) theory is proposed to improve conventional p-q theory dynamic performances during transient conditions to adapt automatically to any random and rapid nonlinear load change. Adding fuzzy rules in p-q theory improves the decomposition of the alternating current components of active and reactive power signals and develops correct reference during rapid and random current variation. Modifying p-q theory internal high-pass filter performance using fuzzy rules without any drawback is a prospect. In the simulated system using MATLAB/SIMULINK, the shunt active filter is connected to a rapidly time-varying nonlinear load. The harmonic detection parts of the shunt active filter are developed for FIP theory-based and p-q theory-based algorithms. The harmonic detector hardware is also developed using the TMS320F28335 digital signal processor and connected to a laboratory nonlinear load. The software is developed for FIP theory-based and p-q theory-based algorithms. The simulation and experimental tests results verify the ability of the new technique in harmonic detection of rapid changing nonlinear loads.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.31 no.3C
• /
• pp.237-244
• /
• 2006

I/Q phase unbalance caused by non-ideal circuit components is inevitable physical phenomenons and leads to performance degradation when we implement a practical coherent M-ary phase shift keying(M-PSK) demodulator. In this paper, we present an exact and general expression involving two-dimensional Gaussian Q-functions for the bit error rate(BER) of uniform M-PSK with I/Q phase unbalance over an additive white Gaussian noise(AWGN) channel. First we derive a BER expression for the k-th bit of 8, 16-PSK signal constellations when Gray code bit mapping is employed. Then, from the derived k-th bit BER expression, we present the exact and general average BER expression for M-PSK with I/Q phase unbalance. This result can readily be applied to numerical evaluation for various cases of practical interest in an I/Q unbalanced M-PSK system, because the one- and two-dimensional Gaussian Q-functions can be easily and directly computed using commonly available mathematical software tools.

• Proceedings of the KSRS Conference
• /
• 2004.10a
• /
• pp.668-670
• /
• 2004

Taipei Water Management Office (TWMO) is one of the eleven district offices in Water Resource Agency. Water management is the top priority to be pursued both on daily management and long-term management at TWMO. There are five departments to perform a wide range of tasks in addition to water management. All management prescriptions are simply to provide sustainable clean water for about four millions population in Taipei. TWMO has gone through 16 years experience of development and implementation of GIS in water management. The objectives of this paper are to provide the major ingredients of successful and operational GIS for water management. The five departments at TWMO have performed tasks such as city planning, construction management, forest management, land use enforcement, soil and water conservation, water quality monitoring and protection, garbage collection, and sewage disposal management. Data base creation was one of the major jobs to be done. Update of data base has to be done on a daily basis. Computers, its peripheral, and software are essential for GIS developed at TWMO. Know-how and technical skill on computers and GIS for every technician are contributing significantly such that GIS can be implemented on most of jobs performed at TWMO. Implementations of GIS have been pursued by application modules on a task-oriented basis. Application modules are simple, easy to use, and menu driven with only Chinese. Web-based and mobile GIS are the new components that make water management at TWMO stay on the right course. To solve problems encountered in water management by GIS at TWMO can be easily and user-friendly may be the most important experience.

• 한국태양에너지학회:학술대회논문집
• /
• 2009.04a
• /
• pp.31-36
• /
• 2009

There have been many solar tracking systems developed for the high accuracy in solar tracking. One of the key components of any motion control system is software. LabVIEW offers an ideal combination of flexibility, ease-of-use and well-integration with other I/O pieces for developing solar tracking system. Real-time solar positions which vary with GPS's data are used simultaneously to control the solar tracker by a chain of operating modes between the open and closed loops. This paper introduces a step by step procedure for the fabrication and performance assessment of a precision solar tracking system. The system developed in this study consists of motion controllers, motor drives, step-motors, feedback devices and application. CRD sensors are applied for the solar tracking system which play a primary role in poor conditions for tracking due to a gear backlash and a strong wind. Mini-dish was used as a concentrator for collecting sun light. The solar position data, in terms of azimuth and elevation, sunrise and sunset times was compared with those of KASI(Korea Astronomy & Space Science Institute). The results presented in this paper demonstrate the accuracy of the present system in solar tracking and utilization.

• Transactions on Control, Automation and Systems Engineering
• /
• v.3 no.3
• /
• pp.181-189
• /
• 2001

The software components of embedded control systems get extremely complex as they are designed into distributed systems get extremely complex as they are designed into distributed systems consisting of a large number of inexpensive microcontrollers interconnected by low-bandwidth real-time networks such as the controller area network (CAN). While recently emerging middleware technologies such as CORBA and DCOM address the complexity of distributed programming, they cannot be directly applied to distributed control system design due to their excessive resource demand and inadequate communication models. In this paper, we propose a CORBA-based middleware design for CAN-based distributed embedded control systems. Our design goal is to minimize its resource need and make it support group communication without losing the IDL (interface definition language) level compliance to the OMG standards. To achieve this, we develop a transport protocol on the CAN and a group communication scheme based on the well-known publisher/subscriber model. The protocol effectively realizes subject-based addressing and supports anonymous publisher/subscriber communication. We also customize the method invocation and message passing protocol, referred to as the general inter-ORB protocol (GIOP), of CORBA so that CORBA method invocations are efficiently serviced on a low-bandwidth network such as the CAN. This customization includes packed data encoding and variable-length integer encoding for compact representation of IDL data types. We have implemented our CORBA-based middleware on the mArx real-time operating system we have developed at Seoul National University. Our experiments clearly demonstrate that it is feasible to use CORBA in developing distributed embedded control systems possessing severe resource limitations. Our design clearly demonstrates that it is feasible to use a CORBA-based middleware in developing distributed embedded systems on real-time networks possessing severe resource limitations.