Journal of Applied Mathematics The latest articles from Hindawi Publishing Corporation © 2014 , Hindawi Publishing Corporation . All rights reserved. Comparison of Some Estimators under the Pitman’s Closeness Criterion in Linear Regression Model Wed, 23 Apr 2014 11:41:29 +0000 Batah et al. (2009) combined the unbiased ridge estimator and principal components regression estimator and introduced the modified class estimator. They also showed that the modified class estimator is superior to the ordinary least squares estimator and principal components regression estimator in the mean squared error matrix. In this paper, firstly, we will give a new method to obtain the modified class estimator; secondly, we will discuss its properties in some detail, comparing the modified class estimator to the ordinary least squares estimator and principal components regression estimator under the Pitman closeness criterion. A numerical example and a simulation study are given to illustrate our findings. Jibo Wu Copyright © 2014 Jibo Wu. All rights reserved. Optimality Conditions for Fuzzy Number Quadratic Programming with Fuzzy Coefficients Wed, 23 Apr 2014 11:39:41 +0000 The purpose of the present paper is to investigate optimality conditions and duality theory in fuzzy number quadratic programming (FNQP) in which the objective function is fuzzy quadratic function with fuzzy number coefficients and the constraint set is fuzzy linear functions with fuzzy number coefficients. Firstly, the equivalent quadratic programming of FNQP is presented by utilizing a linear ranking function and the dual of fuzzy number quadratic programming primal problems is introduced. Secondly, we present optimality conditions for fuzzy number quadratic programming. We then prove several duality results for fuzzy number quadratic programming problems with fuzzy coefficients. Xue-Gang Zhou, Bing-Yuan Cao, and Seyed Hadi Nasseri Copyright © 2014 Xue-Gang Zhou et al. All rights reserved. Progress and Regress of Time Dependent Data and Application in Bank Branch Wed, 23 Apr 2014 09:14:59 +0000 To evaluate each decision making unit having time dependent inputs and outputs data, a new method has been developed and reported here. This method uses the Malmquist productivity index, and is a very simple function based on Cubic Spline function to determine the progress and regress of that unit. To show the capability of this developed method, the data of 9 branches of a commercial bank has been used, evaluated, and reported. F. Hosseinzadeh Lotfi, Z. Taeb, and S. Abbasbandy Copyright © 2014 F. Hosseinzadeh Lotfi et al. All rights reserved. Global Analysis of Almost Periodic Solution of a Discrete Multispecies Mutualism System Tue, 22 Apr 2014 13:06:47 +0000 This paper discusses a discrete multispecies Lotka-Volterra mutualism system. We first obtain the permanence of the system. Assuming that the coefficients in the system are almost periodic sequences, we obtain the sufficient conditions for the existence of a unique almost periodic solution which is globally attractive. In particular, for the discrete two-species Lotka-Volterra mutualism system, the sufficient conditions for the existence of a unique uniformly asymptotically stable almost periodic solution are obtained. An example together with numerical simulation indicates the feasibility of the main result. Hui Zhang, Bin Jing, Yingqi Li, and Xiaofeng Fang Copyright © 2014 Hui Zhang et al. All rights reserved. Sample Size Determination for the Polychotomous Randomized Response Model for Sensitive Questions in a Stratified Two-Stage Sampling Survey Tue, 22 Apr 2014 11:20:14 +0000 Methods of finding the minimum value and the Lagrange function were applied to deduce the formulae for the optimum sample sizes for polychotomous randomized response technique (RRT) model in stratified two-stage sampling, so as to minimize the cost for specified sampling errors and to minimize the sampling errors under the constraint of a fixed budget. These formulae were successfully applied to sensitive topics survey among men who have sex with men (MSM) in Beijing, China. Zongda Jin, Bo Yu, Xiangke Pu, and Ge Gao Copyright © 2014 Zongda Jin et al. All rights reserved. Global Optimality Conditions for Nonlinear Programming Problems with Linear Equality Constraints Tue, 22 Apr 2014 09:35:37 +0000 Some necessary global optimality conditions and sufficient global optimality conditions for nonconvex minimization problems with a quadratic inequality constraint and a linear equality constraint are derived. In particular, global optimality conditions for nonconvex minimization over a quadratic inequality constraint which extend some known global optimality conditions in the existing literature are presented. Some numerical examples are also given to illustrate that a global minimizer satisfies the necessary global optimality conditions but a local minimizer which is not global may fail to satisfy them. Guoquan Li and Yan Wang Copyright © 2014 Guoquan Li and Yan Wang. All rights reserved. An Offline Formulation of MPC for LPV Systems Using Linear Matrix Inequalities Tue, 22 Apr 2014 07:18:05 +0000 An offline model predictive control (MPC) algorithm for linear parameter varying (LPV) systems is presented. The main contribution is to develop an offline MPC algorithm for LPV systems that can deal with both time-varying scheduling parameter and persistent disturbance. The norm-bounding technique is used to derive an offline MPC algorithm based on the parameter-dependent state feedback control law and the parameter-dependent Lyapunov functions. The online computational time is reduced by solving offline the linear matrix inequality (LMI) optimization problems to find the sequences of explicit state feedback control laws. At each sampling instant, a parameter-dependent state feedback control law is computed by linear interpolation between the precomputed state feedback control laws. The algorithm is illustrated with two examples. The results show that robust stability can be ensured in the presence of both time-varying scheduling parameter and persistent disturbance. P. Bumroongsri Copyright © 2014 P. Bumroongsri. All rights reserved. Existence of an Equilibrium for Lower Semicontinuous Information Acquisition Functions Tue, 22 Apr 2014 00:00:00 +0000 We consider a two-period model in which a continuum of agents trade in a context of costly information acquisition and systematic heterogeneous expectations biases. Because of systematic biases agents are supposed not to learn from others' decisions. In a previous work under somehow strong technical assumptions a market equilibrium was proved to exist and the supply and demand functions were proved to be strictly monotonic with respect to the price. Here we extend these results under very weak technical assumptions. We also prove that the equilibrium price maximizes the trading volume and further additional properties (such as the antimonotonicity of the trading volume with respect to the marginal information price). Agnès Bialecki, Eléonore Haguet, and Gabriel Turinici Copyright © 2014 Agnès Bialecki et al. All rights reserved. Analytical Solutions for the Elastic Circular Rod Nonlinear Wave, Boussinesq, and Dispersive Long Wave Equations Tue, 22 Apr 2014 00:00:00 +0000 The solving processes of the homogeneous balance method, Jacobi elliptic function expansion method, fixed point method, and modified mapping method are introduced in this paper. By using four different methods, the exact solutions of nonlinear wave equation of a finite deformation elastic circular rod, Boussinesq equations and dispersive long wave equations are studied. In the discussion, the more physical specifications of these nonlinear equations, have been identified and the results indicated that these methods (especially the fixed point method) can be used to solve other similar nonlinear wave equations. Shi Jing and Yan Xin-li Copyright © 2014 Shi Jing and Yan Xin-li. All rights reserved. Computation of Gram Matrix and Its Partial Derivative Using Precise Integration Method for Linear Time-Invariant Systems Tue, 22 Apr 2014 00:00:00 +0000 Gram matrix is an important tool in system analysis and design as it provides a description of the input-output behavior for system; its partial derivative matrix is often required in some numerical algorithms. It is essential to study computation of these matrices. Analytical methods only work in some special circumstances; for example, the system matrix is diagonal matrix or Jordan matrix. In most cases, numerical integration method is needed, but there are two problems when compute using traditional numerical integration method. One is low accuracy: as high accuracy requires extremely small integration step, it will result in large amount of computation; and another is stability and stiffness issues caused by the dependence on the property of system matrix. In order to overcome these problems, this paper proposes an efficient numerical method based on the key idea of precise integration method (PIM) for the Gram matrix and its partial derivative of linear time-invariant systems. Since matrix inverse operation is not required in this method, it can be used with high precision no matter the system is normal or singular. The specific calculation algorithm and block diagram are also given. Finally, numerical examples are given to demonstrate the correctness and validity of this method. Sulan Li, Yuanhao Ren, Hong Bao, and Wei Zhang Copyright © 2014 Sulan Li et al. All rights reserved. Modelling Laser Milling of Microcavities for the Manufacturing of DES with Ensembles Thu, 17 Apr 2014 14:53:10 +0000 A set of designed experiments, involving the use of a pulsed Nd:YAG laser system milling 316L Stainless Steel, serve to study the laser-milling process of microcavities in the manufacture of drug-eluting stents (DES). Diameter, depth, and volume error are considered to be optimized as functions of the process parameters, which include laser intensity, pulse frequency, and scanning speed. Two different DES shapes are studied that combine semispheres and cylinders. Process inputs and outputs are defined by considering the process parameters that can be changed under industrial conditions and the industrial requirements of this manufacturing process. In total, 162 different conditions are tested in a process that is modeled with the following state-of-the-art data-mining regression techniques: Support Vector Regression, Ensembles, Artificial Neural Networks, Linear Regression, and Nearest Neighbor Regression. Ensemble regression emerged as the most suitable technique for studying this industrial problem. Specifically, Iterated Bagging ensembles with unpruned model trees outperformed the other methods in the tests. This method can predict the geometrical dimensions of the machined microcavities with relative errors related to the main average value in the range of 3 to 23%, which are considered very accurate predictions, in view of the characteristics of this innovative industrial task. Pedro Santos, Daniel Teixidor, Jesus Maudes, and Joaquim Ciurana Copyright © 2014 Pedro Santos et al. All rights reserved. Generalized Dimensional Ostrowski Type and Grüss Type Inequalities on Time Scales Thu, 17 Apr 2014 14:52:29 +0000 Some new generalized dimensional Ostrowski type and Grüss type integral inequalities on time scales are established in this paper. The present results unify continuous and discrete analysis, and extend some known results in the literature. Bin Zheng and Qinghua Feng Copyright © 2014 Bin Zheng and Qinghua Feng. All rights reserved. Discussion for -Matrices and It’s Application Thu, 17 Apr 2014 13:12:16 +0000 Nonsingular -matrices and positive stable matrices play an important role in the stability of neural network system. In this paper, some criteria for nonsingular -matrices are obtained by the theory of diagonally dominant matrices and the obtained result is introduced into identifying the stability of neural networks. So the criteria for nonsingular -matrices are expanded and their application on neural network system is given. Finally, the effectiveness of the results is illustrated by numerical examples. Guichun Han, Huishuang Gao, and Haitao Yang Copyright © 2014 Guichun Han et al. All rights reserved. Optimal Spatial Matrix Filter Design for Array Signal Preprocessing Thu, 17 Apr 2014 13:03:16 +0000 An efficient technique of designing spatial matrix filter for array signal preprocessing based on convex programming was proposed. Five methods were considered for designing the filter. In design method 1, we minimized the passband fidelity subject to the controlled overall stopband attenuation level. In design method 2, the objective function and the constraint in the design method 1 were reversed. In design method 3, the optimal matrix filter which has the general mean square error was considered. In design method 4, the left stopband and the right stopband were constrained with specific attenuation level each, and the minimized passband fidelity was received. In design method 5, the optimization objective function was the sum of the left stopband and the right stopband attenuation levels with the weighting factors 1 and γ, respectively, and the passband fidelity was the constraints. The optimal solution of the optimizations above was derived by the Lagrange multiplier theory. The relations between the optimal solutions were analyzed. The generalized singular value decomposition was introduced to simplify the optimal solution of design methods 1 and 2 and enhanced the efficiency of solving the Lagrange multipliers. By simulations, it could be found that the proposed method was effective for designing the spatial matrix filter. Haiyong Zhang, Dong Han, Kai Ji, Zhong Ren, Chi Xu, Lijuan Zhu, and Hongyan Tan Copyright © 2014 Haiyong Zhang et al. All rights reserved. A General Approximation Method for a Kind of Convex Optimization Problems in Hilbert Spaces Thu, 17 Apr 2014 12:10:09 +0000 The constrained convex minimization problem is to find a point with the property that , and   , , where is a nonempty, closed, and convex subset of a real Hilbert space , is a real-valued convex function, and is not Fréchet differentiable, but lower semicontinuous. In this paper, we discuss an iterative algorithm which is different from traditional gradient-projection algorithms. We firstly construct a bifunction defined as . And we ensure the equilibrium problem for equivalent to the above optimization problem. Then we use iterative methods for equilibrium problems to study the above optimization problem. Based on Jung’s method (2011), we propose a general approximation method and prove the strong convergence of our algorithm to a solution of the above optimization problem. In addition, we apply the proposed iterative algorithm for finding a solution of the split feasibility problem and establish the strong convergence theorem. The results of this paper extend and improve some existing results. Ming Tian and Li-Hua Huang Copyright © 2014 Ming Tian and Li-Hua Huang. All rights reserved. The Approximate Solution of Fredholm Integral Equations with Oscillatory Trigonometric Kernels Thu, 17 Apr 2014 12:06:04 +0000 A method for approximating the solution of weakly singular Fredholm integral equation of the second kind with highly oscillatory trigonometric kernel is presented. The unknown function is approximated by expansion of Chebychev polynomial and the coefficients are determinated by classical collocation method. Due to the highly oscillatory kernels of integral equation, the discretised collocation equation will give rise to the computation of oscillatory integrals. These integrals are calculated by using recursion formula derived from the fundamental recurrence relation of Chebyshev polynomial. The effectiveness and accuracy of the proposed method are tested by numerical examples. Qinghua Wu Copyright © 2014 Qinghua Wu. All rights reserved. Advanced Techniques in Computational Mechanics Thu, 17 Apr 2014 07:52:49 +0000 Luís Godinho, Daniel Dias-da-Costa, António Tadeu, and Delfim Soares Jr. Copyright © 2014 Luís Godinho et al. All rights reserved. The Determinants, Inverses, Norm, and Spread of Skew Circulant Type Matrices Involving Any Continuous Lucas Numbers Thu, 17 Apr 2014 06:40:15 +0000 We consider the skew circulant and skew left circulant matrices with any continuous Lucas numbers. Firstly, we discuss the invertibility of the skew circulant matrices and present the determinant and the inverse matrices by constructing the transformation matrices. Furthermore, the invertibility of the skew left circulant matrices is also discussed. We obtain the determinants and the inverse matrices of the skew left circulant matrices by utilizing the relationship between skew left circulant matrices and skew circulant matrix, respectively. Finally, the four kinds of norms and bounds for the spread of these matrices are given, respectively. Jin-jiang Yao and Zhao-lin Jiang Copyright © 2014 Jin-jiang Yao and Zhao-lin Jiang. All rights reserved. Lightweight Design of an Outer Tie Rod for an Electrical Vehicle Thu, 17 Apr 2014 06:09:32 +0000 The lightweight design of the outer tie rod installed on an electrical vehicle was achieved through material selection and optimization technique. The aluminum alloy Al6082M was selected as a steel-substitute, and its structural shape was optimized by applying metamodel-based optimization. In this process, finite element analysis was performed to predict the structural responses, such as buckling resistance and fatigue life. First, for an arbitrary base design made of steel, the structural responses were calculated. Then, the design variables were defined to find a lightweight design made of Al6082M. Secondly, metamodel-based optimization based on the kriging interpolation method was applied, leading to determination of an optimum design. The suggested optimum design has the minimum weight satisfying the critical design requirement. Finally, the numerical results of the buckling resistance and fatigue life were validated, through bucking and fatigue tests. Young-Chul Park, Seung-Kul Baek, Bu-Kyo Seo, Jong-Kyu Kim, and Kwon-Hee Lee Copyright © 2014 Young-Chul Park et al. All rights reserved. Metaheuristic Algorithm for Solving Biobjective Possibility Planning Model of Location-Allocation in Disaster Relief Logistics Thu, 17 Apr 2014 00:00:00 +0000 Thousands of victims and millions of affected people are hurt by natural disasters every year. Therefore, it is essential to prepare proper response programs that consider early activities of disaster management. In this paper, a multiobjective model for distribution centers which are located and allocated periodically to the damaged areas in order to distribute relief commodities is offered. The main objectives of this model are minimizing the total costs and maximizing the least rate of the satisfaction in the sense of being fair while distributing the items. The model simultaneously determines the location of relief distribution centers and the allocation of affected areas to relief distribution centers. Furthermore, an efficient solution approach based on genetic algorithm has been developed in order to solve the proposed mathematical model. The results of genetic algorithm are compared with the results provided by simulated annealing algorithm and LINGO software. The computational results show that the proposed genetic algorithm provides relatively good solutions in a reasonable time. Farnaz Barzinpour, Mohsen Saffarian, Ahmad Makoui, and Ebrahim Teimoury Copyright © 2014 Farnaz Barzinpour et al. All rights reserved. Grey Target Decision Method for a Variable Target Centre Based on the Decision Maker’s Preferences Thu, 17 Apr 2014 00:00:00 +0000 In multiattribute grey target decision making, the decision maker (DM) may have certain preferences for some attributes. The impacts of two types of DM’s preferences for some attribute values on alternatives were studied. To deal with the attribute preferences of a DM, a generalised grey target decision method was presented. The proposed method required that the index values of all alternatives were not normalised. The target centre index values can be obtained by substituting DM’s preference values for some of the original target centre index values as determined by the alternatives themselves. Following this, the proposed generalised method was used to calculate the target centre distances. A case study showed that this method of handling DM’s preferences for some attributes was effective. Jinshan Ma Copyright © 2014 Jinshan Ma. All rights reserved. A New Method for Predicting the Position of Gas Influx Based on PRP in Drilling Operations Wed, 16 Apr 2014 14:15:21 +0000 Accurately predicting the position of gas influx not only helps to analyze complex formation structure, but also can provide reference for taking effective measure, such as increasing mud density, increasing back pressure and casing packer, to suppress the gas influx. Predicting the accurate position of gas influx has been one of the urgent difficulties for drilling industry. With full consideration of the important factors such as the virtual mass force, viscous shear force, energy exchange, and narrow resistance, a new method for predicting the position of gas influx has been proposed based on pressure response time calculation. The gas equations of state (EOS), small perturbation theory, and the fourth-order Runge-Kutta method (R-K4) are adopted to solve the model. Also, the pressure response time plate (PRP) which presents the corresponding relationship between position of gas influx and wellhead parameters by several pressure wave response curves calculated by computer programming is given. The results showed that the PRP is unique at different well depth and gas influx rate, and the position of gas influx can be accurately determined by PRP with known wellhead parameters and detected response time. Therefore, without the help of downhole tools, the accurate mathematical method for predicting the position of gas influx is completely feasible. Xiangwei Kong, Yuanhua Lin, and Yijie Qiu Copyright © 2014 Xiangwei Kong et al. All rights reserved. Adaptive Failure Identification for Healthcare Risk Analysis and Its Application on E-Healthcare Wed, 16 Apr 2014 08:58:15 +0000 To satisfy the requirement for diverse risk preferences, we propose a generic risk priority number (GRPN) function that assigns a risk weight to each parameter such that they represent individual organization/department/process preferences for the parameters. This research applies GRPN function-based model to differentiate the types of risk, and primary data are generated through simulation. We also conduct sensitivity analysis on correlation and regression to compare it with the traditional RPN (TRPN). The proposed model outperforms the TRPN model and provides a practical, effective, and adaptive method for risk evaluation. In particular, the defined GRPN function offers a new method to prioritize failure modes in failure mode and effect analysis (FMEA). The different risk preferences considered in the healthcare example show that the modified FMEA model can take into account the various risk factors and prioritize failure modes more accurately. In addition, the model also can apply to a generic e-healthcare service environment with a hierarchical architecture. Kuo-Chung Chu and Lun-Ping Hung Copyright © 2014 Kuo-Chung Chu and Lun-Ping Hung. All rights reserved. Geometrical Variable Weights Buffer GM(1,1) Model and Its Application in Forecasting of China’s Energy Consumption Tue, 15 Apr 2014 16:16:22 +0000 In order to improve the application area and the prediction accuracy of GM(1,1) model, a novel Grey model is proposed in this paper. To remedy the defects about the applications of traditional Grey model and buffer operators in medium- and long-term forecasting, a Variable Weights Buffer Grey model is proposed. The proposed model integrates the variable weights buffer operator with the background value optimized GM(1,1) model to implement dynamic preprocessing of original data. Taking the maximum degree of Grey incidence between fitting value and actual value as objective function, then the optimal buffer factor is chosen, which can improve forecasting precision, make forecasting results embodying the internal trend of original data to the maximum extent, and improve the stability of the prediction. To verify the effectiveness of the proposed model, the energy consumption in China from 2002 to 2009 is used for the modeling to forecast the energy consumption in China from 2010 to 2020, and the forecasting results prove that the GVGM(1,1) model has remarkably improved the forecasting ability of medium- and long-term energy consumption in China. Wei Li and Han Xie Copyright © 2014 Wei Li and Han Xie. All rights reserved. Measurement of Congestion in the Simultaneous Presence of Desirable and Undesirable Outputs Tue, 15 Apr 2014 14:12:45 +0000 The concept of congestion, which is mainly applied in economics, refers to a situation where inputs are overinvested. Many studies have focused on congestion measurement by means of data envelopment analysis (DEA). However, most of the previous investigations only considered the framework of desirable outputs. In fact, firms in the real world unavoidably generate undesirable outputs (such as pollutants or wastes) along with desirable outputs. Therefore, a new scheme is required for measuring congestion in the simultaneous presence of both desirable and undesirable outputs. This paper develops a nonradial efficiency measure for including undesirable outputs into the environmental performance. Based on the proposed model, a new definition and a new approach are presented to deal with congestion in the simultaneous presence of desirable and undesirable outputs. Then, this paper uses the presented method to study the pollutants (waste gas emission and waste discharge) of 31 administrative regions of China. The finding indicates that 7 industries pay attention to the reduction of their pollutants accompanying improvement of their commercial targets. Consequently, they do not show congestion in any input. H. Zare-Haghighi, M. Rostamy-Malkhalifeh, and G. R. Jahanshahloo Copyright © 2014 H. Zare-Haghighi et al. All rights reserved. New Travelling Wave Solutions for Sine-Gordon Equation Tue, 15 Apr 2014 13:41:41 +0000 We propose a method to deal with the general sine-Gordon equation. Several new exact travelling wave solutions with the form of JacobiAmplitude function are derived for the general sine-Gordon equation by using some reasonable transformation. Compared with previous solutions, our solutions are more general than some of the previous. Yunchuan Sun Copyright © 2014 Yunchuan Sun. All rights reserved. Fare Design in Urban Transit Network considering Elastic Demand and Adverse Weather’s Impact Tue, 15 Apr 2014 12:50:19 +0000 Due to the disturbance of unexpected effects and adverse weather conditions, transit supply and demand manifests many uncertainties. In this paper, we take account of these uncertainties and propose a transit fare structure design model including both ground and underground public transportation. Such transit fare design problem is described through bilevel programming, in which the upper level is the transportation authority’s transit fare structure decision aiming to minimize the transit network’s total travel and operation cost, while the lower level is a transit network assignment model considering supply and demand uncertainties that influence passengers’ travel choice decisions. A heuristic algorithm is developed to solve the problem, and a numerical example is presented to illustrate the application. We get some important results: (1) a diversified fare structure considering uncertain weather’s impact is quite necessary; (2) when the value of time is at a high level, metro fare should be higher than bus fare; (3) the optimal metro and bus fare should be close under an extremely adverse weather condition; (4) fare structure could be quite different with varied value of time. Jiantong Zhang, Biyu Lv, Guichao Tian, and Wenchi Liu Copyright © 2014 Jiantong Zhang et al. All rights reserved. Least Squares Pure Imaginary Solution and Real Solution of the Quaternion Matrix Equation with the Least Norm Tue, 15 Apr 2014 12:30:03 +0000 Using the Kronecker product of matrices, the Moore-Penrose generalized inverse, and the complex representation of quaternion matrices, we derive the expressions of least squares solution with the least norm, least squares pure imaginary solution with the least norm, and least squares real solution with the least norm of the quaternion matrix equation , respectively. Shi-Fang Yuan Copyright © 2014 Shi-Fang Yuan. All rights reserved. Weak Projective Synchronization in Drive-Response Dynamical Networks with Time-Varying Delay and Parameter Mismatch Tue, 15 Apr 2014 12:19:26 +0000 This paper investigates the problem of projective synchronization in drive-response dynamical networks (DRDNs) with time-varying delay and parameter mismatch via impulsive control. Owing to projective factor and parameter mismatch, complete projective synchronization cannot be achieved. Therefore, a weak projective synchronization scheme is proposed to ensure that the DRDNs are in a state of synchronization with an error level. Based on the stability analysis of the impulsive functional differential equations, a general method of the weak projective synchronization with the error level is derived in DRDNs. Numerical simulations are provided to verify the correctness and effectiveness of the proposed method and results. Jiang Xu and Song Zheng Copyright © 2014 Jiang Xu and Song Zheng. All rights reserved. Semantic Consistency Checking in Building Ontology from Heterogeneous Sources Tue, 15 Apr 2014 10:41:04 +0000 Semantic collision is inevitable while building a domain ontology from heterogeneous data sources (semi-)automatically. Therefore, the semantic consistency is indispensable precondition for building a correct ontology. In this paper, a model-checking-based method is proposed to handle the semantic consistency problem with a kind of middle-model methodology, which could extract a domain ontology from structured and semistructured data sources semiautomatically. The method translates the middle model into the Kripke structure, and consistency assertions into CTL formulae, so a consistency checking problem is promoted to a global model checking. Moreover, the feasibility and correctness of the transformation is proved, and case studies are provided. Shihan Yang, Hongyan Tan, and Jinzhao Wu Copyright © 2014 Shihan Yang et al. All rights reserved.