• Journal of Internet Computing and Services
• /
• v.8 no.6
• /
• pp.135-144
• /
• 2007

Feature models are widely used in domain engineering phase of software product lines development to model the common and variable concepts among products. From the feature model, the feature configurations are generated by selecting the features to be included in target product. The feature configuration represents the requirements for the specific product to be implemented. Although there are a lot of researches on how to build and use the feature models and feature configurations, the researches on the formal semantics and reasoning of them are rather inactive. This paper proposes the feature configuration verification approach based on JESS, java-based rule-base system. The Graph Product Line, a standard problem for evaluating the software product line technologies, is used throughout the paper to illustrate this approach. The approach in this paper has advantage of presenting the exact reason causing inconsistency in the feature configuration. In addition, this approach should be easily applied into other software product lines development environments because JESS system can be easily integrated with Java language.

• Korean Journal of Remote Sensing
• /
• v.34 no.6_3
• /
• pp.1351-1367
• /
• 2018

Image registration is an essential process for image fusion, change detection and time series analysis using multi-sensor images. For this purpose, we need to detect accurately the difference of scale and rotation between the multi-sensor images with difference spatial resolution. In this paper, we propose a new feature matching method using variable circular template for image registration between multi-resolution images. The proposed method creates a circular template at the center of a feature point in a coarse scale image and also a variable circular template in a fine scale image, respectively. After changing the scale of the variable circular template, we rotate the variable circular template by each predefined angle and compute the mutual information between the two circular templates and then find the scale, the angle of rotation and the center location of the variable circular template, respectively, in fine scale image when the mutual information between the two circular templates is maximum. The proposed method was tested using Kompsat-2, Kompsat-3 and Kompsat-3A images with different spatial resolution. The experimental results showed that the error of scale factor, the error of rotation angle and the localization error of the control point were less than 0.004, $0.3^{\circ}$ and one pixel, respectively.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.6 no.5
• /
• pp.367-372
• /
• 2005

In this paper, we proposed a method of content-based image retrieval using variable region. Content-based image retrieval uses color histogram for the most part. But the existing color histogram methods have a disadvantage that it reduces accuracy because of quantization error and absence of spatial information. In order to overcome this, we convert color information to HSV space, quantize hue factor being pure color information, and calculate histogram of the factor. On the other hand, to solve the problem of the absence of spatial information, we select object region in consideration of color feature and region correlation. It maintains the size of region in the selected object region. But non-object region is integrated in one region. After of selection variable region, we retrieve using color feature. As the result of experimentation, the proposed method improves 10$\%$ in average of precision.

• Proceedings of the IEEK Conference
• /
• 2003.07e
• /
• pp.1883-1886
• /
• 2003

Gait is defined as "a manor of walking". It can used as a biometric measure to recognize known persons. Gait is an idiosyncratic feature determined by an individual's weight, stride length, and posture combined with characteristic motion. but its feature extracted from images varies with the viewpoint. In this paper, we propose a gait recognition method using a planer homography, which is robust for viewpoint variation. We represent an individual as key-silhouettes. And we endow key-silhouettes with weight calculated using the characteristic of PCA. Experimental result shows that proposed method is robust for viewpoint variation as images synthesised same viewpoint.

• 전기의세계
• /
• v.31 no.4
• /
• pp.281-287
• /
• 1982

PASCAL has a recursive nested structure and uses deep binding of identifiers. This paper studies the problems and techniques in storage management for PASCAL on the IBM 370 system, and presents run-time storage administration algorithms which use stack scheme and heap efficiently on the view of storage. The stack-scheme was used to implement the feature of recursive nested structure and the heap was used to implement the feature of the dynamic allocation procedure and pointer variable, allowing an additional dynamic storage recovery procedure.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.15 no.1
• /
• pp.131-146
• /
• 2021

Multimodal biometric-based recognition has been an active topic because of its higher convenience in recent years. Due to high user convenience of finger, finger-based personal identification has been widely used in practice. Hence, taking Finger-Print (FP), Finger-Vein (FV) and Finger-Knuckle-Print (FKP) as the ingredients of characteristic, their feature representation were helpful for improving the universality and reliability in identification. To usefully fuse the multimodal finger-features together, a new robust representation algorithm was proposed based on hierarchical model. Firstly, to obtain more robust features, the feature maps were obtained by Gabor magnitude feature coding and then described by Local Binary Pattern (LBP). Secondly, the LGBP-based feature maps were processed hierarchically in bottom-up mode by variable rectangle and circle granules, respectively. Finally, the intension of each granule was represented by Local-invariant Gray Features (LGFs) and called Hierarchical Local-Gabor-based Gray Invariant Features (HLGGIFs). Experiment results revealed that the proposed algorithm is capable of improving rotation variation of finger-pose, and achieving lower Equal Error Rate (EER) in our homemade database.

• Journal of the Korean Data and Information Science Society
• /
• v.4
• /
• pp.31-44
• /
• 1993

Multivariate exponentially weighted moving average (EWMA) control charts for monitoring the variance-covariance matrix are investigated. A variable sampling interval (VSI) feature is considered in these charts. Multivariate EWMA control charts for monitoring the variance-covariance matrix are compared on the basis of their average time to signal (ATS) performances. The numerical results show that multivariate VSI EWMA control charts are more efficient than corrsponding multivariate fixed sampling interval (FSI) EWMA control charts.

• Communications for Statistical Applications and Methods
• /
• v.16 no.1
• /
• pp.143-155
• /
• 2009

Best subset selection procedure based on mutual information (MI) between a set of explanatory variables and a dependent class variable is suggested. Derivation of multivariate MI is based on normal mixtures. Several types of normal mixtures are proposed. Also a best subset selection algorithm is proposed. Four real data sets are employed to demonstrate the efficiency of the proposals.

• Smart Structures and Systems
• /
• v.9 no.2
• /
• pp.189-206
• /
• 2012

This paper focuses on the actuation system combined with a piezoelectric transducer and an electric circuit, which leads to a new insight; the electric actuation system is equivalent to mechanical variable-stiffness actuation systems. By controlling the switch in the circuit, the electric status of the piezoelectric transducer is changed, and consequently a variable-stiffness mechanism is achieved on the electric actuator. This proposed actuator features a shift in the equilibrium point of force, while conventional electrically-induced variable-stiffness actuators feature the variation of the stiffness value. We intensively focus on the equilibrium shift in the actuation system, which has been neglected. The stiffness of the variable-stiffness actuator is periodically modulated by controlling the switch, to suppress the vibration of the system in an open-loop way. It is proved that this electric actuator is equivalent to its mechanical counterpart, and that the electrical version has some practical advantages over the mechanical one. Furthermore, another kind of electrically-induced variable-stiffness actuator, using an energy-recycling mechanism is also discussed from the viewpoint of open-loop vibration control. Extensive numerical simulations provide comprehensive assessment on both electrically-induced variable-stiffness actuators employed for open-loop vibration control.

• Journal of Power Electronics
• /
• v.14 no.1
• /
• pp.156-164
• /
• 2014

The power-voltage (P-V) characteristic of a photovoltaic (PV) array is nonlinear and time varying with the change in atmospheric conditions. As a result, the maximum power point tracking (MPPT) technique must be applied in PV systems to maximize the generated energy. The incremental conductance (INC) algorithm, one of the MPPT strategies, is widely used for its high tracking accuracy, good adaptability to rapidly changing atmospheric conditions, and easy implementation. This paper presents a modified asymmetrical variable step size INC MPPT method that is based on the asymmetrical feature of the P-V curve. Compared with conventional fixed or variable step size method, the proposed method can effectively improve tracking accuracy and speed. The theoretical foundation and design principle of the proposed approach are validated by the simulation and experimental results.